Computer Science

DustNet offers quick and accurate predictions of dust levels and their atmospheric impacts.

Investigating qubit allocation and modular architectures for improved quantum computing efficiency.

Introducing WeatherQA, a dataset for better predicting severe weather events.

New method enhances visual prediction accuracy through object representation.

A framework to improve theorem proving using Lean4 and language models.

A novel approach improves accuracy in time series forecasting with multiple resolutions.

Researchers build realistic fake populations to study behavior and social patterns.

Research assesses stability of XAI methods using diabetes dataset.

Emilia provides a diverse dataset for improving speech generation models.

Introducing WeatherQA, a dataset for better predicting severe weather events.

This approach uses self-evaluation to guard against harmful outputs in language models.

Research shows simple input changes can lead to harmful outputs in LLMs.

Studying how quantization affects performance in different languages.

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

DCoT enhances language model performance through multiple reasoning paths.

A new method enhances Japanese-English translation accuracy using advanced training techniques.

A look into how weighted processes function and their mathematical implications.

Explore the advantages and applications of Low-Rank Adaptation in AI models.

This article examines how social hierarchies form between competing groups.

A strategy game where players program workers to reach their jobs amidst obstacles.

Explore the complexities of counting induced subgraphs in various graph properties.

This article discusses deducibility in the Lambek calculus and its complexities.

A deep dive into the behavior of Boolean functions and their approximate degrees.

An overview of graph polynomials and their relevance in various fields.

New framework improves genetic biomarker prediction in colorectal cancer using whole slide images.

A concise overview of equity research reports and their significance in investing.

ALPS streamlines the design of photonic surfaces using machine learning.

Research focuses on improving brain model accuracy through innovative simulation techniques.

A new framework enhances predictive modeling by integrating sensor and simulation data.

A new method uses deep learning for improved monitoring of structures.

Investigating how groups focus their attention in shared experiences.

A new tool improves speed and accuracy in analog circuit design.

Explore methods for point containment in Constructive Solid Geometry using various algorithms.

This method helps clarify complex, changing data by reducing noise while retaining important features.

A new algorithm speeds up Fréchet distance computations for better curve similarity analysis.

Learn how bifiltrations enhance data analysis by examining two parameters simultaneously.

This article discusses the significance of crossing numbers and ratios in graph theory.

Examining Cech persistence diagrams for better data analysis and machine learning applications.

Combining k-center and k-median for advanced data analysis.

A new method improves matching of non-rigid 3D shapes amid noise and distortions.

A look into auction strategies and their impact on market behavior.

Examining methods for fair distribution of perishable items in resource-limited settings.

Exploring how video games can teach essential programming skills effectively and engagingly.

Creating systems that promote truthfulness among users in various digital interactions.

Examining interactions between agents in decision-making environments.

A look into game theory concepts that shape player decisions.

A look into fair resource distribution in housing.

A method to maximize value in agent-item matching by analyzing preferences.

A new method improves video frame interpolation using polarized light techniques.

Introducing WeatherQA, a dataset for better predicting severe weather events.

New method enhances visual prediction accuracy through object representation.

A new method enhances medical image segmentation using available text records.

Venomancer is a stealthy backdoor attack on federated learning systems.

A new method enhances video data management for better understanding and efficiency.

CLAMP-ViT offers a new way to compress vision transformers using synthetic data.

New methods enhance 3D data recovery from single images.

Examining changes in communication and vocabulary on social media over 34 years.

Improving user experience by merging cognitive ergonomics with language models.

AI helps tackle subjectivity in corporate sustainability assessments.

Governments must enhance emergency plans for potential AI-related threats to national security.

Examining gender dynamics in online body image conversations.

Exploring how LLMs compare to human graders in scoring student responses.

A new game aims to inspire girls to learn programming in a fun way.

A framework to track and analyze energy consumption in large language models.

This approach uses self-evaluation to guard against harmful outputs in language models.

Exploring machine learning models and new datasets for improved security.

A detection system enhances vehicle security against cyber threats using advanced techniques.

Zero-X enhances cybersecurity for connected vehicles against emerging threats.

This research examines the effectiveness of Random Forest in detecting network anomalies.

An overview of mempool security and proposed measures to prevent eviction attacks.

AntibotV tackles bot malware threats in connected cars through advanced monitoring.

Cities gain crucial transport data while addressing privacy concerns.

Exploring random cell complexes in mathematics and data analysis.

Learn how coresets improve efficiency in multiple regression analysis.

