Computer Science

This research focuses on generating pseudo-programs to enhance reasoning tasks in models.

A comprehensive look at trust dynamics in AI systems and their supply chains.

AI and ML transform how students are assessed in science education.

A new method enhances learning via expert demonstrations by merging diffusion models with GAIL.

Innovative methods could reshape how we analyze and apply biological data.

A new framework improves GNNs by using clustering to enhance learning.

A new machine learning method improves particle event analysis in high-energy physics.

Koodos framework enhances model adaptability to changing data in real-time scenarios.

This research focuses on generating pseudo-programs to enhance reasoning tasks in models.

This study evaluates ASR systems' performance with individuals who stutter.

This article examines how attacks affect LLM safety and response generation.

A universal audio clip can mute advanced ASR models like Whisper.

A new method to improve response speed in language models using selective document processing.

Exploring bi-reachability challenges in Petri nets enhanced with data values.

Exploring how AI enhances patent claim drafting efficiency and approval rates.

KG-FIT combines knowledge graphs with language model insights for richer data representation.

Investigating closed routes in graphs with specific visit constraints.

Learn how to compare phylogenetic networks using contractions and expansions.

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.

A new approach integrates quantum algorithms and multilevel techniques to tackle complex problems.

C-ShipGen revolutionizes ship hull design using AI for efficiency and quality.

Exploring the use of quantum computing for efficient mRNA optimization in medicine.

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.

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.

MGPT combines text and music to create and comprehend movement.

A new method improves images generated by Consistency models.

A new approach connects visual data with its meanings for better reasoning.

Researchers reveal new insights into the tallest trees of Asia.

NCS enables effective adversarial example generation with lower computational costs.

A new hybrid system combines optical and electronic methods for efficient image classification.

Deep-PE enhances pose selection accuracy in low-overlap point cloud scenarios.

DynRefer improves how machines describe images with dynamic resolutions.

This study evaluates ASR systems' performance with individuals who stutter.

AI and ML transform how students are assessed in science education.

Discover a structured way to reflect on ethical issues in research.

A new framework uses simulated comments to improve fake news detection.

Understanding how persona shapes interactions with conversational agents in various fields.

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.

This article examines how attacks affect LLM safety and response generation.

A new method improves jailbreak attacks on advanced AI models using character role-play.

A resource-efficient approach to backdoor attacks on advanced machine learning models.

Exploring the blend of privacy-focused learning and data generation techniques.

New methods in code-based encryption enhance data protection effectively.

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.

Learn how to compare phylogenetic networks using contractions and expansions.

A new method for efficiently modeling complex Gaussian mixtures.

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.

A method that turns natural language questions into accurate SQL queries for complex databases.

LiveData offers solutions for effective and diverse data sharing across borders.

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.

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.

A new system improves memory management for AI using GPUs.

A toolkit for evaluating quantum processing units through standard measurements.

This study assesses GPU benefits for CFD simulations in terms of speed, power, and costs.

An overview of weak memory models and their impact on concurrent systems.

Arma offers a scalable solution for reliable transaction processing in distributed networks.

A comprehensive framework for analyzing XR performance in edge-assisted wireless networks.

LiveData offers solutions for effective and diverse data sharing across borders.

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

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.

Exploring bi-reachability challenges in Petri nets enhanced with data values.

A look at how UHAT models process data sequences effectively.

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.

A new approach enhances the consistency of normals in point clouds.

A new method enhances the quality of 3D models from images.

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.

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.

A comprehensive look at trust dynamics in AI systems and their supply chains.

A tool helping users craft better explanations for AI decision-making.

Study focuses on how robots can handle conflicts and communicate effectively with users.

Examining obstacles faced by contributors of low-resourced languages in Ethiopia.

Research reveals harmful content exposure for Amharic speakers on YouTube.

Discover a structured way to reflect on ethical issues in research.

A new framework optimizes the use of large language models efficiently.

Understanding how persona shapes interactions with conversational agents in various fields.

