Computer Science

A new method improves audio editing using diffusion models for precise changes.

New method reduces backdoor threats in deep neural networks.

Training open-source LLMs enhances optimization modeling for industry applications.

Examining how AI tools influence learning for beginner coders.

A new method enhances synthetic data creation while preserving table relationships.

This article examines U-Nets and their role in image processing using generative models.

AI helps streamline experiment design in genetic research for health and disease.

A new algorithm improves the verification of neural networks for reliability and fairness.

Research reveals how large language models respond to various input types.

Training open-source LLMs enhances optimization modeling for industry applications.

A new dataset enhances mobile app recommendation systems through conversational exchanges.

This study examines how storytelling techniques influence emotional connections.

A new framework improves machine learning from diverse information sources.

ThReaD improves LLMs' performance on complex tasks through dynamic thread management.

Harnessing early-exit models for efficient federated learning in ASR systems.

Improving text generation quality by selecting cleaner examples.

Explore how computer programs can be automatically generated to meet specific requirements.

This article discusses solving twisted conjugacy in even dihedral Artin groups.

This article discusses the mechanics of tile assembly in scientific contexts.

A look at formal reasoning in encoder-only transformers and its implications.

Learn about locally correctable codes and their impact on error correction.

This article investigates efficient string threading techniques to reduce turning costs.

Shallow-depth quantum circuits show potential advantages in various computing tasks.

This article reviews the importance of fairness in exchange systems and suggests a new approach.

Training open-source LLMs enhances optimization modeling for industry applications.

AI helps streamline experiment design in genetic research for health and disease.

A new model to enhance performance in communication networks.

A new method improves quality in additive manufacturing by optimizing design and build order.

A new way to simulate structural behavior using machine learning techniques.

Exploring the benefits of immersive 3D sketching for architects and designers.

Researchers use phase-field modeling to predict how materials fracture under stress.

New approaches enhance understanding of metallic alloy changes during processing.

New methods improve how we analyze complex graph data structures.

This study examines the complexities of guarding polygons with visibility restrictions.

Learn how spanners can maintain distance accuracy despite edge failures.

Investigating efficient methods for perfect matching in geometric settings.

A look into matchings, their types, and practical applications.

A novel approach improves distance calculations on complex shapes for various fields.

A look at graph embeddings and the conditions needed for their mapping.

This article discusses RDV graphs and methods for finding maximum matchings efficiently.

This study analyzes how past choices reveal decision-makers' social welfare functions.

This study examines how bias affects belief changes in various fields.

Examining how firms and workers negotiate salaries and relationships.

Explore how players use deception in competitive scenarios.

An overview of stochastic games and their mean-payoff objectives.

A new approach to understanding complex reward functions in AI behavior.

This article reviews the importance of fairness in exchange systems and suggests a new approach.

New methods improve strategies for complex decision-making in zero-sum games.

This research focuses on using AI for early detection of retinal diseases.

Research uses advanced CNNs to detect distracted driving, improving road safety.

Event cameras improve robot vision by mimicking human eye movements.

Introducing a novel method for improved depth estimation using unlabeled data.

UniTraj addresses the challenges of multi-agent trajectory modeling with a unified approach.

Researchers discover clusters of visual concepts in brain activity.

A new method improves consistency in creating images and videos using reference images.

A new framework improves machine learning from diverse information sources.

A new method improves fairness in federated learning across diverse communities.

A new algorithm enhances prediction sets for better expert decision-making.

Investigating LoRA's effects on fairness across different groups in machine learning.

Exploring the significance and challenges of names in social research.

Cambodia aims to expand its cashew production while addressing environmental impacts.

Examining smaller AI models' effectiveness and cost compared to larger counterparts.

This study evaluates machine learning methods for accurately measuring poverty levels.

Examining the biases in language models across various demographic factors.

This article discusses the manipulations and flaws of PD plots in AI fairness.

New method reduces backdoor threats in deep neural networks.

HTTP Garden reveals critical issues in web server handling of HTTP/1.1 requests.

A study evaluates how quantum and classical models respond to adversarial attacks.

Examining the security challenges and solutions for RIC in Open RAN networks.

A study reveals user frustrations and preferences regarding CAPTCHAs on websites.

A new approach enhances prompt diversity for safer language models.

Examining the dangers of quantized language models and their potential misuse.

A look at how cardinality sketches estimate unique items and their vulnerabilities.

A practical approach to analyzing costs in data structures over time.

A new method to enhance Push-Relabel algorithm efficiency using predicted flow.

Clustering organizes data into groups, revealing insights across various fields.

This article investigates efficient string threading techniques to reduce turning costs.

Learn how to create SWMR registers that withstand Byzantine process challenges.

