Results 111 to 120 of about 95,918 (238)
, 2017 Boolean Satisfiability (SAT) is fundamental in many diverse areas such as artificial intelligence, formal verification, and biology. Recent universal-hashing based approaches to the problems of sampling and counting crucially depend on the runtime ...
Dudek, Jeffrey M
core
A 0.8 V 0.23 nW 1.5 ns Full-Swing Pass-Transistor XOR Gate in 130 nm CMOS
Active and Passive Electronic Components, 2013 A power efficient circuit topology is proposed to implement a low-voltage CMOS 2-input pass-transistor XOR gate. This design aims to minimize power dissipation and reduce transistor count while at the same time reducing the propagation delay.
Nabihah Ahmad, Rezaul Hasan
doaj +1 more source
Structural Rewriting in XOR-Majority Graphs
, 2019 In this paper, we present a structural rewriting method for a recently proposed XOR-Majority graph (XMG), which has exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives.
Chu, Zhufei +9 more
core +1 more source
AES Security Improvement by Utilizing New Key-Dependent XOR Tables
IEEE AccessIncreasing the security of block ciphers is a topic of great interest today, and thus there is a variety of work to enhance the strength of such ciphers.
Tran Thi Luong +2 more
doaj +1 more source
DRAT Proofs for XOR Reasoning [PDF]
, 2016 Unsatisfiability proofs in the DRAT format became the de facto standard to increase the reliability of contemporary SAT solvers. We consider the problem of generating proofs for the XOR reasoning component in SAT solvers and propose two methods: direct translation transforms every XOR constraint addition inference into a DRAT proof, whereas T ...
Tobias Philipp, Adrian Rebola-Pardo
openaire +1 more source
A secured cloud‐medical data sharing with A‐BRSA and Salp ‐Ant Lion Optimisation Algorithm
CAAI Transactions on Intelligence Technology, EarlyView.Abstract Sharing medical data among healthcare providers, researchers, and patients is crucial for efficient healthcare services. Cloud‐assisted smart healthcare (s‐healthcare) systems have made it easier to store EHRs effectively. However, the traditional encryption algorithms used to secure this data can be vulnerable to attacks if the encryption key
Adel Binbusayyis +7 more
wiley +1 more source
Three XOR-Lemmas -- An Exposition
, 1997 We provide an exposition of three Lemmas which relate general properties of distributions with the exclusive-or of certain bit locations. The first XOR-Lemma, commonly attributed to U.V.
Oded Goldreich
core
CAAI Transactions on Intelligence Technology, EarlyView.Abstract Data is the key element that runs the modern society. Large amounts of data are being released day by day as a result of many activities. The digital data is transferred through the Internet which may be vulnerable to attacks while transmitting. Especially, the medical data is observed to be of at most importance.
Rupa Ch +4 more
wiley +1 more source
Template version (207 pages). A 5-series presentation discussing several themes of this work is at: https://m.youtube.com/playlist?list=PL3rTBtU0TK_DEFrUY_h-ZX4KLBKcuaF92. Related topics of discussion are at: https://www.youtube.com/watch?v=4uhOTIPJwrU, https://www.youtube.com/watch?v=_YxFLMFZdPA, https://www.youtube.com/watch?v=bFSI6PIt6xI, https ...
openaire +2 more sources
Energy Conversion and Economics, EarlyView.Abstract Fast oscillations observed in wind farms and other renewable energy systems interfaced with power grids must be addressed promptly to prevent devastating shutdown and damage. Existing approaches mainly target high‐magnitude oscillations using data‐intensive convolutional neural networks (CNNs), leading to delayed detection and overlooking mild
Shyam Yathirajam +8 more
wiley +1 more source