Results 191 to 200 of about 1,197,742 (268)
An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut +16 more
wiley +1 more source
Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems. [PDF]
El Hariri M, Faddel S, Mohammed O.
europepmc +1 more source
In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source
Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]
Zhu W, Feng C, Wu H.
europepmc +1 more source
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
Discovering vesicle traffic network constraints by model checking. [PDF]
Shukla A +4 more
europepmc +1 more source
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
A Posterior Predictive Model Checking Method Assuming Posterior Normality for Item Response Theory. [PDF]
Kuhfeld M.
europepmc +1 more source

