Help


[permalink] [id link]
+
Page "Model checking" ¶ 1
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Given and model
Given a model of some atomic positions, these positions and their respective Debye-Waller factors ( or B-factors, accounting for the thermal motion of the atom ) can be refined to fit the observed diffraction data, ideally yielding a better set of phases.
Given a set of training examples, each marked as belonging to one of two categories, an SVM training algorithm builds a model that assigns new examples into one category or the other.
Given the go-ahead, Marston developed Wonder Woman, basing her character on both Elizabeth and Olive Byrne, to be the model of an conventional, liberated, powerful modern woman.
Given local and transient influences on surface height, the values defined below are based on a " general purpose " model, refined as globally precisely as possible within 5 m of reference ellipsoid height, and to within 100 m of mean sea level ( neglecting geoid height ).
Given the ACE model, researchers can determine what proportion of variance in a trait is heritable, versus the proportions which are due to shared environment or unshared environment.
Given the limited spectrum a wholesale model as noted by the EU Commission reference 2 in such situation is chosen.
Given the shortcomings of the linear regression model for dealing with a dichotomous criterion, it is necessary to use some other analysis.
Given that deviance is a measure of the difference between a given model and the saturated model, smaller values indicate better fit.
Given a set of training examples, each marked as belonging to one of two categories, an SVM training algorithm builds a model that predicts whether a new example falls into one category or the other.
Given a model M of a Skolem theory T, the smallest substructure containing a certain set A is called the Skolem hull of A.
Given a probability space, consider a single-period binomial model.
Given a set of data and the desire to produce some kind ofmodelof those data ( model, in this case, meaning a function fitted through the data ), there are a variety of functions that can be chosen for the fit.
Given such a model, the sentence
However, the modelling study also states that " Given the complex, three-dimensional nature of the real Pine Island glacier ... it should be clear that the [...] model is a very crude representation of reality.
:" Given that the structure of an econometric model consists of optimal decision rules of economic agents, and that optimal decision rules vary systematically with changes in the structure of series relevant to the decision maker, it follows that any change in policy will systematically alter the structure of econometric models.
Given the assumptions of the model ( for example, that the profits are reinvested and that capital accumulation does not substitute for skilled labor in production ), the process becomes self-sustaining and leads to modernization and economic development.
Given the model and realizations ( samples ) of the random vector, the task is to estimate both the mixing matrix and the sources.
Given a set of candidate models for the data, the preferred model is the one with the minimum AIC value.
Given a time series of data X < sub > t </ sub >, the ARMA model is a tool for understanding and, perhaps, predicting future values in this series.
Given a good model, it is best to make as many observations as practicable, depending of the expected reliability of prior knowledge, cost of observations, time and resources available, and accuracy required.
Given a model selection problem in which we have to choose between two models, on the basis of observed data D, the plausibility of the two different models M < sub > 1 </ sub > and M < sub > 2 </ sub >, parametrised by model parameter vectors and is assessed by the Bayes factor K given by

Given and system
Given these changes, the classical terms " system ", " expansion " and " peripheral " no longer have the same connotations.
Given the system ( corresponding to )
Given the limited budget for schools, it is claimed that a voucher system would weaken public schools while at the same time not necessarily providing enough money for people to attend private schools.
Given that the bulk of family chores fell to women, and that they were five times more likely than men to head a single-parent family, the shortcomings of Finland's child day-care system affected women more than it did men.
Given a simple mathematical or functional description of an input or output to a system, the Laplace transform provides an alternative functional description that often simplifies the process of analyzing the behavior of the system, or in synthesizing a new system based on a set of specifications.
Given the proposition that ' a persons life prospects should not be decided by factors outside of their control or for which a person cannot claim personal credit ' ( i. e. social status, inherited wealth, race and other accidents of birth ) a meritocracy proposes a system where people are rewarded based on their efforts, and if everyone can start on equal footing with the same opportunity to advance, then the results are just.
Given a syscall that does nothing, a full round-trip under BSD would require about 40μs, whereas on a user-space Mach system it would take just under 500μs.
Given the diversity of functions performed by neurons in different parts of the nervous system, there is, as expected, a wide variety in the shape, size, and electrochemical properties of neurons.
Given the increasing number of scientists who study the nervous system, several prominent neuroscience organizations have been formed to provide a forum to all neuroscientists and educators.
Given the complexity of NLP problems, it is often difficult to predict performance only on the basis of glass-box evaluation, but this type of evaluation is more informative with respect to error analysis or future developments of a system.
Given an arbitrary group G, there is a related profinite group G < sup >^</ sup >, the profinite completion of G. It is defined as the inverse limit of the groups G / N, where N runs through the normal subgroups in G of finite index ( these normal subgroups are partially ordered by inclusion, which translates into an inverse system of natural homomorphisms between the quotients ).
Given the poorly understood nature of the endocannabinoid system, it will take many more generations of progress to even scratch the surface of the extraordinarily complex mechanisms that control neurological development / degeneration.
Given that the authors were the primary developers of the Unix operating system, it is natural that QED had a strong influence on the classic UNIX text editors ed, sed and their descendants such as ex and sam.
Given the opportunity, for example during an illness that suppresses the immune system, the virus is reactivated and travels to the end of the nerve cell, where it causes the symptoms described above.
: Given an isolated system in equilibrium, it is found with equal probability in each of its accessible microstates.
Given Ω microstates at a particular energy, the probability of finding the system in a particular microstate is p = 1 / Ω.
Given the space X = Spec ( R ) with the Zariski topology, the structure sheaf O < sub > X </ sub > is defined on the D < sub > f </ sub > by setting Γ ( D < sub > f </ sub >, O < sub > X </ sub >) = R < sub > f </ sub >, the localization of R at the multiplicative system
) Given that the telephone system nominal voiceband ( including guardband ) is 4, 000 Hz, the required digital sampling rate is 8, 000 Hz ( see Nyquist rate ).
Given the structural similarities between bacterial flagella and bacterial secretory systems, it is thought that bacterial flagella may have evolved from the type three secretion system ; however, it is not known for certain whether these pores are derived from the bacterial flagella or the bacterial secretory system.
Given a system of n-dimensional variables ( physical variables ), in k ( physical ) dimensions, write the dimensional matrix M, whose rows are the dimensions and whose columns are the variables: the ( i, j ) th entry is the power of the ith unit in the jth variable.
Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesised logic program which entails all the positive and none of the negative examples.
Given a testing procedure E applied to each prepared system, we obtain a sequence of values

0.291 seconds.