Results 201 to 210 of about 8,824,973 (236)
A compact public key encryption with equality test for lattice in cloud computing. [PDF]
Sci RepHe J, Ye Q, Yang Z, Wang S, Wang J.
europepmc +1 more source
Spin angular momentum modulation via spin-orbit interaction in fractional orbital angular momentum beams. [PDF]
NanophotonicsChen X, Meng F, Du K, Lin M, Du L.
europepmc +1 more source
Quantum Secure Multi-Party Summation with Graph State. [PDF]
Entropy (Basel)Lu Y, Ding G.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
SPIN, 2023
The traditional way of sharing secret images through Secret Image Sharing (SIS) has become more susceptible to malicious users due to its noise-like shared images.
A. Rawat, Maroti Deshmukh, Maheep Singh
semanticscholar +1 more source
The traditional way of sharing secret images through Secret Image Sharing (SIS) has become more susceptible to malicious users due to its noise-like shared images.
A. Rawat, Maroti Deshmukh, Maheep Singh
semanticscholar +1 more source
Design, Automation and Test in Europe, 2022
Due to the increasingly complex design rules and geo-metric layout constraints within advanced FinFET nodes, automated placement of full-custom analog/mixed-signal (AMS) designs has become increasingly challenging. Compared with traditional planar nodes,
Hao Chen +3 more
semanticscholar +1 more source
Due to the increasingly complex design rules and geo-metric layout constraints within advanced FinFET nodes, automated placement of full-custom analog/mixed-signal (AMS) designs has become increasingly challenging. Compared with traditional planar nodes,
Hao Chen +3 more
semanticscholar +1 more source
Verifying Neural Networks with SMT: An Experimental Evaluation
IEEE International Conference on e-Science, 2023The popularity of neural networks has grown significantly in various domains, however their use in safety-critical areas has been restricted due to reliability concerns.
Dario Guidotti, L. Pandolfo, Luca Pulina
semanticscholar +1 more source
Cuadernos de Educación y Desarrollo
Utilizamos um módulo experimental para aplicação dos conhecimentos em controle de processo, para o processo de aprendizagem da disciplina de controle. Através do tratamento de variáveis utilizadas nas indústrias, como temperatura, umidade do ar e vazão ...
Alisson Luan Daga +2 more
semanticscholar +1 more source
Utilizamos um módulo experimental para aplicação dos conhecimentos em controle de processo, para o processo de aprendizagem da disciplina de controle. Através do tratamento de variáveis utilizadas nas indústrias, como temperatura, umidade do ar e vazão ...
Alisson Luan Daga +2 more
semanticscholar +1 more source
Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach
IEEE/RJS International Conference on Intelligent RObots and Systems, 2020Multi-robot path planning (MRPP) is a task of planning collision free paths for a group of robots in a graph. Each robot starts in its individual starting vertex and its task is to reach a given goal vertex. Existing techniques for solving MRPP optimally
Pavel Surynek
semanticscholar +1 more source