Computer Science

S2PGNN improves the adaptation of GNNs to labeled data.

A new method reduces steps in text-to-image generation for quicker results.

AIGC is changing content creation in China and beyond.

Research uses smartphone data to analyze daily movement patterns.

New method improves speech recognition using only raw audio data.

Ada-QPacknet combines adaptive pruning and quantization for effective continual learning.

A look into omega-regular reward machines for better AI learning.

A new method for detecting defects in composite materials using unsupervised learning.

This study examines new methods in simplifying Spanish text for better understanding.

A study enhances ASR for older speakers, using innovative techniques.

Exploring large language models as tools for detecting data races in programming.

A new method improves efficiency and flexibility in translating text.

Examining how AI-generated text influences vocabulary and communication.

Parmesan aids users in understanding complex mathematical concepts with natural language processing.

Chatbots provide vital emotional support for mothers facing postpartum challenges.

A look into distinguishing AI-generated text from human writing.

Study of moving tokens between minimum separators in graphs using sliding and jumping models.

Research focuses on efficient algorithms for k-factors in graph theory.

This article examines the complexity of counting the Brouwer degree in polynomials.

Research reveals complex low-energy states in fermionic Hamiltonians, challenging current quantum theories.

New methods enhance the verification of quantum random sampling outcomes using trapped ion systems.

Introducing a fresh approach to calculating VC dimension for better model training.

Exploring the impact of random walks on algorithms and complex systems.

A fresh look at functions using discrete ordinary differential equations.

A method for precise temperature control in materials through flatness-based techniques.

A new method improves accuracy in predicting dynamic loads on long-span bridges.

New methods improve data analysis efficiency for LHC scientists.

New reactor designs improve mixing and heat transfer efficiency.

A new approach enhances material behavior predictions using small-scale calculations.

A look into THB-splines and B ezier extraction for better design.

Introducing SA-ALAE, a model transforming engineering design generation.

This article presents a method for efficient 3D printed structures.

A study on efficiently spacing points in two-dimensional space.

Examining how committees can effectively handle candidate failures in elections.

This paper presents a novel approach for comparing complex scalar data.

Research on edge crossings in topological graphs reveals important structural insights.

A novel method improves realistic 3D models from limited data.

Explore methods to create clear right-angle crossing drawings with minimal bends.

A new algorithm improves the estimation of homology from noisy data points.

Learn how to estimate scalar curvature using a new intrinsic method.

Explore how contracts can be structured to influence agent behavior effectively.

A look at how campaigns use data to influence district fairness.

Examining how committees can effectively handle candidate failures in elections.

Examining the impact of shared randomness on costs in network congestion games.

Examining the importance of equitable product presentation in digital marketplaces.

Introducing VISER, a new approach for games with uneven information distribution.

This study analyzes the potential for MEV in Ethereum's Layer 2 networks.

A new method replaces randomness in decision-making with strategic games.

New methods enhance image quality for better biological analysis.

A new method reduces steps in text-to-image generation for quicker results.

A new method improves 3D face models from multiple image viewpoints.

A new method improves uncertainty in medical image annotations.

A new system enhances facial motion tracking for realistic AR interactions.

New techniques improve the reliability of medical imaging tools against harmful data alterations.

Innovative approach harnesses synthetic images to improve brain tumor detection.

New methods improve accuracy in identifying individuals by their walking patterns.

AIGC is changing content creation in China and beyond.

A look into improving quality and efficiency in electronic exams.

ProofBuddy aids students in mastering mathematical proof skills using the Isabelle proof assistant.

This article reviews how the pandemic changed shelter access and use patterns.

Examining the costs and benefits of personalized medicine in limited-resource hospitals.

A new method improves fairness in generative models without requiring original datasets.

Understanding how AI improves clinical risk prediction and trust.

Analyzing the potential impact of a UK digital currency on financial systems.

A new attack shows risks to patient data safety in federated learning systems.

Examining how VR sensor data poses privacy challenges for users.

Exploring the secure future of currency through quantum mechanics.

A look at vulnerabilities in cloud services and their implications for users.

LCMsec offers a secure method for direct communication between devices.

A study on the process and challenges faced by security professionals.

A look at how secure Filecoin's consensus method is against attacks.

A new method improves network traffic management while protecting user privacy.

Techniques for optimizing routes in the Traveling Salesman Problem enhance efficiency and reduce computation time.

A look into minimizing transportation costs using graph theory.

