We describe a program called SketchIT that uses a description of desired behavior to transform a sketch of a mechanical device into a “BEP-Model,” a parametric model with constraints that ensure the device produces the desired behavior. The program also generates alternative implementations for the design, each of which is represented as a BEP-Model. The program is based on qualitative configur...

We discuss the prediction of a spatial variable of a multivariate mark composed of both dependent and explanatory variables. The marks are location-dependent and they are attached to a point process. We assume that the marks are assigned independently, conditionally on an unknown underlying parametric field. We compare (i) the classical non-parametric Nadaraya–Watson kernel estimator based on t...

When dealing with muqarnas, we are actually facing a design problem that consists of three main issues that has to be considered; first is the components, second is the assembly knowledge, and finally functional knowledge. In this context Design Procedures (DP) is presented as a methodology that enhances the design capability of a parametric model to perform design variations by using shapes as...

This approach is the standard one when one uses parametric compartmental pharmacokinetic (PK) models. The usual parameter values are either the mean or median as the descriptor of the central tendency, and the standard deviation (SD) as the measure of dispersion. The usual distribution is the common Gaussian bell-shaped curve. Usually the mean is the central value used, and the distribution is ...

Different dependence scenarios can arise in multivariate extremes, entailing careful selection of an appropriate class of models. In bivariate extremes, the variables are either asymptotically dependent or are asymptotically independent. Most available statistical models suit one or other of these cases, but not both, resulting in a stage in the inference that is unaccounted for, but can substa...

Estimation of three-dimensional articulated human pose and motion from images is a central problem in computer vision. Much of the previous work has been limited by the use of crude generative models of humans represented as articulated collections of simple parts such as cylinders. Automatic initialization of such models has proved difficult and most approaches assume that the size and shape o...

This paper presents an application of formal verification which was carried out using the new implemented version of the LPMC model checker tool [16]. The focus is on the modeling and the automatic verification of a protocol contained in the IEEE 1394 standard, the Root Contention protocol. The Root Contention protocol involves both realtime and randomization. As it will be shown, it is an illu...

Estimation of small area means in the presence of area level auxiliary information is considered. A class of estimators based on local polynomial regression is proposed. The assumptions on the area level regression are considerably weaker than standard small area models. Both the small area mean functions and the between area variance function are modeled as smooth functions of area level covar...

V.V. Migunov. The modelling of the build constructions in a CAD of the renovation of the enterprises by means of units in the drawings // Izvestiya of the Tula State University/ Ser. The parametric model of build constructions and features of design operations are described for making drawings, which are the common component of the different parts of the projects of renovation of enterprises. T...