Results 81 to 90 of about 65,035 (289)
Selecting reusable components using algebraic specifications [PDF]
A significant hurdle confronts the software reuser attempting to select candidate components from a software repository - discriminating between those components without resorting to inspection of the implementation(s).
Eichmann, David A.
core +1 more source
The use of sequencing information in software specification for verification [PDF]
, 1983 Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core +1 more source
A‐optimal model‐based design of experiments for processes with uncertain inputs
The Canadian Journal of Chemical Engineering, EarlyView.Abstract Model‐based design of experiments (MBDoE) techniques are tools for selecting experimental conditions that enable accurate parameter estimation for mechanistic models. Most MBDoE approaches assume that the selected experimental conditions will be implemented perfectly, without uncertainties in the independent variables.
Bright Ofori +3 more
wiley +1 more source
Randomness, computability and algebraic specifications
Annals of Pure and Applied Logic, 1998 The author describes an interesting relation between Kolmogorov complexity and abstract algebra. Traditionally, Kolmogorov complexity is defined and analyzed for integers or for words in an alphabet; however, it can also be described for an arbitrary algebra (crudely speaking, for an arbitrary abstract data type).
openaire +1 more source
Asymptotic properties of cross‐classified sampling designs
Canadian Journal of Statistics, EarlyView.Abstract We investigate the family of cross‐classified sampling designs across an arbitrary number of dimensions. We introduce a variance decomposition that enables the derivation of general asymptotic properties for these designs and the development of straightforward and asymptotically unbiased variance estimators.
Jean Rubin, Guillaume Chauvet
wiley +1 more source
Известия высших учебных заведений. Поволжский регион:Технические науки, 2020 Background. At the current level of organization of distributed computing systems (DCS), it is necessary to take into account the mobility of components - computing nodes located on mobile platforms and software modules in the form of mobile agents ...
V. I. Volchikhin +2 more
doaj +1 more source
A relation-algebraic approach to simple games [PDF]
Simple games are a powerful tool to analyze decision - making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems ...
Agnieszka Rusinowska +3 more
core
The Use of Sorts in Algebraic Specifications
DAIMI Report Series, 1992 Algebraic specification frameworks exploit a variety of sort disciplines. The treatment of sorts has a considerable influence on the ease with which such features as partiality and polymorphism can be specified. This survey gives an accessible overview of various frameworks, focusing on their sort disciplines and assessing their strengths and ...
openaire +2 more sources
Bayesian inverse ensemble forecasting for COVID‐19
Canadian Journal of Statistics, EarlyView.Abstract Variations in strains of COVID‐19 have a significant impact on the rate of surges and on the accuracy of forecasts of the epidemic dynamics. The primary goal for this article is to quantify the effects of varying strains of COVID‐19 on ensemble forecasts of individual “surges.” By modelling the disease dynamics with an SIR model, we solve the ...
Kimberly Kroetch, Don Estep
wiley +1 more source
A goodness‐of‐fit test for regression models with discrete outcomes
Canadian Journal of Statistics, EarlyView.Abstract Regression models are often used to analyze discrete outcomes, but classical goodness‐of‐fit tests such as those based on the deviance or Pearson's statistic can be misleading or have little power in this context. To address this issue, we propose a new test, inspired by the work of Czado et al.
Lu Yang +2 more
wiley +1 more source