Computer Science

A new model learns to value data effectively and explains its decisions.

A new method improves model adaptation during testing with dynamic pseudo-label filtering.

A new framework improves drone efficiency in locating targets using diverse clues.

New methods improve head pose estimation for better accuracy in real-world settings.

A novel approach combines physical modeling with machine learning for net load data generation.

Exploring how GMFGs model diverse interactions among agents in complex systems.

A model assesses the readability of Wikipedia articles across 14 languages.

A new method enhances the transparency of knowledge graph embedding models.

New methods and benchmarks aim to simplify formalizing mathematics through Lean 4.

Examining AI's struggle with honesty and its impact on user trust.

New methods improve head pose estimation for better accuracy in real-world settings.

New methods improve language model predictions under varying input conditions.

Examining how health experts and pseudo-experts communicated during the pandemic.

A new model focusing on understanding time in language processing.

A look at how large language models form beliefs and make decisions.

A model assesses the readability of Wikipedia articles across 14 languages.

A look at vertex cover, set cover, and hitting set problems in graph theory.

A guide to understanding arithmetic functions in mathematics and computer science.

Research shows reversible circuits can create secure pseudorandom permutations.

Research focuses on stabilizer states and Bell sampling limitations in quantum computing.

Non-malleable extractors enhance randomness and protect sensitive data from tampering.

A new framework to choose information sources while minimizing classification errors and costs.

An overview of solvable initial value problems and their significance.

A new algorithm enhances graph clustering by focusing on motifs.

Learn best practices to enhance development in data-intensive research projects.

A look at how stress affects material damage and predictions.

Exploring how data-driven methods improve understanding of material responses.

Examining the impact of wildlife accidents on railway safety in southern Poland.

New designs inspired by nature using VoroTO enhance material performance efficiently.

Innovative strategies enhance material predictions using machine learning surrogates.

This article explores how unique data can improve property price predictions in Japan.

A new method for planning bike networks aims to balance cycling and car needs.

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

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

A deep dive into persistence homology and its impact on data analysis.

Exploring methods to analyze colored data structures in various fields.

A new method continuously checks shapes to prevent errors during simulations.

Learn how rectangulations aid in layout efficiency and design.

DeepJEB dataset enhances structural analysis with comprehensive 3D models and performance metrics.

SplineGen enhances B-spline modeling using machine learning for better curve fitting.

Exploring how GMFGs model diverse interactions among agents in complex systems.

How grading methods affect student motivation and future learning outcomes.

Exploring how caring for others enhances cooperation among individuals.

This article discusses fair division and envy-freeness in sharing items among individuals.

An overview of strategies and objectives in two-player stochastic games.

Exploring the complexities of aligning AI systems with diverse human interests.

Examining the balance between profit-making and information gathering in betting markets.

This article presents a new algorithm for solving games on graphs efficiently.

A method to quantify uncertainty in medical imaging for improved diagnosis.

NuNet uses RGB and depth data for better nutrition estimates.

A new framework improves drone efficiency in locating targets using diverse clues.

New methods improve head pose estimation for better accuracy in real-world settings.

MoLA offers fast and efficient human motion generation for various industries.

A fresh approach improves bladder cancer diagnosis accuracy.

NeRAF creates synchronized sound and visuals for immersive experiences in various fields.

A method for creating high-quality panoramic images from various input types.

Examining how health experts and pseudo-experts communicated during the pandemic.

This article examines how AI can impact marginalized groups and ways to improve outcomes.

Examining how structural changes can improve fairness in mortgage loan approvals.

A framework that detects anomalies in graphs while promoting fair treatment.

Exploring the role of bots in shaping online interactions and creative output.

Examining how universities adapt AI courses for future careers.

Examining GenAI's impact on pre-service teachers in learning and teaching.

Croissant-RAI improves data quality and usability for AI applications.

New methods improve language model predictions under varying input conditions.

ECHO improves network traffic classification through machine learning techniques.

