Thesis (M.A.)--Kutztown State College. / Source: Masters Abstracts International, Volume: 45-06, page: 2885. Typescript. Includes bibliographical references (leaves 60-63).

In this article I would like to attract attention to the personality of Ludwig Wilhelm Maurer. As a brilliant virtuoso violinist, known in Russia since 1817, conductor of the French theatre in St. Petersburg since 1835, inspector of all Emperor theatres since 1841 and conductor of the Philharmonic and Concert societies, Ludwig Maurer was an advocate of the classic inheritance.

Ce mémoire traite des structures affines et de leur rapport à la géométrie de l'information. Nous y introduisons la notion de T-plongement. Il permet de montrer que l'ensemble des structures affines complètes du tore T^2 est une courbe projective de RP^2. En substituant à la contrainte topologique (compacité) une contrainte dynamique (action canonique de Aff_0(1) dans le démi-plan de Poincaré H^2)on démontre que l'ensemble S des structures Aff_0(1)-invariantes dans H^2 est une surface projective connexe dans RP^5 ne contenant aucun point complet. Un de mes résultats remarquables concerne la classification des éléments de S pour la relation d'isomorphisme.Nous exploitons un outil récent: la KV-cohomologie. Outre le rôle fondamental joué par la KV-cohomologie dans l'étude des points rigides dans certains modules des structures affines, elle nous a permis d'aborder avec succès une problématique qui est au centre de la géométrie de l'information. Cette problématique concerne la détermination des structures affines invariantes dans les variétés modèles statistiques qui sont invariantes par toute transformation non singulière de l'espace des paramètres. Celles-ci ont une signification pertinente en statistique. / This dissertation deals with modules of affinely flat structure and with their relationships between these structures and the information geometry. The so-called T-embedding is used to prove that the set of complete locally flat structures is an irreducible projective curve in RP^2. In the same way we prove that the set S of Aff_0(1)-invariant locally flat structure in H^2 is a connected projective surface in RP^5, which does not contain any complete point. We also give the classification up to isomorphism of S. We use the KV-cohomology to study the rigidity problem for locally flat structures. The main concern of information geometry is the study of geometrical invariants in statistical models. We perform the KV-cohomology to bring in control this problem.

In this article I would like to attract attention to the personality of Ludwig Wilhelm Maurer. As a brilliant virtuoso violinist, known in Russia since 1817, conductor of the French theatre in St. Petersburg since 1835, inspector of all Emperor theatres since 1841 and conductor of the Philharmonic and Concert societies, Ludwig Maurer was an advocate of the classic inheritance.

An arms-race exists between malware authors and system defenders in which defenders develop new detection approaches only to have the malware authors develop new techniques to bypass them. This motivates the need for a formal framework to jointly reason about malware and its detection. This dissertation presents such a formal framework termed the extended Maurer model} (EMM) and then applies this framework to develop a game-theoretic model of the malware authors versus system defenders confrontation. To be inclusive of modern computers and networks, the EMM has been developed by extending to the existing Maurer computer model, a Turing-reducible model of computer operations. The basic components of the Maurer model have been extended to incorporate the necessary structures to enable the modeling of programs, concurrency, multiple processors, and networks. In particular, we show that the proposed EMM remains a Turing equivalent model which is able to model modern computers, computer networks, as well as complex programs such as modern virtual machines and web browsers. Through the proposed EMM, we provide formalizations for the violations of the standard security policies. Specifically, we provide the definitions of the violations of confidentiality policies, integrity policies, availability policies, and resource usage policies. Additionally, we also propose formal definitions of a number of common malware classes, including viruses, Trojan horses, spyware, bots, and computer worms. We also show that the proposed EMM is complete in terms of its ability to model all implementable that could exist malware within the context of a given defended environment. We then use the EMM to evaluate and analyze the resilience of a number of common malware detection approaches. We show that static anti-malware signature scanners can be easily evaded by obfuscation, which is consistent with the results of prior experimental work. Additionally, we also use the EMM to formally show that malware authors can avoid detection by dynamic system call sequence detection approaches, which also agrees with recent experimental work. A measure-theoretic model of the EMM is then developed by which the completeness of the EMM with respect to its ability to model all implementable malware detection approaches is shown. Finally, using the developed EMM, we provide a game-theoretic model of the confrontation of malware authors and system defenders. Using this game model, under game theory's strict dominance solution concept, we show that rational attackers are always required to develop malware that is able to evade the deployed malware detection solutions. Moreover, we show that the attacker and defender adaptations can be modeled as a sequence of iterative games. Hence, the question can be asked as to the conditions required if such a sequence (or arms-race) is to converge towards a defender advantageous end-game. It is shown via the EMM that, in the general context, this desired situation requires that the next attacker adaptation exists as, at least, a computationally hard problem. If this is not the case, then we show via the EMM's measure theory perspective, that the defender is left needing to track statistically non-stationary attack behaviors. Hence, by standard information theory constructs, past attack histories can be shown to be uninformative with respect to the development of the next to be required adaptation of the deployed defenses. To our knowledge, this is the first work to: (i) provide a joint model of malware and its detection, (ii) provide a model that is complete with respect to all implementable malware and detection approaches, (iii) provide a formal bridge between Turing-reducibility and measure theory, and (iv) thereby, allow game theory's strict dominance solution concept to be applied to formally reason about the requirements if the malware versus anti-malware arms-race is to converge to a defender advantageous end-game. / Graduate / melgamal@uvic.ca

