Sciweavers

10539 search results - page 1807 / 2108
» On L
Sort
View
ENTCS
2011
106views more  ENTCS 2011»
15 years 1 months ago
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
F. L. C. de Moura, A. V. Barbosa, Mauricio Ayala-R...
EOR
2011
85views more  EOR 2011»
15 years 1 months ago
Optimizing departure times in vehicle routes
Most solution methods for the vehicle routing problem with time windows (VRPTW) develop routes from the earliest feasible departure time. In practice, however, temporal traffic co...
A. L. Kok, E. W. Hans, J. M. J. Schutten
EWC
2011
52views more  EWC 2011»
15 years 1 months ago
Localized coarsening of conforming all-hexahedral meshes
Abstract. Finite element mesh adaptation methods can be used to improve the efficiency and accuracy of solutions to computational modeling problems. In many applications involving ...
Adam C. Woodbury, Jason F. Shepherd, Matthew L. St...
JBI
2011
249views Bioinformatics» more  JBI 2011»
15 years 1 months ago
A reusable framework for health counseling dialogue systems based on a behavioral medicine ontology
Automated approaches to promoting health behavior change, such as exercise, diet, and medication adherence promotion, have the potential for significant positive impact on society...
Timothy W. Bickmore, Daniel Schulman, Candace L. S...
JOCN
2011
90views more  JOCN 2011»
15 years 1 months ago
Medial Prefrontal Cortex Predicts Intertemporal Choice
■ People often make shortsighted decisions to receive small benefits in the present rather than large benefits in the future, that is, to favor their current selves over their f...
Jason P. Mitchell, Jessica Schirmer, Daniel L. Ame...
« Prev « First page 1807 / 2108 Last » Next »