The paper presents an original solution for modeling and simulation of the teeth movement biomedical processes which occur in case orthodontic treatments. direct application this method consists possibility to approximate, with high precision, treatment duration, depending on physical characteristics each patient. This aspect represents a novelty element processes’ domain since, until now, rese...

Based on the classical model of SEIR infection, this paper studies infection with temporary duration immunity by increasing infectivity incubation period and after infection. differential equations, python language is used for modeling, modeling results are analyzed compared real data. The can preliminarily predict development trend influenza in a time conforming to above basic characteristics.

The increasing availability of carefully designed and collected speech corpora opens up new possibilities for the statistical estimation of formal multivariate prosodic models. At Apple Computer, statistical prosodic modeling exploits the Victoria corpus, recently created to broadly support ongoing speech synthesis research and development. This corpus is composed of five constituent parts, eac...

We describe a new method of modeling duration at word level. These duration models are easily trained from the acoustic training data and can be used to rescore N−best lists of recognition hypotheses. The models capture some of the well known durational effects such as prepausal lengthening. They incorporate a simple back off mechanism to handle unseen words during rescoring. Experiments with v...

We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for ...

In this paper we present the main achievements of UNU/IIST during the project “Design Techniques for Real-time Systems” carried out since 1993 by its staff and fellows. Duration Calculus was originally introduced in 1991 as a powerful logic for specifying the safety of realtime systems. During the project, it has evolved to a set of calculi that can capture many important aspects in real-time s...

We describe a new method of modeling duration at word level. These duration models are easily trained from the acoustic training data and can be used to rescore N−best lists of recognition hypotheses. The models capture some of the well known durational effects such as prepausal lengthening. They incorporate a simple back off mechanism to handle unseen words during rescoring. Experiments with v...