Sciweavers

5754 search results - page 539 / 1151
» Multi-class Model M
Sort
View
IJCGA
2006
85views more  IJCGA 2006»
15 years 7 months ago
Some Lower Bounds on Geometric Separability Problems
We obtain lower bounds in the algebraic computation tree model for deciding the separability of two disjoint point sets. In particular, we show (n log n) time lower bounds for sep...
Esther M. Arkin, Ferran Hurtado, Joseph S. B. Mitc...
ENTCS
2007
99views more  ENTCS 2007»
15 years 7 months ago
Nominal Equational Logic
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
Ranald A. Clouston, Andrew M. Pitts
JPDC
2006
123views more  JPDC 2006»
15 years 7 months ago
Data redistribution and remote method invocation for coupled components
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity o...
Felipe Bertrand, Randall Bramley, David E. Bernhol...
MCS
2006
Springer
15 years 7 months ago
Lattice Boltzmann simulations of drop dynamics
We present a free energy lattice Boltzmann approach to modelling the dynamics of liquid drops on chemically patterned substrates. We start by describing a choice of free energy th...
H. Kusumaatmaja, A. Dupuis, Julia M. Yeomans
AUTOMATICA
2004
114views more  AUTOMATICA 2004»
15 years 7 months ago
Adaptive control for nonlinear nonnegative dynamical systems
Nonnegative and compartmental models are widespread in engineering systems and life sciences and play a key role in the understanding of these systems. In this paper, we develop a...
Wassim M. Haddad, Tomohisa Hayakawa