Computer Science

A new method uses GANs to create realistic radar data for safer automated driving.

An automated system for scoring companies on their sustainability efforts using SDGs.

This research explores how LLMs can process and retrieve GTFS data.

Exploring the use of synthetic health data to improve CDSS development.

A new method improves survival analysis while protecting patient privacy.

A machine learning method to estimate traffic signal timings using data from vehicles.

Text2KGBench benchmarks language models for creating structured knowledge graphs from text.

This paper presents a method for flexible game creation with AI assistance.

This research explores how LLMs can process and retrieve GTFS data.

RadFM enhances radiology with multimodal data and advanced analysis capabilities.

Text2KGBench benchmarks language models for creating structured knowledge graphs from text.

Explore improvements in dialogue systems using dataflow dialogue generation techniques.

A survey of Spanish language models in clinical tasks and their performance.

A study on improving AI decision-making by analyzing human patterns.

Exploring methods to improve detection of misleading news articles.

A new method enhances speaker identification in film and TV localization.

An overview of determinants and algebraic branching programs in complexity theory.

A look at qualitative and quantitative methods in understanding probability.

Methods to improve learning models amidst data shifts in various fields.

Study of moving tokens between minimum separators in graphs using sliding and jumping models.

Research focuses on efficient algorithms for k-factors in graph theory.

This article examines the complexity of counting the Brouwer degree in polynomials.

Research reveals complex low-energy states in fermionic Hamiltonians, challenging current quantum theories.

New methods enhance the verification of quantum random sampling outcomes using trapped ion systems.

Enhancing model performance for better predictions in engineering systems.

An overview of fluid dynamics, focusing on equations, boundary conditions, and turbulence models.

A new method improves efficiency in solving complex electromagnetic problems.

A study on improving acoustic material design through advanced simulations.

Virtual instruments improve the accuracy of optical measurements using advanced ray tracing techniques.

Discover the impact of Piecewise Linear Activations on deep learning models.

New techniques enhance the analysis of viscoelastic beams for engineering applications.

This study evaluates how reproducible Jupyter notebooks are in biomedical research.

Examining the significance of k-metrics in mathematics and computer science.

A novel approach to accurately describe and adjust distortions in 3D data.

A look at how distance measures impact various fields through curve comparison.

A study on efficiently spacing points in two-dimensional space.

Examining how committees can effectively handle candidate failures in elections.

This paper presents a novel approach for comparing complex scalar data.

Research on edge crossings in topological graphs reveals important structural insights.

A novel method improves realistic 3D models from limited data.

Examining how incentive structures affect validator behavior in decentralized networks.

Discover advancements in decentralized Q-learning for multi-agent systems.

Investigating how markets can reach equilibrium with asynchronous actions.

Examining strategies for balancing energy management and decision-making in game theory.

Exploring how general models adapt to specific tasks through collaboration.

Explore how contracts can be structured to influence agent behavior effectively.

A look at how campaigns use data to influence district fairness.

Examining how committees can effectively handle candidate failures in elections.

Foundation models are enhancing efficiency in medical image segmentation.

A new method uses GANs to create realistic radar data for safer automated driving.

RadFM enhances radiology with multimodal data and advanced analysis capabilities.

Introducing a model that predicts brain activity from images efficiently.

Fourier-Net simplifies and speeds up medical image registration for better healthcare outcomes.

MSECNet improves normal estimation accuracy and speed in 3D point clouds.

A new method enhances 3D object detection for autonomous vehicles using BEV representation.

New method uses video for sensor placement in tracking human activities.

Federated learning allows secure collaboration while keeping sensitive data private.

A study investigates fairness in Yelp's recommendation and ranking systems.

This study reveals biases in how autonomous cars detect pedestrians based on age and skin tone.

Web 4.0 aims for smarter, integrated online experiences through advanced technology.

New methods improve race prediction accuracy using names and locations.

An overview of challenges faced by blind users in computational notebooks.

Using technology to enhance understanding and support in math education.

Examining the cost savings of using language models for manipulation and influence.

An overview of Android malware types and analysis methods to enhance security.

Explore the risks and prevention methods for IoT device security.

An overview of privacy concerns in information sharing through gossip protocols.

MASC provides a new approach to test crypto-API misuse detectors effectively.

A new method for secure data aggregation aims to boost efficiency and privacy.

AutoML4ETC automates the creation of neural networks for classifying encrypted network traffic.

A new tool improves cybersecurity for robots using AI and game theory.

A new chiplet design boosts the efficiency of Fully Homomorphic Encryption.

Researching structures and methods for quick information retrieval in text.

Simplifying counting problems in graphs through new approaches for better efficiency.

An overview of knapsack problems and their applications in various fields.

