The present regulatory climate has led to increasing demands for scientists to attest to the predictive reliability of numerical simulation models used to help set public policy, a process frequently referred to as model validation. But while model validation may reveal useful information, this paper argues that it is not possible to demonstrate the predictive reliability of any model of a comp...

This paper describes works at the Centre for Strategic Manufacturing, University of Strathclyde on developing Quantitative Models for Performance Measurement Systems (QMPMS) using cognitive maps, cause and e!ect diagrams, tree diagrams, and the analytic hierarchy process. It describes how the technique can be used to identify factors a!ecting performance and their relationships, structure them ...

Research on the computational discovery of numeric equations has focused on constructing laws from scratch, whereas work on theory revision has emphasized qualitative knowledge. In this paper, we describe an approach to improving scientiic models that are cast as sets of equations. We review one such model for aspects of the Earth ecosystem , then recount its application to revising parameter v...

When models of quantitative genetic variation are built from population genetic first principles, several assumptions are often made. One of the most important assumptions is that traits are controlled by many genes of small effect. This leads to a prediction of a Gaussian trait distribution in the population, via the Central Limit Theorem. Since these biological assumptions are often unknown o...

The article introduces a novel hybrid data driven and rule based approach for the prosody control in a TTS system, which combines the advantages of well-balanced, quantitative models with the flexible training of derived model parameters. Instancing the training of Fujisaki intonation parameters for German (MFGI) the article describes the hybrid data driven and rule based architecture HYDRA, th...

The goal of execution monitoring is to determine whether a system or person is fonowmg a plan appropriately. Monitoring information may be uncertain, and the plan being monitored may have complex temporal constraints. We develop a new framework for reasoning under uncertainty with quantitative temporal constraints Quantitative Temporal Dynamic Bayesian Networks and we discuss its application to...

In continuing with the research program initiated by Llored and Harré of exploring the part/whole (mereological) discourses of chemistry, we analyse Quantitative Structure-Activity Relationships (QSAR) studies, which are widespread approaches for modeling substances’ properties. The study is carried out by analyzing a particular QSAR model, and it is found that different mereologies are needed:...

From Jan 18 to Jan 22, 2010, the Dagstuhl Seminar 10031 Quantitative Models: Expressiveness and Analysis was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas...

Research on the computational discovery of numeric equations has focused on constructing laws from scratch, whereas work on theory revision has emphasized qualitative knowledge. In this paper, we describe an approach to improving scientiic models that are cast as sets of equations. We review one such model for aspects of the Earth ecosystem , then recount its application to revising parameter v...

The Association of Tennis Professionals (ATP) and the Women’s Tennis Association (WTA) generate weekly rankings for professional tennis players by awarding points to each player depending on how far the player has advanced in a countable tournament. Since tournaments are designed such that top players face the lower-ranked players in the earlier rounds, a bias is introduced which favours the to...