Results 51 to 60 of about 241,667 (307)
On syntactic and semantic action refinement [PDF]
The semantic definition of action refinement on labelled event structures is compared with the notion of syntactic substitution,which can be used as another notion of action refiment in a process algebraic setting. This is done by studying a process algebra equipped with the ACP sequential composition, parallel composition with an explicit ...
Arend Rensink+2 more
openaire +3 more sources
Rate-Based Transition Systems for Stochastic Process Calculi [PDF]
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes.
B. Klin+19 more
core +1 more source
CONFIXED VERBS WITH NEGATIVE SEMANTICS OF ACTION CONSEQUENCES IN MODERN RUSSIAN
The confix ways of verbal action, which expresses negative semantics of action consequences, are under discussion in the article. It seems relevant for the study to find out whether the general idea of the negative consequences of action is related to ...
Zara Godizova, Tsyan’ Wang
doaj
Spreadability for Quantum Stochastic Processes, with an Application to Boolean Commutation Relations
In order to manage spreadability for quantum stochastic processes, we study in detail the structure of the involved monoids acting on the index-set of all integers Z , that is that generated by left and right hand-side partial shifts, the monoid of ...
Vitonofrio Crismale+2 more
doaj +1 more source
1D Supergravity FLRW Model of Starobinsky
We study two homogeneous supersymmetric extensions for the f(R) modified gravity model of Starobinsky with the FLRW metric. The actions are defined in terms of a superfield R that contains the FLRW scalar curvature.
Nephtalí E. Martínez-Pérez+2 more
doaj +1 more source
Finiteness of
We argue in favor of the independence on any scale, ultraviolet or infrared, in kernels of the effective action expressed in terms of dressed N=1 superfields for the case of N=4 super-Yang–Mills theory.
Igor Kondrashuk, Ivan Schmidt
doaj +1 more source
Deverbal semantics and the Montagovian generative lexicon [PDF]
We propose a lexical account of action nominals, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb.
Real-Coelho, Livy-Maria+1 more
core +3 more sources
The article considers a large-scale model of an αΩ-dynamo in the low-mode approximation. The intensity of the α-effect is regulated by a process that depends on the energy of the magnetic field and has hereditarity properties (finite “memory”).
Olga Sheremetyeva
doaj +1 more source
Maude Object-Oriented Action Tool [PDF]
MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action
Carvilhe, Cláudio,+2 more
core +2 more sources
A First-Quantized Model for Unparticles and Gauge Theories around Conformal Window
We first quantize an action proposed by Casalbuoni and Gomis in 2014 that describes two massless relativistic scalar particles interacting via a conformally invariant potential.
Nicolas Boulanger+2 more
doaj +1 more source