Results 41 to 50 of about 82,622 (268)
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
On the Lambek Calculus with an Exchange Modality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule.
Jiaming Jiang +2 more
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 +1 more
openaire +6 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 +3 more
wiley +1 more source
Undecidability of Multiplicative Subexponential Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Subexponential logic is a variant of linear logic with a family of exponential connectives—called subexponentials—that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening and contraction.
Kaustuv Chaudhuri
doaj +1 more source
Linear Logic Properly Displayed
ACM Transactions on Computational Logic, 2023 We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled ...
Giuseppe Greco 0001 +1 more
openaire +3 more sources
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
Two-Variable Logic with Two Order Relations [PDF]
Logical Methods in Computer Science, 2012 It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete.
Thomas Schwentick, Thomas Zeume
doaj +1 more source
Simulating Linear Logic in 1-Only Linear Logic
CoRR, 2017 Here is a copy of CNRS, Laboratoire de Mathematiques Discretes Pretirage no 94-02 January 28 ...
openaire +2 more sources