Computer Science

This study analyzes termination algorithms for managing database rules effectively.

Visual programming tool makes deep learning accessible for everyone.

This article examines how well large language models reason in various tasks.

A new tool enhances frame semantic parsing for better language comprehension.

Exploring the importance of why-provenance in database query explanations.

SphereFormer improves 3D recognition from LiDAR data through innovative processing techniques.

A study comparing sketching and colored drawing methods for user interface mockups.

New methods using eye-tracking technology show promise for early diagnosis of Alzheimer’s disease.

JaCoText model generates Java code from natural language, improving programming efficiency.

This article examines how well large language models reason in various tasks.

A new tool enhances frame semantic parsing for better language comprehension.

New dataset AfroDigits aims to improve speech recognition in African languages.

This study benchmarks AI models in diverse language tasks.

Improving question-answering through better information processing and knowledge graphs.

New methods aim to enrich content for low-resource languages on Wikipedia.

Introducing ReCOGS to improve understanding of language in computer models.

A comparison of classical and quantum computing methodologies and their implications.

A concise overview of graphs, their types, and decomposition methods.

A look at runtime complexity and tuple interpretations in algorithm efficiency.

A look into the complexities of identifying hidden strings using queries.

An analysis of competition, voter preferences, and party strategies in elections.

An overview of PAC learning and its applications in algorithm development.

This article discusses Surface Chemical Reaction Networks and their importance in molecular interactions.

This article discusses the difficulty of embedding graphs in structured forms.

GraphIT merges EM strategies with non-convex penalties for efficient modeling.

A new method combines level set techniques and neural networks for efficient design.

Faster methods for valuing options improve decision-making in finance.

Improving turbulence models enhances accuracy in fluid dynamics simulations.

A systematic approach for designing validation experiments in predictive modeling.

Researchers create materials that manage stress through electric fields.

New methods are improving how we study materials under stress.

Learn how sparsification helps manage complex network systems efficiently.

Discover the blend of fractals and advanced numbers for stunning visuals.

Researchers find significant counterexamples challenging conjectures in manifold topology.

An overview of 3-manifolds and their properties in mathematics.

Learn how filtration helps analyze data relationships and reveals insights.

This article discusses the difficulty of embedding graphs in structured forms.

Optimizing locations for facilities using cactus graphs can improve urban planning and logistics.

A look into 2-parameter persistence and its role in data analysis.

This study explores how path lengths in graphs on tori can be understood.

Examining fair distribution strategies among agents with varying valuations.

This article discusses a new incentive system for users in sponsored content.

An analysis of competition, voter preferences, and party strategies in elections.

Exploring the role of Regulatory Markets in promoting safe AI practices.

A distributed algorithm tackles Nash equilibria in non-cooperative games with partial information.

A look at how TCNNs improve image classification and data analysis.

A fresh approach to assessing player intelligence using human and machine perspectives.

New methods improve understanding of player strategies in complex environments.

This study enhances MRI analysis for vestibular schwannoma using machine learning.

A new method combines NeRFs and GANs for efficient 3D image generation.

A Masked Autoencoder enhances detection and repair of adversarial inputs in AI systems.

SphereFormer improves 3D recognition from LiDAR data through innovative processing techniques.

New methods using eye-tracking technology show promise for early diagnosis of Alzheimer’s disease.

A novel dataset and model simplify the creation of diverse 3D cartoon characters.

MEDIMP combines medical images and clinical data for better kidney transplant outcomes.

CLIP enhances 3D recognition by linking language to visual data.

Examining how mothers and fathers adjust their communication based on their audience.

A detailed look at lung cancer and health-related death rates across US counties.

BlockFW uses blockchain technology to strengthen network security and management.

Learn the essentials for formatting documents for ACM conferences and journals.

European regulations push for messaging platform interoperability, raising security and privacy concerns.

A look into how the surgical metaverse is changing healthcare practices.

A study analyzes toxic users on Twitter to inform moderation efforts.

Research combines machine learning and expert knowledge to support repatriation.

Analyzing the effectiveness of backdoor methods in privacy attacks.

A study reveals serious security vulnerabilities in critical OT systems.

A comparison of classical and quantum computing methodologies and their implications.

A guide to types, security, and usage of cryptocurrency wallets.

Combining federated learning and blockchain enhances data security and user privacy.

This article discusses the Low-frequency Image Deep Steganography method and its benefits.

A new system enhances privacy in language processing using encrypted data.

Learn how ARNN helps detect and classify botnets effectively.

A novel quantum algorithm improves edge sampling in graph pathfinding.

