4266 search results - page 678 / 854 » A Framework for Defining Logics |
171
click to vote
CGF
2010
15 years 6 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
170
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
154
click to vote
DKE
2006
15 years 6 months ago
2006
The last few years, there has been an extensive body of literature in data warehousing applications that primarily focuses on basket-type (transactional) data, common in retail in...
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
169
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...