Computer Science

New methods improve high-level synthesis through efficient design space exploration.

Explore how the brain processes information, memories, and emotions.

A new method enhances how businesses personalize customer interactions using LLMs.

Research focuses on improving AI's ability to recognize actions in videos.

A new method combines Federated Learning and Adversarial Training for insider threat detection.

This article discusses a new method for generating correctness proofs in Rust.

A method to update large language models efficiently and accurately.

A new method improves the safety of autonomous vehicles in risky scenarios.

A new method enhances how businesses personalize customer interactions using LLMs.

A method to update large language models efficiently and accurately.

Examining the role of LMMs in transforming search capabilities with text and images.

Introducing a dataset to assess the performance of RAG systems in real-world scenarios.

LogicPro enhances logical reasoning in AI using algorithm problems and coded examples.

Exploring Reverse Preference Attacks and their impact on model safety.

Utilizing smaller models to expedite training of larger language models.

Enhancing translation accuracy for e-commerce product titles using innovative methods.

Examining how improvements in decision trees can enhance coding theory methods.

New insights into Kolmogorov complexity enhance data compression methods.

Research reveals new insights into group multiplication and its communication complexity.

Explore temporal VCSPs and their significance in optimization problems.

A look into the Max-Cut problem and its applications in various fields.

Research unveils faster mixing methods in random reversible circuits for improved cryptography.

Investigating how vertex merging impacts graph properties and classifications.

Analyzing line-based Dial-a-Ride and MinTurn problems for better transport efficiency.

An overview of the implicit Euler method and its applications in differential inversion.

A new data-driven approach enhances etch rate predictions for better semiconductor production.

A study on neural operators' ability to enhance weather data resolution.

New method combines AI and diffusion models for innovative material designs.

This study evaluates the effectiveness of Bidirectional Multivariate LSTM in stock prediction.

A new framework streamlines microstructure design using natural language commands.

Combining optimal transport and structural models improves single-cell data interpretation.

Learn how centrifugal clutches enhance automatic transmission performance in vehicles.

A study on dynamic issues in unit disk graphs and efficient problem-solving methods.

Learn how to draw bipartite planar graphs using parallel methods.

HypersurfaceRegions.jl helps researchers analyze complex mathematical structures.

A look into minimum spanning trees and their significance in various fields.

A look into clustered planarity and linear saturation in graph representation.

A new algorithm enhances convex hull finding with improved efficiency.

Researchers develop methods to interpret crater shapes in space images.

A look into how our brains manage short-term memory with neural networks.

Exploring new economic models for data using quantum communication principles.

MEGA-PT improves penetration testing effectiveness and adaptability for better cybersecurity.

A look at how auction formats influence bidding behavior and outcomes.

Learn key trading strategies in a competitive environment.

Examining trade-intent auctions' fairness and efficiency in modern finance.

A new method improves fairness and fund utilization in community budgeting.

Exploring how friendships and enmities shape group stability.

Exploring various types and applications of matching problems in different fields.

New concept assesses image feature usefulness for improved computer vision tasks.

A new method for better table recognition in digital data processing.

A new method enhances data cleaning for underwater mapping tools.

A new approach to enhance classifier performance in complex data.

A new lightweight method for visual-inertial odometry enhances performance in challenging environments.

Research focuses on improving AI's ability to recognize actions in videos.

New method uses facial movements to assess student focus during remote education.

AI helps create synthetic CTA images from TOF-MRA scans, improving diagnosis.

This study examines how personalized stories engage diverse readers.

Researchers introduce the STOP dataset to analyze bias in language models.

Examining how LLMs are changing writing and speaking in academic settings.

A new AI tool improves communication between teachers and students in large classes.

Enhancing access to primary healthcare in South Asia for better health outcomes.

Examining the pitfalls of scaling AI models beyond necessity.

This paper discusses fairness in selecting candidates for institutions amid biased evaluations.

Examining the impact of Topics API on digital advertising and competition.

A new method combines Federated Learning and Adversarial Training for insider threat detection.

A new AI-driven platform aims to enhance security in healthcare.

This article discusses privacy-focused data methods using federated learning and deep transfer hashing.

Companies face hidden privacy threats in federated learning due to data distribution shifts.

Examining efficient attacks on Automatic Modulation Classification using the Golden Ratio.

Proxy contracts in Ethereum offer benefits but come with significant security concerns.

