In bioinformatics, biochemical signal pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the available data. Here, the approach of systematically obtaining the most appropriate model and learning its parameters is extremely interesting. One of the most often used approaches for model selection is to ch...

We develop a mixture procedure for multi-sensor systems to monitor data streams for a change-point that causes a gradual degradation to a subset of the streams. Observations are assumed to be initially normal random variables with known constant means and variances. After the change-point, observations in the subset will have increasing or decreasing means. The subset and the rate-of-changes ar...

Since its introduction, Bounded Model Checking has been a motivating factor for the development of SAT solvers and considerable research has been directed towards them. However, while great advances have been made, other factors determining the overall runtime of the model-checking process have been afforded less attention. The process by which the CNF representation is obtained has a major eff...

Eighteen temporal lobectomy patients (9 left, LTL; 9 right, RTL) were administered four verbal tasks, an Affective Implicit Task, a Neutral Implicit Task, an Affective Explicit Task, and a Neutral Explicit Task. For the Affective and Neutral Implicit Tasks, participants were timed while reading aloud passages with affective or neutral content, respectively, as quickly as possible, but not so qu...

High environmental pressure may impair male fertility by affecting sperm quality, but the real effect remains controversial. Herein, we assessed the influence of environmental exposure on telomere length (TL) in both leukocytes (LTL) and sperm cells (STL). A pilot biomonitoring study was conducted in 112 clinically healthy, normospermic men living in various areas of Campania region (South of I...

A cumulative sum (CUSUM) control chart is one of the most popular methods used to detect a process mean shift. When one specific size of the mean shift is assumed, the CUSUM chart can be optimally designed in terms of average run length (ARL). In practice, however, the size of the mean shift is usually unknown, and the CUSUM chart can perform poorly when the actual size of the mean shift is sig...

Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic speciication and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with t...

Rigorous results on the nonlinear dynamics of a dilute Bose gas with a negative scattering length in an harmonic magnetic trap are presented and sufficient conditions for the collapse of the system are formulated. By using the virial theorem for the Gross-Pitaevskii equation in an external field we analyze the temporal evolution of the mean square radius I = r 2 | ψ | 2 dV of the gas cloud. In ...

The theory of Well Structured Transition Systems, (WSTS) allows the automatical verification of safety properties of infinite-state systems, such that parts of reachability sets can be finitely represented [7, 11, 10]. Termination, boundedness and coverability are decidable for WSTS [4, 5, 9]. As Petri nets are WSTS, the previous properties are decidable. For complete WSTS [10], the Karp and Mi...

A study was carried out to parameterize the METRIC (Mapping EvapoTranspiration at high Resolution with Internalized Calibration) model for estimating instantaneous values of albedo (shortwave albedo) (αi), net radiation (Rni) and soil heat flux (Gi), sensible (Hi) and latent heat (LEi) over a drip-irrigated Merlot vineyard (location: 35°25′ LS; 71°32′ LW; 125 m.a.s. (l). The experiment was carr...