Dissertations / Theses on the topic 'Types of clause'
To see the other types of publications on this topic, follow the link: Types of clause.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Types of clause.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Rasolofo, Andoveloniaina. "Malagasy transitive clause types and their functions /." view abstract or download file of text, 2006. http://proquest.umi.com/pqdweb?did=1196393781&sid=1&Fmt=2&clientId=11238&RQT=309&VName=PQD.
Full textAbstract:
Thesis (Ph. D.)--University of Oregon, 2006.Typescript. Includes vita and abstract. Includes bibliographical references (leaves 297-307). Also available for download via the World Wide Web; free to University of Oregon users.
2
Ramos, Bierge Stefanie. "Clause Types and Transitivity in Wixarika (Huichol)| A Uto-Aztecan Language." Thesis, University of Colorado at Boulder, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10605084.
Full textAbstract:
Wixárika, also known as Huichol, is an endangered Uto-Aztecan language spoken in Mexico. Published works on Wixárika include articles and brief sketches on different aspects of the grammar; however, much about the language remains unknown. This dissertation presents a systematic description of simple clauses in Wixárika, based on eight hours of naturally recorded speech and elicited materials. Using a functional-typological perspective, I explore Wixárika’s morphosyntactic devices to express different types of events. In keeping with the study of clause types, I also explore the language’s morphological devices for modifying the number of arguments. Wixárika has five devices that add a core argument into the clause: causatives -tia, -ta, -ya, applicative -ri(e), vowel alternation, lability, and suppletion. Similarly, the language has five devices that reduce the number of arguments: reflexive/reciprocal pronoun prefixes, passive suffixes (-rie, -ya, -wa, -riwa, -tsie), middle voice prefix (yu-), and noun incorporation.
The overall analysis discusses the implications of the language’s system in existing typological theories. Wixárika shows to be devoid of any clear-cut boundary between clause types, as proposed in typological studies (Hopper & Thompson 1980; Givón 1984; Stassen 1997; Næss 2007; Kittilä 2002). Of particular interest are the prefixes ta-/ti- since they provide more evidence of this scalar nature; the speakers use these prefixes to encode the ‘effectiveness’ of the action (Cf. Grimes 1964; Iturrioz & Gómez 2006). These prefixes are explored in relation to other components of transitivity (e.g., the number of arguments and their encoding, tense/aspect/mood, polarity, the individuation of actor and undergoer, and the prefixes ti-/te- ‘distributive subject’) in expressing different degrees of transitivity. I show that these components lack co-variation (Cf. Hopper & Thompson), particularly with the prefixes ta-/ti-. However, the presence or absence of the prefixes ta-/ti- and/or the (de)transitivization devices express different degrees of transitivity. Particularly interesting is the fact that Wixárika has a tendency to polysynthesis, not common in Southern Uto-Aztecan languages. Therefore, this study not only contributes to a growing understanding of the grammatical system of Wixárika but also will clarify the evolution and intra-genetic relations of the Uto-Aztecan family.
3
Mohamed, Aladdin Abd El Basset. "A contrastive study of discourse features in English and Arabic writing in connection with two text types : research article abstracts and newspaper letters to the editor." Thesis, University of Exeter, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.364433.
Full text
4
Daniele, Botteri. "Aspects of the Italian interrogative system." Doctoral thesis, Università di Siena, 2018. http://hdl.handle.net/11365/1047476.
Full textAbstract:
This work investigates the formal properties of interrogative clauses in standard Italian, in the
framework of the cartographic approach (Cinque and Rizzi 2010).
In chapter 2 “The syntax of Italian interrogatives” a novel account of interrogative inversion is
proposed according to which Italian has T-to-C movement in matrix interrogatives, as originally
proposed in Rizzi and Roberts (1989). The starting point is the observation that in Italian, and in other
Romance languages as well, overt non-clitic subjects cannot occur in their canonical position (that is in
between the wh-phrase and the tensed verb or immediately on the right of the auxiliary/modal verb)
in matrix wh-interrogatives. This fact has been explained in different ways over the past thirty years,
with the debate focussing on two major points: whether T moves to C or not, and whether Romance
preverbal subjects have the same status and target the same position as their Germanic counterparts.
Building on theoretical reasoning and empirical evidence, I endorse the idea that the Subject-
Agreement field must be split into several layers. I also argue that th Subject criterion (the
cartographic rendition of the EPP) involves the satisfaction of two requirements: (i) the licensing of
subject-verb agreement, and (ii) the licensing of the referential properties of the subject. Each
requirement involves a different position in the Subject-Agreement field, where the lowest node is
devoted to subject-verb agreement and Nominative licensing and the highest ones expressing subjectrelated
features. I argue that in Null Subject Languages, inversion, independently motivated by the
need of typing the clause as interrogative, might also satisfy the second requirement of the Subject
Criterion. This fact, I argue, has the effect of allowing the projection of a reduced structure which
doesn’t contain the layers usually targeted by preverbal subjects.
Chapter 3 “The distribution of wh-items and the path of non criterial movement” investigates
how the featural specialization of different left peripheral positions plays a role in wh-movement.
Discussing dta involving clefted questions I propose that whenever different wh-items target different
left peripheral positions in criterial wh-movement, they also target different positions in non criterial
(that is, cyclic) wh-movement. This proposal prompts a novel view of “criterial positions” according to
which a position should not be seen as criterial in an absolute sense. Only when the criterial feature
projects, a cartographic position gives rise to the usual “criterial” effects.
Chapter 4 “Focus and Ellipsis in questions and answers: the case of split questions” deals with so
called split questions, that is interrogative structures formed by two parts: a wh-part which
corresponds to a standard wh-question and a tag which constitutes a possible answer for that
question. Building on previous work by Arregi (2010) I will adopt an ellipsis-based account according
to which Split Questions are in fact biclausal structures.
In chapter 5 “Rhetorical and «non canonical» questions” I discuss several instances of non
standard questions, that is interrogatives which do not, or do not only, inquire for new information but
convey further meaning. A natural question is whether the form of non standard questions is exactly
the same of true questions, that is whether their peculiar meaning is reflected in the syntax - the null
hypothesis from a cartographic viewpoint – or not. In order to address this question I investigate
whether rhetorical questions and their non-rhetorical counterparts involve the same layer in the left
periphery of the clause or not. Building on Obenauer and Poletto (2000), I endorse the idea that there
are structural differences between the left periphery of the two types of questions; in particular I
argue that rhetorical questions involve an extra left peripheral position dedicated to the licensing of
modal properties. In the second part of the chapter I take into account some properties of non
standard interrogative structures in modern Fiorentino.
Chapter 6 “Beyond interrogatives: exclamative clauses and the internal syntax of wh-phrases”
extends the analysis to wh-exclamatives, which are related to their interrogative counterparts under
several respects. After reviewing some recent influential analyses of exclamatives (Zanuttini and
Portner 2003, Rett 2008), wh-exclamatives derived from copular structures are discussed. This
analysis provides the basis to investigate two aspects of the internal structure of the extended
adjectival projection: the distribution of silent fuctional nouns in the spirit of R. Kayne’s recent work
and the distribution of modifiers within the extended AP which, perhaps unsurprisingly, seems to
follow Cinque’s hierarchy.
5
Montagu, Benoît. "Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts." Phd thesis, Ecole Polytechnique X, 2010. http://tel.archives-ouvertes.fr/tel-00550331.
Full textAbstract:
Cette thèse décrit comment l'ajout de trois ingrédients à Système Fω permet d'écrire des programmes de façon modulaire dans un système explicite à la Church, tout en gardant un style proche des modules de ML. Le premier chapitre s'intéresse aux types existentiels ouverts, qui confèrent la possibilité d'utiliser des types existentiels sans restriction de portée : cela offre une plus grande flexibilité dans l'organisation des programmes. Le deuxième chapitre est consacré à l'étude des kinds singletons, qui modélisent les définitions de types : dans ce cadre, on donne une caractérisation simple de l'équivalence de types, fondée sur une relation de réduction confluente et fortement normalisante. Le dernier chapitre intègre les deux notions précédentes dans un langage noyau muni d'une relation de sous-typage : cela apporte à Fω un gain de modularité important, de niveau comparable à celui des modules de ML. Une traduction des modules vers ce langage est esquissée, permettant une comparaison précise des deux langages.
6
Sozeau, Matthieu. "Un environnement pour la programmation avec types dépendants." Paris 11, 2008. https://tel.archives-ouvertes.fr/tel-00640052.
Full textAbstract:
Les systèmes basés sur la Théorie des Types prennent une importance considérable tant pour la vérification de programmes qu'en tant qu'outils permettant la preuve formelle de théorèmes mettant en jeu des calculs complexes. Ces systèmes nécessitent aujourd'hui une grande expertise pour être utilisés efficacement. Nous développons des constructions de haut niveau permettant d'utiliser les langages basés sur les théories des types dépendants aussi simplement que les langages de programmation fonctionnels usuels, sans sacrifier pour autant la richesse des constructions disponibles dans les premiers. Nous étudions un nouveau langage permettant l'écriture de programmes certifiés en ne donnant que leur squelette algorithmique et leur spécification. Le typage dans ce système donne lieu à la génération automatique d'obligations de preuve pouvant être résolues a posteriori. Nous démontrons les propriétés métathéoriques essentielles du système, dont les preuves sont partiellement mécanisées, et détaillons son implémentation dans l'assistant de preuve Coq. D'autre part, nous décrivons l'intégration et l'extension d'un système de "Type Classes" venu d'Haskell à Coq via une simple interprétation des constructions liées aux classes dans la théorie des types sous-jacente. Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes. Nous concluons par la mise en œuvre de l'ensemble de ces contributions lors du développement d'une bibliothèque certifiée de manipulation d'une structure de données complexe, les "Finger Trees"Systems based on dependent type theory are getting considerable attention for the verification of computer programs as well as a practical tool for developing formal mathematical proofs involving complex and expensive computations. These systems still require considerable expertise from the users to be used efficiently. We design high-level constructs permitting to use languages based on dependent type theory as easily as modern functional programming languages, without sacrificing the powerful constructs of the former. We study a new language allowing to build certified programs while writing only their algorithmical squeleton and their specification. Typing in this system gives rise to proof obligations that can be handled interactively a posteriori. We demonstrate the main metatheoretical results on this system, whose proofs are partially mechanized, and present its implementation in the Coq proof assistant. Then we describe an integration and extension of the type classes concept à la Haskell into Coq, providing a simple interpretation of the constructs linked with type classes into the underlying dependent type theory. We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical yet powerful implementation of a generalized rewriting tactic based on them. We conclude by employing these contributions in the development of a certified library of a complex data structure called Finger Trees
7
Le, botlan Didier. "Ml f : Une extension de ML avec polymorphisme de second ordre et instanciation implicite." Palaiseau, Ecole polytechnique, 2004. http://www.theses.fr/2004EPXX0016.
Full text
8
Rasoamanana, Jean-Marc. "Etude résurgente d'une classe d'équations différentielles de type Schrödinger." Angers, 2006. http://www.theses.fr/2006ANGE0008.
Full text
9
Morin, Gabrielle. "The Present Perfect in since-clauses : the interaction with different types of predicates." Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/66867.
Full textAbstract:
Ce mémoire est une étude sémantique ayant comme sujet l’utilisation du Present Perfect dans les constructions temporelles introduites par la conjonction since en anglais. Le Simple Past étant la forme verbale la plus fréquente dans ce type de constructions syntaxiques telles que « She has been my friend since we were at school together », le Present Perfect est tout de même parfois utilisé par les interlocuteurs de l’anglais, comme dans « I have known you since I have lived in Quebec City ». Le but de la présente étude est donc de démontrer qu’il existe une certaine corrélation entre l’utilisation du Present Perfect et les différents types d’évènements/prédicats dans ce type de construction. Pour ce faire, la catégorisation des évènements en accomplissements, achèvements, activités, et états décrite par Vendler (1957) sert de base pour classer les 527 contextes de corpus utilisés. Dans ce sens, la signification intrinsèque de chaque type de prédicat, en combinaison avec l’influence d’éléments de durée présents dans la phrase principale tels que « It’s been twenty years since… », a une influence sur quelle forme verbale entre le Present Perfect et le Simple Past est la plus fréquente dans ce type de construction pour chaque type de prédicat. Il deviendra aussi clair que l’utilisation du Present Perfect dans les since-clauses n’est pas si rare qu’on peut le croire. Cependant, il est souvent possible de le remplacer par le Simple Past, ce qui nous amène à nous questionner sur le rôle et l’utilité du Present Perfect dans les propositions introduites par since.This thesis is a semantic study of the behaviour of the Present Perfect in temporal sinceclauses. The Simple Past being the most commonly found verb form in temporal sinceclauses of the kind She has been my friend since we were at school together, there are times when speakers of English use the Present Perfect instead, such as in I have known you since I have lived in Quebec City. The purpose of this study is therefore to show a correlation between the use of the Present Perfect and the different types of events/predicates in this type of construction. To do so, Vendler’s (1957) categorization of events into accomplishments, achievements, activities, and states is used as a basis for the classification of the 527 corpus results examined in this study. In this sense, the intrinsic meaning of each type of predicate, combined with the influence of durational elements in the main clause such as It’s been twenty years since…, has an influence on whether the Present Perfect or the Simple Past is the most frequent verbal form used for each type of predicate. It will also become apparent that the presence of the Present Perfect in since-clauses is not as rare a phenomenon as one might think. However, in some cases, the Present Perfect can be replaced by its counterpart, the Simple Past, leading one to seek the reason for the choice of the Present Perfect in sinceclauses.
10
Silva, Leonardo de Amorin e. 1980. "Grupos abelianos-por-(nilpotentes de classe 2)." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306919.
Full textAbstract:
Orientador: Dessislava Hristova KochloukovaTese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica
Made available in DSpace on 2018-08-26T02:25:15Z (GMT). No. of bitstreams: 1 Silva_LeonardodeAmorine_D.pdf: 582293 bytes, checksum: ed3c907af5279b8923c782d730bcf1d4 (MD5) Previous issue date: 2014
Resumo: Nesta tese consideramos uma extensão cindida G de um grupo abeliano A por um grupo nilpotente (de classe 2) Q e provamos dois resultados. Primeiro, se Q age nilpotentemente sobre A e G tem tipo FP2, calculamos o sigma invariante de G em dimensão 2. Segundo, se G tem tipo FP4, mostramos que cada quociente de G tem tipo FP4
Abstract: In this thesis we consider a split extension G of an abelian group A by a nilpotent group (class 2) Q and prove two results. First, if Q acts nilpotently on A and G has type FP2, compute the sigma invariant of G in dimension 2. Second, if G has type FP4, we show that every quotient G has type FP4
Doutorado
Matematica
Doutora em Matemática
11
Matthieu, Sozeau. "Un environnement pour la programmation avec types dépendants." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00640052.
Full textAbstract:
Les systèmes basés sur la Théorie des Types prennent une importance considérable tant pour la vérification de programmes qu'en tant qu'outils permettant la preuve formelle de théorèmes mettant en jeu des calculs complexes. Ces systèmes nécessitent aujourd'hui une grande expertise pour être utilisés efficacement. Nous développons des constructions de haut niveau permettant d'utiliser les langages basés sur les théories des types dépendants aussi simplement que les langages de programmation fonctionnels usuels, sans sacrifier pour autant la richesse des constructions disponibles dans les premiers. Nous étudions un nouveau langage permettant l'écriture de programmes certifiés en ne donnant que leur squelette algorithmique et leur spécification. Le typage dans ce système donne lieu à la génération automatique d'obligations de preuve pouvant être résolues a posteriori. Nous démontrons les propriétés métathéoriques essentielles du système, dont les preuves sont partiellement mécanisées, et détaillons son implémentation dans l'assistant de preuve Coq. D'autre part, nous décrivons l'intégration et l'extension d'un système de "Type Classes" venu d'Haskell à Coq via une simple interprétation des constructions liées aux classes dans la théorie des types sous-jacente. Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes. Nous concluons par la mise en œuvre de l'ensemble de ces contributions lors du développement d'une bibliothèque certifiée de manipulation d'une structure de données complexe, les "Finger Trees".
12
Al-Zawawi, Alawiah Sami. "Entrepreneurship and franchisee performance." Thesis, Brunel University, 2017. http://bura.brunel.ac.uk/handle/2438/16400.
Full textAbstract:
This thesis aims to investigate the performance of different types of franchisees, in terms of perceived market share and profitability, are affected by constrains defined by the theories of franchise selection and contractual terms. The two different types of franchisees researched include novice and parallel. This begins by examining how the constraints defined by the Resource Base, Social Exchange and Equity theories of franchise selection are applicable to entrepreneurs who want to become franchisees, and by examining the differences in the attitude of franchisees toward contractual terms. The main contribution is that the research broadens and extends other franchising and entrepreneurship studies by exploring external and internal factors to examine perceived franchisee performance. Therefore, this study relates the criteria used by franchisees in the selection of potential franchisors and contract clauses, to their performance in the Kingdom of Saudi Arabia, and the Sultanate of Oman in the food and beverage sector. Moreover, existing research has primarily focused on the perspective of franchisors and has not adequately explored the franchisee's perspective on determining success. Therefore, this study contributes to franchising literature by broadening the scope of existing theories. The study has adopted a multi-methodology strategy, employing a combination of quantitative and qualitative approaches. Qualitative data was collected through 11 face-to-face interviews, 5 franchisees in Oman, and 6 in Saudi Arabia; using semi-structured questionnaires. Quantitative data was collected via a survey. A self-administrated questionnaire was designed, translated, piloted and distributed in Riyadh, Saudi Arabia. Data analysis was conducted on a sample of 123 responses. Factor analysis was implemented to test the scale, followed by the Mann-Whitney U test, regression, and moderation analysis. The qualitative findings show that constraints defined by the resource-based theory are applicable to novice franchisees. However, franchisor training and support were found to be exceptional resources, applicable to both novice and parallel franchisees. Constraints defined by the social exchange theory are applicable to both novice and parallel franchisees; whereas constraints defined by the equity theory are applicable only to parallel franchisees. The quantitative findings indicate that both types of franchisee have different attitudes toward training clauses; support clauses; contract duration clauses; territorial exclusivity clauses; tying arrangement clauses and franchise fees clauses. However, both types of franchisees have similar attitudes toward termination clauses. Moreover, the results show that franchisor brand reputation, technical know-how and high franchise fee factors will increase the franchisee perceived market share. Additionally, franchisor brand reputation and higher franchise fees, will increase franchisee perceived profitability. Furthermore, parallel franchisees believe that a franchisor's local market knowledge will decrease their performance in terms of perceived profitability. Alternatively, novice franchisees believe long contract duration will help them increase their perceived profitability. In addition, imposing higher franchise fees on novice franchisees will increase their perceived profitability more than that of parallel franchisees. Finally, the results show that contract clauses such as: extensiveness of support; long contract duration, and stricter termination clauses, will affect franchisee perceived market share positively. Finally, contract clauses such as extensiveness of support and short contract duration clauses, will affect franchisee perceived profitability positively; whereas extensiveness of training clauses will affect franchisee perceived profitability negatively.
13
Miller, Aretha D. "Associations Between Healthcare Facility Types and Healthcare-Associated Infections." ScholarWorks, 2016. https://scholarworks.waldenu.edu/dissertations/2035.
Full textAbstract:
Healthcare-Associated Infections (HAIs) continue to be an epidemiological issue burdening patients and public health systems worldwide. The purpose of this study was to determine if specific healthcare facility types (Acute Care Hospitals, Long Term Acute Care Hospitals, and Inpatient Rehabilitation Facilities) were associated with particular categories of HAIs: Ventilator-Associated Pneumonias (VAPs), Central Line-Associated Bloodstream Infections (CLABSIs), and Catheter-Associated Urinary Tract Infections (CAUTIs). The theoretical framework for this study was the environmental determinants of infectious disease framework. A single research question focused on whether an association existed among the specified health care facility types and HAIs. Three independent categorical variables were used, including Acute Care Hospitals, Long Term Acute Care Hospitals, and Inpatient Rehabilitation Facilities, and 3 dependent variables were used, comprising of VAPs, CAUTIs, and CLABSIs. A quantitative design engaged the chi-square test of association, using a 2012 population-level report of archival data collected by the Centers for Disease Control and Prevention's National Healthcare Safety Network. Seven groups of HAIs and facility types were tested, and the results revealed that 6 groups had statistically significant differences. This study may contribute to positive social change by helping to identify whether healthcare facility types are associated with HAIs and to supply evidence to stakeholders to support standardization of best practices across all facility types, thus contributing to the reduction of HAIs in the United States.
14
Le, Botlan Didier. "MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite." Phd thesis, Ecole Polytechnique X, 2004. http://tel.archives-ouvertes.fr/tel-00007132.
Full textAbstract:
Nous nous intéressons à une extension de ML avec polymorphismede première classe, à la manière du Système F.
Cette extension, nommée MLF, utilise les annotations de types
d'ordre supérieur données explicitement dans le programme pour inférer
de manière principale le type le plus général. Toute expression admet
ainsi un type principal, qui dépend des annotations présentes
initialement dans le programme.
Toute expression de ML est typable dans MLF sans annotation
supplémentaire. Les expressions du Système F sont encodées de
manière systématique dans MLF en supprimant les abstractions
et les applications de types, et en traduisant les annotations
de types dans le langage de types de MLF.
De plus, les paramètres de lambda-abstractions qui ne sont pas
utilisés de manière polymorphe n'ont pas besoin d'être annotés.
15
Handley, G. D. "Hilbert and Hardy type inequalities /." Connect to thesis, 2005. http://eprints.unimelb.edu.au/archive/00000818.
Full text
16
Alawode, Matthew Ibiyosi. "Interactions langagières et construction de savoirs de type métalangagiers en classe de langue." Besançon, 2005. http://www.theses.fr/2005BESA1011.
Full textAbstract:
Dans cette étude nous nous sommes interrogé sur le rôle et l'utilisation du métalangage dans la transmission et la construction des savoirs métalangagiers par les enseignants et les apprenants du FLE au Village français du Nigeria, Badagry. Autrement dit, nous voulions voir comment l'apprenant nigérian passe de la simple expression à la réflexion sur la langue afin d'aboutir finalement à la maîtrise de la langue française. La problématique de notre travail de recherche tourne autour des quelques interrogations suivantes : - les activités métalangagières peuvent-elles contribuer et/ou faciliter la construction des savoirs métalangagiers en classe de FLE ou, constituent-elles un obstacle à l'apprentissage de cette langue? - comment faire acquérir le métalangage de la langue française aux apprenants nigérians? - dans quelle mesure les interactions verbales et /ou activités interactionnelles en classe de langue favorisent-elles la construction de savoirs métalangagiers? Notre travail est basé sur l'observation des pratiques de classe. Nous avons procédé par observer comment le métalangage est enseigné (i. E. En interaction ou de façon magistrale?) et par étudier le rôle des pratiques enseignantes sur le développement des capacités métalinguistiques chez les apprenants. Les observations de classe nous ont permis également de recueillir un "matériel empirique" sur lequel baser notre travail. Finalement, cette étude a proposé quelles pistes/pratiques pédagogiques à mettre sur pied en vue d'assurer l'acquisition des compétences métalinguistiques par les apprenants nigérians et en vue de former les enseignants de la langue française au NigeriaOurs is an attempt to take a look at the role and usage of metalanguage in the transmission and construction of knoledge by Nigerian teachers and learners of French as a foreign language in the Nigeria French Language Village, Badagry. The study wishes to highlight how the learner goes beyond the level of simply using the French language as a means of expression to using it as a means of reflexion on or about the language s/he is in the process of learning. The kernel of our work is articulated around such questions as to how metalinguistic activities could enhance or inhibit the processes of learning a foreign language and as to what extent verbal interactions in the classroom situation could be a means of enhancing the construction of metalinguistic competence of learners. Finally, we made some proposals as to what pedagogical measures and/or practices to put in place in order to enhance the learning of French language by Nigerian learners through metalinguistic activities, as well as for the training of Nigerian teachers of French as a foreign language in the use of such activities
17
Colipan, Ximena. "Etude didactique des situations de recherche pour la classe concernant des jeux combinatoires de type Nim." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM002/document.
Full textAbstract:
La recherche que nous avons menée s'inscrit dans les projets de l'équipe de recherche Maths à Modeler. En particulier dans celui portant sur les situations de recherche pour la classe (SiRC). Cette recherche est centrée sur l'étude du rôle, pour l'apprentissage des savoir-faire fondamentaux, de l'activité mathématique, des jeux combinatoires et plus particulièrement des jeux de type Nim. Nous mettons sous l'expression « savoir-faire fondamentaux » les savoirs, méthodes et techniques qui sont à la base de toute activité mathématique : l'expérimentation, l'étude de cas particuliers, l'énoncé et l'étude de conjectures, la construction d'exemples et contre-exemples, la modélisation, l'élaboration et l'écriture de preuves, la définition d'objets, etc. (Grenier et Payan, 2002). Le sujet est la construction, l'expérimentation et l'analyse de SiRC basées sur des jeux combinatoires de type Nim pour des élèves, afin de leur faire construire et développer les savoir- faire indispensables à la mise en œuvre d'une « démarche mathématique ». Notre problématique porte donc sur l'identification des savoirs notionnels et des savoir-faire fondamentaux de l'activité mathématique qui sont mis en œuvre dans les jeux combinatoires de type Nim et la détermination des conditions et contraintes épistémologiques et didactiques favorisant l'apprentissage en classe de ces savoirs. Pour mener à bien notre étude, nous nous sommes appuyés d'une part sur certains éléments de la théorie des situations didactiques de Brousseau (Brousseau, 2004) et de la théorie des champs conceptuels de Vergnaud (Vergnaud, 1994) et, d'autre part, sur le modèle SiRC, contribuant à préciser ce modèle. Nous nous sommes servis de l'étude épistémologique et didactique des jeux de type Nim, pour mener les analyses mathématique et didactique de deux SiRC : la première, nommée « jeu d'Euclide géométrique », situation de jeu de type Nim, construite spécifiquement pour cette recherche, basée sur un jeu d'Euclide classique. La seconde, nommée le « jeu du chocolat », situation expérimentée régulièrement dans l'équipe Maths à Modeler, mais dont l'étude didactique n'avait pas vraiment été faite. Les analyses et expérimentations que nous avons menées montrent que les situations basées sur des jeux de type Nim, peuvent induire une activité mathématique qui va au-delà du développement et de la pratique de techniques mathématiques : Elles peuvent ouvrir l'accès à des savoir-faire plus généraux propres de l'activité mathématiqueThis research is included in the project of the research group "Maths à modeler". In particular, in the part that corresponds to the study of "situations de recherche pour la classe" (SiRC). This research is focused in the study of the role played by the mathematical activity, the combinatorial games and particularly the games of Nim-type in learning the fundamental know-hows. We put under the term "fundamental know-hows" all the knowledge, methods and techniques found in all mathematical activity: experimenting, studying particular cases, conjecturing, building examples and counter-examples, modeling, proving, defining, etc. (Grenier et Payan, 2002). The main aim of this research is the construction, the experimentation and the analysis of SiRC based on combinatorial games of Nim-type for students designed to make them build and develop the know-hows required for the implementation of a "mathematical process". Our main problem is then identifying the fundamental and notional know-hows of the mathematical activity that are used in combinatorial games of Nim-type and establishing the epistemological and didactical conditions and constrains that favor the learning of these know-hows in the classroom. To achieve our aim, our research is supported, on one hand, by some aspects of the theory of didactical situation by Brousseau (Brousseau, 2004) and the theory of conceptual fields by Vergnaud (Vergnaud, 1994) and, on the other hand, by the SiRC model, where we also contribute to precise it. We based our research in the epistemological and didactical study of Nim-type games to conduct mathematical and didactical analysis of two SiRC: the first one, called "the geometrical Euclid game", is a situation of Nim-type created specifically for this research and based on the classical Euclid game. The second one, called "the chocolate game", is a situation frequently experimented by the research group math à modeler whose didactical analysis had not been done yet. The analysis and experimentations we have conducted show that the situations based on Nim-type games can lead to a mathematical activity that goes beyond developing and practicing mathematical techniques. They can open access to more general know-hows specific to the mathematical activity
18
Billères, Malvina. "Observations et astéroséismologie de sous-naines de type B, une nouvelle classe d'étoiles pulsantes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ55453.pdf.
Full text
19
BILLERES, MALVINA. "Observations et asteroseismologie de sous-naines de type b : une nouvelle classe d'etoiles pulsantes." Paris 6, 1998. http://www.theses.fr/1998PA066034.
Full textAbstract:
Les sous-naines chaudes de type b (sdb) sont des etoiles evoluees caracterisees par des temperatures comprises entre 25000 k et 35000 k, et dont les gravites couvrent un intervalle log g = 5. 0 6. 0. Ces dernieres annees, le developpement de modeles evolutifs cherchant a reproduire ces objets dans le diagramme hr a mis a notre disposition de nombreux elements pour l'exploration de leur potentiel asteroseismologique. Base sur des predictions theoriques definissant une bande d'instabilite centree autour de t e f f 35000 k et log g 5. 7, nous avons entrepris un releve systematique dans l'hemisphere nord, qui avait pour objectifs : 1) de decouvrir des objets montrant des variations lumineuses, 2) de delimiter l'ampleur de ce phenomene dans le plan t e f f log g, 3) de determiner le degre de purite de la zone d'instabilite predite. Nous presentons les resultats obtenus et notamment la decouverte de cinq sdb pulsantes : pg 1047 + 003, kpd 2109 + 4401, pg 0014 + 067, kpd 1930 + 2752, pg 0816 + 313. De plus, nous avons eu la possibilite d'observer au telescope canada-france-hawaii le cas le plus extreme de l'echantillon de sdb pulsantes actuel : pg 1605 + 072, decouverte par le groupe du south african astronomical observatory, qui apporte des elements interessants sur la diversite rencontree au sein de cette classe de variables. L'analyse des donnees recoltees dans les cas de pg 1047 + 003, kpd 2109 + 4401 et pg 1605 + 072, nous permet tout d'abord de poser les bases d'une etude globale des caracteristiques de la classe des sdb pulsantes (temperature effective et gravite en fonction des periodes observees) et, d'un autre cote, d'amorcer leur etude asteroseismologique afin de determiner de facon independante t e f f et log g, ainsi que d'estimer la masse de l'etoile et la masse de son enveloppe d'hydrogene. Les premiers resultats obtenus en comparant modeles theoriques et observations sont tres encourageants et nous confortent dans notre volonte d'obtenir une analyse complete de ces etoiles.
20
Arnaud, Jean-Baptiste. "Vers des références de première classe comme infrastructure de sécurité dans les langages dynamiquement typés." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00808419.
Full textAbstract:
Les langages de programmation orientés-objet dynamiquement typés ne peuvent pas fournir d'informations de type avant l'exécution. Deux de leurs principaux avantages sont qu'ils permettent le prototypage rapide á et l'intégration de modifications lors de l'exécution. La capacité des langages dynamiquement typés accepter les changements du programme lors de son exécution et en l'absence d'informations de type, condamne les approches de sécurité classiques á l'échec. Contrôler les références des objets et des graphes d'objets est indispensable pour construire des systèmes sécurisés. Les approches existantes sont généralement basées sur un système de type statique et ne peuvent pas être appliquées aux langages dynamiquement typés. Cette thèse défend que: Dans le contexte des langages de programmation orientés-objet dynamiquement typés, réifier les références, contrôler leur comportement, et isoler l'état des objets par le biais de telles références, est un moyen pratique de contrôler les références. Cette thèse apporte cinq contributions: Nous proposons la notion de dynamic read-only objects (DRO) comme un changement particulier (read-only) de comportement au niveau des références; Nous généralisons le modèle DRO pour permettre des changements de comportement plus génériques et nous étendons l'environnement de programmation et le langage Pharo avec des Handles, qui sont des références avec la possibilité de changer le comportement des objets référencés.; Nous définissons le terme de Metahandle pour offrir flexibilité et adaptabilité aux références contrôlées; Nous proposons la notion de SHandle, pour isoler les effets de bord au niveau des références; Et enfin, nous décrivons formellement les modèles Handle et SHandle pour représenter et expliquer leur sémantique. Comme validation de notre thèse nous avons mis en place trois approches liées a la securité en utilisant nos modeless. En outre, nous avons étendu la machine virtuelle Pharo pour supporter les Handles, Metahandles et SHandles.
21
Helms, Mark Daniel. "An Analysis of the Supreme Court's Holdings in Establishment Clause Cases: Comparing Holdings to Measure Consistency Across Variables." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/24195.
Full textAbstract:
Literature regarding the Supreme Court's holdings in Establishment Clause cases suggests the Court's jurisprudence has been inconsistent. Because the Court had both upheld and invalidated challenged governmental actions that relate to religious practices or institutions, a broad overview of the Court's holdings in Establishment Clause cases seems to support that notion. But where does the inconsistency lie: in the tests and criteria used by court members or in the holdings themselves? This thesis suggests that when comparing categories and subsets of the Court's holdings in Establishment Clause cases to one another, the jurisprudence is in fact consistent. This thesis demonstrates where the consistency can be identified and measured in the Court's jurisprudence by analyzing the holdings.
The thesis employs three models, Strict-Separationism, Non-Preferentialism, and Accommodationism, to create standardized categories of Supreme Court's holdings, as independent as possible of the reasoning, criteria, or tests applied to the case by the Court members. I grouped the cases included in this study into one or more categories based on which model(s) the Court's actual holding matched. Then I compared cases within each category of holdings to one another across variables (such as actual holding and case types) to measure consistency between the cases. I conclude with an examination of the measured consistency and explanation of identified patterns in the Supreme Court's Establishment Clause holdings. The data indicated that the Court's actual holdings matched the same projected holdings consistently when compared to cases with similar variables.Master of Arts
22
Douville, Guillaume. "Déploiements de carquois valués de types B et C." Mémoire, Université de Sherbrooke, 2015. http://hdl.handle.net/11143/8013.
Full textAbstract:
Dans ce mémoire, après avoir défini le concept de déploiement, nous obtenons les variables des algèbres amassées et les classes de mutations associées aux carquois valués de types B et C en ramenant l'étude de ces concepts à celle des familles A et D, respectivement.
23
DELBARRE, Franck. "Les formes verbales du français : constatation d'un certain type d'erreurs dans une classe de niveau supérieur." 名古屋大学大学院国際言語文化研究科, 2009. http://hdl.handle.net/2237/14071.
Full text
24
Charbonnel, Pierre. "Projets d'écoles, projets de classe ? : conséquences sociologiques d'une réforme de type volontariste dans un contexte ambigu." Paris 5, 1997. http://www.theses.fr/1997PA05H009.
Full textAbstract:
La loi d'orientation de juillet 1989 étend au premier degré les projets d'établissements. Aussi, à partir de septembre 1991, l'ensemble des projets d'écoles, documents contractuels pluriannuels destinés à appliquer localement les curricula définis nationalement, constituent-ils la mise en oeuvre de la politique éducative de la France au niveau de ce segment. Or, tout cela intervient dans un contexte pédagogique parfaitement adapté à la sélection de l'élite républicaine, mais incapable en revanche de gérer l'hétérogénéité d'élèves dont chacun est désormais placé "au centre du systeme éducatif". S'ensuit un profond désarroi de la majorité des maitres du premier degré, qui n'avaient pas été préparés - et tardent à l'être - à l'indispensable mutation professionnelle. Dans ces conditions, les projets d'écoles allaient-ils produire les effets qu'on en attendait ? Plus simplement, allaient-ils être neutres ? Au terme de cette enquête, et après comparaison sur quatre ans des performances d'un échantillon d'élèves répartis sur quatre secteurs de collèges, il apparaît qu'aucun des projets d'écoles concernés ne débouche sur un processus de démocratisation généralisée. Qu'il s'agisse de leurs effets généraux, ou de certaines de leurs actions spécifiques, ils ne parviennent qu'à accentuer la relégation des élèves les plus démunis des trois formes de capital, et en particulier de la forme culturelle. Les catégories sociales "moyennes" bénéficient bien, parfois, au cycle 2, de leurs effets, mais à la fin du cursus élémentaire, la hiérarchisation classique se reconstitue, assortie même dans la plupart des cas, d'un bénéfice accru pour les catégories "supérieures". On en conclut que l'école, mal équiéee pour répondre à sa nouvelle mission, reproduit les rapports de dominance, tout en façonnant l'espace social prévu - ou requis - en fonction d'enjeux économiques.
25
Benmimoun, Mimoun. "Sur le comportement asymptotique des bonnes solutions d'une classe de problèmes paraboliques dégénérés du type Neumann." Nancy 1, 1997. http://www.theses.fr/1997NAN10252.
Full textAbstract:
Cette étude concerne le comportement asymptotique en temps des solutions d'équations paraboliques dégénérées. Plus précisément, les équations étudiées rentrent dans le cadre de l'analyse de certains phénomènes concernant la diffusion de substances en milieu poreux; elles rentrent également dans le cadre de l'étude de certains phénomènes en physique des plasmas ainsi que dans celui de certains phénomènes de migration en dynamique des populations, et jouent donc un rôle prépondérant. Dans nombre d'applications. Dans l'introduction nous expliquons quels sont les résultats déjà connus dans ce contexte, puis nous décrivons brièvement la stratégie et les méthodes que nous allons utiliser pour prouver certaines généralisations. Dans le chapitre 2, nous formulons très précisément et nous commentons tous nos résultats qui concernent aussi bien le comportement asymptotique des solutions de diffusion lente que celui de problèmes de diffusion rapide. Dans le chapitre 3, nous démontrons de façon détaillée tous ces résultats. Les techniques que nous développons combinent la théorie des semi-groupes non linéaires et certains arguments de la théorie des systèmes dynamiques en dimension infinie. Une caractéristique importante de tous nos résultats de stabilisation est que nous mettons en évidence des taux de convergence des solutions vers l'attracteur global correspondant, et que ces taux de convergence peuvent être soit exponentiels soit polynomiaux, ceci dépendant fortement des propriétés structurelles des non linéarités et des conditions initialesThe study set fort. H in this thes is concerns the long-time behavior of certain solutions to a class of nonlinear degenerate parabolic equations. The equations that we investigate play an important role in the analysis of certain phenomella related to the nonlinear diffusion of substances through porous media; they also play a role in plasma physics, in population dynamics and in many other applications. Ln the first chapter we explain briefly what is already known regarding the problem under consideration, and we explain the strategy and the methods we wish to use to prove some generalizations. In the second chapter we formulate precisely and we discuss all of our results which concern the long-time behavior of solutions to problems of fast and slow diffusion. In the third chapter, we give the complete proofs of all our results. The techniques that we use combine methods from the theory of nonlinear semigroups and from the theory of infinite-dimensional dynamical systems. An important feature of our work is t. Hat we are able to exhibit the rate of decay of the solutions in each case we consider. These rates of convergence can be either exponential or polynomial, and which one occurs depends on the structural properties of the nonlinearities and of the initial conditions involved
26
GU, XUE FAN. "Marqueurs genetiques du diabete de type 1 : analyse du polymorphisme des genes hla de classe ii." Paris 6, 1991. http://www.theses.fr/1991PA066143.
Full textAbstract:
Le diabete insulino-dependant (did) est une maladie auto-immune, qui se developpe sur un terrain genetique particulier. En utilisant les techniques de pcr, de slot blot, de cartographie de restriction et de sequencage nucleotidique, nous avons caracterise les exons 2 des loci hla-dqb1, dqa1 et des sous-types de dr4 chez 157 diabetiques et chez 147 temoins. Le profil genetique de hla-dqb1 chez les did presente un gradient susceptibilite/resistance au did selon les combinaisons alleliques presentees. La nature des codons dq 57 et dq 52 est importante. Les heterozygoties dqb1*0201/0302 et dqa1*0301/0501 sont enrichies chez les did. Environ 50% des did portent un profil particulier (dqb1 asp 57 /, dqa1 arg 52 +/+). Surtout 28% des did presentent une combinaison haplotypique (dqb1*0201/0302, dqa1*0301/0501) qui n'a pas ete retrouvee chez les temoins avec le risque relatif le plus eleve (o. R. =83). Le profil genetique de hla-dq est identique chez les deux types de did de type ia et ib. Les etudes de hla-dq chez les francais et les algeriens montrent que ces deux populations presentent un profil presque identique. L'etude des sous-types de hla-dr4 montre que c'est le locus dqb1 et non drb1 qui est le plus proche du locus diabetogene. Ces resultats ont une valeur theorique pour l'immunogenetique du did. Ils ont une valeur pratique pour les campagnes de depistage
27
Manente, Amélie. "Types de prédication en vietnamien : dynamique et variété des structures." Thesis, Paris 5, 2013. http://www.theses.fr/2013PA05H010/document.
Full textAbstract:
Dans cette thèse, nous présentons une analyse syntaxique du vietnamien de Hô-Chi-Minh-Ville, dans la lignée de la syntaxe fonctionnelle mise en place par André Martinet et développée par la suite par ses continuateurs. Dans un premier temps, nous nous sommes intéressée au degré d’opposition verbo-nominal en vietnamien : nous proposons tout d’abord une synthèse des travaux menés à ce sujet, avant d’exposer notre analyse en classes, en nous appuyant sur des critères strictement syntaxiques. Une étude syntaxique détaillée des modalités (déterminants non déterminables) – les modalités nominalisantes, les modalités de degré, les modalités prédicatives et les modalités injonctives – a été nécessaire. Ces unités permettent de distinguer des comportements différents, et l’identification des grandes classes lexicales du vietnamien : nominaux, adjectifs, modaux et verbaux. Il apparait que ces classes d’unités s’organisent en un continuum, avec à un pôle les nominaux, à l’autre les verbaux. Dans un second temps, l’analyse porte sur les différents types de structures prédicatives du vietnamien. La variété des constructions – nucléaires et connectives – est au centre de l’étude, ainsi que l’identification des différentes fonctions. Enfin, nous exposons une analyse des “séries verbales”, phénomène très courant en vietnamien, mais décrivant en fait des réalités très diverses. Tout au long de l’analyse, nous accordons une importance particulière à la variation et aux zones de changements (réanalyses, lexicalisations, grammaticalisations), faisant état de la dynamique des différentes structures et de la langue elle-mêmeWe present here a syntaxic analysis of the Vietnamese language spoken in Ho Chi Minh City, in line with the functional syntax introduced by André Martinet and developed later by his followers. In a first part, we examined the extent of noun/verb opposition in Vietnamese. After a synthesis of work on this subject, we present our own analysis of the lexical classes, relying on strictly syntactic criteria. A detailed study of the syntactic modalités (undeterminable determinants) - nominalizing undeterminable determinants, undeterminable determinants of degree, predicative undeterminable determinants and injunctive undeterminable determinants - was necessary. These units are used to distinguish different behaviors, and leads to the identification of major lexical classes in Vietnamese: nominals, adjectives, modals and ‘verbals’. It appears that these classes of units are organized along a continuum. In a second part, the analysis focuses on the different types of predicative structures in Vietnamese. The variety of structures - nuclear and connective - is central to the study as well as the identification of the different functions. Finally, we present an analysis of "serial verb constructions" very common in Vietnamese, but actually reflecting very different realities. Throughout this study, we pay particular attention to the variation and change (reanalysis, lexicalizations, grammaticalizations), referring to the dynamics of the various structures and of the Vietnamese language itself
28
Nguyen, Van Hiep. "Compilation et environnement d'exécution d'un langage à base d'objets." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00339744.
Full textAbstract:
Cette thèse a été effectuée dans le cadre du projet guide mène par le laboratoire bull-imag/systèmes depuis mi 1986. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système d'exploitation reparti a objets guide qui fournit un haut niveau d'integration (invisibilité de la répartition notamment). Le langage a objets guide défini spécifiquement permet la programmation et la mise en œuvre d'applications reparties le plus facilement possible en utilisant tous les éléments du modèle d'objets et du système guide. La thèse présente les principes de compilation des sources guide en objets exécutables. Les objets sont crées dynamiquement lors de l'exécution des applications et ils restent permanent même dans le cas ou ils ne sont plus utilisables (on ne peut pas y accéder). Donc, un ramasse-miettes doit être présent pour ramasser automatiquement ces miettes tout en garantissant la cohérence de la mémoire d'objets. La thèse présente aussi notre étude sur les familles d'algorithmes de ramasse-miettes existant ainsi que leur adaptation pour le système guide
29
Beaulieu, Patrick. "Approach to the synthesis of spiroiridal-type triterpenoids via an Ireland-Claisen rearrangement." Thesis, University of Ottawa (Canada), 2004. http://hdl.handle.net/10393/26576.
Full textAbstract:
The formation of carbon-carbon bonds in an asymmetric manner is a central goal of modern synthetic chemistry. Many methods have been developed to form a variety of linkages and substitutions, however the asymmetric formation of quaternary carbons of spirocycles is still a formidable challenge. These compounds represent special challenges because of the requirement of double ring formation together with the control of facial selectivity during the formation of a quaternary carbon centre. The present work demonstrates our efforts towards establishing a strategy based on the Ireland-Claisen rearrangement as the key step for the synthesis of the quaternary spiro-fused ring system such as those found in iridal triterpenoids. 28-Deacetylbelamcandal, a spiroiridal-type triterpenoid, is a representative compound found in iridaceous plants and shows important biological activities in tumor promotion. The synthesis of this compound has been planned from the methodology currently in progress in our group.
30
Fischer, Daniel Friedrich. "New frontiers in asymmetric aza-Claisen rearrangements : development of ferrocenyl imidazoline palladacycles /." [S.l.] : [s.n.], 2008. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=18128.
Full text
31
Kruszewski, Alexandre. "Lois de commande pour une classe de modèles non linéaires sous la forme Takagi-Sugeno : mise sous forme LMI." Valenciennes, 2006. https://ged.uphf.fr/nuxeo/site/esupversions/47cd2183-0e4c-4bc8-b7b8-591ffb66d847.
Full textAbstract:
Cette thèse se focalise sur une classe particulière de modèles non linéaires appelés modèles Takagi-Sugeno. Même s’ils sont issus de l’approche historique de la logique floue, ils peuvent s’interpréter comme une collection de modèles linéaires interconnectés par des fonctions non linéaires. L’étude de la stabilité de ces types de modèles fait appel, dans la grande majorité des cas, à la méthode directe de Lyapunov avec une fonction de type quadratique. Celle-ci permettant écrire facilement des conditions sous la forme de contraintes LMI. Les conditions obtenues ne sont que suffisantes. De nombreux résultats sont disponibles aujourd’hui pour ce type de modèles. Les premiers travaux ne traitaient que de la stabilité et de stabilisation sans critères de robustesse ou notions de performances. Depuis des extensions à des retours d’état avec observateur, à des modèles sous forme descripteur, à des modèles incertains, à des modèles à retard à des modèles incertains à retard, à des retours de sortie dynamiques,… existent. Des critères de performances ont aussi été considérés comme la minimisation d’un critère quadratique, D-stabilité, Hinf,… En dépit de cette multitude de résultats, il reste un certain nombre de problèmes à résoudre. L’approche par fonction de Lyapunov quadratique semble avoir atteint ces limites. Les conditions obtenues étant seulement suffisantes le principal problème est de savoir que faire si elles sont trop restrictives ? Comment relâcher un problème LMI qui n’a pas de solution ? Le but de ce mémoire est de sortir du cadre des fonctions de Lyapunov quadratiques en proposant des résultats moins conservatifs que ceux rencontrés dans la littératureThis PhD thesis deals with a particular class of nonlinear models called Takagi-Sugeno. In spite of their fuzzy background, they can be seen as a collection of linear models blended by some nonlinear functions. The stability analysis of this kind of models is investigated through the direct Lyapunov method and using a quadratic function. This choice is due to its capability to cope with LMI constraints. These conditions are only sufficient. Many results are available for these models. The first works were dealing only with stability and stabilization without any robustness criterion or performances indexes. Extensions are available on state feedback with observer, descriptor models, uncertain models, models with delays, dynamic output feedbacks… Some performances criteria are also considered as the minimization of quadratic criterion, D-Stability, Hinf…In spite of these results, some problems need to be solved. The quadratic Lyapunov function approach seems to have reached its limit. Considering that the conditions are only sufficient, what can be done if they are too restrictive? How to relax a LMI problem which has no solution? The goal of this thesis is to quit the quadratic framework by proposing less conservative results than those met in the literature
32
Godeau, Thierry. "Implication du complexe majeur d'histocompabilite de classe ii dans le developpement du diabete de type 1 : etude experimentale de l'induction des molecules de classe ii sur des cellules pancreatiques a insuline." Nantes, 1990. http://www.theses.fr/1990NANT122M.
Full text
33
Verdoucq, Laurent. "Dérivées tangentielles et interpolation pour les fonctions de la classe Ak[infini] au bord de domaines de type fini." Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/55376-1998-1.pdf.
Full text
34
Cavichioli, Gonzaga Carlos. "Analyse de stabilité et de performances d'une classe de systèmes non-linéaires à commutations en temps discret." Phd thesis, Université de Lorraine, 2012. http://tel.archives-ouvertes.fr/tel-00762873.
Full textAbstract:
Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats obtenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles ellipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attraction. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées.
35
Didierjean, Joël. "Etude d'une nouvelle classe d'inhibiteurs de la rétrotranscriptase et de l'intégrase du virus de l'immunodéficience humaine de type (VIH-1)." Strasbourg 1, 2005. https://publication-theses.unistra.fr/public/theses_doctorat/2005/DIDIERJEAN_Joel_2005.pdf.
Full textAbstract:
"L'Organisation Mondiale de la Santé estime que le VIH-1 est porté par 40 millions de personnes à travers le monde, et qu'il a causé 3,1 millions de décès et 4,9 millions de nouvelles infections au cours de l'année 2004. Les traitements actuels ciblent principalement la rétrotranscriptase du VIH-1 (RT), qui catalyse le passage de l'ARN viral génomique en ADN double brin, substrat de l'intégrase virale (IN). Les antiviraux dirigés contre la RT et utilisés en thérapie sont soit des terminateurs de chaîne analogues de nucléosides (NRTIs), soit des inhibiteurs non-nucléosidiques (NNRTIs) qui se fixent au niveau d'une poche hydrophobe, à proximité du site de fixation des nucléotides. Dans le cadre du développement de nouveaux inhibiteurs de la RT, nous nous sommes intéressés aux 3,7-dihydroxytropolones (3,7-DHT), qui inhibent l'inositol monophosphatase humaine par chélation de deux ions Mg2+ catalytiques distants de 3,7Å. Or les sites catalytiques polymérase et RNase H de la RT contiennent respectivement deux ions Mg2+ distants de 3,57 et 4Å. En outre, l'IN du VIH-1 possède une plate-forme catalytique proche de celle du site RNase H. Nous avons ainsi entrepris d'étudier l'effet des 3,7-DHT sur les activités de la RT et de l'IN du VIH-1. Nous avons observé une inhibition spécifique de l'une ou l'autre activité de la RT par certaines 3,7-DHT. Des études enzymatiques ont ensuite montré que l'inhibition de l'activité ADN polymérase est non-compétitive vis-à-vis des nucléotides, à l'instar des NNRTIs. Néanmoins, l'étude de RT résistante ou dépourvue du site de fixation des NNRTIs permet d'exclure un mode d'action identique à cette classe d'inhibiteurs. Des expériences de gel-filtration, permettant de suivre l'état d'oligomérisation de la forme active de la RT, hétérodimérique, montrent que les 3,7-DHT ne sont pas capables de la dissocier. L'inhibition des activités de la RT par liaison des 3,7-DHT aux acides nucléiques a été écartée, entre autres, par des expériences de fluorescence. Enfin nous avons montré que les 3,7-DHT n'inhibent pas la polymérisation lors de l'étape de translocation. En revanche, une forte baisse de l'inhibition de la synthèse d'ADN a été mise en évidence lorsque la concentration en Mg2+ diminue, ce qui suggère que les 3,7-DHT ne lient le site actif polymérase qu'en présence des ions Mg2+. L'implication des cations catalytiques dans les mécanismes d'inhibition par les 3,7-DHT a également été étayée par l'observation d'une inhibition des activités de " processing " et de transfert de l'IN, dépendante du cation utilisé. Malheureusement, des cultures cellulaires en présence de 3,7-DHT ont révélé une cytotoxicité importante. Ce résultat était partiellement prévisible, compte tenu de l'existence de nombreuses enzymes bimétalliques cellulaires et de l'utilisation de 3,7-DHT de première génération. Dans l'objectif d'améliorer ces composés, sur la base de leur relation structure/activité, nous avions également pour projet d'obtenir la structure cristallographique d'un complexe ternaire RT/(matrice/amorce)/dNTP, en présence d'une 3,7-DHT. Des cristaux de différents complexes ont été obtenus, mais n'ont pas permis d'obtenir de clichés de diffraction aux rayons X et restent par conséquent à améliorer. Nous avons également étudié l'influence de la concentration en Mg2+ libre sur les activités catalytiques de la RT du VIH-1. En résumé, les résultats obtenus au cours de mon travail de thèse permettent d'élaborer les prémices d'une stratégie de conception " rationalisée " d'inhibiteurs de la RT et de l'IN, dans l'objectif d'obtenir des composés plus spécifiques et plus affins de l'un ou l'autre site catalytique. "In order to develop new HIV-1 reverse transcriptase (RT) inhibitors, we studied the 3,7-dihydroxytropolones (3,7-DHT) which are known to inhibit the human inositol monophosphatase by chelating the 2 catalytic Mg2+ ions separated from 3,7Å. The HIV-1 polymerase and RNase H catalytic sites contain two Mg2+ ions, distant from de 3,57 and 4Å, respectively. Moreover, the HIV-1 integrase (IN) possesses a catalytic platform similar to the RNase H active site. Therefore, we decided to study the 3,7-DHT on the HIV-1 RT and IN activities. We observed a specific inhibition by some 3,7-DHT derivatives for each RT activity. We showed that the inhibition of the polymerase activity is non-competitive in regard to the dNTP, like non-nucleoside RT inhibitors (NNRTIs). Nevertheless, 3,7-DHT bind neither in the NNRTIs site, nor to the nucleic acids that are substrates of RT activities. Furthermore, 3,7-DHT are not able to induce the dissociation of the heterodimeric form of the active RT. Finally, we showed that 3,7-DHT do not inhibit the polymerization at the translocation step. The implication of the catalytic cations into the mechanisms of RT and IN inhibition by 3,7-DHT has also been studied. In order to increase the 3,7-DHT efficacy and affinity, and to decrease their cytotoxicity, we wanted to get the cristallographic struture of the RT/(primer/template)/dNTP ternary complex with a 3,7-DHT. Cristals from different complex have been obtained, but need to be improved. Taken together these results allow the development of a rationalized design of RT and IN inhibitors, in order to get more specific and efficient compounds of one or another activity
36
Capponi, Cécile. "Identification et Exploitation des Types dans un modèle de connaissances à objets." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00345845.
Full textAbstract:
Les modèles de connaissances à objets (MCO) souffrent d'une surcharge dans l'utilisation de leur langage de représentation associé. Si ce langage a pour objectif d'être adapté à la représentation informatique d'un domaine d'application, nous montrons qu'il n'est pas pertinent de l'utiliser pour définir des structures de données, certes utiles pour la représentation du domaine, mais dépourvues de signification directe dans ce domaine (ex. une matrice dans le domaine de l'astronomie). Cette thèse propose un système de types à deux niveaux, appelé METÈO. Le premier niveau de METÈO est un langage pour l'implémentation de types abstraits de données (ADT) qui sont nécessaires à la description minimale des éléments pertinents du domaine d'application. Ainsi, METÈO libère le langage de représentation d'une tâche à laquelle il n'a pas à s'adapter. Le second niveau de METÈO traite de l'affinement des ADT opéré dans la description des objets de représentation. Nous rappelons les deux interprétations des objets de représentation: l'intension d'un objet est une tentative de description de ce que cet objet dénote dans le domaine d'application: son extension. L'équivalence généralement admise entre ces deux aspects de l'objet est une illusion, et contribue de plus à annihiler une des véritables finalités d'un modèle de connaissances: aider une caractérisation des plus précises d'un domaine d'application. Ainsi, les types du second niveau de METÈO s'attachent à la représentation et la manipulation des intensions des objets, indépendamment de leurs extensions. L'interprétation en extension des objets est effectuée par l'utilisateur, METÈO gère en interne les descriptions de ces objets alors dénuées de leur signification, et le MCO peut alors se concentrer sur la coopération entre ces deux aspects des objets, considérés non-équivalents dans cette étude. METÈO contribue ainsi à clarifier le rôle de chaque partenaire impliqué dans la construction et l'exploitation d'une base de connaissances. Plus généralement, METÈO jette un pont entre les spécificités des MCO et les techniques usuelles de programmation de structures de données manipulables. Un prototype de METÈO a été développé pour un couplage avec le MCO TROPES
37
Афанасьева, О. В., В. И. Мощенок, В. П. Тарабанова, Н. А. Лалазарова, and Е. Г. Попова. "Особенности самостоятельной работы студентов при изучении технологии металлов и материаловедения." Thesis, ХНАДУ, 2017. http://openarchive.nure.ua/handle/document/9250.
Full textAbstract:
Самостоятельная работа студентов занимает большую долю времени изучения курса и подготовки курсовых, рефератов и контрольных работ. Однако участие преподавателя необходимо для закрепления полученных знаний и проведения контроля для оценки знаний, и выполненных работ по темам курса. Главная задача самостоятельной работы студентов – это развитие умения приобретения научных знаний путем личного поиска информации, формирования активного интереса к творческому подходу в учебной работе и при выполнении курсовых работ, рефератов и в заключении обучения – дипломной работы.
38
Weber, Lars [Verfasser], Claus [Akademischer Betreuer] Möbus, and Martin [Akademischer Betreuer] Fränzle. "Driver Modeling and Simulation of Lane Change Situations : Influence of Different Rear View Mirror Types on Gap Acceptance Behavior / Lars Weber ; Claus Möbus, Martin Fränzle." Oldenburg : BIS der Universität Oldenburg, 2017. http://d-nb.info/1152005251/34.
Full text
39
Doulin, Janrené. "Analyse comparative des difficultés rencontrées par les élèves dans l'appropriation de différents types de graphismes techniques en classe de seconde : option TSA (technologie des systèmes automatises)." Cachan, Ecole normale supérieure, 1996. http://www.theses.fr/1996DENS0016.
Full textAbstract:
Les graphismes techniques, autres que le dessin industriel se sont multipliés depuis quelques années dans l'enseignement technique. Leur prolifération, leur variété, leur évolution, l'utilisation qui en est faite par les enseignants, suscitent des difficultés pour les élèves, particulièrement en début du cycle de formation de l'enseignement secondaire (classe de seconde: option TSA). Ces difficultés semblent liées en premier lieu au fait qu'il n'y ait pas d'apprentissage systématique, et en deuxième lieu qu'ils ne soient pas enseignés comme appartenant à un ensemble d'outils symboliques lies à la modélisation des systèmes techniques. La première partie de l'étude consiste en une analyse des travaux existants sur les graphismes en général, puis en un recensement des graphismes techniques rencontrés. La deuxième partie examine l'offre scolaire de graphismes techniques par les auteurs de manuels et ouvrages utilisés dans le second cycle secondaire technique ainsi que par les enseignants au travers des documents d'accompagnement des séances de travaux pratiques ou dirigés. La troisième partie examine la réponse des élèves face a cette offre. La quatrième partie propose des pistes de réflexion et d'action pour un apprentissage rationnel des graphismes techniques centré autour de deux préoccupations: l'appropriation raisonnéee des graphismes et l'utilisation des graphismes en tant qu'outils symboliques associés à la modélisation des systèmes techniques et de leur fonctionnement
40
Lenormand, Cédric. "Caractérisation des molécules HLA-DQα2/β2, un nouveau type de molécules HLA de classe II exprimées par les cellules de Langerhans de l’épiderme." Strasbourg, 2011. http://www.theses.fr/2011STRA6172.
Full textAbstract:
Les cellules de Langerhans sont les cellules dendritiques résidentes de l’épiderme humain, occupant ainsi une position privilégiée à l’interface du corps et de l’environnement extérieur. Afin de mieux appréhender leur spécificité parmi les différentes cellules dendritiques, le laboratoire a entrepris un projet d’analyse comparative de leur transcriptome, qui a permis d’identifier l’expression préférentielle du gène HLA-DQB2 par les cellules de Langerhans. Les gènes HLA-DQA2/DQB2 sont les paralogues des gènes HLA-DQA1/DQB1 encodant les molécules présentatrices d’antigène HLA-DQ, mais sont remarquablement peu polymorphes comparés à ces derniers, et fortement conservés au cours de l’évolution. De manière remarquable, leur expression coordonnée n’avait jamais été détectée jusqu’ici. Au cours de ces travaux, nous confirmons que les gènes HLA-DQA2 et HLA-DQB2 sont exprimés spécifiquement par les cellules de Langerhans. Grâce à l’utilisation de différents modèles de cellules transfectées, nous montrons que les chaines HLA-DQα2 et HLA-DQβ2 s’assemblent dans le réticulum endoplasmique pour être exportées à destination des compartiments endosomaux grâce à la chaîne invariante Ii, chaperon des molécules HLA de classe II. Les molécules HLA-DQα2/β2 interagissent avec le chaperon endosomal HLA-DM et sont exprimées à la surface des cellules, où elles peuvent relayer la stimulation de lymphocytes T par un superantigène staphylococcique. Ces résultats suggèrent que les molécules HLA-DQα2/β2 constituent un nouveau type de molécules HLA de classe II très peu polymorphes, exprimées spécifiquement par les cellules de Langerhans de l’épidermeLangerhans cells are the resident dendritic cells of the human epidermis, wherein they occupy a privileged position at the interface between the body and the external environment. To refine our knowledge on their specificities among the dendritic cells, a comparative analysis of their transcriptome was undertaken in the laboratory. In this way, the specific expression of the HLA-DQB2 gene by Langerhans cells was identified. HLA-DQA2/DQB2 genes are paralogous to the HLA-DQ-encoding HLA-DQA1/DQB1 genes, but have been described as remarkably lowly polymorphic for HLA class II genes and are strongly evolutionarily conserved. Up to date, their coordinated expression has never been reported. In this work, we confirm that HLA-DQA2 and HLA-DQB2 genes are specifically expressed in Langerhans cells. With the help of different transfected cell line models, we show that the HLA-DQα2 and HLA-DQβ2 chains associate together in the endoplasmic reticulum and, under the control of the chaperone invariant chain Ii, reach endosomal compartments. HLA-DQα2/β2 molecules interact with the endosomal chaperone HLA-DM and are expressed at the plasma membrane, where they mediate staphylococcal superantigen presentation to T cells. Taken together, those results suggest that HLA-DQα2/β2 molecules could represent a new type of lowly polymorphic HLA class II molecules specifically expressed in epidermal Langerhans cells
41
Didierjean, J. "Étude d'une nouvelle classe d'inhibiteurs de la rétrotranscriptase et de l'intégrase du virus de l'immunodéficience humaine de type-1 (VIH-1)." Phd thesis, Université Louis Pasteur - Strasbourg I, 2005. http://tel.archives-ouvertes.fr/tel-00128127.
Full textAbstract:
L'Organisation Mondiale de la Santé estime que le VIH-1 est porté par 40 millions de personnes à travers le monde, et qu'il a causé 3,1 millions de décès et 4,9 millions de nouvelles infections au cours de l'année 2004. Les traitements actuels ciblent principalement la rétrotranscriptase du VIH-1 (RT), qui catalyse le passage de l'ARN viral génomique en ADN double brin, substrat de l'intégrase virale (IN). Les antiviraux dirigés contre la RT et utilisés en thérapie sont soit des terminateurs de chaîne analogues de nucléosides (NRTIs), soit des inhibiteurs non-nucléosidiques (NNRTIs) qui se fixent au niveau d'une poche hydrophobe, à proximité du site de fixation des nucléotides. Dans le cadre du développement de nouveaux inhibiteurs de la RT, nous nous sommes intéressés aux 3,7-dihydroxytropolones (3,7-DHT), qui inhibent l'inositol monophosphatase humaine par chélation de deux ions Mg2+ catalytiques distants de 3,7Å. Or les sites catalytiques polymérase et RNase H de la RT contiennent respectivement deux ions Mg2+ distants de 3,57 et 4Å. En outre, l'IN du VIH-1 possède une plate-forme catalytique proche de celle du site RNase H. Nous avons ainsi entrepris d'étudier l'effet des 3,7-DHT sur les activités de la RT et de l'IN du VIH-1.
Nous avons observé une inhibition spécifique de l'une ou l'autre activité de la RT par certaines 3,7-DHT. Des études enzymatiques ont ensuite montré que l'inhibition de l'activité ADN polymérase est non-compétitive vis-à-vis des nucléotides, à l'instar des NNRTIs. Néanmoins, l'étude de RT résistante ou dépourvue du site de fixation des NNRTIs permet d'exclure un mode d'action identique à cette classe d'inhibiteurs. Des expériences de gel-filtration, permettant de suivre l'état d'oligomérisation de la forme active de la RT, hétérodimérique, montrent que les 3,7-DHT ne sont pas capables de la dissocier. L'inhibition des activités de la RT par liaison des 3,7-DHT aux acides nucléiques a été écartée, entre autres, par des expériences de fluorescence. Enfin nous avons montré que les 3,7-DHT n'inhibent pas la polymérisation lors de l'étape de translocation.
En revanche, une forte baisse de l'inhibition de la synthèse d'ADN a été mise en évidence lorsque la concentration en Mg2+ diminue, ce qui suggère que les 3,7-DHT ne lient le site actif polymérase qu'en présence des ions Mg2+. L'implication des cations catalytiques dans les mécanismes d'inhibition par les 3,7-DHT a également été étayée par l'observation d'une inhibition des activités de « processing » et de transfert de l'IN, dépendante du cation utilisé.
Malheureusement, des cultures cellulaires en présence de 3,7-DHT ont révélé une cytotoxicité importante. Ce résultat était partiellement prévisible, compte tenu de l'existence de nombreuses enzymes bimétalliques cellulaires et de l'utilisation de 3,7-DHT de première génération. Dans l'objectif d'améliorer ces composés, sur la base de leur relation structure/activité, nous avions également pour projet d'obtenir la structure cristallographique d'un complexe ternaire RT/(matrice/amorce)/dNTP, en présence d'une 3,7-DHT. Des cristaux de différents complexes ont été obtenus, mais n'ont pas permis d'obtenir de clichés de diffraction aux rayons X et restent par conséquent à améliorer.
Nous avons également étudié l'influence de la concentration en Mg2+ libre sur les activités catalytiques de la RT du VIH-1.
En résumé, les résultats obtenus au cours de mon travail de thèse permettent d'élaborer les prémices d'une stratégie de conception « rationalisée » d'inhibiteurs de la RT et de l'IN, dans l'objectif d'obtenir des composés plus spécifiques et plus affins de l'un ou l'autre site catalytique.
42
Lafenetre, Pascal. "Contribution à l’étude des inégalités scolaires selon le type d’orientation en classe de seconde : pratiques d’enseignement des mathématiques et habitus professionnel." Thesis, Bordeaux 2, 2012. http://www.theses.fr/2012BOR21954/document.
Full textAbstract:
Le système scolaire français est en passe de réussir à mener près de 80% d’une classe d’âge jusqu’au niveau du baccalauréat. Cependant, cette démocratisation du système ne doit pas occulter la persistance de certaines inégalités. Le niveau du lycée semble être le lieu et le moment où certaines des ces inégalités se cristallisent. Le propos de ce travail est de montrer, dans un premier temps, que ces inégalités s’accroissent au lycée et en particulier au cours de l’année de seconde, qu’aux inégalités d’accès, s’ajoutent des inégalités de réussite. Dans un second temps, ce travail s’attachera à montrer que les pratiques d’enseignement, différentes d’un type de lycée à un autre, peuvent expliquer l’accroissement des ces inégalités. La première étude portera sur l’évolution des inégalités de réussite en mathématiques entre les élèves d’un lycée professionnel, ceux d’un lycée technique et ceux d’un lycée général. L’étude des progressions des élèves en fonction de leur classement initial montrera que les élèves n’ont pas les mêmes chances de réussite selon le type d’établissement dans lequel ils sont scolarisés. La deuxième étude portera sur les pratiques et les discours de 10 enseignants de trois établissements différents : LP, LT et LG. Une analyse quantitative et qualitative de leurs discours, en entretien et en classe, et de leur pratique nous permettra de caractériser ces dernières eu regard du lieu d’enseignement et de mettre ainsi en évidence ce que l’on peut appeler un habitus professionnelNearly 80% of a class age is to be taken as far as the baccalauréat by the French Educational School System. Yet, this democratization of the system should not hide the persistence of certain inequalities. It seems indeed, that some school inequalities crystallize at school. That’s why this work will aim at showing, at first, that these inequalities increase during the 1st year of high school (our seconde). Moreover, inequalities of access come on top of inequalities of success. Then, it will be demonstrated in that work that teaching methods (different from one school to another), could as well explain the increase of inequalities. The first study will mainly deal with the evolution of the success inequalities in mathematics between general, technical and professional French high schools. It will be demonstrated as well that pupils don’t have the same opportunities according to their initial rank and according to the school they’re in. The second study will deal with the teaching methods and interviews of 10 teachers, from different types of high schools (LP, LT, LG). A quantitative and qualitative analysis of their speech and practices through their interviews and during the class will help characterize their practices according to the place they teach. It will thus help highlighting what could be called a professional habitus
43
Philipsson, Anders. "Interrogative Clauses and Verb Morphology in L2 Swedish : Theoretical Interpretations of Grammatical Development and Effects of Different Elicitation Techniques." Doctoral thesis, Stockholm : Centre for Research on Bilingualism, Stockholm University, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-6847.
Full text
44
Bonnet, Richard. "Beta-lactamases de classe a chez les enterobacteriaceae : caracterisation de variants de tem et de deux nouveaux types enzymatiques ctx-m-8 et bes-1 (doctorat : microbiologie)." Clermont-Ferrand 1, 2000. http://www.theses.fr/2000CLF1MM12.
Full text
45
Jacob, Benoît. "Systèmes de type Bost-Connes pour les corps de fonctions." Paris 6, 2007. http://www.theses.fr/2007PA066223.
Full textAbstract:
Dans cette thèse, nous construisons des systèmes de type Bost-Connes pour tous les corps de fonctions, c'est-à-dire pour tous les corps globaux de caractéristique non-nulle, et nous démontrons qu'ils ont toutes les propriétés que l'on pourrait attendre de systèmes de Bost-Connes pour des corps de fonctions; en particulier, nous classifions entièrement les états KMS et étudions la structure des facteurs correspondants
46
Rafaralahy, Hugues. "Modélisation d'un processus thermique et reconstruction de l'état et des défauts pour une classe de systèmes à paramètres distribués de type parabolique." Nancy 1, 1993. http://www.theses.fr/1993NAN10223.
Full textAbstract:
Les travaux présentés dans ce mémoire concernent d'une part la modélisation et la simulation numérique d'un processus thermique industriel et, d'autre part, la reconstruction de l'état et le diagnostic pour une classe de systèmes à paramètres distribués de type parabolique. Dans une première partie, la modélisation d'un four de réchauffe de billettes, de type poussant, alimenté au gaz naturel est réalisée. Ce modèle est un système à paramètres repartis de type parabolique décrivant la conduction de la chaleur avec des conditions aux frontières de type Fourier non linéaires représentant les transferts de chaleur par convection et rayonnement. Pour mettre en évidence les fluctuations de température sur la longueur des billettes (nécessaire à l'optimisation de la qualité du produit et des conditions de laminage) nous considérons un modèle à deux dimensions d'espace. Un algorithme d'intégration numérique, permettant d'analyser les fluctuations du profil de température et de simuler l'évolution thermique des billettes pendant la phase de chauffe, est proposé. La deuxième partie est consacrée à la synthèse d'observateurs de l'état de dimension finie pour les systèmes de dimension infinie évoqués ci-dessus en passant par une réduction de la dimension de ces systèmes via les polynômes orthogonaux généralisés. L'approche adoptée est basée sur les observateurs à grand gain des systèmes localisés. La robustesse de celle-ci par rapport aux erreurs de modélisation des paramètres est étudiée. Une version d'ordre réduit de cet observateur est proposée. La troisième partie concerne l'estimation simultanée de l'état et des défauts. Deux cas sont considères, à savoir les défauts de mesures de type ponctuel (biais, dérivés de capteurs. . . ) Et les défauts de système de type distribue. Aucune hypothèse a priori n'est faite sur la dynamique de ces défauts. La solution proposée est basée sur l'observation de l'état des systèmes singuliers non linéaires localisés. Un de nos principaux objectifs est de proposer des solutions réalisables sur calculateurs, donc de dimension finie
47
Cavalcante, Thiago Rodrigues. "Multiplicidade de soluções para uma classe de problemas elípticos de quarta ordem com condição de contorno de Navier." Universidade Federal de Goiás, 2018. http://repositorio.bc.ufg.br/tede/handle/tede/8257.
Full textAbstract:
Submitted by Erika Demachki (erikademachki@gmail.com) on 2018-03-23T22:13:05Z
No. of bitstreams: 2
Tese - Thiago Rodrigues Cavalcante - 2018.pdf: 2200622 bytes, checksum: 39118adda6b7ceff14825da442b5be57 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-26T12:16:44Z (GMT) No. of bitstreams: 2 Tese - Thiago Rodrigues Cavalcante - 2018.pdf: 2200622 bytes, checksum: 39118adda6b7ceff14825da442b5be57 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Made available in DSpace on 2018-03-26T12:16:44Z (GMT). No. of bitstreams: 2 Tese - Thiago Rodrigues Cavalcante - 2018.pdf: 2200622 bytes, checksum: 39118adda6b7ceff14825da442b5be57 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-02-27
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
In the first two chapters, we consider the following problem \begin{equation*} \left \{ \begin{array}{rcll} \alpha \Delta^{2} u + \beta \Delta u & = & f(x,u)\, & \mbox{in}\,\, \Omega \\ u = \Delta u & = & 0 \, &\mbox{on } \,\,\, \partial \Omega, \end{array} \right. \end{equation*} where $\displaystyle{\Delta^{2} u = \Delta(\Delta u)-\,\mbox{biharmonic (fourth-order operator)}}$, $\alpha > 0$ and $ \beta \in \R.$ The subset $\displaystyle{ \Omega \subset \mathbb{R}^{N}\, (N \geq 4)}$ is as somooth bounded domain and $\displaystyle{ f \in C(\overline{\Omega} \times \mathbb{R},\mathbb{R}) }.$ In each of the results obtained, we will consider different technical hypotheses and characteristics for the nonlinear function $f$ e for the value of the constant $ \beta. $ In the third chapter, we study an equation of the concave type super linear, of the form: \begin{equation} \left \{ \begin{array}{rcll} \alpha \Delta^{2} u + \beta \Delta u & = & a(x)|u|^{s-2}u + f(x,u)\, & \mbox{in}\,\, \Omega \\ u = \Delta u & = & 0 \, &\mbox{on} \,\,\, \partial \Omega, \end{array} \right. \end{equation} where $\beta \in (-\infty, \alpha \lambda_{1}).$ We consider that the function $a \in L^{\infty} (\Omega)$ and $s \in (1,2).$ Finally, in the last chapter we will consider a fourth order problem in which nonlinearity is also of the convex concave type. More precisely, we study the following class of equations: \begin{equation} \left\{ \begin{aligned} \alpha \Delta^{2} u + \beta \Delta u & = \mu a(x)|u|^{q-2}u + b(x)|u|^{p-2}u&\,\,\,\,\ &\mbox{in}\,\, \Omega \\ u = \Delta u & = 0 & \,\,\,\,&\mbox{on} \,\, \partial \Omega, \end{aligned} \right. \end{equation} where the parameter $ \mu > 0 $, the powers $ 1
Nos dois primeiros Capítulos, consideramos a seguinte classe de problemas: \begin{equation*} \left \{ \begin{array}{rcll} \alpha \Delta^{2} u + \beta \Delta u & = & f(x,u)\, & \mbox{em}\,\, \Omega \\ u = \Delta u & = & 0 \, &\mbox{sobre } \,\,\, \partial \Omega, \end{array} \right. \end{equation*} onde $\displaystyle{\Delta^{2} u = \Delta(\Delta u)-\,\mbox{biharmônico},}$ $\alpha > 0$ e $ \beta \in \R.$ O subconjunto $\displaystyle{ \Omega \subset \mathbb{R}^{N}\,(N \geq 4)}$ será um domínio limitado e a não linearidade $\displaystyle{ f \in C(\overline{\Omega} \times \mathbb{R},\mathbb{R}) }.$ Em cada um dos resultados obtidos, consideraremos hipóteses técnicas e características diferentes para a função não linear $f$ e para o valor da constante $\beta.$ No terceiro Capítulo, estudamos uma equação do tipo côncavo super linear, da forma: \begin{equation*} \left \{ \begin{array}{rcll} \alpha \Delta^{2} u + \beta \Delta u & = & a(x)|u|^{s-2}u + f(x,u)\, & \mbox{em}\,\, \Omega \\ u = \Delta u & = & 0 \, &\mbox{sobre } \,\,\, \partial \Omega, \end{array} \right. \end{equation*} onde $\alpha > 0$ e $\beta \in (-\infty, \alpha \lambda_{1})$. Consideramos que a função $a \in L^{\infty}(\Omega)$ e que $s \in (1,2).$ Por fim, no último Capítulo vamos considerar um problema de quarta ordem no qual a não linearidade é do tipo côncavo-convexa. Mais precisamente, estudamos a seguinte classe de equações: \begin{equation*} \left\{ \begin{aligned} \alpha \Delta^{2} u + \beta \Delta u & = \mu a(x)|u|^{q-2}u + b(x)|u|^{p-2}u&\,\,\,\,\ &\mbox{em}\,\, \Omega \\ u = \Delta u & = 0 & \,\,\,\,&\mbox{sobre} \,\, \partial \Omega, \end{aligned} \right. \end{equation*} onde o parâmetro $\mu > 0$ e as potências $ 1 < q < 2 < p < 2 N /(N - 4)$. Adicionalmente supomos que as funções $\displaystyle{a, b : \Omega \rightarrow \mathbb{R} }$ sejam contínuas podendo trocar de sinal em $\Omega$ e que $a^{+},b^{+} \neq 0.$
48
Lancien, Mélanie. "Etude du rôle des gènes homologues Tmem176a et Tmem176b dans le système immunitaire : immunité de type 17 et biologie des cellules dendritiques." Thesis, Nantes, 2019. http://www.theses.fr/2019NANT1011.
Full textAbstract:
Notre système immunitaire assure la protection et régule l'homéostasie de l'organisme. Pour cela, il se compose d'une réponse immune innée et d'une réponse adaptative. Notre équipe a identifié TMEM176A et TMEM176B, deux protéines transmembranaires de structure et de fonction identiques. Ces protéines sont des canaux ioniques intracellulaires qui ont la particularité d'être fortement exprimés à la fois dans les cellules RORyt+ et dans les cellules dendritiques. La génération d'une souris déficiente pour ces deux gènes nous a permis d'étudier leur rôle. Nous avons mis en évidence que l'absence de Tmem176a et b n'impacte pas la génération des cellules RORyt+, ni leur capacité à sécréter des cytokines. L'étude de deux modèles de colite nous a permis de confirmer que Tmem176a et b ne semblent pas avoir un rôle majeur dans ces cellules. A l'inverse l'étude épigénétique des cellules dendritiques déficientes a mis en évidence une dérégulation de la voie de présentation du CMH de classe If. Nous avons mis en évidence une diminution de leur prolifération des lymphocytes T CD4*. En utilisant une technique de microscopie innovante, nous avons observé une localisation préférentielle de TMEM176A et B dans la voie endolysosomale et notamment dans le compartiment MIIC impliqué dans la présentation des antigènes par la voie du CMH de classe 11. Ainsi ces résultats suggèrent que dans les cellules dendritiques, Tmem176a et b participent à la présentation des antigènes et à l'activation des lymphocytes T CD4* naïfsOur immune system provides protection and regulates the homeostasis of the organism. For this, it consists of an innate immune response and an adaptive response. Our team has identified TMEM176A and TMEM176B. These proteins are intracellular ion channels that are particularly expressed both in RORyt+ cells and in dendritic cells. The generation of a deficient mouse for these two genes allowed us to study their role. We have demonstrated that the absence of Tmem 176a and b does not affect the generation of RORyt+ cells, neither their ability to secrete cytokines. The study of two models of colitis allowed us to confirm that Tmem176a and b seem to be dispensable in these cells. However, the epigenetic study of deficient dendritic cells put in evidence a deregulation of the MHC class li presentation pathway. We have detected a decrease of the proliferation of CD4+ T. Using an innovative microscopy technique, we have observed a preferential localization of TMEM176A and B in the endo-lysosomal pathway and in particular in the MIIC compartment involved in the presentation of antigens by the MHC class li pathway. Thus, these results suggest that in dendritic cells, Tmem 176a and b are involved in the presentation of antigens and activation of naïve CD4* T cells
49
Anjos, Zenaide Peixoto dos. "A tipologia textual do dissertativo: tipo de texto da classe opinativa e suas condições de produção discursiva." Pontifícia Universidade Católica de São Paulo, 2005. https://tede2.pucsp.br/handle/handle/14579.
Full textAbstract:
Made available in DSpace on 2016-04-28T19:34:38Z (GMT). No. of bitstreams: 1
ZenaideDosAnjos.pdf: 641331 bytes, checksum: e7606135e5410e6a59c0ddc5785ef158 (MD5)
Previous issue date: 2005-06-13Secretaria do Estado e Educação
This dissertation is situated in the area of text typology and is grounded upon the Varieties of Discourse line of research. It has, for its theme, the dissertational text, its textual schemes and respective changes, which arise from the evaluation of discursive conditions of production. The general purpose of this work is to contribute to the development of textual typologies. As specific objectives, it: 1. describes the textual schemes of the dissertational text of 1 Thesis and 2 Theses; 2. examines the conditions of discursive production of text types; 3. verifies the organization of opinion on the analyzed texts; 4. examines the uses of arguments of necessity, possibility, probability, legitimacy, and reinforcement.This work s guiding hypothesis was: the dissertational text is a type of text that belongs to the opinioned class. This type changes, depending on the conditions of discursive production. The theoretical grounding is situated in Text Linguistics and the Critical Analysis of Discourse with a socio-cognitive slant.The material analyzed was selected from the manual Dissertação [ Dissertation ], by Agnelo Pacheco (1988). The procedure of analysis was theoretical-analytical. The results indicated that: 1. there are two textual schemes: the dissertational text of 1 Thesis and of 2 Theses; 2. these textual schemes are changes connected to the conditions of discursive production; 3. the textual organization of opinion arises from the projection of an evaluative scale, projected into the textual referent. Thus, the change of focus, given on the referent, is important for creating a new state of things to be evaluated; 4. the use of the arguments is relative to the modal evaluation that runs from necessity to possibility passing through probability, with arguments of legitimacy and reinforcement being constructed.It can be concluded that text types are grouped into a class of text, which is defined by properties common to the texts grouped by such a class. It becomes necessary to seek the class of text in order to be able to verify which types of texts define it, based on the discursive varieties
Esta dissertação situa-se na área de tipologia de textos e está fundamentada na linha de pesquisa Variedades do Discurso. Tem-se por tema o texto dissertativo , seus esquemas textuais e respectivas mudanças, decorrentes da avaliação de condições de produção discursiva. O Objetivo geral deste trabalho é contribuir para o desenvolvimento de tipologias textuais. Tem-se por objetivos específicos: 1. descrever os esquemas textuais do dissertativo de 1 Tese e de 2 Teses; 2. examinar as condições de produção discursiva dos tipos de texto;3. verificar a organização da opinião nos textos analisados; 4. examinar os usos de argumentos de necessidade, de possibilidade, de probabilidade, de legitimidade e de reforço.A hipótese orientadora da investigação foi: o texto dissertativo é um tipo de texto que pertence à classe opinativa. Este tipo se modifica, dependendo das condições de produção discursiva.A fundamentação teórica situa-se na Lingüística de Texto e na Análise Crítica do Discurso com vertente sócio-cognitiva.O material de análise foi selecionado do manual Dissertação, de Agnelo Pacheco (1988). O procedimento de análise foi teórico-analítico. Os resultados obtidos indicaram que: 1. há dois esquemas textuais: o dissertativo de 1 Tese e de 2 Teses; 2. esses esquemas textuais são modificações relativas às condições de produção discursiva; 3. a organização textual da opinião decorre da projeção de uma escala avaliativa, projetada no referente textual. Dessa forma, a mudança de foco, dado no referente, é importante para criar um estado novo de coisas a serem avaliadas; 4. o uso dos argumentos é relativo à avaliação modal que percorre da necessidade à possibilidade passando pela probabilidade, e se constroem argumentos de legitimidade e de reforço.Conclui-se que os tipos de textos estão agrupados em uma classe de texto, que se define por propriedades comuns aos textos agrupados por tal classe. Faz-se necessário buscar a classe de texto para se poder verificar quais tipos de textos a definem, a partir das variedades discursivas
50
Nascimento, Andrey Fabricio Ziem 1988. "Aspectos estruturais dos eventos moleculares associados à regulação e seletividade do transporte de cargas celulares pelas miosinas de classe V humanas." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/318096.
Full textAbstract:
Orientador: Mário Tyago MurakamiTexto em português e inglês
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Biologia
Made available in DSpace on 2018-08-25T11:13:33Z (GMT). No. of bitstreams: 1 Nascimento_AndreyFabricioZiem_D.pdf: 59337766 bytes, checksum: b26927ac8e7083ceb39d09631e1b378f (MD5) Previous issue date: 2014
Resumo: As miosina de classe V, amplamente distribuídas em sistemas eucarióticos desde leveduras até vertebrados, são um dos mais caracterizados motores moleculares da superfamília das miosinas e desempenham um papel chave no transporte intracelular de vesículas, organelas e RNA mensageiro. As miosinas V consistem de duas cadeias pesadas idênticas que se dimerizam através da formação de uma estrutura coiled-coil e sua arquitetura tridimensional pode ser dividida em três distintos domínios: a porção N-terminal ou domínio motor que apresenta os sítios de interação com ATP e actina; a porção central ou pescoço formada por 6 domínios IQ, responsável pela regulação e interação com calmodulina; e a porção C-terminal que inclui a região coiled-coil e o domínio de ligação de cargas celulares também conhecido como domínio cauda globular (GTD). Uma das mais importantes questões pertinentes até hoje é como ocorre a sinalização e a interação entre as vesículas/organelas e o domínio globular C-terminal das miosinas V. Neste estudo, foram resolvidas as estruturas dos domínios cauda globular das miosinas Va, Vb e Vc humanas, revelando pequenas mudanças estruturais que levam a diferenciação funcional e, ainda, um novo mecanismo redox que controla a dimerização do GTD de forma independente do coiled-coil, que é exclusivo para a miosina Vc. As alterações estruturais induzidas pela fosforilação do GTD também foram exploradas, mostrando que o estado fosforilado possuí uma flexibilidade menor, podendo estar envolvido na regulação do estado inibido e/ou reconhecimento de cargas nucleares. Além disso, os sítios de ligação a carga e ao domínio motor foram estruturalmente anotados, indicando uma conservação de resíduos envolvidos na interação com adaptadores para o transporte de peroxissomos e proporcionando detalhes da inibição da atividade motora pelo GTD. Estes resultados contribuem para a compreensão dos determinantes estruturais para o transporte de carga, autoinibição e mecanismos de regulação dos motores de miosina V. Além dos resultados obtidos com a cauda globular, alguns problemas cristalográficos como o problema da fase, pseudosimetria e ordem-desordem cristalina foram abordados (descrito nos Apêndices 9.3 e 9.4). Patologias cristalinas como ordem-desordem parcial ou total podem estar relacionadas à valores elevados de Rfactor e Rfree, mesmo após a conclusão do refinamento, ou mesmo à dificuldade de resolução da estrutura. Problemas de ordem-desordem rotacional parcial e pseudosimetria foram observados em cristais de uma hidrolase glicosídica (TpAbn). Nesse caso, valores satisfatórios de Rfactor e Rfree foram obtidos somente após um minucioso processamento dos dados e redução da simetria. Além disso, os dados dos GTDs das miosinas de classe V foram utilizados como caso teste para o desenvolvimento de novas metodologias de faseamento ab initio em média e baixa resolução (2 ¿ 3 Å) em colaboração com o grupo de Prof. Dr. Isabel Usón (IBMB, Barcelona, Espanha). Utilizando o programa ARCIMBOLDO foi possível resolver a estrutura do GTD-MioVb a 2,1 Å utilizando apenas duas hélices de poli-Ala de 22 resíduos (7,5% do conteúdo da unidade assimétrica), mostrando o grande potencial desta metodologia para dados de média a baixa resolução
Abstract: The class V myosins (MyoVs) are widely distributed in eukaryotic organisms from yeast to vertebrates, being one of the most characterized molecular motors of the myosin superfamily. MyoVs play a central role in the intracellular transport of vesicles, organelles, messenger RNA and proteins. MyoVs consist of a coiled-coil-stabilized dimer of two identical heavy chains and their general structure can be divided into three distinct domains: the N-terminal portion or motor domain which binds both actin and ATP; the central portion or neck formed by 6 IQ domains, responsible for the regulation and interaction with calmodulin; and the C-terminal portion that includes the coiled-coil region and the cargo-binding domain also known as globular tail domain (GTD). One of the most important issues still obscure so far is how occurs the interaction between the cargoes and the globular C-terminal domain of myosin V. Here, we have solved the globular tail domain structures of the three human MyoV paralogs (Va, Vb and Vc), revealing subtle structural changes that drive functional differentiation and a novel redox mechanism controlling the GTD dimerization process, which is unique for the MyoVc subclass. The structural changes induced by the phosphorylation of GTD have also been explored, showing that the phosphorylated state is less flexible and may be involved in the regulation of the auto-inhibition mechanism and/or in the recognition of nuclear cargoes. Moreover, the cargo- and motor-binding sites were structurally assigned indicating the conservation of residues involved in the recognition of adaptors for peroxisome transport and providing high-resolution insights into motor domain inhibition by GTD. These results contribute to the understanding of the structural requirements for cargo transport, auto-inhibition and regulatory mechanisms in myosin V motors. In addition to the results obtained with the GTD structures, some crystallographic problems, such as the phase problem, pseudosymmetry and lattice order-disorder were discussed (described in Appendices 9.3 and 9.4). Crystal pathologies such as partial or total order-disorder may be related to high values of Rfactor and Rfree, even at late stages of crystallographic refinement, or even hindering the structure determination. Problems of partial rotational order-disorder and pseudosymmetry were found in TpAbn crystals where only after a careful data processing and symmetry reduction was possible to obtain satisfactory values of residuals (Rfactor and Rfree). Moreover, data from MyoV GTDs were used as a test case for the development of new methodologies for ab initio phasing at medium and low resolution (2 ¿ 3 Å) in collaboration with the group of Prof. Dr. Isabel Usón (IBMB, Barcelona, Spain). Using the program ARCIMBOLDO we have solved the GTD-MioVb structure at 2.1 Å using only two 22-residue-long poly-Ala helix fragments (7.5% of asymmetric unit content), showing the great potential of this methodology for data at medium to low resolution
Doutorado
Bioquimica
Doutor em Biologia Funcional e Molecular