Results 61 to 70 of about 1,546,334 (124)

Taylor Series Interpolation-Based Direct Digital Frequency Synthesizer with High Memory Compression Ratio. [PDF]

Sensors (Basel)
Palomäki KI, Nurmi J.
europepmc   +1 more source

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

, 2003
Karim Nour, Christophe Raffalli
openalex   +1 more source

Chern networks: reconciling fundamental physics and device engineering. [PDF]

Nat Commun
Gilbert MJ.
europepmc   +1 more source

New techniques for automated deduction in finite and infinite, first-order many-valued logics

, 1993
Nicolas Zabel
openalex   +1 more source

Sound search in a denotational semantics for first order logic

, 2003
C. F. M. Vermeulen
openalex   +2 more sources

Using First-Order Logic to Reason about Policies [PDF]

, 2008
Joseph Y. Halpern, Vicky Weissman
openalex   +1 more source

Programmable Photonic Logic Array Based on Micro-Ring Resonators and All-Optical Modulation. [PDF]

Micromachines (Basel)
Liu J, Zhou S, Sui X.
europepmc   +1 more source

Automatization of proof-search for a fragment of the first-order linear tense logic

, 2003
Romas Alonderis
openalex   +2 more sources

Specifying Behavioural Features of Design Patterns in First Order Logic [PDF]

, 2008
Ian Bayley, Hong Zhu
openalex   +1 more source

An optimized informer model design for electric vehicle SOC prediction. [PDF]

PLoS One
Xie X, Huang F, Long Y, Peng Y, Zhou W.
europepmc   +1 more source