Proefschrift--Utrecht. / "Stellingen": [3] p. inserted. Summary in English.

Thesis (doctoral)--Universität, Mainz, 2007. / Includes bibliographical references.

Title: Search problems and search for collisions in hash functions Author: Samuel Čarnoký Department: The Department of Algebra Supervisor: prof. RNDr. Jan Krajíček, DrSc. Supervisor's e-mail address: krajicek@karlin.mff.cuni.cz Abstract: Central points of this work are NP search problems and the existence of reductions amog them in the relativised world. Absolute separation would separate N from NP. In particular, we talk about the problem of finding collisions in hash functions that must exist due to the famous pigeonhole principle. We present a brief introduction into the topic, we define various NP search problems and recall reductions and separations. Reduction of weak version of PHP to a problem of finding a homogeneous subgraph is described and our own results are presented in the form of reduction of another variant of PHP to a problem related to finding paths in a graph. We talk about reducing the task of finding collisions in multiple functions into finding a collision in one function. Keywords: NP search, reductions, pigeonhole principle, oracles

As Histórias de Heródoto trazem numerosos oráculos, principalmente no livro I. O estudo mais detalhado de alguns logoi demonstra que as muitas referências a Delfos e aos oráculos indicam que não se trata somente de previsões do futuro ou de demonstrar que os deuses ainda agem no mundo dos homens, mas de orientar as ações humanas. Isso está de acordo com o sentido original de , que está na raiz da palavra que costumamos traduzir por oráculo. / HerodotusHistory has numerous oracles, mostly in Book I. A detailed study from some logoi shows that many references to Delphi and the oracles indicate that they not only deal with prophecies or divine influences in the human world but with some kind of orientation for human actions. This is in accordance with the original meaning of , that is in the root of the word that we are used to translate as oracle.

As Histórias de Heródoto trazem numerosos oráculos, principalmente no livro I. O estudo mais detalhado de alguns logoi demonstra que as muitas referências a Delfos e aos oráculos indicam que não se trata somente de previsões do futuro ou de demonstrar que os deuses ainda agem no mundo dos homens, mas de orientar as ações humanas. Isso está de acordo com o sentido original de , que está na raiz da palavra que costumamos traduzir por oráculo. / HerodotusHistory has numerous oracles, mostly in Book I. A detailed study from some logoi shows that many references to Delphi and the oracles indicate that they not only deal with prophecies or divine influences in the human world but with some kind of orientation for human actions. This is in accordance with the original meaning of , that is in the root of the word that we are used to translate as oracle.

