The second column reports results from a specification that excludes the observations in the highest income category 51 observations.
The fourth column reports results from a specification excluding observations in the highest income and age categories.
The highest one stems from a specification with the social security model (BEVSS) and the time horizon (DEPVAR): 1.09 0.77 plus two standard errors).
Furthermore, the QNET software package [66] enables complete automation of this task, starting from a specification of the network in terms of its physical components.
The article propose a system supporting logic controllers development, starting from a specification, going through formal verification (including model checking), and ending with synthesis.
This chapter focuses on the architecture description language (ADL ++, which allows automatic synthesis of cycle-accurate simulators, assemblers, and disassemblers from a specification written in the language.
The entries in the first row are from a specification with a single living wage variable, and the entries in the second and third rows are from a specification that interacts the living wage variable with dummy variables for the type of living wage.
We give test cases and connectors a unifying formal semantics by using the notion of design in UTP, and generate test cases by solving constraints obtained from a specification and a faulty implementation.
From a specification of the allowed spectrum, for instance prescribed by a standard, including a PSD-mask and a number of tones, we analytically predict achievable PAR levels, and thus implicitly suggest parameter choices.
We start from a specification of the production objectives while imposing minimal structure on the production possibilities, and construct tools to meaningfully quantify deviations of observed producer behavior from optimizing behavior.
