3108 search results - page 152 / 622 » The Elements of Computer Credibility |
141
click to vote
IMR
2004
Springer
15 years 10 months ago
2004
Springer
Spacetime Discontinuous Galerkin (DG) methods are used to solve hyperbolic PDEs describing wavelike physical phenomena. When the PDEs are nonlinear, the speed of propagation of th...
146
Voted
ENTCS
2008
15 years 4 months ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
123
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
131
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
The Notification Collage (NC) is a groupware system where distributed and co-located colleagues comprising a small community post media elements onto a real-time collaborative sur...
131
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Hyperthermia based cancer treatments are used to increase the susceptibility of cancerous tissue to subsequent radiation or chemotherapy treatments, and in the case in which a tumo...