Results 81 to 90 of about 86,663 (296)
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
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
Layer by layer - Combining Monads
, 2018 We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concretely builds a distributive law between two monads, i.e.
A Balan +19 more
core +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
Petri nets and algebraic specifications
Theoretical Computer Science, 1991 Petri nets with structured tokens are defined using the formalism of abstract data types. Ground terms thereby are used to represent the markings. This gives a new, and hopefully more adequate setting for what is known from other high-level Petri nets. Place and transition invariants can be calculated using term substitution.
openaire +2 more sources
A partial envelope approach for modelling multivariate spatial‐temporal data
Canadian Journal of Statistics, EarlyView.Abstract In the new era of big data, modelling multivariate spatial‐temporal data is a challenging task due to both the high dimensionality of the features and complex associations among the responses across different locations and time points.
Reisa Widjaja +3 more
wiley +1 more source
Involutions on Relational Program Calculi [PDF]
Scientific Annals of Computer Science, 2008 The standard Galois connection between the relational and predicate-transformer models of sequential programming (defined in terms of weakest precondition) confers a certain similarity between them.
I.M. Rewitzky, J.W. Sanders
doaj
Using formal methods to support testing [PDF]
, 2008 Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Bogdanov, K +13 more
core
Self‐Similar Blowup for the Cubic Schrödinger Equation
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We give a rigorous proof for the existence of a finite‐energy, self‐similar solution to the focusing cubic Schrödinger equation in three spatial dimensions. The proof is computer‐assisted and relies on a fixed point argument that shows the existence of a solution in the vicinity of a numerically constructed approximation.
Roland Donninger, Birgit Schörkhuber
wiley +1 more source
Mathematic-Graphical Formalization of Switch Point Control Circuit Function
Advances in Electrical and Electronic Engineering, 2004 This article describes authors designed method then enables mathematic – graphical formalization of system’s functional specification. The result of this method is algebraic system – finite automata that is written in transition table.
Juraj Zdansky, Karol Rastocny
doaj