La théorie de Hodge mixte de Deligne fournit des structures supplémentaires sur les groupes de cohomologie des variétés algébriques complexes. Depuis, des structures de Hodge mixtes ont été construites sur les groupes d'homotopie rationnels de telles variétés par Morgan et Hain. Dans cette lignée, nous construisons des structures de Hodge mixtes sur des invariants associés aux représentations linéaires des groupes fondamentaux des variétés algébriques complexes lisses. Le point de départ est la théorie de Goldman et Millson qui relie la théorie des déformations de telles représentations à la théorie des déformations via les algèbres de Lie différentielles graduées. Ceci a été relu par P. Eyssidieux et C. Simpson dans le cas des variétés kählériennes compactes. Dans le cas non compact, et pour des représentations d'image finie, Kapovich et Millson ont construit seulement des graduations non canoniques. Pour construire des structures de Hodge mixtes dans le cas non compact et l'unifier avec le cas compact traité par Eyssidieux-Simpson, nous ré-écrivons la théorie de Goldman-Millson classique en utilisant des idées plus modernes de la théorie des déformations dérivée et une construction d'algèbres L-infini due à Fiorenza et Manetti. Notre structure de Hodge mixte provient alors directement du H^0 d'un complexe de Hodge mixte explicite, de façon similaire à la méthode de Hain pour le groupe fondamental, et dont la fonctorialité apparaît clairement. / The mixed Hodge theory of Deligne provides additional structures on the cohomology groups of complex algebraic varieties. Since then, mixed Hodge structures have been constructed on the rational homotopy groups of such varieties by Morgan and Hain. In this vein, we construct mixed Hodge structures on invariants associated to linear representations of fundamental groups of smooth complex algebraic varieties. The starting point is the theory of Goldman and Millson that relates the deformation theory of such representations to the deformation theory via differential graded Lie algebras. This was reviewed by P. Eyssidieux and C. Simpson in the case of compact Kähler manifolds. In the non-compact case, and for representations with finite image, Kapovich and Millson constructed only non-canonical gradings. In order to construct mixed Hodge structures in the non-compact case and unify it with the compact case treated by Eyssidieux-Simpson, we re-write the classical Goldman-Millson theory using more modern ideas from derived deformation theory and a construction of L-infinity algebras due to Fiorenza and Manetti. Our mixed Hodge structure comes then directly from the H^0 of an explicit mixed Hodge complex, in a similar way as the method of Hain for the fundamental group, and whose functoriality appears clearly.

I present complex of artistic works, which I created durring my Masters studies and its interruption, so since 2012 till 2017. My topic which I worked with was cartography transfer of space to flat with manipulations of sizes and visual shortcuts and visualisations of outvisible spaces. Together with my activity I will introduce also work of another 5 artists, which I ofered them the topic of map of parallel Universe to their focus and visions.

Vancl, K.: Ornament, structure and sign /MA Dissertation/ Prague 2011, Charles University in Prague, Faculty of education, Art education department The MA dissertation Ornament, structure and sign is a thoughts project, which considers its own topic based on philosophical texts from J. Derrida, M. Foucalt and J. Patočka. Ornament as a topic includes its fundamental questions, what is and how ornament appears today. Immanently there is an expression of ornament, which marks an order of repetition and an extensive reference to ornament, which masks his culture and society on the other side. Own project is focused on pass over classicism again, find original and discover new meaning of ornament in a structure and sign. True difference of expression and reference became its own detecting, following by next step to ritual meaning and from hear through ornament as repetition and reproduction sign to being in present until to deeper understanding of my-self in personal structure. Thanks to this knowledge seeing beauty of ornament seems to be more valuable. At last the project of ornament brings also theoretical basement for painting and didactic in art education. Key words: ornament, expression and reference, ritual meaning, structure of repetition, presence, phenomenology

