A general approach to posterior contraction in nonparametric inverse problems

In this paper we propose a general method to derive an upper bound for the contraction rate of the posterior distribution for nonparametric inverse problems. We present a general theorem that allows us to derive con- traction rates for the parameter of interest from contraction rates of the related direct problem of estimating transformed parameter of interest. An interesting aspect of this approach is that it allows us to derive con- traction rates for priors that are not related to the singular value decomposition of the operator. We apply our result to several examples of linear inverse problems, both in the white noise sequence model and the nonparametric regression model, using priors based on the singular value decomposition of the operator, location-mixture priors and splines prior, and recover minimax adaptive contraction rates

HTTP Application Performance Monitoring

Cílem této bakalářské práce bylo vytvořit řešení pro monitorování a analýzu síťové výkonnosti HTTP serverů s využitím frameworku Nemea a NetFlow záznamů. Pro tento účel jsem vytvořil modul ve frameworku Nemea, který filtruje, rozebírá a ukláda NetFlow záznamy obohacené o informace z HTTP pluginu ve flow exportéru. Následné bylo potřebné vytvořit webové rozhraní založené na frameworku Django, pro zobrazení různych štatistík, které může užívatel využít na zjištení problému s monitorovanými servery. Výsledkom mé práce je produkt, který demonstruje možnost využití systému Nemea na pasívní monitorování HTTP servrů.Goal of this bachelor thesis was to create solution for monitoring and analysis of network performance of HTTP server using Nemea framework and NetFlow data. For this purpose, I've created Nemea module for filtering, parsing and saving NetFlow data enhanced by informations gained from HTTP plugin on exporter. For analysis and user interface, webpage based on Django framework was created, used for displaying statistics that are useful for users in order to reveal problems with monitored servers. Result of my work is product, which is demonstrating possibility of using of Nemea system for passive monitoring of HTTP servers.

The Imagined collection, a story

Music was the creative inspiration that provided the underlying rhythm to this body of work. It was guided by the concept of ethereal sound materializing into tangible found objects whose attributes included the ability to visually invoke the fleeting emotional memories of the listening experience. This written thesis serves to discuss the philosophies and aesthetic choices these conceptual themes prompted while making the work. It includes an artistic exploration of the fascinating nature of collection and the association between art and memory. The oral defense of the work brought to light the need to address the distinction between the maker and the collector. This written discussion addresses those two personas along with physical descriptions of the final body of work, inherent metaphors, researched influences, and the subtle intent for the work to resonate as a visual language

On the Origins of Pidgin and Creole Languages: An Outline

Pidgin and creole languages are usually the result of contacts between people who do not speak each other’s language. When they meet for different purposes (trade, business, plantation work) they immediately look for a quick means of communication. Thus, a simple makeshift language is created in a relatively short time. It is naturally composed of the elements deriving from two or more of the languages that are in contact. It is commonly considered (see, e.g., Bickerton 1981, Sebba 1997, Mühlähusler 1986) that pidgins can constitute the initial stage for further development into a stable pidgin

Relational semantics of linear logic and higher-order model-checking

In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any higher-order recursion scheme (HORS) comes together with a dual Church encoding of an alternating tree automata (ATA) of the same signature. Moreover, the interaction between the relational interpretations of the HORS and of the ATA identifies the set of accepting states of the tree automaton against the infinite tree generated by the recursion scheme. We show how to extend this result to alternating parity automata (APT) by introducing a parametric version of the exponential modality of linear logic, capturing the formal properties of colors (or priorities) in higher-order model-checking. We show in particular how to reunderstand in this way the type-theoretic approach to higher-order model-checking developed by Kobayashi and Ong. We briefly explain in the end of the paper how his analysis driven by linear logic results in a new and purely semantic proof of decidability of the formulas of the monadic second-order logic for higher-order recursion schemes.Comment: 24 pages. Submitte

On Selected Origins of Contact Languages. A Socio-Historical Perspective

The external socio-historical factors that determine the rise of contact languages define the new varieties and decide on their form and structures. Pidgin languages arise as a consequence of many social and historical processes which involve political and economic factors in the creation of quite new and distinct social situations. William Washabaugh and Sidney Greenfield suggest that pidgin and “[c]reole languages (…) developed to provide a world of meaning for those caught in this new life situation and thus to enable them to adapt to the constrains of that situation” (Washabaugh and Greenfield 1983: 106). These are the language users who seek a common means of communication in various situations: when people from different linguistic backgrounds are thrown into a ship together they need a mutual platform of communication. Any jargon form or pidgin they come up with will be the resultant of all the languages they speak