Results 51 to 60 of about 337,799 (288)
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems [PDF]
, 2009 By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not only over a specific class of infinite systems, but over a large family ...
Leonid Libkin +3 more
core +1 more source
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
Symmetry Reduced Model Checking for B [PDF]
, 2007 Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states.
Turner, Edd +3 more
core +2 more sources
Isotopic Fingerprinting: A Promising Tool for Coffee Authenticity Checks
International Coffee Convention 2023, 2023 Almost every physical or chemical process in nature favors certain light stable isotopes over others, and thereby leaves an isotopic “fingerprint” on the substances involved. Prominent examples are the evaporation and condensation of water, which act together to produce a global “map” of hydrogen and oxygen isotopes in rainwater.
Johannes Wintel +4 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Postbuild annealing systematically modifies the phase fractions and morphology of EB‐PBF processed Mo–9Si–8B. Quantitative microstructure–property correlations reveal how controlled phase evolution enhances high‐temperature compressive strength and creep resistance.
Christopher Schmidt +5 more
wiley +1 more source
FROM GEOSITE TO METAVERSE: BUILDING AND COMMUNICATING THE DUJIANGYAN CULTURAL TOURISM IP IMAGE IN CHINA [PDF]
Geo Journal of Tourism and GeositesThis study explores how Dujiangyan, acknowledged as both a UNESCO World Heritage Site and a cultural geosite that integrates geological heritage with historical and cultural values, constructs and communicates its tourism IP image, emphasizing the ...
Xuehua TAO
doaj +1 more source
Control-flow checking via regular expressions [PDF]
, 2001 The present paper explains a new approach to program control flow checking. The check has been inserted at source-code level using a signature methodology based on regular expressions.
Di Natale, Giorgio +9 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani +7 more
wiley +1 more source
Machine Learning and Conceptual Reasoning for Inconsistency Detection
IEEE Access, 2017 This paper focuses on detecting inconsistencies within text corpora. It is a very interesting area with many applications. Most existing methods deal with this problem using complicated textual analysis, which is known for not being accurate enough.
Jameela Al Otaibi +4 more
doaj +1 more source
Investigating the Low‐Temperature Phase Stability of the Binary Ta–W System
Advanced Engineering Materials, EarlyView.Atomistic simulations show that the binary Ta–W system forms ordered intermetallic phases, B2‐TaW and D03‐TaW3, as 0 K ground states. Configurational entropy, however, lowers the free energy of the disordered bcc solid solution, which becomes the stable phase above about 400 K.
Klemens Lechner +7 more
wiley +1 more source