Thin Games with Symmetry and Concurrent Hyland-Ong Games

We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong games when interpreting purely functional programs as innocent strategies, while on the other hand it is much more expressive. The interpretation of programs constructs compositionally a representation of their execution that exhibits causal dependencies and remembers the points of non-deterministic branching.The construction is in two stages. First, we build a compact closed category Tcg. It is a variant of Rideau and Winskel's category CG, with the difference that games and strategies in Tcg are equipped with symmetry to express that certain events are essentially the same. This is analogous to the underlying category of AJM games enriching simple games with an equivalence relations on plays. Building on this category, we construct the cartesian closed category Cho as having as objects the standard arenas of Hyland-Ong games, with strategies, represented by certain events structures, playing on games with symmetry obtained as expanded forms of these arenas.To illustrate and give an operational light on these constructions, we interpret (a close variant of) Idealized Parallel Algol in Cho

Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or

International audienceAlthough Plotkin's parallel-or is inherently deterministic, it has a non-deterministic interpretation in games based on (prime) event structures-in which an event has a unique causal history-because they do not directly support disjunctive causality. General event structures can express disjunctive causality and have a more permissive notion of determinism, but do not support hiding. We show that (structures equivalent to) deterministic general event structures do support hiding, and construct a new category of games based on them with a deterministic interpretation of aPCFpor, an affine variant of PCF extended with parallel-or. We then exploit this deterministic interpretation to give a relaxed notion of determinism (observable determinism) on the plain event structures model. Putting this together with our previously introduced concurrent notions of well-bracketing and innocence, we obtain an intensionally fully abstract model of aPCFpor

Games and Strategies as Event Structures.

In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation

One center's experience with complications during the Wada test

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/112207/1/epi13046.pd

Synegies Between Visible/Near-Infrared Imaging Spectrometry and the Thermal Infrared in an Urban Environment: An Evaluation of the Hyperspectral Infrared Imager (HYSPIRI) Mission

A majority of the human population lives in urban areas and as such, the quality of urban environments is becoming increasingly important to the human population. Furthermore, these areas are major sources of environmental contaminants and sinks of energy and materials. Remote sensing provides an improved understanding of urban areas and their impacts by mapping urban extent, urban composition (vegetation and impervious cover fractions), and urban radiation balance through measures of albedo, emissivity and land surface temperature (LST). Recently, the National Research Council (NRC) completed an assessment of remote sensing needs for the next decade (NRC, 2007), proposing several missions suitable for urban studies, including a visible, near-infrared and shortwave infrared (VSWIR) imaging spectrometer and a multispectral thermal infrared (TIR) instrument called the Hyperspectral Infrared Imagery (HyspIRI). In this talk, we introduce the HyspIRI mission, focusing on potential synergies between VSWIR and TIR data in an urban area. We evaluate potential synergies using an Airborne Visible/Infrared Imaging Spectrometer (AVIRIS) and MODIS-ASTER (MASTER) image pair acquired over Santa Barbara, United States. AVIRIS data were analyzed at their native spatial resolutions (7.5m VSWIR and 15m TIR), and aggregated 60 m spatial resolution similar to HyspIRI. Surface reflectance was calculated using ACORN and a ground reflectance target to remove atmospheric and sensor artifacts. MASTER data were processed to generate estimates of spectral emissivity and LST using Modtran radiative transfer code and the ASTER Temperature Emissivity Separation algorithm. A spectral library of common urban materials, including urban vegetation, roofs and roads was assembled from combined AVIRIS and field-measured reflectance spectra. LST and emissivity were also retrieved from MASTER and reflectance/emissivity spectra for a subset of urban materials were retrieved from co-located MASTER and AVIRIS pixels. Fractions of Impervious, Soil, Green Vegetation (GV) and Non-photosynthetic Vegetation (NPV), were estimated using Multiple Endmember Spectral Mixture Analysis (MESMA) applied to AVIRIS data at 7.5, 15 and 60 m spatial scales. Surface energy parameters, including albedo, vegetation cover fraction, broadband emissivity and LST were also determined for urban and natural land-cover classes in the region. Fractions were validated using 1m digital photography

