Results 101 to 110 of about 731,022 (305)

A Graphical Tool for Event Refinement Structures in Event-B [PDF]

, 2016
The Event Refinement Structures ERS approach provides a graphical extension of the Event-B formal method to represent event decomposition and control-flow explicitly. In this paper we present an improved version of the ERS plug-in, which provides a graphical environment for the ERS approach within the Event-B tool, Rodin.
Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi   +3 more
openaire   +1 more source

Cell geometry and membrane protein crowding constrain Escherichia coli growth rate, overflow metabolism, respiration, and maintenance energy

FEBS Letters, EarlyView.
The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson, Tomáš Gedeon, Mauricio Garcia Benitez, Campbell Putnam, William R. Harcombe, Radhakrishnan Mahadevan, Ashley E. Beck   +6 more
wiley   +1 more source

An event memory for an embodied cooperative virtual guide

, 2011
Rabe F, Wachsmuth I. An event memory for an embodied cooperative virtual guide. In: Postersession at the Interdisciplinary College.
Rabe, Felix, Wachsmuth, Ipke ; https://orcid.org/   +1 more
core  

Electron transfer between complexes III and IV in S. cerevisiae mitochondrial membranes

FEBS Letters, EarlyView.
Mitochondrial oxidative phosphorylation in S. cerevisiae mitoplasts is limited by complex IV catalytic capacity, rather than two‐dimensional cytochrome c diffusion. At physiological cytochrome c : supercomplex ratios at salinity equivalent to that of 20 mm monovalent salt, activity is maximized, indicating that this low ionic strength accurately mimics
Ana Paula Lobez, Mikael Oliveberg, Peter Brzezinski   +2 more
wiley   +1 more source

Bayesian representations using chain event graphs [PDF]

, 2006
Bayesian networks (BNs) are useful for coding conditional independence statements between a given set of measurement variables. On the other hand, event trees (ETs) are convenient for representing asymmetric structure and how situations unfold.
Smith, J. Q., Anderson, Paul E.
core  

High-Order Areas and Auditory Cortex Both Represent the High-Level Event Structure of Music. [PDF]

J Cogn Neurosci, 2022
Williams JA, Margulis EH, Nastase SA, Chen J, Hasson U, Norman KA, Baldassano C.   +6 more
europepmc   +1 more source

Salmonella lipopolysaccharide‐containing supported lipid bilayers as platforms to study bacteriophage interactions

FEBS Letters, EarlyView.
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace, Alyssa Borges, Charles Arnaud, Tove Karlsson, Nina K. Bröker, Stefanie Barbirz, Marta Bally   +6 more
wiley   +1 more source

HERWIG 6: an event generator for Hadron emission reactions with interfering gluons (including supersymmetric processes)

, 2000
HERWIG is a general-purpose Monte Carlo event generator, which includes the simulation of hard lepton-lepton, lepton-hadron and hadron-hadron scattering and soft hadron-hadron collisions in one package. It uses the parton-shower approach for initial- and
Odagiri K, Odagiri, K., Richardson P, Seymour, M.H., Knowles, I G, Moretti, S, Marchesini, G., Webber, B.R., Richardson, Peter, Corcella, Gennaro, Knowles, I.G., Odagiri, K, Moretti, S., Corcella G, Richardson, P., Seymour M H, Marchesini, G, Marchesini G, Webber, Bryan R, Corcella, G., Webber B R, Moretti S, Seymour, Michael H, Knowles I G   +23 more
core   +1 more source

From mice to humans—divergent strategies for intestinal homeostasis and regeneration

FEBS Letters, EarlyView.
Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa, Shinya Sugimoto, Toshiro Sato   +2 more
wiley   +1 more source

Phosphoinositides and inositol phosphates as molecular glues

FEBS Letters, EarlyView.
Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry, Alexander J. Cutright, Mong Na Claire Loi, Jessica Martin, Joseph W. Gilligan, Jakub N. Kubina, Michael J. Arambula, Susanna Tanada Palmu, Daniella Zhou, Raymond D. Blind   +9 more
wiley   +1 more source