Results 21 to 30 of about 2,928,115 (335)
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Benzmüller, Christoph +2 more
core +5 more sources
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
, 2010 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
A. Dawar +27 more
core +2 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Automated Termination Proofs for Logic Programs by Term Rewriting
, 2008 There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into
Giesl, J. +3 more
core +2 more sources
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
FEBS Letters, EarlyView.This perspective highlights emerging insights into how the circadian transcription factor CLOCK:BMAL1 regulates chromatin architecture, cooperates with other transcription factors, and coordinates enhancer dynamics. We propose an updated framework for how circadian transcription factors operate within dynamic and multifactorial chromatin landscapes ...
Xinyu Y. Nie, Jerome S. Menet
wiley +1 more source
The Court Tradition of Japan in Konjaku Monogatarishū
Ежегодник Япония, 2023 Among the literary works of the Heian era (late 8th – 12th centuries), Tales of Times Now Past (Konjaku Monogatarishū, 1120s) is notable for covering a much broader range of characters than kagami historical texts, monogatari tales, early gunki ...
N. N. Trubnikova, M. S. Kolyada
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
Smart Charging of Electric Vehicles Considering SOC-Dependent Maximum Charging Powers
Energies, 2021 The aim of this work is to schedule the charging of electric vehicles (EVs) at a single charging station such that the temporal availability of each EV as well as the maximum available power at the station are considered. The total costs for charging the
Benjamin Schaden +3 more
doaj +1 more source
The succinctness of first-order logic on linear orders [PDF]
, 2011 Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Grohe, Martin, Schweikardt, Nicole
core