Results 11 to 20 of about 18,885 (168)
A Formal Semantics for Protocol Narrations [PDF]
Theoretical Computer Science, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Briais, Sébastien, Nestmann, Uwe
openaire +2 more sources
On the formal semantics of IF-like logics [PDF]
Journal of Computer and System Sciences, 2008 في المنطق الكلاسيكي، يكون معنى الصيغة ثابتًا فيما يتعلق بإعادة تسمية المتغيرات المرتبطة. وقد تبين أن هذه الخاصية، التي تؤخذ عادة كأمر مسلم به، لا تحتفظ في حالة المنطق الصديق للاستقلال (IF). في هذه الورقة، نجادل بأن هذه ليست سمة متأصلة في هذه المنطق ولكنها عيب في الطريقة التي تم بها تعميم الدلالات التركيبية التي قدمها هودجز للجزء العادي على الصيغ ...
Santiago Figueira +2 more
openaire +7 more sources
A Formal Semantics for Finalizers
J. Univers. Comput. Sci., 2005 JUCS - Journal of Universal Computer Science Volume Nr.
Leal,Marcus, Ierusalimschy,Roberto
openaire +3 more sources
Case in Formal Semantics [PDF]
, 2012 AbstractCase has not received a lot of attention from formal semanticists, probably because the approach has mostly focused on languages with relatively sparse case systems. This article examines how formal tools are being used in the study of the meaning of case. There are many semantic aspects of case that lend themselves to such a treatment, such as
Hoop, H. de, Zwarts, J.
openaire +2 more sources
A Formal Semantics for OCL 1.4 [PDF]
, 2001 The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics ...
Cengarle, María Victoria +1 more
openaire +3 more sources
A Framework for Distributional Formal Semantics [PDF]
, 2019 Formal semantics and distributional semantics offer complementary strengths in capturing the meaning of natural language. As such, a considerable amount of research has sought to unify them, either by augmenting formal semantic systems with a distributional component, or by defining a formal system on top of distributed representations.
Noortje J. Venhuizen +3 more
openaire +2 more sources
Stage‐Dependent β‐Synuclein Links MRI and Cognitive Decline in Alzheimer's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Synaptic degeneration drives cognitive decline in Alzheimer's disease (AD), but synaptic biomarkers are scarce. Brain‐enriched β‐synuclein emerged as a synaptic damage marker. We investigated its diagnostic, prognostic, and structural correlates across the AD continuum.
Ulaş Ay +15 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Biallelic FIG4 variants classically cause distinct conditions characterized by peripheral neuropathy (Charcot‐Marie‐Tooth disease type 4J) or skeletal dysplasia (Yunis‐Varón syndrome). However, central nervous system involvement is increasingly recognized. The prevalence and specific characteristics of movement disorders within FIG4‐
Andrea Gangfuß +22 more
wiley +1 more source
Formal Semantics and Wittgenstein [PDF]
Monist, 2013 This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whether Wittgenstein's later work provides an alternative approach that is able to avoid these issues.
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.NeuroVisio SyncPatch integrates skin‐conformal electromyography (EMG) electrodes with camera‐tracked markers to jointly assess muscle activity and three‐dimensional knee kinematics during rehabilitation. Parallel feedback pathways provide real‐time kinematic guidance during movement and post‐trial neuromuscular feedback.
Bohyung Choi +11 more
wiley +1 more source