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...

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...

This tutorial will describe the use of a factored probabilistic sequence model for parsing speech and text using a bounded store of three to four incomplete constituents over time, in line with recent estimates of human shortterm working memory capacity. This formulation uses a grammar transform to minimize memory usage during parsing. Incremental operations on incomplete constituents in this t...