La relation individuelle de travail a pour particularité de reposer traditionnellement sur une inégalité des parties. Ce sentiment d'inégalité des forces est perçue dans la relation individuelle de travail toute entière. Ainsi, la supériorité de l'employeur est ressentie au travers de la subordination juridique qui lie inéluctablement le salarié à son employeur. De même, cette supériorité est perceptible lors de l'élaboration de la relation individuelle de travail qui repose théoriquement sur la sujétion de la partie faible. Aussi, se fondant sur les évolutions proposées par le droit commun, nous souhaitons démontrer que le développement de l'information contribue à réduire la domination subie par le salarié. Ainsi, la première partie de ce travail tente d'apporter la démonstration selon laquelle le salarié, partie faible lors de la création de la relation de travail, peut se libérer de celle-ci au moyen de l'information. Cette dernière offre, tantôt par son effet obligatoire, tantôt par son effet libérateur une solidité certaine à l'acte d'engagement du salarié. Une fois la relation de travail établie, le salarié estlogiquement soumis aux pouvoirs reconnus à l'employeur. La deuxième partie de ce travail se propose donc d'entrevoir la manière avec laquelle l'information permet de contourner la force d'attraction de ces pouvoirs qui, s'ils ne sont pas mis en oeuvre de façon transparente, font perdre à l'employeur sa légitimité à agir. / The individual employment relationship has the particularity to rely on traditionally unequal parties. This feeling of inequality is perceived strengths in the individual employment relationship as a whole. Thus, the superiority of the employer is felt through the legal subordination that inevitably binds the employee to the employer. Similarly, this superiority is evident in the development of the individual employment relationship based theoretically on the subjection of the weaker party. Also, based on the changes proposed by the law, we want to demonstrate that the development of information helps to reduce the domination suffered by the employee. Thus, the first part of this work attempts to provide proof that the employee weakest part in the creation of the employment relationship, can get rid of it using the information. This latest offering, sometimes by its binding effect, sometimes by liberating some solidity to the act of engagement of the employee. Once the working relationship, the employee is logically subject to the powers granted to the employer. The second part of this work proposes a glimpse of the way in which the information is used to bypass the pull of those powers which, if they are not implemented in a transparent manner, are lost to the employer legitimacy to act.

Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui. / This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs), and the first version of the catalog, which comprises attributes that aim to help the selection of the most suitable models of computation for each DSML development, and characteristics of software systems for which these models of computation are more appropriate. The context for the use of the catalog is the Model-Driven Development (MDD) - the approach where software development is based on graphical models that are subsequently translated (transformed) into lower-level models and, in the end, in source code in programming languages, such as Java or C #. The process was applied to generate an initial version of the catalog with the following models of computation: BPMN diagrams, UML class diagrams and business rules. It aims to contribute to popularize the MDD approach based in DSMLs, and in particular, the development of the DSMLs design from domain models, for which the use of the catalog effectively contributes.

Made available in DSpace on 2016-03-15T19:34:05Z (GMT). No. of bitstreams: 1 Regina Coeli Pacini de Moraes Forjaz.pdf: 740878 bytes, checksum: c1ff0b2436aa895fa7238e5e7a9677ca (MD5) Previous issue date: 2007-05-16 / This work was the result of a national and worldwide juridic research in many branches of juridic knowledge, as Law s History, Law s General Theory, Constitutional Law and Civil Process Law. Based in the generalized crisis diagnose which affects the Brazilian Judiciary Institution, we intend demonstrate that the constitutional principles as large defense, due process of law do not guarantee justice access. Offering solutions in the direction of process efectiveness and juridical protection is modern doctrine purpose, in order to reach celerity, without compromise juridical-insurance. The polemics is torned between Civil Process Law formalism followers and those who wants it more flexible. This task is directed not only to Law Society but also to the Brazilian Civil Society as a whole, once it demands both institutional, legislative and ethical behaviors changes, concerning to legal proceedings because it is an important citizenship instrument. / Este trabalho é fruto de pesquisa efetuada na doutrina jurídica nacional e alienígena, nas áreas da História do Direito, Teoria Geral do Direito, Direito Constitucional e Direito Processual Civil. Uma vez diagnosticada a crise generalizada por que passam as instituições jurídicas, objetivou-se demonstrar que os princípios constitucionais da ampla defesa, do devido processo legal e do contraditório já não mais atendem à garantia de pleno acesso à justiça. A doutrina hodierna, imbuída do propósito de oferecer soluções que garantam a efetividade do processo e da tutela jurisdicional, que permita, a um só tempo maior celeridade, sem comprometer a segurança jurídica, se debate entre os que defendem o formalismo jurídico e os adeptos da sua flexibilização. Essa tarefa cabe, não apenas aos operadores do Direito, mas a toda a sociedade civil, já que demanda ampla reformulação institucional, legislativa e ética, pois o processo judicial representa, um instrumento decisivo para o pleno exercício da cidadania em nosso País.

