Results 41 to 50 of about 38,385 (299)
Characterization of strongly equivalent logic programs in intermediate logics [PDF]
Theory and Practice of Logic Programming, 2003 The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of strong equivalence between logical programs that can be verified in 3-valued Gödel logic, G3, the strongest non-classical intermediate propositional logic (Lifschitz et al., 2001).
de Jongh, Dick H. J., Hendriks, Lex
openaire +2 more sources
FPGA-Based Implementation of Ship Detection for Satellite On-Board Processing
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2022 At present, the raw echo data captured by spaceborne synthetic aperture radar is usually downlinked to the ground stations for imaging and analysis. If the SAR data can be processed on-board, the processing results could be transmitted to users directly ...
Ming Xu +5 more
doaj +1 more source
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]
Scientific Annals of Computer Science, 2016 Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories.
Z. Diskin +3 more
doaj +1 more source
Neutrosophic routes in multiverse of communication [PDF]
Neutrosophic Sets and Systems, 2014 Florentin Smarandache and Ştefan Vlăduţescu the authors and coordinators of the book “Communication Neutrosophic Routes”, published by Education Publishing, Ohio, USA, on 2014, are two remarcable professors, with many researches in neutrosophical ...
Daniela Gîfu, Mirela Teodorescu
doaj
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
Topologies for intermediate logics [PDF]
Mathematical Logic Quarterly, 2014 We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics.
openaire +4 more sources
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
Asian Journal of Medical Sciences, 2021 COVD-19 caused due to SARS-CoV2, family of Coronaviridae, the order Nidovirales, and the genus Coronavirus. A zoonotic spillover infection from bats to humans through some intermediate host was proposed to be responsible for its origin.
Ruby Dhar +5 more
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Value Configuration in Higher Education – Intermediate Tool Development for Teaching in Complex Uncertain Environments and Developing a Higher Education Value Framework [PDF]
Athens Journal of Education, 2017 This conceptual paper addresses the issue of value creation in the field of higher education and pre-sents a new theoretical perspective by assigning the Service Dominant Logic (SD-logic) and develop-ing a higher education value framework, consisting of ...
David Wawrzinek +2 more
doaj +1 more source