Computer Science

COMEX simplifies source code views for better machine learning applications.

A study on the impact of echo chambers and polarization in online discussions.

LearnWSAT improves SAT problem solving using reinforcement learning techniques.

Examining methods to remove personal data from AI models effectively.

A new model enhances perception systems for safer autonomous driving.

QBitOpt improves neural network performance by optimizing bitwidth allocations efficiently.

A study on enhancing factual consistency in summarization using new learning techniques.

Research on creating effective strategies for systems operating under uncertainty.

A look at how children develop language through key interactions and emotions.

A study on enhancing factual consistency in summarization using new learning techniques.

CML-TTS enables better text-to-speech systems across seven languages.

Study reveals insights on summarization and question answering in biomedical texts.

A new method enhances language understanding through phonemic transcription.

A new framework enhances output quality for language models in open-ended tasks.

A new method assesses image quality in Text-to-Image models.

A new dataset tests AI’s ability to reason in real-life situations.

Exploring locally irregular graphs and their implications across various fields.

A look at how random methods affect communication in graphs and matrices.

This research compares the effectiveness of SAT and NP oracles for approximate model counting.

Analyzing the complexities of disease transmission in social networks through graphs.

Study reveals how noise affects random quantum circuits and their output distributions.

Learn how to manage changes in planar graphs effectively.

This article examines how universality connects various systems across disciplines.

A closer look at graph coloring without specific patterns.

A new method improves the understanding of concrete cracking.

A new cloud service enhances medical image processing while protecting patient privacy.

Discover how Proof of Training combines AI and crypto mining for better performance.

Microgrids provide backup power and ensure stability through smart bidding and coordination.

A look into the dynamics of specialty insurance and its key participants.

Examining the balance between data sharing and patient privacy in biomedical research.

Discover how data is transforming the design of metamaterials for various applications.

PINNsFormer enhances accuracy in solving partial differential equations using advanced Transformer structures.

A new framework enhances data analysis by addressing multiparameter challenges.

New methods for faster solutions to TSP and MST problems.

Examining the role of flip-width in the complexity of geometric graphs.

A new approach to create quality meshes using grid-based techniques.

Exploring how to cover geometric graphs with star-forests efficiently.

This article explores how to estimate set sizes using point samples and polynomial volume functions.

A new algorithm for grouping similar movement paths in large datasets.

Effective algorithms for optimal facility placement in continuous client distributions.

Miners enhance rewards through strategic connections and reduced latency.

Examining power allocation strategies for secure communication in wireless systems.

This article explores the concept of conditional beliefs in decision-making among players.

This article explores strategy elimination in well-founded games to clarify outcomes.

Explore how block proposal timing impacts MEV rewards for Ethereum validators.

This article discusses using tax schemes to influence agent behavior in multi-agent systems.

Examining how individual beliefs can merge into a collective consensus.

This paper presents a practical framework for better decision-making based on experience and learning.

A new method improves 3-D imaging quality in electron tomography using deep learning.

A new method enhances accuracy in medical image classification using semi-supervised learning.

A new approach to improve image segmentation accuracy and reduce errors.

This study focuses on classifying and segmenting 3D buildings effectively.

A new model enhances perception systems for safer autonomous driving.

QBitOpt improves neural network performance by optimizing bitwidth allocations efficiently.

A method to improve UAV image processing for 3D modeling.

A look into how wearable sensors and video can improve exercise tracking.

This paper discusses predictive multiplicity and proposes ensemble algorithms for fairer predictions.

A guide to ethical considerations in mathematical work.

A new approach improves fairness in reinforcement learning using human feedback.

Exploring the impact of machine learning models on societal outcomes.

Small biases in AI can lead to major unfair outcomes.

This article examines bias in insurance predictions and solutions for equitable treatment.

Examining the capabilities and limitations of AI machines in understanding and interaction.

Addressing fairness challenges in systems influenced by human preferences and behaviors.

This article reviews methods for detecting anomalies in vehicle CAN communication.

A method to secure NoC layouts against unauthorized access is proposed.

Explore how block proposal timing impacts MEV rewards for Ethereum validators.

Examining vulnerabilities and solutions in the 5G communication landscape.

ConFL efficiently detects vulnerabilities in machine learning frameworks through systematic testing methods.

Strategies to improve battery-less device performance amid energy threats.

A look at membership inference attacks and their implications for data privacy.

A new system to ensure safer workflows in cloud environments.

Exploring locally irregular graphs and their implications across various fields.

A look at how random methods affect communication in graphs and matrices.

This article discusses strategies to reduce communication in distributed regression problems.

This research focuses on better grouping strategies in social networks to enhance participant satisfaction.