Récemment, les actionneurs ioniques ultra-minces à base de poly (3,4-éthylènedioxythiophène) (PEDOT) ont surmonté certains obstacles initiaux pour augmenter le potentiel d'applications dans les dispositifs microfabriqués. Bien que la microfabrication d’actionneurs à trois couches, n’impliquant aucune manipulation manuelle, ait été démontrée, leurs performances mécaniques restent limitées pour des applications pratiques. Le but de cette thèse est d'optimiser les transducteurs dans la phase de fabrication des couches minces en utilisant des micro technologies, de caractériser complètement les propriétés électrochimiques des transducteurs ainsi obtenus, et de développer un modèle pour simuler leurs capacités électromécaniques bidirectionnelles (actionnement et détection). Tout d'abord, les actionneurs à trois couches ultra-minces à base de PEDOT sont fabriqués par polymérisation en phase vapeur de 3,4-éthylènedioxythiophène en réalisant un procédé de synthèse couche par couche. Le travail présenté constitue la première caractérisation complète de microactionneurs ioniques à base de PEDOT fonctionnant dans l’air d’une si faible épaisseur (17 μm) présentant une déformation en flexion et une génération de force de 1% et 12 μN respectivement. En effet, les propriétés électriques, électrochimiques et mécaniques des microactionneurs ont été minutieusement étudiées. La caractérisation non linéaire a été étendue à la dépendance de la capacité volumétrique sur une fenêtre de tension. Le coefficient d'amortissement a été caractérisé pour la première fois. Par ailleurs, un modèle multi-physique non linéaire a été proposé comme méthode de simulation des réponses en mode actionneur et capteur dans des couches multiples, représenté à l'aide d'un formalisme Bond Graph, et a été capable de mettre en œuvre tous les paramètres caractérisés. La concordance entre les simulations et les mesures a confirmé l'exactitude du modèle pour prédire le comportement dynamique non linéaire des actionneurs. En outre, les informations extraites du modèle ont également permis de mieux comprendre les paramètres critiques des actionneurs et leur incidence sur l'efficacité de l'actionneur et sur la distribution de l'énergie. Enfin, un nouveau modèle linéaire électromécanique bidirectionnel a été introduit pour simuler la capacité de détection du transducteur à trois couches et a été confirmé par des résultats expérimentaux dans les domaines fréquentiel et temporel d'un déplacement d'entrée sinusoïdal. Les actionneurs résultants et les modèles proposés sont prometteurs pour la conception, l'optimisation et le contrôle des futurs dispositifs de microsystèmes souples dans lesquels l'utilisation d'actionneurs en polymère devrait être essentielle. / Recently, ultrathin poly (3,4-ethylenedioxythiophene) (PEDOT) – based ionic actuators have overcome some initial obstacles to increase the potential for applications in microfabricateddevices. While microfabrication processing of trilayer actuators that involve no manual handling has been demonstrated, their mechanical performances remain limited for practical applications. The goal of this thesis is to optimize the transducers in thin films fabrication by micro technologies, fully characterize the electrochemomechanical properties of the resulting trilayers, and develop a model to simulate their bidirectional electromechanical ability (actuation and sensing). At first, ultrathin PEDOT-based trilayer actuators are fabricated via the vapor phase polymerization of 3,4-ethylenedioxythiophene combining with the layer by layer synthesis process. This constitutes the first full characterization of ionic PEDOT-based microactuators operating in air of such a small thickness (17 μm) having bending deformation and output force generation of 1% and 12 μN respectively. Secondly, electrical, electrochemical and mechanical properties of the resulting microactuators have been thoroughly studied. Non-linear characterization was extended to volumetric capacitance dependence on voltage window. Damping coefficient was characterized for the first time. Thirdly, a nonlinear multi-physics model was proposed as a method of simulating actuator and sensor responses in trilayers, represented using a Bond Graph formalism, and was able to implement all of the characterized parameters. The concordance between the simulations and the measurements confirmed the accuracy of the model in predicting the non-linear dynamic behavior of the actuators. In addition, the information extracted from the model also provided an insight into the critical parameters of the actuators and how they affect the actuator efficiency, as well as the energy distribution. Finally, a nouveau bidirectional electromechanical linear model was introduced to simulate the sensing ability of the trilayer transducer and was confirmed via experimental results in both frequency and time domains of a sinusoidal input displacement. The resulting actuators and the proposed models are promising for designing, optimizing, and controlling of the future soft microsystem devices where the use of polymer actuators should be essential.

