• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 62
  • 27
  • 6
  • 1
  • Tagged with
  • 94
  • 53
  • 15
  • 13
  • 13
  • 12
  • 9
  • 8
  • 8
  • 7
  • 7
  • 7
  • 7
  • 7
  • 7
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Uncontrolled manifolds et réflexes à courte latence dans le contrôle moteur de la parole : une étude de modélisation / Uncontrolled manifolds and short-delay reflexes in speech motor control : a modeling study

Szabados, Andrew 27 November 2017 (has links)
Ce travail exploite un modèle biomécanique de la production de la parole comme sujet de référence pour étudier plusieurs phénomènes liés à l'adaptabilité et à la stabilité du contrôle moteur de la parole, en particulier l'équivalence motrice et le contrôle postural.La première partie de cette thèse s’intéresse au phénomène de l'équivalence motrice. L'équivalence motrice est une caractéristique essentielle du contrôle moteur de la parole, car les locuteurs doivent s'adapter constamment à des contextes phonétiques toujours différents et à conditions variables de production de la parole. Le concept de « Uncontrolled Manifold » (UCM) offre un cadre théorique pour comprendre les mécanismes sous-jacents à l'équivalence motrice : il propose de représenter la coordination entre les variables de contrôle moteur en deux sous-espaces séparés, un dans lequel tout changement des variables de contrôle affectent la sortie et un autre dans lequel ces changements n'influencent aucunement la sortie.Ce concept est développé et étudié pour la production de la parole en utilisant un modèle biomécanique 2D du conduit vocal. D'abord, une représentation des UCM linéarisées basée sur des matrices de projection orthogonale est proposée. Les UCM de différentes configurations du conduit vocal des 10 voyelles orales françaises sont ensuite caractérisées en étudiant les réponses aux perturbations de leurs commandes. On étudie alors si chaque catégorie phonétique, telle que les phonèmes, les voyelles antérieures/postérieures, ou les voyelles arrondies/non-arrondies, peut être caractérisée par une UCM unique ou si les UCM varient considérablement entre les différents représentants de chacune de ces classes. On a constaté que les UCM linéarisées, celles qui sont spécifiquement calculées pour chaque configuration du conduit vocal, mais aussi celles, plus globales, des classes phonétiques, permettent une réponse efficace aux perturbations des commandes. Cela suggère que des stratégies équivalentes d'équivalence motrice peuvent être mises en œuvre dans chacune de ces classes et que les UCM en fournissent des caractérisations exploitables. Des suggestions sont faites pour de futurs travaux pour déterminer quelles classes pourraient être utilisées dans la pratique.La deuxième partie étudie dans quelle mesure le contrôle postural de la langue exploit des mécanismes passifs - tels que les propriétés mécaniques et élastiques intrinsèques de la langue- ou des réflexes à faible latence - comme le réflexe d’étirement.Une perturbation en force a été appliquée au modèle biomécanique 2D, dans laquelle la langue est tirée vers l'avant par une force exercée sur le corps de la langue à l'aide d'un robot relié à la partie supérieure de la lame de la langue. Les simulations ont été comparées à des données expérimentales recueillies au Gipsa-lab dans des conditions similaires.Cette perturbation a été simulée avec différentes valeurs du paramètre qui dans le modèle module le feedback induit par l’étirement des fibres musculaires. Les résultats ont montré un effet de rebond dans les mouvements de la langue suite à la perturbation qui est imputable au mécanisme réflexe. Étant donné qu'un rebond similaire est observé dans les données expérimentales sur des sujets humains, ce résultat suggère qu’un mécanisme réflexe joue un rôle significatif dans la stabilité posturale de la langue. Les caractéristiques temporelles de ce réflexe ont été analysées et il s’avère que la précision du modèle est insuffisante pour tirer des conclusions sur l'origine, corticale ou spinale, de ce réflexe. Des pistes pour de futures études expérimentales sont proposées. / This work makes use of a biomechanical model of speech production as a reference subject to address several phenomena related to the adaptability and stability of speech motor control, namely motor equivalence and postural stability. The first part of this thesis is related to the phenomenon of motor equivalence. Motor equivalence is a key feature of speech motor control, since speakers must constantly adapt to various phonetic contexts and speaking conditions. The Uncontrolled Manifold (UCM) idea offers a theoretical framework for considering motor equivalence in which coordination among motor control variables is separated into two subspaces, one in which changes in control variables modify the output and another one in which these changes do not influence the output.This concept is developed and investigated for speech production using a 2D biomechanical model. First, a representation of the linearized UCM based on orthogonal projection matrices is proposed. The UCMs of various vocal tract configurations of the 10 French oral vowels are then characterized using their command perturbation responses. It is then investigated whether each phonetic class such as phonemes, front/back vowels, rounded/un-rounded vowels can be characterized by a unique UCM, or whether the UCMs vary significantly across representatives of these different classes. It was found that linearized UCMs, especially those that are specifically computed for each configuration, but also across many of the phonetic classes allow for a command perturbation response that is effective. This suggests that similar motor equivalence strategies can be implemented within each of these classes and that UCMs provide a valid characterization of an equivalence strategy. Further work is suggested to elaborate which classes might be used in practice.The second part addresses the question of the degree to which postural control of the tongue is accomplished through passive mechanisms - such as the mechanical and elastic properties of the tongue itself - or through short-latency reflexes - such as the stretch reflex.A specific external force perturbation, was applied to the 2D biomechanical model , namely one in which the tongue is pulled anteriorly using specific force profile exerted on the tongue body using a force effector attached to the superior part of the tongue blade. Simulation results were compared to experimental data collected at Gipsa-lab under similar conditions.This perturbation was simulated with various values of the model's parameter modulating the reflex strength (feedback gain). The results showed that a perturbation rebound seen in simulated data is due to a reflex mechanism. Since a compatible rebound is seen in data from human subjects, this can be taken as evidence of a reflex mechanism being involved in postural stability of the tongue. The time course of the mechanisms of this reflex, including the generation of force and the movement of the tongue, were analyzed and it was determined that the precision of the model was insufficient to make any conclusions on the origin of this reflex (whether cortical or brainstem). Still, numerous experimental directions are proposed.
62