Cette thèse se consacre premièrement à certains aspects de la définition de charges conservées en relativité générale pour les espaces asymptotiquement plats à l’infini spatial. À l’aide de la dualité gravitationnelle, présente au niveau linéarisé, on étudie également l’existence de charges topologiques, magnétiques, ainsi que leurs contributions aux superalgèbres dans les théories de supergravité N = 1 et N = 2 à quatre dimensions. La thèse est divisée en trois parties.<p>Dans la première partie, les espaces asymptotiquement plats à l’infini spatial sont décrits à l’aide d’une généralisation de la métrique de type Beig-Schmidt. La construction de charges à partir de l’étude des équations du mouvement et de la classification de tenseurs symétriques et de divergences nulles nous permet de démontrer l’unicité des charges de Poincaré pour l’ansatz non-généralisé en présence de conditions de parité. L’équivalence des charges de Ashtekar- Hansen et Mann-Marolf est ainsi revisitée. Dans le cas d’un ansatz généralisé, une régulation de la forme symplectique divergente, à l’aide de contre-termes rajoutés à l’action de Mann-Marolf, nous donne la possibilité de considérer un espace des phases sans conditions de parité, tout en gardant un principe variationnel bien défini. Le groupe asymptotique comprend alors, en plus des charges de Poincaré où les charges de Lorentz ne sont plus asymptotiquement linéaires, des charges non-triviales associées aux supertranslations et aux transformations logarithmiques.<p>Dans la deuxième partie, on étudie la dualité gravitationnelle et la définition de charges magnétiques en gravitation linéarisée. On revisite la dualité et on montre qu’une dualisation sur les indices de Lorentz facilite la compréhension de celle-ci. Les dix charges de Poincaré ainsi que leurs duales magnétiques sont alors exprimées en termes d’intégrales de surface. Nous illustrons ensuite nos résultats à travers l’étude des sources de certaines solutions électriques et de leur duales magnétiques. Les solutions électriques envisagées sont :les trous noirs de type Schwarzschild et de type Kerr ainsi que les ondes de chocs de type pp.<p>Dans la dernière partie, on établit la supersymétrie des espaces de type Taub-NUT lorentzien chargés électriquement et magnétiquement dans la supergravité N = 2. Motivé par l’existence d’une égalité BPS, on entreprend alors une recherche sur l’inclusion de la charge NUT dans l’algèbre de supersymétrie. Grâce à une complexification de la forme de Witten-Nester, cette contribution de la charge NUT à la superalgèbre est comprise comme une déformation topologique, symétrique, au crochet antisymétrique des super-charges. Ce résultat est alors appliqué à la superalgèbre N = 1 à travers l’étude des ondes de chocs de type pp.<p> / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

<p>Ova doktorska disertacija izučava matrice zapisane u blok formi. Ona<br />sistematizuje postojeća i predstavlja nova tvrđenja o osobinama takvih matrica,<br />koja se baziraju na ideji generalizovane dijagonalne dominacije. Poznati<br />rezultati u tačkastom slučaju dobra su osnova za blok generalizacije, koje su<br />izvedene na dva različita načina, prvi zbog svoje jednostavnije primenljivosti,<br />a drugi zbog obuhvatanja šire klase matrica na koju se rezultati odnose.</p> / <p>This thesis is related to matrices written in their block form. It systematizes known and<br />represents new knowledge about properties of such matrices, which is based on the idea<br />of generalized diagonal dominance. Known results in the point case serve as a good basis<br />for block generalization, which is done in two different ways, the first one because of its<br />simple usability, and the other for capturing wider class of matrices which are treated.</p>

Stop-and-Go Adaptive Cruise Control (ACC+) is an extension of Adaptive Cruise Control (ACC) that works at low speed as well as normal highway speeds to regulate the speed of the vehicle relative to the vehicle it is following. In this thesis, we design an ACC+ controller for a scale model electric vehicle that ensures the robust performance of the system under various models of uncertainty. We capture the operation of the hybrid system via a state-chart model that performs mode switching between different digital controllers with additional decision logic to guarantee the collision freedom of the system under normal operation. We apply different controller design methods such as Linear Quadratic Regulator (LQR) and H-infinity and perform multiple simulation runs in MATLAB/Simulink to validate the performance of the proposed designs. We compare the practicality of our design with existing formally verified ACC designs from the literature. The comparisons show that the other formally verified designs exhibit unacceptable behaviour in the form of mode thrashing that produces excessive acceleration and deceleration of the vehicle. While simulations provide some assurance of safe operation of the system design, they do not guarantee system safety under all possible cases. To increase confidence in the system, we use Differential Dynamic Logic (dL) to formally state environmental assumptions and prove safety goals, including collision freedom. The verification is done in two stages. First, we identify the invariant required to ensure the safe operation of the system and we formally verify that the invariant preserves the safety property of any system with similar dynamics. This procedure provides a high level abstraction of a class of safe solutions for ACC+ system designs. Second, we show that our ACC+ system design is a refinement of the abstract model. The safety of the closed loop ACC+ system is proven by verifying bounds on the system variables using the KeYmaera verification tool for hybrid systems. The thesis demonstrates how practical ACC+ controller designs optimized for fuel economy, passenger comfort, etc., can be verified by showing that they are a refinement of the abstract high level design. / Thesis / Master of Applied Science (MASc)

