Results 201 to 210 of about 36,627 (309)

Formal Treatment of Data Structures in Concurrency Models

open access: yes
The problem of real size system modelling with basic concurrency models like transition systems, Petri nets or process algebra is that there is no possibility to model easily the system data structures. Algebraic specification is a method well adapted to
Guelfi, Nicolas, Mourlin, Fabrice
core  

Real‐world effectiveness and safety of secukinumab in giant cell arteritis: an Italian multicentre cohort study

open access: yesArthritis Care &Research, Accepted Article.
Objective The objective of this study was to evaluate the real‐world effectiveness and safety of secukinumab in giant cell arteritis (GCA) patients. Methods This multicentre retrospective study included patients with GCA who received secukinumab at 14 Italian centres with at least 6 months of follow‐up.
Luca Iorio   +29 more
wiley   +1 more source

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

open access: yesAdvanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch   +3 more
wiley   +1 more source

High‐Temperature Phase Transformation in a V‐9Si‐6.5B Alloy: The Kinetic and Crystallographic Pathway From V5SiB2 to V8SiB4

open access: yesAdvanced Engineering Materials, EarlyView.
In situ synchrotron high‐energy X‐ray diffraction reveals the real‐time high‐temperature phase evolution of a ternary V‐9Si‐6.5B alloy. The study uncovers a kinetically delayed V5SiB2 → V8SiB4 transformation governed by massive structural and chemical barriers.
Zahra Sabeti   +4 more
wiley   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

open access: yesAdvanced 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

Adaptive conflict resolution for IoT transactions: A reinforcement learning-based hybrid validation protocol. [PDF]

open access: yesSci Rep
Khaldy MAA   +7 more
europepmc   +1 more source

High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry

open access: yesAdvanced Engineering Materials, EarlyView.
Ionic‐liquid microdroplet spectroelectrochemistry enables stable, localized electrochemical measurements over extended timescales. By coupling impedance spectroscopy, wetting analysis, finite‐element simulations, and operando Raman spectroscopy, it disentangles geometrical and electrochemical effects, opening new opportunities for rapid corrosion ...
Ekaterina Kurchavova   +3 more
wiley   +1 more source

Home - About - Disclaimer - Privacy