Results 21 to 30 of about 47,777 (170)
A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database
Information, 2021 To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate ...
Chuangtao Ma +2 more
doaj +1 more source
High performance quaternary logic designs using GNFETs
e-Prime: Advances in Electrical Engineering, Electronics and Energy, 2023 The implementations of quaternary circuit schematics are presented in this paper. The quaternary logic is a better choice over the conventional logics because it offers high operating speed, reduced chip area and reduced on-chip interconnects.
Shaik Javid Basha, P. Venkatramana
doaj +1 more source
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
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
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
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
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
On intermediate justification logics
Logic Journal of the IGPL, 2022 AbstractWe study arbitrary intermediate propositional logics extended with a collection of axioms from (classical) justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev’s, Fitting’s or Lehmann and Studer’s models for classical ...
openaire +2 more sources
Structural completeness in propositional logics of dependence [PDF]
, 2015 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which
Iemhoff, Rosalie, Yang, Fan
core +2 more sources