The architectural practice of Giuseppe Terragni (1904-1943) takes place during the twentieth century modern social movements, as architecture and urban form follow a major shift in the political conditions, in Italy and beyond. This dissertation is a demonstration of the quest for the rational in the architectural practice of Giuseppe Terragni. Furthermore, it sorts out the role of Terragni's practice in the dichotomous relationships between city and architecture as well as state and project. Initially, it is the obligation of this dissertation to address questions of principles, in order to build a plenum for the relationship between the city and architecture. It traces movements through translation and transformation of architectural impression, in form and type, and its meta in concinnity, in terms of legacy, legitimacy, and the rational in idea. THESIS. The implicit rational in architecture exists in hierarchical order that allows for it to form unity of the whole that any of its constituents cannot form individually. It should be the architect's duty to fully reconcile all the elements in action – for and against form – in architecture, and demonstrate that the resultant is not a mere compromise but a necessary optimal condition. Therefore, I start with a stance in which I attempt to show how Giuseppe Terragni, in his ratiocinium, explicates the implicit rational in architecture, against the sea of protean political conditions. Giuseppe Terragni can be understood in his convictions which we may be able to sort out through his words, works, and deeds. In his pursuit of the rational Giuseppe Terragni offers a clue to the time and actions taking place, as if he were to remind us of the Homeric song about the deeds of men with convictions under their destiny and their ironic tragicomedy. Terragni's Danteum is the one instance where destiny seems closer to fulfillment. Dante Alighieri's dream of the glorious empire seems to materialize in the signs of the monarchy and its savior – Mussolini. Since the fascist movement concerns itself with questions of legitimacy that in lineage shifts between histories of origins and middles, the shifting in language plays an important role in the sorting out of factum and verum. Languages that enter into this play shift laterally mainly between Greek, Latin, and Italian. And, at times Dardanian and Proto-Albanian, both Illyrian dialects, enter the play. METHOD. Many aspects of this inquiry demand specific research methods as shown through the general and specific instances of man's activity as work which results in that which is made (factum) and the pursuit of that which is true (verum). Therefore, method in the sense of search for the way concerning purpose in what is made is conducted through istoria and historiography. Meanwhile, the search for truth, as it does not concern itself with the same scope as factum, requires philosophy as means towards knowledge, to sort out questions regarding truth. This dissertation follows certain Italian philosophers as guides in the pursuit. Not the least among them is Giambattista Vico who proposes that universal laws of development of men and society can be traced through the union between verum and factum. So, verum and factum become characters of the same play. Philology, love for reason, as a subspecies of philosophy, is a means toward knowledge in unraveling of the layers of the rational in the making. Additionally, in this inquiry, I employ analogies, diagrams, ideograms, and images, which demonstrate the quest for the rational in the architectural practice of Giuseppe Terragni. / Doctor of Philosophy / The architectural practice of Giuseppe Terragni (1904-1943) takes place during the twentieth century modern social movements, as architecture and urban form follow a major shift in the political conditions, in Italy and beyond. This dissertation is a demonstration of the quest for the rational in the architectural practice of Giuseppe Terragni. Furthermore, it sorts out the role of Terragni's practice in the dichotomous relationships between city and architecture as well as state and project. Initially, it is the obligation of this dissertation to address questions of principles, in order to build a plenum for the relationship between the city and architecture. It traces movements through translation and transformation of architectural impression, in form and type, and its meta in concinnity, in terms of legacy, legitimacy, and the rational in idea. THESIS. The implicit rational in architecture exists in hierarchical order that allows for it to form unity of the whole that any of its constituents cannot form individually. It should be the architect's duty to fully reconcile all the elements in action – for and against form – in architecture, and demonstrate that the resultant is not a mere compromise but a necessary optimal condition. Therefore, I start with a stance in which I attempt to show how Giuseppe Terragni, in his ratiocinium, explicates the implicit rational in architecture, against the sea of protean political conditions. Giuseppe Terragni can be understood in his convictions which we may be able to sort out through his words, works, and deeds. In his pursuit of the rational Giuseppe Terragni offers a clue to the time and actions taking place, as if he were to remind us of the Homeric song about the deeds of men with convictions under their destiny and their ironic tragicomedy. Terragni's Danteum is the one instance where destiny seems closer to fulfillment. Dante Alighieri's dream of the glorious empire seems to materialize in the signs of the monarchy and its savior – Mussolini. Since the fascist movement concerns itself with questions of legitimacy that in lineage shifts between histories of origins and middles, the shifting in language plays an important role in the sorting out of factum and verum. Languages that enter into this play shift laterally mainly between Greek, Latin, and Italian. And, at times Dardanian and Proto-Albanian, both Illyrian dialects, enter the play. METHOD. Many aspects of this inquiry demand specific research methods as shown through the general and specific instances of man's activity as work which results in that which is made (factum) and the pursuit of that which is true (verum). Therefore, method in the sense of search for the way concerning purpose in what is made is conducted through istoria and historiography. Meanwhile, the search for truth, as it does not concern itself with the same scope as factum, requires philosophy as means towards knowledge, to sort out questions regarding truth. This dissertation follows certain Italian philosophers as guides in the pursuit. Not the least among them is Giambattista Vico who proposes that universal laws of development of men and society can be traced through the union between verum and factum. So, verum and factum become characters of the same play. Philology, love for reason, as a subspecies of philosophy, is a means toward knowledge in unraveling of the layers of the rational in the making. Additionally, in this inquiry, I employ analogies, diagrams, ideograms, and images, which demonstrate the quest for the rational in the architectural practice of Giuseppe Terragni.