TeraHAC efficiently clusters large graphs, enhancing data analysis for various fields.

Discover methods for efficient testing of graph properties.

This article explores LCL problems and their complexities in tree structures.

A new method to calculate winning chances in major sports tournaments efficiently.

Chrisimos changes mining by solving real-world problems instead of wasting energy.

A study investigates fairness in Yelp's recommendation and ranking systems.

SJTU-H3D provides essential tools for evaluating the quality of digital humans.

A user-friendly system for managing and analyzing geospatial video data.

Streamlining diverse data access through federated systems.

TeraHAC efficiently clusters large graphs, enhancing data analysis for various fields.

Learn how blockchain can verify product authenticity and combat counterfeits.

Analyze data more effectively with real-time visualizations and automatic updates.

This research focuses on improving entity alignment methods in knowledge graphs.

This study examines how hyperauthorship affects the assessment of scientific collaboration.

A new tool simplifies access to scientific data for researchers.

New methods help in reading damaged Herculaneum papyri using technology.

This study evaluates how reproducible Jupyter notebooks are in biomedical research.

A look at how academics present co-authors on online profiles.

Introducing a structured approach to improve peer review processes in academic publishing.

Examining the relationship between handwriting changes and emotional expressions in diary entries.

A guide to enhancing knowledge acquisition from scientific papers using ORKG.

A look into shallow hitting edge sets and their significance in hypergraphs.

New methods improve the structure and size of Condorcet domains in decision-making.

Study of signed graphs reveals new coloring methods and properties.

This article examines how networks grow through the duplication-divergence model.

Matchings are key in connecting elements and optimizing resources in various fields.

Examining the Identity and Membership Problems in Heisenberg matrices.

An overview of counting logic and its impact on graph analysis.

This article discusses properties of directed graphs and their dicoloring methods.

An overview of privacy concerns in information sharing through gossip protocols.

Web 4.0 aims for smarter, integrated online experiences through advanced technology.

Addressing resource challenges for GPT models in cloud environments.

LibPreemptible improves scheduling in cloud applications, reducing delays and enhancing performance.

A new architecture aims to improve resource management across cloud and edge devices.

TeraHAC efficiently clusters large graphs, enhancing data analysis for various fields.

Learn how blockchain can verify product authenticity and combat counterfeits.

A look into the role and importance of transactional systems in data management.

Learn how molecular communication and AI enhance information transfer in various fields.

Optical systems could transform deep learning by processing data faster and more efficiently.

A new method enhances optical computing by improving training efficiency and performance.

A new framework, SerIOS, improves hardware security in optoelectronic systems.

Learn the basics of how quantum computing works.

Exploring the potential and challenges of optical neural networks using light for computation.

Optical computing uses light to offer faster processing and energy efficiency.

A fresh approach safeguards quantum code and output from unauthorized access in cloud services.

Researching structures and methods for quick information retrieval in text.

Study focuses on using CTL+Sync with One-Counter Automata for model verification.

Bridging the gap between smart models and practical decision-making for robots.

A look into omega-regular reward machines for better AI learning.

Innovative methods for testing complex pushdown reactive systems to ensure reliability.

EduSAT simplifies learning Boolean concepts with practical tools and interactive features.

An overview of matching patterns with variables in computer science.

A look into static analysis, CFL reachability, and their implications in computing.

A new method enhances comparisons of scalar fields using merged techniques.

A new method achieves better developable surfaces using neural implicit functions.

A new framework for analyzing hairpin vortices reveals insights into turbulent flows.

A new method improves real-time scene rendering using 3D Gaussians for high-quality visuals.

A new method enhances gesture communication for avatars with unique hand shapes.

Discover how VR technology connects users to ocean exploration and education.

This article outlines a modern approach to converting 2D designs into detailed 3D representations.

A novel approach to accurately describe and adjust distortions in 3D data.

This article discusses memory safety challenges and a new solution: Data-Pointer Tagging.

LibPreemptible improves scheduling in cloud applications, reducing delays and enhancing performance.

A new lecture series focuses on quantum software and systems education.

A new processing unit improves computing with posit numbers.

Yak simplifies the design of asynchronous circuits with user-friendly features and open-source collaboration.

New designs improve efficiency and energy use in neuromorphic processors.

A new Dadda multiplier design improves speed and efficiency in digital systems.

This article examines how checkpoints improve software recovery during fault injection testing.

How information about fellow travelers can improve shared automated vehicle experiences.

Feather helps developers share machine learning models easily through user-friendly interfaces.

Discover how emotions enhance data visualization design and its challenges.

A new method simplifies video annotations for better learning.

An overview of challenges faced by blind users in computational notebooks.

New methods enhance data selection in virtual reality for better user interaction.

