Op-Objects

The work relates to Australian history in that it reconfigures the found objects - furniture, paintings and narratives - to move implicate the viewer in unexpected ways.

IFTrace: Video segmentation of deformable objects using the Image Foresting Transform

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Electric load forecasting using a fuzzy ART&ARTMAP neural network

This work presents a neural network based on the ART architecture ( adaptive resonance theory), named fuzzy ART& ARTMAP neural network, applied to the electric load-forecasting problem. The neural networks based on the ARTarchitecture have two fundamental characteristics that are extremely important for the network performance ( stability and plasticity), which allow the implementation of continuous training. The fuzzy ART& ARTMAP neural network aims to reduce the imprecision of the forecasting results by a mechanism that separate the analog and binary data, processing them separately. Therefore, this represents a reduction on the processing time and improved quality of the results, when compared to the Back-Propagation neural network, and better to the classical forecasting techniques (ARIMA of Box and Jenkins methods). Finished the training, the fuzzy ART& ARTMAP neural network is capable to forecast electrical loads 24 h in advance. To validate the methodology, data from a Brazilian electric company is used. (C) 2004 Elsevier B.V. All rights reserved.

Análise da estabilidade transitória via rede neural Art-Artmap fuzzy Euclidiana modificada com treinamento continuado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Boosted objects and jet substructure at the LHC. Report of BOOST2012, held at IFIC Valencia, 23rd-27th of July 2012

This report of the BOOST2012 workshop presents the results of four working groups that studied key aspects of jet substructure. We discuss the potential of first-principle QCD calculations to yield a precise description of the substructure of jets and study the accuracy of state-of-the-art Monte Carlo tools. Limitations of the experiments' ability to resolve substructure are evaluated, with a focus on the impact of additional (pile-up) proton proton collisions on jet substructure performance in future LHC operating scenarios. A final section summarizes the lessons learnt from jet substructure analyses in searches for new physics in the production of boosted top quarks.

Instability of nonminimally coupled scalar fields in the spacetime of slowly rotating compact objects

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Entwicklung und Anwendung molekularbiologischer Methoden zur Art- und Stamm-Identifizierung pro- und eukaryotischer Organismen

