Computer Science

Introducing an effective algorithm leveraging existing policies for better learning outcomes.

This study explores new methods for detecting pedestrians in harsh weather.

DroneVis simplifies computer vision tasks for drones, enhancing usability and functionality.

SpaFL enhances communication and computation in Federated Learning while securing personal data.

This model improves sentiment analysis accuracy and efficiency for online comments.

This study enhances sleep analysis through a combined signals approach.

A new method helps machines learn complex tasks safely using videos.

Exploring the impact of UAVs and IRS on wireless communication advancements.

This model improves sentiment analysis accuracy and efficiency for online comments.

Study assesses seven LLMs on sentiment analysis in mixed-language WhatsApp chats.

A new method for accurately labeling table columns using knowledge graphs and language models.

Effective methods for detecting misinformation during health emergencies.

Skywork-MoE improves language processing with efficient techniques and innovative architecture.

A new approach to enhance small language models using sparse activation techniques.

MediQ redefines medical AI conversations for improved patient outcomes.

Manticore automates the creation of hybrid language models, improving efficiency and performance.

This study examines the complexities of the -Coloring problem in graphs.

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.

This model improves sentiment analysis accuracy and efficiency for online comments.

New techniques improve accuracy and speed in reservoir modeling for oil and gas extraction.

New methods improve heat management in various technologies.

Introducing a new approach for efficient sampling from complex distributions.

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.

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.

A look into stable partitions and their role in matching individuals based on preferences.

Enhancing the representativeness of sortition in democratic processes through new methods.

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

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.

A new framework enhances model adaptability to unexpected data in computer vision.

This study explores new methods for detecting pedestrians in harsh weather.

DroneVis simplifies computer vision tasks for drones, enhancing usability and functionality.

A new method generates views from a single video, improving ease of use.

E-Net enhances normal estimation efficiency and accuracy for 3D models.

A new method enhances vision-language models' performance with known and unknown classes.

LayerCAM-AE enhances detection of malicious updates in federated learning while preserving data privacy.

A new method addresses conflict in multi-view classification for better decision-making.

DroneVis simplifies computer vision tasks for drones, enhancing usability and functionality.

A new model enhances decision-making in complex scenarios with interdependent choices.

Counterfactuals reveal insights but pose privacy risks in machine learning.

Examining the risks and misuse of large language models in cybercrime.

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.

Examining harmful extensions in the Chrome Web Store and how to detect them.

This approach improves function comparison in software through call graphlets.

LayerCAM-AE enhances detection of malicious updates in federated learning while preserving data privacy.

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

Research aims to balance privacy and accuracy in vector mean estimation methods.

We propose a method for creating invisible backdoor triggers in diffusion models.

Analyzing vulnerabilities in the SAE J1939 protocol for commercial vehicles.

Two innovative techniques improve adversarial attacks on tabular data models.

A look into stable partitions and their role in matching individuals based on preferences.

Research aims to balance privacy and accuracy in vector mean estimation methods.

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 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.

SpaFL enhances communication and computation in Federated Learning while securing personal data.

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

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.

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.

A new method enhances human-like movements in animation and robotics.

New method improves the creation of lifelike 3D avatars from video footage.

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.

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 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.

Eery Space enhances virtual meetings by mimicking natural interactions and proxemics.

Study explores how robots teach kids handwashing skills effectively.

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.

A new method for accurately labeling table columns using knowledge graphs and language models.

This approach improves function comparison in software through call graphlets.

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.

Research aims to balance privacy and accuracy in vector mean estimation methods.

Counterfactuals reveal insights but pose privacy risks in machine learning.

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.

Using supermartingales to ensure the safety and efficiency of stochastic systems.

Discover how lazy abstraction and BRTDP improve MDP analysis efficiency.

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.

Introducing an effective algorithm leveraging existing policies for better learning outcomes.

A look into hierarchical model-based reinforcement learning and its promising framework.

Exploring advanced methods for effective graph data analysis.

DroneVis simplifies computer vision tasks for drones, enhancing usability and functionality.

SpaFL enhances communication and computation in Federated Learning while securing personal data.

New techniques in AI enhance protein structure prediction and design.

A new method enhances vision-language models' performance with known and unknown classes.

This study enhances sleep analysis through a combined signals approach.

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 new method improves choice accuracy by focusing on partial preferences.

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.

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.

Discover the impact of B5G and 6G on location privacy.

Exploring the impact of UAVs and IRS on wireless communication advancements.

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.

Exploring advanced methods for effective graph data analysis.

The GECCO conference explores the impact of selection strategies on algorithm performance.

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.

New hybrid methods improve radiation transport equation solutions in accuracy and efficiency.

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.

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.

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.

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.

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.

This article presents an innovative approach to organizing messy homes.

DroneVis simplifies computer vision tasks for drones, enhancing usability and functionality.

Teledrive enables caregivers to assist patients remotely using advanced robotic technology.

Exploring the impact of UAVs and IRS on wireless communication advancements.

A new method enhances human-like movements in animation and robotics.

A study on desktop robots using natural language and visual recognition technologies.

Exploring methods to improve location accuracy in aerial images.

New software platform improves how robots interact with people in various environments.

Effective methods for detecting misinformation during health emergencies.

LinkLogic provides clarity and reliability for link prediction in knowledge graphs.

Exploring how homophily shapes friendships and communities through technology.

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.

New methods improve detection of Ponzi schemes in cryptocurrency investments.

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.

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.

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.

Differentiable Tree Experts improves tree operations in artificial intelligence.

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

Introducing an effective algorithm leveraging existing policies for better learning outcomes.

Using supermartingales to ensure the safety and efficiency of stochastic systems.

A study on desktop robots using natural language and visual recognition technologies.

New model improves long-range information flow in graph data.

A look into determining safe movement areas for autonomous systems with unknown behaviors.

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.