An analysis of matching individuals with preferences and critical needs.

Matrix sensing methods evolve for better recovery of high-rank matrices.

Spanners optimize graph structures while preserving essential distance properties.

A faster way to compute effective resistance for complex networks.

A concise overview of graphs, their types, and decomposition methods.

Faster methods for valuing options improve decision-making in finance.

A novel approach to learning GMMs while ensuring data privacy.

This study analyzes termination algorithms for managing database rules effectively.

Exploring the importance of why-provenance in database query explanations.

Learn about handling transactions in databases for improved performance and reliability.

A look at GETT-QA's role in efficient information retrieval using knowledge graphs.

A tool that rewrites code to enhance data analysis performance effortlessly.

Exploring how machine learning enhances crime prediction for effective law enforcement.

Learn how new methods enhance data cleaning processes while prioritizing user privacy.

Learn how Data Narrative Management Systems streamline data communication.

A study reveals the complex relationship between past discoveries and new research impact.

DBLP-QuAD provides 10,000 question-answer pairs for academic publications.

A new data set that connects research artifacts and publications for deeper insights.

A study on how well documents are accessed in mixed search systems.

A new data set enhances research with 1.9 million academic papers and improved citation networks.

A new framework improves metadata quality in digital libraries for better access.

OntoMath 2.0 organizes mathematical knowledge for better access and use.

GLAM institutions face key challenges in making digital collections usable.

This article discusses odd coloring and its implications in graph theory.

A concise overview of graphs, their types, and decomposition methods.

An overview of quasirandom permutations and their significance in various fields.

This study presents methods for searching effectively with unreliable agents on an infinite line.

A look at how bearings improve agent coordination and formation stability.

Exploring the intricacies of edge and total coloring in split graphs.

Exploring the behavior of integer points in integral bisubmodular polyhedra.

Discover effective strategies for efficient matrix multiplication.

A structured approach to reach consensus in a torus network despite faults.

A new framework addresses challenges in designing distributed deep learning applications.

A method to improve model training efficiency in federated learning.

A new tool simplifies creating and optimizing CUDA applications for better GPU performance.

A guide to types, security, and usage of cryptocurrency wallets.

Combining federated learning and blockchain enhances data security and user privacy.

Combining forum data to improve understanding of cancer treatments and outcomes.

A look into edge-based video analytics and its impact on various sectors.

BrainScaleS mimics brain activity to enhance research on neural behaviors.

New methods aim to enhance tracking of tiny devices in the human body.

This study investigates how robots can coat surfaces using tiles efficiently.

New memory technology improves efficiency and speed using light and phase change materials.

Explore recent TCAM developments, including efficient designs and energy-saving technologies.

Exploring the technical hurdles and advancements in quantum computing systems.

Using ISFETs enhances security for integrated circuits against reverse engineering.

Addressing security risks in advanced non-volatile memory technologies.

This article discusses how languages grow using symbols and mathematical concepts.

Learn about automata types, their states, inputs, and outputs.

This study examines the relationship between automata and bicategories for deeper insights.

A guide to the concepts and applications of Temporal Logic in computer science.

A concise overview of finitary automata and the importance of reducing their complexity.

Researchers bridge DPO hypergraph grammars and hypergraph Lambek grammars for better language understanding.

A new method to enhance how self-driving cars learn from expert behavior.

A method for effective translation of recursive definitions between VDM and Isabelle/HOL.

Investigating ChatGPT's view on its own intelligence and implications for consciousness.

A new method combines NeRFs and GANs for efficient 3D image generation.

A new method improves rendering quality for shiny 3D objects.

A method for making virtual characters move more naturally in cluttered spaces.

This article reveals a new method for crafting lifelike 3D head avatars.

Exploring how Nvidia RTX enhances radiosity for realistic lighting in graphics.

Understanding the advancements in Morse-Smale segmentation for effective data analysis.

Researchers improve 3D images using new techniques for consistency and realism.

A new method improves the smoothness of animations between keyframes.

DiffPattern generates diverse and compliant layout patterns for integrated circuits efficiently.

A new model aids in studying DRAM caches and their role in memory systems.

A new model enhances DRAM cache performance analysis in computer systems.

Explore how FPGA enhances key-value store performance for modern applications.

New approach enhances reliability of onboard computers in space systems.

A look at IMA-GNN and its impact on processing graph data efficiently.

This article examines the resilience of QDI circuits against timing faults.

A new approach improves efficiency in AI language models.

Visual programming tool makes deep learning accessible for everyone.

A study comparing sketching and colored drawing methods for user interface mockups.

