La problématique du consentement à l'arbitrage multipartite au sein des groupements de sociétés

"Mémoire présenté à la Faculté des Études supérieures En vue de l'obtention du grade de Maîtrise en droit (LL.M.) option : Droit des affaires". Ce mémoire a été accepté à l'unanimité et classé parmi les 15% des mémoires de la discipline.

L'autonomie de la clause compromissoire en matière d'arbitrage international

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit (LL.M.) (Option: droit des affaires )"

Arbitration under the regulations on the guarantee of new residential buildings in Quebec

Dans ma mémoire, j’ai discuté les concepts d’arbitrage comme méthode de résolution d’un litige et par après, je donne un court historique de l’acceptation d’arbitrage au Québec. Le Chapitre I étudie la structure des règlements du R.B.Q., qui est un gendre d’arbitrage obligatoire institutionnelle, et j’inclus les diverses procédures dans ce système d’arbitrage. La sécurité offert par le plan de garantie règle par le R.B.Q. est discuté dans le Chapitre II en autant qu’il est relié avec le system d’arbitrage R.B.Q., y compris la structure du plan et le contenu de la sécurité. Chapitre III parle des recours disponible aux Bénéficiares ainsi que les avantages et désavantages de l’arbitrage sous les Règlements du R.B.Q. Un court étude comparative de quatre autres juridictions est recherché en Chapitre IV, incluant notre voisin, Ontario, les Etats-Unis et on croise dans les juridictions de Royaume Unie et Allemagne. En conclusion, j’établis que notre système d’arbitrage sous le Règlement protéges notre publique plus que d’autres juridictions. Je suggère des améliorations au système, par contre, incluant l’agrandissement du plan de garantie, l’ajout des pouvoirs donnés aux arbitres américains et ensuite d’intègré un système d’arrêt semblable aux Royaumes Unis.

Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision

La méthode de subdivision Catmull-Clark ainsi que la méthode de subdivision Loop sont des normes industrielle de facto. D'autre part, la méthode de subdivision 4-8 est bien adaptée à la subdivision adaptative, parce que cette méthode augmente le nombre de faces ou de sommets par seulement un facteur de 2 à chaque raffinement. Cela promet d'être plus pratique pour atteindre un niveau donné de précision. Dans ce mémoire, nous présenterons une méthode permettant de paramétrer des surfaces de subdivision de la méthode Catmull-Clark et de la méthode 4-8. Par conséquent, de nombreux algorithmes mis au point pour des surfaces paramétriques pourrant être appliqués aux surfaces de subdivision Catmull-Clark et aux surfaces de subdivision 4-8. En particulier, nous pouvons calculer des bornes garanties et réalistes sur les patches, un peu comme les bornes correspondantes données par Wu-Peters pour la méthode de subdivision Loop.

Age and species related variation in the development of growth plates of the knee and implications for the locomotion of Australopithecus afarensis

Comprendre l'évolution de la bipédie est un élément essentiel à la recherche en paléoanthropologie, car ce comportement est le trait le plus important utilisé pour identifier les fossiles comme appartenant à la lignée des hominines. La topographie de la surface infradiaphysaire du fémur et du tibia pourrait donner un aperçu du comportement locomoteur des espèces fossiles, mais n'a pas été étudiée de façon approfondie. Ce trait reflète directement les différences dans la locomotion, puisque la surface change de topographie pour mieux résister aux charges encourues par les mouvements réguliers. Le plan infradiaphysaire du fémur chez les humain est relativement plat, tandis que la surface est plus irrégulière chez les grands singes. Dans ce projet, les métaphyses du genou ont été étudiées d’une manière quantifiée afin de percevoir les différences entre espèces et mieux comprendre le développement ontogénique de ces traits. Les angles formés par les protrusions et les creux de ces surfaces ont été mesurés à partir de points de repère enregistrés en trois-dimensions sur les métaphyses du genou chez les humains, chimpanzés, gorilles, et orangs-outans, et chez trois fossiles Australopithecus afarensis, afin d’observer de l’effet de facteurs tel le stade de croissance et l’appartenance à une espèce sur la topographie des plaques de croissance du genou. Les angles d’obliquité du fémur et du tibia ont aussi été mesurés et analysés. Les résultats ont révélé que le stade développemental et l’appartenance à une espèce et, par association, le mode de locomotion, ont un effet significatif sur les métaphyses du genou. Il a également été constaté que les mesures d'Australopithecus afarensis chevauchent les valeurs trouvées chez les humains et chez les grands singes, ce qui suggère que cette espèce avait possiblement conservé une composante arboricole dans son comportement locomoteur habituel.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Role of the Protein Tyrosine Kinase 7 gene in human neural tube defects

Les anomalies du tube neural (ATN) sont des anomalies développementales où le tube neural reste ouvert (1-2/1000 naissances). Afin de prévenir cette maladie, une connaissance accrue des processus moléculaires est nécessaire. L’étiologie des ATN est complexe et implique des facteurs génétiques et environnementaux. La supplémentation en acide folique est reconnue pour diminuer les risques de développer une ATN de 50-70% et cette diminution varie en fonction du début de la supplémentation et de l’origine démographique. Les gènes impliqués dans les ATN sont largement inconnus. Les études génétiques sur les ATN chez l’humain se sont concentrées sur les gènes de la voie métabolique des folates du à leur rôle protecteur dans les ATN et les gènes candidats inférés des souris modèles. Ces derniers ont montré une forte association entre la voie non-canonique Wnt/polarité cellulaire planaire (PCP) et les ATN. Le gène Protein Tyrosine Kinase 7 est un membre de cette voie qui cause l’ATN sévère de la craniorachischisis chez les souris mutantes. Ptk7 interagit génétiquement avec Vangl2 (un autre gène de la voie PCP), où les doubles hétérozygotes montrent une spina bifida. Ces données font de PTK7 comme un excellent candidat pour les ATN chez l’humain. Nous avons re-séquencé la région codante et les jonctions intron-exon de ce gène dans une cohorte de 473 patients atteints de plusieurs types d’ATN. Nous avons identifié 6 mutations rares (fréquence allélique <1%) faux-sens présentes chez 1.1% de notre cohorte, dont 3 sont absentes dans les bases de données publiques. Une variante, p.Gly348Ser, a agi comme un allèle hypermorphique lorsqu'elle est surexprimée dans le modèle de poisson zèbre. Nos résultats impliquent la mutation de PTK7 comme un facteur de risque pour les ATN et supporte l'idée d'un rôle pathogène de la signalisation PCP dans ces malformations.