Monoidal equivalence of locally compact quantum groups and application to bivariant K-theory / Equivalence monoïdale de groupes quantiques localement compacts et application à la K-théorie bivariante

Crespo, Jonathan 20 November 2015 (has links)
Les travaux présentés dans cette thèse concernent l'équivalence monoïdale de groupes quantiques localement compacts et ses applications. Nous généralisons au cas localement compact et régulier, deux résultats importants concernant les actions de groupes quantiques compacts. Soient G1 et G2 deux groupes quantiques localement compacts réguliers et monoïdalement équivalents. Nous développons un procédé d'induction des actions qui permet d'établir une équivalence canonique des catégories dont les objets sont les actions continues de G1 et G2 sur les C*-algèbres. Comme application de ce résultat, nous obtenons une équivalence canonique des catégories de KK-Théorie équivariante pour G1 et G2. Nous introduisons et étudions une notion d'actions sur les C*-algèbres, de groupoïdes quantiques mesurés sur une base finie. La preuve de la seconde équivalence s'appuie alors sur une version du théorème de bidualité de Takesaki-Takai pour les actions de groupoïdes quantiques mesurés sur une base finie. Enfin, nous terminons en définissant et étudiant une notion de modules hilbertiens équivariants pour des actions de groupoïdes quantiques mesurés sur une base finie. / This dissertation deals with the notion of monoidal equivalence of locally compact quantum groups and its applications. We generalize to the case of regular locally compact quantum groups, two important resultst concerning the actions of compact quantum groups. Let G1 and G2 be two regular locally compact quantum groups monoidally equivalent. We develop an induction procedure and we build an equivalence of the categories, whose objects are the continuous actions of G1 and G2 on C*-algebras. As an application of this result, we obtain a canonical equivalence of the categories of equivariant KK-theory for actions of G1 and G2. We introduce and investigate a notion of actions on C*-algebras of mesured quantum groupoids on a finite basis. The proof of the second equivalence relies on a version of the Takesaki-Takai duality theorem for continuous actions of measured quantum groupoids on a finite basis. We conclude by defining and studying a notion of equivariant Hilbert modules for actions of mesured quantum groupoids on a finite basis.
63

