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.)

Consumer protection in the banking sector : reviewing the Code of Banking Practice

This article explains the relevance of the Code and its place in the regulatory framework, discusses some of the key issues arising in the recent review (as identified by consumer advocates1), and explains the relationship between the Code and the Financial Ombudsman Service.

Sustainability and the building code of Australia

This report is the culmination of a two-stage research project to inform the Australian property and construction industry generally, in addition to providing the Australian Building Codes Board (ABCB) with information to allow it to determine whether or not sustainability requirements are necessary in the Future Building Code of Australia (BCA21). The Australian Building Codes Board is a joint initiative of all levels of government in Australia. The Board’s mission is to provide for efficiency and cost effectiveness in meeting community expectations for health, safety and amenity in the design, construction and use of buildings through the creation of nationally consistent building codes, standards, regulatory requirements and regulatory systems. The Stage 1 (literature review) and Stage 2 (workshops) reports are intended to be read in conjunction with one another. These reports and the Database are provided as appendices. The Conclusions of this, the final report, are the result of the overall program of work.

Automated code checking

Most buildings constructed in Australia must comply with the Building Code of Australia (BCA). Checking for compliance against the BCA is a major task for both designers and building surveyors. This project carries out a prototype research using the EDM Model Checker and the SMC Model Checker for automated design checking against the Building Codes of Australia for use in professional practice. In this project, we develop a means of encoding design requirements and domain specific knowledge for building codes and investigate the flexibility of building models to contain design information. After assessing two implementations of EDM and SMC that check compliance against deemed-to-satisfy provision of building codes relevant to access by people with disabilities, an approach to automated code checking using a shared object-oriented database is established. This project can be applied in other potential areas – including checking a building design for non-compliance of many types of design requirements. Recommendations for future development and use in other potential areas in construction industries are discussed