Computer Science

A method to enhance safety in reinforcement learning using Control Invariant Sets.

New framework improves cell recognition using fewer labeled examples.

Maestro engages students in learning AI safety through competitive gaming experiences.

Skill-Critic combines high-level and low-level learning for better performance in RL tasks.

New method improves how machines learn tasks through interaction detection.

Larger language models may perform poorly on certain tasks, raising critical questions in AI research.

MERT addresses music modeling challenges through innovative self-supervised learning techniques.

New model enhances decision-making in AI using memory techniques.

Methods to improve speech translation systems for underrepresented languages.

Larger language models may perform poorly on certain tasks, raising critical questions in AI research.

MERT addresses music modeling challenges through innovative self-supervised learning techniques.

Evaluating LLM performance in Mandarin Chinese through a new benchmark called CMMLU.

A new method enhances image generation from text by properly linking entities and modifiers.

A look into how CSCGs enhance in-context learning through flexible template structures.

Evaluating how advanced language models influence programming assessments and education.

A novel AI model improves communication and image sharing in the PhotoBook game.

An overview of polynomial optimization methods and their practical implications.

A look into tensor ranks and their significance across various fields.

Permutation graphs play a crucial role in graph isomorphism testing and algorithm development.

A study on minimizing sensor use in monitoring electrical grids.

This article explores how players compete for limited resources in congestion games.

New methods improve efficiency in bin packing and hypergraph coloring applications.

Examining the significance of counting computations in complexity and cryptography.

Exploring the complexities of learning free fermion distributions in quantum mechanics.

Combining reinforcement learning and barrier functions for smarter investment strategies.

Machine learning models can quickly predict electricity prices, enhancing market efficiency.

Combining Green's functions with neural networks offers new solutions for complex PDEs.

A method to trade ETFs based on internal bar strength signals.

New methods improve the simulation of dynamic electromagnetic materials and their applications.

A new method improves deep learning training for high-resolution scientific data analysis.

A new method enhances image creation from radio telescope data.

Combining peridynamics and gradient elasticity enhances understanding of dislocations in materials.

A new method improves mesh generation for accurate surface representation.

New research reveals methods to detect and address gerrymandering using random districting plans.

Research unveils methods to test if crease patterns can be folded flat.

This article explores challenges and solutions in finding optimal observation paths.

A look at techniques to improve curvature estimation from noisy point cloud data.

Robots efficiently create shapes using color codes and specific movement strategies.

Exploring ε-covers for efficient querying in high-dimensional data analysis.

This study focuses on minimizing network lengths connecting specific points in geometry.

Examining strategies that influence cooperation among individuals in various scenarios.

Machine learning models can quickly predict electricity prices, enhancing market efficiency.

How firms navigate competitive pricing without full market knowledge.

A new method improves bidder selection speed and accuracy in digital ads.

This article explores how players compete for limited resources in congestion games.

A look into how proposals affect coalitional negotiations and outcomes.

New method improves character movement in animation and gaming.

A look at how to reduce bias in expert evaluations during voting.

New framework improves cell recognition using fewer labeled examples.

A new method reveals how eye reflections can reconstruct 3D environments.

MaskDiT enhances diffusion model training efficiency while maintaining image quality.

A study on Visual Foundation Models' performance under real-world distortions in segmentation tasks.

New model enhances prostate segmentation in micro-ultrasound images.

Researchers develop new methods to observe mouse behavior in their natural environment.

DiffAug enhances image recognition systems through innovative noise techniques.

Introducing CANN, a method for accurate visual localization using local features.

Larger language models may perform poorly on certain tasks, raising critical questions in AI research.

This article discusses the importance of datasheets for machine learning sensors.

Ghost booking offers a new way to support those in need.

Evaluating how advanced language models influence programming assessments and education.

Learn to generate pop songs using advanced AI tools in this hands-on course.

New framework improves data accuracy for decision-making in public health and policy.

Examining the need for regulations and the introduction of AI Architects for safety.

New methods for generating questions enhance reading skills and engagement.

A new framework integrates privacy and robustness techniques for trustworthy machine learning.

Learn how deep learning models process encrypted images while maintaining privacy.

Examining the importance and common misuses of security APIs in software.

A new method protects individual privacy in sharing mobility data during crises.

Examining the impact of biased data in audio detection technologies.

Discover how machine learning improves network defence against online threats.

A study on linking fine-tuned models to their base versions.

This article examines privacy issues in embodied AI through gradient inversion methods.

Analyzing strategies for efficiently solving the Bin Packing Problem with various real-world scenarios.

MementoHash offers efficient data distribution across nodes in cloud environments.

