Results 41 to 50 of about 16,840,789 (262)
ICTACT Journal on Soft Computing, 2018 Today, the requirement of controllers in the field of engineering and process industries is going to be increased in order to control. Among all controllers, Proportional Integral Derivative (PID) controllers are widely used due to its easy ...
U. Hada, V. Soni
doaj +1 more source
Tree Languages Defined in First-Order Logic with One Quantifier Alternation [PDF]
Logical Methods in Computer Science, 2010 We study tree languages that can be defined in \Delta_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a first-order formula whose quantifier prefix is .
Mikolaj Bojanczyk, Luc Segoufin
doaj +1 more source
Informatika, 2021 There are three main families of inference algorithms in first-order logic: direct inference and its application to deductive databases and production systems; backward inference procedures and logic programming systems; theorem proving systems based on ...
A. М. Sobol +2 more
doaj +1 more source
Molecular Oncology, EarlyView.This review summarizes the transcription factors, repressive chromatin‐modifying complexes, and epigenetic mechanisms that control fetal hemoglobin repression. Notably, many regulators of γ‐globin silencing also function in transcriptional and epigenetic networks that drive cancer, highlighting opportunities to translate advances in hemoglobinopathy ...
Meigen Yu +3 more
wiley +1 more source
Reconciling First-Order Logic to Algebra
, 2018 We start from the algebraic method of theorem-proving based on the translation of logic formulas into polynomials over finite fields, and adapt the case of first-order formulas by employing certain rings equipped with infinitary operations.
Mariana Matulovic +5 more
core +1 more source
A modal logic for reasoning on consistency and completeness of regulations [PDF]
, 2009 In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness.
Garion, Christophe +2 more
core +1 more source
Molecular Oncology, EarlyView.Arginine methylation can be viewed as a persistence‐prone post‐translational modification regulated by a network of PRMTs. Competitive and compensatory interactions among PRMTs can redistribute methylation across substrate pools shaped by sequence, structural, spatial, and environmental layers, reinforcing RNA‐processing, chromatin, and signaling ...
So Hyun Kwon, Ji Min Lee
wiley +1 more source
Structures of Multi-line Standard Contradictions in First-order Logic [PDF]
Jisuanji kexueAutomatic reasoning constitutes a critical research domain in artificial intelligence,where inference rules play a pivotal role in determining its efficiency.Deductive reasoning based on the separation of contradictions represents a reliable and complete
ZENG Dan, HE Xingxing, LI Yingfang, LI Tianrui
doaj +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Executable First-Order Queries in the Logic of Information Flows [PDF]
Logical Methods in Computer ScienceThe logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer +4 more
doaj +1 more source