515 search results - page 16 / 103 » Neighborhood operator systems and approximations |
TARK
2005
Springer
15 years 3 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
ISCC
2000
IEEE
15 years 2 months ago
2000
IEEE
-- In a WAN established infrastructure, one of the main problems ATM network planners and users face, when greater than T1/E1 bandwidth is required, is the high cost associated to ...
DAGSTUHL
2011
13 years 9 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
MMAS
2010
Springer
14 years 4 months ago
2010
Springer
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...
FIMH
2005
Springer
15 years 3 months ago
2005
Springer
Calcified coronary arteries can cause severe cardiac problems and may provoke an infarction of the heart’s wall. An established treatment method is the bypass operation. The usa...