Sciweavers

5664 search results - page 1007 / 1133
» Creativity support tools
Sort
View
CE
2007
133views more  CE 2007»
13 years 10 months ago
Reusable, lifelike virtual humans for mentoring and role-playing
Lifelike, interactive digital characters, serving as mentors and role-playing actors, have been shown to significantly improve learner motivation and retention. However, the cost...
Edward M. Sims
JCS
2008
119views more  JCS 2008»
13 years 10 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 10 months ago
Identifying statistical dependence in genomic sequences via mutual information estimates
Questions of understanding and quantifying the representation and amount of information in organisms have become a central part of biological research, as they potentially hold th...
H. M. Aktulga, I. Kontoyiannis, L. A. Lyznik, Luka...
JC
2006
97views more  JC 2006»
13 years 10 months ago
Optimal approximation of elliptic problems by linear and nonlinear mappings II
We study the optimal approximation of the solution of an operator equation A(u) = f by four types of mappings: a) linear mappings of rank n; b) n-term approximation with respect t...
Stephan Dahlke, Erich Novak, Winfried Sickel
NAR
2006
79views more  NAR 2006»
13 years 10 months ago
The Database of Macromolecular Motions: new features added at the decade mark
The database of molecular motions, MolMovDB 15 (http://molmovdb.org), has been in existence for the past decade. It classifies macromolecular motions and provides tools to interpo...
Samuel Flores, Nathaniel Echols, Duncan Milburn, B...
« Prev « First page 1007 / 1133 Last » Next »