Results 21 to 30 of about 226,897 (274)
Foundations, 2022 It is known that, from a modeling point of view, fractional dynamic equations are more suitable compared to integer derivative models. In fact, a fractional dynamic equation is referred to as an equation with memory.
Aghalaya S. Vatsala +2 more
doaj +1 more source
Semantics through Pictures [PDF]
, 1997 A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed ''constraint diagrams'', which can be used to precisely characterise a range of sophisticated, static ...
Ali Hamie +5 more
core +2 more sources
Noninvasive monitoring of radiotherapy-induced microvascular changes using dynamic contrast enhanced magnetic resonance imaging (DCE-MRI) in a colorectal tumor model [PDF]
, 2006 To examine dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) with a macromolecular contrast agent (P792) to visualize effects of radiotherapy (RT) on microvascular leakage in a colorectal cancer model.Journal Articleinfo:eu-repo/semantics ...
Backes, Walter +9 more
core +1 more source
A formal dynamic semantics of Java: an essential ingredient of Java security
Journal of Telecommunications and Information Technology, 2002 Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context.
Mourad Debbabi +2 more
doaj +1 more source
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed discrete/continuous evolution.
Alberto Policriti, Luca Bortolussi
doaj +1 more source
Context updates are hierarchical
Glossa, 2016 This squib studies the order in which elements are added to the shared context of interlocutors in a conversation. It focuses on context updates within one hierarchical structure and argues that structurally higher elements are entered into the context ...
Anton Karl Ingason
doaj +2 more sources
Biomimetics, 2023 This paper investigates the effect of the Dynamically Morphing Leading Edge (DMLE) on the flow structure and the behavior of dynamic stall vortices around a pitching UAS-S45 airfoil with the objective of controlling the dynamic stall.
Musavir Bashir +4 more
doaj +1 more source
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019 We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization.
Johansen, Christian, Owe, Olaf
openaire +5 more sources
Regulating Data Exchange in Service Oriented Applications [PDF]
, 2007 We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining data exchanges in terms of sets of service partner names attachable to each ...
A. Brogi +27 more
core +2 more sources
Explaining presupposition projection with dynamic semantics
Semantics and Pragmatics, 2011 Heim's (1982, 1983b) dynamic semantics provides an attractive system for capturing the basic facts about presupposition projection. A long-standing criticism of this semantics is that it requires for each connective lexical stipulations that are not ...
Daniel Rothschild
doaj +1 more source