Results 101 to 110 of about 38,286 (200)

S4 modal sequent calculus as intermediate logic and intermediate language [PDF]

Jean Caspar, Guillaume Munch-Maccagnoni
openalex  

Fully automated processor chip design: motivation, challenges and future directions. [PDF]

Natl Sci Rev
Zhang R, Guo J, Cheng S, Chen Y.
europepmc   +1 more source

Logic model-based performance management systems for export promotion agencies. [PDF]

Open Res Eur
Ruiz-Coupeau S, Ramon-Jeronimo JM, Florez-Lopez R.   +2 more
europepmc   +1 more source

Universal Logic-in-Memory Gates Using Reconfigurable Silicon Transistors. [PDF]

Micromachines (Basel)
Kim S, Kim N, Ko Y, Lim D.
europepmc   +1 more source

A mixed methods process evaluation of a collaborative outpatient palliative care clinic for patients with end-stage liver disease. [PDF]

BMC Palliat Care
Warmels G, Wills A, Bruni A, Cohen L, Kelly E, Downar J, Patel AA, Dargavel G, Rauthu S, Isenberg SR.   +9 more
europepmc   +1 more source

Local tabularity is decidable for bi-intermediate logics of trees and of co-trees

Miguel Martins, Tommaso Moraschini
openalex   +1 more source

Power optimized quaternary logic circuits based on CNTFETs. [PDF]

Discov Nano
Rupani A, Bansal D, Sharma K.
europepmc   +1 more source

Development of a comprehensive school anti-bullying logic model in Abu Dhabi: a multi-method participatory approach. [PDF]

Front Public Health
Al-Ketbi A.
europepmc   +1 more source

Modified vedic multiplier architecture using Nikhilam and Karatsuba algorithms with hybrid adders for enhanced performance. [PDF]

Sci Rep
A S, A S.
europepmc   +1 more source

Adaptive observed-based backstepping control for quantized robot arms. [PDF]

Sci Rep
Du Z, Tang H, Gao S, Cai Y.
europepmc   +1 more source