On universal subsets of Banach spaces

We prove that to most of the known hypercyclic operators A on separable Banach spaces there exist compact (compact convex, compact connected) subsets K of E such that each compact (compact convex, compact connected) subset of E can be approximated with respect to Hausdorff's distance by for suitable . Received July 8, 1997, in final form October 17, 1997     

Stability testing in an integrated scheme

ISO Guide 35 deals with RM stability issues and scrutinizes the evaluation of stability testing results under the assumption that either there is no trend at all (a rather rare situation), or any observed deterministic change is insignificant and thus can be neglected. However, market demands for reliable reference materials are obviously not limited to stable or at least seemingly stable materials. In many analytical applications, analytes and measurands under consideration are known, or at least suspected, to be unstable on time scales that may vary widely from measurand to measurand. The Federal Institute for Materials Research and Testing (BAM) has developed (and successfully uses) an integrated approach in its certification practice. The approach is based on an initial stability study and subsequent post-certification monitoring. Data evaluation is model-based and takes advantage of all information collected in the stability testing scheme(s). It thus allows one to deal with any kind of instability observed, to assess limiting time intervals at any stress condition in the range tested, to estimate a final expiry date for materials with detected instabilities or the maximum admissible re-testing interval for seemingly stable materials, and to assess maximum admissible stress loads during delivery of the material to the customer. The article describes (and exemplifies) typical study layout, the model selection, and the integrated data assessment.     

Conformal fields,restriction properties,degenerate representations and SLEChamps conformes,propriété de restriction,représentations dégénérées et SLE

We relate the Schramm–Loewner Evolution processes (SLE) to highest-weight representations of the Virasoro Algebra. The restriction properties of SLE that have been recently derived in [19] play a crucial role. In this setup, various considerations from conformal field theory can be interpreted and reformulated via SLE. This enables one to make a concrete link between the two-dimensional discrete critical systems from statistical physics and conformal field theory. To cite this article: R. Friedrich, W. Werner, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 947–952.     

Operations in A-theory

A construction for Segal operations for K-theory of categories with cofibrations, weak equivalences and a biexact pairing is given and coherence properties of the operations are studied. The model for K-theory, which is used, allows coherence to be studied by means of (symmetric) monoidal functors. In the case of Waldhausen A-theory it is shown how to recover the operations used in Waldhausen (Lecture Notes in Mathematics, Vol. 967, Springer, Berlin, 1982, pp. 390-409) for the A-theory Kahn-Priddy theorem. The total Segal operation for A-theory, which assembles exterior power operations, is shown to carry a natural infinite loop map structure. The basic input is the un-delooped model for K-theory, which has been developed from a construction by Grayson and Gillet for exact categories in Gunnarsson et al. (J. Pure Appl. Algebra 79 (1992) 255), and Grayson's setup for operations in Grayson (K-theory (1989) 247). The relevant material from these sources is recollected followed by observations on equivariant objects and pairings. Grayson's conditions are then translated to the context of categories with cofibrations and weak equivalences. The power operations are shown to be well behaved w.r.t. suspension and are extended to algebraic K-theory of spaces. Staying close with the philosophy of Waldhausen (1982) Waldhausen's maps are found. The Kahn-Priddy theorem follows from splitting the “free part” off the equivariant theory. The treatment of coherence of the total operation in A-theory involves results from Laplaza (Lecture Notes in Mathematics, Vol. 281, Springer, Berlin, 1972, pp. 29-65) and restriction to spherical objects in the source of the operation.     

Approximation of multi-scale elliptic problems using patches of finite elements

In this paper we present a method to solve numerically elliptic problems with multi-scale data using multiple levels of not necessarily nested grids. The method consists in calculating successive corrections to the solution in patches whose discretizations are not necessarily conforming. It resembles the FAC method (see Math. Comp. 46 (174) (1986) 439–456) and its convergence is obtained by a domain decomposition technique (see Math. Comp. 57 (195) (1991) 1–21). However it is of much more flexible use in comparison to the latter. To cite this article: R. Glowinski et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Database reverse engineering: From requirements to CARE tools

This paper analyzes the requirements that CASE tools should meet for effective database reverse engineering (DBRE), and proposes a general architecture for data-centered applications reverse engineering CASE environments. First, the paper describes a generic DBMS-independent DBRE methodology, then it analyzes the main characteristics of DBRE activities in order to collect a set of desirable requirements. Finally, it describes DB-MAIN, an operational CASE tool developed according to these requirements. The main features of this tool that are described in this paper are its unique generic specification model, its repository, its transformation toolkit, its user interface, the text processors, the assistants, the methodological control and its functional extensibility. Finally, the paper describes five real-world projects in which the methodology and the CASE tool were applied. This is a heavily revised and extended version of “Requirements for Information System Reverse Engineering Support” by J.-L. Hainaut, V. Englebert, J. Henrard, J.-M. Hick, D. Roland, which first appeared in the Proceedings of the Second Working Conference on Reverse Engineering, IEEE Computer Society Press, pp. 136–145, July 1995. This paper presents some results of the DB-MAIN project. This project is partially supported by the Région Wallonne, the European Union, and by a consortium comprising ACEC-OSI (Be), ARIANE-II (Be), Banque UCL (Lux), BBL (Be), Centre de recherche public H. Tudor (Lux), CGER (Be), Cockerill-Sambre (Be), CONCIS (Fr), D'Ieteren (Be), DIGITAL, EDF (Fr), EPFL (CH), Groupe S (Be), IBM, OBLOG Software (Port), ORIGIN (Be), Ville de Namur (Be), Winterthur (Be), 3 Suisses (Be). The DB-Process subproject is supported by the Communauté Fran?aise de Belgique.