This project explores the intersection of literature and science from the mid-eighteenth century to the mid-nineteenth century in the context of this shift in conceptions of space and time. Confronted with the rapid and immense expansion of space and time, eighteenth and nineteenth-century philosophers and authors sought to locate humans' relative position in the vast void. Furthermore, their attempts to spatially and temporally map the universe led to changes in perceptions of the relationship between the exterior world and the interior self. In this dissertation I focus on a few important textual monuments that serve as landmarks on this journey. During the eighteenth and nineteenth centuries, the intersection of literary and scientific texts transformed perceptions of space and time. These transformations then led to further advancements in the way scientific knowledge was articulated. Imagination became central to scientific writing at the same time it came to dominate literary writing. My project explores these intersecting influences among literature, astronomy, cosmology, and geology, on the perceptions of expanding space and time.

This thesis theoretically and experimentally studies the characteristics of integrated microresonators (MRs) built by passive (no gain) and non-magnetic materials and characterized by both Hermitian and non-Hermitian Hamiltonians. In particular, I have studied three different microresonators: a typical Microring Resonator (MR), a Taiji Microresonator (TJMR), which consists of a microresonator with an embedded S-shaped waveguide, and a new geometry called the Infinity-Loop Microresonator (ILMR), which is characterized by a microresonator shaped like the infinity symbol coupled at two points to the bus waveguide. To get an accurate picture of the three devices, they were modeled using both the transfer matrix method and the temporal coupled mode theory. Neglecting propagation losses, the MR is described by a Hermitian Hamiltonian, while the TJMR and the ILMR are described by a non-Hermitian one. An important difference between Hermitian and non-Hermitian systems concerns their degeneracies. Hermitian degeneracies are called Diabolic Points (DPs) and are characterized by coincident eigenvalues and mutually orthogonal eigenvectors. In contrast, non-Hermitian degeneracies are called Exceptional Points (EPs). At the EP, both the eigenvalues and the eigenvectors coalesce. The MR is at a DP instead, and the TJMR and the ILMR are at an EP. Since the TJMR and ILMR are at an EP, they have interesting features such as the possibility of being unidirectional reflectors. Here, it is shown experimentally how in the case of the TJMR this degeneracy can also be used to break Lorentz reciprocity in the nonlinear regime (high incident laser powers), discussing the effect of the Fabry-Perot of the bus waveguide facets. The effect of backscattering, mainly due to the waveguide surface-wall roughness, on the microresonators is also studied. This phenomenon induces simultaneous excitation of the clockwise and counterclockwise modes, leading to eigenvalue splitting. This splitting makes the use of typical quality factor estimation methods unfeasible. To overcome this problem and mitigate the negative effects of backscattering, a new experimental technique called interferometric excitation is introduced. This technique involves coherent excitation of the microresonator from both sides of the bus waveguide, allowing selective excitation of a single supermode. By adjusting the relative phase and amplitude between the excitation fields, the splitting in the transmission spectrum can be eliminated, resulting in improved quality factors and eigenvalue measurements. It is shown that this interferometric technique can be exploited under both stationary and dynamic conditions of time evolution. The thesis also investigates the sensing performance of the three microresonators as a function of a backscattering perturbation, which could be caused, for example, by the presence of a molecule or particle near the microresonator waveguide. It is shown that the ILMR has better performance in terms of responsivity and sensitivity than the other two microresonators. In fact, it has both the enhanced sensitivity due to the square root dependence of the splitting on the perturbation (characteristic of EPs) and the ability to completely eliminate the region of insensitivity as the backscattering perturbation approaches zero, which is present in both the other two microresonators. To validate the models used, they were compared with experimental measurements both in the linear regime and, for TJMR, also in the nonlinear regime, with excellent agreement.

