Results 151 to 160 of about 133,374 (215)

A novel obfuscation method based on majority logic for preventing unauthorized access to binary deep neural networks. [PDF]

Sci Rep
Mohseni A, Moaiyeri MH, Adel MJ.
europepmc   +1 more source

A lightweight framework to secure IoT devices with limited resources in cloud environments. [PDF]

Sci Rep
Pandey VK, Sahu D, Prakash S, Rathore RS, Dixit P, Hunko I.   +5 more
europepmc   +1 more source

Model-checking graded computation-tree logic with finite path semantics

, 2019
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino   +3 more
openalex   +1 more source

Generative design optimization of tree distribution for enhanced thermal comfort in communal spaces with special reference to hot arid climates. [PDF]

Sci Rep
Maged A, Abdelalim A, Mohamed AFA.
europepmc   +1 more source

Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller

, 2019
KH Kochaleema, G. Santhosh Kumar
openalex   +2 more sources

Efficient Real-Time Isotope Identification on SoC FPGA. [PDF]

Sensors (Basel)
Guerrero-Morejón K, Hinojo-Montero JM, Jiménez-Sánchez J, Rocha-Jácome C, González-Carvajal R, Muñoz-Chavero F.   +5 more
europepmc   +1 more source

An Efficient Cluster-Based Mutual Authentication and Key Update Protocol for Secure Internet of Vehicles in 5G Sensor Networks. [PDF]

Sensors (Basel)
Su X, Xu Y.
europepmc   +1 more source

Energy efficient approximate compressor architectures for high performance image multiplication in CNTFET technology. [PDF]

Sci Rep
Foroutan P, Navi K.
europepmc   +1 more source

Efficient, Hierarchical, and Object-Oriented Electronic Structure Interfaces for Direct Nonadiabatic Dynamics Simulations. [PDF]

J Chem Theory Comput
Mausenberger S, Polonius S, Mai S, González L.   +3 more
europepmc   +1 more source

A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations

, 2015
Paul Tarau
openalex   +2 more sources