Results 31 to 40 of about 318,553 (304)
A Generalized Multiple-Valued FPGA Architecture Based on Improved T-Gate Circuit
IEEE AccessBinary logic based FPGAs have been successfully used in a wide range of applications. Although these devices offer clear advantages, their programmable routing requires significant wiring resources between logic blocks.
Ahmet Unutulmaz, Cem Unsalan
doaj +1 more source
From paraconsistent three-valued logics to multiple-source epistemic logic [PDF]
, 2013 National audienceSeveral interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time.
Ciucci, Davide, Dubois, Didier
core +2 more sources
A Gentzen Calculus for Nothing but the Truth [PDF]
, 2015 In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic (ETL), an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s.
Muskens, R. (Reinhard) +1 more
core +4 more sources
Combinational multiple-valued circuit design by generalised disjunctive decomposition [PDF]
, 1997 A design of multiple-valued circuits based on the multiple-valued programmable logic arrays (MV PLA’s) by generalized disjunctive decomposition is presented.
Kalganova, T
core
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
A New Evolutionary Hardware Approach for Logic Design. [PDF]
, 1999 This poster paper summarizes ongoing dissertation research defining an evolvable hardware methodology for evolving combinational binary and multiple-valued logic circuits.
Kalganova, T
core
Elimination of Cuts in First-order Finite-valued Logics [PDF]
, 1993 A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established.
Baaz, Matthias +2 more
core +4 more sources
Molecular Oncology, EarlyView.This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 more
wiley +1 more source
A multiple-valued logical semantics for Prolog [PDF]
, 1996 The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-first left-to-right evaluation strategy of Prolog interpreters. We propose a new semantics for Prolog programs based on a new fourvalued logic. The semantics is based on a new concept of completion analogous to Clark's
BARBUTI, ROBERTO +1 more
openaire +2 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