This article discusses privacy and bias in predictive algorithms for sensitive data.

BISON offers a way to log in securely while protecting user identities.

A new framework enhances synthetic data creation while protecting personal information.

Introducing PrivacyRestore to protect user data while using large language models.

New methods reveal resilience in neural network circuits against manipulation.

Methods to estimate dataset characteristics while keeping individual data safe.

A new method for identifying key influencers in hypergraphs shows promising results.

A practical method to improve fairness in algorithms without sacrificing accuracy.

A new approach for optimizing tree structures under load constraints.

Methods to estimate dataset characteristics while keeping individual data safe.

A look at vertex cover, set cover, and hitting set problems in graph theory.

A method to simplify and compress complex data structures for easier analysis.

A novel approach to enhance graph classification using topological data analysis.

An analysis of community detection methods incorporating differential privacy.

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

DumpKV enhances data storage efficiency by reducing write amplification.

Introducing an innovative model to improve cardinality estimation accuracy in database queries.

Croissant-RAI improves data quality and usability for AI applications.

Examining how LLMs transform data accessibility and interaction.

New methods enhance redescription mining efficiency for diverse datasets.

New methods enhance explicit definitions in description logics for clearer knowledge representation.

A new indexing technique improves database operations using GPU capabilities.

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.

A new approach for optimizing tree structures under load constraints.

This article examines the challenging nature of subtraction games in graph theory.

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

Learn how matroids help analyze relationships and independence in various contexts.

This article clarifies the links between effective resistance and optimal transport on graphs.

Examining the properties and applications of metric graphs, focusing on -metric and hyperbolicity.

A look at the challenges and progress in understanding Shannon capacity.

This article explores the concept of half-space separation in graph convexities.

A new method tackles wireless errors in federated learning for IoT devices.

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

A new system improves serving large language models across various GPU configurations.

A new multi-server approach improves federated learning efficiency and speed.

New approach improves machine learning privacy and resilience against attacks.

A study on Dask and Spark for analyzing neuroimaging data.

A framework to enhance reproducibility in computational workflows for science.

A look at how Rust facilitates distributed shared memory management.

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

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

As space becomes crowded, effective tracking systems are essential for safety.

Discover how Qiskit aids quantum computing research and applications.

Examining the health implications of 5G's electromagnetic radiation.

Discover how private quantum computing can protect sensitive data during complex calculations.

New digital twin technology enhances modeling accuracy and efficiency.

Methods for estimating reliability in machine learning models.

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.

This article presents a method to simplify quantifier elimination in Presburger arithmetic.

Explore how Zeckendorf numeration relates to automata and Mahler equations.

Using finite automata to compute digits of irrational numbers like the golden ratio.

A look at how string machines help process information in simpler ways.

Gear-NeRF improves the rendering of dynamic 3D scenes using motion-aware techniques.

Synthetic dataset Hi5 improves hand pose recognition with diverse images.

A deep dive into persistence homology and its impact on data analysis.

A new indexing technique improves database operations using GPU capabilities.

A new method continuously checks shapes to prevent errors during simulations.

A new method improves 3D modeling using just two images for better accuracy.

A recent study replicates key findings on data interpretation using sound and visuals.

A new method effectively simulates elastic objects across various representations.

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.

A study assessing performance and accuracy of posit format versus IEEE 754.

This article explores a new method for improving instruction fetching efficiency.

Event cameras transform data collection for real-time applications.

Examining the Rowhammer flaw and its implications for data security.

Explore how Compute-in-Memory technology enhances efficiency in language models.

Examining how machine learning affects human choices and outcomes.

Exploring the effectiveness of in-VR questionnaires for better feedback collection.

Examining GenAI's impact on pre-service teachers in learning and teaching.

ArguMentor helps readers engage with multiple perspectives in opinion articles.

A study highlights the focus on WEIRD populations in social computing research.

Research examines the link between AI explanations and user trust.

