Related papers: Parametricity Features and their Requirements
Many standard structural quantities, such as order parameters and correlation functions, exist for common condensed matter systems, such as spherical and rod-like particles. However, these structural quantities are often insufficient for…
This chapter serves as an introduction to systems engineering focused on the broad issues surrounding realizing complex integrated systems. What is a system? We pose a number of possible definitions and perspectives, but leave open the…
Broadly speaking, a finiteness property of groups is any generalisation of the property of having finite order. A large part of infinite group theory is concerned with finiteness properties and the relationships between them. Profinite…
Symmetry properties of PDE's are considered within a systematic and unifying scheme: particular attention is devoted to the notion of conditional symmetry, leading to the distinction and a precise characterization of the notions of ``true''…
The relationship between various methods to calculate the physical degrees of freedom for gauge invariant systems of a general form is established. The set of hidden parameters caused for the superfluous degrees of freedom is revealed.
In this paper we present criteria for the choice of the shape parameter c contained in the famous radial function multiquadric. It may be of interest to RBF people and all people using radial basis functions to do approximation.
A discussion is presented of the manner in which uncertainties in parton distributions and related quantities are determined. One of the central problems is the criteria used to judge what variation of the parameters describing a set of…
Models describing one- and two-photon transitions for ions in crystalline environments are unified and extended to the case of parity-allowed and parity- forbidden p-photon transitions. The number of independent parameters for…
We present our ongoing work on requirements specification and analysis for the geographically distributed software and systems. Developing software and systems within/for different countries or states or even within/for different…
Model selection methods are used in different scientific contexts to represent a characteristic data set in terms of a reduced number of parameters. Apparently, these methods have not found their way into the literature on multibody systems…
Complexity is an inherent attribute of any project. The purpose of defining and documenting complexity is to have an early warning tool allowing a project team to focus on certain areas and aspects of the project in order to prevent and…
The constraints on the models for the structure formation arising from various cosmological observations at different length scales are reviewed. The status of different models for structure formation is examined critically in the light of…
Scientists use mathematical modelling to understand and predict the properties of complex physical systems. In highly parameterised models there often exist relationships between parameters over which model predictions are identical, or…
We discuss the notion of integrability in quantum mechanics. Starting from a review of some definitions commonly used in the literature, we propose a different set of criteria, leading to a classification of models in terms of different…
Nanostructured surfaces usually exhibit complicated morphologies that cannot be described in terms of Euclidean geometry. Simultaneously, they do not constitute fully random noise fields to be characterized by simple stochastics and…
This paper explores the connection between dynamical system properties and statistical physics of ensembles of such systems. Simple models are used to give novel phase transitions; particularly for finite N particle systems with many…
Requirements engineering plays a critical role in developing software systems. One of the most difficult tasks in this process is identifying functional requirements. A critical problem in many projects is missing requirements until late in…
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always followed by another action before a given deadline". This…
Parametricity states that polymorphic functions behave the same regardless of how they are instantiated. When developing polymorphic programs, Wadler's free theorems can serve as free specifications, which can turn otherwise partial…
The purpose of this article is to delve into the properties of invariants. The properties, explained in [2], reveal new ways to develop algorithms that allow us to test the primality of a number. In this article, some of these are shown,…