Explore the impact of text-to-image models on design processes and teamwork.

The SciRoc competition tests robots in real and simulated coffee shop environments.

Hope inspires individuals and strengthens communities during challenging times.

Learn how reusing electronics fosters creativity and sustainability.

Research explores how conversational systems can improve group search tasks.

Research examines stress responses during remote job interviews using audio, video, and physiological data.

A fresh method to enhance location suggestions based on user history and preferences.

Combining wording and technology offers a better way to assess patent similarities.

Research explores how conversational systems can improve group search tasks.

Modular retrieval simplifies task adaptation in information retrieval using existing modules.

A look into efficient techniques for information retrieval using sparse representations.

A look at GETT-QA's role in efficient information retrieval using knowledge graphs.

Combining forum data to improve understanding of cancer treatments and outcomes.

Thistle redefines search with implicit knowledge representation through advanced vector techniques.

Learn how reversiblizations enhance the study of Markov chains.

A guide to types, security, and usage of cryptocurrency wallets.

A novel approach to learning GMMs while ensuring data privacy.

New receiver technology enhances signal processing for faster internet.

Learn how RIS enhances wireless communication with Massive MIMO technology.

Examining how Age of Information impacts communication efficiency in various fields.

A method to summarize and analyze large event streams for valuable insights.

A new approach to improving PCA through mutual information for better genetic insights.

Exploring the connections between classical logic and semiring semantics.

An overview of quantum circuits and their role in modern computing.

A new method enhances counting of valid configurations in feature models.

A new planner improves planning efficiency in AI using theorem proving.

SDPNs provide insights into decision-making in systems with random events.

A look into the significance of the Strong Normalization Theorem for computation.

This article presents a new approach to equational theorem proving involving strings.

A look at runtime complexity and tuple interpretations in algorithm efficiency.

A new framework enhances regression methods for forecasting rare occurrences.

Machine learning aids in accurate entropy production estimation, improving energy analysis.

A new method combines NeRFs and GANs for efficient 3D image generation.

A Masked Autoencoder enhances detection and repair of adversarial inputs in AI systems.

Visual programming tool makes deep learning accessible for everyone.

Batch normalization improves training efficiency and model accuracy in deep networks.

A new tool enhances frame semantic parsing for better language comprehension.

Deep learning models like LSTM and GRU enhance traffic volume predictions.

Rang helps researchers document and recreate their computational environments for accurate analysis.

Combining machine learning and PDEs improves modeling of complex physical systems.

A new library enhances complex calculations in PIM architectures.

Discover how local graph clustering simplifies data analysis in large networks.

Waywiser simplifies assessment of spatial models for reliable predictions.

A look into LU factorization and its importance in solving linear equations.

A look at methods improving nonlinear optimization under constraints.

Learn the steps of Bayesian analysis using Pumas for pharmacometric modeling.

Exploring how data can enhance performance in sports like soccer and basketball.

This study analyzes the role of discrimination in poverty.

A new package for training agents in multi-agent environments with improved adaptability.

This article presents a framework to improve energy use in microgrids.

Exploring the role of Regulatory Markets in promoting safe AI practices.

A defender uses various strategies to protect a target from intruders.

A look at how bearings improve agent coordination and formation stability.

A new approach improves robotic systems by integrating physical and simulated elements.

A new method enhances federated learning model accuracy while protecting user data.

Learn the essentials for formatting documents for ACM conferences and journals.

A new model improves audio classification using advanced techniques.

New framework improves image generation from text descriptions through separation techniques.

Using user comments to improve the classification of mixed media content.

This metric improves real-time video quality assessment for better streaming experiences.

A new system matches music to speech based on emotions without needing text.

A new approach to improve image quality and compression efficiency.

This study focuses on reducing power use in UAV-enabled edge computing.

A new approach to data transfer ensures speed and reliability.

Digital Twins enhance communication efficiency in connected vehicles.

New methods aim to enhance tracking of tiny devices in the human body.

Learn how ARNN helps detect and classify botnets effectively.

Discover how TinyML integrates machine learning into small, low-power devices.

Discover how AIGC-as-a-Service enhances content generation efficiency in the Metaverse.

AI-driven techniques are transforming network design for better performance and flexibility.

BrainScaleS mimics brain activity to enhance research on neural behaviors.

A new method enhances search for neural networks by balancing performance metrics.

A new method enhances video resolution efficiently using deep learning.

This article examines how skip connections enhance training in spiking neural networks.

Learn how GSBCs enhance data handling in neural networks.

