Results 81 to 90 of about 2,176 (251)

Anytime Algorithms for ROBDD Symmetry Detection and Approximation [PDF]

Reduced Ordered Binary Decision Diagrams (ROBDDs) provide a dense and memory efficient representation of Boolean functions. When ROBDDs are applied in logic synthesis, the problem arises of detecting both classical and generalised symmetries.
Kettle, Neil
core  

Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An algorithm and its implementation [PDF]

, 2004
We investigate the problem of the verification of epistemic properties of multiagent systems via model checking. Specifically, we extend and adapt methods based on ordered binary decision diagrams, a mainstream verification technique in reactive systems.
Franco Raimondi, Alessio Lomuscio
core  

Exciton Binding Energy of Phosphorescent Emitter Molecules in Organic Light‐Emitting Diodes

Advanced Functional Materials, EarlyView.
Energy level alignment is key to efficient OLED design, yet determining LUMO energies remains challenging. A methodology based on field‐induced dissociation and kinetic Monte Carlo simulations is presented to extract LUMO energies of iridium‐based phosphorescent emitters from their exciton binding energy.
Hiroki Tomita, Lucas R. L. Norg, Patrick Diederen, Clint van Hoesel, Christ H. L. Weijtens, Peter A. Bobbert, Reinder Coehoorn   +6 more
wiley   +1 more source

Chiral Phase Change Nanomaterials

Advanced Functional Materials, EarlyView.
This work demonstrates reversible, non‐volatile phase transitions in chiral Ge2${\rm Ge}_2$Sb2${\rm Sb}_2$Te5${\rm Te}_5$ (GST) nanohelices for high‐speed optical modulation of chirality and dynamic control of the state of polarization (SOP). The chiral nanostructures are fabricated using a highly directional, wafer‐scale physical vapor deposition ...
Joshua A. Burrow, Md Shah Alam, Riad Yahiaoui, Evan M. Smith, Ryan Laing, Jules Gardener, Thomas A. Searles, Piyush J. Shah, Shivashankar Vangala, Joshua R. Hendrickson, Andrew M. Sarangan, Imad Agha   +11 more
wiley   +1 more source

An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams [PDF]

, 2007
We prove an exponential lower bound on the size of proofs in the proof system operating with ordered binary decision diagrams introduced by Atserias, Kolaitis and Vardi [2].
Jan Krajicek
core  

Phase Evolution Kinetics in Additive‐Free 19.75% Organic Photovoltaics Empowered by Solvent Vapor Annealing

Advanced Functional Materials, EarlyView.
Solvent vapor annealing enables kinetic control of additive‐free morphology in organic solar cells. Selective plasticization of acceptor forms an optimal fibrillar network, boosting efficiency to 19.06% (binary) and 19.75% (ternary), with ultrafast exciton dissociation and reduced recombination.
Jie Lv, Jieni Chen, Cenqi Yan, Patrick W. K. Fong, Jingjing Zhao, Daming Zheng, DingQin Hu, Xiaoman Ding, Xiaokang Sun, Chuanlin Gao, Guangye Zhang, Qianguang Yang, Can Zhu, Pei Cheng, Shirong Lu, Zhipeng Kan, Zhiwei Ren, Guangliu Ran, Wenkai Zhang, Hanlin Hu, Gang Li   +20 more
wiley   +1 more source

Toward Fast Proton Shuttling in Acidic Oxygen Evolution Reaction

Advanced Functional Materials, EarlyView.
This review establishes proton transfer dynamics as a descriptor governing acidic OER activity, moving beyond the kinetic constraints derived from the proton coupled electron transfer. We discuss how deprotonation governs classical mechanisms, including adsorbate evolution mechanism (AEM), lattice oxygen mechanism (LOM) and oxide path mechanism (OPM ...
Ashish Gaur, Jaeyeong Kim, Sungwook Mhin, HyukSu Han   +3 more
wiley   +1 more source

Reduced Graphene Oxide Transparent Electrodes Enabling Compact Soft Tunable Lenses

Advanced Functional Materials, EarlyView.
By spray‐coating an elastomeric membrane with reduced graphene oxide (rGO) at various surface densities, elastomeric actuators are manufactured. Electro‐mechano‐optical characterizations show the suitability of rGO as an effective material for compliant, semi‐transparent electrodes, enabling soft electrically tunable lenses with a compact form factor ...
Giacomo Sasso, Alec Lamoreux, Nicola Pugno, James J. C. Busfield, Federico Carpi   +4 more
wiley   +1 more source

Characteristics of the binary decision diagrams of Boolean Bent Functions [PDF]

, 2009
Boolean bent functions have desirable cryptographic properties in that they have maximum nonlinearity, which hardens a cryptographic function against linear cryptanalysis attacks.
Schafer, Neil Brendan., Neil Brendan Schafer   +1 more
core  

LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams

Approaches based on Binary decision diagrams (BDDs) have recently achieved state-of-the-art results for multiobjective integer programming problems. The variable ordering used in constructing BDDs can have a significant impact on their size and on the quality of bounds derived from relaxed or restricted BDDs for single-objective optimization problems ...
Rahul Patel, Elias B. Khalil
openaire   +2 more sources