Computer Science

This survey discusses making AI models more efficient and sustainable.

A method to simplify CNNs during training while preserving performance.

MatSci ML standardizes datasets for efficient materials modeling using machine learning techniques.

A study reveals small language models struggle with multiple choice questions.

A study on how actions impact knowledge over time through logical frameworks.

This study focuses on enhancing retrieval-augmented generation methods for Brazilian Portuguese.

Utilizing data to foresee maintenance needs, reducing costs and increasing safety.

A novel method enhances robot task planning, focusing on cooking efficiency and accuracy.

This article introduces a new method to enhance translation of longer documents using mixed instructions.

A new approach to analyze privacy policies using crowdsourcing and active learning.

A new method improves bug fixes in software using language models.

A study reveals small language models struggle with multiple choice questions.

SciGLM enhances AI's ability to tackle complex scientific problems.

This study focuses on enhancing retrieval-augmented generation methods for Brazilian Portuguese.

Discover how context length impacts language models' performance and potential.

A novel method enhances robot task planning, focusing on cooking efficiency and accuracy.

This paper examines the decoding challenges of zero-rate codes in error correction.

SARRIGUREN improves SAT solving for dense clause instances with a unique counting approach.

Examining proof systems, their methods, and their connection to satisfiability solving.

New methods improve efficiency in matrix updates and algorithms.

An exploration of efficient higher-order functionals and their implications in computing.

Examining how pigeonhole principles and Ramsey theory shape search problems in computer science.

Quantum pseudorandom state scramblers enhance random state generation in quantum computing.

Examining the complexities of reconfigurable routing in modern data center networks.

Quantum computing shows promise in improving Metal-Organic Frameworks for carbon capture.

A fresh method for more accurate credit risk estimation and management.

MatSciRE streamlines data extraction from material science articles to aid battery research.

A new model predicts material behavior efficiently using machine learning techniques.

Exploring methods to make AI in finance more understandable and trustworthy.

A novel approach guarantees mass conservation in fluid dynamics models.

A new system streamlines PanAir processes for efficient aircraft analysis.

A look into time slot allocation and its effects on train competition.

Exploring methods to study overlapping curves in geometry and algebra.

New techniques improve diameter calculations for unit-disk graphs, aiding efficient network analysis.

SurfaceNets improves efficiency in visualizing complex data for medical and biological applications.

Recent advancements improve speed and accuracy in measuring curve differences.

A new method enhances quadrilateral mesh generation with integrable frame fields.

This article discusses how to find the smallest round area covering points in a polygon.

A new approach for creating flexible and user-refined polycube layouts in 3D modeling.

Coresets enable efficient computation in machine learning while maintaining accuracy.

How popularity shapes decisions in business and politics.

A novel approach to stabilize player strategies in congestion games with limited information.

This article proposes Decent-BRM to support solo miners over mining pools.

Discover the vital role receivers play in effective communication dynamics.

Exploring methods for fair resource and task distribution based on preferences.

Learn how to design effective trade mechanisms for small market participants.

Analyzing decision-making and fairness through the lens of the Ultimatum Game.

Creating a balanced platform for organizations to share and benefit from data insights.

Study reveals serious threats in voice recognition using morph samples.

A new method enhances detection of small objects despite noisy labels.

A method to simplify CNNs during training while preserving performance.

A new model enhances short-term rainfall forecasting accuracy.

DeepBEAS3D improves medical image segmentation through user interaction and deep learning.

A new method combines echocardiography and health records to assess hypertension severity.

Semantic Placement enhances AI's ability to place objects based on context.

New methods improve safety in self-driving cars through better interaction modeling.

Analyzing the different perspectives on AI threats to humanity.

This article examines fairness issues in AI-based mobile app reviews.

Analyzing social media sentiment reveals public views on new technologies.

Analyzing how generative AI is reported in global news from 2018 to 2023.

Efforts to create a quality measure for research data and software.

Evaluating the impact of AI in replacing human participants for research.

A new dataset and library aim to personalize educational experiences through AI.

A study of public sentiment on Reddit following the October 2023 Hamas attack.

A new approach to analyze privacy policies using crowdsourcing and active learning.

A look at MEV extraction strategies in Algorand's decentralized finance ecosystem.

A new approach simplifies reverse engineering unknown binaries and enhances call graph creation.

Discover the impact of backscattered side-channel attacks on device security and defenses.

Introducing a language to enhance the security of confidential computing in the cloud.

ADVENT detects attacks in VANETs, ensuring safer transportation through efficient real-time monitoring.

A new algorithm enhancing model personalization while maintaining data privacy.

This article discusses the role of automated systems in safeguarding IT infrastructures.

This study examines ear anonymity and its implications for directed graphs.

Exploring the dynamics and strategies of Rabin games in decision-making systems.

