نتایج جستجو برای: jacques marie emile
تعداد نتایج: 16548 فیلتر نتایج به سال:
The lambda-calculus, by its ability to express any computable function, is theoretically able to represent any algorithm. However, notwithstanding their equivalence in expressiveness, it is not so easy to nd a natural translation for algorithms described in an imperative way. The transformation calculus, a conservative extension of lambda-calculus, corrects this aw by re-introducing an implicit...
Wbatever its merit as an account of political institutions, the social contract theory bas, in recent years, been the subject of intense scrutiny as an explanation for our moral obligations. Prominent examples of this approacb include the work of Jobn Rawls and David Gauthier. l A criticism of this understanding ofmoral obligation arises from several commentators, partly as a result of claims m...
The contact between two membranes can be described by a system of variational inequalities, where the unknowns are the displacements of the membranes and the action of a membrane on the other one. We first perform the analysis of this system. We then propose a discretization, where the displacements are approximated by standard finite elements and the action by a local postprocessing which admi...
Protein Misfolding Cyclic Amplification is a procedure used to accelerate the prion-replication process involved during the incubation period of transmissible spongiform encephalopathies. This technique could be used to design an efficient diagnosis test detecting the abnormally-shaped protein responsible of the decease before the affected person is at an advanced stage of the illness. In this ...
Klinik für Innere Medizin III, Universitätsklinikum des Saarlandes, Homburg, Saar, Germany; Department of Cardiology, Cardiovascular Center, University Hospital, Zurich, Switzerland; Deptartment of Cardiology, Sahlgrenska University Hospital, Gothenburg, Sweden; Swiss Cardiovascular Center, Clinical and Interventional Angiology, University and University Hospital Bern, Bern, Switzerland; Center...
Jennifer A. Nettleton*, Marie-France Hivert, Rozenn N. Lemaitre, Nicola M. McKeown, Dariush Mozaffarian, Toshiko Tanaka, Mary K. Wojczynski, Adela Hruby, Luc Djoussé, Julius S. Ngwa, Jack L. Follis, Maria Dimitriou, Andrea Ganna, Denise K. Houston, Stavroula Kanoni, Vera Mikkilä, Ani Manichaikul, Ioanna Ntalla, Frida Renström, Emily Sonestedt, Frank J. A. van Rooij, Stefania Bandinelli, Lawrenc...
We consider the non stationary flow of a viscous incompressible fluid in a rigid homogeneous porous medium provided with mixed boundary conditions. Since the medium is nonhomogeneous, its permeability is only piecewise continuous. We are thus led to use the mortar method to handle these discontinuities. We propose a space and time discretization of the full system. We prove optimal a priori err...
We consider a nonlinear model for a thermoelastic beam that can enter in contact with obstacles. We first prove the well-posedness of this problem. Next, we propose a discretization by Euler and Crank-Nicolson schemes in time and finite elements in space and perform the a priori analysis of the discrete problem. Some numerical experiments confirm the interest of this approach. Résumé: Nous cons...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید