"Based on the proceedings of the first conference on superconvergence held recently at the University of Jyvaskyla, Finland. Presents reviewed papers focusing on superconvergence phenomena in the finite element method. Surveys for the first time all known superconvergence techniques, including their proofs."
"Based on the proceedings of the first conference on superconvergence held recently at the University of Jyvaskyla, Finland. Presents reviewed papers ...
Domain decomposition methods are a well established tool for an efficient numerical solution of partial differential equations, in particular for the coupling of different model equations and of different discretization methods. Based on the approximate solution of local boundary value problems either by finite or boundary element methods, the global problem is reduced to an operator equation on the skeleton of the domain decomposition. Different variational formulations then lead to hybrid domain decomposition methods.
Domain decomposition methods are a well established tool for an efficient numerical solution of partial differential equations, in particular for ...
The theory of stochastic processes indexed by a partially ordered set has been the subject of much research over the past twenty years. The objective of this CIME International Summer School was to bring to a large audience of young probabilists the general theory of spatial processes, including the theory of set-indexed martingales and to present the different branches of applications of this theory, including stochastic geometry, spatial statistics, empirical processes, spatial estimators and survival analysis. This theory has a broad variety of applications in environmental sciences,...
The theory of stochastic processes indexed by a partially ordered set has been the subject of much research over the past twenty years. The objecti...
In image processing, "motions by curvature" provide an efficient way to smooth curves representing the boundaries of objects. In such a motion, each point of the curve moves, at any instant, with a normal velocity equal to a function of the curvature at this point. This book is a rigorous and self-contained exposition of the techniques of "motion by curvature." The approach is axiomatic and formulated in terms of geometric invariance with respect to the position of the observer. This is translated into mathematical terms, and the author develops the approach of Olver, Sapiro and...
In image processing, "motions by curvature" provide an efficient way to smooth curves representing the boundaries of objects. In such a motion, eac...
MostMOEAsuseadistancemetricorothercrowdingmethodinobjectivespaceinorder to maintain diversity for the non-dominated solutions on the Pareto optimal front. By ensuring diversity among the non-dominated solutions, it is possible to choose from a variety of solutions when attempting to solve a speci?c problem at hand. Supposewehavetwoobjectivefunctionsf (x)andf (x).Inthiscasewecande?ne 1 2 thedistancemetricastheEuclideandistanceinobjectivespacebetweentwoneighboring individuals and we thus obtain a distance given by 2 2 2 d (x, x )= f (x )?f (x )] + f (x )?f (x )] . (1) 1 2 1 1 1 2 2 1 2 2 f...
MostMOEAsuseadistancemetricorothercrowdingmethodinobjectivespaceinorder to maintain diversity for the non-dominated solutions on the Pareto optimal fr...
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability.
This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in...
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat...
This book consists of five introductory contributions by leading mathematicians on the functional analytic treatment of evolutions equations. In particular the contributions deal with Markov semigroups, maximal L DEGREESp-regularity, optimal control problems for boundary and point control systems, parabolic moving boundary problems and parabolic nonautonomous evolution equations. The book is addressed to PhD students, young researchers and mathematicians doing research in one of the above topics.
This book consists of five introductory contributions by leading mathematicians on the functional analytic treatment of evolutions equations. In pa...
On behalf of the Organizing Committee, we would like to welcome you to the proccedings of the 23rd International Conference on Conceptual Modeling (ER 2004). This conference provided an international forum for technical discussion on conceptual modeling of information systems among researchers, developers and users. This was the third time that this conference was held in Asia; the ?rst time was in Singapore in 1998 and the second time was in Yokohama, Japan in 2001. China is the third largest nation with the largest population in the world. Shanghai, the largest city in China and a great...
On behalf of the Organizing Committee, we would like to welcome you to the proccedings of the 23rd International Conference on Conceptual Modeling (ER...
Researchers and graduate students in the theory of stochastic processes will find in this 35th volume some thirty articles on martingale theory, martingales and finance, analytical inequalities and semigroups, stochastic differential equations, functionals of Brownian motion and of Levy processes. Ledoux's article contains a self-contained introduction to the use of semigroups in spectral gaps and logarithmic Sobolev inequalities; the contribution by Emery and Schachermayer includes an exposition for probabilists of Vershik's theory of backward discrete filtrations."
Researchers and graduate students in the theory of stochastic processes will find in this 35th volume some thirty articles on martingale theory, marti...
A certain category of infinite strings of letters on a finite alphabet is presented here, chosen among the 'simplest' possible one may build, both because they are very deterministic and because they are built by simple rules (a letter is replaced by a word, a sequence is produced by iteration). These substitutive sequences have a surprisingly rich structure. The authors describe the concepts of quantity of natural interactions, with combinatorics on words, ergodic theory, linear algebra, spectral theory, geometry of tilings, theoretical computer science, diophantine approximation,...
A certain category of infinite strings of letters on a finite alphabet is presented here, chosen among the 'simplest' possible one may build, both bec...
