11395 search results - page 397 / 2279 » Beyond computer science |
148
click to vote
MFCS
2001
Springer
15 years 11 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
190
click to vote
FOCS
2006
IEEE
16 years 26 days ago
2006
IEEE
We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...
397
click to vote
Tutorial
"This is a tutorial on vector algebra and matrix algebra from the viewpoint of computer graphics. It covers most vector and matrix topics needed to read college-level computer...
299
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A four-year undergraduate curriculum leading to a Bachelor’s degree in Computational Physics is described. The courses, texts, and seminars are research- and Web-rich, ...
153
Voted
CCA
2009
Springer
16 years 1 months ago
2009
Springer
We extend the results of [2] by computing conformal maps onto the canonical slit domains in Nehari [14]. Along the way, we demonstrate the computability of solutions to Neuman prob...