Étude historique, épistémologique et descriptive de la synonymie / A historical, epistemological and descriptive study of synonymy

Doualan, Gaëlle 21 November 2015 (has links)
Cette thèse se donne pour objectif d’étudier les apories théoriques et épistémologiques liées à la synonymie. Pour l’essentiel, ces problèmes se concentrent dans la faiblesse théorique de la notion par rapport au succès empirique dont elle jouit dans l’usage et les dictionnaires. Cette faiblesse théorique prend racine dans l’histoire de la notion : la synonymie a été définie en premier lieu par Aristote et a subi de nombreuses transformations au cours des siècles. La définition scientifique de la synonymie s’est constituée à partir de la synonymie distinctive des synonymistes. Les notions fondatrices de la linguistique moderne ont été appliquées à la synonymie alors qu’elle a été élaborée avant leur conception. La synonymie se plie mal aux cadres théoriques de la linguistique moderne d’où des apories. L’approche distinctive centre l’étude de la synonymie sur les différences de sens alors qu’elle repose sur des équivalences sémantiques approchées. L’histoire de la notion aide à éclairer les apories et à s’en distancier pour recentrer la notion sur les équivalences puisqu’elles rendent possibles la synonymie et sur le discours qui est le lieu de l’émergence du sens. Cela rompt avec la synonymie réduite à la recherche de différences de sens entre items lexicaux synonymes. Une approche onomasiologique et textuelle est mise en place pour proposer un nouveau cadre d’étude de la synonymie. Cette approche se manifeste par la détection de réseaux lexicaux témoignant de relations d’équivalence qui émergent en contexte. Pour tester cette approche, les réseaux lexicaux du vocabulaire du vice et de la vertu sont étudiés dans des textes du XVIIe siècle traitant de thèmes moraux. / This thesis studies theoretical and epistemological aporia of synonymy. These problems are concentrated in the theoretical weakness of synonymy in comparison with its empirical success both in usage and dictionaries. This theoretical weakness originates in the history of the notion: at first, synonymy had been defined by Aristoteles and was afterwards subjected to transformations during the following centuries. With the beginning of modern linguistics, scientific definition of synonymy had been built from the distinctive synonymy of French synonymists. The fundamental notions of modern linguistics, such as the opposition between language and discourse, had been applied to synonymy whereas it had been elaborated before their conception. Synonymy can hardly be submitted to modern linguistics theoretical frameworks without generating theoretical difficulties. The distinctive approach centers the study of synonymy on semantic differences whereas synonymy is based on approximate semantic equivalence. History of synonymy sheds light on aporia and helps to distance from it and to center the notion on the semantic equivalence because they make synonymy possible and on discourse because that is where sense emerges. This breaks off with the synonymy which is solely based on semantic differences between synonymic lexical items. An onomasiological and textual approach is set up to propose a new scientific framework to synonymy: this approach consists in the detection of lexical networks showing semantic relations appearing in context. To test this approach, lexical networks of vice and virtue vocabulary are studied in seventeenth century French texts treating moral themes.
64

Interprétation et traduction d’expressions figées du français vers le serbe dans un corpus littéraire contemporain / Interpretation and translation of phrasemes from French into Serbian in a corpus of contemporary literature

