In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numeri...

Although heterosis is widely utilized in crop production, its genetic and molecular basis is still elusive. It is arguably that heterosis arises in crosses between genetically and/or epigenetically distinct individuals. Various genetic models have been proposed to explain heterosis, such as dominance and overdominance hypothesis. With the recent advancements in functional genomics, epigenetics,...

An overview of Stochastic Hybrid Models developed in the literature is presented. Attention is concentrated on three classes of models: Piecewise Deterministic Markov Processes, Switching Diffusion Processes and Stochastic Hybrid Systems. The descriptive power of the three classes is compared and conditions under which the classes coincide are developed. The theoretical analysis is motivated by...

in this paper, we present an application of evolved neural networks using a real coded genetic algorithm for simulations of monthly groundwater levels in a coastal aquifer located in the shabestar plain, iran. after initializing the model with groundwater elevations observed at a given time, the developed hybrid genetic algorithm-back propagation (ga-bp) should be able to reproduce groundwater ...

Clinical mastitis was analyzed with mixed linear models (LM) and survival analysis (SA) using data from the first 3 lactations of >200,000 Swedish Holstein cows having their first calving between 1995 and 2000. The model for both methods included fixed effects of year-month and age at calving, fixed regressions of proportions of heterosis and North American Holstein genes, and random effects of...

The strong interaction between the discrete dynamic and the one continue is now seriously taken into account in the model. These models newborn so-called hybrid models describe at one time the two dynamics and are already used as well in control systems as in analysis. The methods and present tools of the dependability of systems are either of quantitative order or qualitative one. The avenue o...

An approach for hybrid model parameter identification based on sensitivity equations approach is tested on a hybrid model for biosurfactant production process. The computer simulations were performed using software tools created in Matlab (The MathWorks, Inc.) environment. Possible difficulties and ways of practical implementation of the analyzed identification algorithms for the identification...

one of the most important and valuable goal of software development life cycle is software cost estimation or sce. during the recent years, sce has attracted the attention of researchers due to huge amount of software project requests. there have been proposed so many models using heuristic and meta-heuristic algorithms to do machine learning process for sce. cocomo81 is one of the most popular...