We de ne a value-based modal -calculus, built from rst-order formulas, modalities, and xed point operators parameterized by data variables, which allows to express temporal properties involving data. We interpret this logic over CRL terms de ned by linear process equations. The satisfaction of a temporal formula by a CRL term is translated to the satisfaction of a rst-order formula containing p...

It is critical to have an induction method for reasoning about re-cursive programs expressed as xed points, for otherwise our reasoning ability is severely impaired. The xed point induction rule developed by deBakker and Scott is one such well known principle. Here we propose a new induction method, computational induction , which is an induction on the computation process. Computational induct...

For nearly incompressible elasticity, volumetric locking is a well-known phenomenon with low-order (cubic or lower) fi nite element method methods, of which continuous extended fi nite element methods (XFEMs) are no exception. We will present an XFEM that is simultaneously lock-free and optimally convergent. Based on our earlier work of an optimally convergent discontinuous-Galerkin-based XFEM,...

S. Vassiliadis K. Bertels G. G. Pechanek E.E. Dept Dept. Gestion de l'Entreprise DSP Architecture/Development T.U. Delft, Delft Univ. of Namur IBM Corporation The Netherlands 2628 CD 5000 Namur, Belgium RTP, N.C. 27709 USA Abstract In this paper we investigate the possibility of constructing xed point units using feed-forward neural networks. We investigate the possibility of constructing small...

The problem of transition to chaos, i.e. the destruction of invariant circles or KAM (Kolmogorov-Arnold-Moser) curves, in area preserving nontwist maps is studied within the renormalization group framework. Nontwist maps are maps for which the twist condition is violated along a curve known as the shearless curve. In renormalization language this problem is that of nding and studying the xed po...

We unveil new results based on measurement that guarantee the existence of unique xed points which need not be maximal. In addition, we establish that least xed points are always attractors in the topology, and then explore the consequences of these ndings in analysis. In particular, an extension of the Banach xed point theorem on compact metric spaces 3] is obtained.

background: at the end of fi xed orthodontic treatment, the remnant of adhesive should be eliminated from the tooth surface. the purpose of this study was to compare the effect of three methods of removing adhesive on enamel surface roughness, dental pulp t emperature, and also on the time spent. materials and methods: the brackets on 90 extracted teeth were debonded using bracket removal plier...

The relationship between xed point theory and K {theory is explained, both classical Nielsen theory (versus K 0) and 1{parameter xed point theory (versus K 1). In particular, various zeta functions associated with suspension ows are shown to come in a natural way as \traces" of \torsions" of Whitehead and Reidemeister type.

The square root function has a unique positive ¿xed point. This function has the following properties: it is strictly increasing and strictly concave, with sEf ' f, sE@ : @ for @ , and sEK K for K : . It is shown that any function from U to U satisfying these properties has a unique positive ¿xed point.

In this paper we underline the importance of the parametric subregularity property of setvalued mappings, de…ned with respect to …xed sets. We show that this property appears naturally for some very simple mappings which play an important role in the theory of metric regularity. We prove a result concerning the preservation of metric subregularity at generalized compositions. Then we obtain, on...