Results 231 to 240 of about 23,407,383 (367)
The Prediction Model Based on BP Neural Network about Airport Security-check Passenger Flow
, 2019 Xiang Zhong, Caiyun Zhu, Han Xu
openalex +2 more sources
Model checking with generalized Rabin and Fin-less automata [PDF]
, 2019 Vincent Bloemen +2 more
openalex +1 more source
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 +10 more
wiley +1 more source
Model checking: recent improvements and applications. [PDF]
Int J Softw Tools Technol Transf, 2018 Bošnački D, Wijs A.
europepmc +1 more source
Bounded Model Checking using SMT Solvers for RKIP Inhibited ERK Pathway Model
Ghosh, Krishnendu, Ball, Jay
openalex +1 more source
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 +9 more
wiley +1 more source
The Probabilistic Model Checking Landscape*
Logic in Computer Science, 2016 J. Katoen
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.This study demonstrates an alternative method of creating charge‐stable negatively charged nitrogen vacancy (NV−) centers close to the diamond surface without high‐temperature annealing. By illuminating nitrogen‐implanted regions with a continuous‐wave 405 nm laser, NV− centers are induced, exhibiting electron spin coherence properties suitable for ...
Jens Fuhrmann +4 more
wiley +1 more source