Related papers: SPM Bulletin 2
The Minimal Supersymmetric Standard Model is presented as a model for the CompHEP software package as a set of files containing the complete Lagrangian of the MSSM, particle contents and parameters. All resources of CompHEP with a…
A number of topics in analysis are discussed, with emphasis on basic principles. There is some overlap with "Elements of linear and real analysis" (arXiv:math/0108030), with numerous changes in content and presentation since then.
Plantar pressure mapping is essential in clinical diagnostics and sports science, yet large heterogeneous datasets often contain outliers from technical errors or procedural inconsistencies. Statistical Parametric Mapping (SPM) provides…
The degenerate Stirling numbers of the second kind and of the first kind, which are respectively degenerate versions of the Stirling numbers of the second kind and of the first kind, appear frequently when we study various degenerate…
This article is a survey of the exponential polynomials (also called single-variable Bell polynomials) from the point of view of Analysis. Some new properties are included and several Analysis-related applications are mentioned.
In this work we show that the prime distribution is deterministic. Indeed the set of prime numbers P can be expressed in terms of two subsets of N using three specific selection rules, acting on two sets of prime candidates. The prime…
Contents: 1. Introduction; 2. The First Moment Sum Rule for $g_1^p$; 3. The Parton Model and the `Proton Spin'; 4. The CPV Method and Topological Charge Screening; 5. Experiment; 6. Semi-Inclusive Polarised DIS.
Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and…
Mathematical modelling allows us to concisely describe fundamental principles in biology. Analysis of models can help to both explain known phenomena, and predict the existence of new, unseen behaviours. Model analysis is often a complex…
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in…
In analyses of spatially-referenced data, researchers often have one of two goals: to quantify relationships between a response variable and covariates while accounting for residual spatial dependence or to predict the value of a response…
We give an exact expression for the distribution of the position X(t) of a single second class particle in the asymmetric simple exclusion process (ASEP) where initially the second class particle is located at the origin and the first class…
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modelling tools to…
This work proposes elementary proofs of several related primes counting problems, based on an elementary weighted sieve. The subsets of primes considered here are the followings: the subset of twin primes PT = {p and p + 2 are primes}, the…
It is introduced the concept of Superiority Degree one competitive decision over another. On the basis of this concept the mathematics theoretic structure is developed, which is part of pairs comparisons branch in modern decision making…
A scoring system is a simple decision model that checks a set of features, adds a certain number of points to a total score for each feature that is satisfied, and finally makes a decision by comparing the total score to a threshold.…
State-space models (SSMs) are a highly expressive model class for learning patterns in time series data and for system identification. Deterministic versions of SSMs (e.g. LSTMs) proved extremely successful in modeling complex time series…
Computability logic is a formal theory of computational tasks and resources. Its formulas represent interactive computational problems, logical operators stand for operations on computational problems, and validity of a formula is…
Educational guide focused on the statistical treatment of measurement uncertainties. The conditions of application of current practices are detailed and precised: mean values, central limit theorem, linear regression. The last two chapters…
In this review, we present some advanced algorithms and programs used in our scientific school with short description of types of astrophysical systems, which we study. However, we discuss mainly mathematical methods, which may be applied…