Results 141 to 150 of about 25,432,868 (344)
Assume-guarantee verification for probabilistic systems [PDF]
, 2010 We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the ...
Kwiatkowska, M. +3 more
core
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Observing Participating Observation—A Re-description Based on Systems Theory
Forum: Qualitative Social Research, 2010 Current methodology concerning participating observation in general leaves the act of observation unobserved. Approaching participating observation from systems theory offers fundamental new insights into the topic.
Tina Bering Keiding
doaj
An Overview of Global Observing Systems Relevant to GODAE [PDF]
Oceanography, 2009 A global ocean observing system for the physical climate system, comprising both in situ and satellite components, was conceived largely at the Ocean Observations conference in St. Raphael, France, in October 1999.
Mike Johnson +25 more
doaj
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
, 2012 Humanoid robots are designed and shaped to have physical bodies resembling humans. The anthropomorphic shape is aiming at facilitating interactions between humans and robots with the ultimate goal of making robots acceptable social partners. This attempt
Hermann J. Müller +11 more
core +1 more source
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source
Economic Considerations in the Design of Ocean Observing Systems [PDF]
Oceanography, 2009 Recent work on the potential economic value of improved coastal ocean observing capabilities suggests that aggregate values of better ocean observing system information for all US waters could be in the hundreds of millions of dollars per year.
Hauke L. Kite-Powell
doaj
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source