Exploring the Generalized Quantum Branching Program's impact on quantum computing.

A look at modularity and its role in understanding community structures in networks.

A look at the Minimum Weight Cycle problem and its significance in computing.

Min-diameter measures the longest shortest path in directed graphs, revealing connectivity.

A new approach to arranging items enhances user engagement in various applications.

Exploring the relationship between graph coloring and Glauber dynamics in various applications.

A model to simplify data regulation compliance for organizations.

New system simplifies formatting rules with user examples.

OpenMP simplifies parallel programming, promoting efficiency and speed in complex computing tasks.

Research shows column-stores improve recursive query performance significantly.

This method enhances performance and reliability in database transactions.

Strategies to enhance transaction processes in mobile and online applications.

New approach streamlines data integration for enhanced research efficiency.

A look into existential rules and their significance in query entailment.

A look at how academics present co-authors on online profiles.

Introducing a structured approach to improve peer review processes in academic publishing.

Examining the relationship between handwriting changes and emotional expressions in diary entries.

A guide to enhancing knowledge acquisition from scientific papers using ORKG.

Hope shapes our lives, encouraging resilience and positive actions.

CRUISE-Screening simplifies the literature review process for researchers.

Introducing a multi-representation approach for better understanding scientific literature.

New methods assess how research challenges existing knowledge.

A look into minimizing transportation costs using graph theory.

Introducing a teaching language for discrete mathematics with a focus on functional programming.

Study of moving tokens between minimum separators in graphs using sliding and jumping models.

A new algorithm improves graph cuts for efficient data clustering.

Learn the significance of metric dimension in directed graphs and its applications.

An overview of graph matchings, types, and their significance in various fields.

Exploring the role of integral circulant graphs in enhancing quantum network efficiency.

This article examines random walks and their escape rates on unordered trees.

A new attack shows risks to patient data safety in federated learning systems.

A new system promotes user cooperation and reduces selfish behavior in networks.

R-AdWOrch model enhances edge computing in critical systems for timely responses.

OpenMP simplifies parallel programming, promoting efficiency and speed in complex computing tasks.

A look at the Minimum Weight Cycle problem and its significance in computing.

A method for personalized machine learning in federated learning environments.

Adapting batched iterative solvers for Intel GPUs enhances performance in scientific computing.

Explore how Quantum Cloud Computing merges power with flexibility for various industries.

A new framework, SerIOS, improves hardware security in optoelectronic systems.

Learn the basics of how quantum computing works.

Exploring the potential and challenges of optical neural networks using light for computation.

Optical computing uses light to offer faster processing and energy efficiency.

A fresh approach safeguards quantum code and output from unauthorized access in cloud services.

A new method enhances qubit mapping by focusing on single-qubit gates.

New quantum methods aim to improve particle track reconstruction efficiency at the LHC.

A new method enhances efficiency in generating permutations for optimization problems.

A look into omega-regular reward machines for better AI learning.

Innovative methods for testing complex pushdown reactive systems to ensure reliability.

EduSAT simplifies learning Boolean concepts with practical tools and interactive features.

An overview of matching patterns with variables in computer science.

A look into static analysis, CFL reachability, and their implications in computing.

A new approach to computing reachability probabilities in complex systems with infinite states.

Exploring the interactions and behaviors in layered cellular automata systems.

This work introduces innovative techniques for managing complex reactive programs effectively.

Simplifying 3D modeling with intuitive language-based controls.

A new method automates mesh generation for CFD, improving speed and accuracy.

Mirror ball projections provide new ways to monitor challenging environments.

MIPS-Fusion improves RGB-D reconstruction with efficient tracking and mapping techniques.

New voxel-based methods enhance brain imaging visualization and transparency.

New methods improve feature tracking in climate research and molecular dynamics.

Exploring how visual cues improve teamwork between humans and robots.

A new method improves shape recovery through topological derivatives for better image reconstruction.

Exploring the use of FPGAs in analyzing heart signals for improved diagnosis.

SEER automates efficient hardware design from high-level software programs.

A new framework combines reinforcement learning and optimization for better task scheduling.

Ramulator 2.0 enhances memory research with a modular, fast simulation tool.

A new framework simplifies the design of machine learning accelerators for improved performance.

A new DSL enhances hardware design and verification, improving productivity and accuracy.

A new method enhances check-pointing efficiency in devices using ambient energy.

A dataset for predicting tensor computation performance on specialized hardware.

Learn how characters enhance data storytelling and improve audience engagement.