Made available in DSpace on 2014-06-11T19:31:42Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-09-26Bitstream added on 2014-06-13T19:02:11Z : No. of bitstreams: 1 000731820.pdf: 18780461 bytes, checksum: a8ec818ef30417ca2de9f6eb561e7753 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente estudo busca reconstituir a história de vida de um professor/educador e suas contribuições para o ensino de Matemática no Brasil. Para tanto, tem como objetivo realizar uma investigação aprofundada a respeito de sua vida pessoal e profissional no contexto social; identificar as obras publicadas e não publicadas e procurar as contribuições, nos diferentes documentos analisados, de sua atuação profissional. Daí o foco em duas vertentes: o homem e sua obra. Para dar conta de tamanha empreitada serão utilizados documentos pessoais, institucionais, fotografias, publicações e entrevistas. Esta pesquisa caracteriza-se como qualitativa, com abordagem histórica cuja coleta de dados se deu por meio de análise de documentos e realização de entrevistas. A investigação documental foi delimitada ao período de 1907 a 1999 e aos Estados onde Willie Maurer atuou profissionalmente, tais como São Paulo, Goiás, Minas Gerais e Distrito Federal. O trabalho está dividido em cinco capítulos, nos quais são apresentados: A Pesquisa, a Fundamentação Teórica, A Vida de Willie Maurer, suas Obras e suas Contribuições a Instituições e ao Ensino de Matemática / The present study attempts to reconstruct the life of a teacher / educator as well his contributions to the mathematical education in Brazil. Therefore, the study aims to conduct a thorough research on his personal and professional life in a social context; to identify published and unpublished items and investigate his contributions by the analysis of different documents as for as his professional performance is concerned. Hence the two focuses: the man and his work. To do it, documents institutional, publications, photographs, and interviews will be used. This research is characterized as qualitative, historical approach with which data collection was done through analysis of documents and interviews. Such a research was delimits to the period between 1907-1999 and to the states where Willie Maurer acted professionally: São Paulo, Goiás, Minas Gerais and Distrito Federal. There are five chapters: Research (Theoretical Foundation), The Life of Willie Maurer, his works and his contributions to Institutions and, to The Teaching of Mathematics