Learn how hypergraph cut sparsifiers maintain essential features while reducing complexity.

Explore the role of binary search trees in data organization and performance.

Creating systems that promote truthfulness among users in various digital interactions.

Exploring methods for equitable gift distribution among friends.

Exploring Fair Submodular Cover algorithms for equitable decision-making in machine learning.

A look into fair resource distribution in housing.

Innovative methods for effective trajectory data management and analysis.

A look into how CER systems analyze data patterns in real-time.

A new method improves how we match entities across different knowledge graphs.

Cities gain crucial transport data while addressing privacy concerns.

A new method enhances the evaluation of SQL code generation accuracy.

A new dataset accelerates seismic analysis using innovative machine learning techniques.

Learn how reference models can streamline design and enhance quality.

A look into the rise and applications of graph databases.

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 framework aims to automate paper reviews for better quality feedback.

GraphMuse streamlines the analysis of symbolic music data with advanced machine learning techniques.

Reviewing key trends and collaborations in COVID-19 studies during 2020.

A system that improves information retrieval by clarifying user questions.

This study focuses on generating citations with appropriate length for better quality.

Exploring random cell complexes in mathematics and data analysis.

A study on sparse sets within triangle-free graphs and their properties.

This article examines how groups can be represented using subshifts of finite type.

A look into how weighted processes function and their mathematical implications.

This article discusses the significance of crossing numbers and ratios in graph theory.

A study of how reflection complexity reveals pattern behaviors in sequences.

A look into how Boolean networks model biological interactions.

This article examines the link between GHZ states and graph theory.

A new system enhances ML model serving by combining accuracy and hardware scaling.

This method improves communication efficiency in federated learning while preserving data privacy.

A method for calculating averages while keeping node data private.

A new system aims to improve speed and efficiency in analyzing genetic data.

Edge AI processes data closer to its source, improving speed and security.

Research highlights strategies for reducing energy use in large language models.

A look into grid networks, their components, and management strategies.

New method improves model performance on unseen data.

New methods enhancing particle-conserving gates optimize quantum circuits for chemistry and physics.

A new method enhances speed and efficiency in data handling within memory systems.

A new tool enhances Git merging by analyzing code dependencies.

A new framework aids non-experts in harnessing quantum computing for solving optimization problems.

RRAM technology offers unique properties for data storage and computing.

A look at barren plateaus and their impact on quantum algorithms.

New method improves neural network security using stochastic computing.

Discover how large language models can optimize satellite, aerial, and terrestrial networks.

A framework to improve theorem proving using Lean4 and language models.

A look into how CER systems analyze data patterns in real-time.

A look into CFGs, their components, and relationships like bisimilarity.

A look into how weighted processes function and their mathematical implications.

A study of how reflection complexity reveals pattern behaviors in sequences.

This article explores mailbox communication and its role in finite-state machines.

Learn how automata theory enhances the performance of language models.

Exploring how history-determinism and fair simulation relate in automata theory.

GSD improves 3D object creation from single images with enhanced accuracy.

This method helps clarify complex, changing data by reducing noise while retaining important features.

Beat-It generates synchronized dance movements to enhance choreography effortlessly.

A new approach improves image generation from sketches by separating object and scene creation.

A novel method simplifies complex 3D shapes with effective sweep surfaces.

A new method simplifies personalized image generation from text.

New deep learning model enhances motion prediction for solid objects in 3D.

New methods improve 3D scene appearance based on 2D images efficiently.

A new system improves GPU thread management for better performance.

A look at new methods improving electronic circuit floorplanning efficiency.

A new method enhances HDL code generation accuracy using LLMs.

A new system aims to improve speed and efficiency in analyzing genetic data.

New methods improve energy efficiency for CNNs on STM32 microcontrollers.

Learn how sequential circuits work and the role of referring forms in their analysis.

This framework optimizes decoder management for efficient quantum computing.

SPOGA accelerates deep neural networks with improved speed and energy efficiency.

A new VR escape room game enhances education in building energy simulation.

Improving user experience by merging cognitive ergonomics with language models.

The AMEX dataset enhances AI understanding of mobile app interfaces.

Examining the impact of knowledge sharing biases online.

A new game aims to inspire girls to learn programming in a fun way.

GameDevDojo offers a fun way to learn game development concepts.

This article discusses LLMs and their role in editing Wikipedia content.

A reliable earbud-based system monitors breathing rates during various daily activities.

A new benchmark addresses challenges in code retrieval for developers.