A new method improves uncertainty in medical image annotations.

A new system enhances facial motion tracking for realistic AR interactions.

Exploring how moderation shapes interactions in open source projects.

Chatbots provide vital emotional support for mothers facing postpartum challenges.

Examining how VR sensor data poses privacy challenges for users.

Study examines how different virtual settings affect work engagement and emotional state.

UPREVE simplifies causal discovery in social and behavioral systems for researchers.

A look at how academics present co-authors on online profiles.

Explore the unseen challenges and benefits of using search engines today.

Parmesan aids users in understanding complex mathematical concepts with natural language processing.

Research enhances algorithms for identifying similar patients using ICD codes.

New model improves recommendations, addressing cold-start issues and leveraging user-item attributes.

A new approach to enhance recommendation accuracy and combat overconfidence in predictions.

A new model enhances watch time predictions for better user engagement.

A new algorithm helps detect AI-generated publications to combat misinformation.

A new approach enhances drone swarm communication using mobile relay drones.

New system enhances wireless communication and sensing capabilities.

A new approach to enhance satellite communication performance and manage interference.

ISAC combines sensing and communication for smarter technology applications.

This article discusses managing communication noise in federated learning for better model performance.

Examining trade-offs in deep learning applications for wireless systems.

Explore how URA improves communication in crowded networks.

Introducing a function to assess information and variability in reliability and risk analysis.

This paper presents a tool for explaining missing logical conclusions in ontology systems.

ProofBuddy aids students in mastering mathematical proof skills using the Isabelle proof assistant.

A look into complex proofs and their structures within parsimonious logic.

EduSAT simplifies learning Boolean concepts with practical tools and interactive features.

A look into the connection between W-types and formal topology in mathematics.

A new programming language focuses on dimensions to improve scientific modeling.

Examining the role of definite descriptions in knowledge and reasoning.

New methods in Description Logics allow for richer knowledge representation and reasoning.

Researchers enhance EEG analysis using concept-based models for better brain activity insights.

S2PGNN improves the adaptation of GNNs to labeled data.

A new method reduces steps in text-to-image generation for quicker results.

Research uses smartphone data to analyze daily movement patterns.

New method improves speech recognition using only raw audio data.

Ada-QPacknet combines adaptive pruning and quantization for effective continual learning.

This study examines new methods in simplifying Spanish text for better understanding.

FeatGeNN innovates feature generation, enhancing machine learning model performance.

Graph4J offers an efficient Java library for graph algorithms using simple structures.

Exploring new methods for efficient data storage and computation.

Discover EDOLAB, a platform for tackling changing optimization problems.

CDL aids in studying permutations and arrangements in computer and social sciences.

A study reviewing different formulations for cutting shapes efficiently.

New methods simplify complex polynomial optimization challenges for better solutions.

Combining JAX and Firedrake enhances numerical methods for solving partial differential equations.

New method enhances predictions using Gaussian processes on unknown data structures.

Using large language models to enhance agent-based simulations of social interactions.

Examining how individual actions shape group behaviors in animals.

Introducing a structured approach to improve peer review processes in academic publishing.

A new framework enhances agent decision-making by focusing on timing.

Strategies for agents to collaborate effectively despite information limitations.

Exploring cognitive models to improve agent coordination and decision-making.

Introducing VISER, a new approach for games with uneven information distribution.

New methods improve territory protection against UAV threats.

A method to translate skull images into realistic animal representations using text prompts.

New methods improve event detection in streaming videos using language and historical data.

A novel approach improves detection of harmful memes using targeted questioning.

Explore the emotional ties between music and images with the EMID dataset.

This research links brain activity to visual perception by reconstructing images from EEG signals.

Discover the impact of visual grounding in language and image interactions.

A new method enhances efficiency in video recognition using audio and visual data.

A new AI agent improves game testing efficiency and quality.

A new method enhances UAV participation in federated learning while protecting privacy.

A new method enhances task distribution and routing in edge computing environments.

A new method improves network traffic management while protecting user privacy.

RIFO optimizes packet scheduling for efficient data flow in networks.

Analysis of unexpected DNS query patterns and their impact on internet operations.

New methods improve data gathering in remote areas for virtual reality applications.

Federated Learning enhances connected vehicle safety while protecting user data.

A smartphone system allows divers to locate each other underwater without extra tools.

FeatGeNN innovates feature generation, enhancing machine learning model performance.

Exploring the potential of Natural Evolution Strategies in variational inference models.

