The dissertation analyses the dynamics of the non-democratic Czechoslovak regime during the era of so-called "normalisation". Methodologically, this is a "heuristic case study", an inductive inquiry oriented on finding a new hypothesis, focused on theory building, not theory confirming. Conceptually, it follows a "pluralistic" framework, primarily using Skilling's typology of Soviet-type authoritarianism. The aim of this thesis is to answer the following question: "What mechanism in the Soviet-type authoritarian structure had to change to induce "pluralization" of the regime?" The dissertation is divided into three parts: First, I present a description of an intellectual context of the emergence of "pluralism" in the field of so called "Sovietology". Notably, I focus on the preconditions of the "rise and fall" of totalitarian theory. Employing the "building-block technique", I consider "consultative authoritarianism" in the GDR to formulate a preliminary hypothesis on the connection between degrees of pluralism and the way leaders of the Party exercised cadre policy. The second section, derived from archival research, primarily concentrates on exploring the changes in the nomenklatura system in 1960s and early 1970s. In the third, concluding section, I formulate new hypothesis and present an explanatory...

La conceptualisation des procédures pénales dérogatoires n'est pas chose aisée, si bien que c'est sous un angle à la fois constitutionnel et conventionnel qu'il semble intéressant d'appréhender les critères délimitant naturellement ces procédures particulièrement attentatoires aux droits fondamentaux. Partant de ces approches constitutionnelle, conventionnelle et législative, on parvient ainsi à mieux percevoir les difficultés rencontrées par les autorités policières et judiciaires lorsqu'il s'agit de mettre en oeuvre ces techniques spéciales d'investigation. En effet, si la diversité de ces procédures complexifie leur utilisation, elle risque par conséquent d'encourager une utilisation abusive de celles-ci pour favoriser la recherche de la vérité au détriment des droits de l'homme et des libertés fondamentales de tout un chacun. C'est pourquoi il est nécessaire de repenser la place et l'encadrement des procédures pénales dérogatoires dans les textes fondamentaux pour parvenir à la mise en oeuvre d'une pratique efficace mais avant tout respectueuse des droits de l'homme et des libertés individuelles. Dans la présente étude, les procédures pénales dérogatoires font donc l'objet d'une pensée volontairement modératrice en quête d'un juste milieu entre la liberté et la sécurité, éternelle problématique qui anime depuis son origine la procédure pénale et que le législateur a parfois du mal à résoudre / Conceptualizing derogatory criminal procedures is no easy task, so it is under an angle both constitutional and conventional that it seems interesting to apprehend criteria defining these procedures that particularly violate fundamental rights. From these approaches constitutional, legislative and conventional, it succeeds in better perceive difficulties encountered by police and judicial authorities when it comes to implement these special investigation techniques. While the diversity of these procedures complex their use, it may therefore encourage a misuse of these to foster pursuit of truth at the expense of human rights and fundamental freedoms of everyone. Therefore there is a need reconsider the place and the framing of criminal procedures in the fundamental derogatory texts to achieve the implementation of effective practice and above all respectful of human rights and individual freedoms. In this study, derogatory criminal procedures are therefore subject to a voluntarily restraining thought seeking a balance between freedom and security, eternal question that has raised criminal procedure from its origin and that the legislature may difficult to solve

