Applications of Finite Model Theory: Optimisation Problems, Hybrid Modal Logics and Games.

There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification of problems by how much of a particular computer resource is required in order to compute a solution. This relationship is known as Descriptive Complexity and it is the primary application of the tools from Model Theory when they are restricted to the finite; this restriction is commonly called Finite Model Theory. In this thesis, we investigate the extension of the results of Descriptive Complexity from classes of decision problems to classes of optimisation problems. When dealing with decision problems the natural mapping from true and false in logic to yes and no instances of a problem is used but when dealing with optimisation problems, other features of a logic need to be used. We investigate what these features are and provide results in the form of logical frameworks that can be used for describing optimisation problems in particular classes, building on the existing research into this area. Another application of Finite Model Theory that this thesis investigates is the relative expressiveness of various fragments of an extension of modal logic called hybrid modal logic. This is achieved through taking the Ehrenfeucht-Fraïssé game from Model Theory and modifying it so that it can be applied to hybrid modal logic. Then, by developing winning strategies for the players in the game, results are obtained that show strict hierarchies of expressiveness for fragments of hybrid modal logic that are generated by varying the quantifier depth and the number of proposition and nominal symbols available

Extended occupation grids for non-rigid moving objects tracking

International audienceWe present an evolution of traditional occupancy grid algorithm, based on an extensive probabilistic calculus of the evolution of several variables on a cell neighbourhood. Occupancy, speed and classification are taken into account, the aim being to improve overall perception of an highly changing un- structured environment. Contrary to classical SLAM algorithms, no requisite is made on the amount of rigidity of the scene, and tracking do not rely on geometrical characteristics. We believe that this could have important applications in the automotive field, both from autonomous vehicle and driver assistance, in some areas difficult to address with current algorithms. This article begins with a general presentation of what we aim to do, along with considerations over traditional occupancy grids limits and their reasons. We will then present our proposition, and detail some of its key aspects, namely update rules and perfor- mance consequences. A second part will be more practical, and will begin with a brief presentation of the GPU implementation of the algorithm, before turning to sensor models and some results

Table 2. Pinning

N-channel enhancement mode Field-Effect Transistor (FET) in a very small SOT323 (SC-70) Surface-Mounted Device (SMD) plastic package using Trench MOSFET technology

Proposition for propagated occupation grids for non-rigid moving objects tracking

International audienceAutonomous navigation among humans is, however simple it might seems, a difficult subject which draws a lot a attention in our days of increasingly autonomous systems. From a typical scene from a human environment, diverse shapes, behaviours, speeds or colours can be gathered by a lot of sensors ; and a generic mean to perceive space and dynamics is all the more needed, if not easy. We propose an incremental evolution over the well-known occupancy grid paradigm, introducing grid cell propagation over time and a limited neighbourhood, handled by probabilistic calculus. Our algorithm runs in real-time from a GPU implementation, and considers completely generically space-cells propagation, without any a priori requirements. It produces a set of belief maps of our environment, handling occupancy, but also items dynamics, relative rigidity links, and an initial object classification. Observations from free-space sensors are thus turned into information needed for autonomous navigation

Table 2. Pinning information

P-channel enhancement mode Field-Effect Transistor (FET) in a leadless medium power DFN2020MD-6 (SOT1220) Surface-Mounted Device (SMD) plastic package usin

Developing optical efficiency through optimized coating structure: biomimetic inspiration from white beetles

Copyright © 2009 Optical Society of America. This paper was published in Applied Optics and is made available as an electronic reprint with the permission of OSA. The paper can be found at the following URL on the OSA website: http://www.opticsinfobase.org/ao/abstract.cfm?uri=ao-48-17-3243 . Systematic or multiple reproduction or distribution to multiple locations via electronic or other means is prohibited and is subject to penalties under law.The recent discovery of brilliant whiteness in ultrathin beetle scales indicated the availability of significant whiteness, brightness, and opacity from limited sample thickness. This is achieved in the beetle through optimization of the packing density of scattering centers in its elytral scales. Here, we directly test and apply this idea to whiteness and brightness in the production and appearance of mineral coatings on paper by varying the scattering center parameters that underpin its optical properties. Through biomimetic design principles, we find that desirably high optical scattering from mineral coatings can be achieved. Commercially, by using appropriately designed coating formulations, this leads to the prospect of equal optical performance using less scattering material

Excited state intramolecular proton transfer in hydroxyanthraquinones: Toward predicting fading of organic red colorants in art.

Compositionally similar organic red colorants in the anthraquinone family, whose photodegradation can cause irreversible color and stability changes, have long been used in works of art. Different organic reds, and their multiple chromophores, suffer degradation disparately. Understanding the details of these molecules' degradation therefore provides a window into their behavior in works of art and may assist the development of improved conservation methods. According to one proposed model of photodegradation dynamics, intramolecular proton transfer provides a kinetically favored decay pathway in some photoexcited chromophores, preventing degradation-promoting electron transfer (ET). To further test this model, we measured excited state lifetimes of substituted gas-phase anthraquinones using high-level theory to explain the experimental results. The data show a general structural trend: Anthraquinones with 1,4-OH substitution are long-lived and prone to damaging ET, while excited state intramolecular proton transfers promote efficient quenching for hydroxyanthraquinones that lack this motif

Assessment of the therapeutic efficacy of artemether-lumefantrine in the treatment of uncomplicated Plasmodium falciparum malaria in northern KwaZulu-Natal: an observational cohort study

BACKGROUND: Recent malaria epidemics in KwaZulu-Natal indicate that effective anti-malarial therapy is essential for malaria control. Although artemether-lumefantrine has been used as first-line treatment for uncomplicated Plasmodium falciparum malaria in northern KwaZulu-Natal since 2001, its efficacy has not been assessed since 2002. The objectives of this study were to quantify the proportion of patients treated for uncomplicated P. falciparum malaria with artemether-lumefantrine who failed treatment after 28 days, and to determine the prevalence of molecular markers associated with artemether-lumefantrine and chloroquine resistance. METHODS: An observational cohort of 49 symptomatic patients, diagnosed with uncomplicated P. falciparum malaria by rapid diagnostic test, had blood taken for malaria blood films and P. falciparum DNA polymerase chain reaction (PCR). Following diagnosis, patients were treated with artemether-lumefantrine (Coartem®) and invited to return to the health facility after 28 days for repeat blood film and PCR. All PCR P. falciparum positive samples were analysed for molecular markers of lumefantrine and chloroquine resistance. RESULTS: Of 49 patients recruited on the basis of a positive rapid diagnostic test, only 16 were confirmed to have P. falciparum by PCR. At follow-up, 14 were PCR-negative for malaria, one was lost to follow-up and one blood specimen had insufficient blood for a PCR analysis. All 16 with PCR-confirmed malaria carried a single copy of the multi-drug resistant (mdr1) gene, and the wild type asparagine allele mdr1 codon 86 (mdr1 86N). Ten of the 16 samples carried the wild type haplotype (CVMNK) at codons 72-76 of the chloroquine resistance transporter gene (pfcrt); three samples carried the resistant CVIET allele; one carried both the resistant and wild type, and in two samples the allele could not be analysed. CONCLUSIONS: The absence of mdr1 gene copy number variation detected in this study suggests lumefantrine resistance has yet to emerge in KwaZulu-Natal. In addition, data from this investigation implies the possible re-emergence of chloroquine-sensitive parasites. Results from this study must be viewed with caution, given the extremely small sample size. A larger study is needed to accurately determine therapeutic efficacy of artemether-lumefantrine and resistance marker prevalence. The high proportion of rapid diagnostic test false-positive results requires further investigation