New methods improve the efficiency of sampling from convex bodies.

A study on achieving balance in pathfinding based on diverse preferences.

A new approach to clustering improves handling of tabular data.

A new method to improve predictive models using uncertain data.

Semantic databases are changing how researchers connect and explore mathematical concepts.

A new approach enhances querying in graph databases using ontologies.

An overview of synthetic data generation and its importance in data-driven applications.

A new benchmark aims to enhance data retrieval in Compound AI Systems.

Explore various big data storage solutions and their unique features.

A new system enhances query performance by addressing selectivity estimate issues.

Study assesses representation of biomedical topics in science maps.

Exploring the role of microservices in knowledge discovery for patent applications.

Discover how automated methods enhance the identification of valuable datasets from government portals.

A look at how databases categorize published research materials.

A study on how new ideas transform astronomical research through technology and collaboration.

A new system simplifies citation management for preprints, enhancing visibility and collaboration.

A new dataset sheds light on historical newspapers from Latin America.

Examining how the disruption index may misrepresent innovation trends.

Examining the transition from general concept classes to extremal classes in data analysis.

An overview of important ideas within graph theory and their applications.

A look at the roles of injectivity and surjectivity in ReLU networks.

This research examines how episturmian morphisms affect return words in sequences.

A look into the properties and challenges of well-covered graphs.

An overview of positional games and their structure impacting player strategies.

A look into matchings, their types, and practical applications.

Research examines how preference matrices reflect rational voter choices.

Introducing DEMon, a decentralized monitoring system for efficient edge computing.

A formal approach to reduce teleportations in quantum computing networks.

A new MPM implementation improves gas flow simulations significantly.

Research tackles the black hole search problem in changing networks.

Discover new techniques to improve efficiency in deep neural network training.

Fast-FedUL provides quick data removal methods for federated learning while ensuring privacy.

This paper presents L-HiTS, a method for simulating complex systems using deep learning.

Learn how to create SWMR registers that withstand Byzantine process challenges.

Exploring new ways to ensure privacy in wireless communication.

A formal approach to reduce teleportations in quantum computing networks.

Fast-FedUL provides quick data removal methods for federated learning while ensuring privacy.

LaSsynth optimizes lattice surgery for efficient quantum operations.

A new method enhances the reliability of neural networks in critical applications.

Modular spin-circuits merge physics and technology for advanced computing solutions.

New guidelines improve benchmarking of quantum optimization algorithms against classical methods.

New methods aim to enhance the efficiency of quantum circuit execution over networks.

State space models offer efficient processing in natural language tasks, challenging traditional transformers.

Learn how game semantics clarifies program functions through interactive models.

Exploring the learning process and applications of deterministic finite automata.

A new framework leverages Reward Machines to enhance RL performance under uncertainty.

A look into the complexities of separating languages in Buchi VASS.

A framework for converting traffic rules into formal logic for autonomous vehicles.

Exploring the benefits of regular look-around in attributed tree transducers.

Exploring how DFAs help synchronize machines for efficient operation.

A large synthetic dataset to advance virtual fitting and garment creation.

Introducing a new method that improves surface reconstruction using anisotropic properties.

DreamMat simplifies the generation of realistic PBR materials from text and 3D models.

New methods enhance realistic movement in animated characters with soft bodies.

New methods improve how we edit and manipulate dynamic 3D scenes.

A new method improves quality in additive manufacturing by optimizing design and build order.

Exploring the benefits of immersive 3D sketching for architects and designers.

A novel technique improves 3D modeling accuracy and efficiency.

New method speeds up Ising model simulations using advanced computing technology.

Efficient execution of transformer models on an open-source RISC-V platform.

A look at AIMC and DIMC for machine learning tasks.

Chiplets redefine computing power in modern vehicles, enhancing flexibility and efficiency.

Learn how chiplet technology is reshaping AI hardware design for better efficiency.

An analysis of the hardware requirements for efficiently running large language models.

A look at the performance of soft GPGPUs versus IP cores in FFT tasks.

A new method enhances detection of microarchitectural vulnerabilities in computer systems.

Examining how AI tools influence learning for beginner coders.

A new algorithm enhances prediction sets for better expert decision-making.

Exploring the significance and challenges of names in social research.

Examining smaller AI models' effectiveness and cost compared to larger counterparts.

An innovative system combines news and cognitive assessments for older adults.

A challenge aims to enhance tumor outlining on brain scans for better treatment planning.

Examining the effectiveness of counterspeech against hate communities online.

Examining the impact of cobots on task efficiency and worker satisfaction.

Introducing a framework for fair and accurate information retrieval without traditional labels.

