Results 131 to 140 of about 949,278 (287)

A General High‐Throughput Mucus Microrheology Platform for Quantitative and Scalable Mucus Phenotyping

Advanced Science, EarlyView.
High‐throughput Differential Dynamic Microscopy measures frequency‐resolved mechanical fingerprints from 3 to 10 μL$\umu{\rm L}$ mucus samples using only a few minutes of operator attention per sample. This automated analysis enables scalable mucus phenotyping for translational research by distinguishing mechanical heterogeneity among donors, disease ...
Feng Ling, Ayşe Tuğçe Şahin, Bernardo Miller Naranjo, Stefano Aime, Doris Roth, Anna Pukaluk, Niels Tepho, Romina Augustin, Benedetta Zampa, Andrea S. Vendrame, Mark‐Christian Klassen, Ellen Emken, Marion Kiechle, Mircea Gabriel Stoleriu, Pontus Mertsch, Ruth Olmer, Yohannes Tesfaigzi, Oliver Lieleg, Janna C. Nawroth   +18 more
wiley   +1 more source

MAPA: A Semantic Network Framework for Functional Module Discovery and Interpretation in Multi‐Omics Data

Advanced Science, EarlyView.
MAPA transforms complex multi‐omics data into biologically coherent functional modules by integrating pathway information with molecular interaction networks. Retrieval‐augmented large language models then generate structured, literature‐informed interpretations.
Yifei Ge, Feifan Zhang, Yijiang Liu, Chao Jiang, Peng Gao, Nguan Soon Tan, Sai Zhang, Yuchen Shen, Qianyi Zhou, Xin Zhou, Xiao Wang, Fangqing Zhao, Chuchu Wang, Xiaotao Shen   +13 more
wiley   +1 more source

Parallel Symbolic Execution for Structural Test Generation

, 2010
Associated research group: Critical Systems Research GroupSymbolic execution is a popular technique for automatically generating test cases achieving high structural coverage.
Staats, Matt, Păsăreanu, Corina
core  

The MoSR‐MoDde1 Regulatory Axis: A Novel Determinant of DMI Sensitivity and a Target for Sustainable Rice Blast Control

Advanced Science, EarlyView.
The transcription factor MoSR governs DMI fungicide sensitivity in Magnaporthe oryzae through dual regulation of ergosterol biosynthesis and the detoxification enzyme MoDde1. Targeting MoDde1 via a small‐molecule inhibitor or host‐induced gene silencing enhances DMI efficacy against rice blast, offering a sustainable disease management strategy ...
Fan‐Zhu Meng, Wen‐Kai Wei, Meng‐Yao Wu, Min‐Zheng Cai, Yu‐Fu Wang, Li Zhao, Shuai Meng, Liang‐Fen Yin, Guido Schnabel, Wei‐Xiao Yin, Chao‐Xi Luo   +10 more
wiley   +1 more source

Printing‐Assisted Integration of Thermal, Fluidic and Electrical Components in Implants for Focal Brain Cooling

Advanced Science, EarlyView.
Extrusion‐based 3D printing of silicones and discrete electronic components are combined to create cortical implants for rodents that integrate thermal neuromodulation and electrical recording. Linked to an autonomous auxiliary driver unit, the system enables rapid, stable and localized hypothermia alongside ECoG recording.
Spencer Ryan Moore, Naomi King, Aruã Clayton Da Silva, Clare Howarth, Jason Berwick, Thomas E. Paterson, Ivan R. Minev   +6 more
wiley   +1 more source

Efficient Data-Race Detection with Dynamic Symbolic Execution

Annals of computer science and information systems, 2016
Andreas Ibing
doaj   +1 more source

Neuro-symbolic constraint verification for LLM-driven internet finance transaction execution

Scientific Reports
Large language model (LLM) agents cannot guarantee that their outputs satisfy the hard business rules that govern financial transactions. We present the Verifier-Actor Neuro-Symbolic Framework (VA-NSF), a dual-layer architecture that separates natural ...
Yuxuan Qin, Minjae Rhee, Dai Teng, Changhao Zhang, Bingjie Zi   +4 more
doaj   +1 more source

Symbolic execution for R [PDF]

Symbolic execution je technika, která umožňuje testovat programy a dokazovat jejich netriviální vlastnosti. Vytvoření nového systému pro symbolic execution je náročné.
Petr Šťastný
core  

Retrospective Grid Cells in the Medial Entorhinal Cortex Encode Past Paths During Spatial Navigation

Advanced Science, EarlyView.
Retrospective grid cells are identified in the medial entorhinal cortex, with spatial firing patterns that become most grid‐like when activity is projected onto recently traversed locations. Their coding loses spatial precision in darkness and is disrupted during assisted movement, indicating that entorhinal representations incorporate recent path ...
Ruojin Liu, Xin Yuan, Zilong He, Hong Jin, Jiayi Tian, Cong Chen, Yuanjing Liu, Xiang Zhang, Shidan Wen, Emilio Kropff, Chenglin Miao   +10 more
wiley   +1 more source