BankFair improves recommendation systems for users and providers amidst varying traffic.

M-RAG enhances text generation through efficient information retrieval.

A new method enhances local citation recommendations for researchers.

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.

Exploring the balance between coherence and distinguishability in quantum systems.

Learn how Transfer Entropy enhances Convolutional Neural Networks training and performance.

A look into coding theory and its importance in error correction.

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.

Exploring bi-reachability challenges in Petri nets enhanced with data values.

A tool that leverages AI to generate helper assertions for Dafny code verification.

Explore how parametricity and cohesion shape reliable type systems.

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 model enhances portfolio management through AI and traditional theories.

A new method improves images generated by Consistency models.

Client2Vec enhances federated learning by creating unique identifiers for user data.

AI and ML transform how students are assessed in science education.

A new approach connects visual data with its meanings for better reasoning.

Exploring how quantum technology improves time series predictions.

A new method enhances learning via expert demonstrations by merging diffusion models with GAIL.

Researchers reveal new insights into the tallest trees of Asia.

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.

Traffic Divergence Theory offers insights into managing network performance effectively.

Using electric vehicles to provide power to telecom base stations in outages.

This study explores how agents communicate through imitation of useful signals.

Imitation learning helps robots move better in busy environments.

A new method improves traffic flow and fuel efficiency at complex intersections.

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.

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.

New methods are needed for efficient satellite communication in our connected world.

Traffic Divergence Theory offers insights into managing network performance effectively.

A comprehensive framework for analyzing XR performance in edge-assisted wireless networks.

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.

This study explores how agents communicate through imitation of useful signals.

Exploring how GPUs enhance the efficiency of Differential Evolution algorithms.

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 new method improves motion estimation using adaptive finite element meshes.

New algorithms integrate high-order methods for efficient optimization.

A look at how the HHO method improves material behavior analysis.

This study assesses GPU benefits for CFD simulations in terms of speed, power, and costs.

A new method to evaluate covariance functions efficiently in Gaussian processes.

Examining how stencil size affects accuracy in RBF-FD for solving PDEs.

New methods for approximating complex functions from limited data are emerging.

This article discusses techniques in optimal control for dynamic systems described by hyperbolic equations.

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 study assesses GPU benefits for CFD simulations in terms of speed, power, and costs.

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.

A new algorithm improves code refinement using LLMs more efficiently.

Explore how parametricity and cohesion shape reliable type systems.

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.

A new method enhances learning via expert demonstrations by merging diffusion models with GAIL.

This article discusses a new method for robots to avoid obstacles safely.

New methods improve stability of control systems under uncertain conditions.

Study focuses on how robots can handle conflicts and communicate effectively with users.

A new algorithm enhances navigation for small lunar rovers on challenging terrain.

A new dual-speed actuator improves robot versatility and efficiency for various tasks.

A new model improves dielectric elastomer applications in soft robotics.

A new model improves robot learning for complex tasks.

A new framework uses simulated comments to improve fake news detection.

DPHGNN enhances performance in hypergraph-related tasks using dual-layered learning.

Link2Doc enhances link prediction by merging text and graph structure.

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 article highlights the importance of updating code comments for clarity.

A toolkit for evaluating quantum processing units through standard measurements.

A new algorithm improves code refinement using LLMs more efficiently.

A look into large language models for coding and their ecosystem.

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.

A universal audio clip can mute advanced ASR models like Whisper.

A device helps focus on specific voices in crowded places.

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.

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.

New wireless technology improves safety and efficiency in brain-computer connections.

A new method enhances sequence data processing using state-space models and transfer functions.

This article discusses a new method for robots to avoid obstacles safely.

C-ShipGen revolutionizes ship hull design using AI for efficiency and quality.

New methods improve stability of control systems under uncertain conditions.

A fresh approach to modeling electricity networks with renewable sources.

Designing WEC farms for better energy performance through careful planning and modeling.

Innovative methods are essential for active debris removal and safe space operations.