Improving music platforms through better comment organization and emotional connection.

ALens provides tailored support for novice researchers to improve abstract writing skills.

An automated system for scoring companies on their sustainability efforts using SDGs.

This research explores how LLMs can process and retrieve GTFS data.

Researching structures and methods for quick information retrieval in text.

A new framework for customizing generative items based on user input.

Decision Knowledge Graphs enhance access to clinical guidelines for better patient treatment.

A new method tackles popularity bias for better user experience.

STARank innovates ranking methods for better personalized online recommendations.

Learn how elephant movement patterns impact conservation efforts.

Examining satellite networks and their impact on global internet access.

Research focuses on methods to improve antenna impedance estimation for better wireless performance.

This study reveals how speech channels influence communication effectiveness.

New techniques enhance channel estimation for reliable wireless communication in dynamic environments.

Improving wireless communication quality with full-duplex relay technologies.

A new approach to enhance data privacy while minimizing communication costs.

Learn how LRCs ensure data recovery in modern storage systems.

New methods improve tracking accuracy and efficiency in wireless networks.

Introducing a program logic to enhance reasoning for higher-order, stateful software.

Exploring the role of subexponentials in modern logical systems.

A new method blends logical programming with probabilistic models to improve decision-making.

Analyzing uncertain systems through probabilistic model checking and game theory insights.

This study enhances Description Logic by incorporating numerical reasoning for clearer conclusions.

A look into the role of Lindström quantifiers in logic and computer science.

A clear guide to the nature and structure of mathematical proofs.

A look into advanced logical systems and their implications across disciplines.

Examining the impact of GNNs on traditional algorithms and their performance challenges.

Foundation models are enhancing efficiency in medical image segmentation.

A new method uses GANs to create realistic radar data for safer automated driving.

Kernel-based testing enhances insights into single-cell behavior and characteristics.

An automated system for scoring companies on their sustainability efforts using SDGs.

This research explores how LLMs can process and retrieve GTFS data.

Exploring the use of synthetic health data to improve CDSS development.

A new method predicts battery life using initial performance data.

Examining how one factor influences another through data and methods.

Scylla offers an efficient method for tackling mixed-integer optimization problems.

Streamline causal analysis using Tetrad combined with Python and R.

Graph4J offers an efficient Java library for graph algorithms using simple structures.

Exploring new methods for efficient data storage and computation.

Discover EDOLAB, a platform for tackling changing optimization problems.

CDL aids in studying permutations and arrangements in computer and social sciences.

A study reviewing different formulations for cutting shapes efficiently.

Discover advancements in decentralized Q-learning for multi-agent systems.

Investigating how markets can reach equilibrium with asynchronous actions.

A look into how value extraction operates across multiple blockchains.

GraphCC enhances congestion control through real-time optimization and machine learning techniques.

Simulations help analyze how diseases spread and improve public health responses.

A look at how influence spreads through social networks.

Research improves convergence rates for average consensus in various networks.

HAMDPO improves multi-agent learning for diverse environments and tasks.

A new method combines image style and content to interpret emotions accurately.

FAST revolutionizes scene text editing with natural modifications and flexibility.

A new method combines sketches and text to improve 3D shape generation.

A new framework for safeguarding prompt creators' rights in AI tools.

A new approach improves efficiency in Vision-Language Pre-training tasks.

DiffSynth enhances video quality by reducing flickering and improving frame blending.

A look at how Minimax Optimization enhances Spiking Neural Networks efficiency.

Jade improves video quality through user feedback and adaptive streaming techniques.

New machine learning framework improves EDFA performance predictions with minimal data.

AutoML4ETC automates the creation of neural networks for classifying encrypted network traffic.

Web 4.0 aims for smarter, integrated online experiences through advanced technology.

LibPreemptible improves scheduling in cloud applications, reducing delays and enhancing performance.

DiCuPIT enhances Pending Interest Management in Named Data Networking.

Learn how mmWave sensing is changing communication and health monitoring.

A new approach to vehicle security addressing rising cyber threats.

A new system enhances measurement-based congestion control methods for better performance.

A new method blends logical programming with probabilistic models to improve decision-making.

A new layer enhances DNNs' resistance to subtle input changes.

Researchers enhance computer models of the immune system through weighted finite state machines.

Study highlights methods to improve reservoir computing performance in complex predictions.

New designs improve efficiency and energy use in neuromorphic processors.

Discover the impact of Piecewise Linear Activations on deep learning models.

Researchers use deep learning to improve turbulence models in fluid dynamics.

A framework that enhances algorithm performance comparison through visual insights.

A new method combines machine learning and simulation to optimize THz radiation output.

New method improves speed and accuracy of glacier simulations.

Higher-order corrections improve optimization methods for complex functions.

