- Send and Pretend: Exploiting Transcript Consistency Issues in End-to-End Encrypted Group Chats
2026/07/29 by Gabriel K. Gegenhuber, Moritz Grefner, Maximilian Günther +3 · 1 voice
Computer Science · #cs.CR
- An Empirical Study of Model Context Protocol Applications
2026/07/29 by Muhammad Hamza Arshad Majeed, May Mahmoud, Sarah Nadi · 1 voice
Computer Science · #cs.SE
- CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification
2026/07/29 by Ziyi Yang, Wenji Fang, Chen Chen +2 · 1 voice
Computer Science · #cs.LO #cs.AR
- <論説>見せ玉と相場操縦規制 ―高速取引行為と非高速取引行為の相克―
2026/08/02 by Ryo HAGA · 1 voice
Engineering · Social Sciences · #Military Technology and Strategies #Legal and Regulatory Analysis #Linguistic, Cultural, and Literary Studies
- Settling the Optimal Exponent Relating Sumsets and Difference Sets
2026/07/29 by Haowei Lin, Shanda Li · 1 voice
Mathematics · #math.CO
- Determinants of Nonspecific Response to Treatment in Randomized Controlled Trials of Major Depressive Disorder: A Narrative Review
2026/07/29 by Clotilde Guidetti, Riccardo De Giorgi, Nathan T.M. Huneke +4 · 1 voice
Medicine · Neuroscience · Psychology · #Treatment of Major Depression #Pain Management and Placebo Effect #Digital Mental Health Interventions
- Predetermined Change Control Plan Adoption and Documentation Transparency in FDA-cleared Radiology Artificial Intelligence/Machine Learning Devices
2026/07/29 by Ketan Dayma, Palak Patel, Kenneth Hildreth +1 · 1 voice
Medicine · #Artificial Intelligence in Healthcare and Education #Radiology practices and education #Radiomics and Machine Learning in Medical Imaging
- Boundary-Driven Anisotropic Coarsening in Conserved Phase Separation
2026/07/29 by Emilio N. M. Cirillo, Nicklas Jävergård, Adrian Muntean +1 · 1 voice
Physics and Astronomy · Mathematics · #cond-mat.stat-mech #math-ph #math.MP
- high-isolation wideband channelizer for MKID readouts: a custom HLS implementation on RFSoC
2026/07/29 by Alberto Hernández Fernández, David Díaz Martín, Jose Javier Diaz Garcia +4 · 1 voice
Engineering · Physics and Astronomy · #Radio Frequency Integrated Circuit Design #Superconducting and THz Device Technology #Advanced Power Amplifier Design
- Prehospital Emergency Nurse competence and pain management in patients with acute abdominal pain: a retrospective observational study
2026/07/29 by Rasmus Bjerén, Carl Magnusson, Johan Herlitz +3 · 1 voice
Medicine · #Pediatric Pain Management Techniques #Pain Management and Opioid Use #Anesthesia and Pain Management
- The lost oceans of Venus
2026/07/29 by Richard Ghail, Eloise J.P. Crouch, Philippa J. Mason · 1 voice
Physics and Astronomy · Arts and Humanities · #Planetary Science and Exploration #Space Science and Extraterrestrial Life #History of Science and Natural History
- Quitline Counsellors' Experiences With Vaping and Nicotine Replacement Therapy for Smoking Cessation in Australian Drug and Alcohol Services
2026/07/29 by Jane L. Rich, Catherine J. Segan, Joshua Trigg +13 · 1 voice
- Exploring the Limits of Spectral Line Stacking in Spectral Line Data and Application Toward the Detection of Bulk 13C Enrichment of Aromatics in TMC-1
2026/07/29 by Miya Duffy, Ryan A. Loomis, Martin S. Holdren +9 · 1 voice
Physics and Astronomy · #astro-ph.GA
- Human diversity fuels collective creativity that large language models cannot simulate or sustain
2026/07/29 by Mengchen Dong, Hiromu Yakura · 1 voice
Computer Science · #cs.HC #cs.AI #cs.CY
- Instability-induced bistable shape-morphing kirigami structures
2026/07/29 by Xiaoyuan Ying, Marcelo A. Dias · 1 voice
Physics and Astronomy · #cond-mat.soft #cond-mat.mtrl-sci #physics.class-ph
- Detection of mismatching visual kinematics during visuomotor incongruence: A comparison of spatially matched delays versus offsets along identical trajectories
2026/07/29 by Fanni Peters, Peng Wang, Jakub Limanowski · 1 voice
- TurboVLA: Real-Time Vision-Language-Action Model at 32 Hz on an RTX 4090 with <1 GB VRAM
2026/07/29 by Hengyi Xie, Chenfei Yao, Xianjin Wu +7 · 1 voice
Computer Science · #cs.CV #cs.RO
- Density-wave phases, anisotropic transport, and Planckian dissipation in single crystals of the superconductor La3Ni2O7
2026/07/29 by Zhehong Liu, Masamichi Nakajima, Markus Kriener +14 · 1 citation
Physics and Astronomy · #cond-mat.supr-con
- 「フレーゲ的意義」の二つの解釈
2026/08/01 by 潤 葛谷 · 1 voice
Engineering · Social Sciences · #Military Technology and Strategies #Legal and Regulatory Analysis #Linguistic, Cultural, and Literary Studies
- Speculate While You Reason: Teaching Agents to Predict Their Next Tool Call via Joint Agent-Speculator RL
2026/07/28 by Jiabao Ji, Yujian Liu, Li An +4 · 1 voice
#cs.AI
- Detecting CSAM Text-to-Image LoRAs From Weights
2026/07/28 by David Demitri Africa, Cate Heine, Nadine Staes-Polet +1 · 1 voice
#cs.LG #cs.CY
- Visual prompt engineering for video models
2026/07/28 by Robert Geirhos, Yuxuan Li, Thaddäus Wiedemer +7 · 1 voice
#cs.CV #cs.AI
- A partition function framework for estimating logical error curves in stabilizer codes
2026/07/28 · 3 voices
- Mapping CVEs to MITRE ATT&CK Techniques: A Curated Gold-Set Classifier and the Limits of LLM-Assisted Label Expansion
2026/07/28 by Cédric Bonhomme, Alexandre Dulaunoy · 1 voice
#cs.CR
- Specula: Scaling formal specifications for autonomous model checking of system code
2026/07/28 by Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6 · 1 voice
#cs.SE #cs.AI #cs.DC #cs.OS
- Every Time I Hire a Linguist, Inference Costs Go Down: On Linguistic Rules as Effective Prompt Compressors
2026/07/28 by Jianfei Ma, Zhaoxin Feng, Emmanuele Chersoni +1 · 1 voice
Computer Science · #cs.AI #cs.CL
- Messier: A High-Resolution Corpus for Cross-Benchmark Agent Evaluation
2026/07/28 by Stefan Krsteski, Charlotte Meyer, Guillaume Allegre +2 · 1 voice
Computer Science · #cs.AI #cs.DB
- DICE: Detailed Inter-Chiplet End-to-End PHY Modeling for Accurate Chiplet Simulation
2026/07/28 by Rashid Aligholipour, Stefanos kaxiras, Yuan Yao · 1 voice
#cs.AR
- k-Coloring is Faster than Computing the Chromatic Number
2026/07/28 by Or Zamir · 1 voice
#cs.DS
- At-the-Roofline Sparse Tensor Contractions on Vector Processors for Transformer Inference
2026/07/28 by Bowen Wang, Chi Zhang, Diyou Shen +3 · 1 voice
#cs.AR #cs.AI
prev more