New methods improve high-level synthesis through efficient design space exploration.
Yunsheng Bai, Atefeh Sohrabizadeh, Zijian Ding
― 5 min read
Cutting edge science explained simply
New methods improve high-level synthesis through efficient design space exploration.
Yunsheng Bai, Atefeh Sohrabizadeh, Zijian Ding
― 5 min read
Explore how the brain processes information, memories, and emotions.
Volker Tresp, Hang Li
― 7 min read
A new method enhances how businesses personalize customer interactions using LLMs.
Jiarui Zhang
― 5 min read
Research focuses on improving AI's ability to recognize actions in videos.
Anastasia Anichenko, Frank Guerin, Andrew Gilbert
― 6 min read
A new method combines Federated Learning and Adversarial Training for insider threat detection.
R G Gayathri, Atul Sajjanhar, Md Palash Uddin
― 6 min read
This article discusses a new method for generating correctness proofs in Rust.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu
― 5 min read
A method to update large language models efficiently and accurately.
Akshaj Kumar Veldanda, Shi-Xiong Zhang, Anirban Das
― 6 min read
A new method improves the safety of autonomous vehicles in risky scenarios.
Xuan Cai, Zhiyong Cui, Xuesong Bai
― 5 min read
A new method enhances how businesses personalize customer interactions using LLMs.
Jiarui Zhang
― 5 min read
A method to update large language models efficiently and accurately.
Akshaj Kumar Veldanda, Shi-Xiong Zhang, Anirban Das
― 6 min read
Examining the role of LMMs in transforming search capabilities with text and images.
Dongzhi Jiang, Renrui Zhang, Ziyu Guo
― 6 min read
Introducing a dataset to assess the performance of RAG systems in real-world scenarios.
Satyapriya Krishna, Kalpesh Krishna, Anhad Mohananey
― 5 min read
LogicPro enhances logical reasoning in AI using algorithm problems and coded examples.
Jin Jiang, Yuchen Yan, Yang Liu
― 5 min read
Exploring Reverse Preference Attacks and their impact on model safety.
Domenic Rosati, Giles Edkins, Harsh Raj
― 5 min read
Utilizing smaller models to expedite training of larger language models.
Mohammad Samragh, Iman Mirzadeh, Keivan Alizadeh Vahid
― 5 min read
Enhancing translation accuracy for e-commerce product titles using innovative methods.
Bryan Zhang, Taichi Nakatani, Stephan Walter
― 5 min read
Examining how improvements in decision trees can enhance coding theory methods.
Caleb Koch, Carmen Strassle, Li-Yang Tan
― 5 min read
New insights into Kolmogorov complexity enhance data compression methods.
Shuichi Hirahara, Zhenjian Lu, Mikito Nanashima
― 5 min read
Research reveals new insights into group multiplication and its communication complexity.
Harm Derksen, Chin Ho Lee, Emanuele Viola
― 6 min read
Explore temporal VCSPs and their significance in optimization problems.
Manuel Bodirsky, Édouard Bonnet, Žaneta Semanišinová
― 5 min read
A look into the Max-Cut problem and its applications in various fields.
Jaroslav Garvardt, Niels Grüttemeier, Christian Komusiewicz
― 5 min read
Research unveils faster mixing methods in random reversible circuits for improved cryptography.
William Gay, William He, Nicholas Kocurek
― 4 min read
Investigating how vertex merging impacts graph properties and classifications.
Laure Morelle, Ignasi Sau, Dimitrios M. Thilikos
― 6 min read
Analyzing line-based Dial-a-Ride and MinTurn problems for better transport efficiency.
Antonio Lauerbach, Kendra Reiter, Marie Schmidt
― 5 min read
An overview of the implicit Euler method and its applications in differential inversion.
Uwe Naumann
― 5 min read
A new data-driven approach enhances etch rate predictions for better semiconductor production.
Abhijit Pranav Pamarty, Robert Neuweiler, Le Quyen Do
― 4 min read
A study on neural operators' ability to enhance weather data resolution.
Saumya Sinha, Brandon Benton, Patrick Emami
― 8 min read
New method combines AI and diffusion models for innovative material designs.
Jaewan Park, Shashank Kushwaha, Junyan He
― 6 min read
This study evaluates the effectiveness of Bidirectional Multivariate LSTM in stock prediction.
Omkar Oak, Rukmini Nazre, Rujuta Budke
― 5 min read
A new framework streamlines microstructure design using natural language commands.
Nikita Kartashov, Nikolaos N. Vlassis
― 7 min read
Combining optimal transport and structural models improves single-cell data interpretation.
Tsz Pan Tong, Aoran Wang, George Panagopoulos
― 5 min read
Learn how centrifugal clutches enhance automatic transmission performance in vehicles.
Bo-Yi Lin, Kai Chun Lin
― 5 min read
A study on dynamic issues in unit disk graphs and efficient problem-solving methods.
Shinwoo An, Kyungjin Cho, Leo Jang
― 6 min read
Learn how to draw bipartite planar graphs using parallel methods.
Naman Jain
― 5 min read
HypersurfaceRegions.jl helps researchers analyze complex mathematical structures.
Paul Breiding, Bernd Sturmfels, Kexin Wang
― 5 min read
A look into minimum spanning trees and their significance in various fields.
Afrouz Jabal Ameli, Faezeh Motiei, Morteza Saghafian
― 6 min read
A look into clustered planarity and linear saturation in graph representation.
Giordano Da Lozzo, Robert Ganian, Siddharth Gupta
― 5 min read
A new algorithm enhances convex hull finding with improved efficiency.
Michael T. Goodrich, Ryuto Kitagawa
― 4 min read
Researchers develop methods to interpret crater shapes in space images.
Michela Mancini, Ava Thrasher, Carl De Vries
― 7 min read
A look into how our brains manage short-term memory with neural networks.
Xiaoxuan Lei, Takuya Ito, Pouya Bashivan
― 5 min read
Exploring new economic models for data using quantum communication principles.
Dar Gilboa, Siddhartha Jain, Jarrod McClean
― 7 min read
MEGA-PT improves penetration testing effectiveness and adaptability for better cybersecurity.
Yunfei Ge, Quanyan Zhu
― 5 min read
A look at how auction formats influence bidding behavior and outcomes.
Fabian R. Pieroth, Tuomas Sandholm
― 7 min read
Learn key trading strategies in a competitive environment.
Neil A. Chriss
― 6 min read
Examining trade-intent auctions' fairness and efficiency in modern finance.
Andrea Canidio, Felix Henneke
― 7 min read
A new method improves fairness and fund utilization in community budgeting.
Georgios Papasotiropoulos, Seyedeh Zeinab Pishbin, Oskar Skibski
― 6 min read
Exploring how friendships and enmities shape group stability.
TJ Schlueter, Makoto Yokoo
― 6 min read
Exploring various types and applications of matching problems in different fields.
Gergely Csáji
― 5 min read
New concept assesses image feature usefulness for improved computer vision tasks.
Yash Turkar, Timothy Chase, Christo Aluckal
― 6 min read
A new method for better table recognition in digital data processing.
Zhenrong Zhang, Shuhang Liu, Pengfei Hu
― 4 min read
A new method enhances data cleaning for underwater mapping tools.
Li Ling, Yiping Xie, Nils Bore
― 6 min read
A new approach to enhance classifier performance in complex data.
Chengkun Sun, Jinqian Pan, Russell Stevens Terry
― 5 min read
A new lightweight method for visual-inertial odometry enhances performance in challenging environments.
Jinho Park, Se Young Chun, Mingoo Seok
― 6 min read
Research focuses on improving AI's ability to recognize actions in videos.
Anastasia Anichenko, Frank Guerin, Andrew Gilbert
― 6 min read
New method uses facial movements to assess student focus during remote education.
Aimar Silvan Ortubay, Lucas C. Parra, Jens Madsen
― 6 min read
AI helps create synthetic CTA images from TOF-MRA scans, improving diagnosis.
Alexander Koch, Orhun Utku Aydin, Adam Hilbert
― 6 min read
This study examines how personalized stories engage diverse readers.
Sarfaroz Yunusov, Hamza Sidat, Ali Emami
― 5 min read
Researchers introduce the STOP dataset to analyze bias in language models.
Robert Morabito, Sangmitra Madhusudan, Tyler McDonald
― 5 min read
Examining how LLMs are changing writing and speaking in academic settings.
Mingmeng Geng, Caixi Chen, Yanru Wu
― 6 min read
A new AI tool improves communication between teachers and students in large classes.
Anvit Sinha, Shruti Goyal, Zachary Sy
― 6 min read
Enhancing access to primary healthcare in South Asia for better health outcomes.
Rusham Elahi, Zia Tahseen, Tehreem Fatima
― 5 min read
Examining the pitfalls of scaling AI models beyond necessity.
Gaël Varoquaux, Alexandra Sasha Luccioni, Meredith Whittaker
― 8 min read
This paper discusses fairness in selecting candidates for institutions amid biased evaluations.
L. Elisa Celis, Amit Kumar, Nisheeth K. Vishnoi
― 7 min read
Examining the impact of Topics API on digital advertising and competition.
Jesús Romero, Ángel Cuevas, Rubén Cuevas
― 6 min read
A new method combines Federated Learning and Adversarial Training for insider threat detection.
R G Gayathri, Atul Sajjanhar, Md Palash Uddin
― 6 min read
A new AI-driven platform aims to enhance security in healthcare.
Patrizia Heinl, Andrius Patapovas, Michael Pilgermann
― 6 min read
This article discusses privacy-focused data methods using federated learning and deep transfer hashing.
Manuel Röder, Frank-Michael Schleif
― 5 min read
Companies face hidden privacy threats in federated learning due to data distribution shifts.
David Brunner, Alessio Montuoro
― 6 min read
Examining efficient attacks on Automatic Modulation Classification using the Golden Ratio.
Deepsayan Sadhukhan, Nitin Priyadarshini Shankar, Sheetal Kalyani
― 5 min read
Proxy contracts in Ethereum offer benefits but come with significant security concerns.
Cheng-Kang Chen, Wen-Yi Chu, Muoi Tran
― 7 min read
This article examines a fresh approach to secure public-key encryption.
Robert Hines
― 5 min read
Combining Federated Learning and quantum technology promises safer data handling in AI.
Siddhant Dutta, Pavana P Karanth, Pedro Maciel Xavier
― 6 min read
Examining how improvements in decision trees can enhance coding theory methods.
Caleb Koch, Carmen Strassle, Li-Yang Tan
― 5 min read
A study on dynamic issues in unit disk graphs and efficient problem-solving methods.
Shinwoo An, Kyungjin Cho, Leo Jang
― 6 min read
A look at flow decomposition's role in RNA assembly and its advancements.
Bashar Ahmed, Siddharth Singh Rana, Ujjwal
― 5 min read
New methods enhance efficiency in sampling log-concave distributions within polytopes.
Oren Mangoubi, Nisheeth K. Vishnoi
― 5 min read
This paper discusses fairness in selecting candidates for institutions amid biased evaluations.
L. Elisa Celis, Amit Kumar, Nisheeth K. Vishnoi
― 7 min read
Learn how covers enhance efficiency in string processing and analysis.
Jakub Radoszewski, Wiktor Zuba
― 5 min read
This research explores efficient learning of Markov Random Fields using dynamic samples.
Jason Gaitonde, Ankur Moitra, Elchanan Mossel
― 6 min read
A novel compressor boosts GMRES performance in solving linear equations.
Thomas Grützmacher, Robert Underwood, Sheng Di
― 6 min read
A new method improves the efficiency of GraphQL queries on knowledge graphs.
Nikolaos Karalis, Alexander Bigerl, Axel-Cyrille Ngonga Ngomo
― 7 min read
Researchers develop methods for better automated data wrangling code through context-rich examples.
Junjie Huang, Daya Guo, Chenglong Wang
― 6 min read
A look at how advanced technologies can support legislative processes.
Andrea Colombo
― 6 min read
Learn simple methods for effective data joining and sampling.
Florent Capelli, Oliver Irwin, Sylvain Salvati
― 5 min read
Essential rules for preparing your paper for NeurIPS 2024 submission.
Lindsey Linxi Wei, Guorui Xiao, Magdalena Balazinska
― 5 min read
CAMAL combines machine learning and traditional methods to optimize LSM tree performance.
Weiping Yu, Siqiang Luo, Zihao Yu
― 7 min read
This paper examines how MongoDB optimizes query execution plans through unique methods.
Dawei Tao, Enqi Liu, Sidath Randeni Kadupitige
― 6 min read
This paper investigates fairness in blocking methods for entity matching systems.
Mohammad Hossein Moslemi, Harini Balamurugan, Mostafa Milani
― 7 min read
Examining how LLMs are changing writing and speaking in academic settings.
Mingmeng Geng, Caixi Chen, Yanru Wu
― 6 min read
RRD-Bio offers a centralized hub for over 2.5 million biomedical research resources.
Li Zhang, Mengting Sun, Chong Jiang
― 6 min read
A look into metal-organic frameworks and their growing significance in science.
Xintong Zhao, Kyle Langlois, Jacob Furst
― 4 min read
A new approach to organizing data in low-temperature plasma research.
Ihda Chaerony Siffa, Robert Wagner, Laura Vilardell Scholten
― 5 min read
A system to streamline knowledge on Large Language Models for researchers.
Shengwei Tian, Lifeng Han, Goran Nenadic
― 6 min read
Recommender systems can enhance access to historical documents in digital archives.
Florian Atzenhofer-Baumgartner, Bernhard C. Geiger, Georg Vogeler
― 6 min read
A framework to automate and improve scientific literature summaries for researchers.
Hamed Babaei Giglou, Jennifer D'Souza, Sören Auer
― 4 min read
Exploring the impact and issues of transformative agreements in academic publishing.
Laura Rothfritz, W. Benedikt Schmal, Ulrich Herb
― 7 min read
This study reveals the limits and structures of planar -complete graphs.
Susobhan Bandopadhyay, Sagnik Sen, S Taruni
― 5 min read
Exploring the structure and behavior of automata networks in various fields.
Florian Bridoux, Aymeric Picard Marchetto, Adrien Richard
― 5 min read
This study examines the process of reconfiguring spanning trees using matroid concepts.
Tesshu Hanaka, Yuni Iwamasa, Yasuaki Kobayashi
― 6 min read
Exploring various types and applications of matching problems in different fields.
Gergely Csáji
― 5 min read
Research expands Cohen's theorem to approximate spectral norms in Boolean functions.
Tsun-Ming Cheung, Hamed Hatami, Rosie Zhao
― 5 min read
AXE improves model performance while minimizing overflow in accumulator-aware quantization.
Ian Colbert, Fabian Grob, Giuseppe Franco
― 5 min read
This study addresses multi-period facility location challenges and provides effective solutions.
Christof Brandstetter, Markus Sinnl
― 5 min read
A new method to analyze uncertain graphs and their centrality measures.
Daniel Ketels
― 6 min read
A study analyzing blockchain fault tolerance across five modern systems.
Vincent Gramoli, Rachid Guerraoui, Andrei Lebedev
― 5 min read
A new method combines Federated Learning and Adversarial Training for insider threat detection.
R G Gayathri, Atul Sajjanhar, Md Palash Uddin
― 6 min read
This research enhances RFA simulations by applying parallel computing techniques to reduce execution time.
Marcelo Cogo Miletto, Claudio Schepke, Lucas Mello Schnorr
― 8 min read
CARAML offers a new way to assess AI hardware efficiency in machine learning tasks.
Chelsea Maria John, Stepan Nassyr, Carolin Penke
― 5 min read
This article discusses privacy-focused data methods using federated learning and deep transfer hashing.
Manuel Röder, Frank-Michael Schleif
― 5 min read
New method improves MRI analysis for dementia diagnosis using classical and quantum techniques.
Kuan-Cheng Chen, Yi-Tien Li, Tai-Yu Li
― 6 min read
RapidOMS offers a faster, more efficient approach to mass spectrometry analysis.
Sumukh Pinge, Weihong Xu, Wout Bittremieux
― 5 min read
A new approach to training language models improves efficiency and performance.
Yinmin Zhong, Zili Zhang, Bingyang Wu
― 7 min read
A novel method enhances control of quantum systems through flexible pulse management.
Aniket S. Dalvi, Leon Riesebos, Jacob Whitlow
― 5 min read
LightSABRE enhances quantum circuit performance with speed and quality improvements.
Henry Zou, Matthew Treinish, Kevin Hartman
― 4 min read
Effective communication is vital for disaster response and recovery efforts.
Mohammad Shehab, Mustafa Kishk, Maurilio Matracia
― 6 min read
Proxy contracts in Ethereum offer benefits but come with significant security concerns.
Cheng-Kang Chen, Wen-Yi Chu, Muoi Tran
― 7 min read
Research shows diverse circuits enhance quantum computing reliability.
Owain Parry, John Clark, Phil McMinn
― 5 min read
PASS uses probabilistic computing to efficiently solve difficult challenges in various fields.
Saavan Patel, Philip Canoza, Adhiraj Datar
― 6 min read
Exploring how generative AI can improve the Internet of Electric Vehicles.
Hanwen Zhang, Dusit Niyato, Wei Zhang
― 7 min read
A new method enhances decentralized load frequency control for electricity systems.
Xianxian Zhao, Jianglin Lan
― 5 min read
This article discusses a new method for generating correctness proofs in Rust.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu
― 5 min read
This article discusses the Submonoid Membership problem in lamplighter groups and its implications.
Ruiwen Dong
― 7 min read
A new method for faster string query evaluation using MSO logic.
Pierre Bourhis, Florent Capelli, Stefan Mengel
― 4 min read
An overview of finite automata, focusing on states, transitions, and reachability.
David Fernando Casas Torres
― 4 min read
A new method enhances how robots plan and execute tasks effectively.
Xuan Lin, Jiming Ren, Samuel Coogan
― 5 min read
A framework for better understanding complex Markov chains using abstraction and sampling techniques.
Benoît Barbot, Patricia Bouyer, Serge Haddad
― 6 min read
Explore how Conway's cosmological theorem transforms number sequences through audioactive derivation.
Pierre Lairez, Aleksandr Storozhenko
― 5 min read
Exploring formal methods to ensure the reliability of quantum technologies.
Ittoop Vergheese Puthoor
― 5 min read
A new technique improves image realism by decoupling color and shape representation.
Victor Rong, Jingxiang Chen, Sherwin Bahmani
― 5 min read
A new method to improve 3D rendering quality and detail.
Letian Huang, Jie Guo, Jialin Dan
― 5 min read
A new method improves uncertainty estimation in computer graphics for realistic scene representations.
Linjie Lyu, Ayush Tewari, Marc Habermann
― 5 min read
Cross RT streamlines graphics programming for various hardware platforms.
Vladimir Frolov, Vadim Sanzharov, Garifullin Albert
― 5 min read
PanoCoach uses mixed reality to improve soccer coaching and player understanding.
Andrew Kang, Hanspeter Pfister, Tica Lin
― 6 min read
A novel approach unites solid and fluid dynamics through particle flow maps.
Duowen Chen, Zhiqi Li, Junwei Zhou
― 5 min read
A new technique improves accuracy and efficiency in creating 3D meshes.
Jisung Hwang, Minhyuk Sung
― 6 min read
A new technique improves hand tracking accuracy on capacitive touchscreens for remote collaboration.
Xinshuang Liu, Yizhong Zhang, Xin Tong
― 6 min read
New methods improve high-level synthesis through efficient design space exploration.
Yunsheng Bai, Atefeh Sohrabizadeh, Zijian Ding
― 5 min read
CARAML offers a new way to assess AI hardware efficiency in machine learning tasks.
Chelsea Maria John, Stepan Nassyr, Carolin Penke
― 5 min read
RapidOMS offers a faster, more efficient approach to mass spectrometry analysis.
Sumukh Pinge, Weihong Xu, Wout Bittremieux
― 5 min read
Examining firmware vulnerabilities and the tools to enhance security.
Mahsa Farahani, Ghazal Shenavar, Ali Hosseinghorban
― 7 min read
New architecture enhances large language model performance on edge devices.
Zhongkai Yu, Shengwen Liang, Tianyun Ma
― 5 min read
PASS uses probabilistic computing to efficiently solve difficult challenges in various fields.
Saavan Patel, Philip Canoza, Adhiraj Datar
― 6 min read
Robot dogs may transform construction site monitoring and data collection.
Miguel Arturo Vega Torres, Fabian Pfitzner
― 5 min read
Lowering calculation precision without losing accuracy using R2F2 technology.
Cong "Callie" Hao
― 6 min read
A new system assists designers with actionable feedback on data visualizations.
Sungbok Shin, Sanghyun Hong, Niklas Elmqvist
― 5 min read
Learn how VR can assist non-native speakers in managing social anxiety.
Siyi Zhang, Ayesha Khalid
― 5 min read
A new mixed reality system improves ultrasound exams in remote areas.
Ryan Yeung, David Black, Patrick B. Chen
― 6 min read
Study reveals hand gestures can indicate feelings and cognitive effort in virtual reality.
Phoebe Chua, Prasanth Sasikumar, Yadeesha Weerasinghe
― 5 min read
RADER system improves robotic learning through safe demonstrations in extended reality.
Isaac Ngui, Courtney McBeth, Grace He
― 6 min read
This study reveals how aspect ratio impacts data interpretation in parallel coordinate plots.
Hugh Garner, Sara Johansson Fernstad
― 4 min read
Researchers use language models to simplify vocabulary learning with mnemonics.
Jaewook Lee, Hunter McNichols, Andrew Lan
― 6 min read
PanoCoach uses mixed reality to improve soccer coaching and player understanding.
Andrew Kang, Hanspeter Pfister, Tica Lin
― 6 min read
Examining the role of LMMs in transforming search capabilities with text and images.
Dongzhi Jiang, Renrui Zhang, Ziyu Guo
― 6 min read
This article examines exposure bias and its effects on content recommendations.
Thorsten Krause, Alina Deriyeva, Jan Heinrich Beinke
― 5 min read
Exploring effective methods for identifying product features in e-commerce.
Kassem Sabeh, Mouna Kacimi, Johann Gamper
― 6 min read
A new method enhances language model performance by streamlining external information.
Dongwon Jung, Qin Liu, Tenghao Huang
― 7 min read
Improve customer engagement with targeted promotions that respect business limits.
Qiqi Li, Roopali Singh, Charin Polpanumas
― 5 min read
A system that accurately suggests beauty products based on ingredients and skin needs.
Siliang Liu, Rahul Suresh, Amin Banitalebi-Dehkordi
― 5 min read
SemDI enhances accuracy in identifying event causality using context.
Haoran Li, Qiang Gao, Hongmei Wu
― 5 min read
Explore methods to improve user engagement predictions through data augmentation.
Yizhou Dang, Enneng Yang, Yuting Liu
― 5 min read
Knowledge is expanding steadily, not as rapidly as publications suggest.
Huquan Kang, Luoyi Fu, Russell J. Funk
― 5 min read
Effective communication is vital for disaster response and recovery efforts.
Mohammad Shehab, Mustafa Kishk, Maurilio Matracia
― 6 min read
Exploring how brain responses affect our understanding of language.
Jiaxuan Li, Richard Futrell
― 6 min read
A new approach enhances federated learning processes for better data transmission.
Seyed Mohammad Azimi-Abarghouyi, Lav R. Varshney
― 7 min read
This article examines how UAVs enhance communication and energy collection in IoT networks.
Harris K. Armeniakos, Petros S. Bithas, Konstantinos Maliatsos
― 5 min read
A new method improves wavelet filter bank design for signal processing.
Youngmi Hur, Sung Joo Kim
― 5 min read
WAFeL improves device collaboration in federated learning while enhancing efficiency.
Seyed Mohammad Azimi-Abarghouyi, Leandros Tassiulas
― 7 min read
Developing adaptive trial designs to improve treatment effectiveness and patient care.
Gianmarco Caruso, Pavel Mozgunov
― 5 min read
A look into functions, derivatives, and their interconnectedness in everyday scenarios.
Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani
― 5 min read
Explore the significance of covering spaces in algebraic topology and their applications.
Jelle Wemmenhove, Cosmin Manea, Jim Portegies
― 6 min read
Exploring new methods to improve proof verification in software engineering.
Minghai Lu, Benjamin Delaware, Tianyi Zhang
― 7 min read
A framework for analyzing concurrent programs with probabilistic outcomes.
Renato Neves
― 7 min read
Examining propositional equality's role in type theory and its implications.
Andrea Laretto, Fosco Loregian, Niccolò Veltri
― 4 min read
A new framework aims to enhance reliability and clarity in AI reasoning.
Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary
― 7 min read
Examining the relationship between mathematical proofs and geometric spaces.
Davide Barbarossa
― 5 min read
Improving tools to check if loops in programs will finish running.
Shaowei Zhu, Zachary Kincaid
― 5 min read
A new method enhances data cleaning for underwater mapping tools.
Li Ling, Yiping Xie, Nils Bore
― 6 min read
New technique enhances network analysis using approximate equitable partitions.
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
― 5 min read
New methods improve high-level synthesis through efficient design space exploration.
Yunsheng Bai, Atefeh Sohrabizadeh, Zijian Ding
― 5 min read
Explore how the brain processes information, memories, and emotions.
Volker Tresp, Hang Li
― 7 min read
Examining how improvements in decision trees can enhance coding theory methods.
Caleb Koch, Carmen Strassle, Li-Yang Tan
― 5 min read
A new method improves time series analysis using symbolic regression and tree search techniques.
Yi Xie, Tianyu Qiu, Yun Xiong
― 5 min read
A method to update large language models efficiently and accurately.
Akshaj Kumar Veldanda, Shi-Xiong Zhang, Anirban Das
― 6 min read
A new method improves the safety of autonomous vehicles in risky scenarios.
Xuan Cai, Zhiyong Cui, Xuesong Bai
― 5 min read
Forester simplifies machine learning for R users with a user-friendly package.
Hubert Ruczyński, Anna Kozak
― 6 min read
Learn how the funnel method simplifies solving constrained optimization challenges.
David Kiessling, Sven Leyffer, Charlie Vanaret
― 6 min read
Improving simulations of multiphase fluid flows using modern GPU technology.
Benjamin Wilfong, Anand Radhakrishnan, Henry A. Le Berre
― 6 min read
HypersurfaceRegions.jl helps researchers analyze complex mathematical structures.
Paul Breiding, Bernd Sturmfels, Kexin Wang
― 5 min read
QHyper simplifies the use of quantum computing for combinatorial optimization tasks.
Tomasz Lamża, Justyna Zawalska, Kacper Jurek
― 5 min read
A simple guide to graphs, nodes, edges, and distances in real life.
R. Arnau, J. M. Calabuig, L. M. García Raffi
― 5 min read
A toolbox offering efficient methods for solving complex movement and change equations.
Lekan Molu
― 5 min read
Learn how an algorithm simplifies complex optimization challenges.
Aditya Gupta, Souvik Das, Debasish Chatterjee
― 5 min read
How Connected and Autonomous Vehicles will impact daily commutes and traffic flow.
Grzegorz Jamróz, Ahmet Onur Akman, Anastasia Psarou
― 6 min read
A new framework enhances how language models engage through iterative prompts.
Santosh Kumar Radha, Yasamin Nouri Jelyani, Ara Ghukasyan
― 8 min read
Research shows improved techniques for pathfinding with multiple agents in shared spaces.
Rishi Veerapaneni, Arthur Jakobsson, Kevin Ren
― 6 min read
A new method improves fairness and fund utilization in community budgeting.
Georgios Papasotiropoulos, Seyedeh Zeinab Pishbin, Oskar Skibski
― 6 min read
Exploring various types and applications of matching problems in different fields.
Gergely Csáji
― 5 min read
A new system encourages diverse perspectives in artificial intelligence discussions.
Joshua Ashkinaze, Emily Fry, Narendra Edara
― 3 min read
A new method boosts material handling efficiency using multi-agent reinforcement learning.
Xian Yeow Lee, Haiyan Wang, Daisuke Katsumata
― 7 min read
A method for estimating sensor objectives amidst noisy observations.
Luke Snow, Vikram Krishnamurthy
― 5 min read
A new dataset aims to enhance multimodal reasoning in language models.
Xiaotian Han, Yiren Jian, Xuefeng Hu
― 6 min read
Improved methods for boundary detection enhance CAD modeling from 3D scans.
Sk Aziz Ali, Mohammad Sadil Khan, Didier Stricker
― 6 min read
A new approach enhances video question answering through scene text recognition.
Sheng Zhou, Junbin Xiao, Xun Yang
― 6 min read
Llama-AVSR merges audio and visual inputs for enhanced speech recognition accuracy.
Umberto Cappellazzo, Minsu Kim, Honglie Chen
― 6 min read
A new system for creating dance camera movements synchronized with music.
Zixuan Wang, Jiayi Li, Xiaoyu Qin
― 4 min read
Teams compete to improve methods for predicting video attention.
Andrey Moskalenko, Alexey Bryncev, Dmitry Vatolin
― 5 min read
A new method combining models to improve unsupervised domain adaptation in segmentation tasks.
Roberto Alcover-Couso, Juan C. SanMiguel, Marcos Escudero-Viñolo
― 5 min read
A new model creates audio that matches video, enhancing media experiences.
Ilpo Viertola, Vladimir Iashin, Esa Rahtu
― 4 min read
Using centrality to enhance data sharing in vehicular sensor networks.
Douglas Moura, Geymerson S. Ramos, Andre L. L. Aquino
― 6 min read
Exploring the future of data and communication through advanced satellite networks and quantum computing.
Yu Zhang, Yanmin Gong, Lei Fan
― 5 min read
Examining the impact of Topics API on digital advertising and competition.
Jesús Romero, Ángel Cuevas, Rubén Cuevas
― 6 min read
Combining blockchain and IPFS offers a secure and efficient solution for version control.
Md. Rafid Haque, Sakibul Islam Munna, Sabbir Ahmed
― 7 min read
Vercel automates network checks and fixes with speed and efficiency.
Abhiram Singh, Sidharth Sharma, Ashwin Gumaste
― 6 min read
Exploring the role of Semantic Communication and security in next-gen networks.
Jiayi He, Xiaofeng Luo, Jiawen Kang
― 8 min read
New methods using language models enhance data processing in Earth observation systems.
Hong-fu Chou, Vu Nguyen Ha, Prabhu Thiruvasagam
― 6 min read
RLSR-Routing improves Internet traffic routing using reinforcement learning for better efficiency.
Wang Wumian, Sajal Saha, Anwar Haque
― 6 min read
Explore how the brain processes information, memories, and emotions.
Volker Tresp, Hang Li
― 7 min read
A new method improves understanding of clustering results through counterfactual explanations.
Aurora Spagnol, Kacper Sokol, Pietro Barbiero
― 8 min read
Exploring the role of traveling waves in brain function and artificial intelligence.
T. Anderson Keller, Lyle Muller, Terrence J. Sejnowski
― 6 min read
Combining Federated Learning and quantum technology promises safer data handling in AI.
Siddhant Dutta, Pavana P Karanth, Pedro Maciel Xavier
― 6 min read
Examining the role of reproducibility in Quality-Diversity algorithms for real-world applications.
Manon Flageat, Hannah Janmohamed, Bryan Lim
― 7 min read
Analyzing the application of DBSCAN in neuromorphic systems for efficient data processing.
Charles P. Rizzo, James S. Plank
― 6 min read
This article examines GAMs as a solution for predictive performance and interpretability.
Sven Kruschel, Nico Hambauer, Sven Weinzierl
― 7 min read
Research merges evolutionary algorithms and quantum computing to tackle the Max-Cut problem.
Francesca Schiavello, Edoardo Altamura, Ivano Tavernelli
― 5 min read
A deep dive into neural networks for total variation minimization in images.
Andreas Langer, Sara Behnamian
― 6 min read
New techniques improve light simulation in advanced materials with complex structures.
Zixuan Gao, Zhenli Xu, Zhiguo Yang
― 5 min read
This study examines how collapsing vapor bubbles affect nearby solid materials.
Niklas Kolbe, Siegfried Müller
― 5 min read
An overview of the implicit Euler method and its applications in differential inversion.
Uwe Naumann
― 5 min read
New techniques aim to improve prostate cancer treatment through data-driven models.
Elena Beretta, Cecilia Cavaterra, Matteo Fornoni
― 5 min read
A novel method using neural networks to compute eigenvalues in large matrices.
Ronald Katende
― 5 min read
Exploring how KANs improve solutions for optimal control challenges across various fields.
Alireza Afzal Aghaei
― 5 min read
Explore the significance and uses of block structured matrices in math and engineering.
Isabella Furci, Andrea Adriani, Stefano Serra-Capizzano
― 4 min read
A detailed look at CXL memory performance and optimization techniques.
Jinshu Liu, Hamid Hadian, Hanchen Xu
― 5 min read
A look at FIFO and Round Robin scheduling methods in computing systems.
Malobika Roy Choudhury, Akshat Mehrotra
― 5 min read
GPUVM enhances GPU memory management for faster data processing.
Nurlan Nazaraliyev, Elaheh Sadredini, Nael Abu-Ghazaleh
― 6 min read
A unified API streamlines communication with NVMe devices for developers.
Simon A. F. Lund, Vivek Shah
― 7 min read
EDM transforms memory disaggregation, achieving rapid data access and efficiency.
Weigao Su, Vishal Shrivastav
― 6 min read
HotMem speeds up memory reclamation in serverless setups for improved performance.
Orestis Lagkas Nikolos, Chloe Alverti, Stratos Psomadakis
― 5 min read
Chameleon system enhances language model performance by managing resources effectively.
Nikoleta Iliakopoulou, Jovan Stojkovic, Chloe Alverti
― 6 min read
Exploring the transition from blocking to asynchronous I/O methods.
Constantin Pestka, Marcus Paradies, Matthias Pohl
― 7 min read
A fresh approach offers deeper insights into cancer driver genes and their interactions.
Rodrigo Henrique Ramos, Yago Augusto Bardelotte, Cynthia de Oliveira Lage Ferreira
― 5 min read
Researchers create digital copies of animals for ethical and efficient studies.
Ali Youssef, Kristina Vodorezova, Yannick Aarts
― 7 min read
Discover how DNA could change the future of data storage.
Parv Agarwal, Thomas Heinis
― 8 min read
A study analyzing blockchain fault tolerance across five modern systems.
Vincent Gramoli, Rachid Guerraoui, Andrei Lebedev
― 5 min read
This research enhances RFA simulations by applying parallel computing techniques to reduce execution time.
Marcelo Cogo Miletto, Claudio Schepke, Lucas Mello Schnorr
― 8 min read
CARAML offers a new way to assess AI hardware efficiency in machine learning tasks.
Chelsea Maria John, Stepan Nassyr, Carolin Penke
― 5 min read
A novel compressor boosts GMRES performance in solving linear equations.
Thomas Grützmacher, Robert Underwood, Sheng Di
― 6 min read
A study comparing LLMs Mistral and LLaMa on different GPUs.
Yannis Bendi-Ouis, Dan Dutarte, Xavier Hinaut
― 7 min read
Discover how causal relationships impact decisions in various fields.
Ziyang Jiao, Ce Guo, Wayne Luk
― 8 min read
A look at how LFRic performs on different supercomputers for weather predictions.
J. Mark Bull, Andrew Coughtrie, Deva Deeptimahanti
― 5 min read
Researchers tackled real-world data search challenges at NeurIPS 2023.
Harsha Vardhan Simhadri, Martin Aumüller, Amir Ingber
― 6 min read
A look at types, contexts, and proofs in programming languages.
Kelvin Qian, Scott Smith, Brandon Stride
― 5 min read
Introducing an innovative proof assistant that enhances user interaction.
Jan Liam Verter, Tomas Petricek
― 5 min read
Exploring new methods to improve proof verification in software engineering.
Minghai Lu, Benjamin Delaware, Tianyi Zhang
― 7 min read
Silq simplifies quantum programming with user-friendly features.
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani
― 6 min read
Exploring the importance of accountability in software systems affecting social and legal outcomes.
Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi
― 5 min read
Improving tools to check if loops in programs will finish running.
Shaowei Zhu, Zachary Kincaid
― 5 min read
Exploring how guarded recursion enhances infinite data structures in programming.
Louis Lemonnier
― 9 min read
This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.
Beniamino Accattoli
― 10 min read
New research enhances robotic surgery methods for improved precision and safety.
Omar Rayyan, Vinicius Gonçalves, Nikolaos Evangeliou
― 7 min read
New concept assesses image feature usefulness for improved computer vision tasks.
Yash Turkar, Timothy Chase, Christo Aluckal
― 6 min read
A new mixed reality system improves ultrasound exams in remote areas.
Ryan Yeung, David Black, Patrick B. Chen
― 6 min read
MGSO enhances real-time mapping and localization for robots using single-camera technology.
Yan Song Hu, Nicolas Abboud, Muhammad Qasim Ali
― 5 min read
Innovative framework enhances real-time interaction between robots and humans.
Hamed Rahimi Nohooji, Holger Voos
― 5 min read
A new controller adapts to different quadcopters and conditions effortlessly.
Dingqi Zhang, Antonio Loquercio, Jerry Tang
― 7 min read
RADER system improves robotic learning through safe demonstrations in extended reality.
Isaac Ngui, Courtney McBeth, Grace He
― 6 min read
Research shows how robots can better navigate using floor plans and vision language models.
David DeFazio, Hrudayangam Mehta, Jeremy Blackburn
― 7 min read
New technique enhances network analysis using approximate equitable partitions.
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
― 5 min read
An overview of ADHD, its causes, symptoms, and effective treatment options.
Hakan T. Otal, Stephen V. Faraone, M. Abdullah Canbaz
― 3 min read
Knowledge is expanding steadily, not as rapidly as publications suggest.
Huquan Kang, Luoyi Fu, Russell J. Funk
― 5 min read
Examining fairness and bias in social media content recommendations.
Nathan Bartley, Kristina Lerman
― 6 min read
Examining the impact of Topics API on digital advertising and competition.
Jesús Romero, Ángel Cuevas, Rubén Cuevas
― 6 min read
A study reveals the rise of cybercrime activity on Telegram channels.
Sayak Saha Roy, Elham Pourabbas Vafa, Kobra Khanmohammadi
― 4 min read
New models aim to combat harmful language online through advanced detection techniques.
Tonmoy Roy, Md Robiul Islam, Asif Ahammad Miazee
― 6 min read
Study reveals coordinated misinformation efforts during the upcoming presidential election.
Marco Minici, Luca Luceri, Federico Cinus
― 6 min read
RepoGenReflex enhances code completion by learning from past experiences and providing relevant suggestions.
Jicheng Wang, Yifeng He, Hao Chen
― 5 min read
This article discusses a new method for generating correctness proofs in Rust.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu
― 5 min read
PromSec optimizes prompts for generating secure and functional code with LLMs.
Mahmoud Nazzal, Issa Khalil, Abdallah Khreishah
― 7 min read
Examining how biases in LLMs affect software team recruitment.
Takashi Nakano, Kazumasa Shimari, Raula Gaikovina Kula
― 5 min read
Research shows how auxiliary functions enhance code generation in instruction-tuned models.
Seonghyeon Lee, Suyeon Kim, Joonwon Jang
― 4 min read
A study examining student challenges and strategies in software modelling tasks.
Shalini Chakraborty, Javier Troya, Lola Burgueño
― 9 min read
A new method enhances software bug detection using LLM agents and a divide-and-conquer strategy.
Md Nakhla Rafi, Dong Jae Kim, Tse-Hsun Chen
― 7 min read
Proxy contracts in Ethereum offer benefits but come with significant security concerns.
Cheng-Kang Chen, Wen-Yi Chu, Muoi Tran
― 7 min read
RF-GML measures audio quality without needing a reference signal.
Arijit Biswas, Guanxin Jiang
― 5 min read
Learn how room equalization enhances audio experiences in various environments.
James Brooks-Park, Martin Bo Møller, Jan Østergaard
― 6 min read
StyleTTS-ZS offers efficient, high-quality speech synthesis without extensive speaker training.
Yinghao Aaron Li, Xilin Jiang, Cong Han
― 5 min read
A new method enhances synthesized ensemble singing by modeling singer interactions.
Hiroaki Hyodo, Shinnosuke Takamichi, Tomohiko Nakamura
― 5 min read
A new framework enhances speech recognition by modeling sound relationships effectively.
Zheng Nan, Ting Dang, Vidhyasaharan Sethu
― 4 min read
New masking method improves voice conversion by separating speaker identity from phonetics.
Philip H. Lee, Ismail Rasim Ulgen, Berrak Sisman
― 5 min read
Innovative techniques enhance music-text model training with limited resources.
Ilaria Manco, Justin Salamon, Oriol Nieto
― 7 min read
New methods enhance audio tagging for diverse music styles and cultural preservation.
Charilaos Papaioannou, Emmanouil Benetos, Alexandros Potamianos
― 6 min read
A new method for breaking down algebraic sets into equidimensional parts using Gröbner bases.
Rafael Mohr
― 6 min read
Combining fuzzy logic and symbolic regression for clearer fraud detection.
Wout Gerdes, Erman Acar
― 7 min read
AI models can help find vulnerabilities in cryptographic systems for better security.
Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini
― 7 min read
Learn how CAD simplifies complex shapes in math and its practical uses.
Lucas Michel, Pierre Mathonet, Naïm Zénaïdi
― 6 min read
Exploring how nature's intelligence shapes future AI systems.
Nima Dehghani, Michael Levin
― 6 min read
Botfip-LLM combines diverse data to enhance understanding in scientific computing.
Tianhao Chen, Pengbo Xu
― 6 min read
Learn how to tackle polynomial division safely and effectively.
Christopher W. Brown
― 5 min read
Examining if large language models mirror cultural moral viewpoints.
Mijntje Meijer, Hadi Mohammadi, Ayoub Bagheri
― 8 min read
New technique enhances network analysis using approximate equitable partitions.
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
― 5 min read
A new algorithm improves coordination among nodes under communication limits.
Apostolos I. Rikos, Wei Jiang, Themistoklis Charalambous
― 6 min read
A method to predict opponents' moves in simultaneous choice games.
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi
― 6 min read
Improving Q-learning performance amid corrupted feedback in real-world applications.
Sreejeet Maity, Aritra Mitra
― 6 min read
Exploring methods for understanding complex systems through collaborative agent learning.
Wenjian Hao, Lili Wang, Ayush Rai
― 5 min read
Exploring the issues of generalization in adaptive control systems.
Mohammad Ramadan, Evan Toler, Mihai Anitescu
― 6 min read
A cost-effective Software-Defined Array platform for wireless experimentation at millimeter-wave frequencies.
Ashwini Pondeycherry Ganesh, Anthony Perre, Alphan Sahin
― 5 min read
Research reveals how drones can be tricked into unsafe flight paths.
Amir Khazraei, Haocheng Meng, Miroslav Pajic
― 6 min read