Reverse transcriptase drug resistance mutations in HIV-1 subtype C infected patients on ART in Karonga District, Malawi

<p>Abstract</p> <p>Background</p> <p>Drug resistance testing before initiation of, or during, antiretroviral therapy (ART) is not routinely performed in resource-limited settings. High levels of viral resistance circulating within the population will have impact on treatment programs by increasing the chances of transmission of resistant strains and treatment failure. Here, we investigate Drug Resistance Mutations (DRMs) from blood samples obtained at regular intervals from patients on ART (Baseline-22 months) in Karonga District, Malawi. One hundred and forty nine reverse transcriptase (RT) consensus sequences were obtained via nested PCR and automated sequencing from blood samples collected at three-month intervals from 75 HIV-1 subtype C infected individuals in the ART programme.</p> <p>Results</p> <p>Fifteen individuals showed DRMs, and in ten individuals DRMs were seen from baseline samples (reported to be ART naïve). Three individuals in whom no DRMs were observed at baseline showed the emergence of DRMs during ART exposure. Four individuals who did show DRMs at baseline showed additional DRMs at subsequent time points, while two individuals showed evidence of DRMs at baseline and either no DRMs, or different DRMs, at later timepoints. Three individuals had immune failure but none appeared to be failing clinically.</p> <p>Conclusion</p> <p>Despite the presence of DRMs to drugs included in the current regimen in some individuals, and immune failure in three, no signs of clinical failure were seen during this study. This cohort will continue to be monitored as part of the Karonga Prevention Study so that the long-term impact of these mutations can be assessed. Documenting proviral population is also important in monitoring the emergence of drug resistance as selective pressure provided by ART compromises the current plasma population, archived viruses can re-emerge</p

Structure specific analysis of the hippocampus in temporal lobe epilepsy

The hippocampus is a major structure of interest affected by temporal lobe epilepsy (TLE). Region of interest (ROI)-based analysis has traditionally been used to study hippocampal involvement in TLE, although spatial variation of structural and functional pathology have been known to exist within the ROI. In this article, structure-specific analysis (Yushkevich et al. (2007) Neuroimage 35:1516–1530) is applied to the study of both structure and function in TLE patients. This methodology takes into account information about the spatial correspondence of voxels within ROIs on left and right sides of the same subject as well as between subjects. Hippocampal thickness is studied as a measure of structural integrity, and functional activation in a functional magnetic resonance imaging (fMRI) experiment in which subjects performed a memory encoding task is studied as a measure of functional integrity. Pronounced disease-related decrease in thickness is found in posterior and anterior hippocampus. A region in the body also shows increased thickness in patients' healthy hippocampi compared with controls. Functional activation in diseased hippocampi is reduced in the body region compared to controls, whereas a region in the tail showing greater right-lateralized activation in controls also shows greater activation in healthy hippocampi compared with the diseased side in patients. Summary measurements generated by integrating quantities of interest over the entire hippocampus can also be used, as is done in conventional ROI analysis. © 2009 Wiley-Liss, Inc.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/63055/1/20620_ftp.pd

On DABAL-Me₃ promoted formation of amides

The range and utility of DABAL-Me3 couplings of methyl esters and free carboxylic acids with primary and secondary amines under a variety of conditions (reflux, sealed tube, microwave) has been compared for a significant range of coupling partners of relevance to the preparation of amides of interest in pharmaceutical chemistry. Commercial microwave reactors promote the fastest couplings and allow the use of significantly sterically hindered amines (primary and secondary) and carboxylic acids derivatives. The influence of microwave energy on the reaction system was shown to be typically related to thermal effects (over-pressuring and superheating)