This paper presents two new algorithms for clustering graphs with clear structures.

New research reveals methods to detect and address gerrymandering using random districting plans.

A study on minimizing sensor use in monitoring electrical grids.

Addressing bias in rankings to ensure fair selection processes.

This article explores how players compete for limited resources in congestion games.

Learned indexing improves data retrieval speed using machine learning techniques.

A new dataset and scoring model focuses on human tastes in image generation.

A look into functional dependencies and their significance in data accuracy.

A framework designed to enhance stream compression on edge devices, balancing efficiency and energy use.

Learn how machine learning enhances business process mining for better decision-making.

LaDe provides crucial insights into last-mile delivery logistics using real-world data.

Learned indexing improves data retrieval speed using machine learning techniques.

FANNS improves speed and efficiency in vector searches using advanced hardware.

ETL processes help organize and analyze satellite data for better scientific insights.

Using Transformers to analyze and categorize research papers for better insights.

AI tools aim to improve access to LaTeX documents for visually impaired users.

A dataset offering insights into how the Russo-Ukrainian war is reported worldwide.

A new system allows users to search Iconclass using both text and images.

A fresh look at how disruption is measured in science today.

A look at reproducibility issues in speech processing research.

FAIR EVA improves data management practices for researchers and institutions.

This article examines the current state of software citation in scientific studies.

A look at geometric inhomogeneous random graphs and their practical applications.

A study on optimizing arrangements of bipartite planar graphs in linear layouts.

A look into functional dependencies and their significance in data accuracy.

Permutation graphs play a crucial role in graph isomorphism testing and algorithm development.

New research reveals methods to detect and address gerrymandering using random districting plans.

Explore the fascinating world of shield tilings and their unique patterns.

Exploring the optimal connection strategies for groups of points in trees.

Learn how model-based diagnosis identifies and fixes system issues effectively.

New methods enhance personalized federated learning while preserving data privacy.

A new benchmark for combining data types while prioritizing user privacy.

MementoHash offers efficient data distribution across nodes in cloud environments.

Fedstellar enables secure and efficient training of machine learning models across devices.

A new framework improves learning from limited data in federated environments.

ZeRO++ enhances communication efficiency in training large deep learning models.

Learn how Hydroflow and e-graphs improve data processing efficiency.

New methods for matrix multiplication improve speed and energy efficiency.

Exploring how RNS can boost efficiency and precision in deep learning.

Photonic networks harness light for faster AI processing and energy efficiency.

A new method improves prediction reliability in neural networks using spintronics.

This paper discusses flexible programming methods for dynamic qubit arrays in quantum computing.

Research highlights the benefits of the reducing-width Ansatz design in QNNs.

Exploring the potential of quantum neural networks in chemical and pharmaceutical research.

Using Quantum Boltzmann Machines to improve anomaly detection in cybersecurity.

Researchers are developing methods to streamline the HHL algorithm for quantum computers.

This article introduces a new framework for improving language model execution.

This paper focuses on the importance of robustness in safety-critical systems.

New methods improve the verification of concurrent programs, addressing path explosion challenges.

Exploring efficient methods for creating winning strategies in two-player games.

A study on learning methods for broadcast protocols in complex systems.

Analyzing the properties and implications of generalized Sem enov arithmetic.

A look into document spanners and their role in text information extraction.

A new approach improves SAT solver efficiency through better communication between modules.

A system that mimics human skills in rearranging boxes realistically.

A simple approach to creating detailed 3D room layouts using 2D annotations.

New methods improve animated character realism in speech and expression.

New method enhances vehicle image generation by minimizing drag.

A new system enhances travel choices through personalized attraction suggestions.

New method improves character movement in animation and gaming.

New methods improve the visualization of complex scientific data.

New method improves color manipulation for artists and designers.

Examining the impact of heterogeneous integration on reducing carbon emissions in tech.

Exploring how RNS can boost efficiency and precision in deep learning.

A new method improves prediction reliability in neural networks using spintronics.

Sparq aims to improve performance in quantized neural networks with lower resource needs.

A new platform assesses deep learning accelerator performance for safe autonomous vehicles.

MRFI offers a flexible approach to simulate faults in neural networks, enhancing reliability.

A new hardware architecture improves scene text detection efficiency and accuracy.

This framework streamlines electronic design processes for engineers.

Maestro engages students in learning AI safety through competitive gaming experiences.

This article discusses using Live Programming to enhance AI-generated code suggestions.

This article discusses the importance of datasheets for machine learning sensors.

A method to improve supercomputer reliability through effective data analysis.

A method using AI and simulated experts to tackle complex challenges.

Examining how our brains judge trust and looks in social interactions.

