Results 61 to 70 of about 18,431 (234)
CERES in propositional proof schemata
, 2016 Die Schnittelimination, eines der bekanntesten Probleme in der Beweistheorie, wurde für Sequenzenkalüle erster Ordnung von Gentzen in seinem gefeierten Hauptsatz definiert und gelöst.
Condoluci, Andrea
core +4 more sources
, 2012 Schemata und Praktiken stehen in einem komplementären Verhältnis zueinander. Sie entstehen aus dem Wechselspiel von Stillstand und Entwicklung. Schemata entstehen in sich wiederholenden und routinisierten Praktiken und Handlungsabläufen. Deren Strukturen
Muhle, Florian +3 more
core +2 more sources
آداب الكوفة, 2012 Schemata are the underlying connections that allow new experience and information to be aligned with previous knowledge. When one reads a text he usually uses all his levels of schemata.
علي غني
doaj +1 more source
An epithelial GPR35 isoform supports tumor‐associated transcriptional and metabolic phenotypes
FEBS Letters, EarlyView.GPR35 generates two functionally distinct isoforms with previously unresolved roles. GPR35‐short mediates immune‐cell chemotaxis, while GPR35‐long is enriched in colorectal cancer epithelium, where it supports increased metabolism, proliferation, and tumor‐associated transcriptional programs.
Jørgen D. Rønneberg +14 more
wiley +1 more source
Discerning protein pools by selective staining with self‐labeling tags
FEBS Letters, EarlyView.Cell surface proteins have an intra‐ and extracellular pool. Combining genetic fusion to self‐labeling tags that can be addressed with small molecule fluorophores allows separating these pools. We highlight recent developments and techniques for state‐of‐the‐art interrogation of cell surface proteins in the complex tissue setting.
Kati Fischermanns, Johannes Broichhagen
wiley +1 more source
Peripheral lysosomes recruit PLEKHG3 to focal adhesions and restrain protrusion dynamics
FEBS Letters, EarlyView.Proximity‐dependent labeling at the LAMTOR complex revealed the Rho GEF PLEKHG3 as a lysosome‐proximal protein directing the study toward the influence of lysosome positioning on actin dynamics and cell motility. We show that PLEKHG3 colocalizes with lysosomes at focal adhesion sites and observe that forced peripheral dispersion of lysosomes hinders ...
Rainer Ettelt +8 more
wiley +1 more source
On the Computational Complexity of Program Schemata
, 1974 An ordering called "faster" is defined on the class of iterative program schemata. It is in good accordance with the intuition of "better" applied to program schemata.
Weihrauch, K.
core +5 more sources
Symbolic Deductive Reasoning using Connectionist Models [PDF]
Computer Science Journal of Moldova, 2004 In this paper, we try to combine the possibility of symbolic deductive reasoning with the learning capability of the connectionist models. We introduce several algorithms for learning relations between concepts and finding paths in a transitive manner ...
Mihai Horia Zaharia +2 more
doaj
Comparative analyses of perceived role of Content Schema and use of appropriate classroom techniques in Improving Reading [PDF]
مجلة الدراسات الإنسانية والأدبيةThe study in hand attempted to investigate Saudi male and female EFL university teachers to record their responses towards the role of content schemata and appropriate classroom techniques in increasing learners’ reading comprehension.
Eidhah Al Malki
doaj +1 more source
Liver organoids: modelling complexity in homeostasis and disease
FEBS Letters, EarlyView.Studying liver in vitro has been challenging because simple 2D cell cultures fail to capture liver's cellular and architectural complexity. To bridge this gap, scientists increasingly use organoids, 3D liver models which better mimic liver composition and function. This review examines recent advances in liver organoid complexity and realism, discusses
Anna M. Dowbaj, Meritxell Huch
wiley +1 more source