Results 231 to 240 of about 1,133,638 (315)

Unique Performance Considerations for Printable Organic Semiconductor and Perovskite Radiation Detectors: Toward Consensus on Best Practice Evaluation

Advanced Functional Materials, EarlyView.
A lack of standard approaches for testing and reporting the performance of metal halide perovskites and organic semiconductor radiation detectors has resulted in inconsistent interpretation of performance parameters, impeding progress in the field. This Perspective recommends key metrics and experimental details, which are suggested for reporting in ...
Jessie A. Posar, Matthew Large, Andrea Ciavatti, Laura Basiricò, Beatrice Fraboni, Paul J. Sellin, Attila J. Mozer, Marco Petasecca, Matthew J. Griffith   +8 more
wiley   +1 more source

An automata-theoretic approach to modular model checking [PDF]

, 2000
Orna Kupferman, Moshe Y. Vardi
openalex   +1 more source

Ideal Molecular Sieving with a Dense MOF for Helium Upgrading with Highly Diffusion Selective Mixed Matrix Membranes

Advanced Functional Materials, EarlyView.
The separation of Helium gas from natural gas is challenging but highly important. MIL‐116(Ga), a “non‐porous” metal–organic framework is used as a molecular sieve to separate He from CH4. Druse‐like MIL‐116(Ga) particles are integrated into polysulfone mixed matrix membranes.
Ayisha Komal, Laura Calderón‐Rodríguez, Oksana Smirnova, Eren Grossmann, Aparna Binu Varghese, Karen Marlenne Garcia Alvarez, Andreas Schneemann, Thomas Hoyer, Ralf Wyrwa, Felix Helmut Schacher, Alexander Knebel   +10 more
wiley   +1 more source

Parameterized model checking of rendezvous systems. [PDF]

Distrib Comput, 2018
Aminof B, Kotek T, Rubin S, Spegni F, Veith H.   +4 more
europepmc   +1 more source

Tuning SAT Checkers for Bounded Model Checking

, 2000
Ofer Shtrichman
openalex   +1 more source

Spectroelectrochemical Determination of Förster Radii for Triplet‐Polaron Quenching in Phosphorescent Organic Light‐Emitting Diodes

Advanced Functional Materials, EarlyView.
Phosphorescent OLEDs suffer from efficiency roll‐off due to triplet‐polaron quenching (TPQ). This study demonstrates for a large set of host‐guest combinations a spectroelectrochemical method to measure the absorption of charged molecules, enabling determining TPQ Förster radii (2.5–4 nm) from the spectral overlap.
Stan E. A. Jaspars, Hiroki Tomita, Clint van Hoesel, Nicolas Daub, René A.J. Janssen, Reinder Coehoorn   +5 more
wiley   +1 more source

Model checking in multiple imputation: an overview and case study. [PDF]

Emerg Themes Epidemiol, 2017
Nguyen CD, Carlin JB, Lee KJ.
europepmc   +1 more source

NanoMOF‐Based Multilevel Anti‐Counterfeiting by a Combination of Visible and Invisible Photoluminescence and Conductivity

Advanced Functional Materials, EarlyView.
This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner, Ruben Maile, Murat Cuvalli, Andreas Wolf, Ayisha Komal, Robert Oestreich, Christoph Janiak, Karl Mandel, Alexander Knebel, Klaus Müller‐Buschbaum   +9 more
wiley   +1 more source