Results 151 to 160 of about 8,731,572 (183)
Conic curve encryption and digital signature based on complex number theory for cybersecurity applications. [PDF]
Sci RepKamal A +3 more
europepmc +1 more source
Content-aware foveated camera for multi-target tracking. [PDF]
Opt ExpressZang Z, Kim DY, Zeng Y, Gao L.
europepmc +1 more source
Exorbital Lacrimal Gland Ablation and Regrafting Induce Inflammation but Not Regeneration or Dry Eye. [PDF]
Int J Mol SciMurashima AAB +9 more
europepmc +1 more source
Research on a Phase-Shift-Based Discontinuous PWM Method for 24V Onboard Thermally Limited Micro Voltage Source Inverters. [PDF]
Micromachines (Basel)Wang S, Xia C.
europepmc +1 more source
An authorizable and preprocessable data transmission scheme based on elliptic curves. [PDF]
Sci RepZhu Z +5 more
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
J. Comput. Biol., 2023
We present a framework called the Reasoning Engine, which implements Satisfiability Modulo Theories (SMT)-based methods within a unified computational environment to address diverse biological analysis problems. The Reasoning Engine was used to reproduce
B. Yordanov +5 more
semanticscholar +1 more source
We present a framework called the Reasoning Engine, which implements Satisfiability Modulo Theories (SMT)-based methods within a unified computational environment to address diverse biological analysis problems. The Reasoning Engine was used to reproduce
B. Yordanov +5 more
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
International Joint Conference on Artificial Intelligence
Ensuring fairness is essential for ethical decision-making in various domains. Informally, a neural network is considered fair if and only if it treats similar individuals similarly in a given task. We introduce FaVeR (Fairness Verification and Repair),
Arya Fayyazi +3 more
semanticscholar +1 more source
Ensuring fairness is essential for ethical decision-making in various domains. Informally, a neural network is considered fair if and only if it treats similar individuals similarly in a given task. We introduce FaVeR (Fairness Verification and Repair),
Arya Fayyazi +3 more
semanticscholar +1 more source