Results 41 to 50 of about 51,964 (308)
Autocorrelations of Vectorial Boolean Functions [PDF]
, 2021 Recently, BarOn et al. introduced at Eurocrypt'19 a new tool, called the differential-linear connectivity table (DLCT), which allows for taking into account the dependency between the two subciphers E0 and E1 involved in differential-linear attacks. This paper presents a theoretical characterization of the DLCT, which corresponds to an autocorrelation ...
Canteaut, Anne +6 more
openaire +3 more sources
A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho +7 more
wiley +1 more source
The threshold order of a Boolean function [PDF]
, 1991 The notion of a threshold function as a Boolean function for which there is a hyperplane in Rn which separates the true vectors from the false vectors of the function is generalized to the case in which more general surfaces may be needed for the ...
Wang, Chi, Williams, A.C.
core +1 more source
Dirichlet product for boolean functions [PDF]
Journal of Applied Mathematics and Computing, 2016 Boolean functions play an important role in many symmetric cryp-tosystems and are crucial for their security. It is important to design boolean functions with reliable cryptographic properties such as balanced-ness and nonlinearity. Most of these properties are based on specific structures such as Möbius transform and Algebraic Normal Form.
Nitaj, Abderrahmane +2 more
openaire +5 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs [PDF]
, 2008 Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input correspondence is unknown and finding support-reducing bound sets.
Kettle, Neil +3 more
core +1 more source
Truth table for a Boolean function. [PDF]
, 2014 Truth table for a Boolean function.
Javier Macia (2174376) +1 more
core +3 more sources
Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures
Advanced Engineering Materials, EarlyView.We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol +5 more
wiley +1 more source
Transfer Function Synthesis without Quantifier Elimination [PDF]
, 2011 Recently it has been shown how transfer functions for linear template constraints can be derived for bit-vector programs by operating over propositional Boolean formulae. The drawback of this method is that it relies on existential quantifier elimination,
Andy King +3 more
core +1 more source