This article examines a fresh approach to secure public-key encryption.

Combining Federated Learning and quantum technology promises safer data handling in AI.

Examining how improvements in decision trees can enhance coding theory methods.

A study on dynamic issues in unit disk graphs and efficient problem-solving methods.

A look at flow decomposition's role in RNA assembly and its advancements.

New methods enhance efficiency in sampling log-concave distributions within polytopes.

This paper discusses fairness in selecting candidates for institutions amid biased evaluations.

Learn how covers enhance efficiency in string processing and analysis.

This research explores efficient learning of Markov Random Fields using dynamic samples.

A novel compressor boosts GMRES performance in solving linear equations.

A new method improves the efficiency of GraphQL queries on knowledge graphs.

Researchers develop methods for better automated data wrangling code through context-rich examples.

A look at how advanced technologies can support legislative processes.

Learn simple methods for effective data joining and sampling.

Essential rules for preparing your paper for NeurIPS 2024 submission.

CAMAL combines machine learning and traditional methods to optimize LSM tree performance.

This paper examines how MongoDB optimizes query execution plans through unique methods.

This paper investigates fairness in blocking methods for entity matching systems.

Examining how LLMs are changing writing and speaking in academic settings.

RRD-Bio offers a centralized hub for over 2.5 million biomedical research resources.

A look into metal-organic frameworks and their growing significance in science.

A new approach to organizing data in low-temperature plasma research.

A system to streamline knowledge on Large Language Models for researchers.

Recommender systems can enhance access to historical documents in digital archives.

A framework to automate and improve scientific literature summaries for researchers.

Exploring the impact and issues of transformative agreements in academic publishing.

This study reveals the limits and structures of planar -complete graphs.

Exploring the structure and behavior of automata networks in various fields.

This study examines the process of reconfiguring spanning trees using matroid concepts.

Exploring various types and applications of matching problems in different fields.

Research expands Cohen's theorem to approximate spectral norms in Boolean functions.

AXE improves model performance while minimizing overflow in accumulator-aware quantization.

This study addresses multi-period facility location challenges and provides effective solutions.

A new method to analyze uncertain graphs and their centrality measures.

A study analyzing blockchain fault tolerance across five modern systems.

A new method combines Federated Learning and Adversarial Training for insider threat detection.

This research enhances RFA simulations by applying parallel computing techniques to reduce execution time.

CARAML offers a new way to assess AI hardware efficiency in machine learning tasks.

This article discusses privacy-focused data methods using federated learning and deep transfer hashing.

New method improves MRI analysis for dementia diagnosis using classical and quantum techniques.

RapidOMS offers a faster, more efficient approach to mass spectrometry analysis.

A new approach to training language models improves efficiency and performance.

A novel method enhances control of quantum systems through flexible pulse management.

LightSABRE enhances quantum circuit performance with speed and quality improvements.

Effective communication is vital for disaster response and recovery efforts.

Proxy contracts in Ethereum offer benefits but come with significant security concerns.

Research shows diverse circuits enhance quantum computing reliability.

PASS uses probabilistic computing to efficiently solve difficult challenges in various fields.

Exploring how generative AI can improve the Internet of Electric Vehicles.

A new method enhances decentralized load frequency control for electricity systems.

This article discusses a new method for generating correctness proofs in Rust.

This article discusses the Submonoid Membership problem in lamplighter groups and its implications.

A new method for faster string query evaluation using MSO logic.

An overview of finite automata, focusing on states, transitions, and reachability.

A new method enhances how robots plan and execute tasks effectively.

A framework for better understanding complex Markov chains using abstraction and sampling techniques.

Explore how Conway's cosmological theorem transforms number sequences through audioactive derivation.

Exploring formal methods to ensure the reliability of quantum technologies.

A new technique improves image realism by decoupling color and shape representation.

A new method to improve 3D rendering quality and detail.

A new method improves uncertainty estimation in computer graphics for realistic scene representations.

Cross RT streamlines graphics programming for various hardware platforms.

PanoCoach uses mixed reality to improve soccer coaching and player understanding.

A novel approach unites solid and fluid dynamics through particle flow maps.

A new technique improves accuracy and efficiency in creating 3D meshes.

A new technique improves hand tracking accuracy on capacitive touchscreens for remote collaboration.

New methods improve high-level synthesis through efficient design space exploration.

CARAML offers a new way to assess AI hardware efficiency in machine learning tasks.

