Results 11 to 20 of about 15,527,868 (309)
Efficient computation of exact solutions for quantitative model checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Quantitative model checkers for Markov Decision Processes typically use finite-precision arithmetic. If all the coefficients in the process are rational numbers, then the model checking results are rational, and so they can be computed exactly.
Sergio Giro
doaj +1 more source
Exact thermodynamics and transport in the classical Sine-Gordon model
SciPost Physics, 2023 We revisit the exact thermodynamic description of the classical sine-Gordon field theory, a well-known integrable model. We found that existing results in the literature based on the soliton-gas picture did not correctly take into account light, but ...
Rebekka Koch, Alvise Bastianello
doaj +1 more source
Exact solution to a supersymmetric Gaudin model [PDF]
Journal of Mathematical Physics, 2005 We investigate a special case of the Gaudin model related to the superalgebra osp(1,2). We present an exact solution to that system diagonalizing a complete set of commuting observables, and providing the corresponding eigenvectors and eigenvalues. The approach used in this paper is based on the co-algebra symmetry of the model, already known from the ...
BREIDERHOFF J. +2 more
openaire +3 more sources
Exact self-duality in a modified Skyrme model
Journal of High Energy Physics, 2017 We propose a modification of the Skyrme model that supports a self-dual sector possessing exact non-trivial finite energy solutions. The action of such a theory possesses the usual quadratic and quartic terms in field derivatives, but the couplings of ...
L.A. Ferreira
doaj +1 more source
Exact correlators in the Gaussian Hermitian matrix model
Physics Letters B, 2019 We present the W1+∞ constraints for the Gaussian Hermitian matrix model, where the constructed constraint operators yield the W1+∞ n-algebra. For the Virasoro constraints, we note that the constraint operators give the null 3-algebra.
Bei Kang +4 more
doaj +1 more source
Exact Intermittent Solutions in a Turbulence Multi-Branch Shell Model
Atmosphere, 2023 Reproducing complex phenomena with simple models marks our understanding of the phenomena themselves, and this is what Jack Herring’s work demonstrated multiple times.
Ben Ajzner, Alexandros Alexakis
doaj +1 more source
Exact Likelihood Calculation under the Infinite Sites Model
Computation, 2015 A key parameter in population genetics is the scaled mutation rate θ = 4 N μ , where N is the effective haploid population size
Muhammad Faisal +2 more
doaj +1 more source
On the exact modelling of linear systems
IMA Journal of Mathematical Control and Information, 2019 Abstract It is well known that given the continuous-time AutoRegressive representation $A\left ( \rho \right ) \beta \left ( t\right ) =0,$ where $\rho $ denotes the differential operator and $A\left ( \rho \right ) $ a regular polynomial matrix, we can always construct the smooth behaviour of this system, by using the finite zero ...
Georgia G. Pechlivanidou +1 more
openaire +2 more sources
Exact scalar–tensor cosmological models [PDF]
International Journal of Modern Physics D, 2017 Scalar–tensor gravitational theories are important extensions of standard general relativity, which can explain both the initial inflationary evolution, as well as the late accelerating expansion of the universe. In the present paper, we investigate the cosmological solution of a scalar–tensor gravitational theory, in which the scalar field [Formula ...
Belinchón, J. A., Harko, T., Mak, M. K.
openaire +2 more sources
Exact neural mass model for synaptic-based working memory.
PLoS Computational Biology, 2020 A synaptic theory of Working Memory (WM) has been developed in the last decade as a possible alternative to the persistent spiking paradigm. In this context, we have developed a neural mass model able to reproduce exactly the dynamics of heterogeneous ...
Halgurd Taher +2 more
doaj +1 more source