A look at algorithms for maintaining minimum cuts in changing graphs.

Research focuses on optimizing graph connections through terminals and Steiner nodes.

SARRIGUREN improves SAT solving for dense clause instances with a unique counting approach.

Learn how q-digests summarize data while ensuring security and privacy.

Introducing a new method for faster network analysis and reconstruction.

This work presents methods for generating trees to model graphs effectively.

A new system aims to improve pattern detection in large log databases.

A guide to choosing billboard slots that maximize advertising impact.

A new system improves schema matching accuracy using generative tags and advanced features.

This study presents methods to reduce regret in billboard advertising slot allocation.

A system to streamline data collection on superconductors for improved research accuracy.

Unlocking the potential of graph databases with advanced query optimization techniques.

A new dataset reveals insights into the use of pre-trained models in software projects.

Human Digital Twins offer a digital view of individuals, enhancing healthcare and sports.

A detailed dataset combining Mozart's sonatas with piano performances and expert annotations.

Efforts to create a quality measure for research data and software.

A study of public sentiment on Reddit following the October 2023 Hamas attack.

Enhancing scientific data documentation is vital for fair ML practices.

This study enhances case law research through combined topic modeling and citation analysis.

Explores the connection between academic citations and scientific disruption.

Enhancing knowledge bases using language models and textual entailment for accuracy.

A look into how citation models can improve understanding of research impact.

Exploring strategies in the Cops and Robbers game with 1-planar graphs.

This work presents methods for generating trees to model graphs effectively.

This article studies maximal cliques across various random network models.

A look at hypergraphs and their significance in analyzing complex connections.

Exploring methods to improve search efficiency in trees with varying node costs.

Examining the complexities of reconfigurable routing in modern data center networks.

A study on point arrangements and their implications in combinatorics and group theory.

This article examines the connections in friends-and-strangers graphs and their implications.

This survey discusses making AI models more efficient and sustainable.

A method to improve efficiency in Mixture of Experts models.

A new framework enhances memory use in large-scale deep neural networks.

Loimos simulates disease spread in communities for better outbreak management.

A new co-scheduling algorithm enhances resource management in high-performance computing systems.

A new algorithm enhances communication speed in high-performance computing.

A new tool revolutionizes ocean simulations to improve climate predictions.

A novel approach ensures memory safety while sharing GPUs among applications.

Quantum computing shows promise in improving Metal-Organic Frameworks for carbon capture.

A hybrid algorithm merges classical and quantum computing to advance railway dispatching efficiency.

Neuromorphic chips enhance robotic decision-making, optimizing speed and energy efficiency.

Exploring efficient methods to tackle complex optimization problems using tensor networks.

A guide to crafting clear and effective academic papers.

Research explores a method to form complex shapes with simple tiles.

Discover how quantum tools change music creation and performance.

A new method leveraging photonics for efficient deep learning.

A look into string constraints and their importance in software systems.

Exploring the dynamics and strategies of Rabin games in decision-making systems.

Exploring verification challenges and solutions for concurrent programs in weak memory models.

This article analyzes succinctness in safety and cosafety languages using Linear Temporal Logic.

Discover how dependent variables can streamline reactive synthesis processes.

A look into Parametric Timed Games and their applications in real-time systems.

New methods improve the safety verification of Bayesian Neural Networks against attacks.

Examining challenges transformer models face in learning structural recursion.

A method for compressing volumetric data while maintaining quality using neural networks.

A method for breaking down 3D scenes into meaningful parts.

This dataset advances evaluation methods for realistic 3D object rendering.

A model creates realistic 3D shapes from various inputs rapidly.

GUISS tool aids robotic explorers on icy moons by simulating surfaces.

New method enables realistic 3D rendering from regular photos.

A new model enhances community search by integrating multi-dimensional edge attributes.

A look at how art and technology merge to create lifelike visuals.

Exploring the impact of hardware accelerators on Large Language Models.

A new framework enhances GPU performance for deep learning tasks.

A new method improves efficiency and design quality in logic synthesis using machine learning.

A low-power op-amp design for improved biomedical applications.

Learn how CNM and CIM optimize data handling for machine learning.

A look at advancements in THz communication technology for IoT.

Learn how low-bit accumulators enhance DNN performance without sacrificing accuracy.

Researchers enhance read mapping efficiency using innovative algorithms and hardware.

Group admins face challenges managing content on WhatsApp, impacting group dynamics.

A new approach to analyze privacy policies using crowdsourcing and active learning.

A look into how people perceive cause and effect in everyday life.

Research reveals new methods for recognizing emotions using EEG data and fuzzy logic.

Utilizing data to foresee maintenance needs, reducing costs and increasing safety.

New methods for evaluating student writing in the age of AI tools.