Clostridium perfringens is a Gram-positive anaerobe capable of causing disease in humans and many animals. C. perfringens is able to move across surfaces in a manner that is dependent on growth and type IV pili. Type IV pili are filaments that can be extended away from the cell by rapid polymerization, and retracted by depolymerization. Furthering the understanding of the initial and final energetic states of the pilins will reveal insights into possible mechanisms of type IV pilus assembly. Toward that end, a pilin was purified from the Gram-negative pathogen Pseudomonas aeruginosa and incorporated into an artificial membrane. The pilin was probed by a solid state nuclear magnetic resonance (ssNMR) technique that can determine the angle and depth of insertion of a helical peptide, as well as fluorescent and electron microscopy. All type IV pilus systems involve the action of an assembly ATPase to provide energy to polymerize the pilus. One proposed mechanism involves two primary proteins: an ATPase and an integral membrane core protein (IMCP). Other type IV pilus proteins are thought to play supportive roles in aiding the traversal of the cell envelope. In order to evaluate this model, the assembly ATPase PilB2 and IMCP PilC2 from C. perfringens were purified and examined for interactions. The evidence presented here suggest that PilB2 and PilC2 do not interact directly, and cannot function as a core assembly apparatus. The carbonic anhydrase (Cpb) from C. perfringens strain 13 was characterized both biochemically and physiologically. Cpb belongs to the type I subclass of the β class and is the first β class enzyme investigated from a strictly anaerobic bacteria. Kinetic analyses revealed a two-step, pingpong, zinc-hydroxide mechanism of catalysis. Analyses of a cpb deletion mutant of C. perfringens strain HN13 showed that Cpb is strictly required for growth when cultured in semi-defined medium and an atmosphere without CO₂. The grew well in nutrient-rich media with or without CO₂ in the atmosphere, although elimination of glucose resulted in decreased production of acetate, propionate, and butyrate. The results suggest a role for Cpb in anaplerotic CO₂ fixation reactions by supplying bicarbonate to carboxylases. / Ph. D.

Diallel cross experiments for comparing p test lines with a control in the set up of block designs and completely randomized designs are investigated. Complete diallel crosses including all p(p+1)/2 distinct crosses are considered. Families of A-optimal and efficient type S0 block designs for p=2,3, and for p>=4, k=2 are obtained, and the construction methods are given. For p>=k>=3, and p>=4, a sufficient condition for type S0 block designs with the control line appearing tb times, where t>=1 is an integer, to be A-optimal is obtained, and families of A-optimal type S0 block designs are provided. The A-optimality of type S designs under the model of completely randomized designs when 2<=p<=6 is also tudied, and some examples are given.

