Computer Science

Exploring the role of spiking neural networks in vertical federated learning for data privacy.

A new model predicts traffic accidents by analyzing urban data more effectively.

Quality image annotations are key to AI success in image analysis.

Introducing a flexible approach to creating realistic 3D cities.

MathViz-E automates math visualization to aid teachers and students in classrooms.

Analyzing how training datasets affect AI fairness in skin lesion diagnosis.

A user-friendly tool that enables data analysis through natural language.

This research focuses on improving question reformulation for better user interactions.

A novel approach enhances efficiency in training large language models.

A new framework enhances clarity in hospital discharge summaries.

Papilusion identifies AI-written content to uphold scientific integrity.

This research focuses on improving question reformulation for better user interactions.

A new benchmark evaluates LLMs for factual accuracy.

Understanding techniques to bypass safety in language models.

New models improve language understanding by integrating dependency structures.

A novel approach for faster title set evaluation without human references.

A study on how tile systems can simulate complex assemblies through self-assembly.

Researchers present an approach to simulate noisy quantum circuits efficiently.

An overview of graph isomorphism, resolution methods, and their complexities.

Analyzing factored graphs helps manage complexity in large graph structures.

Learn how the kinetic Langevin algorithm improves sampling in high-dimensional spaces.

Advancing automatic generation of loop invariants for reliable software verification.

Exploring SAT problems and the significance of diverse solutions in computational theory.

Exploring the complexities of Neighborhood Balanced Coloring and its NP-completeness.

ROMs streamline complex simulations for efficient engineering solutions.

EverAdapt framework addresses fault recognition in changing machine conditions.

Discover how quantum machine learning is changing the financial landscape.

A new method enhances vehicle design for off-road conditions.

Examining the impact of fast fashion choices on people and the environment.

A look at how blockchain technology enhances international money transfers.

A new tool simplifies the creation of potential energy surfaces for chemistry research.

New methods in lattice design improve strength while minimizing weight.

A study on improving GPS data matching to road networks.

Understanding smooth manifolds through triangulations and their properties in topology.

Exploring algorithms for key geometric optimization challenges and their applications.

Learn how graph embedding can improve analysis of complex networks.

A look at systoles and their calculation on combinatorial surfaces.

This article examines distance functions and their significance as topological Morse functions.

Techniques to separate positive and negative point sets using polyhedral shapes.

New algorithms enhance contour tree analysis in large datasets across scientific fields.

Study reveals how players quickly assess new games' fun factor.

How bundling items impacts revenue amid competition from smaller sellers.

Exploring the impact of biases on cybersecurity investments and defender strategies.

Analyzing how alliances enhance resource distribution in competitive contests.

Examining the impact of Limited Voting on representation in elections.

An analysis of mechanisms for effective facility location and client engagement.

A new method to align personal interests with group needs effectively.

A look at Proof-of-Stake and its impact on blockchain consensus.

A new framework improves WSI classification by incorporating spatial context.

A new method improves visual data learning without losing detail.

A study on improving CNNs using partial labels and adversarial attack models.

PEEKABOO helps machines locate objects without labeled data through image masking.

Quality image annotations are key to AI success in image analysis.

Introducing a flexible approach to creating realistic 3D cities.

MT-Diffusion efficiently generates multiple data types simultaneously, improving AI applications.

SV4D transforms single video input into dynamic 3D object representation.

PICA combines Peer Instruction and Continuous Assessment to boost student learning and engagement.

This article explores new neural network models for understanding human decision-making in cybersecurity.

Analyzing how training datasets affect AI fairness in skin lesion diagnosis.

How social connections impact voting patterns more than online relationships.

Examining the societal and environmental effects of AI foundation models.

Examining AI decision-making and its unexpected challenges.

CourseGPT transforms how students interact with educational content using AI.

Evaluating machine learning models to ensure fairness across diverse populations.

Examining privacy risks in model explanations and strategies to enhance security.

A new framework aims to bolster security for IoT devices against side-channel threats.

Learn how penetration testing can safeguard organizations from insider threats.

Machine learning offers new methods for faster and more accurate cybersecurity threat detection.

A new approach to quantum money using cloud technology for practical use.

This article explores security challenges and testing methods for 5G networks.

Learn how security measures protect critical infrastructure from increasing cyber attacks.

A study comparing machine learning models for evaluating vulnerabilities in C/C++ code.

Examining the complexities of sampling from the Ising model under spectral constraints.

This article discusses efficient algorithms for integer programming and subset sum problems.

Learn how CDS enhances string processing efficiency across various fields.

Research on algorithms for the k-center problem in distributed network settings.

