Results 241 to 250 of about 1,613,251 (354)

On deriving distributed programs from formal specifications of functional requirements and architectural constraints

, 2003
G.-C. Roman, C.D. Wilcox, Jerome Y. Plun
openalex   +2 more sources

Aging as a Loss of Goal‐Directedness: An Evolutionary Simulation and Analysis Unifying Regeneration with Anatomical Rejuvenation

Advanced Science, EarlyView.
The paper proposes that the root cause of aging is the loss of anatomical goal‐directedness after development. Using evolutionary neural cellular automata simulations, the authors show that after the organism has reached its developmental homeostatic setpoint (the adult morphology), the absence of target state to pursue leads to a drifting anatomical ...
Léo Pio‐Lopez, Benedikt Hartl, Michael Levin   +2 more
wiley   +1 more source

Characterization of Pumilio gene expression during early neural crest development. [PDF]

Differentiation
Guzman-Espinoza M, Vander Wende HM, Pacheco JL, Roldán AO, Hutchins EJ.   +4 more
europepmc   +1 more source

RiboMicrobe: An Integrated Translatome Atlas for Microorganism

Advanced Science, EarlyView.
RiboMicrobe is a comprehensive database for Ribo‐seq data from prokaryotes, featuring 891 Ribo‐seq, 369 RNA‐seq, and 62 proteome datasets from 38 species. The database not only provides various data visualization results but also includes two sORF prediction models and a suit of bioinformatics tools for comparative analysis, facilitating easy access ...
Yingshun Zhou, Jinjing Luo, Xiaoqiang Lang, Yuli Gan, Guoxian Liu, Yuling Cui, Fazhi Li, Weicong Zhu, Bing Chen, Yuanyuan Dong, Yinglin Wu, Yi Cao, Qi Liu   +12 more
wiley   +1 more source

Donor embryonic stem cells displace host cells of 8-cell-stage chimeras to the extra-embryonic lineages by spatial crowding and FGF4 signalling.

Development
Strawbridge SE, Schrattel AK, Humphreys P, Jones KA, Artus J, Hadjantonakis AK, Fletcher AG, Nichols J.   +7 more
europepmc   +1 more source

Association between positive preadmission screening and COVID-19 community transmission: A retrospective observational study during an emergent novel infectious disease pandemic. [PDF]

New Microbes New Infect
Mitsushima S, Ohkusa Y, Taniguchi K, Tokuda Y, Shibuya K.   +4 more
europepmc   +1 more source

KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems

, 2000
Pascal Poizat
openalex   +1 more source

A Formal Approach to Service Specification and Matching based on Graph Transformation

, 2004
Reiko Heckel, Alexey Cherchago, Marc Lohmann   +2 more
openalex   +1 more source

Geometrically Encoded Positioning of Introns, Intergenic Segments, and Exons in the Human Genome

Advanced Science, EarlyView.
This study introduces a new hypothesis: exons, introns, and intergenic segments are non‐random projections of the functional layers of 3D structure of chromatin packing domains. Evidence is presented that this “geometric code” may encode volumetric structure, reconciling epigenetic patterns, correlates with oncogenic mutations, acting as a potential ...
Luay M. Almassalha, Kyle L. MacQuarrie, Marcelo Carignano, Cody L. Dunton, Ruyi Gong, Joe Ibarra, Lucas M. Carter, Wing Shun Li, Rikkert Nap, Parambir S. Dulai, Igal Szleifer, Vadim Backman   +11 more
wiley   +1 more source

HPRS: hierarchical potential-based reward shaping from task specifications. [PDF]

Front Robot AI
Berducci L, Aguilar EA, Ničković D, Grosu R.   +3 more
europepmc   +1 more source