2042 search results - page 401 / 409 » Variable Number of |
112
click to vote
JAR
2006
15 years 4 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
145
click to vote
JCP
2006
15 years 4 months ago
2006
As the amount of online shoppers grows rapidly, the need of recommender systems for e-commerce sites are demanding, especially when the number of users and products being offered o...
133
click to vote
JIB
2006
15 years 4 months ago
2006
In this study, we seek to develop a predictive model for finding the strength of binding between a particular transcription factor (TF) variant and a particular DNA target variant...
149
click to vote
EOR
2007
15 years 4 months ago
2007
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
122
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We develop a computational method for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of tra...