Dans les années quatre-vingts-dix, on a remarqué ce que l'isomorphisme de Curry-Howard peut être étendu à la logique classique. De nombreux calculs ont été développés pour constituer la base de cette extension. On étudie dans cette thèse quelques uns de ces calculs.<br />On étudie tout d'abord le $\lambda \mu$-calcul simplement typé de Parigot. Parigot a prouvé par des méthodes sémantiques que son calcul est fortement normalisable. Ensuite, David et Nour ont donné une preuve arithmétique de la normalisation forte de ce calcul avec la règle $\mu'$ (règle duale de $\mu$). Cependant, si l'on ajoute au $\lambda \mu \mu'$-calcul la règle de simplification $\rho$, la normalisation forte est perdu. On montre que le $\mu \mu' \rho$-calcul non-typé est faiblement normalisable, et que le $\lambda \mu \mu' \rho$-calcul typé est aussi faiblement normalisable. De plus, on examine les effets d'ajouter quelques autre règles de simplification.<br />On établi ensuite une borne de la longueur des séquences de réduction en $\lambda \mu \rho \theta$-calcul simplement typé.<br />Ce résultat est une extension de celui de Xi pour le $\lambda$-calcul simplement typé.<br />Dans le chapitre suivant on présente une preuve arithmétique de la normalisation forte du $\lambda$-calcul symétrique de Berardi et Barbanera.<br />Enfin, on établi des traductions entre le $\lambda$-calcul symétrique de Berardi et Barbanera et le $\lmts$-calcul, qui est le $\lmt$-calcul de Curien et Herbelin étendu avec une négation. (... qui est obtenu du $\lmt$-calcul de Curien et Herbelin par l'étendre avec une négation).

Historical texts are an important resource for researchers in the humanities. However, standard NLP tools typically perform poorly on them, mainly due to the spelling variations present in such texts. One possible solution is to normalise the spelling variations to equivalent contemporary word forms before using standard tools. Weighted edit distance has previously been used for such normalisation, improving over the results of algorithms based on standard edit distance. Aligned training data is needed to extract weights, but there is a lack of such data. An unsupervised method for extracting edit distance weights is therefore desirable. This thesis presents a multilingual evaluation of an unsupervised method for extracting edit distance weights for normalisation of historical spelling variations. The model is evaluated for English, German, Hungarian, Icelandic and Swedish. The results are mixed and show a high variance depending on the different data sets. The method generally performs better than normalisation basedon standard edit distance but as expected does not quite reach up to the results of a model trained on aligned data. The results show an increase in normalisation accuracy compared to standard edit distance normalisation for all languages except German, which shows a slightly reduced accuracy, and Swedish, which shows similar results to the standard edit distance normalisation.

This thesis describes research into effective voice biometrics (speaker recognition) under mismatched noise conditions. Over the last two decades, this class of biometrics has been the subject of considerable research due to its various applications in such areas as telephone banking, remote access control and surveillance. One of the main challenges associated with the deployment of voice biometrics in practice is that of undesired variations in speech characteristics caused by environmental noise. Such variations can in turn lead to a mismatch between the corresponding test and reference material from the same speaker. This is found to adversely affect the performance of speaker recognition in terms of accuracy. To address the above problem, a novel approach is introduced and investigated. The proposed method is based on minimising the noise mismatch between reference speaker models and the given test utterance, and involves a new form of Test-Normalisation (T-Norm) for further enhancing matching scores under the aforementioned adverse operating conditions. Through experimental investigations, based on the two main classes of speaker recognition (i.e. verification/ open-set identification), it is shown that the proposed approach can significantly improve the performance accuracy under mismatched noise conditions. In order to further improve the recognition accuracy in severe mismatch conditions, an approach to enhancing the above stated method is proposed. This, which involves providing a closer adjustment of the reference speaker models to the noise condition in the test utterance, is shown to considerably increase the accuracy in extreme cases of noisy test data. Moreover, to tackle the computational burden associated with the use of the enhanced approach with open-set identification, an efficient algorithm for its realisation in this context is introduced and evaluated. The thesis presents a detailed description of the research undertaken, describes the experimental investigations and provides a thorough analysis of the outcomes.

Internetdejting har sedan 1990-talet blivit allt mer populärt och har under de senaste åren förflyttats från webbplatser till appar i smartphones som effektiviserar processen att träffa andra individer. En av dessa appar är Tinder som revolutionerat internetdejting genom sitt säregna sätt att matcha ihop användare. Trots att många använder applikationen verkar det inte vara fullt ut accepterat att använda den. Användningen av appen kopplas till liknande förlägenhet som identifierats i forskning om internetdejting på webbplatser. Syftet med uppsatsen är att undersöka hur Tinderanvändare normaliserar sitt användande och de strategier de använder sig av för att normalisera sitt användande och hur man kan förstå sambandet mellan förlägenhet och normalisering. Undersökningen baseras på semistrukturerade intervjuer där 10 studenter vid Uppsala universitet som aktivt använt Tinder. Uppsatsens teoretiska ramverk bygger på stämplingsteori där sociala normer, mjuka och hårda stigman, normalisering, normifering och strategier för att undvika stigma utgör centrala begrepp. Tinder har normaliserats bland dess användare. Men att det är normalt innebär också att de måste bete sig på ett visst sätt när de använder appen. Det är en normalisering inom vissa ramar. De använder strategier för att undvika den förlägenhet som förknippas med kopplingen mellan appen och så kallad hookupkultur eller att man ska ses som desperat i sökandet efter en längre ”seriös” relation. Den förklarade normaliseringen och den upplevda förlägenheten förknippat med stigmatisering hanteras med hjälp av olika strategier och verkar ta sig olika form beroende på vad förlägenheten grundar sig i. Tidigare forskning har visat att internetdejting kopplats till stigma men att detta stigma har avtagit i kraft under de senaste 20 åren. Dock har tidigare forskning inte belyst de normaliseringsprocesser och de strategier som förekommer för att normalisera och hantera stigmat. De strategier som kunnat identifieras i undersökningen föreföll sig i största delen vara samma som tidigare forskning även sett, med undantag för Avsägande av det egna engagemanget som kunde identifieras här. Vi menar att Tinderanvändare använder sig av Utbildning som strategi för att normalisera sitt användande och framhåller användande som något helt normalt. Övriga strategier som identifierades användes för att normifiera användande. Att normifiera innebär att konstruera sitt användande så att det faller inom det som är socialt accepterat. / Internet dating has, since the 1990s, become increasingly popular and has in recent years moved from websites to apps in smartphones that streamline the process of meeting other individuals. One of these apps is Tinder, which revolutionized internet dating through its peculiar way to match users. Although the app is very popular it seems that it is not fully acceptable to use it. The use of the app has been compared to similar embarrassment identified in research on Internet dating sites. The purpose of this paper is to examine how Tinder-users normalize their use and the strategies they use to normalize it, and to understand the relationship between embarrassment and normalization. The study is based on semistructured interviews conducted with 10 students at Uppsala University who actively used Tinder. The theoretical framework is based on a number of key concepts, labeling theory, social norms, soft and hard stigma, normalization, normification and strategies to avoid the stigma. Tinder is normalized among its users. But even tho the app is considered normal the users still have to behave in a certain way when they use the app. It is a normalization within certain limits. They use strategies to avoid the embarrassment associated with so-called hookup culture or the perception of users as desperate in the search for a more "serious" relationship. The declared normalization and the perceived embarrassment associated with soft stigma are managed using various strategies and seem to take different forms depending on what embarrassment is based in. Previous research has shown that internet dating is linked to stigma, but that stigma has diminished in power over the last 20 years. However, previous research has not highlighted the normalization processes and the strategies that appear to normalize the internet dating and manage the stigma. The strategies identified in the material for this thesis appeared in previous research, except for the strategy “renouncement of personal commitment”. We believe that Tinder-users adapt education as a strategy to normalize its use and stresses usage as something quite normal. Other strategies were used to normify use. To normify means to construct an action or behavior so that it falls within the boundaries of what is socially acceptable.

Cette thèse traite du développement de la déflectométrie à décalage de phase en contexte industriel. Cette technique optique permet de mesurer le champ des pentes à la surface d'objets réfléchissants ; elle est particulièrement adaptée à la caractérisation de leurs défauts, qui se traduisent par des valeurs de courbure locale importantes. Plusieurs aspects de la déflectométrie ont été étudiés. Nous nous sommes tout d'abord intéressés à la question de la normalisation des mesures de pentes et de courbures. L'étude détaillée menée sur une pièce de référence interne nous a permis de mettre en évidence l'attention que l’on doit porter à la définition d'étalons fiables de pentes et de courbures. Elle nous a amenés à proposer un étalon spécifique pour ce type de mesure. Une deuxième partie concerne le problème de l'étalonnage du système déflectométrique, indispensable pour permettre la mesure quantitative de pentes. Après avoir mis en évidence l'intérêt des techniques de mesure de phase pour la détermination de la pose de caméras, nous avons développé une méthode d'étalonnage dédiée au cas particulier d'une configuration proche de l'incidence normale. La dernière partie de cette thèse traite de la mesure de forme par déflectométrie, problématique complexe en raison du couplage pente / altitude inhérent à cette technique. Nous avons proposé une solution itérative ne nécessitant aucune modification du montage de base. Cette méthode, dont le principe a été validé par simulation, offre des perspectives pour la mesure d'objets non plans et de grandes dimensions, tels que des miroirs solaires ou encore des verres automobiles / This work deals with the development of phase stepping deflectometry in an industrial context. This optical method allows the measurement of slope fields on the surface of specular objects. It is particularly suited to the characterization of their defects that result in high local curvature values. Several aspects of deflectometry were studied. First we examined the question of the standardization of slope and curvature measurements. The detailed study made on an internal reference part allowed us to show that the definition of slope and curvature measurement standards deserves special attention. It led us to suggest a specific measurement standard for this kind of measurement. The second part of this work details the problem of the calibration of the deflectometric system, essential for the quantitative measurement of slopes. First, the interest of phase measurement techniques for the determination of camera pose is highlighted. The principle of our calibration method, dedicated to the particular case of normal configurations, is then explained. The last part of this work deals with the shape measurement by deflectometry. This problematic is very complex because of the slope / altitude coupling inherent in this technique. We suggest an iterative solution that does not require any modification of the basic setup. This method, whose principle was validated using simulations, offers perspectives for the measurement of large non-flat objects, such as solar mirrors or automotive glasses

Cette thèse est consacrée à l'amélioration de l'estimation d'une fonction ou signal f, par le biais d'une approche voisine à l'approche minimax. Cette démarche est motivée par la construction de régions de confiance, pour f, plus fines que celle obtenues via l'approche d'estimation dans le cadre minimax. En effet, nous nous intéressons ici à estimer des fonctions de plusieurs variables (on notera d leur nombre) pouvant être intégrées en pratique dans des modèles économiques, biologiques et autres domaines pouvant mettre en jeu un nombre conséquent de critères quantitatifs. De manière générale et contrairement au problème paramétrique, lorsque la valeur du paramètre d est grande, l'efficacité des résultats minimax s'en ressent. Ce phénomène est connu au sein de la communauté statistique sous le nom de "malédiction de la dimension" (curse of dimensionality).<br /><br />Afin de ne pas pénaliser l'estimation en grande dimension ou de manière générale dans des modèles où l'approche minimax n'est pas satisfaisante (sur des espaces fonctionnels trop massifs), Lepski a developpé une approche alternative. Celle-ci se base sur l'idée simple d'adapter la méthode d'estimation en fonction des résultats de tests d'hypothèses 'accélératrices'. Cette démarche utilise des résultats issus de la théorie des tests afin d'envisager une estimation adaptative. Elle va nous amener à introduire le concept de risque avec normalisation aléatoire. Ainsi nous nous consacrerons par la suite à résoudre deux types de problèmes statistiques fortement reliés

En assimilation de données, les modèles de corrélation permettent de caractériser les structures d'erreurs pour les variables définies sur une grille numérique. L'équation de diffusion fournit un cadre flexible et efficace pour représenter des fonctions de corrélation pour des problèmes de grande dimension tels que ceux rencontrés en assimilation variationnelle pour l'atmosphère ou l'océan. Dans cette thèse, une formulation implicite est d'abord étudiée en détail en dimension un (1D). On montre qu'intégrer une équation de diffusion implicite à coefficient constant sur M pas de temps est équivalent à convoluer la condition initiale à une fonction autorégressive (AR) d'ordre M. L'échelle de corrélation de la fonction AR et le facteur de normalisation requis pour générer une amplitude égale à 1 sont donnés en fonction du coefficient de diffusion et de M. Des extensions du modèle de diffusion permettant aux fonctions de corrélation de ne pas être affectées par les frontières, et tenant compte de variations des échelles sont décrites. Une approximation des facteurs de normalisation est alors proposée. Des produits d'opérateurs de diffusion implicite 1D sont ensuite utilisés pour construire des modèles de corrélation en dimension deux et trois pour des configurations globales d'un système d'assimilation variationnelle pour le modèle océanique NEMO. Leurs performances sont comparées au modèle de diffusion explicite existant, et des exemples de structures de corrélation où les échelles sont soit paramétrées, soit issues d'une méthode d'ensemble, sont montrés. Enfin, les performances de différentes techniques de normalisation sont comparées.

Les règles d'association révèlent des régularités non triviales et potentiellement utiles pour l'aide a la décision, dans les bases de données. Leur validité est évaluée par le biais de mesures de qualités dont les plus utilisées sont le support et la confiance. Pour une base de données transactionnelles d'un supermarché, elles sont du type "90% des clients ayant acheté du vin et du fromage ont également acheté du pain, sachant que 75% des clients ont acheté ces articles". Dans ce travail, nous spécifions une classe de mesures de qualité normalisées en ce sens qu'elles reflètent les situations de référence comme l'incompatibilité, la dépendance négative, l'indépendance, la dépendance positive, et l'implication logique entre la prémisse et le conséquent. Nous caractérisons les mesures de qualité normalisables, donnons les formules de normalisation et montrons que la plupart de celles qui sont normalisables ont la même normalisée, à savoir la mesure de qualité Mgk introduite dans Guillaume (2000). De plus, nous caractérisons des bases pour les règles positives et les règles négatives valides au sens de Mgk, et proposons des algorithmes de génération de ces bases