Alumino-silicate systems are of great interest for materials scientists and geochemists. Thermodynamic knowledge of these systems is useful in steel and ceramic industries, and for understanding geochemical processes. A popular and efficient approach used to obtain a self-consistent thermodynamic dataset is called CALPHAD. It couples phase diagram information and thermochemical data with the assistance of computer models. The CALPHAD approach is applied in this thesis to the thermodynamic modelling and assessments of the CaO-Al2O3-SiO2, MgO-Al2O3-SiO2 and Y2O3-Al2O3-SiO2 systems and their subsystems. The compound energy formalism is used for all the solution phases including mullite, YAM, spinel and halite. In particular, the ionic two sub-lattice model is applied to the liquid solution phase. Based both on recent experimental investigations and theoretical studies, a new species, AlO2-1, is introduced to model liquid Al2O3. Thus, the liquid model corresponding for a ternary Al2O3-SiO2-M2Om system has the formula (Al+3,M+m)P (AlO2-1,O-2, SiO4-4,SiO20)Q, where M+m stands for Ca+2, Mg+2 or Y+3. This model overcomes the long-existing difficulty of suppressing the liquid miscibility gap in the ternary systems originating from the Al2O3-free side during the assessments. All the available and updated experimental information in these systems are critically evaluated and finally a self-consistent thermodynamic dataset is achieved. The database can be used along with software for Gibbs energy minimization to calculate any type of phase diagram and all thermodynamic properties. Various phase diagrams, isothermal and isoplethal sections, and thermochemical properties are presented and compared with the experimental data. Model calculated site fractions of species are also discussed. All optimization processes and calculations are performed using the Thermo-Calc software package. / QC 20100607

In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties or the violation of security policies. These vulnerabilities can be exploited by malicious users or systems impacting the security and/or operation of the attacked system. Since the literature on vulnerabilities is not always available to developers and the used tools do not allow detecting and avoiding them; the software industry continues to be affected by security breaches. Therefore, the detection of vulnerabilities in software has become a major concern and research area. Our research was done under the scope of the SHIELDS European project and focuses specifically on modeling techniques and formal detection of vulnerabilities. In this area, existing approaches are limited and do not always rely on a precise formal modeling of the vulnerabilities they target. Additionally detection tools produce a significant number of false positives/negatives. Note also that it is quite difficult for a developer to know what vulnerabilities are detected by each tool because they are not well documented. Under this context the contributions made in this thesis are: Definition of a formalism called template. Definition of a formal language, called Vulnerability Detection Condition (VDC), which can accurately model the occurrence of a vulnerability. Also a method to generate VDCs from templates has been defined. Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques. Experiments on both approaches

