Results 301 to 310 of about 2,250,044 (344)

A Highly Secure FPGA-Based Dual-Hiding Asynchronous-Logic AES Accelerator Against Side-Channel Attacks

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2022
Jun-Sheng Ng, Juncheng Chen, Kwen-Siong Chong, J. Chang, B. Gwee   +4 more
semanticscholar   +1 more source

Parallel implementation of optical symbolic substitution logic using shadow-casting and polarization.

Applied Optics, 1990
A. Louri
semanticscholar   +1 more source

Highly parallel arithmetic algorithms for a digital optical processor using symbolic substitution logic.

Applied Optics, 1990
K. Brenner, M. Kufner, S. Kufner
semanticscholar   +1 more source

Substitution, Quantifiers and Identity in Modal Logic

2001
The categorical point of view in logic tries to understand the meaning of all the connectives and operators in a structural, conceptual way as opposed to the purely descriptive point of view. What is in question is the explanation of the linguistic phenomena that is not reduced to a mere description, say, of the logical laws that hold or do not hold in
openaire   +1 more source

Implementation of symbolic substitution logic using optical associative memories.

Applied Optics, 1987
F. Yu, S. Jutamulia
semanticscholar   +1 more source

Practical Aspects In The Implementation Of Symbolic Substitution Logic

Optics & Photonics, 1989
P. A. Ramamoorthy, S. Antony
semanticscholar   +1 more source

Efficient optical implementation method for symbolic substitution logic based on shadow casting

, 1989
A. Louri
semanticscholar   +1 more source

Optical Laboratory Symbolic Substitution Logic And Numeric Processor

Other Conferences, 1989
E. Botha, D. Casasent, Yun Zhang
semanticscholar   +1 more source

Identity in Mares-Goldblatt Models for Quantified Relevant Logic

Journal of Philosophical Logic, 2021
Shawn Standefer
semanticscholar   +1 more source

Substitution in Logic

Monist, 1905
openaire   +1 more source