RapidOMS offers a faster, more efficient approach to mass spectrometry analysis.

Examining firmware vulnerabilities and the tools to enhance security.

New architecture enhances large language model performance on edge devices.

PASS uses probabilistic computing to efficiently solve difficult challenges in various fields.

Robot dogs may transform construction site monitoring and data collection.

Lowering calculation precision without losing accuracy using R2F2 technology.

A new system assists designers with actionable feedback on data visualizations.

Learn how VR can assist non-native speakers in managing social anxiety.

A new mixed reality system improves ultrasound exams in remote areas.

Study reveals hand gestures can indicate feelings and cognitive effort in virtual reality.

RADER system improves robotic learning through safe demonstrations in extended reality.

This study reveals how aspect ratio impacts data interpretation in parallel coordinate plots.

Researchers use language models to simplify vocabulary learning with mnemonics.

PanoCoach uses mixed reality to improve soccer coaching and player understanding.

Examining the role of LMMs in transforming search capabilities with text and images.

This article examines exposure bias and its effects on content recommendations.

Exploring effective methods for identifying product features in e-commerce.

A new method enhances language model performance by streamlining external information.

Improve customer engagement with targeted promotions that respect business limits.

A system that accurately suggests beauty products based on ingredients and skin needs.

SemDI enhances accuracy in identifying event causality using context.

Explore methods to improve user engagement predictions through data augmentation.

Knowledge is expanding steadily, not as rapidly as publications suggest.

Effective communication is vital for disaster response and recovery efforts.

Exploring how brain responses affect our understanding of language.

A new approach enhances federated learning processes for better data transmission.

This article examines how UAVs enhance communication and energy collection in IoT networks.

A new method improves wavelet filter bank design for signal processing.

WAFeL improves device collaboration in federated learning while enhancing efficiency.

Developing adaptive trial designs to improve treatment effectiveness and patient care.

A look into functions, derivatives, and their interconnectedness in everyday scenarios.

Explore the significance of covering spaces in algebraic topology and their applications.

Exploring new methods to improve proof verification in software engineering.

A framework for analyzing concurrent programs with probabilistic outcomes.

Examining propositional equality's role in type theory and its implications.

A new framework aims to enhance reliability and clarity in AI reasoning.

Examining the relationship between mathematical proofs and geometric spaces.

Improving tools to check if loops in programs will finish running.

A new method enhances data cleaning for underwater mapping tools.

New technique enhances network analysis using approximate equitable partitions.

New methods improve high-level synthesis through efficient design space exploration.

Explore how the brain processes information, memories, and emotions.

Examining how improvements in decision trees can enhance coding theory methods.

A new method improves time series analysis using symbolic regression and tree search techniques.

A method to update large language models efficiently and accurately.

A new method improves the safety of autonomous vehicles in risky scenarios.

Forester simplifies machine learning for R users with a user-friendly package.

Learn how the funnel method simplifies solving constrained optimization challenges.

Improving simulations of multiphase fluid flows using modern GPU technology.

HypersurfaceRegions.jl helps researchers analyze complex mathematical structures.

QHyper simplifies the use of quantum computing for combinatorial optimization tasks.

A simple guide to graphs, nodes, edges, and distances in real life.

A toolbox offering efficient methods for solving complex movement and change equations.

Learn how an algorithm simplifies complex optimization challenges.

How Connected and Autonomous Vehicles will impact daily commutes and traffic flow.

A new framework enhances how language models engage through iterative prompts.

Research shows improved techniques for pathfinding with multiple agents in shared spaces.

A new method improves fairness and fund utilization in community budgeting.

Exploring various types and applications of matching problems in different fields.

A new system encourages diverse perspectives in artificial intelligence discussions.

A new method boosts material handling efficiency using multi-agent reinforcement learning.

A method for estimating sensor objectives amidst noisy observations.

A new dataset aims to enhance multimodal reasoning in language models.

Improved methods for boundary detection enhance CAD modeling from 3D scans.

A new approach enhances video question answering through scene text recognition.

Llama-AVSR merges audio and visual inputs for enhanced speech recognition accuracy.

A new system for creating dance camera movements synchronized with music.

Teams compete to improve methods for predicting video attention.

A new method combining models to improve unsupervised domain adaptation in segmentation tasks.

A new model creates audio that matches video, enhancing media experiences.

Using centrality to enhance data sharing in vehicular sensor networks.