Introducing DEMon, a decentralized monitoring system for efficient edge computing.

Explore how PG-RAG enhances knowledge retrieval for language models.

A new approach to improving multi-behavior recommendations.

Explore how text embeddings shape language processing and improve machine understanding.

A new framework focuses on enhancing dataset quality for better recommendations.

How to improve bias in recommendations using user interactions.

CELL framework improves feature interaction selection for personalized recommendations.

Exploring new ways to ensure privacy in wireless communication.

Improved methods enhance wireless communication in large-scale MIMO systems.

This article discusses the promising concept of lifts for quantum CSS codes.

Explore how atomic receivers could transform wireless communication technology.

Learn about locally correctable codes and their impact on error correction.

This article focuses on channel estimation in MIMO systems using one-bit quantization.

Exploring the design and potential of reconfigurable intelligent surfaces in wireless systems.

Efficient SNP identification reshapes genomic analysis and its applications in health.

A clear guide to inductive and coinductive definitions and their significance.

An overview of essential concepts in computer science related to completion and rewrite systems.

Explore how computer programs can be automatically generated to meet specific requirements.

A look at formal reasoning in encoder-only transformers and its implications.

Learn how game semantics clarifies program functions through interactive models.

A new approach enhances querying in graph databases using ontologies.

Exploring the integration of concrete domains in description logics for enhanced reasoning.

Discover how logic programming transforms problem-solving through relationships and inference.

A new method improves audio editing using diffusion models for precise changes.

This article discusses the manipulations and flaws of PD plots in AI fairness.

Research reveals how large language models respond to various input types.

TSER enhances forecasting accuracy by generating synthetic samples for underrepresented time series.

A new method improves fairness in federated learning across diverse communities.

New methods improve how we analyze complex graph data structures.

New method reduces backdoor threats in deep neural networks.

An overview of policy gradient methods in reinforcement learning.

New algorithms enhance feature selection speed and accuracy in statistical models.

Revolutionizing the way we solve optimization challenges in multiple fields.

A computer program simulating fluid movement in porous materials for various research fields.

A look at modern methods in engineering design for efficiency and performance.

Hiperwalk aids researchers in simulating quantum walks on complex graphs, enhancing quantum studies.

A user-friendly tool for building Petri Nets and simulating complex systems.

DASTAC enhances tensor computations by combining dense and sparse techniques for efficiency.

New approaches to tackle complex linear systems efficiently.

AI helps streamline experiment design in genetic research for health and disease.

SwarmRL aids scientists in controlling micro-robots for various applications, especially in medicine.

A new approach to understanding complex reward functions in AI behavior.

A new method enhances robot collaboration in maze exploration.

A new method enables agents to follow safety rules in plain language.

LAGMA improves multi-agent cooperation and learning efficiency through goal guidance.

Agents improve predictions together while respecting privacy and limitations.

A new method improves choice accuracy by focusing on partial preferences.

Explore how large language models enhance creativity through multimedia generation.

Exploring the benefits of immersive 3D sketching for architects and designers.

Introducing a model that generates synchronized audio and video with mixed noise levels.

This article discusses a new simple model for generating audio from images and vice versa.

New techniques improve quality and training for 3D images.

NuNet uses RGB and depth data for better nutrition estimates.

A new method improves audio-video alignment using pre-trained models.

A new method to improve attention mechanisms in complex data processing.

HTTP Garden reveals critical issues in web server handling of HTTP/1.1 requests.

Introducing DEMon, a decentralized monitoring system for efficient edge computing.

A new model to enhance performance in communication networks.

A new metric to analyze energy efficiency in wireless communication systems.

Exploring the role of GNNs in the growth of IoT technologies.

Examining the security challenges and solutions for RIC in Open RAN networks.

Examining the effectiveness of the CAF in improving internet access.

FeMLoc improves indoor localization using federated and meta-learning techniques.

Explore the role of memory and context in improving machine learning.

SynCx improves object discovery using complex-valued weights and iterative processing.

This article discusses how GRSNN enhances graph reasoning tasks using synaptic delay.

CELL framework improves feature interaction selection for personalized recommendations.

This study examines the performance of genetic programming for symbolic regression tasks.

This paper presents L-HiTS, a method for simulating complex systems using deep learning.

A closer look at backpropagation's role in machine and biological learning.

DDPMs create new images by blending attributes from various categories.

A new method enhances recovery of information from noisy measurements in various fields.

This study develops efficient ways to model water movement in unsaturated soils.

Using Bayesian inference to reconstruct unknown magnetic fields from limited data.

This study presents a method to combine spectral images for improved machine learning applications.

This study presents a model analyzing how fractures develop in rocks under heat and pressure.