Ralić, Sara 24 November 2015 (has links)
Cette thèse propose une analyse de l’expression figée en tant que signe linguistique complexe, stable, variable et dynamique et en tant que problème de traduction à partir d’un corpus composé d’œuvres littéraires contemporaines françaises et de leurs traductions serbes. Le discours met en évidence la distance entre la signification du modèle et le sens de l’expression figée sémantiquement accomplie imbriquée dans le texte, dont l’une des réalisations est le défigement qui, lui, ne consiste simplement pas à renverser les critères syntaxiques, mais à élaborer un nouveau signifié de synthèse au service des stratégies discursives de l’énonciateur. Ce travail identifie les mécanismes linguistiques propres à l’expression figée et incontournables dans l’acte de traduire, ainsi que les incompatibilités entre les problèmes de sa traduction et certaines propriétés qui lui sont attribuées. Les problèmes que pose la traduction de l’expression figée dans le texte littéraire, dont elle façonne la progression narrative, excèdent la dichotomie entre la solution éthique et la solution ethnologique. Ils relèvent de la façon dans le locuteur établit le lien entre la conceptualisation inhérente à l’expression figée, elle-même construite sur la base des concepts préexistants - d’où l’image mentale et la charge connotative -, et la réalité à laquelle il l’applique. Sa traduction, eu égard à sa complexité pragma-sémantique, exige forcément une approche sourcière dans la phase interprétative et une solution cibliste. / This thesis proposes an analysis of a phraseme as a complex, stable, variable and dynamic linguistic sign, and as a translation problem based on a corpus of contemporary French literature and its Serbian translations. The discourse highlights the distance between the meaning of a model and the meaning of a phraseme that is semantically accomplished and embedded in a text. One of its possible realizations is a pun that does not only consist in transgressing the syntactic criteria but in developing a new global signified, serving the speaker’s discursive strategies. This work identifies linguistic mechanisms specific to lexical frozenness that are inevitable in the act of translation, and incompatibilities between the problems of translation and properties of a given phraseme. Its translation problems in a literary text, whose narrative progression it shapes, exceed the dichotomy between a domesticated translation and a foreignized translation. Translation problems result from the way in which the speaker establishes the link between the conceptualization inherent to a phraseme, built itself on the basis of pre-existing concepts - hence the mental image and the connotative surplus value - and the reality to which the speaker applies it. Its translation, given its pragma-semantic complexity, necessarily requires a source-oriented approach in the interpretative phase and a target-oriented solution.
65

Lambdas-théories probabilistes / Probabilistic lambda-theories

Leventis, Thomas 08 December 2016 (has links)
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéresserons à certaines variantes non déterministes, et nous nous pencherons plus particulièrement sur le cas probabiliste.L'étude du lambda-calcul probabiliste n'est pas nouvelle, mais les travaux précédents considéraient le comportement probabiliste comme un effet de bord. Notre objectif est de présenter ce calcul d'une manière plus équationnelle, en intégrant le comportement probabiliste à la réduction.Tout d'abord nous définissons une sémantique opérationnelle déterministe et contextuelle pour le lambda-calcul probabiliste en appel par nom. Afin de traduire la signification de la somme nous définissons une équivalence syntaxique dans notre calcul, dont nous démontrons qu'il ne déforme pas la réduction: considérer une réduction modulo équivalence revient à considérer simplement le résultat du calcul modulo équivalence. Nous prouvons également un résultat de standardisation.Dans ce cadre nous définissons une notion de théorie équationnelle pour le lambda-calcul probabiliste. Nous étendons certaines notions usuelles, et en particulier celle de bon sens. Cette dernière se formalise facilement dans un cadre déterministe mais est bien plus complexe dans le cas probabiliste.Pour finir nous prouvons une correspondance entre l'équivalence observationnelle, l'égalité des arbres de Böhm et la théorie cohérente sensée maximale. Nous définissons une notion d'arbres de Böhm probabilistes dont nous prouvons qu'elle forme un modèle. Nous démontrons ensuite un résultat de séparabilité disant que deux termes avec des arbres de Böhm distincts ne sont pas observationnellement équivalents. / The lambda-calculus is a way to formalize the notion of computation. In this thesis we will be interested in some of these variants introducing non deterministim, and we will focus mostly on a probabilistic calculus.The probabilistic lambda-calculus has been studied for some time, but the probabilistic behaviour has always been treated as a side effect. Our purpose is to give a more equational representation of this calculus, by handling the probabilities inside the reduction rather than as a side effect.To begin with we give a deterministic and contextual operational semantics for the call-by-name probabilistic lambda-calculus. To express the probabilistic behaviour of the sum we introduce a syntactic equivalence in our calculus, and we show it has little consequence on the calculus: reducing modulo equivalence amount to reducing and then looking at the result modulo equivalence. We also prove a standardization theorem.Then using this operational semantics we define a notion of equational theories for the probabilistic lambda-calculus. We extend some usual notions to this setting, and in particular the sensibility of a theory. This notion is quite simple in a deterministic setting but becomes more complicated when we have a probabilistic computation.Finally we prove a generalization of the equality between the observational equivalence, the Böhm tree equality and the maximal coherent sensible lambda-theory. We give a notion of probabilistic Böhm trees, and prove that this forms a model of the probabilistic lambda-calculus. Then we prove a separability result stating that two terms with different Böhm trees are separable, i.e. are not observationally equivalent.
66