Exploring the future of data and communication through advanced satellite networks and quantum computing.

Examining the impact of Topics API on digital advertising and competition.

Combining blockchain and IPFS offers a secure and efficient solution for version control.

Vercel automates network checks and fixes with speed and efficiency.

Exploring the role of Semantic Communication and security in next-gen networks.

New methods using language models enhance data processing in Earth observation systems.

RLSR-Routing improves Internet traffic routing using reinforcement learning for better efficiency.

Explore how the brain processes information, memories, and emotions.

A new method improves understanding of clustering results through counterfactual explanations.

Exploring the role of traveling waves in brain function and artificial intelligence.

Combining Federated Learning and quantum technology promises safer data handling in AI.

Examining the role of reproducibility in Quality-Diversity algorithms for real-world applications.

Analyzing the application of DBSCAN in neuromorphic systems for efficient data processing.

This article examines GAMs as a solution for predictive performance and interpretability.

Research merges evolutionary algorithms and quantum computing to tackle the Max-Cut problem.

A deep dive into neural networks for total variation minimization in images.

New techniques improve light simulation in advanced materials with complex structures.

This study examines how collapsing vapor bubbles affect nearby solid materials.

An overview of the implicit Euler method and its applications in differential inversion.

New techniques aim to improve prostate cancer treatment through data-driven models.

A novel method using neural networks to compute eigenvalues in large matrices.

Exploring how KANs improve solutions for optimal control challenges across various fields.

Explore the significance and uses of block structured matrices in math and engineering.

A detailed look at CXL memory performance and optimization techniques.

A look at FIFO and Round Robin scheduling methods in computing systems.

GPUVM enhances GPU memory management for faster data processing.

A unified API streamlines communication with NVMe devices for developers.

EDM transforms memory disaggregation, achieving rapid data access and efficiency.

HotMem speeds up memory reclamation in serverless setups for improved performance.

Chameleon system enhances language model performance by managing resources effectively.

Exploring the transition from blocking to asynchronous I/O methods.

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 study analyzing blockchain fault tolerance across five modern systems.

This research enhances RFA simulations by applying parallel computing techniques to reduce execution time.

CARAML offers a new way to assess AI hardware efficiency in machine learning tasks.

A novel compressor boosts GMRES performance in solving linear equations.

A study comparing LLMs Mistral and LLaMa on different GPUs.

Discover how causal relationships impact decisions in various fields.

A look at how LFRic performs on different supercomputers for weather predictions.

Researchers tackled real-world data search challenges at NeurIPS 2023.

A look at types, contexts, and proofs in programming languages.

Introducing an innovative proof assistant that enhances user interaction.

Exploring new methods to improve proof verification in software engineering.

Silq simplifies quantum programming with user-friendly features.

Exploring the importance of accountability in software systems affecting social and legal outcomes.

Improving tools to check if loops in programs will finish running.

Exploring how guarded recursion enhances infinite data structures in programming.

This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.

New research enhances robotic surgery methods for improved precision and safety.

New concept assesses image feature usefulness for improved computer vision tasks.

A new mixed reality system improves ultrasound exams in remote areas.

MGSO enhances real-time mapping and localization for robots using single-camera technology.

Innovative framework enhances real-time interaction between robots and humans.

A new controller adapts to different quadcopters and conditions effortlessly.

RADER system improves robotic learning through safe demonstrations in extended reality.

Research shows how robots can better navigate using floor plans and vision language models.

New technique enhances network analysis using approximate equitable partitions.

An overview of ADHD, its causes, symptoms, and effective treatment options.

Knowledge is expanding steadily, not as rapidly as publications suggest.

Examining fairness and bias in social media content recommendations.

Examining the impact of Topics API on digital advertising and competition.

A study reveals the rise of cybercrime activity on Telegram channels.

New models aim to combat harmful language online through advanced detection techniques.

Study reveals coordinated misinformation efforts during the upcoming presidential election.

RepoGenReflex enhances code completion by learning from past experiences and providing relevant suggestions.

This article discusses a new method for generating correctness proofs in Rust.

PromSec optimizes prompts for generating secure and functional code with LLMs.

Examining how biases in LLMs affect software team recruitment.

Research shows how auxiliary functions enhance code generation in instruction-tuned models.

A study examining student challenges and strategies in software modelling tasks.

A new method enhances software bug detection using LLM agents and a divide-and-conquer strategy.