Results 61 to 70 of about 41,649,397 (242)
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
An Expert System for Supporting the Design and Selection of Mechanical Equipment for Recreational Crafts [PDF]
TransNav, 2014 Expert Systems can be defined as computer programs, whose main task is to simulate a human expert, usually in a narrow field of expertise. Expert Systems have experienced tremendous growth and popularity since their commercial introduction in the early ...
Tomasz Gonciarz
doaj +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 +2 more
wiley +1 more source
Piloting a new approach: Making use of technology to present a distance learning computer science course [PDF]
, 1996 Computer‐Mediated Communication (CMC) systems have been described and evaluated in a number of ways by different researchers in the field. This paper proposes that computer conferencing systems should be designed to encourage students to participate in ...
Wilson, Tina +3 more
core +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
Identifying and clustering the Personal Knowledge Management (PKM) systems
Iranian Journal of Information Processing & Management, 2016 This paper aims to identify and cluster the Personal Knowledge Management (PKM) systems. To achieve this objective, survey research method was used. In the first phase, 47 systems were identified based on the literature. Then, in the second phase, thirty
Atefeh Sharif,
doaj
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
Ìнформаційні технології в освіті, 2016 The article highlights the main results of the study using networking technologies of open systems in training bachelors of computer science. The process of informatization of educational policy in Ukraine as a basis for the introduction of network ...
Tatiana Vdovychyn
doaj
Automatic generation of learning path for teaching informatics at university
MethodsXThe article discusses the problem concept maps are crucial tools for visualizing informatics knowledge in adaptive learning systems. In computer science education, concept maps are essential for visualizing complex knowledge structures and supporting ...
Aynur Aliyeva, Ali Abbasov
doaj +1 more source
Microbiome‐blood–brain barrier interactions in aging — mechanisms and therapeutic potential
FEBS Letters, EarlyView.Aging reshapes the gut microbiome (↓SCFA‐producing commensals; ↑pro‐inflammatory outputs), shifting circulating metabolites (↓SCFAs; ↑LPS, ↑TMAO, ↑PAA) that act at the BBB to increase nonspecific transcytosis, alter transport, and promote astrocyte reactivity, heightening brain vulnerability.
Daniel Cuervo‐Zanatta +3 more
wiley +1 more source