Introducing reversible SNN nodes for efficient training and memory use.

A new model integrates U-Net and Spiking Neural Networks for efficient image tasks.

SpikingBERT combines spiking neural networks with language tasks for better energy efficiency.

Research on reservoir computing focuses on optimizing network designs for improved machine learning.

ReLiCA algorithm simplifies model creation using Cellular Automata rules and effective settings.

Examining how brain learning principles can enhance machine learning algorithms.

Exploring the behavior of electromagnetic waves in changing materials and its implications.

A new method improves global sensitivity analysis using fewer data samples.

Explore how reactive transport modeling aids in environmental science and energy extraction.

New neural network techniques improve solutions for fluid movement problems.

Improving cross validation efficiency for Radial Basis Function methods.

New methods improve efficiency in matrix inversion, focusing on triangular matrices.

A new algorithm automates the evaluation of complex oscillatory integrals.

New methods enhance integration accuracy for scattered data in various fields.

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 look at new systems improving insulin delivery and blood sugar monitoring.

A look into the advancements and challenges in modern storage systems.

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.

Discover how DNA could change the future of data storage.

Research shows column-stores improve recursive query performance significantly.

A look into best practices for improving system reliability under load.

A framework to accurately measure energy use in deep learning systems.

A study on the performance of three genetic algorithms in software refactoring.

A new method enhances agents' decision-making in changing environments.

A framework to identify sparse matrix structures using limited data.

This study examines how time limits affect software model optimization quality.

A new approach to modular reduction boosts performance in cryptography.

A new type system aims to prevent data races in programming.

A new tool empowers users to understand AI decisions through counterfactual explanations.

Introducing a teaching language for discrete mathematics with a focus on functional programming.

Modular design enhances the efficiency and scalability of program synthesis.

SEER automates efficient hardware design from high-level software programs.

This article discusses enhancing AI learning through higher-order abstractions for efficiency.

A new programming language focuses on dimensions to improve scientific modeling.

WasmFX provides new tools for developers to manage advanced programming features in WebAssembly.

A new robot helps apple growers accurately count and size fruitlets.

A new method personalizes vehicle predictions to improve safety and driver assistance.

ReWAG allows accurate location finding with standard cameras in urban settings.

Effective navigation strategies for robots in obstacle-filled environments.

Sim2Plan enhances robot training by integrating simulation and real-world performance.

New techniques improve self-driving cars' perception without extensive labeled data.

Study tests how sound cues influence walking in healthy adults.

Explaining the role of test oracles in improving automated driving systems.

A look at how academics present co-authors on online profiles.

Learn how connection diversity reveals insights in various networks.

A look at modularity and its role in understanding community structures in networks.

New algorithms improve accuracy in detecting overlapping communities in networks.

A new approach significantly boosts the efficiency and accuracy of subgraph counting.

Study reveals how shared identities shape Twitter interactions.

A study on evolving rankings based on performance over time.

This article examines how beliefs develop in a world of misinformation.

Exploring how moderation shapes interactions in open source projects.

New system simplifies formatting rules with user examples.

Innovative methods for testing complex pushdown reactive systems to ensure reliability.

Improve log analysis by combining single-line and multi-line parsing techniques.

A study on the process and challenges faced by security professionals.

New method predicts anomalies in cloud services to improve performance.

Aligning requirements engineering and testing enhances software quality.

A platform that adapts software services in real-time for smart mobility solutions.

A study enhances ASR for older speakers, using innovative techniques.

BASS improves summarization of long audio by processing in blocks.

New methods pose serious security risks for speech recognition technology.

ivrit.ai provides vital resources for enhancing Hebrew ASR technology.

Innovative techniques are transforming how we translate spoken language.

New methods aim to hide speaker identities while maintaining speech clarity.

New model improves speech recognition speed and memory usage.

A new dataset highlights the creative interpretations of jazz pianists on classic standards.

This article examines conditional obligations and their significance in ethical reasoning.

Combining machine learning with reasoning to improve decision-making capabilities in dynamic environments.

Language agents merge AI and decision-making for real-world tasks.

FMplex improves the efficiency of solving linear equations and inequalities.

Study of yeast kinases sheds light on cell signaling.

Exploring the need for safety and trust in AI systems.

LogicMP improves neural networks by integrating logical reasoning for better predictions.

JABBA enhances time series data analysis through consistent symbols and parallel processing.

New methods improve accuracy of optical sensors in healthcare.