A study on ChatGPT's ability to pass Vietnam's high school graduation exam.

Awayvirus uses play to teach children about hygiene in a fun way.

A tool to verify the authenticity of social media screenshots.

A new approach improves mutual recommendations in job and dating platforms.

Using Transformers to analyze and categorize research papers for better insights.

RecFusion offers a fresh perspective on predicting user preferences in recommendation systems.

A new approach to enhance VDER models using diverse document data.

A new metric aims to improve explainability in search systems.

Introducing NFT-MARS, a recommender system designed specifically for the growing NFT market.

New methods improve relation extraction and data efficiency.

Exploring the relationship between strong blocking sets, minimal codes, and expander graphs.

A look at new methods to improve message clarity in communication.

A new approach to wireless communication using CNN-AE improves efficiency and reduces errors.

A new approach to compressing data while keeping privacy intact.

Exploring Compute-Forward Multiple Access to improve data rates in MIMO systems.

This study reveals new strategies for minimizing regret in online learning.

Exploring bilipschitz maps for embedding orbit spaces within Hilbert spaces.

CorInfoMax aims to improve neural networks by mimicking biological learning processes.

A fresh method helps handle contradictions in knowledge systems using probabilistic reasoning.

A look into I/O logic and its impact on decision-making and reasoning.

Explore how trigger selection impacts SMT solver efficiency and accuracy.

Explore how restriction categories help us understand mathematical relationships.

A new method enhances robot planning using structured knowledge and scene graphs.

A deep look into automatic structures and the challenges of quantifier elimination.

Explore how BDD-based methods improve SAT problem-solving efficiency.

New methods improve the verification of concurrent programs, addressing path explosion challenges.

A method to enhance safety in reinforcement learning using Control Invariant Sets.

A novel method enhances compressed sensing through mixed-integer optimization.

A new framework integrates privacy and robustness techniques for trustworthy machine learning.

A new method improves modeling of potential energy surfaces in atomistic simulations.

A new approach to Gibbs sampling enhances neural network performance.

Skill-Critic combines high-level and low-level learning for better performance in RL tasks.

A study on reducing noise in quantum neural networks using variance regularization.

AQuA offers tools to assess label quality in machine learning datasets.

New methods for matrix multiplication improve speed and energy efficiency.

New methods enhance MPI Alltoallv communication for improved FFT performance.

Discover how FPGA technology improves high-precision matrix multiplication.

Learn about function calculus and its real-world applications.

SpComp enhances efficiency in sparse matrix calculations through smart optimization.

New software enhances XCT imaging with machine learning and data consistency.

Study investigates the impact of noise on matrix profile analysis of time series data.

Optimizing sparse tensor operations for improved performance and efficiency.

OMAC algorithm improves decision-making in multi-agent scenarios using pre-collected data.

Improving traffic flow with modern control methods for urban intersections.

A new method for agent cooperation using edge agreements to achieve shared goals.

Learn how groups can effectively tackle complex problems through competitive search methods.

A new method helps robots predict each other's actions for better teamwork.

A look into how proposals affect coalitional negotiations and outcomes.

This article examines how unpredictability affects social behavior and norms.

Loopy adapts its shape through local interactions, mimicking biological systems.

A new dataset challenges methods for detecting altered video content.

A new dataset and model improve remote sensing image analysis.

Research shows effective ways to compress cataract surgery videos for better storage management.

Research explores BERT's potential in bar-level music analysis.

A new model improves melody harmonization by considering emotional factors.

A new method improves video compression while maintaining quality and efficiency.

A new framework reduces manual labeling costs in food image segmentation.

This framework streamlines data processing for better recommendation systems.

Lakat promotes open sharing and collaboration in academic research.

Using game theory to optimize performance in quantum networks for better communication.

A new data collection platform addresses machine learning challenges in network security.

MementoHash offers efficient data distribution across nodes in cloud environments.

Fedstellar enables secure and efficient training of machine learning models across devices.

Photon makes file sharing easy and secure between devices.

A new model improves resource allocation in 5G, ensuring service reliability and efficiency.

Examining the potential of quantum mining to reduce energy use in cryptocurrencies.

Exploring how RNS can boost efficiency and precision in deep learning.

Examining the neural connections that enable memory and learning in the brain.

A new framework evaluates how well speech models adapt to specific tasks.

CorInfoMax aims to improve neural networks by mimicking biological learning processes.

Learn effective ways to retrieve data using Hyperdimensional Computing methods.

New methods for boosting SNN resistance against attacks.

Learn how groups can effectively tackle complex problems through competitive search methods.

New model mimics biological patterns using neural networks without external input.

Exploring eigenvalues in specific Toeplitz matrices with two non-zero off-diagonals.

