Développement d'une librairie de code et d'outils bio-informatiques faciliant l'analyse de grandes quantités de données génomiques

Thèse décrivant l'écriture d'outils spécialisés facilitant l'analyse de grandes quantités de données provenant de technologie de séquencage haut débit.

Le Code Civil commenté dans ses rapports avec la théologie morale : ou explication du code civil tant por le for intérieur que pour le for extérieur /

Antep.

Théorie du code pénal /

Contiene: Tome 1(IV, 600 p.). - Tome 2 (654 p.).- Tome 3 (568 p.).- Tome 4 (576 p.).-Tome 5 (641 p)

Code des chemins de fer : ou Recueil complet des lois, ordonnances, cahiers de charges... concernant l'établissement,... la police et l'exploitation des chemins de fer, /

En port., además: 1e partie.

Code civil expliqué par ses motifs, par des examples, et par la jurisprudence : avec la solution, sous chaque article, des difficultés... ; suivi d'un formulaire /

Mode of access: Internet.

Code de Commerce expliqué par ses motifs, par des exemples, et par la jurisprudence, avec la solution, sous chaque article, des difficultés, ainsi que des principales questions que présente le texte, la définition des termes de droit, et la reproduction des motifs de tous les arrèts-principes, suivi d'un formulaire /

Mode of access: Internet.

Code annoté des chemins de fer en exploitation; ou, Recueil méthodique et chronologique des lois, décrets ... etc. concernant l'exploitation technique et commerciale des chemins de fer ...

Originally published in 1861.

Essais de Jérémie Bentham sur la situation politique de l'Espagne : sur la constitution et sur le nouveau code espagnol, sur la constitution du Portugal, etc. /

Mode of access: Internet.

Essais de Jérémie Bentham, sur la situation politique de l'Espagne, sur la constitution et sur le nouveau code Espagnol, sur la constitution du Portugal, etc., etc. Traduits de l'anglais, précédés d'observations sur la révolution de la péninsule et sur l'histoire du gouvernment représentatif en Europe, et suivis d'une traduction nouvelle de la constitution des cortès.

Includes: Lettres au comte de Toreno sur le code pénal proposé par le comité de législation des cortés espagnoles (25 April 1821.)

Reliability-based evaluation of design code provisions for circular concrete-filled steel columns

This paper presents an investigation of design code provisions for steel-concrete composite columns. The study covers the national building codes of United States, Canada and Brazil, and the transnational EUROCODE. The study is based on experimental results of 93 axially loaded concrete-filled tubular steel columns. This includes 36 unpublished, full scale experimental results by the authors and 57 results from the literature. The error of resistance models is determined by comparing experimental results for ultimate loads with code-predicted column resistances. Regression analysis is used to describe the variation of model error with column slenderness and to describe model uncertainty. The paper shows that Canadian and European codes are able to predict mean column resistance, since resistance models of these codes present detailed formulations for concrete confinement by a steel tube. ANSI/AISC and Brazilian codes have limited allowance for concrete confinement, and become very conservative for short columns. Reliability analysis is used to evaluate the safety level of code provisions. Reliability analysis includes model error and other random problem parameters like steel and concrete strengths, and dead and live loads. Design code provisions are evaluated in terms of sufficient and uniform reliability criteria. Results show that the four design codes studied provide uniform reliability, with the Canadian code being best in achieving this goal. This is a result of a well balanced code, both in terms of load combinations and resistance model. The European code is less successful in providing uniform reliability, a consequence of the partial factors used in load combinations. The paper also shows that reliability indexes of columns designed according to European code can be as low as 2.2, which is quite below target reliability levels of EUROCODE. (C) 2009 Elsevier Ltd. All rights reserved.

Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions

This paper presents results on a verification test of a Direct Numerical Simulation code of mixed high-order of accuracy using the method of manufactured solutions (MMS). This test is based on the formulation of an analytical solution for the Navier-Stokes equations modified by the addition of a source term. The present numerical code was aimed at simulating the temporal evolution of instability waves in a plane Poiseuille flow. The governing equations were solved in a vorticity-velocity formulation for a two-dimensional incompressible flow. The code employed two different numerical schemes. One used mixed high-order compact and non-compact finite-differences from fourth-order to sixth-order of accuracy. The other scheme used spectral methods instead of finite-difference methods for the streamwise direction, which was periodic. In the present test, particular attention was paid to the boundary conditions of the physical problem of interest. Indeed, the verification procedure using MMS can be more demanding than the often used comparison with Linear Stability Theory. That is particularly because in the latter test no attention is paid to the nonlinear terms. For the present verification test, it was possible to manufacture an analytical solution that reproduced some aspects of an instability wave in a nonlinear stage. Although the results of the verification by MMS for this mixed-order numerical scheme had to be interpreted with care, the test was very useful as it gave confidence that the code was free of programming errors. Copyright (C) 2009 John Wiley & Sons, Ltd.