A new method for quickly matching string suffixes and prefixes dynamically.

Discover recent progress in shadow estimation techniques for analyzing quantum states.

Learn about suffixient sets and their role in optimizing text searches.

Exploring SAT problems and the significance of diverse solutions in computational theory.

Explore a new method for effective active learning in limited data scenarios.

This study investigates how numerical literals affect link prediction in knowledge graphs.

A look at the shuffle model's approach to protecting user data privacy.

A novel approach to track and analyze wildlife trafficking online.

TSLGen streamlines SIMD library creation for diverse hardware.

New indexing techniques speed up data analysis without losing accuracy.

A study on the challenges of turning natural language into SQL queries.

This study compares turtle and JSON formats for storing astronomical provenance data.

Gymnasium simplifies research in reinforcement learning with versatile environments and support tools.

A new system to simplify writing literature reviews for researchers.

HALvest combines citation networks and texts for enhanced research insights.

The article explores gender differences in patent success, focusing on innovation types.

Access over 2 billion unique citation links for open research.

Efforts to simplify academic language enhance understanding for all readers.

This article discusses the importance and current state of reproducibility in visualization research.

PATopics streamlines access to pharmaceutical patents for researchers, chemists, and companies.

Explore how transit functions reveal relationships in directed graphs and networks.

A study on graph reconstruction using connected subsets and structural information.

Understanding smooth manifolds through triangulations and their properties in topology.

Exploring the connections between composite numbers through coprimality and network structures.

Exploring the patterns within language and sequences through palindromic constructs.

Combining machine learning and metaheuristics for better vehicle routing solutions.

This article explores the dynamics of congestion games and their impact on resource sharing.

Exploring the link between derangement graphs and orthogonal Latin squares.

Explore methods to improve sparse matrix operations in scientific computing.

Learn how lossy compression and AMR improve data handling in simulations.

A new approach to quantum money using cloud technology for practical use.

A new approach to enhance service management in smart cities through edge computing.

A framework for managing power while maintaining performance in serverless applications.

A new programming model aims to ease ML integration in scientific fields.

StraightLine optimizes resource management for machine learning applications across diverse environments.

Research on algorithms for the k-center problem in distributed network settings.

Hands-on activities improve STEM education by fostering teamwork and creativity.

SuperFlow improves the design of superconducting circuits for better efficiency and performance.

CUAOA improves the speed of quantum optimization simulations, advancing research capabilities.

Exploring how Qubernetes bridges quantum and classical computing.

Researchers model memristors to improve performance in data storage and processing.

VTOL vehicles are transforming urban transport and easing city traffic.

Exploring how Retrieval Augmented Generation can transform educational practices in computer science.

This article reviews how chunk size affects AI-generated answers.

New methods enhance the reachability of resource-aware systems.

Explore recent improvements in regex functionality and performance.

Exploring the patterns within language and sequences through palindromic constructs.

A novel approach to enhance query evaluation in dynamic data streams.

This article discusses the importance of regular grammars in graph structures.

A new approach to clustering high-dimensional data with cellular automata.

This article discusses recomposition's role in improving software verification processes.

A new method enhances accuracy in automata learning using large language models.

Learn how to draw circles and ellipses using Bézier curves in graphics programming.

A new approach to downsampling binary images while maintaining topology.

A new tool enhances real-time data visualization for researchers in complex systems.

A new method simplifies the creation of complex 3D shapes using 4D printing.

A new method improving digital hair modeling for realism and flexibility.

A new web-based method improves 3D image quality.

A comprehensive review of deep learning techniques in medical image analysis.

A new model enhances 3D shape creation and manipulation techniques.

An innovative approach to improve image quality in satellite data transmission.

A new framework aims to bolster security for IoT devices against side-channel threats.

SuperFlow improves the design of superconducting circuits for better efficiency and performance.

A guide to how CNNs enhance image processing and recognition.

A comparison of KANs and MLPs in classification performance and hardware efficiency.

RoSE-Opt automates analog circuit design for improved efficiency and reliability.

A look into the Field-Programmable Pixel Convolutional Array technology and its impact.

A new adder design enhances efficiency in deep learning hardware.

A study on communication patterns and community involvement in Wikidata.

A browser extension that helps BLV developers improve their web design skills.

A workshop to discuss how technology can enhance well-being and community.

Developing a template for evaluating AI systems' societal effects.

Research explores how AI models can spot misleading visual data.

Study reveals listener views on AI-generated versus human music.

Research highlights the role of nonverbal signals in effective classroom interactions.

A game that teaches players to recognize bias in news articles.

A new method enhances bug localization through dynamic chunking and hard example learning.

