Results 71 to 80 of about 2,358,795 (346)
Asian Journal of Medical Sciences, 2021 COVD-19 caused due to SARS-CoV2, family of Coronaviridae, the order Nidovirales, and the genus Coronavirus. A zoonotic spillover infection from bats to humans through some intermediate host was proposed to be responsible for its origin.
Ruby Dhar +5 more
doaj +1 more source
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
, 2006 In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations ...
Lanese, Ivan, Montanari, Ugo
core +3 more sources
Visibly Linear Dynamic Logic [PDF]
, 2015 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.
Weinert, Alexander, Zimmermann, Martin
core +5 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
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
Advanced Functional Materials, EarlyView.2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang +4 more
wiley +1 more source
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source
Intermediate Logics and Visser's Rules
Notre Dame Journal of Formal Logic, 2005 A set \(R\) of admissible rules forms a basis of admissible rules for a logic \(L\) if all the admissible rules of \(L\) can be derived from \(R\). It was proved by the author [J. Symb. Log. 66, 281--294 (2001; Zbl 0986.03013)] that the so-called Visser's rules form a basis of admissible rules for the intuitionistic propositional calculus \textbf{IPC}.
openaire +5 more sources
Preservation of admissible rules when combining logics
, 2016 Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics.
Rasga, Joao +2 more
core +1 more source
Advanced Functional Materials, EarlyView.A unique 2D bionanozyme, engineered from a single amino acid and copper ions, demonstrates peroxidase‐mimicking catalytic activity. This efficient and simple bionanozyme allows for ultrasensitive, equipment‐free visual detection of key biomarkers in both test and real samples, meeting the WHO‐REASSURE standards for practical diagnostic applications ...
Subrat Vishwakarma +5 more
wiley +1 more source
Nested sequents for intermediate logics: the case of Gödel-Dummett logics [PDF]
, 2023 Tim S. Lyon
openalex +3 more sources