This research compares the effectiveness of SAT and NP oracles for approximate model counting.

A look into labeling schemes for maintaining graph connectivity amidst vertex failures.

This article examines efficient quantum algorithms that improve performance and robustness.

A method to enhance the reliability of streaming algorithms against data corruption.

A new system enhances Knowledge Graph use for both communities.

Exploring deep learning's role in visualizing changes over time.

IMPTC dataset captures vital data for safe automated vehicle navigation.

AI tools are transforming how we create and manage Knowledge Graphs.

cjdb offers a straightforward way to store 3D city models in PostgreSQL.

Learn how PG-Triggers can streamline data management in graph databases.

A framework combining results reuse and workload sharing boosts data analysis speed.

LearnedSort uses machine learning to enhance sorting speed and efficiency.

Researchers face challenges amidst an explosion of new scientific papers.

A system to categorize historical articles using roles and aspects.

This study enhances patent image classification using advanced deep learning techniques.

This article examines teamwork between schools and businesses in NLP.

A new dataset captures citations from papers without DOIs in Computer Science.

A new method for extracting keywords from texts without external databases.

Research is evolving to include essential datasets and software for validation.

A novel method aids in recognizing uncertainty within research texts.

Explore the strategic game of cops and robbers played on graphs.

A new approach to improve image segmentation accuracy and reduce errors.

Exploring locally irregular graphs and their implications across various fields.

A look at how random methods affect communication in graphs and matrices.

A look into labeling schemes for maintaining graph connectivity amidst vertex failures.

Exploring the characteristics and significance of -dicritical digraphs in graph theory.

This research examines optimal mixing time for independent sets using Glauber dynamics.

Strategies to quickly inform communities through network connections.

Examining mutual exclusion and the impact of register types on algorithms.

This article discusses strategies to reduce communication in distributed regression problems.

A look at how knowledge updates through interaction models.

Optimizing sparse tensor operations for improved performance and efficiency.

SAGE improves Kubernetes application deployment efficiency and reliability in cloud environments.

Discover how federated learning enhances privacy while improving machine learning efficiency.

A new cloud service enhances medical image processing while protecting patient privacy.

A new approach to improve Federated Learning efficiency and model performance.

AIMC enhances efficiency in deep neural networks by processing data within memory.

A new MIV-transistor design enhances performance in 3D integrated circuits.

Approximate Computing balances quality and efficiency in today's tech landscape.

Approximate computing enhances efficiency and power savings in various applications.

Researchers enhance neural networks using neuromorphic chips for better decision-making.

Exploring the role of STT-MTJ technology in enhancing random number generation.

A novel method enhances DNN performance for real-world applications.

This article explores new computing methods inspired by biological systems.

Examines safety and liveness concepts in quantitative automata for system verification.

Examining how word pairs can transform through conjugacy in rational relations.

Learn how backreferences enhance regular expressions for complex text patterns.

An overview of finite languages, DFA, and their analysis.

A study of time-sensitive interactions in negotiations among agents.

A look at handling message loss with priority considerations in computing.

Contextual metrics improve comparisons of process behaviors in varying situations.

An overview of automata, their types, and languages they recognize.

New technologies improve maintenance of solar panels for better energy output.

A new method enhances real-time rendering for glossy surfaces in dynamic lighting.

A new method creates realistic videos by mimicking facial expressions from self-scans.

Developing systems for machines to create realistic, context-aware gestures.

HyperDreamBooth creates unique images from a single photo quickly and effectively.

New methods enhance personal image creation using simple prompts.

NEAT revolutionizes 3D modeling by utilizing neural networks for enhanced wireframe accuracy.

A study evaluates how well different visualizations reveal data changes.

A method to secure NoC layouts against unauthorized access is proposed.

A look into alternative number systems enhancing DNN performance and efficiency.

CIM technology enhances MCMC sampling speed and energy efficiency for complex data analysis.

A simple model improves prefetcher selection, boosting performance up to 25%.

The eGPU enhances soft processing capabilities within FPGAs for diverse applications.

Approximate Computing balances quality and efficiency in today's tech landscape.

Approximate computing enhances efficiency and power savings in various applications.

Safety islands enhance HPC devices for critical applications like self-driving cars.

A new framework to improve deep learning models for time series data.

Using sensors to ensure safety for older adults living independently.

A groundbreaking approach using RF signals for hydration monitoring.

A study examines how beginners use voice commands in 3D design.

Learn how robots explain failures and improve user trust.

Research on how captions can enhance language learning through video.

BotExpTest supports software testers with features for efficiency and bug tracking.

Research sheds light on how drivers perceive alerts to enhance safety systems.

New toolkit improves access to synthetic data for model training in IR.