Discover how quantum computing can enhance feature selection in recommender systems.

ITEM framework improves training and evaluation of GNNs for better recommendations.

Introducing MERGE datasets to improve emotion classification in music.

CaseGPT improves case retrieval and insights for professionals in healthcare and law.

A concise overview of equity research reports and their significance in investing.

A model enhances expert identification for better user engagement on Q&A platforms.

New techniques improve search engine models by considering user context.

A look at how common information impacts various fields of study.

New methods enhance 3D data recovery from single images.

Examine how probability distributions change over time and their information loss.

This study focuses on improving wireless communication through advanced beamforming methods using deep learning.

New method improves efficiency in lossless image compression for binary images.

Researchers examine DNA's potential for efficient data storage using motifs.

Introducing estimators for better understanding feature contributions in regression.

A method for calculating averages while keeping node data private.

Explore how Runtime Verification aids in checking system performance through event traces.

Explore the nuances of intuitionistic logic and its implications in mathematics and computer science.

A method improving the verification of higher-order probabilistic programs using novel type systems.

An overview of how rules interact within logical frameworks.

A look into CFGs, their components, and relationships like bisimilarity.

Learn straightforward concepts in quantitative reasoning and their real-world applications.

A new framework ensures compiler optimizations maintain program correctness.

A look into how weighted processes function and their mathematical implications.

A new approach to quantum compilation using reinforcement learning shows promise for effective quantum operations.

A new algorithm offers effective solutions for average-reward decision-making tasks.

This approach uses self-evaluation to guard against harmful outputs in language models.

Research shows simple input changes can lead to harmful outputs in LLMs.

Studying how quantization affects performance in different languages.

Exploring the challenges of using ensemble methods in machine learning.

A novel approach improves accuracy in time series forecasting with multiple resolutions.

Research assesses stability of XAI methods using diabetes dataset.

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 framework for optimizing complex geodesic convex problems in various fields.

HOBOTAN efficiently tackles complex higher-order optimization problems using advanced computing techniques.

Learn how Restricted Function Spaces improve PDE solutions in Firedrake.

A new tool for efficient structural optimization using automatic differentiation.

A new heuristic enhances solution finding in MILP problems.

Learn how PhysiBoSS simplifies complex biological modeling for researchers.

Researchers build realistic fake populations to study behavior and social patterns.

A look at how agents adapt strategies in complex environments.

A new system enhances Zebra puzzle solving accuracy using AI agents and language models.

Study reveals how simple rules lead to complex patterns in various systems.

Examining interactions between agents in decision-making environments.

A fresh approach to decentralized systems that enhances agent collaboration and decision-making.

A new algorithm enhances decision-making in multi-agent environments with limited visibility.

A new method enhances video data management for better understanding and efficiency.

The AMEX dataset enhances AI understanding of mobile app interfaces.

Introducing MERGE datasets to improve emotion classification in music.

Exploring how video games can teach essential programming skills effectively and engagingly.

Combining sound and images for smarter recognition systems.

VCoME helps users create engaging verbal videos easily.

Researchers aim to create sounds that match silent videos, improving viewer experiences.

A new approach enhances the clarity of questions generated from images.

Study examines middleware options in robotic space missions over mesh networks.

A new routing protocol enhances UAV network efficiency and reliability.

Tiny movements in VR affect wireless connections and user experiences.

Enhancing smart grid safety using honeypots and federated learning approaches.

This article discusses LR-FHSS and its role in improving IoT satellite communication.

6G technology aims to enhance wireless communication through reliability, low latency, and high data rates.

This article discusses enhancing security for IoT networks using LEO satellites.

Examining AI models for effective software log classification in telecom networks.

A new system improves signal processing efficiency through innovative encoding methods.

New methods utilize neural networks to tackle complex time-fractional equations effectively.

Explore how financial knowledge shapes investment behavior and market involvement.

A new method for urban metro planning aims to improve efficiency and accessibility in Chennai.

New model simplifies Human Activity Recognition using standard devices.

Research focuses on improving brain model accuracy through innovative simulation techniques.

A new method enhances molecular discovery using evolutionary algorithms and language models.

A novel approach enhances traffic predictions using wavelet transformation and attention mechanisms.

A study on using measurements and numerical methods to solve elliptic PDEs.

GFN-ROM enhances model order reduction using graph neural networks for efficient simulations.

NEIM uses neural networks to simplify complex nonlinear models for efficient analysis.

New methods utilize neural networks to tackle complex time-fractional equations effectively.