Exploring how sound can enhance data comprehension and accessibility.

A new dataset enhances chatbot interactions by incorporating user emotions and demographics.

This study focuses on enhancing retrieval-augmented generation methods for Brazilian Portuguese.

This study uses social media data to track gun violence in Brazil.

CG4CTR transforms online advertising by focusing on user preferences for better engagement.

This article discusses methods to recover lost information in hypergraphs from simpler graph representations.

A new dataset and library aim to personalize educational experiences through AI.

A new system helps pathologists improve accuracy in diagnosing breast and skin cancers.

How the way search results are shown affects user engagement and satisfaction.

This article reveals how views affect information found online.

Exploring patch-based methods for enhancing degraded images.

Explore the link between entropy and log-concave random variables.

Research reveals simplicity bias impacts predictions in random logistic maps.

This paper examines the decoding challenges of zero-rate codes in error correction.

Research on multidimensional circulant graphs boosts quantum error correction methods.

A look at how differential privacy safeguards individual data privacy.

A detailed guide to subsethood and granules in information theory.

Innovative methods improve wireless communication speed and fairness among devices.

A look into string constraints and their importance in software systems.

A study on how actions impact knowledge over time through logical frameworks.

Exploring the dynamics and strategies of Rabin games in decision-making systems.

A look into initial semantics and its role in programming languages with variables.

This article analyzes succinctness in safety and cosafety languages using Linear Temporal Logic.

A new approach simplifies the creation of robotic swarms for various tasks.

A look into tools for verifying optimized software through scheduling languages and deductive verification.

A new method enhances proof generation for SAT Modulo Monotonic Theories.

This survey discusses making AI models more efficient and sustainable.

A new approach to analyze privacy policies using crowdsourcing and active learning.

A new earbud design improves sound clarity using bone conduction technology.

A new method improves bug fixes in software using language models.

A breakthrough method improves initialization of complex neural networks to enhance performance.

A new model enhances short-term rainfall forecasting accuracy.

A study reveals small language models struggle with multiple choice questions.

Exploring how noise can drive system transitions through innovative computing methods.

A framework for analyzing complex data using graph structures.

Learn how Chisholm approximants aid in estimating functions with two variables.

A novel approach improves wave simulation in irregular landscapes for better predictions.

New algorithm improves analysis of complex datasets for researchers.

Learn how long memory influences predictions in various fields.

A user-friendly library for tensor simulations in physics.

A practical guide to the QuadratiK package for spherical data analysis.

A look at numerical computation and its applications in various fields.

Examining the efficiency and fairness in real-time vehicle task assignment.

A new method to improve decision-making in multi-agent environments.

Learn how Distributed Collective Processes enhance teamwork among smart devices.

Exploring DiSC-UCB algorithm for effective action selection in uncertain environments.

Exploring how social identity shapes choices in AI agents for urban transportation.

Analyzing decision-making and fairness through the lens of the Ultimatum Game.

Robots can work better in teams by sharing their abilities.

Innovative methods to enhance task execution and reduce failures in crowdsourcing.

A new method improves image compression by focusing on frequency bands.

Vlogger simplifies video blogging, making it quicker and easier for creators.

Examining energy use and impact of video streaming on the environment.

A unified approach to assess fish feeding using audio and video data.

Discover how AI is changing video creation and streaming.

A dataset tailored for testing video quality in conferencing situations.

Researchers develop a framework for better video and text understanding.

A new method enhances audio-visual segmentation without detailed labels.

Exploring the collaboration between mobile devices and edge servers for smarter AI assistants.

New routing techniques promise faster satellite internet connections worldwide.

A new system focuses on key objects to enhance vehicle communication and safety.

This study investigates TCP's effectiveness for low-priority data flows in cloud systems.

Exploring the potential of upper mid-band frequencies for cellular networks.

Learn how Virtual WANs can enhance connectivity for businesses.

A new algorithm enhances communication speed in high-performance computing.

A new approach enhances scheduling for improved efficiency in industrial IoT.

Discover how the brain predicts outcomes and manages uncertainties in decision-making.

New algorithm improves crystal structure prediction using multi-objective strategies.

Assessing how prepared drivers are in conditionally automated cars.

Improved forecasting methods enhance power management and reliability.

Study reveals strong patterns in depthwise-separable CNNs linked to biological vision.

Learn how sign averaging improves optimization in noisy environments.

Neuromorphic chips enhance robotic decision-making, optimizing speed and energy efficiency.

GCUs connect machine learning models with biological neuron functions for improved efficiency and interpretation.

Innovative techniques enhance analysis of stochastic differential equations and their uncertainty.

Exploring mathematical modeling for understanding systems across different scales.

New methods enhance simulations of multiscale systems with improved accuracy and stability.

A novel approach for addressing elliptic PDEs with irregular boundaries.