Enseigner les concepts logiques en début d'université dans l'espace mathématique francophone : aspects didactiques épistémologiques et langagiers. Une étude de cas au Cameroun / Teaching of the concepts of logic in francophone mathematics’ area : epistemological, didactic and language aspects. Case study in Cameroon

Sadja kam, Judith 29 November 2013 (has links)
L’objet de notre étude porte sur la logique et le langage à la transition entre le lycée et l’université dans le contexte camerounais. Au Cameroun, dans l’enseignement secondaire, les concepts de logique sont très peu explicités en classe de mathématiques, du fait que leur enseignement n’est pas prescrit par les nouveaux programmes1 officiels. Ce n’est pas le cas de l’enseignement supérieur où un cours de logique formelle sous forme de rappel, est souvent donné en début d’année. Ce cours n’est pas prescrit par les programmes, mais certains enseignants en voient la nécessité. Les résultats de plusieurs travaux ont montré que certaines des difficultés que les étudiants rencontrent dans la pratique des mathématiques proviennent d’une mauvaise maîtrise des concepts de logique. Nous faisons l’hypothèse qu’ils sont insuffisamment pris en charge pa rles enseignants dans la classe de mathématiques, qui pensent qu’ils sont disponibles chez les étudiants, du fait de leur utilisation dans la vie courante d’une part, et progressivement dans l’activité mathématique. La thèse que nous soutenons est que, pour rendre opératoire les concepts de logique chez lesétudiants nouvellement arrivés à l’université, un minimum d’explicitation de ces concepts en relation avec leur usage dans l’activité mathématique est nécessaire pour les apprentissages en mathématiques à tout le moins dans l’enseignement supérieur. Pour défendre notre thèse, nous avons divisé notre travail en deux parties. Dans la première partie, nous présentons des éléments théoriques et analytiques nécessaires à notre travail, et une revue des travaux antérieurs en relation avec notre problématique. La deuxième partie porte sur les résultats d’une expérimentation que nous avons menée avec des élèves de terminale C d’un lycée de Yaoundé 2, et des étudiants de première année de licence de mathématiques de l’Ecole Normale Supérieure de Yaoundé. Elle s’est déroulée en deux temps : nous avons fait passer un questionnaire portant sur la logique et le langage aux élèves et aux étudiants, et à la suite de ce questionnaire, nous avons organisé un module de suivi avec huit étudiants ayant passé ce questionnaire. Le questionnaire nous a permis de repérer certaines conceptions des élèves et des étudiants concernant les concepts de logique,et le module de suivi a permis de provoquer des débats qui permettaient dans certains cas d’affiner nos analyses et nous donnaient des éléments permettant d’identifier des occasions pour expliciter certaines notions. / Our study focuses on logic and language at the transition between high school and university in the Cameroonian context. In Cameroon secondary education, the concepts of logic are paid little attention in mathematics classes, due to the fact that their teaching is not prescribed in the new official syllabuses3. This is not the case of higher education, where a course on formal logic is oftengiven at the beginning of the year to first year university students, with a refreshing purpose. That course is not required in the syllabus, but some teachers see the need. Several scientific studies have shown that some of the difficulties encountered by studentswhile practicing mathematics come from their poor familiarity with concepts of logic. We assume that these students are insufficiently attended to by their teachers who think that the concepts are at their reach, since they are used in everyday life on the one hand, and they are gradually used in mathematical activities, on the other hand. In this thesis, we stand for the point that, for the concepts of logic to become real operational tools to a student who begins university studies, some teaching of these concepts which should address the connections with mathematical activities is necessary, at least as a starting point in higher education studies. To defend our thesis, we have divided our work into two parts which are as follows : In the first part, we present theoretical material necessary to our work as well as other technical tools that will be needed. We also provide a review of previous studies related to our issue. The second part is on an experiment we carried out with students from the Upper Sixth class - science option - of a high school in Yaoundé (Cameroon), and with first year university students of mathematics of the Yaoundé Higher Teachers’ Training College. This experiment had two stages : Firstly, the high school students and the university students filled out a questionnaire on logic and language. Following this, we organized a follow-up module involving 8 students purposely selected from their answers to the questionnaire. This questionnaire enabled us to detect meaningful points on how high school and university students grasp the concepts of logic, and the module helped to start debates which enabled in some cases to refine our analysis, and also provided us with strategic approaches forexplaining certain concepts of logic.
67