SlicerChat aims to assist 3D Slicer users by providing quick, accurate support.

Examining how AI aligns with human touch experiences through textile interaction.

This article examines popularity bias in recommendation systems and how LLMs can help.

Explore the innovative method of linking user queries directly to documents.

A new method tackles the cold-start issue in recommendation systems.

This study focuses on improving zero-shot learning through better entity and relation descriptions.

A new method enhances product search accuracy in online shopping.

Croissant-RAI improves data quality and usability for AI applications.

CF-Diff combines collaborative filtering and diffusion models for better recommendations.

A new framework enhances recommendations for users with limited history.

A new method tackles wireless errors in federated learning for IoT devices.

New detection method improves target tracking in busy cellular networks.

Learn about Approximate Message Passing and its role in data processing.

An overview of error correction in quantum computing and its significance.

Research on quantization techniques for efficient data transmission in noisy channels.

CF-Diff combines collaborative filtering and diffusion models for better recommendations.

Exploring the impact of ISAC and CF-mMIMO on communication and sensing technologies.

A new framework to choose information sources while minimizing classification errors and costs.

New methods and benchmarks aim to simplify formalizing mathematics through Lean 4.

Exploring the challenges and applications of modal separability in logic and computer science.

This paper introduces an approach for creating easy-to-understand AI classifiers.

Learn how optimistic rollups improve blockchain speed and efficiency.

Exploring how agents can adapt learned skills to new tasks using policy generators.

Improving safety for machine learning models with advanced shielding techniques.

Research merges regular expressions and fixed points for complex language definitions.

New methods enhance explicit definitions in description logics for clearer knowledge representation.

Examining the role of deep learning in enhancing causal models.

A new model learns to value data effectively and explains its decisions.

A new method improves model adaptation during testing with dynamic pseudo-label filtering.

New methods and benchmarks aim to simplify formalizing mathematics through Lean 4.

A new framework for improved decision-making in dynamic situations.

A novel approach combines physical modeling with machine learning for net load data generation.

Researchers develop a model to improve graph learning using data from various sources.

Exploring how GMFGs model diverse interactions among agents in complex systems.

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.

A comprehensive tool for modeling spreading phenomena in complex networks.

Exploring the complexities of aligning AI systems with diverse human interests.

Two algorithms improve decision-making for agents in competitive and cooperative environments.

A platform designed for AI agents to learn diverse skills through minigames.

Exploring how devices can collaborate for better efficiency and performance.

A look at risk measures in decision-making for multi-agent frameworks.

Drones track moving targets in urban areas using advanced environment modeling.

Agents create a language for spatial references in observations during game-play.

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.

Exploring how AI improves video streaming while promoting energy efficiency.

Frieren model improves audio quality and sync for video.

Gear-NeRF improves the rendering of dynamic 3D scenes using motion-aware techniques.

New methods strengthen watermarks against modern image editing threats.

A new system combines data and news for better heat risk management.

ECHO improves network traffic classification through machine learning techniques.

A new method tackles wireless errors in federated learning for IoT devices.

A new method enhances data sharing among autonomous vehicles for better traffic safety.

Explore the impact of edge computing on IoT and data management.

Semantic Communication aims to improve data handling and efficiency in future networks.

A new design combines quantum key distribution with Tor for better online privacy.

Research on quantization techniques for efficient data transmission in noisy channels.

Examining the collaboration between satellite and terrestrial networks for modern communication needs.

A new weight decay method enhances sparsification in neural networks.

Exploring how human feedback shapes autonomous vehicle behavior through reward systems.

DSNNs process information like real neurons, offering improved efficiency for data handling.

CADE optimizes spiking neural networks for better performance and efficiency.

This article discusses using symbolic policies in control systems through genetic programming.

A new benchmark enhances offline multi-objective optimization methods across various fields.

A new approach enhances SNNs by converting ANNs effectively.

Exploring memory formation and learning processes in biological and artificial systems.