An overview of finite-volume schemes and their applications in numerical analysis.

A look into the HDG method and its impact on numerical analysis.

An overview of PDEs, self-similar solutions, and their significance in various fields.

ROSfs transforms data sharing among robots for enhanced teamwork.

A study on memory allocators and their impact on embedded system performance.

A new system enhances application performance and energy efficiency in heterogeneous processors.

Optimizing memory management for better performance in embedded systems.

A new model that helps cloud applications use serverless resources effectively.

A new system improves cloud performance and reduces costs by combining VMs and FaaS.

Exploring Rust's role in enhancing OS security and reliability.

MAARS framework enhances the security of timing-sensitive tasks in cyber-physical systems.

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.

This article examines how data arrangement impacts program speed and efficiency.

Examining the security challenges and solutions for RIC in Open RAN networks.

Leveraging reinforcement learning to optimize job scheduling using Gittins index techniques.

GROMACS integrates SYCL for improved performance on AMD GPUs in molecular dynamics simulations.

A strategy to improve server allocation for better job execution and reduced delays.

Using AI to automate vectorization, enhancing code efficiency and correctness.

Optimizing multi-hop reasoning improves speed and accuracy for complex data analysis.

This research examines how variable arrival and service rates affect queues.

A practical approach to analyzing costs in data structures over time.

AbstractBeam enhances program synthesis, leveraging efficient code generation through Library Learning.

Explore how computer programs can be automatically generated to meet specific requirements.

This article examines how data arrangement impacts program speed and efficiency.

A new approach to enhance array performance in programming.

Discover how logic programming transforms problem-solving through relationships and inference.

Introducing a programming language that simplifies hardware design processes.

A new approach for understanding expected costs of probabilistic programs using higher-order separation logic.

Event cameras improve robot vision by mimicking human eye movements.

Simulations play a vital role in assessing the safety of autonomous vehicles.

Introducing RoboBEV to test BEV algorithms under real-world conditions.

SADA enhances training stability in visual reinforcement learning with advanced data augmentation techniques.

A simplified model for effective navigation using natural language instructions.

SwarmRL aids scientists in controlling micro-robots for various applications, especially in medicine.

Examining how shared values impact trust between humans and robots.

New method enhances MAV swarms' relative localization using UWB for better cooperation.

Bluesky offers users a decentralized social media experience with unique features.

A look into methods and challenges in predicting connections in dynamic networks.

A new approach enhances graph embeddings by focusing on dimension management.

This paper examines how technology can enhance city transportation options.

Analyzing teamwork's role in software projects and its effects on outcomes.

This approach simplifies and enhances network reconstruction across various fields.

A review of network analysis methods to combat money laundering.

A new method enhances user recommendations by filtering social connections.

AbstractBeam enhances program synthesis, leveraging efficient code generation through Library Learning.

An analysis of how companies contribute to and benefit from open source software.

Learn how machine learning concepts help define testing boundaries for software.

Enhancing LLMs' ability to refine their code through self-debugging techniques.

Examining advancements and challenges in automating Model-Driven Engineering.

New methods improve understanding of binary code through innovative approaches.

Understanding human factors is key to developing safe automated vehicles.

A look into the security challenges and solutions for hardware in the cloud.

A new method improves audio editing using diffusion models for precise changes.

SpeechVerse bridges audio understanding and language processing for improved human-computer interaction.

New dataset highlights performance gaps among demographic groups using voice assistants.

This article investigates vulnerabilities in speech models and ways to enhance their security.

Understanding and mitigating hallucination in AI for reliable performance.

A novel approach employs graph convolutional networks for efficient music data analysis.

New methods improve connections between audio clips and text descriptions.

ROSVOT enhances accuracy in transcribing singing voices, even in noisy environments.

A new method to improve predictive models using uncertain data.

A clear look into chemical reactions and their simulations, from basics to applications.

Combining NIDS with Neurosymbolic AI improves threat detection and system understanding.

A fresh approach to AI combines language models with symbolic programs for better interpretability.

This article presents a method to certify feasibility in semidefinite programming.

New AI models enhance reasoning skills using visual puzzles.

Examining the security of SHA-256 and recent collision finding techniques.

New hybrid methods improve efficiency in integer factorization for cryptography.

Innovative algorithms improve sensor selection in resource-constrained environments.

Simulations play a vital role in assessing the safety of autonomous vehicles.

Introducing DEMon, a decentralized monitoring system for efficient edge computing.

A look into contract-based design for hybrid systems and their complexities.

Explore the vital role of access control in edge computing.

Learn how model order reduction improves power system analysis.

Explore how players use deception in competitive scenarios.

A new approach combines model-based and model-free strategies for better system performance.