Results 51 to 60 of about 237,500 (306)
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
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
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
HF spectrum occupancy and antennas [PDF]
This paper deals with the research made during the COST 296 action in the WG2, WP 2.3 in the antennas and HF spectrum management fields, focusing the Mitigation of Ionospheric Effects on Radio Systems as the subject of this COST action.info:eu-repo ...
Azevedo, Joaquim+8 more
core +3 more sources
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the greater danger of impreciseness in the description of semantics.
David A. Watt, Peter D. Mosses
openaire +3 more sources
Traditional multi-agent reinforcement learning (MARL) algorithms typically implement global parameter sharing across various types of heterogeneous agents without meticulously differentiating between different action semantics.
Xiaoyang Yu+3 more
doaj +1 more source
The article is devoted to the verbs of the mode of action in which excessiveness and duration are combined with negative consequences. This combination of excessiveness and duration with negative result of the action is characteristic of a number of pre ...
Van Cyan
doaj
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
Deriving real-time action systems with multiple time bands using algebraic reasoning [PDF]
The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations.
Derrick, J, Dongol, B, Hayes, IJ
core +1 more source