Ce travail de thèse est consacré à l'extension de l'Inversion Dynamique non-linéaire (NDI-Nonlinear Dynamic Inversion) pour un ensemble plus grand de systèmes non-linéaires, tout en garantissant des conditions de stabilité suffisantes. La NDI a été étudiée dans le cas de diverses applications, y compris en aéronautique et en aérospatiale. Elle permet de calculer des lois de contrôle capables de linéariser et de découpler un modèle non-linéaire à tout point de fonctionnement de son enveloppe d'état. Cependant cette méthode est intrinsèquement non-robuste aux erreurs de modélisation et aux saturations en entrée. En outre, dans un contexte non-linéaire, l'obtention d'une garantie quantifiable du domaine de stabilité atteint reste à l'heure actuelle complexe. Contrairement aux approches classiques de la NDI, notre méthodologie peut être considérée comme un cadre de compensation non-linéaire généralisé qui permet d'intégrer les incertitudes et les saturations en entrée dans le processus de conception. En utilisant des stratégies de contrôle antiwindup, la loi de pilotage peut être calculée grâce à un simple processus en deux phases. Dans ce cadre de travail généralisé des transformations linéaires fractionnaires (LFT - Linear Fractional Transformations) de la boucle fermée non-linéaire peuvent être facilement déduites pour l'analyse de la stabilité robuste en utilisant des outils standards pour de systèmes linéaires. La méthode proposée est testée pour le pilotage d'un véhicule de rentrée atmosphérique de type aile delta lors de ses phases hypersonique, transsonique et subsonique. Pour cette thèse, un simulateur du vol incluant divers facteurs externes ainsi que des erreurs de modélisation a été développé dans Simulink. / This thesis work is devoted to extending Nonlinear Dynamic Inversion (NDI) for a large scale of nonlinear systems while guaranteeing sufficient stability conditions. NDI has been studied in a wide range of applications, including aeronautics and aerospace. It allows to compute nonlinear control laws able to decouple and linearize a model at any operating point of its state envelope. However, this method is inherently non-robust to modelling errors and input saturations. Moreover, obtaining a quantifiable guarantee of the attained stability domain in a nonlinear control context is not a very straightforward task. Unlike standard NDI approaches, our methodology can be viewed as a generalized nonlinear compensation framework which allows to incorporate uncertainties and input saturations in the design process. Paralleling anti-windup strategies, the controller can be computed through a single multichannel optimization problem or through a simple two-step process. Within this framework, linear fractional transformations of the nonlinear closed-loop can be easily derived for robust stability analysis using standard tools for linear systems. The proposed method is tested for the flight control of a delta wing type reentry vehicle at hypersonic, transonic and subsonic phases of the atmospheric reentry. For this thesis work, a Flight Mechanics simulator including diverse external factors and modelling errors was developed in Simulink.

Cette thèse se concentre sur certains sujets en génétique des populations. Dans la première partie, nous donnons des formules y compris l'espérance et la variance de la hauteur et celles de la longueur du graphe de recombinaison ancestral (ARG) et l'espérance et la variance du nombre de recombinaison et nous montrons que l'espérance de la longueur de l'ARG est une combinaison linéaire de l'espérance de la longueur de la coalescence de Kingman et l'espérance de la hauteur de l'ARG. En outre, nous avons obtenu une relation entre l'espérance la longueur de l'ARG et l'espérance du nombre de recombinaisons. À la fin de cette partie, nous montrons que l'ARG descend de l'infini de telle sorte que X_0 =∞, alors que X_t < ∞ ; pour tout t et on trouve la vitesse à laquelle l'ARG descend de l'infini. Dans la deuxième partie on généralise la formule d'échantillonnage d'Ewens (GESF) en présence de la recombinaison pour les échantillons de taille n = 2 et n = 3. Dans la troisième partie de la thèse, nous étudions l'ARG le long du génome et nous avons trouvé la distribution du nombre de mutations dans le cas avec une seule recombinaison dans la généalogie de l'échantillon. / This thesis is concentrated on some sub jects on population genetics. In the first part we give formulae including the expectation and variance of the height and the length of the ancestral recombination graph (ARG) and the expectation and variance of the number of recombination events and we show that the expectation of the length of the ARG is a linear combination of the expectation of the length of Kingman's coalescent and the expectation of the height of the ARG. Also we show give a relation between the expectation of the ARG and the expectation of the number of recombination events. At the end of this part we show that the ARG comes down from infinity in the sense that we can dfine it with X_0 = ∞, while X_t <∞ ; for all t and we find the speed that the ARG comes down from infinity. In the second part wfind a generalization of the the Ewens sampling formula (GESF) in the presence of recombination for sample of sizes n = 2 and n = 3. In the third part of the thesis we study the ARG along the genome and we we find the distribution of the number of mutations when we have one recombination event in the genealogy of the sample.