The purpose of this research study was to explore the relationship between learning styles, psychological types and multiple-choice standardized achievement examination performance of nurse aide students with typology being the gross indicator using a non-experimental, comparative and descriptive approach. The study sample included nurse aide students (N = 326) seeking nurse aide certification selected through a stratified random sampling technique. The participation rate for completed MBTI® inventory was 58.42% (N = 326). The learning styles and psychological types were measured against the Myers-Briggs Type Indicator® Form M in North American English. The multiple-choice standardized achievement examination performance of nurse aide students was determined by Illinois Nurse Aide Competency Examination (INACE) conducted in January 2017. All the research questions and hypotheses compared mean of overall test scores and means of overall test scores based on specific duty areas (i.e. communicating information, performing basic nursing skills, performing personal skills, performing basic restorative skills, providing mental health and social service needs, and providing for residents’ rights) between different groups using one-way analysis of variance (ANOVA) and one-way multivariate analysis of variance (MANOVA). The findings of the study indicated a statistically significant relationship between mean scores of nurse aide students with Sensing (S) and Intuition (N) learning preferences by perception on overall test performance and test performance based on specific duty areas of the INACE with the mean of nurse aide students with the Sensing (S) learning preference being numerically highest (M = 81.85) than Intuition (N) learning preference (M = 79.96%). Additionally, there were no statistically significant relationships between learning preferences by source of energy (Extraversion – E and Introversion – N), learning preferences by reaction to information or making decisions (Thinking – T and Feeling – F), learning preferences by preference to life style (Judging – J and Perceiving – P), learning preference combinations by orientation to energy and perception (IS, IN, ES, and EN), learning preference combinations by perception and attitude (SP, SJ, NP, and NJ), learning preference combinations by mental process (ST, SF, NF, and NT), and 16 psychological or personality types or learning approaches (ISTJ, ISFJ, INFJ, INTJ, ISTP, ISFP, INFP, INTP, ESTP, ESFP, ENFP, ENTP, ESTJ, ESFJ, ENFJ, and ENTJ) and Illinois Nurse Aide Competency Examination (INACE) performance among nurse aide students. The findings suggested that students with Introversion (I), Sensing (S), Thinking (T), and Perceiving (P) learning preferences had better overall test score on the Illinois Nurse Aide Competency Examination (INACE). Further research with a larger sample is recommended. The findings from the study and review of literature will guide nurse aide trainers and students, improve Illinois Nurse Aide Competency Examination; and increase nurse aide students’ retention efforts by utilizing the MBTI® assessment tool along with understanding and implementing the underlying concepts. Keywords: Personality Type, Psychological Type, Academic Achievement, Academic Aptitude, Type Theory, Standardized MCQ Tests, Standardized Tests, Cognitive Attribute, Academic Success, Achievement Tests, Learning Styles, Myers-Briggs Type Indicator®