Ma thèse de doctorat étudie la dimension rhétorique des oracles dans la littérature grecque d’époque classique. Les considérations sur la divination récoltées dans les traités de rhétorique antiques constituent le point de départ de ce travail. On y apprend, d’une part, que l’oracle serait une forme de témoignage (Aristote, Rhét. I, 15, 1375b 26 – 1376a 6 ;Cicéron, Sur les divisions de l’art oratoire, 2, 6 et Topiques, 76-77 ;Quintilien V, 7, 35-36 et 11, 42), qu’il faut comprendre dans le sens relativement large de preuve extra-technique dont la force persuasive provient de l’autorité. Ceci m’amène, dans la première partie du travail, à m’intéresser à l’établissement de l’autorité oraculaire et à examiner son rôle dans le fonctionnement de la divination. Je m’appuie pour cela sur les données fournies par les traités de rhétorique sur l’établissement de l’autorité testimoniale, mais aussi plus largement sur ce qui renforce l’autorité d’un orateur en rhétorique.D’autre part, certains traités mentionnent les oracles lorsqu’ils abordent le traitement rhétorique de l’ambiguïté, qui est une caractéristique souvent associée aux réponses oraculaires. Le premier auteur à en parler est Aristote (Rhét. III, 5, 1407 a-b). Il condamne les oracles ambigus (ainsi que l’ambiguïté de manière plus générale) et soutient qu’elle vise à tromper le consultant. Les autres auteurs (Hermogène, Sur les états de la cause, XII, 1-10 ;L’Anonyme de Séguier, 188 et Sopatros, Διαίρεσις ζητημάτων, LXXIX [= p. 377-382, vol. 8 Walz]) mentionnent l’oracle dans leurs développements sur l’amphibologie. Il s’agit alors de proposer une méthode pour argumenter pour ou contre une interprétation lorsque plusieurs hypothèses sont envisageables, selon un modèle qui s’inscrit dans le genre délibératif. L’obscurité oraculaire et l’importance de la délibération dans la prise en compte de l’oracle pour l’action sont au cœur de la deuxième partie de la thèse.Mon objectif est de montrer que ces différentes approches rhétoriques de l’oracle, bien qu’elles n’aient a priori rien en commun, sont en fait complémentaires :l’établissement de l’autorité est une condition sine qua non au bon fonctionnement de la divination. Si elle n’est pas reconnue, la parole du devin ou du prophète n’aura aucun poids. En revanche, si elle l’est, sa parole sera considérée comme vraie et pertinente. Toutefois, il arrive fréquemment que l’oracle nécessite alors un processus délibératif, qui peut porter sur l’établissement du sens de la réponse lorsqu’elle est obscure, ou sur la meilleure manière d’en tenir compte dans la prise de décision et dans l’action à mener. Par ces deux aspects, la divination telle qu’elle est présentée dans la littérature classique s’inscrit pleinement dans un cadre rhétorique et laisse aux consultants la responsabilité de leurs choix et de leurs actions. / Doctorat en Langues, lettres et traductologie / info:eu-repo/semantics/nonPublished

Estratégias para automatização de atividades de teste de software são bem aceitas tanto pela indústria quanto pela academia. Um elemento essencial para automatizações de teste são oráculos de teste. Oráculos, que podem ser mecanismos, funções, execuções paralelas, etc, são fundamentais por determinarem se as saídas de uma aplicação em teste estão corretas. A automatização de mecanismos de oráculos é um ponto crítico quando as saídas dos sistemas se manifestam por meio de formatos não triviais como, por exemplo, uma Interface Gráfica com o Usuário (GUI - do ingês Graphical User Interface). Para esses casos, estratégias tradicionais de teste costumam ser custosas e exigir esforços consideráveis dos testadores. Este trabalho de mestrado propõe um método alternativo para a automatização de oráculos de teste para sistemas com GUIs. Para tanto, exploram-se conceitos de Recuperação de Imagens Baseada em Conteúdo para a composição de um método de automatização chamado de oráculos gráficos (Gr-O - do inglês Graphical Oracle). Como contribuição, desenvolveram-se extratores de características visuais de GUIs. A condução e análise de estudos empíricos revelaram que o uso do Gr-O pode reduzir os custos para definições de oráculos de teste para sistemas com GUIs. Deste modo, o método proposto pode ser alternativo ou complementar às técnicas de teste tradicionais identificadas na literatura / Strategies for automated software testing activities are well accepted by both industry and the academy. Essential elements for automation of testing are test oracles. Oracles, which may be mechanisms, functions, parallel executions, etc., are crucial in determining whether the output of an application under test is correct. The automation of oracles is critical when the output system manifested by non-trivial formats, for example, a Graphical User Interface (GUI). For these cases, traditional testing strategies tend to be costly and require considerable efforts of the testers. This master thesis proposes an alternative method for the automation of test oracles for systems with GUIs. To this end, we explore the concepts of Content-Based Image Retrieval for the composition of an automated method called Graphical Oracles (Gr-O). As a contribution, we developed characteristics extractors of GUIs. The conduct and analysis of empirical studies have shown that using of Gr-O can reduce costs for definitions of test oracles for systems with GUIs. Thus, the proposed method may be alternative or complementary to traditional testing techniques found in the literature