Explore a new method for effective active learning in limited data scenarios.

A look into identifying regional-colocation patterns and minimizing false discoveries.

A new method improves recommendation systems by creating personalized prompts for users.

A new method enhances the retrieval of medical studies based on evidence levels.

This study proposes a transparent way to assess music difficulty for educators.

A novel approach to track and analyze wildlife trafficking online.

Using AI-generated relevance marks for efficient evaluation of information retrieval systems.

A look into quantum duadic and triadic codes for effective error correction.

Explore how binary LCD codes relate to graph theory in information technology.

Researchers present an approach to simulate noisy quantum circuits efficiently.

Integrating LEO satellites enhances communication and radar capabilities for efficient data transfer.

A new method improves image recovery by reducing noise in phase retrieval tasks.

This study examines privacy differences between decentralized and centralized federated learning.

Discover recent progress in shadow estimation techniques for analyzing quantum states.

New methods improve signal quality in fiber-optic communication.

Combining static and dynamic analysis boosts software reliability.

An overview of graph isomorphism, resolution methods, and their complexities.

A framework to enhance the accuracy of interconnected data systems.

LLASP improves ASP code generation from natural language descriptions.

A new concept reshaping our view of types in mathematics and programming.

A look into how quantifiers shape logical statements.

Creating a unified framework for finite fields enhances cryptographic software verification.

New methods enhance monitoring speed for complex STL formulas using value freezing.

Re-thinking MDPs through geometry for efficient decision-making.

Discover how graph recommender systems and contrastive learning enhance personalized suggestions.

Exploring techniques for effectively removing data from AI models.

Exploring the role of spiking neural networks in vertical federated learning for data privacy.

A new method improves visual data learning without losing detail.

Examining privacy risks in model explanations and strategies to enhance security.

Introducing Closed-Loop Diffusion Control for efficient management of complex physical systems.

A new method improves the analysis of neural data across brain regions.

New approaches to tackle complex linear systems efficiently.

A new framework for optimizing complex geodesic convex problems in various fields.

HOBOTAN efficiently tackles complex higher-order optimization problems using advanced computing techniques.

Learn how Restricted Function Spaces improve PDE solutions in Firedrake.

A new tool for efficient structural optimization using automatic differentiation.

A new heuristic enhances solution finding in MILP problems.

ideal.II makes using space-time methods in deal.II easier for engineers and scientists.

A new tool to improve predictions using deep learning and data assimilation techniques.

Examining the impact of Limited Voting on representation in elections.

A method to help agents navigate complex environments more efficiently.

A new method enhances robot cooperation during unexpected failures.

New method boosts cooperation among robots, adapting to failures effectively.

An analysis of mechanisms for effective facility location and client engagement.

A new method to align personal interests with group needs effectively.

Examining how agents learn faster together despite communication delays.

This study examines majority illusion and proposes ways to fix it in networks.

A diverse collection of 3D models for enhanced research opportunities.

This study examines how well LLMs understand and generate music.

A new model that synchronizes chord annotations with music audio seamlessly.

A unified model improves point cloud compression for better quality and efficiency.

Innovative method adds hidden messages to ensure image authenticity.

A framework that effectively identifies deepfake content through combined audio and visual analysis.

A new benchmark to evaluate models analyzing music and language.

A new approach merges audio, video, and text data for effective depression diagnosis.

Exploring advanced methods for effective grassland monitoring using technology.

Evaluating large language models for enhancing road safety in self-driving cars.

A method to improve video analysis by focusing on key frame regions.

Research highlights solutions for improving connectivity in 5G and 6G networks.

Integrating LEO satellites enhances communication and radar capabilities for efficient data transfer.

A new model enhances IoT traffic classification even with limited data.

LocPIR enhances privacy in location-based services through advanced encryption.

A new method predicts bugs in software by analyzing past data.

Innovative designs for cameras improve how machines detect moving objects.

A new method improves the analysis of neural data across brain regions.

Discover how continuous learning is transforming artificial intelligence and its applications.

Techniques for managing hyperparameters and model weights for improved performance.

This article analyzes co-evolutionary algorithms for binary adversarial optimization problems.

Exploring how time structure enhances spiking neural network performance.

MALT improves adversarial attack efficiency and success in image classification models.

CAReLU enhances learning by balancing positive and negative values in deep learning models.

PDEformer-1 simplifies solving one-dimensional partial differential equations using machine learning techniques.

New approaches to tackle complex linear systems efficiently.

This article discusses methods for simulating groundwater seepage accurately.

Exploring how noise affects wave dynamics in biological systems through advanced models.

Techniques for improving the accuracy of numerical solutions in science and engineering.

