Sciweavers

8699 search results - page 157 / 1740
» Elements of the Theory of Computation
Sort
View
COMPUTING
1998
69views more  COMPUTING 1998»
14 years 11 months ago
Multilevel Norms for H-1/2
We give some estimates related to nite element multilevel splittings and Sobolev norms of negative order. Basically, results for the positive order case are carried over by dualit...
P. Oswald
ITICSE
2005
ACM
15 years 5 months ago
Novice Java programmers' conceptions of "object" and "class", and variation theory
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a fi...
Anna Eckerdal, Michael Thuné
NA
2011
296views Computer Vision» more  NA 2011»
14 years 6 months ago
Rational approximation to the Fermi-Dirac function with applications in density functional theory
We are interested in computing the Fermi-Dirac matrix function in which the matrix argument is the Hamiltonian matrix arising from Density Function Theory (DFT) applications. More...
Roger B. Sidje, Yousef Saad
ECSQARU
2007
Springer
15 years 5 months ago
Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
Norbert Lehmann
BIRTHDAY
2008
Springer
15 years 1 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König