Equivalence singulière à la Morita et la cohomologie de Hochschild singulière / Singular equivalence of Morita type and singular Hochschild cohomology

Wang, Zhengfang 07 December 2016 (has links)
L’objet de cette thèse est l’étude des catégories singulières des k-algèbres associatives surun anneau commutatif k. On développe la théorie de Morita pour les catégories singulières. Plus précisément, on propose une définition d’équivalence singulière à la Morita avec niveau, qui généralise la notion d’équivalence stable à la Morita introduite par Michel Broué. On montre qu’une équivalence dérivée de type standard induit une équivalence singulière à la Morita avec niveau. La deuxième partie de cette thèse est l’étude de la cohomologie de Hochschild singulière HH_sg(A,A) c’est-à-dire, l’espace des morphismes de A vers A[i] dans la catégorie singulière Dsg(A Aop) pour tous les nombres entiers i. Similaire à la cohomologie de Hochschild HH_(A,A), on montre que la cohomologie de Hochschild singulière HH_sg(A,A) est une algèbre de Gerstenhaber et donne une interprétation pour le crochet de Lie sur HH_sg(A,A) du point de vue de la théorie de PROP. On peut associer un complexe de cochaînes, qu’on appelle complexe de cochaînes de Hochschild singulières, C_sg(A,A) qui calcule la cohomologie de Hochschild singulière HH_sg(A,A). Alors on étudie une structure algébrique supérieure (e.g. l’algèbre de B1) sur C_sg(A,A) et propose une version singulière d’une conjecture de Deligne. L’objet de la troisième partie de cette thèse est de montrer que la structure d’algèbre de Gerstenhaber sur la cohomologie de Hochschild singulière est invariante par équivalences dérivées et équivalences singulières à la Morita avec niveau. L’idée de cette démonstration est analogue à l’approche développée par Keller lorsqu’il démontre que la structure d’algèbre de Gerstenhaber sur la cohomologie de Hochschild est invariante par équivalences dérivées. Similaire à la démonstration par Keller, on réalise HH_sg(A,A) avec le crochet de Lie comme une algèbre de Lie graduée du groupe algébrique gradué associé au groupe de Picard singulière sgDPic(A). / In this thesis, we are concerned with some aspects of singular categories of unitalassociative k-algebras over a commutative ring k. First, we develop a Morita theory for singular categories. Analogous to the classical Morita theory, we propose a definition of singular equivalence of Morita type with level. This follows and generalizes a definition of stable equivalence of Morita type introduced by Michel Broué. A derived equivalence of standard type induces a singular equivalence of Morita type with level. Second, we study the Hom-space from A to A[i] in the singular category Dsg(AkAop) of the enveloping algebra AkAop, where A is an associative k-projective k-algebra and i is any integer. Recall that the i-th Hochschild cohomology group HHi(A,A) can be realized as the Hom-space from A to A[i] in the bounded derived category Db(A k Aop). From this motivation, we call HomDsg(AkAop)(A,A[i]) the i-th singular Hochschild cohomology group and denote this group by HHi sg(A,A). Analogous to the Hochschild cohomology ring HH_(A,A), we prove that there is a Gerstenhaber algebra structure on the singular Hochschild ring HH_sg(A,A) and provide an interpretation of the Lie bracket from the point of view of PROP theory. We also associate a cochain complex, which we call singular Hochschild cochain complex, C_sg(A,A) to the singular Hochschild cohomology. Thenwe study the higher algebraic structures (e.g. B1-algebra) on C_sg(A,A) and propose asingular version of the Deligne conjecture. Following Keller’s approach which was developed for derived equivalences, we establish the invariance of the Gerstenhaber algebra structure which we defined on the singular Hochschild cohomology under singular equivalence of Morita type with level. In this proof, we define the singular derived Picard group sgDPic(A) of an associative algebra A and develop what we call a singular infinitesimal deformation theory. Then we realize HH_sg(A,A) as the graded Lie algebra of the ‘graded algebraic group’ associated to sgDPic(A).
68

