Results 51 to 60 of about 1,821,618 (323)
Moving up and down in the generic multiverse
, 2012 We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a ground model of".
G. Fuchs +13 more
core +3 more sources
Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting
Molecular Oncology, EarlyView.CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia +9 more
wiley +1 more source
MK-fuzzy Automata and MSO Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, practical applications being in development in a project on runtime network ...
Manfred Droste +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
Engineering the Link: From Genome Interaction Maps to Functional Insight
Advanced Biology, EarlyView.Advances in chromosome conformation capture have revealed the genome's 3D organization, yet its causal impact on gene regulation remains elusive. This review highlights emerging genome‐engineering tools ‐ zinc fingers, TALEs, and CRISPR‐Cas9 ‐ that enable targeted manipulation of chromatin loops to dissect structure–function relationships. It discusses
Frido Petersen +5 more
wiley +1 more source
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +1 more source
A Logic for True Concurrency [PDF]
, 2014 We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which
Baldan, Paolo, Crafa, Silvia
core +1 more source
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
A Logic for Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications.
Marco Carbone +3 more
doaj +1 more source
Bulletin of the Section of Logic, 2021 We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to
Damian E. Szmuc
doaj +1 more source