Plus de dix ans après la mise en place du projet d’harmonisation du droit du commerce électronique, l’ASEAN, « The Association of Southeast Asian Nations » rassemblant dix États membres en Asie du Sud-est, n’arrive toujours pas à doter chacun de ses États membres d’une législation harmonisée en la matière. Dans cette optique, nous tenterons, pour contribuer à cette harmonisation, de démontrer la situation problématique relative au droit du commerce électronique dans six des dix États membres de l’ASEAN où, en plus de leur non-uniformité législative, les textes nationaux régissant le formalisme du contrat électronique demeurent difficiles à comprendre, à interpréter et donc à appliquer ; ce qui cause parfois des erreurs interprétatives voire l’oubli total de ces textes. Cette expérience n’est pas unique dans l’ASEAN, car l’on trouve également de similaires situations dans d’autres juridictions, telles que le Canada et les États-Unis. Pour pallier cette rupture entre la loi et la jurisprudence, nous proposons une quête d’une méthode d’interprétation comme une piste de solution qui nous semble la plus pertinente au regard de l’état des textes déjà en vigueur et de l’objectif de l’harmonisation du droit du commerce électronique dans l’ASEAN. Parmi les méthodes interprétatives très variées, nous arrivons à identifier la méthode contextuelle, aussi large soit-elle, comme la méthode la plus pertinente eu égard aux caractéristiques particulières du formalisme du contrat électronique, à savoir l’écrit et la signature électroniques. Nous proposons donc une grille d’analyse de cette méthode composée de contextes juridique, technique et social, qui aideront les juristes, surtout les juges, à mieux saisir le sens des textes et à leur donner « une meilleure interprétation » en faveur de l’objectif de l’harmonisation du droit dans l’ASEAN. / More than ten years after the implementation of the harmonization project of e-commerce law, ASEAN, "The Association of Southeast Asian Nations" gathering ten Member States in Southeast Asia, is still not able to provide each of their Member States with a harmonized legislation in this respect. In this context, we try, in contribution to this harmonization, to demonstrate the problematic situation on e-commerce law in six of the ten ASEAN Member States where, in addition to their statutory non-uniformity, these national laws governing the formalism of electronic contract are difficult to understand, to interpret and therefore to apply; sometimes causing interpretative errors or total neglect of these texts. This experience is not unique to ASEAN, because there are also similar situations in other jurisdictions such as Canada and the United States. To address this disconnect between the law and jurisprudence, we propose a search for a method of interpretation as a possible solution that seems most relevant to the state of the texts already in place and to the objective of harmonizing of the electronic commerce law in ASEAN. Among the wide variety of interpretive methods, we are able to identify the contextual approach, as large as it is, as the most appropriate method regarding to the particular characteristics of the formalism of electronic contract, namely the electronic writing and electronic signature. We propose an analytical method that consists of legal, technical and social contexts that will help lawyers, especially judges, to better understand the meaning of the texts and to give them a "best interpretation" in favor of the objective of harmonization of law in ASEAN. / Commentaires généraux du rapport externe (par Prof. Arthur Oulaï) : Il faut saluer la préoccupation du candidat pour l’apport d’un éclairage sur les textes qui régissent le contrat électronique afin de les rendre plus accessibles aux juges. L’élaboration d’une méthode d’interprétation de ces textes constitue, sans aucun doute, une contribution telle qu’attendue d’une thèse de doctorat en droit. Nous tenons à l’en féliciter. Nous recommandons donc la soutenance de sa thèse et lui accordons la mention « Très bonne ». 12 Déc. 2013 – Vincent Gautrais (Directeur de thèse) : Sambath Hel vient de se voir attribuer le doctorat en droit de l’Université de Montréal avec la mention selon laquelle sa thèse est jugée «Très bonne». En plus des félicitations qui lui ont été adressées lors de la soutenance, je puis aussi témoigner du grand plaisir que j’ai eu à l’accompagner durant ce long processus. Bravo Sambath!

No description available.

This dissertation examines the place of Hellenism in nineteenth-century literature as a background to my discussion of Algernon Charles Swinburne’s poetic treatment of Apollo, the Greek god of poetry and of the sun. My point of departure is the common view that sees the Victorians’ fascination with Hellenism as representing a collective sense of dissatisfaction with Christian culture, its politics, and morality. Raised High Anglican, Swinburne was an avid and devoted believer throughout his early life. However, a spiritual crisis which he experienced during his years in Oxford in the late 1850s caused him to grow extremely critical of Christianity and eventually forsake his faith by his mid-twenties. Yet Swinburne’s rejection of Christianity did not result in his rejection of spirituality. And indeed, throughout his poetic career, Swinburne searches for alternative deities that would replace the Christian God. One such deity is Apollo, who becomes a pivotal figure in Swinburne poetry starting with the 1878 publication of Poems and Ballads and in the collections that follow. Focusing on seven major poems written during a period of almost three decades, I show how Apollo serves as the main deity in an emerging Swinburnean mythology. Swinburne’s Apollonian myth, I show, consists of three stages: the invocation and conceptualization of Apollo as a new god by manipulating Biblical and Classical notions of divinity; the formation of a unique Apollonian theology; and the shift toward a nihilistic agnostic vision of spirituality. Each stage, I argue, presents the development of Swinburne’s thought, as well as his deep engagement with nineteenth-century debates about religion, mythography, and the reformative function of poetry. As such, my dissertation has two main purposes: first, expanding the scope of Swinburne scholarship by providing a new thematic context for his later poetry; and second, reclaiming Swinburne’s place in nineteenth-century intellectual history by showing his contribution and involvement in discussions about some of the period’s most central issues.