Made available in DSpace on 2016-03-15T19:48:17Z (GMT). No. of bitstreams: 1 Heloisa ModoloCR2006.pdf: 1453424 bytes, checksum: 3db3ef928fa493d3a93f999f6dd15c58 (MD5) Previous issue date: 2006-08-17 / Fundo Mackenzie de Pesquisa / The objective of this project was to study religious deliriums and investigate how they could exert a structural psychic function to the individual and collective psyche. With the theoretical fundaments of the Analytical Psychology by Carl Gustav Jung, the religious movement known as Mucker is brought back into consideration. This was a curious episode, considered to be the only non-Pentecostal, protestant, milleniumistic messianic surge in Brazil, which happened in a very defined ethnic group, German immigrants. Furthermore, it was led by a woman, Jacobina Mentz Maurer. This historical fact occurred between 1873-1874, in the German colony of São Leopoldo, currently the city of Sapiranga, in the state of Rio Grande do Sul, and it ended tragically with the death of almost all of its members by the Imperial Army Battalion. We find indicators that Jacobina's religious deliriums allowed her and the Mucker group to form a method of psychic structuring in the midst of social, cultural and religious chaos, in which those colonial immigrants lived. / Este projeto teve como objetivo estudar os delírios religiosos e investigar como poderiam exercer uma função psíquica estruturante, tanto para a psique individual, quanto para a coletiva. De posse dos fundamentos teóricos da Psicologia Analítica de Carl Gustav Jung, realizamos a releitura de um movimento religioso conhecido como Mucker. Esse foi um curioso episódio considerado como o único surto messiânico-milenarista protestante não pentecostal no Brasil e aconteceu num grupo étnico bem definido, isto é, de imigrantes alemães. Além disso, foi liderado por uma mulher, Jacobina Mentz Maurer. Este fato histórico ocorreu entre 1873-1874, no Rio Grande do Sul, na Colônia Alemã de São Leopoldo, na atual cidade de Sapiranga, e teve final trágico, pois quase todos os seus participantes foram mortos pelo Batalhão do Exército Imperial. Encontramos indicadores de que os delírios religiosos de Jacobina possibilitaram a ela e ao grupo Mucker um meio de estruturação psíquica frente a uma situação de caos social, cultural e religioso em que viviam aqueles colonos imigrantes.

Le développement érythrocytaire de Plasmodium falciparum, l'agent du paludisme, est responsable de tous les symptômes liés à la maladie. Les formes sanguines du parasite possèdent plusieurs organites qui se sont révélés essentiels au développement intra-érythrocytaire. Parmi ceux-ci, nous nous sommes intéressés à un compartiment tout à fait original connu sous le nom de structures de Maurer. Ce compartiment, qui présente des caractéristiques de Golgi, est localisé dans le cytoplasme de la cellule hôte et assure le transfert de protéines parasitaires à la membrane érythrocytaire. Les structures de Maurer participent notamment au transport des protéines parasitaires liées au phénomène de cytoadhérence, qui est à l'origine du neuropaludisme. Notre travail a de plus permis de montrer leur rôle dans la libération des mérozoïtes infectieux. Nous avons entrepris une étude protéomique et fonctionnelle de ce compartiment afin de mieux comprendre son rôle biologique et d'identifier des enzymes essentielles au parasite, qui pourraient être validées comme cibles chimio-thérapeutiques. Nos études ont identifié dans ces structures la protéine RhopH2 qui semble présenter une activité sérine protéase dont nous poursuivons la caractérisation. Nous avons également, par une approche protéomique globale, identifié près de 50 protéines parasitaires dans des préparations de fantômes de globules rouges parasités, qui contiennent la membrane plasmique et le squelette sous-membranaire érythrocytaire ainsi que les structures de Maurer. Cette étude, ainsi que la caractérisation de l'interaction entre PfSBP1, protéine intégrale de la membrane des structures de Maurer, et LANCL1, protéine du squelette sous membranaire érythrocytaire, permettent de préciser les modalités d'interaction entre structures de Maurer et membrane plasmique de la cellule hôte du parasite. À terme, notre analyse devrait permettre de mieux comprendre le rôle biologique des structures de Maurer ainsi que les voies d'adressage des protéines parasitaires à ce compartiment extracellulaire tout à fait original.

Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (...→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique.

Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (…→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique. / In [PRID], Pridham has shown that any Artin n-stack M has a presentation as a simplicial scheme X. → M such that the simplicial scheme X satisfies certain properties denoted G.Pn,k of [GROTH]. In the presentation (…→ X2 → X1 → X0 → M), the scheme X1 represents a chart for X0 x MX0. Thus, the smoothness of X0 → M is equivalent to the smoothness of the two projections ә0,ә1 : X1 → X0. These are the first two parts of the Grothendieck-Pridham condition, denoted G.P1,0 and G.P1,1. In [BENZ12] we introduced an Artin n-stack M of Maurer-Cartan elements of a dg-category. We constructed a chart, and have already proven the first smoothness conditions explicitly. For any n and any 0 ≤ k ≤ n Pridham considers a scheme denoted MatchΛkn(X) with a morphism Xn → MatchΛkn(X). We will construct explicitly the Grothendieck-Pridham simplicial scheme and show the smoothness of the preceding map, therefore M is a geometric n-stack.