Results 161 to 170 of about 230,174 (255)
Global guidance for local generalization in model checking. [PDF]
Form Methods Syst DesVediramana Krishnan HG +3 more
europepmc +1 more source
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Sensors (Basel), 2020 Chouhan AP, Banda G.
europepmc +1 more source
Advanced Engineering Materials, EarlyView.This study examines how several molten high‐silicon electrical steels interact with both conventional and recycled MgO–C refractories. For this, various immersion experiments are conducted. In addition to infiltration, a number of mechanisms are identified and explained that control the corrosion of the refractory material.
Lukas Neubert +7 more
wiley +1 more source
Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]
PeerJ Comput Sci, 2020 Wang G +5 more
europepmc +1 more source
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
Advanced Engineering Materials, EarlyView.New features on yttria‐stabilized zirconia after exposure at 1500°C: Newly discovered pyramidal structures on an old material. After exposure at 1550°C on the cross section of YSZ new features, namely pyramidal structures are discovered. These structures grow with time, increase in numbers, appear as singularities, are often arranged in strings, and ...
Doris Sebold +2 more
wiley +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +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
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