Results 81 to 90 of about 42,644,411 (279)
Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying
Advanced Engineering Materials, EarlyView.An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara +8 more
wiley +1 more source
A non-interleaving process calculus for multi-party synchronisation [PDF]
, 2009 We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct.
Paweł Sobociński, Soboci\'nski, Pawel
core +1 more source
AerospaceRunway incursions (RIs) have emerged as a major threat to airport surface safety, driven by the coupled influence of human, equipment, environmental, and management factors. Conventional assessment methods struggle to simultaneously capture the fuzziness
Rundong Wang +7 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari +5 more
wiley +1 more source
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Advanced Engineering Materials, EarlyView.Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran +6 more
wiley +1 more source
Operational semantics for SPARQL Update
, 2012 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for
Gibbins, Nicholas +2 more
core
FinOps-Aware Budget-Constrained Optimization for Cloud Resource Management
Applied SciencesWith the rise of Financial Operations (FinOps), cloud resource management requires the enforcement of strict budgetary guardrails rather than soft cost objectives.
Choong-Hee Cho
doaj +1 more source
A congruence theorem for structured operational semantics with predicates [PDF]
, 1993 We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisimulation is a congruence for all the operators that can be defined within the path format. To show that this format is useful we provided many examples that we took from the literature about CCS, CSP, and ACP;
Baeten, J.C.M., Verhoef, C.
openaire +2 more sources
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