Results 171 to 180 of about 3,546,540 (364)
A Bayesian method for the induction of probabilistic networks from data
Machine-mediated learning, 1992 G. Cooper, E. Herskovits
semanticscholar +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Inductive Synthesis of Inductive Heap Predicates
Proceedings of the ACM on Programming LanguagesWe present an approach to automatically synthesise recursive predicates in Separation Logic (SL) from concrete data structure instances using Inductive Logic Programming (ILP) techniques. The main challenges to make such synthesis effective are (1) making it work without negative examples that are required in ILP but are difficult to ...
Ziyi Yang 0004, Ilya Sergey
openaire +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
A Syntax for Higher Inductive-Inductive Types.
, 2018 Higher inductive-inductive types (HIITs) generalise inductive types of dependent type theories in two directions. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalising higher inductive types of homotopy type theory.
Ambrus Kaposi, András Kovács
openaire +3 more sources
FEBS Letters, EarlyView.CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens +8 more
wiley +1 more source
Zdravniški Vestnik, 2007 Background: Drug interactions are an important segment of drug related problems. Therefore their evaluation should be an integral component of patient management, especially in elderly patients who often receive multiple medications.
Iztok Grabnar +8 more
doaj
Induction of apoptotic program in cell-free extracts: requirement for dATP and cytochrome c.
Cell, 1996 X. Liu +4 more
semanticscholar +1 more source
FEBS Letters, EarlyView.Protein aggregates threaten proteostasis and cell health. In human cells, Hsp70–J‐domain protein‐based disaggregases remove aggregates, but how they assemble remains unclear. Our biochemical findings show that DNAJA2‐ and DNAJB1‐containing disaggregase scaffolds enhance luciferase aggregate targeting, and that Hsp70 recruitment by both J‐domain ...
Anna Szlachcic, Nadinath B. Nillegoda
wiley +1 more source
Infliximab for induction and maintenance therapy for ulcerative colitis.
New England Journal of Medicine, 2005 P. Rutgeerts +13 more
semanticscholar +1 more source