La compétence procédurale des États-membres de l'Union Européenne / Procedural competence of the European Union members states

Couronne, Vincent 03 July 2015 (has links)
L'autonomie procédurale est la dénomination erronée du phénomène réel qu'est la subsidiarité juridictionnelle. La I agi que veut que I' on parie a, termes de compétences, puisque I a subsidiarité régule leur exercice entre les États membres et l'Union. En matière de subsidiarité juridictionnelle relative aux modalités procédurales de mire en œuvre du droit de l'Union, il s’agit ainsi de compétence procédurale. La conséquence majeure de ce glissement notionnel est une relecture de l'ensemble de la jurisprudence de la Cour dans ce domaine. Cette relecture donne à voir plusieurs éléments qui, mis bout à bout donnait une nouvelle logique d'ensemble à la jurisprudence de la Cour. Tout d'abord, équivalence et effectivité, qui sont traditionnellement considérées comme régulant cette compétence procédurale du juge national , ne sont pas des principes mais des critères. Il ne sont par ailleurs pas les seuls à exercer cette fonction de régulation de l'exercice de la compétence et sont concurrencés par le droit à un protection juridictionnelle effective. Cette relecture montre alors que l'effectivité est un frein à la primauté du droit d l'Union en droit interne. Par ailleurs, le juge de Luxembourg prend a, compte depuis les premières années des exigence des États membres désireux de s’affranchir ponctuellement du critère d'effectivité. Ce mouvement est en fait une intégration de leur identité nationale, érigée en justification corrigeant le contenu même de cette effectivité. En d'autres termes, les États membres peuvent de plus en plus avancer des motifs d' intérêt général pour justifier le non-respect de l'effectivité du droit de l'Union. / Procedural autonomy is a term often misused when talking about the very real phenomenon “judicial subsidiarity”. It is more accurate to talk in terms of competence considering the principle of subsidiarity regulates the role they play between Member States and the Union. As such, when discussing judicial subsidiarity in relation to the procedural aspects of implementing EU law, one should talk about procedural competence. This change in meaning ultimately leads to a revision of all relevant case law. Such a review brings to light a number of elements that, when juxtaposed, reveal an overarching rationale behind the Court's rare law. First, both equivalence and effectivity, long perceived as regulators of procedural competence national judges, are not in fact principles but criteria. Furthermore, they are not the only regulating criteria as the right to an effective judicial protection also comes into play. It then becomes apparent that effectivity is an obstacle to EU law having primacy over national law. Moreover, for a long time the ECJ has taken into account requests made by Member States to, on occasion, bypass the criteria of effectivity. As such, the ECJ accepts that national identity can serve as corrective justification of the very content of effectivity. In other words, Member States can put forward more and more arguments in the name of “public interest” to justify non-compliance with EU law effectivity .
69

Équivalence, style et insertions incidentes : Traduction des phrases longues d’un livre d’histoire politique / Equivalence, Style and Insertions : Translation of Long Sentences in a Book of Political History

