Hamiltonian mechanics of field theory can be formulated in a generally covariant and background independent manner over a finite dimensional extended configuration space. The physical symplectic structure of the theory can then be defined over a space G of three-dimensional surfaces without boundary, in the extended configuration space. These surfaces provide a preferred over-coordinatization o...

the electronic absorption spectral line shape of a diatomic molecule with harmonic potential curves is calculated using the time correlation function formalism. both the equilibrium shift and the frequency shift of the two linking electronic states ate taken into account. the spectrum is also calculated using the cumulated expansion which is related to the correlation function of the time-depen...

Studies of multiple taxa across broad-scales suggest that species distributions are shifting poleward in response to global climate change. Understanding the influence of distribution shifts on regional population indices will be an important part of interpreting population trends within local management units because, compared to a time when distribution were less dynamic, changes in populatio...

A nonnegative 1-periodic multifractal measure on R is obtained as infinite random product of harmonics of a 1-periodic function W(t). Such infinite products are statistically self-affine and generalize certain Riesz products with random phases. They are martingale structures, therefore converge. The criterion on W for nondegeneracy is provided. It differs completely from those for other known r...

Optimal conditions are used in nondynamical formalism to diagonalize the pionproton reaction matrix as much as possible. Invariance laws are imposed to simplify the relationship between observables and bilinear combination of amplitudes. Transverse amplitudes are determined by using measured polarization parameter in xfp elastic scattering at 6.0 GeVIC

The computerized modeling tool for DEDSs (that are highly event-driven) is given. Statecharts formalism is used for description of the system's behaviour. The graphics-based tool Stacha contains GUI which enables to draw the Statecharts and to specify the behaviour of the system under development. The described modeling tool further enables to analyse the system properties (such as liveness, re...

We show that if Part(κ, λ) holds for every λ ≥ κ, then κ is strongly compact. Let κ be a regular infinite cardinal, and let λ ≥ κ be a cardinal. Pκ(λ) denotes the set of all subsets of λ of size less than κ. Part(κ, λ) means that for every F : Pκ(λ) × Pκ(λ) → 2, there is a cofinal subset A of (Pκ(λ),⊆) such that F is constant on the set {(a, b) ∈ A × A : a ⊂ b}. This definition is due to Jech [...

This note summarises my understanding to date of two closely-related theories for dealing with “bulk” data types: the Bird-Meertens formalism (henceforth abbreviated to BMF) and its extension in categorical data types (CDT). I've been led to this study for two reasons: as interesting formalisms for program derivation in their own right, and as a possible basis for defining useful operations for...

The work presented in this paper is framed within the context of the BigMed project, a project funded by the Norwegian Research Council. One of the objectives of BigMed is to enhance the phenotype acquisition process in newborns with a monogenetic disorder, one of the four patient groups studied in the project. The use of the Human Phenotype Ontology (HPO) [1] to tag phenotypes and systems like...