New model PDNO improves efficiency in solving complex PDEs.

Utilizing the weak Galerkin method to achieve lower bounds for eigenvalues.

A study on the Meshless Lattice Boltzmann Method in fluid simulations.

A new method enhances error estimation in IFE techniques for complex interface problems.

A new method improves preconditioners using machine learning for solving complex equations.

A new method improves understanding of fluid flow over surfaces.

A new method enhances modeling of conservation laws in network systems.

This framework simplifies the development of Linux kernel schedulers.

Discover how ZNS devices simplify SSD data management and improve efficiency.

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.

Exploring the significance and applications of mobility data in society today.

A new framework helps scientists communicate and design better experiments.

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.

ZeRO++ enhances communication efficiency in training large deep learning models.

Discover how encrypted DNS improves user privacy and web performance.

New methods improve the visualization of complex scientific data.

Optimizing agent-based models for better performance in biological simulations.

New policies enhance performance in complex cloud environments.

Exploring the benefits of using different-sized arithmetic units in computing systems.

New methods enhance MPI Alltoallv communication for improved FFT performance.

An overview of transaction workloads and their role in financial systems.

This article discusses using Live Programming to enhance AI-generated code suggestions.

A new method enhances control over text generation in language models.

This study assesses self-repair's effectiveness in programming tasks using advanced language models.

A library for fuzzy logic in Julia, focusing on ease of use and flexibility.

Learn how Hydroflow and e-graphs improve data processing efficiency.

Julia facilitates efficient data analysis in high energy physics through high performance and ease of use.

This article discusses resource leaks and the benefits of automatic inference techniques.

A visual approach to grasping programming concepts using string diagrams.

New method improves how machines learn tasks through interaction detection.

Robots adaptively collect data in dynamic environmental conditions for effective monitoring.

An AI assistant enhances drone flying for novice pilots.

A new method improves legged robots' jumping capabilities across uneven terrains.

A system that mimics human skills in rearranging boxes realistically.

A new method combines VAEs and GANs for efficient robot navigation.

A look at improving sample efficiency in reinforcement learning with new techniques.

Exploring comfort factors in autonomous vehicle design for enhanced user experience.

This article examines a model for understanding media bias and audience polarization.

A look into link prediction methods and their applications across various fields.

Assessing GSL methods for improved graph data learning.

Examining the potential of quantum mining to reduce energy use in cryptocurrencies.

An analysis of Twitter's role in shaping vaccine discussions in Italy.

SGFormer efficiently processes large graphs with a single layer of attention.

A new approach to analyze complex relationships over time using temporal hypergraphs.

A new framework to assess structural embeddings for enhanced data analysis.

Examining how code reviews facilitate information sharing in software development teams.

Examining the importance and common misuses of security APIs in software.

Evaluating how advanced language models influence programming assessments and education.

Quantum computing's potential is growing through accessible service models for businesses.

This study assesses self-repair's effectiveness in programming tasks using advanced language models.

FLITSR helps identify multiple software bugs more efficiently through iterative test reduction.

A study of quality assurance practices in popular open source projects reveals gaps in integration.

A guide to building strong IoT systems that can withstand threats.

A new method for training keyword spotting models using weak supervision in noisy environments.

Methods to improve speech translation systems for underrepresented languages.

MERT addresses music modeling challenges through innovative self-supervised learning techniques.

A new approach enhances RNN-T performance in automatic speech recognition.

AVLIT model combines sound and video for better speech clarity in noisy settings.

Examining the impact of biased data in audio detection technologies.

A new method enhances voice separation using multiple microphones without labeled data.

A study improves speaker verification models for better identity protection.

Exploring efficient methods for creating winning strategies in two-player games.

Using the Risch Algorithm to improve datasets for machine learning in symbolic integration.

A look at how algebraic simplifiers enhance software reliability.

A novel method to find real solutions in symmetric polynomials efficiently.

A look at methods for handling polynomial equations and their applications.

An overview of complex projective hypersurfaces and their significance in mathematics.

New model improves how knowledge graphs represent concepts and entities.

Learn how to speed up recursive functions using Runtime Repeated Recursion Unfolding.

A method to enhance safety in reinforcement learning using Control Invariant Sets.

Innovative methods for precise soil moisture monitoring in agriculture.

A new approach enhances privacy while optimizing collaborative agent performance.

Research on robots to clean space debris and support satellite operations.

A method to improve electricity management through smart PMU reporting.

Using advanced strategies to ensure timely updates in IoT networks.

A new method for agent cooperation using edge agreements to achieve shared goals.

This paper focuses on the importance of robustness in safety-critical systems.