This thesis is focused on occurrence of viral hepatitises by clients in Psychiatric Hospital Červený Dvůr between 2000 and 2009. In my beachelor thesis was covered years from 2000 to 2004. Now I continue with this diploma thesis where I want the 10 year results join together to show how the situation is developing. The intravenous drug users are the aimed group. These drug users belong to a high-risk group in which hepatitises types A, B or C are spread the most thanks to their high-risk behaviour. These days researches and epidemiologic researches show that the intravenous drug users belong among the main high-risk groups endangered by infectious disease. Viral hepatitises represent a serious problem, mainly hepatitis type C, because there is no way of protection. This hepatitis is occuring without any symptoms of this disease by 50 ? 70 % people. By 70 ? 80 % it passes into a chronic stadium. It is possible to protect yourself by hepatitis type A vaccination. This hepatitis doesn´t change into a chronic stadium. It is easily spread by infected water or food. In our republic there occured several epidemics. Hepatitises started to spread among drug users and then they spread also among the rest of population. The last epidemic occured in 2008. Hepatitis type B represents high risks for the perceptive population. There is a vaccine and population have a chance to protect against it. In the Czech Republic there is vaccination carried out within special vaccination of people who have high-risk job, for example in health service. Children of HBsAg positive mothers are vaccinated after they are born. From 2001 hepatitis vaccination was put into regular vaccination of children aged under 1 year in our republic. Also 12 year old children are vaccinated from 2001. Hepatitis type B often becomes chronic and the mortality is 1 ? 2 %. Intravenous using of drug is important high-risk factor. It is one of the ways of transfering hepatitises type B and C. Next monitored indicators are the age of the clients, achieved level of education, basic drug, the age of the first usage of any drug, the age of intravenous application of drug and occurrence of hepatitises type A, B, C by clients. According to my research I used quantitative research which allows me to analyse problem of viral hepatitises by clients from Psychiatric Hospital in Červený Dvůr. The gained information was worked out by secondary analysis of medical data. The monitored group has 2499 clients in years 2000 ? 2009. The aim of this thesis is to get general knowledge about prevalence of viral hepatitises by clients of Psychiatric Hospital in Červený Dvůr from 2000 to 2009 and to consider their progress. The methodical procedure: there will be used a content analysis of medical data given by Psychiatric Hospital in Červený Dvůr. The result of this thesis is that it indicates and covered the develop of drug scene. Concerning the age the main group consists of 20 ? 24 year old men and women, next large group consists of clients aged 25 ? 29. The monitored group is also changing according to achieved level of education. In the first five years of research there dominated vocational school, but in the last five years there it changed into basic school. Among women there happened no change. There basic school still dominates. Concerning the drugs there also changed something. At the beginning there dominated clients using heroin, in the middle there meth dominated. Hepatitis type A in acute stadium was revealed by only two clients. Hepatitis type B noticed a slight increase. Hepatitis type C also noticed a sligh increase, but it is probably a sign of increase of clients with chronic form of this hepatitis.

The thesis presents a type system for a substantial fragment of XML query language Xcerpt. The system is descriptive; the types associated with Xcerpt constructs are sets of data terms and approximate the semantics of the constructs. A formalism of Type Definitions, related to XML schema languages, is adopted to specify such sets. The type system is presented as typing rules which provide a basis for type inference and type checking algorithms, used in a prototype implementation. Correctness of the type system wrt. the formal semantics of Xcerpt is proved and exactness of the result types inferred by the system is discussed. The usefulness of the approach is illustrated by example runs of the prototype on Xcerpt programs. Given a non-recursive Xcerpt program and types of data to be queried, the type system is able to infer a type of results of the program. If additionally a type specification of program results is given, the system is able to prove type correctness of a (possibly recursive) program. Type correctness means that the program produces results of the given type whenever it is applied to data of the given type. Non existence of a correctness proof suggests that the program may be incorrect. Under certain conditions (on the program and on the type specification), the program is actually incorrect whenever the proof attempt fails. / <p>Report code: LiU-TEK-LIC-2006:9</p>

