Results 21 to 30 of about 3,184,608 (250)
Genomics, Proteomics & Bioinformatics, 2022 MicroRNAs (miRNAs) are trans-acting small regulatory RNAs that work coordinately with transcription factors (TFs) to shape the repertoire of cellular mRNAs available for translation.
Zhaoxu Gao +9 more
doaj +1 more source
EPSILON THEOREMS IN INTERMEDIATE LOGICS [PDF]
Journal of Symbolic Logic (JSL), 2019 Any intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas.
M. Baaz, R. Zach
semanticscholar +1 more source
A Putative Model of Transformative Teaching Self [PDF]
Applied Research on English Language, 2017 Reconciliating the logics of Post-method Era, Critical Pedagogy, and Sociocultural Theory in its conceptual framework, this study postulated Iranian EFL teachers’ socio-pedagogical identity as comprising conformity, criticality, and conformity ...
Seyyed Mohammad Ali Soozandehfar +1 more
doaj +1 more source
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Organization Management Classification Objectives
Современные информационные технологии и IT-образование, 2021 In the article are considered entities classification issues for the purposes of decision-making in commercial companies and also there are offered algorithm and tools for employees efficiency analysis conducting in the context of clients’ requests ...
Imran Magerramov +4 more
doaj +1 more source
Modal Logics are Coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Pattinson, Dirk +4 more
core +2 more sources
Spatial Logics for Bigraphs [PDF]
, 2005 Bigraphs are emerging as an interesting model for concurrent calculi, like CCS, pi-calculus, and Petri nets. Bigraphs are built orthogonally on two structures: a hierarchical place graph for locations and a link (hyper-)graph for connections.
Conforti, G., Macedonio, D., Sassone, V.
core +2 more sources
Frontiers in Sustainable Food Systems, 2022 Dam-induced resettlement is a typical pattern of development-induced displacement and resettlement (DIDR), which concludes involuntariness and leads to injustice practices.
Jie Gou +3 more
doaj +1 more source
Dynamical modeling predicts an inflammation-inducible CXCR7+ B cell precursor with potential implications in lymphoid blockage pathologies [PDF]
PeerJ, 2020 Background The blockage at the early B lymphoid cell development pathway within the bone marrow is tightly associated with hematopoietic and immune diseases, where the disruption of basal regulatory networks prevents the continuous replenishment of ...
Jennifer Enciso +3 more
doaj +2 more sources