Results 151 to 160 of about 970,866 (376)
Advanced Science, EarlyView.Utilizing dual‐site fiber photometry, this study examines cortico‐striatal coupling with cell type resolution, identifying behavior‐ and cell type‐specific cortico striatal decoupling and its dopamine‐dependent mechanism in a Parkinson's disease mouse model.
Xu‐Ran Yao +4 more
wiley +1 more source
Advanced Science, EarlyView.This schematic integrates the eight statistically significant causal relationships identified between 1,366 brain imaging‐derived phenotypes (IDPs) and 18 autoimmune inflammatory diseases (AIDs). Arrows indicate the direction of causality inferred from bidirectional two‐sample MR analyses.
Jinbin Chen +8 more
wiley +1 more source
Execution environment for intelligent real-time control systems [PDF]
Modern telerobot control technology requires the integration of symbolic and non-symbolic programming techniques, different models of parallel computations, and various programming paradigms.
Sztipanovits, Janos
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
DLF: A Deep Active Ensemble Learning Framework for Test Case Generation
InformationHigh-quality test cases are vital for ensuring software reliability and security. However, existing symbolic execution tools generally rely on single-path search strategies, have limited feature extraction capability, and exhibit unstable model ...
Yaogang Lu, Yibo Peng, Dongqing Zhu
doaj +1 more source
Comparative Single‐Cell Transcriptomic Atlas Reveals the Genetic Regulation of Reproductive Traits
Advanced Science, EarlyView.A cross‐species single‐cell transcriptomic atlas of reproductive and central nervous system tissues from sheep and humans reveals conserved cellular programs and regulatory networks that regulated fertility. Integration with GWAS for sheep lifetime average litter size identifies UNC5–SLIT–BMP signaling as a core pathway coordinating neuroendocrine ...
Bingru Zhao +8 more
wiley +1 more source
A Determined Algorithm of Code Analysis of Commodity Software
Безопасность информационных технологий, 2013 This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
Ilya Viktorovich Arzamartsev +1 more
doaj
Advanced Science, EarlyView.This study develops a hierarchically porous hydrogel patch strategy (HPMP), based on gas‐shearing microfluidics and an aqueous two‐phase system to fabricate porous microgels as microgel‐based bioinks. The porous microgels with controllable porous structure exhibit excellent cellular behavior.
Ziyang Liu +13 more
wiley +1 more source