vix.ing · top · new · best · stats · spec
  1. 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
  2. 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
  3. 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
  4. <論説>見せ玉と相場操縦規制 ―高速取引行為と非高速取引行為の相克―
    2026/08/02 by Ryo HAGA · 1 voice
    Engineering · Social Sciences · #Military Technology and Strategies #Legal and Regulatory Analysis #Linguistic, Cultural, and Literary Studies
  5. Settling the Optimal Exponent Relating Sumsets and Difference Sets
    2026/07/29 by Haowei Lin, Shanda Li · 1 voice
    Mathematics · #math.CO
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 「フレーゲ的意義」の二つの解釈
    2026/08/01 by 潤 葛谷 · 1 voice
    Engineering · Social Sciences · #Military Technology and Strategies #Legal and Regulatory Analysis #Linguistic, Cultural, and Literary Studies
  20. 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
  21. 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
  22. Visual prompt engineering for video models
    2026/07/28 by Robert Geirhos, Yuxuan Li, Thaddäus Wiedemer +7 · 1 voice
    #cs.CV #cs.AI
  23. A partition function framework for estimating logical error curves in stabilizer codes
    2026/07/28 · 3 voices
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. k-Coloring is Faster than Computing the Chromatic Number
    2026/07/28 by Or Zamir · 1 voice
    #cs.DS
  30. 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