Analyzing fairness in recommendation systems using counterfactual explanations.

A new model improves relation extraction from structured data using neural networks.

Study examines methods for detecting unusual patterns in social media behavior.

A systematic method to discover unforeseen risks and opportunities in various fields.

A new method improves how event sequences are analyzed and retrieved.

A new method enhances negative sampling in recommendations for better user experience.

A new method improves predictions from clinical notes using language models.

This paper discusses predictive multiplicity and proposes ensemble algorithms for fairer predictions.

Examining power allocation strategies for secure communication in wireless systems.

Learn how quantum codes fix errors in communication and processing.

A new protocol aims to enhance data freshness in wireless communications.

This research compares the effectiveness of SAT and NP oracles for approximate model counting.

Full-duplex systems merge communication and sensing for improved wireless performance.

New DSP methods enhance optical networks while reducing costs and complexity.

A look at how the SOS technique simplifies complex optimization tasks.

A look into safety analysis in distributed systems using non-blocking rendezvous.

Research on creating effective strategies for systems operating under uncertainty.

This study investigates the synthesis problem in shared and partitioned processes.

A detailed exploration of formalizing category theory in mathematics.

An exploration of how beliefs and values shape decision-making.

A framework for reasoning about knowledge with limited depth.

This article examines the revision of beliefs through updated evidence.

A clear view on causality and its impact on decision-making.

Miners enhance rewards through strategic connections and reduced latency.

A new framework to improve deep learning models for time series data.

This paper discusses predictive multiplicity and proposes ensemble algorithms for fairer predictions.

A study on the impact of echo chambers and polarization in online discussions.

MinMax learning offers stability and efficiency in training neural networks.

Using sensors to ensure safety for older adults living independently.

Examining methods to remove personal data from AI models effectively.

QBitOpt improves neural network performance by optimizing bitwidth allocations efficiently.

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

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

Optimizing sparse tensor operations for improved performance and efficiency.

A deep dive into testing practices for interval arithmetic libraries.

MindOpt Tuner optimizes numerical software performance by automating hyperparameter adjustments.

Exploiting GPUs to tackle complex assignment challenges in logistics and manufacturing.

Open-source toolkit enhances Raman spectroscopy analysis across various studies.

FFTc aims to improve FFT computations across hardware platforms.

Miners enhance rewards through strategic connections and reduced latency.

A look into safety analysis in distributed systems using non-blocking rendezvous.

An exploration of how beliefs and values shape decision-making.

A framework for reasoning about knowledge with limited depth.

This article discusses using tax schemes to influence agent behavior in multi-agent systems.

Explores different types and implications of responsibility across various fields.

Explore how MAIDs improve understanding of agent interactions in decision-making.

A look into how groups and knowledge interact based on shared characteristics.

A method for creating artistic line drawings from photographs with user control.

New dataset enhances video-text tasks for Indonesian speakers.

Research aims to combine audio and symbolic data for music similarity analysis.

New methods improve watermark removal while preserving image quality.

A new method enhances hate speech detection by combining text, images, and discussion context.

AI predictions improve service for extended reality users on advanced networks.

A new model enhances speech extraction using audio and visual information.

RetouchingFFHQ dataset enhances face retouching detection methods.

Miners enhance rewards through strategic connections and reduced latency.

New strategies enhance channel selection for faster, more reliable Wi-Fi 7 connections.

A new protocol aims to enhance data freshness in wireless communications.

Exploring strategies for equitable resource distribution in modern wireless networks.

The next generation of networks focuses on customizable solutions for diverse applications.

A study on how public DNS resolvers handle performance and reliability.

Exploring a new architecture for 6G mobile networks to improve user signaling and data management.

Exploring network slicing and energy efficiency in next-generation telecom networks.

New methods improve accuracy and efficiency in spiking neural networks.

New methods enhance the accuracy of company valuation through AI-driven peer identification.

A look into alternative number systems enhancing DNN performance and efficiency.

A look at methods improving the training of language models effectively.

Exploring the potential of spiking neural networks in real-time processing.

Joint commitments and reputation are key to social cooperation.

Exploring the brain's ability to interpret sensory information and predict outcomes.

This article examines how setup and training affect neural network performance.

Innovative methods improve separation of background and moving objects in videos.

New method using prismatic meshes offers improved accuracy in heat equation solutions.

This article discusses finding solutions for stochastic delay differential equations and their significance.

A method integrating kinetic-based optimization and genetic algorithms enhances complex problem solving.

Study reveals stability properties of solitary waves using numerical methods.

Algorithm MGB efficiently tackles complex nonlinear PDEs for various applications.

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

A new projection method improves accuracy in simulating fluid flows.

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