A new method transforms how we study evolving surfaces.

A new approach to stability analysis using reproducing kernel spaces.

This study examines how sound waves scatter off complex fractal shapes.

Innovative methods improve predictions of wave interactions with materials.

Learn how OSMOSIS allocates network resources fairly in modern data centers.

A new tool evaluates Syzbot's ability to find Linux kernel bugs.

Learn how to enhance AI performance using GPU remoting and effective networking.

A new approach streamlines page table management in NUMA systems.

A new system enhances performance and reduces delays in medical AI applications.

LLMs are set to improve privacy and functionality on mobile devices.

Introducing a secure yet efficient method for managing private data.

A system of handles improves memory management and reduces fragmentation in unmanaged languages.

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.

Researchers create digital copies of animals for ethical and efficient studies.

Discover how DNA could change the future of data storage.

Learn how Virtual WANs can enhance connectivity for businesses.

A new algorithm enhances communication speed in high-performance computing.

Learn how to analyze computer system performance using hierarchical methods.

Exploring Age of Information and queuing systems for real-time updates.

A new system reduces latency in Mixture-of-Experts models while managing memory costs.

This paper analyzes the behavior of deadline misses in soft real-time systems.

New methods streamline PageRank updates as networks change.

A closer look at the performance and challenges of large language models in practice.

Introducing a language to enhance the security of confidential computing in the cloud.

RichWasm provides a solution for safe memory sharing between different programming languages.

A look into initial semantics and its role in programming languages with variables.

A look at combining behavior trees with Lingua Franca for improved automation.

Exploring verification challenges and solutions for concurrent programs in weak memory models.

A look at how SAM improves program execution with session types.

A look into tools for verifying optimized software through scheduling languages and deductive verification.

Learn how Distributed Collective Processes enhance teamwork among smart devices.

Robots are learning to manipulate objects more like humans, enhancing their utility in various industries.

Innovative robotic systems improve efficiency and safety in meat processing plants.

A novel method enhances robot task planning, focusing on cooking efficiency and accuracy.

New methods improve safety in self-driving cars through better interaction modeling.

Understanding how robots label and interpret their surroundings.

MultiPLY enhances language models through interactive multisensory data processing in 3D environments.

A benchmark for improving robotic skills in object manipulation tasks.

GATS merges pretrained models for improved multimodal data processing.

This method enhances our understanding of network communities through Edge Random Walk Centrality.

This article discusses methods to recover lost information in hypergraphs from simpler graph representations.

A study of public sentiment on Reddit following the October 2023 Hamas attack.

A new method to monitor and predict the spread of online rumors.

Examining how social media fuels eating disorders and their impact on individuals.

A new method to improve estimating data category prevalence.

A new model tackles challenges in graph neural networks using power series.

A new method merges satellite images and mobile data for urgent event response.

A new method improves bug fixes in software using language models.

Examining the effects of inter-dataset code duplication on model performance metrics.

Techniques for generating configurations enhance software testing outcomes.

Developers value documentation, yet often skip writing function header comments.

A new method improves test generation based on natural language requirements.

A new approach simplifies reverse engineering unknown binaries and enhances call graph creation.

This article examines the role of LLMs in self-adaptive systems and their implications.

This article examines fairness issues in AI-based mobile app reviews.

Study reveals serious threats in voice recognition using morph samples.

A detailed dataset combining Mozart's sonatas with piano performances and expert annotations.

A new lightweight model improves pitch estimation using self-supervised learning techniques.

A new approach to improve music segment identification and analysis.

New methods developed to identify fake songs amidst growing concerns.

Cleancoder enhances ASR systems by reducing background noise for clearer speech understanding.

RADIO creates realistic talking faces using just one reference image.

RoDia provides crucial audio samples for identifying Romanian dialects.

Introducing a novel approach to categorize and study emotions through the Emotion Frame Ontology.

This study examines how ML improves variable selection in symbolic computation.

Ensuring ethical behavior and transparency in intelligent agents is crucial for trust.

FEX offers a novel approach to understanding complex network dynamics from limited data.

A deep dive into the role of symmetric functions over finite fields.

Investigating new methods to enhance pseudorandom generators for better algorithm efficiency.

A look into how we determine parameter values in differential equations.

Learn how to make parameters identifiable in ODE models.

A study on two key methods for detecting faults in engines.

This article discusses using HOT lanes to improve urban traffic flow.

This article discusses the role of automated systems in safeguarding IT infrastructures.

This article examines how solar mini-grids improve life in rural Kenya and Nigeria.

A new method combines camera and Lidar data for more accurate object positioning.

Examining how cars can operate without precise location data.

Nano-UAVs collaborate to map and explore environments effectively.

A framework for stable, reliable power systems with renewable resources.