Titre de l'écran-titre (visionné le 8 novembre 2023) / Un contrôle glycémique adéquat est essentiel chez les personnes vivant avec le diabète de type 2 (DT2) afin de prévenir les complications sur le long terme, dont les maladies cardiovasculaires. La prise en charge du DT2 doit donc permettre d'optimiser le contrôle glycémique via de saines habitudes de vie, dont l'alimentation est une partie intégrante, et l'utilisation de médication antihyperglycémiante. Toutefois, la relation entre la qualité alimentaire, l'intensité de la médication antihyperglycémiante et la qualité du contrôle glycémique n'a jamais été évaluée dans un contexte de vraie vie. Ce mémoire présente un portrait détaillé du DT2 et des approches préconisées pour sa prise en charge, ainsi qu'une étude transversale dont l'objectif était d'évaluer la relation entre la qualité de l'alimentation et l'intensité de la pharmacothérapie chez des adultes québécois vivant avec un DT2. Les résultats montrent que, globalement, il n'y avait aucune évidence d'association entre la qualité alimentaire et l'intensité de la médication antihyperglycémiante. Cependant, chez les personnes plus jeunes (hommes <50 ans, femmes <60 ans) et chez celles sans histoire de dyslipidémie et d'hypertension artérielle, la qualité alimentaire était inversement associée à l'intensité du traitement antihyperglycémiant. De plus, l'intensité de la pharmacothérapie antihyperglycémiante était inversement associée à la qualité du contrôle glycémique. Une tendance statistique suggérait également une relation favorable entre la qualité de l'alimentation et du contrôle glycémique. Ces résultats suggèrent un manque d'adéquation entre la qualité alimentaire et l'intensité de la pharmacothérapie au sein de cette cohorte d'adultes avec un DT2. La nature de cette relation résulte assurément d'interactions entre une multitude de caractéristiques individuelles et systémiques détaillées dans ce mémoire. Le développement d'approches favorisant la complémentarité entre de saines habitudes alimentaires et l'utilisation de médication antihyperglycémiante devrait tenir compte de ces facteurs afin de faciliter l'optimisation du contrôle glycémique et la prévention des complications. / Optimisation of glycemic management is essential in people living with type 2 diabetes (T2D) to prevent long-term complications, such as cardiovascular diseases. In this context, T2D management relies on healthy lifestyle habits, of which diet is a crucial part, and glucose-lowering medication use to reach and maintain glycemic targets. However, no study has yet assessed the relationship between diet quality, glucose-lowering medication intensity and glycemic management quality in a real-life setting. This thesis presents important concepts regarding T2D and its management, followed by a cross-sectional study whose objective was to assess the relationship between diet quality and glucose-lowering medication intensity among individuals living with T2D from Quebec. Results show that, overall, there was no evidence of an association between diet quality and glucose--owering medication intensity. However, in people who were younger (men <50 years, women <60 years) and in those without a personal history of dyslipidemia and hypertension, diet quality was inversely associated with pharmacotherapy intensity. Furthermore, glucose-lowering medication intensity was inversely correlated to glycemic management quality in the overall cohort. A statistical trend also suggested a favorable association between diet and glycemic management quality. These results suggest a lack of adequacy between diet quality and glucose-lowering medication intensity among this cohort of adults living with T2D. This relationship is likely the result of interactions between numerous individual and systemic characteristics, which are detailed in this thesis. Approaches promoting diet quality along with medication use in a complementary fashion should consider these elements in an effort to ease glycemic management optimization and prevent T2D complications.

O presente trabalho tem por objeto a análise da influência do psiquismo do juiz no modo como preside o processo estilo de colheita de dados e relacionamento com os demais sujeitos (partes e advogados, principalmente) e produz suas decisões. Há, portanto, uma interface entre Direito e Psicologia, tomando-se como paradigma a teoria dos tipos psicológicos de Carl Gustav Jung e seguidores, com os acréscimos que lhe foram feitos por Isabel Briggs Myers e Katharine Cook Briggs. Para fins de contraste, a teoria de Jung é confrontada com a tipologia psicanalítica de Freud. No âmbito jurídico, especial atenção é dada à relação das funções pensamento e sentimento com o senso de justiça, sugerindo se que a teoria tridimensional do Direito, de Miguel Reale, seja a expressão jurídica do uso equilibrado das funções perceptivas e judicativas. Esta a primeira parte do trabalho. Na segunda, são analisados tipologicamente seis magistrados do Tribunal de Justiça do Estado de São Paulo, tomando-se por base sua atuação profissional, conforme por eles expressa em entrevista. A entrevista foi feita a partir de um questionário padrão, de modo a estabelecer paralelos discursivos e daí colher semelhanças e diferenças, analisadas à luz do tipo psicológico aferido. Para aferição do tipo psicológico de cada entrevistado, além da análise do conteúdo de sua fala, foi aplicado um segundo questionário, de natureza específica. A título de conclusão, verificou-se haver grande consistência no postulado de que existe correlação entre o tipo de personalidade do magistrado e o resultado de seu trabalho. Isso abre grandes perspectivas seja de estudo-aprendizado na área, seja de aperfeiçoamento profissional e pessoal destes agentes, cuja atividade é tão vital para o processo de produção de justiça no caso concreto. / This paper is aimed at analyzing the influence of the judges psyche as s/he presides over the process the way s/he collects data and relates with the other parties (to the lawsuit and attorneys, mainly) and makes his/her decisions. There is therefore an interface between Law and Psychology, since we have selected as a paradigm the theory of psychological types of Carl Gustav Jung and his followers, with the additions made by Isabel Briggs Myers and Katharine Cook Briggs. For contrasting purposes, Jung\'s theory is compared with Freud\'s psychoanalytical typology. From a legal perspective, special attention is given to the correlation between thought and feeling functions and the «sense of fairness», and it is suggested that Miguel Reales three-dimensional theory of Law be the legal expression of the balanced use of perceptive and judicative functions. This is the first part of the paper. In the second, six judges of the São Paulo State Court are typologically analyzed, based on their professional activities, as stated by them during an interview. The interview was based on a standard questionnaire so as to draw discursive parallels and be able to collect similarities and differences in the light of the psychological type assessed. To assess the psychological type of each interviewee, in addition to analyzing their speech content, a second questionnaire, of a specific nature, was applied. In conclusion, the assumption that there is a correlation between a judges type of personality and the result of his/her work has proven to be greatly consistent. This could bring great prospects, both in area studies and learning and the personal and professional improvement of these agents, whose activity is so vital to the actual process of administering justice.

