Results 71 to 80 of about 1,910,103 (290)
An Object-Oriented Framework for Explicit-State Model Checking [PDF]
, 2007 This paper presents a conceptual architecture for an object-oriented framework to support the development of formal verification tools (i.e. model checkers).
Kattenbelt, M., Rensink, A., Ruys, T.C.
core +2 more sources
Nova Biotechnologica et Chimica, 2015 Sediment contamination in coastal areas with high anthropogenic pressure is a widespread environmental problem. Metal contaminants are of particular concern, since they are persistent and cannot be degraded. Microorganisms can influence metal mobility in
Fonti Viviana +2 more
doaj +1 more source
A formal theory of conceptual modeling universals [PDF]
, 2004 Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo +2 more
core +3 more sources
Conceptual modelling: framework, principles, and future research [PDF]
, 2007 The conceptual modelling task in a simulation project is very important and yet is still generally regarded as more of an art than a science. The meaning and nature of conceptual modelling are discussed and a framework set out.
Brooks, R J
core
, 2007 This paper introduces a theory about the role of language in learning physics. The theory is developed in the context of physics students' and physicists' talking and writing about the subject of quantum mechanics.
A. B. Arons +30 more
core +5 more sources
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
Oscillations, metastability and phase transitions in brain and models of cognition [PDF]
, 2006 Neuroscience is being practiced in many different forms and at many different organizational levels of the Nervous System. Which of these levels and associated conceptual frameworks is most informative for elucidating the association of neural processes
Werner, MD Gerhard
core
mSystems, 2019 Accurate predictions across multiple fields of microbiome research have far-reaching benefits to society, but there are few widely accepted quantitative tools to make accurate predictions about microbial communities and their functions.
Eric Sakowski +29 more
doaj +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
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