Results 81 to 90 of about 2,322,283 (342)
Precise Modelling of Compensating Business Transactions and its Application to BPEL
, 2005 We describe the StAC language which can be used to specify the orchestration of activities in long running business transactions. Long running business transactions use compensation to cope with exceptions. StAC supports sequential and parallel behaviour
Butler, Michael +2 more
core +4 more sources
Decreased Serum 5‐HT: Clinical Correlates and Regulatory Role in NMJ of MG
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Although 5‐Hydroxytryptamine (5‐HT) indirectly stimulates muscle contraction and participates in regulating Acetylcholine receptor (AChR) cluster homeostasis in cellular, animal, and clinical studies, evidence regarding its potential to modulate muscle contraction in myasthenia gravis (MG) remains limited.
Xinru Shen +18 more
wiley +1 more source
Unification of Information Security Policies for Network Security Solutions
Безопасность информационных технологий, 2012 Diversity of command languages on network security solutions’ (NSS) interfaces causes problems in a process of information security policy (ISP) deployment.
D.S. Chernyavskiy
doaj
From Temporal Models to Property-Based Testing
, 2017 This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of ...
Alzahrani, Nasser +2 more
core +1 more source
Arthritis Care &Research, EarlyView.Objective Social determinants of health (SDoH) can impact outcomes but are not routinely screened for in US outpatient rheumatology clinics. This study determined the feasibility of routine point‐of‐care SDoH screening among patients with systemic lupus erythematosus (SLE) and associated barriers and facilitators at the physician, care team, and ...
S. Sam Lim +11 more
wiley +1 more source
A language for the Common Digital Space of Scientific Knowledge ontology representation
Учёные записки Казанского университета: Серия Физико-математические наукиA language for describing the Common Digital Space of Scientific Knowledge (CDSSK) ontology was proposed. Tailored to the evolving digital knowledge space with its high dynamics in the emergence of new scientific findings and the presence of various ...
N. E. Kalenov, A. N. Sotnikov
doaj +1 more source
Suar Betang, 2019 The Japanese language have four levels of language formality. The languages classified as Kenjogo (humility language), Sonkeigo (honorific language), Teineigo (usual formal language), and the last is Futsugo (daily language).
Rahmad Novianto A.
doaj +1 more source
Information Content in Formal Languages
SSRN Electronic Journal, 2022 Content is completely unchanged, but explanatory text is inserted between lemmas, theorems and proofs for better understandability of the ...
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective Cognitive impairment (CI) is common in patients with systemic lupus erythematosus (SLE). Despite its prevalence, the immune mechanisms are not well understood. We previously reported elevated serum levels of S100A8/A9 and matrix metalloproteinase 9 (MMP‐9) in patients with SLE and CI.
Carolina Muñoz‐Grajales +18 more
wiley +1 more source
The (formal) exclusiveness of Julius Zeyer's literary language
Opera slavica, 2020 The paper is focused on identifying the principal signs of formal exclusiveness that denote Julius Zeyer's literary language, precisely, his prose. Julius Zeyer wrote his prosaic works in standard Czech, deliberately differing from the contemporary usage,
Martin Schacherl
doaj +1 more source