The thesis entitled “Addressing subtle physicochemical features exhibited by molecular crystals via Experimental and Theoretical Charge Density Analysis” consists of five chapters. An introductory note provides a brief description of experimental and theoretical charge density methodology, followed by its utilization in obtaining certain physical and chemical properties in molecular crystals. Chapter 1 addresses not so easily accessed molecular property arising due to electron conjugation, highlighting antiaromaticity in tetracyclones. A systematic study of six tetracyclone derivatives with electron withdrawing and electron donating substituents has been carried out using experimental and theoretical charge density analysis. A three pronged approach based on quantum theory of atoms in molecules (QTAIM), nucleus independent chemical shifts (NICS), and source function (SF) has been employed to establish the degree of antiaromaticity of the central five-membered ring in all the derivatives. Electrostatic potentials mapped on the is density surface reveal the finer effects of different electron withdrawing and electron donating substituents on the carbonyl group. Chapter 2 presents a temperature induced reversible first order single crystal to single crystal phase transition (Room temperature Orthorhombic, P22121 to low temperature Monoclinic, P21) in a  hybrid peptide, Boc-γ4(R)Val-Val-OH. The thermal behavior accompanying the phase transition of the dipeptide crystal was characterized by differential scanning calorimetry, visual changes in birefringence of the sample during heating and cooling cycles on a hot-stage microscope with polarized light. Variable-temperature unit cell check measurements from 300 to 100 K showed discontinuity in the volume and cell parameters near the transition temperature, supporting the first-order behavior. The reversible nature of the phase transition is traced to be due to an interplay between enthalpy and entropy. Chapter 3 brings out an unusual stabilizing interaction involving a cooperative -hole and ¬hole character in a short NCS···NCS bond. This chapter describes structural features of four isothiocyanate derivatives, FmocXCH2NCS; X=Leu, Ile, Val and Ala. Among these it is observed that only FmocLeuCH2NCS which crystallizes in a tetragonal space group, P41, (a=b=12.4405(5) Å; c= 13.4141(8) Å) transforms isomorphously to a low temperature form, P41, (a=b=17.4665(1) Å; c= 13.1291(1) Å). The characteristics of the phase transition have been monitored by Differential Scanning Calorimetry, variable temperature IR and temperature dependent unit cell measurements. The short NCS···NCS intermolecular interaction (3.296(1) Å) is analyzed based on detailed experimental charge density analysis which reveals the nature of this stabilizing interaction. Chapter 4 explains a comparative study of syn and anti conformations of carboxylic acids in peptides from both structural aspect and charge density features. Single crystal structures of four peptides having syn conformations [BocLeuγ4(R)Valγ4(R)ValOH, BocLeuγ4(R)ValLeuγ4(R)ValOH, Boc3(S)Leu3(S)LeuOH] and one with anti conformation, BocLeuγ4(R)ValValOH have been analyzed. Experimental charge density analysis has been carried out exclusively on BocLeuγ4(R)ValValOH having anti form, because of its rare occurrence in literature. However, low temperature datasets on the four peptides with syn conformations were collected and theoretical charge density analysis has been carried out on two of these compounds. Electrostatic potentials mapped on is density surface bring out a significant difference at the oxygen atoms of the carboxyl group in the two conformations. However, lone pair orientation of different types of Oxygen atoms in the two forms (urethane, amide, acid) doesn’t exclusively indicate the differences in the corresponding charge density features. Chapter 5 addresses the issue of how sensitive are the charge density features associated with amino acid residues when the backbone conformational angles are varied. Three model systems, 1, L-alanyl–L-alanyl–L-alanine dehydrate; 2, anhydrous L-alanyl–L-alanyl–L¬alanine and 3, cyclo-(D,L-Pro)2(L-Ala)4 monohydrate have been chosen for this evaluation. Compound 1 has ant parallel alignment of tripe tide strands, and compound 2 has parallel alignment. All the alanine residues in compound 1 and 2 are in the -sheet region of the Ramachandran plot, whereas, the four Alanine residues in the cyclic hex peptide 3 span different regions of the Ramachandran plot. Theoretical multipole modelling has been carried out in order to explore the plausibility of transferring multipole parameters across different regions of Ramachandran Plot. Appendix I contains a brief description of charge shift bonding in Ph-CH2-Se-Se-CH2-Ph, as determined based on both experimental and theoretical charge density analysis. Appendix II contains a reprint of a published article on “Conformation-Changing Aggregation in Hydroxyacetone: A Combined Low-Temperature FTIR, Jet, and Crystallographic Study”.