Toräng, Hans Patrik January 2021 (has links)
This essay is an investigation of a translation from French into Swedish of inserted syntagms in sentences occurring in seven extracts chosen from a book in political history: Requiem pour un empire défunt - Histoire de la destruction de l'Autriche-Hongrie by François Fejtö. The extracts belong to different genres: a narrative essay describing Europe before the first World war, treaties, political speeches etc. In French inserted items are often isolated by punctuation marks as commas, semicolons, colons and dashes. The essay examines how different styles have an effect on the translation of these items. A presentation of the theory - styles issues, definitions of terms as "equivalence" and "inserted items" ... - is followed by analyses of the extracts.  It is concluded that the inserted items occur more frequently in the French original than in the translated text. Especially in speeches, descriptive and legal texts, the use of such elements in long sentences is a part of the style. In descriptive and legal sequences the long units and the inserted elements are often maintained in the target text for stylistic reasons. Otherwise, the equivalence of style is mostly assured by the choice of vocabulary, notably when an idiomatic translation requires a reconstruction of the sentence. Another observation is that the comma is frequently used as a cursor of inserted elements in the source text, Sometimes the omission of the comma is compensated by a longer expression in the translation in order to highlight the item.
70

L’authenticité dans le droit de la preuve civile québécois

Amabili-Rivet, Raphaël 02 1900 (has links)
L’authenticité est une notion courante, qui est abondamment utilisée dans notre quotidien; qu’il s’agisse de qualifier un geste, une parole ou une personne. L’authenticité se révèle aussi être une notion fondamentale, voire omniprésente, au sein du droit de la preuve civile québécois. Il s’agit en effet d’un élément pivot, qui apparaît autant au moment d’apprécier la recevabilité de la preuve que d’en évaluer la force probante. Le législateur n’a pourtant jamais réellement tenté d’en tracer les contours ni même d’en proposer une définition. Il ne réfère généralement qu’aux effets de l’authenticité, sans toutefois se pencher sur la conceptualisation même de cette notion. Les conséquences en sont pour le moins consternantes : on ne sait pas tout à fait ce qu’est l’authenticité, mais on sait ce que ce n’est pas. C’est donc dans ce contexte que s’inscrit le présent mémoire. Il vise d’abord à déterminer ce en quoi constitue l’authenticité en droit québécois, sur le plan conceptuel. Pour ce faire, un aperçu des traditions juridiques qui ont exercé une influence marquée sur le régime juridique québécois sera réalisé, en insistant particulièrement sur les principes de la tradition civiliste européenne continentale. L’idée de cette approche historique consiste à déterrer les fondements mêmes de l’authenticité en droit québécois, telle que se concevait cette notion avant la révolution technologique. Une fois ses pourtours bien établis, le présent mémoire se penchera ensuite sur les conséquences qu’a entrainées, sur l’authenticité, la réaction législative québécoise concomitante à la révolution technologique. Sans revisiter en profondeur la notion, nous verrons que le législateur a pris une approche de décomposition fonctionnelle, qui permet de mieux en apprécier les fondements. Cette approche nous permettra, par ailleurs, de confirmer que l’authenticité est une notion polymorphe, qui demeure systématiquement associée à la qualité de la preuve, en tout ou en partie. Des effets sur le plan probatoire peuvent découler de cette qualité, mais seulement en certaines circonstances. / Authenticity is a common notion that is used extensively in our daily lives, whether it is to qualify an act, a word, or a person. Authenticity is also a fundamental, even omnipresent, notion in Quebec law of evidence. It is a pivotal element, which appears as much when assessing the admissibility of evidence as when evaluating its probative value. However, the legislator has never really attempted to define it. He generally refers only to the effects of authenticity, without addressing the conceptualization of this notion. The consequences are, to say the least, dismaying: we don't quite know what authenticity is, but we know what it is not. It is therefore in this context that the present thesis takes place. It aims first to determine what constitutes authenticity in Quebec law, from a conceptual standpoint. To do so, an overview of the legal traditions that have had a marked influence on the Quebec legal system will be provided, with particular emphasis on the principles of the continental European civil law tradition. The idea of this historical approach is to unearth the very foundations of authenticity in Quebec law, as this concept existed before the technological revolution. This paper will then examine the consequences of the legislative reaction to the technological revolution on authenticity. Without revisiting the notion in depth, we will see that the legislator has taken a functional decomposition approach to authenticity, which allows us to better appreciate its foundations. Moreover, this approach will allow us to confirm that authenticity is a notion which, although polymorphic, remains systematically associated with the quality of the evidence. Probative effects could emerge from this quality, but only in certain circumstances.

Page generated in 0.039 seconds