Sciweavers

2777 search results - page 335 / 556
» Example centric programming
Sort
View
CCE
2004
15 years 2 months ago
An MPEC formulation for dynamic optimization of distillation operations
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...
Arvind U. Raghunathan, M. Soledad Diaz, Lorenz T. ...
CMPB
2002
90views more  CMPB 2002»
15 years 2 months ago
Bivariate linear mixed models using SAS proc MIXED
Bivariate linear mixed models are useful when analyzing longitudinal data of two associated markers. In this paper, we present a bivariate linear mixed model including random effe...
Rodolphe Thiébaut, Hélène Jac...
ENTCS
2000
80views more  ENTCS 2000»
15 years 2 months ago
Behavioral and Coinductive Rewriting
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
Joseph A. Goguen, Kai Lin, Grigore Rosu
JSS
2000
83views more  JSS 2000»
15 years 2 months ago
Module interconnection features in object-oriented development tools
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
Sergio E. R. de Carvalho, Julio Cesar Sampaio do P...
GIS
2002
ACM
15 years 2 months ago
Towards an evaluation of quality for names placement methods
The cartographic labeling problem is the problem of placing text on a map. This includes the positioning of the labels, and determining the shape in the case of line and area feat...
Steven van Dijk, Marc J. van Kreveld, Tycho Strijk...