Results 221 to 230 of about 23,407,383 (367)
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. [PDF]
Sensors (Basel), 2019 Kunnappilly A, Marinescu R, Seceleanu C.
europepmc +1 more source
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
International Conference on Computer Aided Verification, 2002 A. Cimatti +7 more
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.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
Bounded model checking for asynchronous concurrent systems [PDF]
, 2014 Manitra Johanesa Rakotoarisoa
openalex +1 more source
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 +8 more
wiley +1 more source