A guide to the Raviart-Thomas method for solving boundary value problems.

Examining new methods for tackling the Helmholtz equation efficiently.

An overview of fluid dynamics, focusing on equations, boundary conditions, and turbulence models.

A new method improves efficiency in solving complex electromagnetic problems.

New methods improve understanding of fluid dynamics in porous materials.

LibPreemptible improves scheduling in cloud applications, reducing delays and enhancing performance.

Addressing the need for accurate sustainability in data centers.

Introducing a framework for better application isolation and resource sharing.

Analyzing issues in predicting future actions in ongoing processes.

Learn how compartmentalization improves software security by limiting access and interaction.

A new method for efficient data sharing between cloud functions.

This article reviews Linux API usage in various applications and highlights key findings.

A look at new systems improving insulin delivery and blood sugar monitoring.

A clear overview of work systems, their components, and management challenges.

A tool combining Selenium and JUnit 5 to streamline web application testing.

Examining risks and impacts of modded apps on users and developers.

Examining the links between living brains and computer systems.

Innovative methods aim to improve parking management in busy cities.

A fresh approach offers deeper insights into cancer driver genes and their interactions.

Researchers create digital copies of animals for ethical and efficient studies.

Discover how DNA could change the future of data storage.

A new processing unit improves computing with posit numbers.

Federated Learning enables data privacy while improving machine learning collaboration among diverse participants.

Industry and academia unite for better biomedical data processing.

Study analyzes CrUX dataset to improve web user experience metrics.

Explore a new method for efficient storage of sparse matrices to enhance performance.

Enhancing data pipelines can improve deep learning recommendation systems' performance.

Learn how to measure the effectiveness of digital advertising campaigns.

Research shows column-stores improve recursive query performance significantly.

Introducing a program logic to enhance reasoning for higher-order, stateful software.

This work presents a method to improve code understanding in LLMs using symmetry.

New methods for monitoring complex systems using prefix transducers improve real-time verification.

Adjustments to MicroPython lead to better performance on CHERI platforms.

A systematic method for creating and manipulating non-wellfounded syntax in programming languages.

Web automation becomes easier with a system that learns from user actions.

Streamline causal analysis using Tetrad combined with Python and R.

A new type system aims to prevent data races in programming.

A new tool improves cybersecurity for robots using AI and game theory.

Examining risks of cyber attacks on modern vehicle steering systems.

New methods improve robot movement accuracy by managing units and noise.

A look into how robots accurately move using inverse kinematics.

TempFuser improves tactical maneuvers in aerial dogfights using advanced learning techniques.

The 2nd BARN Challenge showcased advancements in autonomous robot navigation systems.

Exploring how cloud technology enhances self-driving vehicle safety through better data processing.

A new method combines physics and deep learning for better muscle assessment.

An automated system for scoring companies on their sustainability efforts using SDGs.

Federated learning allows secure collaboration while keeping sensitive data private.

This article explores overlapping community detection methods to tackle network manipulation.

A study on how social media reflects public emotions during major events.

Learn how NSBM helps analyze unlabeled networks and detect communities effectively.

Examining the views of Russian citizens on the Ukraine conflict through social media.

A new method improves backdoor detection in graph data using explanation techniques.

How the pandemic changed our connection to nature.

Exploring the use of synthetic health data to improve CDSS development.

MASC provides a new approach to test crypto-API misuse detectors effectively.

This study reveals biases in how autonomous cars detect pedestrians based on age and skin tone.

Investigating the practice of developer focus in open-source microservices.

Examining the unpredictable nature of code generation with ChatGPT.

Examining limitations of LLMs in translating code and techniques for improvement.

An overview of challenges faced by blind users in computational notebooks.

LARCH simplifies readme generation using code representation and language models.

Whisper-AT combines speech recognition and audio tagging for improved performance.

A new approach that combines speech with language models for improved translation.

New method improves accuracy in turning piano audio into sheet music.

A study on improving vocal sound reproduction through advanced synthesis techniques.

VampNet transforms music processing through innovative token modeling techniques.

Affordable wearable technology for individuals with hearing loss.

A new model improves timing accuracy for lyrics in music applications.

A web-based synthesizer that allows users to create music using simple gestures.

This article examines conditional obligations and their significance in ethical reasoning.

Combining machine learning with reasoning to improve decision-making capabilities in dynamic environments.

Language agents merge AI and decision-making for real-world tasks.

FMplex improves the efficiency of solving linear equations and inequalities.

Study of yeast kinases sheds light on cell signaling.

Exploring the need for safety and trust in AI systems.

LogicMP improves neural networks by integrating logical reasoning for better predictions.

JABBA enhances time series data analysis through consistent symbols and parallel processing.