Results 61 to 70 of about 4,114,812 (330)
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
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
Discrete Group Actions on Digital Objects and Fixed Point Sets by Isok(·)-Actions
Given a digital image (or digital object) (X,k),X⊂Zn, this paper initially establishes a group structure of the set of self-k-isomorphisms of (X,k) with the function composition, denoted by Isok(X) or Autk(X).
Sang-Eon Han
doaj +1 more source
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
Flexible and fine-grained simulation of speed in language processing
According to the embodied cognition theory, language comprehension is achieved through mental simulation. This account is supported by a number of studies reporting action simulations during language comprehension. However, which details of sensory-motor
Xueyao Pan, Bingqian Liang, Xi Li
doaj +1 more source