Event-based cameras offer efficient motion capture by focusing on changes in scenes.

PowerPruning improves energy efficiency in deep neural networks without needing hardware changes.

This study investigates issues in RL agents' ability to transfer learned skills.

A new method to enhance the accuracy of transport coefficient measurements using synthetic forcings.

Harnessing vibrations for self-sufficient monitoring systems in civil engineering.

A faster way to compute effective resistance for complex networks.

A look into SAR technology's role in imaging and target analysis.

This article assesses the efficiency of multisection compared to the bisection method.

Using LRBM for effective solutions in engineering, climate, and medicine.

A new model predicts ion behavior in membranes, improving metal recovery efficiency.

A new method enhances accuracy and efficiency in solving linear systems.

Businesses seek new ways to secure data in the cloud with confidential computing.

A new framework for easier FPGA use in virtual environments.

BCEdge improves DNN processing efficiency in edge applications for faster response times.

New method improves resource allocation for users with changing needs.

DVFO enhances energy efficiency and processing speed for edge devices in IoT.

Exploring the benefits of lookahead in semi-online task scheduling.

A model for better predictions of I/O operations in Linux environments.

SWAM improves memory usage in mobile devices, boosting app responsiveness and user experience.

Exploring how digital twins enhance safety and trust in autonomous drone operations.

Research aims to improve search techniques using drones in SAR missions.

Transforming building design to save energy and promote sustainability.

Exploring automation's role in enhancing building design efficiency and communication.

Investigating distant planets and their potential to support life through advanced technology.

A new methodology enhances teamwork between software and hardware developers for better performance.

Reassessing how we classify and understand sequential circuits.

Exploring the significance and applications of mobility data in society today.

Learn how range regularization enhances AI model compression and quantization.

A new model aids in studying DRAM caches and their role in memory systems.

A new model enhances DRAM cache performance analysis in computer systems.

CXL memory offers a promising way to meet rising demands for speed and capacity.

Using machine learning to optimize storage formats for sparse matrices.

A method to improve performance and save energy in scientific applications.

Learn how job-size testing can improve computer system performance.

New representation improves predictions for HPC applications across various hardware systems.

Learn about handling transactions in databases for improved performance and reliability.

A new compiler optimization method enhances data access speeds in distributed systems.

A tool that rewrites code to enhance data analysis performance effortlessly.

SAFE-CSV simplifies and strengthens data processing for CSV files.

Introducing a language to effectively express and manage structured data types.

This article discusses the challenges and tools for translating VDM models to Isabelle/HOL.

Operads help ensure correct integration of code in software development.

A look at Lilac, a new logic for ensuring correctness in probabilistic programming.

A study on how robotic arms improve efficiency in object movement through cooperation.

A look into the development of robotic goalkeepers in RoboCup Soccer.

Research examines how robot brain reproduction affects performance and behavior.

The SciRoc competition tests robots in real and simulated coffee shop environments.

Researchers study human actions to improve robot assembly skills.

New method improves robot localization in dynamic human environments using deep reinforcement learning.

A new platform improving multi-agent reinforcement learning for practical robot applications.

A method to enhance legged robots' adaptability on uneven terrain by incorporating full-body dynamics.

Examining how mothers and fathers adjust their communication based on their audience.

Combining wording and technology offers a better way to assess patent similarities.

Study explores how replies affect engagement in hateful online communities.

A study on how friendships evolve among middle school students over two years.

Learn the essentials for formatting documents for ACM conferences and journals.

A new method enhances edge ranking in transport networks for better efficiency.

A study analyzes toxic users on Twitter to inform moderation efforts.

A novel approach to improve predictions of missing network connections.

Visual programming tool makes deep learning accessible for everyone.

A new method enhances counting of valid configurations in feature models.

A new approach merges insights from Stack Overflow and GitHub for better API choices.

GiveMeLabeledIssues helps developers find suitable tasks based on their skills.

A new workbench simplifies API debugging and learning for users.

Learn how to invest wisely in observability for cloud systems.

gDoc automates API documentation, improving speed and quality for developers.

A new framework aims to improve the identification of smart contract vulnerabilities.

A new model improves sound experiences by incorporating visuals and personal factors.

Reducing model size for better speech recognition on smartphones and wearables.

A new method for emotional speech synthesis while preserving speaker identity.

Analyzing bias in voice identification technology across different demographics.

A new multi-band audio coding method improves sound quality and efficiency.

Brain wave tracking shows promise in assessing language problems post-stroke.

New framework improves audio recognition without extensive data access.

A new model improves audio classification using advanced techniques.