Results 41 to 50 of about 481,437 (293)
, 2009 Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents.
Fisman, Dana +2 more
core +2 more sources
Anaphora and the Logic of Change [PDF]
, 1991 This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic.
Muskens, Reinhard
core +5 more sources
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
An RTL-Based General Synthesis Methodology for Device-Independent Ternary Logic Circuits
IEEE AccessTernary logic circuits are considered a high-potential alternative that can continue the technological advance of binary logic. Current studies in ternary logic focus on two aspects: One focuses on designing specific ternary circuits (such as adders ...
Hanmok Park +3 more
doaj +1 more source
Nanomaterials, 2021 Carbon dots (CDs)-based logic gates are smart nanoprobes that can respond to various analytes such as metal cations, anions, amino acids, pesticides, antioxidants, etc.
Shweta Pawar +3 more
doaj +1 more source
Cycle time optimization by timing driven placement with simultaneous netlist transformations [PDF]
, 2006 We present new concepts to integrate logic synthesis and physical design. Our methodology uses general Boolean transformations as known from technology-independent synthesis, and a recursive bi-partitioning placement algorithm. In each partitioning step,
Hartje, Hendrik +3 more
core
A Synthesis Method for Quaternary Quantum Logic Circuits
, 2012 Synthesis of quaternary quantum circuits involves basic quaternary gates and logic operations in the quaternary quantum domain. In this paper, we propose new projection operations and quaternary logic gates for synthesizing quaternary logic functions. We
Chakrabarti, Amlan +2 more
core +1 more source
Propositional Dynamic Logic for Message-Passing Systems [PDF]
, 2010 We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
B. Bollig and D. Kuske +13 more
core +4 more sources
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Heuristic Synthesis of Reversible Logic – A Comparative Study
Advances in Electrical and Electronic Engineering, 2014 Reversible logic circuits have been historically motivated by theoretical research in low-power, and recently attracted interest as components of the quantum algorithm, optical computing and nanotechnology.
Chua Shin Cheng, Ashutosh Kumar Singh
doaj +1 more source