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

Probabilistic model checkers like PRISM check the satisfiability of probabilistic CTL (pCTL) formulas against discrete-time Markov chains. We prove soundness and completeness of their underlying algorithm in Isabelle/HOL. We define Markov chains given by a transition matrix and formalize the corresponding probability measure on sets of paths. The formalization of pCTL formulas includes unbounde...

Caprine milk contains a large amount of different sialylated and neutral lactose-derived oligosaccharides compared to cow or sheep milk. In addition, its oligosaccharide profile is very similar to human milk, which suggests it has similar physiological activity. Thus, the caprine milk oligosaccharide fraction is a very promising food ingredient for human nutrition applications, especially for t...

Combining high-performance liquid chromatography with radioimmunoassay enabled the precise measurement of different angiotensins and their metabolites in plasma. Peptides were extracted from 2 ml of plasma by reversible adsorption to phenylsilyl-silica, separated by isocratic high-performance liquid chromatography, and quantitated by radioimmunoassay using a sensitive but suitably cross-reactin...

The author has developed a method of speaker identification,based on representation of speakers by some LPC-coded vowels.The minimum cumulated spectral difference between corresponding test and reference samples was the decision criterion in the recognition task.The experiments reported nere investigated the ability of the modified method to identify speakers under noise conditions.Tne modifica...

This paper proposes a methodology based on discounted cumulated gain measures and visual analytics techniques in order to improve the analysis and understanding of IR experimental evaluation results. The proposed methodology is geared to favour a natural and effective interaction of the researchers and developers with the experimental data and it is demonstrated by developing an innovative appl...

Innovating in downturns can affect corporate success because it improves a firm’s position relative to competitors during the recovery period. However, increased uncertainty and more binding financial constraints complicate such innovation activity. I find that past experience with innovation during recessions improves a firm’s ability to invest in R&D when a new downturn hits. This result hold...

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