Computer Science

Exploring how language models generate code-mixed data in Southeast Asia.

Introducing a framework for safer neural network verification using symbolic reasoning.

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

New model improves task learning and mistake detection in instructional videos.

New methods enhance object detection using open vocabulary and align visual and text features.

TriPlaneNet improves image inversion using advanced techniques for realistic 3D face generation.

How attention shapes what we notice and believe.

A new approach improves the safety of interconnected machine learning systems.

Exploring how language models generate code-mixed data in Southeast Asia.

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

A new model enhances sentence representation with improved encoding and decoding methods.

New model improves task learning and mistake detection in instructional videos.

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

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

A new approach to optimize prompts in language models using predictive bias.

An overview of quantum computing resources and their implications for future technology.

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.

Innovative methods to measure quantum entanglement are transforming advanced technologies.

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.

Combining numerical methods and machine learning improves fluid-structure interaction simulations.

A new model improves data tracking in Lattice Quantum Chromodynamics.

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.

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.

Exploring the balance between openness and effectiveness in sharing information.

A new method enhances video resolution efficiently using deep learning.

A new method improves self-supervised learning by adapting positive image pair selection.

SCADE improves 3D modeling accuracy using fewer images through depth estimates.

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

New model improves task learning and mistake detection in instructional videos.

New methods enhance object detection using open vocabulary and align visual and text features.

MV-JAR enhances 3D object detection using LiDAR with minimal labeled data.

TriPlaneNet improves image inversion using advanced techniques for realistic 3D face generation.

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.

A method to ensure fair predictions while maintaining accuracy in various applications.

GeoAI blends geography and AI to analyze spatial data ethically and sustainably.

This article discusses a method to detect energy theft while ensuring customer data privacy.

An overview of privacy issues and security threats on social media platforms.

BlockFW uses blockchain technology to strengthen network security and management.

A novel approach to learning GMMs while ensuring data privacy.

InnerCore provides quick insights into blockchain networks by analyzing key actors and market sentiment.

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

A new method of cyberattack poses risks to the safety of power systems.

A framework to secure recommendations from malicious attacks.

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.

A method to identify leading digits in large number multiplications.

New algorithm improves Silhouette score calculations for big data.

Explore how sequential probability assignment aids in accurate predictions across various fields.

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

A look at maintaining stable clusters as data arrives in real-time.

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 novel approach to safeguard user data in streaming analytics.

Machine learning transforms data sharing by improving quality and accessibility.

This work discusses combining SQL with large language models for improved data queries.

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.

A new resource makes Australian parliamentary debates from 1998 to 2022 accessible for research.

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.

Learn how faster evaluations of polynomials can improve various fields.

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

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

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

New algorithm improves Silhouette score calculations for big data.

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

A novel approach to managing data flow in 6G Cloud Radio Access Networks.

An overview of consensus and protocols in distributed systems.

A new method enhances multi-agent decision-making efficiency.

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.

Exploring multi-core quantum computing and its impact on problem-solving speed.

Exploring the role of LSTM networks in improving quantum computing accuracy.

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 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.

A new method improves light rendering by combining ray and wave properties.

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.

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.

Examining ChatGPT's role in shaping virtual experiences and its potential pitfalls.

A project focused on improving how scholars read research papers.

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

Learn why clear documentation is crucial for effective research communication.

Language models could enhance communication with smart home devices.

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.

A framework to secure recommendations from malicious attacks.

Chat-REC combines LLMs and recommendations for a better user experience.

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.

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

Techniques to reduce errors in real-time wireless communication.

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.

Reo simplifies the design of reliable software systems through clear modeling of interactions.

This article discusses paraconsistent transition systems for handling conflicting requirements in software and quantum computing.

Explore nominal sets and their role in programming languages and variable binding.

Exploring how modal logic and belief functions connect in understanding uncertainty.

A look at how attitudes influence decision-making in car-sharing services.

A new method enhances video resolution efficiently using deep learning.

ReScore improves causal discovery by dynamically adjusting sample importance.

Exploring the role of CNNs in artificial intelligence growth and applications.

Introducing a framework for safer neural network verification using symbolic reasoning.

A new model enhances sentence representation with improved encoding and decoding methods.

A new model using neural networks improves understanding of complex event interactions.

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

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.

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.

New algorithms improve agent coordination in pickup and delivery tasks under delays.

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.

A study on improving emotion detection through multiple data sources.

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.

Using machine learning and federated learning to boost UAV network routing.

Saihu simplifies the process of analyzing network delays for time-sensitive applications.

Explores the role of federated learning and privacy technologies in healthcare.

Techniques to reduce errors in real-time wireless communication.

A new method enhances multi-agent decision-making efficiency.

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.

Adaptive mutation and grammar improvements enhance genetic programming efficiency and effectiveness.

Innovative models aim to improve seizure monitoring and patient care.

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.

Examining how shapes change and their biological significance.

Discover recent breakthroughs in minimax optimization techniques and their practical uses.

This study introduces methods for solving complex bilevel optimization challenges effectively.

This article explores the NIPG method for fluid dynamics and its effectiveness.

New methods improve safety in monitoring spent nuclear fuel through advanced modeling techniques.

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.

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.

A study on the efficiency of Java's execution methods.

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.

Learn how to automate the expected results of programs using probability and recursion.

New method improves safe navigation for mobile robots in complex environments.

Exploring how robots can learn efficiently from multiple tasks.

A new vision-based method helps robots navigate vineyards efficiently.

A new method enhances robot task planning from everyday language.

Robots are learning to navigate complex tasks using structured semantic frames.

Exploring the benefits and risks of robots aiding older adults.

Understanding how SARs communicate decisions can enhance therapy outcomes.

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

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.

Examining methods for finding small groups in extensive networks.

Research combines machine learning and expert knowledge to support repatriation.

This paper discusses methods to enhance wireless networks in the Metaverse focusing on energy efficiency and security.

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.

Quantum Computing as a Service is changing how we approach complex problems.

This article examines how images impact the clarity of programming questions.

Examining the need for self-evolving systems in changing environments.

A hands-on approach to creating an efficient simulation language for biologists.

A new method enhances LLMs in generating correct code using human feedback.

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.

Researchers are finding new ways to locate sound sources accurately.