This work highlights properties of matrix inverses in solving equations.

Discover how mini-batch gradient descent improves optimization in various fields.

New neural network architectures improve stability and accuracy in solving partial differential equations.

Exploring Rust's role in enhancing OS security and reliability.

MAARS framework enhances the security of timing-sensitive tasks in cyber-physical systems.

New framework for NPUs enhances resource sharing and reduces costs.

A novel method for analyzing cloud system performance through detailed simulations.

A new framework enhances task scheduling and timing in multi-threaded ROS 2 executors.

UBPF simplifies eBPF program management across diverse cloud environments.

CRISP safeguards cloud applications against rollback attacks, ensuring data integrity and security.

This article covers a system that manages communication between processes using sandboxes.

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.

A new method estimates power use and heat in CNN accelerators for better performance.

A new approach to calculate PageRank scores in changing networks.

A powerful simulator designed to enhance self-driving car training through rapid scenario generation.

An analysis of popular Linux filesystems based on their performance with large file counts.

Tapis enhances job scheduling by predicting wait times for faster results.

A novel method for analyzing cloud system performance through detailed simulations.

A new framework uses AI to enhance Java performance testing accuracy and efficiency.

A guide for developers on memory power usage in high-performance computing.

A new approach simplifies compiling changes in Java projects, improving security.

Learn how program verification ensures software reliability in critical industries.

A method for verifying programming languages for better reliability and correctness.

New techniques improve verification of complex computer programs for reliable performance.

Analyzing vulnerabilities in popular code completion tools and their implications for developers.

A new framework simplifies compiler processes for tensor accelerators using LLMs.

Learn how to use Haskell for relational programming to handle data efficiently.

Combining HW-NAS and ACO for efficient neural networks.

A new VIO system improves robot navigation using point and plane features.

New approach addresses challenges in stabilizing malfunctioning satellites with flexible parts.

A new method certifies the reliability of object pose estimation under various conditions.

This study evaluates the impact of visual feature extractors on robot learning tasks.

Evaluating large language models for enhancing road safety in self-driving cars.

This article discusses safety concerns in trajectory planning for automated vehicles.

A new approach improves how vehicles predict pedestrian actions.

This article examines how RL helps control bicycles without additional support.

A study on communication patterns and community involvement in Wikidata.

How social connections impact voting patterns more than online relationships.

This article examines how brokerage influences scientific careers and gender disparities.

Examining how segregation impacts urban interactions and economic growth.

Examining online discussions about children's welfare across political lines from 2019 to 2023.

A new approach enhances understanding of supply chains and predicts future transactions.

Examining privacy threats linked to social connections in digital spaces.

Exploring the connections between composite numbers through coprimality and network structures.

A new method enhances bug localization through dynamic chunking and hard example learning.

MathViz-E automates math visualization to aid teachers and students in classrooms.

A user-friendly tool that enables data analysis through natural language.

Generative AI streamlines systematic reviews in software engineering research.

This article discusses safety concerns in trajectory planning for automated vehicles.

This study presents a method to enhance tracing of security patches.

A study comparing machine learning models for evaluating vulnerabilities in C/C++ code.

Exploring Rust's role in enhancing OS security and reliability.

A new system improves beat tracking across various musical genres.

Study reveals listener views on AI-generated versus human music.

A study on improving methods to detect lossy audio compression for better sound quality.

This study examines how well LLMs understand and generate music.

An overview of MIDI music creation and its expressive potential.

A new model that synchronizes chord annotations with music audio seamlessly.

This study proposes a transparent way to assess music difficulty for educators.

A new model enhances speech synthesis for various Chinese dialects.

Discovering connections between complex reflection groups and linear differential equations.

Recent advancements in Real Quantifier Elimination and CAD improve problem-solving efficiency in mathematics.

Learn how math aids in understanding chemical reactions and their interactions.

A look into polynomial handling with Lean's features and challenges.

A new approach to event prediction using dynamic causal rules and dual history contexts.

BMLP improves datalog query evaluation using boolean matrices for better performance.

New methods improve spacecraft trajectory predictions through better uncertainty management.

Discover how active learning optimizes experiments in biological research.

Introducing Closed-Loop Diffusion Control for efficient management of complex physical systems.

Exploring the impact of digital twins on vehicular networks and communication.

A new method certifies the reliability of object pose estimation under various conditions.

Examining benefits and challenges of combining energy storage and traditional power lines.

This article discusses safety concerns in trajectory planning for automated vehicles.

Learn how data impacts wind turbine failure predictions.

Exploring the impact of biases on cybersecurity investments and defender strategies.

Analyzing how alliances enhance resource distribution in competitive contests.