Results 151 to 160 of about 5,283,663 (317)
Formal framework development: framework to system
, 2001 Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophisticated logics for reasoning about agent systems on the other.
d'Inverno, M., Luck, M.
core
, 1992 In computer science we speak of implementing a logic; this is done in a programming language, such as Lisp, called here the implementation language. We also reason about the logic, as in understanding how to search for proofs; these arguments are expressed in the metalanguage and conducted in the metalogic of the object language being implemented.
Basin, David A., Constable, Robert L.
openaire +2 more sources
FEBS Letters, EarlyView.Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley +1 more source
Formulating the Evidence Based Practice Question: A Review of the Frameworks
Evidence Based Library and Information Practice, 2011 IntroductionQuestions are the driving force behind evidence based practice (EBP) (Eldredge, 2000). If there were no questions, EBP would be unnecessary. Evidence based practice questions focus on practical real-world problems and issues.
Karen Sue Davies
doaj
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 +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 +9 more
wiley +1 more source
FEBS Letters, EarlyView.Drosophila park mutants serve as a model for Parkinson's disease. We used this strain to investigate the connection between oxidative stress and the circadian clock mechanism. We showed that increased oxidative stress affects the physiology of pacemaker cells, disrupting their daily structural plasticity. Lack of rhythmic signaling from pacemaker cells
Kamila Zientara +3 more
wiley +1 more source
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
Ανάπτυξη Framework για προγραμματισμό μέσω GUI ρομποτικών συστημάτων
, 2018 Το Graspy αποτελεί ένα framework για ρομποτικά συστήματα που βασίζεται σε δομικά στοιχεία (components). Σκοπός του framework είναι η κατασκευή ευέλικτων κατανεμημένων δομικών στοιχείων που επιτρέπουν στους προγραμματιστές να διαμοιράζονται, να ...
Παπαμιχαλάκης, Γ +1 more
core
Informatica (Slovenia), 2001 Summary: Finding the optimal level of abstraction at which to document the architecture of a system has long been a problem in software engineering, particularly for large and complex systems. In this paper we argue that providing just a single abstraction level is inappropriate, and that instead, multiple architectural descriptions should be developed
Atkinson, Colin, Kühne, Thomas
openaire +2 more sources