Results 81 to 90 of about 100,374 (308)

Synchrotron Radiation‐Based Tomography of an Entire Mouse Brain with Sub‐Micron Voxels: Augmenting Interactive Brain Atlases with Terabyte Data

Advanced Science, EarlyView.
Extended‐field acquisition enables sub‐micron X‐ray imaging of a full mouse brain. The 3.3‐teravoxel volume is reconstructed, registered to a reference atlas, and stored in hierarchical format to augment currently available atlases and improve resolution in the third dimension by an order of magnitude.
Mattia Humbel, Christine Tanner, Marta Girona Alarcón, Georg Schulz, Timm Weitkamp, Mario Scheel, Vartan Kurtcuoglu, Bert Müller, Griffin Rodgers   +8 more
wiley   +1 more source

From Code to Life: The AI‐Driven Revolution in Genome Editing

Advanced Science, EarlyView.
This review explores AI‐driven advancements in genome editing, focusing on CRISPR optimization, enhanced targeting precision, reduced off‐target effects, and novel tool design. It addresses ethical challenges, data biases, and highlights future prospects in precision medicine, agriculture, and synthetic biology.
Zhidong Li, Wasi Ullah Khan, Genxiang Bai, Chao Dong, Jungang Wang, Youpeng Zhang, Chong Wang, Hongbin Zhang, Wenyi Wang, Ming Luo, Fei Chen   +10 more
wiley   +1 more source

(Co-)Inductive semantics for Constraint Handling Rules

, 2011
In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules in a sound and complete way with respect to their declarative semantics ...
Abdennadher, Barwise, Clarke, de Koninck, Goguen, Haemmerlé, Haemmerlé, Jaffar, Rutten, RÉMY HAEMMERLÉ, Saraswat, Simon, Terese   +12 more
core   +2 more sources

Semaphorin 3E‐Plexin‐D1 Pathway Downstream of the Luteinizing Hormone Surge Regulates Ovulation, Granulosa Cell Luteinization, and Ovarian Angiogenesis in Mice

Advanced Science, EarlyView.
The Semaphorin 3E (Sema3E)‐Plexin‐D1 pathway mediated by C/EBPα and C/EBPβ downstream of the luteinizing hormone (LH) surge plays important roles in the mouse preovulatory ovary. Timely activation and suppression of this pathway during the preovulatory stage are crucial for ovulation, corpus luteum formation, and proper angiogenesis.
Hanxue Zhang, Jimmy Dhillon, Paul D. Soloway, Bo Shui, Seoyeon Lee, Jennifer K. Grenier, Paul R. Munn, M. Cecilia Ljungberg, Rebecca B Williams, Rainer B. Lanz, Yu‐Hsiang Liao, Yi A. Ren   +11 more
wiley   +1 more source

Indicators: Syntactic Vision and Semantic Vision: First Part (Indicadores: la Visión Sintáctica y la Visión Semántica: Primera Parte)

Science & Philosophy, 2017
In this essay several aspects of the concept ‘indicator’ are criticized, as well as the technical consequences of those misconceptions. The most relevant among them is the pretence of measuring the validity of an indicator, e. g.
Alberto Marradi
doaj   +1 more source

An Explainable Multimodal Artificial Intelligence Model Integrating Histopathological Microenvironment and EHR Phenotypes for Germline Genetic Testing in Breast Cancer

Advanced Science, EarlyView.
This study presents an explainable multimodal AI model, MAIGGT (Multimodal Artificial Intelligence Germline Genetic Testing), that combines whole‐slide histopathology with clinical data for accurate germline BRCA1/2 mutation prescreening. By integrating digital pathology and EHR phenotypes, MAIGCT enables cost‐effective, scalable hereditary breast ...
Zijian Yang, Changyuan Guo, Jiayi Li, Yalun Li, Lei Zhong, Pengming Pu, Tongxuan Shang, Lin Cong, Yongxin Zhou, Guangdong Qiao, Ziqi Jia, Hengyi Xu, Heng Cao, Yansong Huang, Tianyi Liu, Jian Liang, Jiang Wu, Dongxu Ma, Yuchen Liu, Ruijie Zhou, Xiang Wang, Jianming Ying, Meng Zhou, Jiaqi Liu   +23 more
wiley   +1 more source

Correctness of an STM Haskell implementation [PDF]

, 2012
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given.
Bieniusa A., David Sabel, Hu L., Manfred Schmidt-Schauß, Schmidt-Schauß M., Schmidt-Schauß M., Shavit N., van Eekelen M. C. J. D.   +7 more
core   +3 more sources

Deciphering Cell Type Abundance in Proteomics Data Through Graph Neural Networks

Advanced Science, EarlyView.
GraphDEC constructs pseudo bulk reference data using a mixup strategy, then learns low dimensional representations via autoencoders to model intra and inter dataset relationships. These are processed through a multi view adaptive neighborhood aware GNN, integrating reference, target, and joint graphs.
Zhiming Dai, Yujie Song, Tuoshi Qi, Hongyu Zhang, Huiying Zhao, Zheng Wang, Yuedong Yang, Yuansong Zeng   +7 more
wiley   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Stepped Frequency Microwave Radiometer Wind-Speed Retrieval Improvements

Remote Sensing, 2019
With the operational deployment of the *SFMR, hurricane reconnaissance and research aircraft provide near real-time observations of the 10 m ocean-surface wind-speed both within and around tropical cyclones.
Joseph W. Sapp, Suleiman O. Alsweiss, Zorana Jelenak, Paul S. Chang, James Carswell   +4 more
doaj   +1 more source