Results 201 to 210 of about 21,783,491 (356)
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
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim G. Larsen
openalex +2 more sources
This study examines how manufacturing uncertainties in Curie temperatures (1.5–2°C) affect multilayer active magnetic regenerators (AMR). While increasing the number of magnetocaloric layers boosts cooling power, performance degrades due to temperature variations.
Urban Tomc +6 more
wiley +1 more source
The Probabilistic Model Checking Landscape*
J. Katoen
semanticscholar +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
Which Chromium–Sulfur Compounds Exist as 2D Material?
2D chromium sulfides synthesized using molecular beam epitaxy on graphene. Structural characterization reveals two novel 2D materials, Cr2S3‐2D, which lacks a direct bulk counterpart, and Cr223S${\rm Cr}_{2\frac{2}{3}}{\rm S}$4‐2D, a minimum thickness version of Cr5S6. However, attempts to synthesize CrS2 are unsuccessful. Both new 2D phases are stable
Affan Safeer +5 more
wiley +1 more source
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
Semantic analysis of concurrent ML by abstract model-checking
Régis Cridlig
openalex +1 more source

