Results 51 to 60 of about 566,633 (340)
Embedding domain-specific modelling languages in Maude specifications [PDF]
Software & Systems Modeling, 2011 We propose an approach for embedding Domain-Specific Modelling Languages (DSML) into Maude, based on representing models and metamodels as Maude specifications, and on representing operational semantics and model transformations as computable functions/relations between such specifications.
openaire +4 more sources
Revising Z: part I - logic and semantics [PDF]
, 1999 This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Henson, Martin C., Reeves, Steve
core +3 more sources
FEBS Open Bio, EarlyView.Unique biological samples, such as site‐specific mutant proteins, are available only in limited quantities. Here, we present a polarization‐resolved transient infrared spectroscopy setup with referencing to improve signal‐to‐noise tailored towards tracing small signals. We provide an overview of characterizing the excitation conditions for polarization‐
Clark Zahn, Karsten Heyne
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Apolipoprotein ε4 (APOE ε4) is a potent genetic risk factor for Alzheimer's disease (AD). However, its role in cerebral small vessel disease (CSVD) remains unclear. Given the clinical and pathological similarities between CSVD and AD, this study aimed to investigate the associations of APOE ε4 gene dosage with cognitive function and
Tingru Jin +6 more
wiley +1 more source
Elementary transformation analysis for Array-OL [PDF]
, 2007 Array-OL is a high-level specification language dedicated to the definition of intensive signal processing applications. Several tools exist for implementing an Array-OL specification as a data parallel program. While Array-OL can be used directly, it is
Feautrier, Paul
core +4 more sources
Nationwide Survey of Atopic Myelitis and Plexin D1‐Immunoglobulin G‐Related Pain
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To elucidate the features of plexin D1‐immunoglobulin (Ig)G‐associated neuropathic pain and its relationship to atopic myelitis (AM) in a nationwide Japanese survey. Methods A preliminary survey questionnaire was sent to 1574 selected departments (neurology and pediatrics/pediatric neurology) to explore the numbers of AM and plexin ...
Jun‐ichi Kira +10 more
wiley +1 more source
A reusability-oriented use-case model specification language [PDF]
Annals of computer science and information systems, 2023 Bogumiła Hnatkowska, Piotr Zabawa
doaj +1 more source
Construction of CFC-programs by LTL-specification
Моделирование и анализ информационных систем, 2016 This article continues a cycle of papers, which describe an approach to construction and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC-program correctness analysis by the model checking method ...
D. A. Ryabukhin +2 more
doaj +1 more source
, 1982 This paper gives an informal presentation of the language currently used at the Programming Research Group. Oxford University for documenting the specification and the design of computer systems. The language is an extension of conventional set theoretical notation.
openaire +2 more sources
Lessons Learned: Quality Analysis of Optical Coherence Tomography in Neuromyelitis Optica
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction Optical coherence tomography (OCT)‐derived retina measurements are markers for neuroaxonal visual pathway status. High‐quality OCT scans are essential for reliable measurements, but their acquisition is particularly challenging in eyes with severe visual impairment, as often observed in neuromyelitis optica spectrum disorders ...
Hadi Salih +40 more
wiley +1 more source