Cette thèse s'intéresse aux problèmes inverses dans un cadre statistique. A partir des observations $Y=Af+\epsilon \xi$, le but est d'approximer aussi fidèlement que possible la fonction f où $A$ représente un opérateur compact, $\epsilon>0$ le niveau de bruit et $\xi$ un bruit blanc gaussien. Etant données une procédure $f^{\star}$ et une collection d'estimateurs $\Lambda$, une inégalité<br />oracle permet de comparer, sans aucune hypothèse sur la fonction cible $f$ et d'un point de vue non-asymptotique, les performances de $f^{\star}$ à celles du meilleur estimateur dans $\Lambda$<br />connaissant $f$. Dans l'optique d'obtenir de telles inégalités, cette thèse s'articule autour de deux objectifs: une meilleure compréhension des problèmes inverses lorsque l'opérateur est<br />mal-connu et l'extension de l'algorithme de minimisation de l'enveloppe du risque (RHM) à un domaine d'application plus large.<br /> La connaissance complète de l'opérateur A est en effet une hypothèse implicite dans la plupart des méthodes existantes. Il est cependant raisonnable de penser que ce dernier puisse être en partie, voire totalement inconnu. Dans un premier temps, nous généralisons donc la méthode de Stein par blocs pénalisée ainsi que l'algorithme RHM à cette situation. Ce dernier, initié par L. Cavalier et Y. Golubev, améliore considérablement les performances de la traditionnelle méthode d'estimation du risque sans biais. Cependant, cette nouvelle procédure ne concerne que les estimateurs par projection. En pratique, ces derniers sont souvent moins performants que les estimateurs de Tikhonov ou les procédures itératives, dans un certain sens beaucoup plus fines. Dans la dernière partie, nous étendons donc l'utilisation de l'enveloppe du risque à une gamme beaucoup plus large d'estimateurs.

Thesis (Ph. D.)--Harvard, 1981. / Summary in pocket. Includes bibliographical references (leaves [467-490]).

Estratégias para automatização de atividades de teste de software são bem aceitas tanto pela indústria quanto pela academia. Um elemento essencial para automatizações de teste são oráculos de teste. Oráculos, que podem ser mecanismos, funções, execuções paralelas, etc, são fundamentais por determinarem se as saídas de uma aplicação em teste estão corretas. A automatização de mecanismos de oráculos é um ponto crítico quando as saídas dos sistemas se manifestam por meio de formatos não triviais como, por exemplo, uma Interface Gráfica com o Usuário (GUI - do ingês Graphical User Interface). Para esses casos, estratégias tradicionais de teste costumam ser custosas e exigir esforços consideráveis dos testadores. Este trabalho de mestrado propõe um método alternativo para a automatização de oráculos de teste para sistemas com GUIs. Para tanto, exploram-se conceitos de Recuperação de Imagens Baseada em Conteúdo para a composição de um método de automatização chamado de oráculos gráficos (Gr-O - do inglês Graphical Oracle). Como contribuição, desenvolveram-se extratores de características visuais de GUIs. A condução e análise de estudos empíricos revelaram que o uso do Gr-O pode reduzir os custos para definições de oráculos de teste para sistemas com GUIs. Deste modo, o método proposto pode ser alternativo ou complementar às técnicas de teste tradicionais identificadas na literatura / Strategies for automated software testing activities are well accepted by both industry and the academy. Essential elements for automation of testing are test oracles. Oracles, which may be mechanisms, functions, parallel executions, etc., are crucial in determining whether the output of an application under test is correct. The automation of oracles is critical when the output system manifested by non-trivial formats, for example, a Graphical User Interface (GUI). For these cases, traditional testing strategies tend to be costly and require considerable efforts of the testers. This master thesis proposes an alternative method for the automation of test oracles for systems with GUIs. To this end, we explore the concepts of Content-Based Image Retrieval for the composition of an automated method called Graphical Oracles (Gr-O). As a contribution, we developed characteristics extractors of GUIs. The conduct and analysis of empirical studies have shown that using of Gr-O can reduce costs for definitions of test oracles for systems with GUIs. Thus, the proposed method may be alternative or complementary to traditional testing techniques found in the literature