A discontinuous Galerkin (DG) discretization of Dirichlet problem for second-order elliptic equations with discontinuous coefficients in 2-D is considered. For this discretization...
This paper presents results from a survey of Vancouver secondary school students on their interests and perceived abilities in a range of subjects, the factors they felt would inf...
Vania Chan, Katie Stafford, Maria M. Klawe, Grace ...
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
Intravascular ultrasonography and x-ray angiography provide two complimentary techniques for imaging the moving coronary arteries. We present a technique that combines the strengt...
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
Emanuele Di Rosa, Enrico Giunchiglia, Marco Marate...