Using mathematical models to enhance pandemic response planning.
Ari Gestetner, Buser Say
― 5 min read
Computer Science
RSSA new coding language aims to improve neural network training performance.
Augusto Seben da Rosa, Marlon Daniel Angeli, Jorge Aikes Junior
― 5 min read
A new system combines LLMs and symbolic AI for better accuracy and transparency.
Priyesh Vakharia, Abigail Kufeldt, Max Meyers
― 5 min read
A new approach to improve AI reasoning using multi-agent strategies.
Fatemeh Haji, Mazal Bethany, Maryam Tabar
― 8 min read
AI is transforming how researchers create virtual cells to study biological processes.
Charlotte Bunne, Yusuf Roohani, Yanay Rosen
― 6 min read
A method for visualizing data in federated learning while preserving privacy.
Ziwei Li, Xiaoqi Wang, Hong-You Chen
― 8 min read
A new method enhances conversation flow using multiple documents as sources.
Young-Suk Lee, Chulaka Gunasekara, Danish Contractor
― 6 min read
Data scientists predict truck part failure risks using machine learning techniques.
Mahmoud Rahat, Peyman Sheikholharam Mashhadi, Sławomir Nowaczyk
― 5 min read
A new method uses audio to enhance machine pronunciation accuracy.
Siqi Sun, Korin Richmond
― 5 min read
A new system combines LLMs and symbolic AI for better accuracy and transparency.
Priyesh Vakharia, Abigail Kufeldt, Max Meyers
― 5 min read
HEARTS aims to improve stereotype detection in text while ensuring explainability and sustainability.
Theo King, Zekun Wu, Adriano Koshiyama
― 6 min read
A new method enhances conversation flow using multiple documents as sources.
Young-Suk Lee, Chulaka Gunasekara, Danish Contractor
― 6 min read
Enhancing language models for better Arabic dialect generation and cultural awareness.
Basel Mousi, Nadir Durrani, Fatema Ahmad
― 5 min read
Exploring the GenSEC challenge to improve speech transcription accuracy.
Chao-Han Huck Yang, Taejin Park, Yuan Gong
― 4 min read
NVLM enhances AI's grasp of language and visuals for diverse tasks.
Wenliang Dai, Nayeon Lee, Boxin Wang
― 5 min read
A new method improves data selection for training language models.
Simon Yu, Liangyu Chen, Sara Ahmadian
― 9 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
Patient-specific models enhance understanding of heart blood flow and treatment strategies.
Karthik Menon, Andrea Zanoni, Owais Khan
― 6 min read
A new method enhances stability in SPH simulations for solid dynamics.
Shuaihao Zhang, Dong Wu, Sérgio D. N. Lourenço
― 6 min read
This article discusses uncertainty analysis in engineering through the FgPC method.
Lars de Jong, Paula Clasen, Michael Müller
― 4 min read
New AI techniques improve fluid dynamics modeling accuracy and efficiency.
Paul Garnier, Jonathan Viquerat, Elie Hachem
― 6 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
A look into the complexities of bichromatic spanning trees and their applications.
Hugo A. Akitaya, Ahmad Biniaz, Erik D. Demaine
― 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
CountChain uses blockchain to improve accuracy and trust in counting for online advertising.
Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle
― 6 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
Introducing GRIN, a new model for depth estimation using sparse data.
Vitor Guizilini, Pavel Tokmakov, Achal Dave
― 7 min read
VALO optimizes LiDAR detection for autonomous vehicles, balancing speed and accuracy.
Ahmet Soyyigit, Shuochao Yao, Heechul Yun
― 5 min read
NVLM enhances AI's grasp of language and visuals for diverse tasks.
Wenliang Dai, Nayeon Lee, Boxin Wang
― 5 min read
Using AI to improve early diagnosis of retinal diseases through enhanced imaging techniques.
Fatema-E- Jannat, Sina Gholami, Jennifer I. Lim
― 8 min read
RenderWorld uses visual data for safer self-driving technology.
Ziyang Yan, Wenzhen Dong, Yihua Shao
― 5 min read
OmniGen simplifies image creation tasks into a single model for all users.
Shitao Xiao, Yueze Wang, Junjie Zhou
― 5 min read
This work enhances CLIP's accuracy by addressing intra-modal overlap using lightweight adapters.
Alexey Kravets, Vinay Namboodiri
― 5 min read
LPT++ improves object recognition in classes with few examples through advanced techniques.
Bowen Dong, Pan Zhou, Wangmeng Zuo
― 6 min read
International cooperation is essential for AI safety standards.
Kristina Fort
― 6 min read
Exploring the benefits and challenges of AI companions that remember user interactions.
Eunhae Lee
― 6 min read
Examining the slow progress toward the UN's 2030 goals across countries.
Alberto García-Rodríguez, Matias Núñez, Miguel Robles Pérez
― 7 min read
ARTAI aims to assess societal impacts of recommender systems and enhance transparency.
Qin Ruan, Jin Xu, Ruihai Dong
― 6 min read
Exploring stakeholder perceptions of fairness in machine learning models amid multiplicity.
Anna P. Meyer, Yea-Seul Kim, Aws Albarghouthi
― 6 min read
This article reveals differences in treatment of male and female candidates in interviews.
Somonnoy Banerjee, Sujan Dutta, Soumyajit Datta
― 5 min read
Strong baseline models enhance the evaluation of ML systems in healthcare.
Nathan Wolfrath, Joel Wolfrath, Hengrui Hu
― 6 min read
This study examines how emotions impact our decisions to share personal information.
Elham Naghizade, Kaixin Ji, Benjamin Tag
― 5 min read
CountChain uses blockchain to improve accuracy and trust in counting for online advertising.
Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle
― 6 min read
This article explores how QUBO can enhance cryptographic solutions.
Gregory Morse, Tamás Kozsik, Oskar Mencer
― 4 min read
New AI tool enhances file type detection accuracy and efficiency.
Yanick Fratantonio, Luca Invernizzi, Loua Farah
― 6 min read
Explore methods to maintain accurate and reliable financial data.
Ignacio Brasca
― 5 min read
Introducing PAD-FT, a lightweight method to fight backdoor attacks without clean data.
Yukai Xu, Yujie Gu, Kouichi Sakurai
― 6 min read
Oblivious data structures protect sensitive information by hiding access patterns.
Thore Thießen, Jan Vahrenhold
― 5 min read
A new self-ensemble approach improves model resilience to adversarial changes.
Chang Dong, Zhengyang Li, Liangwei Zheng
― 6 min read
This study focuses on protecting quadrotors from cyber-attacks.
Samuel Belkadi
― 6 min read
Combining algorithms and machine learning enhances efficiency in handling data streams.
Rana Shahout, Ibrahim Sabek, Michael Mitzenmacher
― 7 min read
Learn how differential privacy enhances data analysis while safeguarding personal information.
Erzhi Liu, Jerry Yao-Chieh Hu, Alex Reneau
― 5 min read
Learn how adjacency labeling optimizes graph data storage and analysis.
Édouard Bonnet, Julien Duron, John Sylvester
― 6 min read
Oblivious data structures protect sensitive information by hiding access patterns.
Thore Thießen, Jan Vahrenhold
― 5 min read
An overview of joint embedding property and its implications for cographs and trees.
Daniel Carter
― 5 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 improve speed and relevance in finding similar user travel paths.
Sara Jarrad, Hubert Naacke, Stephane Gancarski
― 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
A new perspective on how scholars decide where to publish their work.
Teddy Lazebnik, Shir Aviv-Reuven, Ariel Rosenfeld
― 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
Learn how digraphs improve refueling station placement for electric vehicles.
Lukas Dijkstra, Andrei Gagarin, Padraig Corcoran
― 6 min read
A look at how sparse graphs relate to their line graphs and properties.
Sevvandi Kandanaarachchi, Cheng Soon Ong
― 5 min read
Learn how adjacency labeling optimizes graph data storage and analysis.
Édouard Bonnet, Julien Duron, John Sylvester
― 6 min read
A look at how graphs help in real-world applications like logistics.
Tauseef Asif, Ghulam Haidar, Faisal Yousafzai
― 5 min read
An overview of joint embedding property and its implications for cographs and trees.
Daniel Carter
― 5 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
CountChain uses blockchain to improve accuracy and trust in counting for online advertising.
Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle
― 6 min read
This article discusses a new approach for network management through serverless computing.
Fatemeh Banaie, Karim Djemame, Abdulaziz Alhindi
― 7 min read
A new RL environment aims to improve code optimization for MLIR compiler.
Nazim Bendib, Iheb Nassim Aouadj, Riyadh Baghdadi
― 7 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
Learn how LoRa improves communication in agriculture for better efficiency.
Lameya Aldhaheri, Noor Alshehhi, Irfana Ilyas Jameela Manzil
― 4 min read
Learn how UL-TDoA enhances 5G positioning capabilities for various industries.
Adeel Malik, Mohsen Ahadi, Florian Kaltenberger
― 6 min read
Discover how Quantum Computing is reshaping musical creativity with the Variational Quantum Harmonizer.
Paulo Vitor Itaboraí, Peter Thomas, Arianna Crippa
― 11 min read
Examining the challenges and solutions for child internet safety in Tanzania.
Ezekia Gilliard, Abdul Maziko, Gideon Rwechungura
― 9 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
A new approach to help self-driving cars make safer decisions on the road.
Shuhao Qi, Zengjie Zhang, Zhiyong Sun
― 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
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
A method to prevent sagging in elastic strands through rest shape optimization.
Tetsuya Takahashi, Christopher Batty
― 6 min read
A new method improves 3D head models for realism and performance.
Kartik Teotia, Hyeongwoo Kim, Pablo Garrido
― 7 min read
A new method improves facial animation transfer for digital characters.
Feng Qiu, Wei Zhang, Chen Liu
― 7 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 new system leverages spiking neural networks for efficient data processing.
Nanako Kimura, Ckristian Duran, Zolboo Byambadorj
― 5 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
Learn how multimodal vector search improves information retrieval through advanced user interactions.
Owen Pendrigh Elliott, Tom Hamer, Jesse Clark
― 6 min read
Research highlights how nonverbal actions affect interactions with robots and characters.
Chuxuan Zhang, Bermet Burkanova, Lawrence H. Kim
― 5 min read
This study examines how AR technology aids both novices and experts in precision tasks.
Steven Yoo, Casper Harteveld, Nicholas Wilson
― 7 min read
Examining how AI suggestions affect writing across cultures.
Dhruv Agarwal, Mor Naaman, Aditya Vashistha
― 5 min read
Exploring the benefits and challenges of AI companions that remember user interactions.
Eunhae Lee
― 6 min read
Examining prompt programming and its impact on software creation and user experience.
Jenny T. Liang, Melissa Lin, Nikitha Rao
― 5 min read
Exploring stakeholder perceptions of fairness in machine learning models amid multiplicity.
Anna P. Meyer, Yea-Seul Kim, Aws Albarghouthi
― 6 min read
Investigating the impact of prompt training on journalists' use of LLMs.
Amirsiavosh Bashardoust, Yuanjun Feng, Dominique Geissler
― 6 min read
Learn how multimodal vector search improves information retrieval through advanced user interactions.
Owen Pendrigh Elliott, Tom Hamer, Jesse Clark
― 6 min read
This article outlines a framework to better rank content providers using user feedback.
Gosuddin Kamaruddin Siddiqi, Deven Santhosh Shah, Radhika Bansal
― 5 min read
New methods improve speed and relevance in finding similar user travel paths.
Sara Jarrad, Hubert Naacke, Stephane Gancarski
― 6 min read
Learn how personalization transforms video search experiences for users.
Wentian Bao, Hu Liu, Kai Zheng
― 5 min read
Robots improve task performance using Progressive Retrieval Augmented Generation.
Weiye Xu, Min Wang, Wengang Zhou
― 6 min read
PaperQA2 aids researchers in literature search and error detection.
Michael D. Skarlinski, Sam Cox, Jon M. Laurent
― 4 min read
Promptriever simplifies information retrieval by following user instructions.
Orion Weller, Benjamin Van Durme, Dawn Lawrie
― 5 min read
Enhancing user experiences through integrated recommendation systems.
Arnau Ramisa, Rene Vidal, Yashar Deldjoo
― 11 min read
Exploring hybrid beamforming with widely-spaced arrays for improved THz communication.
Heyin Shen, Yuhang Chen, Chong Han
― 4 min read
Research explores new methods to secure communication in sensing technologies.
Truman Welling, Onur Günlü, Aylin Yener
― 5 min read
Explore how the firefly algorithm enhances antenna positioning and beamforming.
Manh Kha Hoang, Tuan Anh Le, Kieu-Xuan Thuc
― 5 min read
A look into the risks and measures for protecting sensitive data.
Mohammad Amin Zarrabian, Parastoo Sadeghi
― 5 min read
An innovative toolkit simplifies the process of generating exam questions for educators.
Alexander Stotsky, Torsten Wik
― 6 min read
New advancements in quantum error correction enhance reliability in quantum computing.
Jifan Liang, Qianfan Wang, Lvzhou Li
― 5 min read
Explore how typical states clarify the behavior of complex systems.
Bernat Corominas-Murtra, Rudolf Hanel, Petr Jizba
― 6 min read
A look into the future of wireless technology and the benefits of new beamforming techniques.
Anik Roy, Serene Banerjee, Jishnu Sadasivan
― 5 min read
A fresh approach to lambda calculus, integrating resource usage and approximation.
Davide Barbarossa
― 5 min read
A look at the Stability Property and its significance in call-by-value calculus.
Davide Barbarossa
― 5 min read
A look at how randomness shapes modern computational techniques.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
― 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
Introducing GRIN, a new model for depth estimation using sparse data.
Vitor Guizilini, Pavel Tokmakov, Achal Dave
― 7 min read
Learn how DML helps companies measure customer actions effectively.
Sushant More, Priya Kotwal, Sujith Chappidi
― 5 min read
A new coding language aims to improve neural network training performance.
Augusto Seben da Rosa, Marlon Daniel Angeli, Jorge Aikes Junior
― 5 min read
COCA improves simulations by integrating machine learning with physics for better accuracy.
Deaglan J. Bartlett, Marco Chiarenza, Ludvig Doeser
― 7 min read
PropEnc transforms graph metrics into useful node features, enhancing GNN performance.
Anwar Said, Xenofon Koutsoukos
― 5 min read
VALO optimizes LiDAR detection for autonomous vehicles, balancing speed and accuracy.
Ahmet Soyyigit, Shuochao Yao, Heechul Yun
― 5 min read
Combining algorithms and machine learning enhances efficiency in handling data streams.
Rana Shahout, Ibrahim Sabek, Michael Mitzenmacher
― 7 min read
AI is transforming how researchers create virtual cells to study biological processes.
Charlotte Bunne, Yusuf Roohani, Yanay Rosen
― 6 min read
Learn how quantum emulators advance research and explore algorithm performance.
Reece Robertson, Dan Ventura
― 6 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
Investigating how AI agents reproduce scientific results through a new benchmark.
Zachary S. Siegel, Sayash Kapoor, Nitya Nagdir
― 6 min read
A new method for deploying UAVs in unknown areas using RL and PPO.
Ali Moltajaei Farid, Jafar Roshanian, Malek Mouhoub
― 10 min read
Robot vehicles improve traffic management and reduce waiting times at busy intersections.
Iftekharul Islam, Weizi Li, Shuai Li
― 5 min read
A flexible approach for analyzing changing relationships in multi-output data.
Wang Xinming, Li Yongxiang, Yue Xiaowei
― 5 min read
Examining the impact of data quality on offline multi-agent reinforcement learning research.
Claude Formanek, Louise Beyers, Callum Rhys Tilbury
― 6 min read
Research shows how linked robots can tackle uneven surfaces effectively.
Haodi Hu, Xingjue Liao, Wuhao Du
― 5 min read
A study on how AI can work together to handle disruptions effectively.
Manuela Chacon-Chamorro, Luis Felipe Giraldo, Nicanor Quijano
― 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
New methods improve audio synchronization with changing video scenes.
Mingjing Yi, Ming Li
― 4 min read
NVLM enhances AI's grasp of language and visuals for diverse tasks.
Wenliang Dai, Nayeon Lee, Boxin Wang
― 5 min read
TRIM method reduces image tokens in multi-modal language models while maintaining performance.
Dingjie Song, Wenjun Wang, Shunian Chen
― 5 min read
Exploring how LLMs improve reasoning across various data types.
Shengsheng Qian, Zuyi Zhou, Dizhan Xue
― 7 min read
PDMX offers a vast collection of public domain symbolic music for AI development.
Phillip Long, Zachary Novack, Taylor Berg-Kirkpatrick
― 6 min read
MoRAG enhances human motion generation from text descriptions using part-specific retrieval.
Kalakonda Sai Shashank, Shubh Maheshwari, Ravi Kiran Sarvadevabhatla
― 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
Learn how LoRa improves communication in agriculture for better efficiency.
Lameya Aldhaheri, Noor Alshehhi, Irfana Ilyas Jameela Manzil
― 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
A new system leverages spiking neural networks for efficient data processing.
Nanako Kimura, Ckristian Duran, Zolboo Byambadorj
― 5 min read
Inferno helps researchers work with spiking neural networks effectively.
Marissa Dominijanni
― 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
Understanding how to protect the power grid from cyber attacks using graph theory.
Khandaker Akramul Haque, Leen Al Homoud, Xin Zhuang
― 5 min read
This article covers techniques to enhance system stability through damping optimization.
Volker Mehrmann, Emre Mengi
― 6 min read
Introducing TFPONets for solving interface problems with deep learning techniques.
Ye Li, Ting Du, Zhongyi Huang
― 6 min read
Introducing ComFNO, a method for tackling complex differential equations using deep learning.
Ye Li, Ting Du, Yiwen Pang
― 5 min read
Explore methods to maintain accurate and reliable financial data.
Ignacio Brasca
― 5 min read
Innovative methods for efficient solutions to complex inverse problems in various fields.
Ariana N. Brown, Julianne Chung, James G. Nagy
― 6 min read
Mamba offers a new way to analyze complex systems using machine learning.
Zheyuan Hu, Nazanin Ahmadi Daryakenari, Qianli Shen
― 7 min read
Compressed NMF offers a practical solution for analyzing large datasets efficiently.
Abraar Chaudhry, Elizaveta Rebrova
― 7 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
nekCRF enhances combustion simulations for better efficiency and lower emissions.
Stefan Kerkemeier, Christos E. Frouzakis, Ananias G. Tomboulides
― 5 min read
Learn how UL-TDoA enhances 5G positioning capabilities for various industries.
Adeel Malik, Mohsen Ahadi, Florian Kaltenberger
― 6 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 new coding language aims to improve neural network training performance.
Augusto Seben da Rosa, Marlon Daniel Angeli, Jorge Aikes Junior
― 5 min read
Minuska provides a robust method for creating verified interpreters from language definitions.
Jan Tušil, Jan Obdržálek
― 6 min read
A look into how parties share information in quantum computing.
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
― 6 min read
Learn how continuations aid in managing quantum computations.
Vikraman Choudhury, Borislav Agapiev, Amr Sabry
― 4 min read
QLMNtal enhances graph handling with powerful quantification features.
Haruto Mishina, Kazunori Ueda
― 5 min read
vMocks streamline formal verification, enhancing software safety and reliability.
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
― 6 min read
Exploring the importance of memory consistency in multi-threaded programming environments.
Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty
― 5 min read
A look at types, contexts, and proofs in programming languages.
Kelvin Qian, Scott Smith, Brandon Stride
― 5 min read
A new method helps robots navigate better in unknown environments.
Durgakant Pushp, Junhong Xu, Zheng Chen
― 6 min read
A method helps quadruped robots stay safe while carrying varying loads.
Kai S. Yun, Rui Chen, Chase Dunaway
― 5 min read
PLATO enables robots to understand natural language for better task execution.
Arvind Car, Sai Sravan Yarlagadda, Alison Bartsch
― 6 min read
Robots equipped with sensors enhance water quality mapping for aquaculture farms.
Kaustubh Joshi, Tianchen Liu, Alan Williams
― 6 min read
A new method enhances how robots handle tough environments for better performance.
Mohammad Nazeri, Aniket Datar, Anuj Pokhrel
― 5 min read
Therapists control exoskeletons to aid patients in walking recovery.
Lorenzo Amato, Lorenzo Vianello, Emek Baris Kucuktabak
― 5 min read
Robots enhance the preparation of powdered beverages, ensuring quality and consistency.
Emilia Szymanska, Josie Hughes
― 6 min read
A new approach to help self-driving cars make safer decisions on the road.
Shuhao Qi, Zengjie Zhang, Zhiyong Sun
― 6 min read
PropEnc transforms graph metrics into useful node features, enhancing GNN performance.
Anwar Said, Xenofon Koutsoukos
― 5 min read
Introducing a flexible method for simplifying network connections without fixed parameters.
Alec Kirkley
― 6 min read
A study compares models for detecting cyberbullying targeting LGBTQ+ individuals on social media.
Muhammad Arslan, Manuel Sandoval Madrigal, Mohammed Abuhamad
― 6 min read
A new method enhances freelancer and project matching efficiency across languages.
Warren Jouanneau, Marc Palyart, Emma Jouffroy
― 8 min read
Exploring self-similarity in networks over time reveals insights into complex systems.
Subhabrata Dutta, Dipankar Das, Tanmoy Chakraborty
― 6 min read
A study on how organizations behave on social media regarding climate change.
Esa Palosaari, Ted Hsuan Yun Chen, Arttu Malkamäki
― 5 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
This article explores the challenges and risks of sensitive information in software logs.
Roozbeh Aghili, Heng Li, Foutse Khomh
― 6 min read
A smart system that streamlines coding through AI-powered solutions.
Anmol Gautam, Kishore Kumar, Adarsh Jha
― 6 min read
A new RL environment aims to improve code optimization for MLIR compiler.
Nazim Bendib, Iheb Nassim Aouadj, Riyadh Baghdadi
― 7 min read
A new method enhances automated code review comments using reviewer experience.
Hong Yi Lin, Patanamon Thongtanunam, Christoph Treude
― 6 min read
Examining prompt programming and its impact on software creation and user experience.
Jenny T. Liang, Melissa Lin, Nikitha Rao
― 5 min read
This study evaluates LLM effectiveness in static and dynamic program slicing tasks.
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle
― 6 min read
A detailed look at workload patterns in web applications for improved resource management.
Roozbeh Aghili, Qiaolin Qin, Heng Li
― 7 min read
vMocks streamline formal verification, enhancing software safety and reliability.
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
― 6 min read
A new method uses audio to enhance machine pronunciation accuracy.
Siqi Sun, Korin Richmond
― 5 min read
New methods improve audio synchronization with changing video scenes.
Mingjing Yi, Ming Li
― 4 min read
Exploring the GenSEC challenge to improve speech transcription accuracy.
Chao-Han Huck Yang, Taejin Park, Yuan Gong
― 4 min read
A novel assessment method for schizophrenia using multimodal data.
Gowtham Premananth, Carol Espy-Wilson
― 5 min read
New methods are helping machines better interpret individual sounds.
Sripathi Sridhar, Mark Cartwright
― 6 min read
An overview of keyword spotting technologies and their challenges with the Urdu language.
Syed Muhammad Aqdas Rizvi
― 6 min read
Research reveals the difficulties in speech recognition of police radio transmissions.
Tejes Srivastava, Ju-Chieh Chou, Priyank Shroff
― 7 min read
PDMX offers a vast collection of public domain symbolic music for AI development.
Phillip Long, Zachary Novack, Taylor Berg-Kirkpatrick
― 6 min read
QLMNtal enhances graph handling with powerful quantification features.
Haruto Mishina, Kazunori Ueda
― 5 min read
AI systems learn through exploration and motivation, improving their task performance.
Gabriele Sartor, Angelo Oddi, Riccardo Rasconi
― 7 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
A method helps quadruped robots stay safe while carrying varying loads.
Kai S. Yun, Rui Chen, Chase Dunaway
― 5 min read
Effective planning in hydropower systems improves energy generation and resource management.
Xianbang Chen, Yikui Liu, Zhiming Zhong
― 6 min read
A new device helps save water by reusing sink water for toilets.
Samuele Rebecchi, Samuele Marcellino, Luca Magoni
― 5 min read
A new approach to help self-driving cars make safer decisions on the road.
Shuhao Qi, Zengjie Zhang, Zhiyong Sun
― 6 min read
A method combining offline and online learning for improved pedestrian movement predictions.
Anastasios Vlachos, Anastasios Tsiamis, Aren Karapetyan
― 4 min read
Combining sensors improves CubeSat operations and precision in space.
Deep Parikh, Hasnain Khowaja, Ravi Kumar Thakur
― 5 min read
Techniques for accurate mass and movement estimation in spacecraft operations.
Deep Parikh, Manoranjan Majji
― 6 min read
A new robotic system enhances capabilities for space operations using innovative technology.
Deep Parikh, Ali Hasnain Khowaja, Nathan Long
― 5 min read