Results 21 to 30 of about 26,770 (264)
Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]
Logical Methods in Computer Science, 2013 The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj +1 more source
An Holistic Extension for Classical Logic via Quantum Fredkin Gate
Entropy, 2021 An holistic extension for classical propositional logic is introduced in the framework of quantum computation with mixed states. The mentioned extension is obtained by applying the quantum Fredkin gate to non-factorizable bipartite states. In particular,
Hector Freytes, Giuseppe Sergioli
doaj +1 more source
Unclosed questions in non-classical logic (in memory of Professor D. V. Pivovarov)
Интеллект. Инновации. ИнвестицииAs a methodological tool of sorts in the memorial paper makes use of reconstruction of professor Pivovarov’s talks, which often displayed genuine, persevering and always critical interest in non-classical logic.
A. G. Kislov
doaj +1 more source
Rivista di Estetica, 2010 The sorites as a formal theory. The sorites paradox has been understood as a failure of classical logic and a way out can be found by choosing a non classical logic (fuzzy logic, for instance).
Maurizio Negri
doaj +1 more source
Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura, 2019 The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful.
Mirosław Lakomy
doaj +1 more source
Integration of circadian and hypoxia signaling via non‐canonical heterodimerization
FEBS Letters, EarlyView.CLOCK, BMAL1, and HIFs are basic helix‐loop‐helix and Per‐Arnt‐Sim domain (bHLH‐PAS) proteins, which function as transcription factors. bHLH‐PAS proteins are designated in two classes. Many class I proteins are regulated by environmental signals via their PAS domains, but such signals have not been identified for all.
Sicong Wang, Katja A. Lamia
wiley +1 more source
Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
Perspectivas em Ciência da InformaçãoRESUMO Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação.
Lauro César Araujo, Mamede Lima-Marques
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
Bisimulation in Inquisitive Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj +1 more source
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source