Das Wachstum von Milchsäurebakterien-Arten der Gattungen Lactobacillus, Pediococcus und Leuconostoc während der Weinfermentation kann durch die Bildung verschiedener Stoffwechselprodukte zu Weinfehlern führen. Um rechtzeitig Gegenmaßnahmen ergreifen zu können und einem Weinverderb vorzubeugen, bedarf es geeigneter Identifizierungsmethoden. Klassische mikrobiologische Methoden reichen oft nicht aus, um Mikroorganismen auf Art- und Stammniveau gezielt zu identifizieren. Wegen ihrer schnellen Durchführbarkeit und Zuverlässigkeit sind molekularbiologische Identifizierungsmethoden zur Kontrolle der mikrobiellen Flora während der Lebensmittelfermentierung in der heutigen Zeit unabdingbar. In der vorliegenden Forschungsarbeit wurden die 23S rRNA-Gensequenzen von neun Pediococcus-Typstämmen sequenziert, analysiert und phylogenetische Analysen durchgeführt. Zur Art-Identifizierung der Pediokokken wurden PCR-Primer generiert und ein Multiplex PCR System entwickelt, mit dem alle typischen Arten simultan in einer Reaktion nachgewiesen werden konnten. Die Ergebnisse der Multiplex PCR-Identifizierung von 62 Pediococcus-Stämmen aus Kulturensammlungen und 47 neu isolierten Stämmen aus Wein zeigten, dass einige Stämme unter falschen Artnamen hinterlegt waren, und dass P. parvulus im Weinanbaugebiet Rheinhessen weit verbreitet war. Die Fähigkeit der Pediococcus-Stämme zur Exopolysaccharid-Synthese wurde durch den Nachweis zweier Gene überprüft. Auf Basis der 23S rDNA-Sequenzen wurden rRNA-Sekundärstrukturen mit der neu entwickelten Software Structure Star generiert, die zum Auffinden von Zielbereichen für fluoreszenzmarkierte DNA-Sonden geeignet waren. Die Sequenzunterschiede zwischen den Pediococcus-Arten reichten aus, um zwei Gruppen durch Fluoreszenz in situ Hybridisierung differenzieren zu können. Die Verwendung unmarkierter Helfer-sonden verbesserte die Zugänglichkeit der Sonden an die rRNA, wodurch das Fluoreszenz-Signal verstärkt wurde. Um Milchsäurebakterien durch Denaturierende Gradienten Gel Elektrophorese differenzieren zu können, wurden Primer entwickelt, mit denen ein hochvariabler 23S rDNA-Bereich amplifiziert werden konnte. Die Nested Specifically Amplified Polymorphic DNA (nSAPD)-PCR wurde in der vorliegenden Arbeit zur Art- und Stamm-Differenzierung pro- und eukaryotischer Organismen angewandt. Es wurden vor allem weinrelevante Milchsäurebakterien der Gattungen Oenococcus, Lactobacillus, Pediococcus und Leuconostoc und Hefen der Gattungen Dekkera / Brettanomyces und Saccharomyces untersucht. Die Cluster-Analyse der Pediococcus-Typstämme führte zu einer unterschiedlichen Baum-Topologie im Vergleich zum phylogenetischen 23S rDNA-Stammbaum. Die Verwandtschaftsverhältnisse der untersuchten O. oeni-Stämme aus Starterkulturen konnten in Bezug auf eine frühere Cluster-Analyse reproduziert werden. Die Untersuchung von 40 B. bruxellensis-Stämmen aus rheinhessischen Weinproben zeigte eine Gruppierung der Stämme gemäß dem Ort der Probennahme. Beim Vergleich der Verwandtschaftsverhältnisse von Stämmen der Arten P. parvulus und B. bruxellensis, die aus denselben Weinproben isoliert wurden, konnte eine hohe Übereinstimmung der beiden Baum-Topologien beobachtet werden. Anhand der SAPD-PCR Untersuchung von Sekthefen aus Starterkulturen konnten alle Stämme der Art S. cerevisiae zugeordnet werden. Die nSAPD-PCR war darüber hinaus geeignet, um höhere Eukaryoten wie Weinreben zu differenzieren und es konnten die Verwandtschaftsverhältnisse von Mäusen und menschlichen Individuen durch Cluster-Analysen nachvollzogen werden. Mit Hilfe der Sequence Characterized Amplified Region (SCAR)-Technik wurden (n)SAPD-Marker in SCAR-Marker konvertiert. Die neu generierten SCAR-Primer konnten zur simultanen Art-Identifizierung von sieben weinschädlichen Milchsäurebakterien in einer Multiplex PCR erfolgreich eingesetzt werden. Die in dieser Arbeit entwickelten molekularbiologischen Identifizierungsmethoden können zum Beispiel in der mikrobiologischen Qualitätskontrolle Anwendung finden.

Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development

Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket. As a consequence, in the last years software is having an epochal turn toward concurrency, distribution, interaction which is pushed by the evolution of hardware architectures and the growing of network availability. This calls for introducing further abstraction layers on top of those provided by classical mainstream programming paradigms, to tackle more effectively the new complexities that developers have to face in everyday programming. A convergence it is recognizable in the mainstream toward the adoption of the actor paradigm as a mean to unite object-oriented programming and concurrency. Nevertheless, we argue that the actor paradigm can only be considered a good starting point to provide a more comprehensive response to such a fundamental and radical change in software development. Accordingly, the main objective of this thesis is to propose Agent-Oriented Programming (AOP) as a high-level general purpose programming paradigm, natural evolution of actors and objects, introducing a further level of human-inspired concepts for programming software systems, meant to simplify the design and programming of concurrent, distributed, reactive/interactive programs. To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering of integrated programming technologies for developing agent-based systems in their classical application domains: artificial intelligence and distributed artificial intelligence. Then, we shift the perspective moving from the development of intelligent software systems, toward general purpose software development. Using the expertise maturated during the phase of background construction, we introduce a general-purpose programming language named simpAL, which founds its roots on general principles and practices of software development, and at the same time provides an agent-oriented level of abstraction for the engineering of general purpose software systems.

Salomé et Jean Baptiste. Réinvestissements symboliques et récritures d'un mythe dans la littérature et dans l'art (1870-1914)

La publication de nombreuses œuvres, à la fois littéraires et picturales, entre 1870 et 1914, inspirées par l’épisode biblique du meurtre de Jean Baptiste par Salomé, s’inscrit dans une crise qui touche à cette époque, en Europe, aussi bien le sujet que la notion de représentation. Le mythe de Salomé permet de poursuivre une réflexion de nature littéraire, historique et esthétique concernant le processus d’autonomisation de l’art. À partir des sources bibliques et antiques, dans lesquelles Salomé et Jean Baptiste incarnent respectivement le monde païen en conflit avec le monde chrétien, ces deux personnages font graduellement leur entrée dans l’univers de la fiction. Ils sont au cœur de la transition d’une lecture transcendante — reliée particulièrement à la tradition catholique — de l’épisode tragique qui les unit, à une lecture immanente qui en fait deux instances purement esthétiques. La danseuse et le dernier des prophètes émergent dans la littérature et dans l’art occidentaux comme deux pôles symboliques, liés l’un à l’autre par différents types de relation, susceptibles d’être librement réinvestis par de nouvelles significations et à l’écart des conventions. Si, dans la première partie du XIXe siècle, Salomé et Jean Baptiste sont encore liés à leur sens orthodoxe, au tournant du siècle ils finissent par s’autonomiser de l’Écriture et donnent lieu à de multiples récritures et à des adaptations inattendues. Celles-ci ressortissent alors moins du blasphème à proprement parler que d’un témoignage emblématique d’une transformation du rapport que l’artiste entretient avec son œuvre. Celui-ci, en s’identifiant avec le prophète décollé, se mesure à l’œuvre d’art, qui est incarnée par Salomé. La relation entre Salomé et Jean Baptiste, dans ces diverses représentations, exprime et reflète le moment où art et littérature se reconnaissent comme fictions.