This study presents a method to improve fluid-structure interaction predictions for engineering applications.

Exploring methods to address fluid-structure interaction problems across various fields.

A novel method using neural networks to solve complex partial differential equations efficiently.

A method for accurate modeling of uncertainties in science and engineering.

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

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

New framework for NPUs enhances resource sharing and reduces costs.

A novel method for analyzing cloud system performance through detailed simulations.

A new framework enhances task scheduling and timing in multi-threaded ROS 2 executors.

UBPF simplifies eBPF program management across diverse cloud environments.

CRISP safeguards cloud applications against rollback attacks, ensuring data integrity and security.

This article covers a system that manages communication between processes using sandboxes.

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.

SPOGA accelerates deep neural networks with improved speed and energy efficiency.

ConvBench offers a new way to assess convolution algorithm performance effectively.

Learn effective methods to estimate the energy footprint of software.

A new approach to reduce tail latency in applications using a dynamic thread pool.

This paper analyzes the importance of auto-tuning for AMD GPUs in high-performance computing.

A new framework estimates how deep learning models perform on various GPUs.

Simopt enhances FPGA design by leveraging simulation data for improved performance.

RASM improves wireless communication efficiency and reliability through innovative techniques.

A new tool enhances Git merging by analyzing code dependencies.

This paper presents a framework for automated testbench generation using LLMs.

Qrisp simplifies quantum programming with user-friendly tools and high-level abstractions.

A new framework ensures compiler optimizations maintain program correctness.

A look at unreachable code and its impact on programming efficiency.

New methods aim to enhance the reasoning skills of language models.

Exploring choreographic programming with algebraic effects to enhance distributed application development.

Learn how type universes affect memory allocation in programming languages.

Compact methods for robots to navigate without human intervention are emerging.

Study examines middleware options in robotic space missions over mesh networks.

A method to enhance roadside sensors' location accuracy in urban areas.

Affective robotics aims to aid emotional well-being through advanced technology.

A new method improves motion planning efficiency in robotics and autonomous systems.

EfficientFuser enhances sensor fusion for safer self-driving cars.

Innovative approach improves satellite fault detection without extensive labeled data.

A new method improves robot grasping in cluttered environments using point clouds.

Examining changes in communication and vocabulary on social media over 34 years.

Exploring random cell complexes in mathematics and data analysis.

Improving user experience by merging cognitive ergonomics with language models.

This article examines partisan polarization in public health during the pandemic.

A method for estimating community memberships while protecting individual privacy.

Examining gender dynamics in online body image conversations.

This article examines how academic freedom influences international research partnerships across 166 countries.

A new framework improves graph learning for large datasets in various industries.

Exploring machine learning models and new datasets for improved security.

Advanced language models enhance automated testing of mobile apps, detecting crucial bugs.

A new tool enhances Git merging by analyzing code dependencies.

A new framework tackles fairness in deep neural networks during model pruning.

A detailed look at how code LLMs manage transformations in code.

ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.

A study on how LLMs manage coding rules and constraints.

A new method improves language models' efficiency while reducing costs and environmental impact.

A new system improves signal processing efficiency through innovative encoding methods.

A team tackles birdcall identification challenges in the BirdCLEF 2024 competition.

Introducing MERGE datasets to improve emotion classification in music.

This study examines Mix-Training for keyword spotting in noisy speech conditions.

A new method helps smaller models perform better using hints from larger models.

Explore the updates in version 3 of the Divide and Remaster dataset.

A comprehensive overview of datasets used in audio-language models and their importance.

A reliable earbud-based system monitors breathing rates during various daily activities.

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

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

Exploring complex relationships in linear equations within abelian-by-cyclic groups.

CTSLAM enhances robotic localization and mapping using flexible data integration.

Research highlights methods to maintain dialogue consistency in restaurant-related conversations.

New method improves classification accuracy and adaptability through error detection.

Discovering connections between complex reflection groups and linear differential equations.

Recent advancements in Real Quantifier Elimination and CAD improve problem-solving efficiency in mathematics.

A new algorithm offers effective solutions for average-reward decision-making tasks.

Learn how IRS-assisted RBC enhances wireless communication in challenging environments.

A look at how agents adapt strategies in complex environments.

This dataset sheds light on nitrous oxide management in wastewater processes.

This study explores how representation learning helps robots adapt in changing environments.

A look into secure communication methods for UAVs amidst rising threats.

Research reveals how proteins can be influenced by THz waves for medical applications.

A method for calculating averages while keeping node data private.