Exploring the role of randomized algorithms in simplifying complex data.

A new algorithm enhances the analysis of complex switched systems.

A new approach enhances numerical solver settings for boundary value problems.

New methods improve prediction of wave behavior in various fields.

A look at methods for managing systems influenced by time, such as heat flow.

New methods in VEM improve solutions for mathematical problems with irregular boundaries.

New methods enhance the simulation of Brownian motion and stochastic differential equations.

A method for calculating Lyapunov exponents in renewal equations to study system behavior.

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.

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.

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.

Addressing the cold start problem with new profiling techniques for better app performance.

A look at efficient resource allocation in quantum networks and the role of EGS.

Techniques to speed up checkpoint creation for deep learning models.

Enhancing response times for large language models using a new adaptive approach.

CEBench helps businesses and researchers assess LLMs while managing costs and performance.

A new method helps programmers verify units in scientific software.

A new method enhances code generation for specialized programming languages.

Exploring how AI facilitates code conversion between programming languages.

A new metric to gauge how hard it is to compile programming languages.

Learn how reversible debugging improves error tracking in Erlang programming.

A new benchmark to assess LLMs for Java programming tasks.

A new method enhances code language models through effective test cases and preference learning.

MARVeLus bridges verification and implementation for safer cyber-physical systems.

Exploring a unique method for effective robot navigation in complex environments.

A new strategy for Yoshimura origami structures enhances flexibility and adaptability.

Legged robots are evolving to meet diverse challenges across various fields.

A new RF imaging system enhances object recognition in challenging environments.

A new approach to improve robot movement planning and manipulation tasks.

A new method improves how robots assess their surroundings with minimal labeling.

RoboCasa simulates environments for robots to learn everyday tasks effectively.

Research on synthetic perturbations for better HD maps in self-driving cars.

A new method for identifying key influencers in hypergraphs shows promising results.

Examining how health experts and pseudo-experts communicated during the pandemic.

A comprehensive tool for modeling spreading phenomena in complex networks.

Research develops methods for better understanding complex graph relationships.

A framework that detects anomalies in graphs while promoting fair treatment.

Exploring the significance of biharmonic distance in understanding graph structure and connectivity.

A new approach to understanding graph similarity using mutual information.

Explore how to analyze networks with numerical values attached to each node.

This framework uses multiple agents and task graphs for efficient problem solving.

Improving access to research artifacts boosts software requirements quality efforts.

A fresh method for training code models focusing on semantics and execution behavior.

Innovative method improves bug fixing efficiency using LLM-generated patches.

Learn how Digital Twins can improve space launch vehicle design and operation.

A new approach to enhance generator-based fuzzing by focusing on data types.

A guide to transforming non-idiomatic Python code using modern techniques.

Learn about fuzzing techniques to enhance web application security.

NeRAF creates synchronized sound and visuals for immersive experiences in various fields.

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

Using deep learning to enhance acoustic emission monitoring of bolted joints.

A new approach to combine singing and dance through advanced computer techniques.

Discover a fresh method for understanding music mixing through audio analysis.

Learn how speech inpainting is restoring audio quality in various fields.

A new system improves speech clarity in multi-speaker environments.

New methods improve how machines recognize emotions in speech.

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.

Differentiable Tree Experts improves tree operations in artificial intelligence.

A look into techniques for counting regular graphs and their applications.

FEAS enhances automated theorem proving for functional equations using new strategies.

A new model helps analyze complex species interactions in ecosystems.

Volt-PF control improves voltage management in renewable energy systems.

A comprehensive tool for modeling spreading phenomena in complex networks.

A new strategy for Yoshimura origami structures enhances flexibility and adaptability.

A new filtering method tackles outliers for better data accuracy.

Integrating SysCaps into energy modeling simplifies decision-making and improves predictions.

A look at how Hydro-Québec ensures electricity grid stability.

Explore how game theory enhances cooperation among agents in complex systems.