O presente trabalho tem por objeto a análise da influência do psiquismo do juiz no modo como preside o processo estilo de colheita de dados e relacionamento com os demais sujeitos (partes e advogados, principalmente) e produz suas decisões. Há, portanto, uma interface entre Direito e Psicologia, tomando-se como paradigma a teoria dos tipos psicológicos de Carl Gustav Jung e seguidores, com os acréscimos que lhe foram feitos por Isabel Briggs Myers e Katharine Cook Briggs. Para fins de contraste, a teoria de Jung é confrontada com a tipologia psicanalítica de Freud. No âmbito jurídico, especial atenção é dada à relação das funções pensamento e sentimento com o senso de justiça, sugerindo se que a teoria tridimensional do Direito, de Miguel Reale, seja a expressão jurídica do uso equilibrado das funções perceptivas e judicativas. Esta a primeira parte do trabalho. Na segunda, são analisados tipologicamente seis magistrados do Tribunal de Justiça do Estado de São Paulo, tomando-se por base sua atuação profissional, conforme por eles expressa em entrevista. A entrevista foi feita a partir de um questionário padrão, de modo a estabelecer paralelos discursivos e daí colher semelhanças e diferenças, analisadas à luz do tipo psicológico aferido. Para aferição do tipo psicológico de cada entrevistado, além da análise do conteúdo de sua fala, foi aplicado um segundo questionário, de natureza específica. A título de conclusão, verificou-se haver grande consistência no postulado de que existe correlação entre o tipo de personalidade do magistrado e o resultado de seu trabalho. Isso abre grandes perspectivas seja de estudo-aprendizado na área, seja de aperfeiçoamento profissional e pessoal destes agentes, cuja atividade é tão vital para o processo de produção de justiça no caso concreto. / This paper is aimed at analyzing the influence of the judges psyche as s/he presides over the process the way s/he collects data and relates with the other parties (to the lawsuit and attorneys, mainly) and makes his/her decisions. There is therefore an interface between Law and Psychology, since we have selected as a paradigm the theory of psychological types of Carl Gustav Jung and his followers, with the additions made by Isabel Briggs Myers and Katharine Cook Briggs. For contrasting purposes, Jung\'s theory is compared with Freud\'s psychoanalytical typology. From a legal perspective, special attention is given to the correlation between thought and feeling functions and the «sense of fairness», and it is suggested that Miguel Reales three-dimensional theory of Law be the legal expression of the balanced use of perceptive and judicative functions. This is the first part of the paper. In the second, six judges of the São Paulo State Court are typologically analyzed, based on their professional activities, as stated by them during an interview. The interview was based on a standard questionnaire so as to draw discursive parallels and be able to collect similarities and differences in the light of the psychological type assessed. To assess the psychological type of each interviewee, in addition to analyzing their speech content, a second questionnaire, of a specific nature, was applied. In conclusion, the assumption that there is a correlation between a judges type of personality and the result of his/her work has proven to be greatly consistent. This could bring great prospects, both in area studies and learning and the personal and professional improvement of these agents, whose activity is so vital to the actual process of administering justice.

Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termes / In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms