Results 41 to 50 of about 3,702,791 (303)

A note on the expressive power of linear orders [PDF]

Logical Methods in Computer Science, 2011
This article shows that there exist two particular linear orders such that first-order logic with these two linear orders has the same expressive power as first-order logic with the Bit-predicate FO(Bit). As a corollary we obtain that there also exists a
Thomas Schwentick, Nicole Schweikardt
doaj   +1 more source

‘Guide and Prejudice’— How Argonautes recognize targets across domains of life

FEBS Letters, EarlyView.
Argonaute proteins use short nucleic‐acid guides to locate and regulate specific targets across all domains of life. Despite striking diversity—from human gene silencing to bacterial immune defence—all Argonautes share a conserved three‐stage recognition logic: guide‐directed sampling, progressive target pairing with a conformational checkpoint and ...
Jack P. K. Bravo
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

Light Linear Logic

Information and Computation, 1995
This paper draws the main ``boulevards'' of a logical approach to complexity, based on the idea that the expressive power of a logical system is the complexity of its cut-elimination procedure. A very careful handling of Linear Logic (LL) exponentials leads the author to define a weak LL (the ``Light Linear Logic'' LLL), for which he proves the ...
openaire   +3 more sources

From junk to function — How weak selection in eukaryotes builds new parts and drives genomic complexity

FEBS Letters, EarlyView.
How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley   +1 more source

Automata Linear Dynamic Logic on Finite Traces [PDF]

Logical Methods in Computer Science
Temporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance between expressiveness and complexity.
Kevin W. Smith, Moshe Y. Vardi
doaj   +1 more source

Contradictory Perspectives on Academic Support: Beyond Linear Logic

Frontiers in Education, 2021
This paper employs a Square of Opposition as an interpretivist heuristic device in order to interrogate perceptions of academic support. The Square of Opposition is used to move beyond binary explanations of academic development subsumed within learner ...
Fiona Hallett
doaj   +1 more source

Visibly linear dynamic logic [PDF]

Theoretical Computer Science, 2018
We introduce Visibly Linear Dynamic Logic (VLDL), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown languages over finite words. In VLDL one can, e.g., express that a function resets a variable to its original value after its execution, even in the presence of an unbounded number of intermediate ...
Alexander Weinert, Martin Zimmermann 0002   +1 more
openaire   +7 more sources

Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining

Molecular Oncology, EarlyView.
IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis, Jack V. Mills, Wojciech Niedzwiedz, Valentine M. Macaulay   +3 more
wiley   +1 more source

Linear Temporal Logic-based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence, 2016
In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments.
Anil Kumar, Rahul Kala
doaj   +1 more source