Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Pennsylvania State UniversityUS558 papers
- University of Maryland, College ParkUS521 papers
- Massachusetts Institute of TechnologyUS457 papers
- University of California, BerkeleyUS447 papers
- Centre National de la Recherche ScientifiqueFR442 papers
- Columbia UniversityUS374 papers
- Université Libre de BruxellesBE370 papers
- The University of AdelaideAU343 papers
- California Institute of TechnologyUS337 papers
- Goddard Space Flight CenterUS327 papers
- University of Wisconsin–MadisonUS321 papers
- University of DelawareUS313 papers
6,798 papers
Undulatory Swimming in Sand: Subsurface Locomotion of the Sandfish Lizard
Ryan D. Maladen, Yang Ding, Chen Li +1
The desert-dwelling sandfish (Scincus scincus) moves within dry sand, a material that displays solid and fluidlike behavior. High-speed x-ray imaging shows that below the surface,…
Atoms to Processes: The Role of Artificial Intelligence and Machine Learning in Chemical Engineering
Michael Baldea, Linda J. Broadbelt, Marianthi G. Ierapetritou +17
The rapid maturation of artificial intelligence (AI) and machine learning (ML) has catalyzed a profound shift in how chemical engineering problems are formulated, analyzed, and sol…
FAST-Sync: Fast Group Synchronization for any Matrix Lie Group
Shane Holmes, Yiran Luo, Firat Taxpulat +2
Group synchronization (GS) is the problem of estimating a set of unknown elements in a group , given noisy measurements of a subs…
Artificial versus Natural Atoms: The uncanny capability of the many-body Schrödinger equation to produce emergent behavior
Constantine Yannouleas
The paper reviews the theoretical and experimental progress achieved in the last 25 years in understanding the novel physics of artificial atoms and molecules as arising from the f…
Contrastive Learning for Authorship Verification
Peter Kirby
Our results show that contrastive learning outperforms a classification-based approach to authorship verification under the tested settings. We identify loss function, batch size,…
ATCion: Exploring the Design of Icon-based Visual Aids for Enhancing In-cockpit Air Traffic Control Communication
Yue Lyu, Xizi Wang, Hanlu Ma +2
Effective communication between pilots and air traffic control (ATC) is essential for aviation safety, but verbal exchanges over radios are prone to miscommunication, especially un…
Experiments and Modeling of Defect Dynamics and BTI Behavior in Doped InO TFTs during C Post-Processing Forming Gas Annealing
Yu-Hsin Kuo, Chengyang Zhang, Priyankka Ravikumar +13
We investigate the impact of a monolithic three-dimensional (M3D) integration process-critical C post-processing forming gas anneal (FGA) on the electrical performance,…
Towards Standardized Evaluation of GPU Memory Safety with GMSBench
Saurabh Singh, Jaewon Lee, Seonjin Na +1
As GPUs become increasingly integral to high-performance computing and machine learning, ensuring memory safety in GPU programs has become crucial for reliable and secure execution…
Snugi-AI-v2 @ eRisk 2026 Task 2: Early Depression Detection via a Learned Stopping Policy with Sustained Confidence Gate
Yuwen Chiu
We describe the Snugi-AI-v2 submission to eRisk 2026 Task 2, the second edition of contextualized early depression detection from Reddit discussions. Our central contribution is a…
IGT @ FinMMEval 2026 Task 2: Question-Type Prompting with Targeted Extraction for Multilingual Financial QA
Yuwen Chiu
We present the IGT system for PolyFiQA Task 2 of the FinMMEval Lab at CLEF 2026, a multilingual financial question answering task over English SEC filings and multilingual news art…
Large Language Models in Mental Health: A Systematic Review of Applications, Innovations, and Ethical Challenges
Yisong Chen, Yifan Gao, Sijing Yu +2
We present a review on the applications of large language models (LLMs) in health, e.g., social media analysis, clinical conversational agents, therapy support tools, prompt engine…
LayoutBench: Performance Benchmarking of Cloud Storage Layouts for Multimedia Data
Debopam Sanyal, Hongjie Chen, Alexey Tumanov +1
Modern multimedia machine learning workloads increasingly store large-scale datasets in cloud object storage services such as AWS S3. How these samples are physically organized in…
The s-process at Subsolar Metallicity: Insights from High-Resolution Infrared Spectroscopy of Magellanic Cloud Planetary Nebulae
N. C. Sterling, M. G. Stephenson, Harriet L. Dinerstein +8
We present observations of 12 Magellanic Cloud planetary nebulae (PNe) obtained with the high-resolution near-infrared spectrometer IGRINS on Gemini South. In 10 targets we detect…
Explanation-Bound Tool Execution for AI Agents: Server-Verified Action Claims Without Trusting Model Rationales
Genliang Zhu, Chu Wang
Tool-using agents expose structured calls but commonly attach free-form rationales. Such rationales are neither authorization nor reliable introspection. We present Explanation-Bou…
Cross-Domain Acceleration of Open Modification Search: From Commodity Platforms to Emerging Memory and Storage Devices
Sumukh Pinge, Chang Eun Song, Po-Kai Hsu +10
Open modification search (OMS) in mass spectrometry (MS) is a data-intensive workload whose performance is dominantly limited by reference data movement rather than computation. Pr…
Exact Solutions to a Class of Constrained Optimal Control Problems via Lossless Convexification for Digital Control
Vaibhav Upadhyay, Siddhartha Ganguly, Debasish Chatterjee
This article establishes a new numerically viable technique for solving a class of constrained, nonconvex, continuous-time optimal control problems (OCPs) for linear systems that c…
Sparse Robust Optimal Control in Continuous-Time: A Computationally Viable Approach
Siddhartha Ganguly, Ashwin Aravind, Souvik Das +2
This article presents a novel, numerically viable algorithm for solving sparse robust optimal control problems in continuous time. We consider a constrained linear noisy system gov…
Scalable and Culturally Specific Stereotype Dataset Construction via Human-LLM Collaboration
Weicheng Ma, John Guerrerio, Soroush Vosoughi
Research on stereotypes in large language models (LLMs) has largely focused on English-speaking contexts, due to the lack of datasets in other languages and the high cost of manual…
CSB: A Counting and Sampling tool for Bit-vectors
Arijit Shaw, Kuldeep S. Meel
Satisfiability modulo theory (SMT) solvers have significantly advanced automated reasoning due to their effectiveness in solving problems across various fields. With the advancemen…
Conflict-Based Lazy Search for Fast Multi-Manipulator Planning
Dongliang Zheng, Zhipeng Wang, Siqi Wang +4
Employing multiple manipulators can boost efficiency and accomplish tasks that a single manipulator cannot do. However, real-time planning for multiple manipulators in a cluttered…
Spectral Signatures of Large Language Models
Zhuoying Zhang, Ishan V. Prasad, Yuanzhe Hu +4
The rapidly growing repository of publicly available large language models (LLMs) presents significant challenges for systematic management and quantification at scale, such as mod…
AutoRestTest at the SBFT 2026 Tool Competition
Tyler Stennett, Myeongsoo Kim, Saurabh Sinha +1
Large input spaces and complex inter-operation dependencies make black-box REST API testing challenging. AutoRestTest combines a Semantic Property Dependency Graph, multi-agent rei…
A Comprehensive Inference-Time Augmentation Framework in Physiological Signals: Application to PPG-Based AF Detection
Davood Fattahi, Runze Yan, Saurabh Kataria +2
Objective: Accurate classification of physiological signals in real-world deployments is challenged by sensor noise, motion artifacts, and distribution shifts between training and…
"The New Era of Tech-Enabled Traceability": Tensions between the FDA's Data Governance Vision and the Lived Realities of Food Producers
Soonho Kwon, Catherine Wieczorek, Heidi Biggs +4
The U.S. Food and Drug Administration (FDA)'s Food Traceability Rule requires agri-food supply chain stakeholders (stakeholders)--including farmers, fishers, retail workers, and ot…