LibPreemptible improves scheduling in cloud applications, reducing delays and enhancing performance.

Addressing the need for accurate sustainability in data centers.

Introducing a framework for better application isolation and resource sharing.

Analyzing issues in predicting future actions in ongoing processes.

Learn how compartmentalization improves software security by limiting access and interaction.

A new method for efficient data sharing between cloud functions.

This article reviews Linux API usage in various applications and highlights key findings.

A new framework helps scientists communicate and design better experiments.

A clear overview of work systems, their components, and management challenges.

A tool combining Selenium and JUnit 5 to streamline web application testing.

Examining risks and impacts of modded apps on users and developers.

Examining the links between living brains and computer systems.

Innovative methods aim to improve parking management in busy cities.

A fresh approach offers deeper insights into cancer driver genes and their interactions.

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

This article reviews methods for detecting anomalies in vehicle CAN communication.

A new method enhances GPU setups for fluid dynamics simulations via machine learning.

Optimizing sparse tensor operations for improved performance and efficiency.

A look at methods improving the training of language models effectively.

A study on an improved blockchain consensus protocol allowing node repairs.

New algorithms improve decision-making by addressing advice reliability in uncertain environments.

Examining the true capabilities and limits of quantum computers today.

Analyzing data transmission issues in modern cellular networks and possible improvements.

A look at new subtyping methods for context-free session types in programming.

Optimizing sparse tensor operations for improved performance and efficiency.

This framework simplifies the analysis of software costs and behaviors for better development.

A new approach integrating internal parametricity into type theory, enhancing reliability.

Learn essential functional design patterns for efficient software development.

A look at improving traffic data management through Application-Specific Natural Language.

Learn how constrained type systems improve data interaction in programming languages.

Contextual metrics improve comparisons of process behaviors in varying situations.

Research on creating effective strategies for systems operating under uncertainty.

Learn how robots explain failures and improve user trust.

Radar technology is evolving, enhancing safety and efficiency in various fields.

A method to optimize robot tasks in water sampling operations.

New techniques enhance quadcopter performance for complex tasks.

This system improves how people work with robots, making tasks easier and faster.

Research reveals new insights into legged robot walking and adaptability.

New system enhances interaction in lower-limb rehabilitation for better recovery.

A study on the impact of echo chambers and polarization in online discussions.

A look at influence maximization through hypergraphs and the HCI-TM algorithm.

New approach improves GNN performance on complex data relationships.

New methods improve community detection in networks through neural graph embeddings.

Analyzing how expanding awards influenced user interactions and monetization.

Study examines methods for detecting unusual patterns in social media behavior.

A look into the factors shaping our content-sharing choices online.

This paper examines how opinions and connections change in social networks.

COMEX simplifies source code views for better machine learning applications.

A study on how Ubuntu manages software package dependencies over time.

Exploring how LLMs can aid in property-based testing for software.

BotExpTest supports software testers with features for efficiency and bug tracking.

ConFL efficiently detects vulnerabilities in machine learning frameworks through systematic testing methods.

A new system to ensure safer workflows in cloud environments.

Innovative safety measures for automated driving systems improve urban delivery logistics.

This study identifies key characteristics of datasets in Software Engineering SLRs.

This study assesses various models for predicting synthesized speech quality.

Researchers automate bird sound classification, enhancing accuracy in monitoring species.

FALL-E creates high-quality sound effects from text descriptions.

SURT 2.0 improves speech recognition for multiple speakers in real-time settings.

MARBLE sets a standard for evaluating music AI models across multiple tasks.

A new method improves the accuracy of identifying bird calls.

New algorithms enhance audio processing performance across varying sample rates.

Research explores sound analysis to improve mosquito sorting for disease control.

Explore the role of Gröbner bases in solving polynomial equations.

Learn how simplifying regular expressions can enhance their clarity and efficiency.

Techniques to assess security properties of cryptographic protocols.

This article discusses enhancing machine learning models using polynomial data balancing and augmentation.

Learn about creative telescoping for calculating definite sums efficiently.

This article discusses the finite expression method for solving complex state transitions.

This article explores a new dataset focused on inequalities in mathematics.

Examining how factoring resultants can enhance cylindrical algebraic decomposition methods.

A new approach improves fairness in reinforcement learning using human feedback.

New techniques improve tracking accuracy in challenging radar environments.

A look at Krasovskii passivity and its impact on control systems stability.

New techniques enhance quadcopter performance for complex tasks.

A new approach to reduce radar interference in automotive systems.

A model for connected automated vehicles to improve traffic safety and efficiency.

Research reveals new insights into legged robot walking and adaptability.

Utilizing the Extended Kalman Filter for accurate quantum gate error estimation.