4770 search results - page 657 / 954 » Flexible Type Analysis |
175
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
As part of an NSF-funded IT Workforce grant, the authors conducted ethnographic research to provide deep understanding to the learning environment of computer science classrooms. ...
204
click to vote
TSE
1998
15 years 6 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
153
click to vote
NAR
2007
15 years 6 months ago
2007
KNOTS (http://knots.mit.edu) is a web server that detects knots in protein structures. Several protein structures have been reported to contain intricate knots. The physiological ...
174
click to vote
CASC
2010
Springer
15 years 5 months ago
2010
Springer
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
162
click to vote
COR
2008
15 years 5 months ago
2008
This paper deals dynamically with the question of how recruitment to terror organizations is influenced by counter-terror operations. This is done within a optimal control model, ...