Results 121 to 130 of about 236,217 (313)
Laser‐Induced Graphene from Waste Almond Shells
Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
On the Discretized Gaussian Modulation (DGM)- Based Continuous Variable-QKD
To overcome the low reconciliation efficiency problem of Gaussian modulation (GM)-based-continuous variable (CV)-quantum key distribution (QKD), in this paper, we propose to use discretized GM (DGM)-based-CV-QKD. The proposed CV-QKD scheme has complexity
Ivan B. Djordjevic
doaj +1 more source
Some Applications of Coding Theory in Computational Complexity
Error-correcting codes and related combinatorial constructs play an important role in several recent (and old) results in computational complexity theory.
Trevisan, Luca
core +2 more sources
The Proof Complexity of SMT Solvers
The resolution proof system has been enormously helpful in deepening our understanding of conflict-driven clause-learning (\(\mathsf {CDCL}\)) SAT solvers. In the interest of providing a similar proof complexity-theoretic analysis of satisfiability modulo theories (SMT) solvers, we introduce a generalization of resolution called Res(T).
Robert Robere +2 more
openaire +1 more source
The dielectric properties of clays are studied on the level of individual monolayers and functional double stacks. The material breakdown characteristics and charge storage performance are analyzed. For illustration, a defined charge pattern representing a cuneiform character is produced, written into a microscopic clay tile, referencing the origins of
Sebastian Gödrich +6 more
wiley +1 more source
The complexity of propositional proofs
In this paper, we consider the complexity of propositional proofs of classical and intuitionistic tautologies. In fact, we describe a nondeterministic polynomial-time decision procedure for intuitionistic implicational tautologies. For this purpose, we reduce a decision problem for intuitionistic implicational tautologies to a decision problem for ...
openaire +2 more sources
Substrate Stress Relaxation Regulates Cell‐Mediated Assembly of Extracellular Matrix
Silicone‐based viscoelastic substrates with tunable stress relaxation reveal how matrix mechanics regulates cellular mechanosensing and cell‐mediated matrix remodelling in the stiff regime. High stress relaxation promotes assembly of fibronectin fibril‐like structures, increased nuclear localization of YAP and formation of β1 integrin‐enriched ...
Jonah L. Voigt +2 more
wiley +1 more source
Post-Quantum Digital Signature: Verkle-Based HORST
The security of commonly used cryptographic systems like RSA and ECC might be threatened by the future development of quantum computing. Verkle-based HORST decreases the size of signatures by 75% (from 12.8 KB to 3.2 KB) and enables O(1)-sized proofs by ...
Maksim Iavich +2 more
doaj +1 more source
A sequence‐encoded supramolecular construct containing two accessible toeholds is developed herein for enabling multiple editing operations. By introducing specific input strands, it is possible to selectively erase or rewrite digital content through parallel or series toehold‐mediated strand displacement (PTMSD or STMSD).
Jakub Ossowski +3 more
wiley +1 more source
Photoswitching Conduction in Framework Materials
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source