Can Developing Women Create Primitive Art? and Other Questions of Value, Meaning and Identity in the Circulation of Janakpur Art

In this article, I examine the values and meanings that adhere to objects made by Maithil women at a development project in Janakpur, Nepal – objects collectors have called ‘Janakpur Art’. I seek to explain how and why changes in pictorial content in Janakpur Art – shifts that took place over a period of five or six years in the 1990s – occurred, and what such a change might indicate about the link between Maithil women’s lives, development, and tourism. As I will demonstrate, part of the appeal for consumers of Janakpur Art has been that it is produced at a ‘women’s development project’ seeking to empower its participants. And yet, the project’s very successes threaten to displace the producers (and what they produce) from their perceived qualities/identities as ‘traditional’ and ‘primitive,’ thereby bringing into question the authenticity of the ‘art’ they produce. The conundrum begs this question: can developing women produce primitive art?

The art to keep in touch: The ''good use'' of Lagrange multipliers

Physically-based modeling for computer animation allows to produce more realistic motions in less time without requiring the expertise of skilled animators. But, a computer animation is not only a numerical simulation based on classical mechanics since it follows a precise story-line. One common way to define aims in an animation is to add geometric constraints. There are several methods to manage these constraints within a physically-based framework. In this paper, we present an algorithm for constraints handling based on Lagrange multipliers. After few remarks on the equations of motion that we use, we present a first algorithm proposed by Platt. We show with a simple example that this method is not reliable. Our contribution consists in improving this algorithm to provide an efficient and robust method to handle simultaneous active constraints.

Light-cone Wilson loop in classical lattice gauge theory

The transverse broadening of an energetic jet passing through a non-Abelian plasma is believed to be described by the thermal expectation value of a light-cone Wilson loop. In this exploratory study, we measure the light-cone Wilson loop with classical lattice gauge theory simulations. We observe, as suggested by previous studies, that there are strong interactions already at short transverse distances, which may lead to more efficient jet quenching than in leading-order perturbation theory. We also verify that the asymptotics of the Wilson loop do not change qualitatively when crossing the light cone, which supports arguments in the literature that infrared contributions to jet quenching can be studied with dimensionally reduced simulations in the space-like domain. Finally we speculate on possibilities for full four-dimensional lattice studies of the same observable, perhaps by employing shifted boundary conditions in order to simulate ensembles boosted by an imaginary velocity.

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Efficacy of a live attenuated vaccine in classical swine fever virus postnatally persistently infected pigs

Classical swine fever (CSF) causes major losses in pig farming, with various degrees of disease severity. Efficient live attenuated vaccines against classical swine fever virus (CSFV) are used routinely in endemic countries. However, despite intensive vaccination programs in these areas for more than 20 years, CSF has not been eradicated. Molecular epidemiology studies in these regions suggests that the virus circulating in the field has evolved under the positive selection pressure exerted by the immune response to the vaccine, leading to new attenuated viral variants. Recent work by our group demonstrated that a high proportion of persistently infected piglets can be generated by early postnatal infection with low and moderately virulent CSFV strains. Here, we studied the immune response to a hog cholera lapinised virus vaccine (HCLV), C-strain, in six-week-old persistently infected pigs following post-natal infection. CSFV-negative pigs were vaccinated as controls. The humoral and interferon gamma responses as well as the CSFV RNA loads were monitored for 21 days post-vaccination. No vaccine viral RNA was detected in the serum samples and tonsils from CSFV postnatally persistently infected pigs for 21 days post-vaccination. Furthermore, no E2-specific antibody response or neutralising antibody titres were shown in CSFV persistently infected vaccinated animals. Likewise, no of IFN-gamma producing cell response against CSFV or PHA was observed. To our knowledge, this is the first report demonstrating the absence of a response to vaccination in CSFV persistently infected pigs.