Results 51 to 60 of about 511,372 (153)
Ultrasound Echogenicity as an Indicator of Muscle Fatigue during Functional Electrical Stimulation
Sensors, 2022 Functional electrical stimulation (FES) is a potential neurorehabilitative intervention to enable functional movements in persons with neurological conditions that cause mobility impairments.
Qiang Zhang +4 more
doaj +1 more source
The Semantics of Abstract Program Slicing
, 2008 The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values.
Damiano Zanardini, Zanardini, Damiano
core +1 more source
On the computational complexity of dynamic slicing problems for program schemas
, 2011 This is the preprint version of the Article - Copyright @ 2011 Cambridge University PressGiven a program, a quotient can be obtained from it by deleting zero or more statements.
Laurence, MR +9 more
core +1 more source
On Observing Dynamic Prioritised Actions in SOC
, 2009 We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and weak labelled bisimilarities for COWS, a process calculus for SOC, and provide
N. Yoshida +7 more
core +1 more source
Space-Efficient Fully Dynamic DFS in Undirected Graphs †
Algorithms, 2019 Depth-first search (DFS) is a well-known graph traversal algorithm and can be performed in O ( n + m ) time for a graph with n vertices and m edges.
Kengo Nakamura, Kunihiko Sadakane
doaj +1 more source
On underspecified processing of dynamic semantics [PDF]
Proceedings of the 18th conference on Computational linguistics -, 2000 We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dynamic semantics to disambiguate scope ambiguities if possible. The main feature of the system is that it deals with underspecified descriptions directly, i. e.
Alexander Koller, Joachim Niehren
openaire +2 more sources
Dynamic inquisitive semantics: anaphora and questions [PDF]
, 2019 This paper develops a dynamic inquisitive semantics and illustrates its potential to capture interactions between anaphora and ...
Roelofsen, F.; id_orcid +3 more
core +1 more source
On the Dynamics of Observation and Semantics
CoRRA dominant paradigm in visual intelligence treats semantics as a static property of latent representations, assuming that meaning can be discovered through geometric proximity in high dimensional embedding spaces. In this work, we argue that this view is physically incomplete.
openaire +2 more sources
Open Ended Systems, Dynamic Bisimulation, and Tile Logic
, 2000 The SOS formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to characterize the coarsest congruence for CCS which is also a (weak) bisimulation ...
SASSONE V. +8 more
core +1 more source
Metals, 2019 During quasi-stationary tensile deformation of ultrafine-grained Cu-0.2 mass%Zr at 673 K and a deformation rate of about 10−4 s−1 load changes were performed.
Wolfgang Blum +4 more
doaj +1 more source