The Supercore for Normal Form Games

We study the supercore of a system derived from a normal form game. For the case of a finite game with pure strategies, we define a sequence of games and show that the supercore of that system coincides with the set of Nash equilibrium strategy profiles of the last game in the sequence. This result is illustrated with the characterization of the supercore for the n-person prisoners’ dilemma. With regard to the mixed extension of a normal form game, we show that the set of Nash equilibrium profiles coincides with the supercore for games with a finite number of Nash equilibria. For games with an infinite number of Nash equilibria this need not be no longer the case. Yet, it is not difficult to find a binary relation which guarantees the coincidence of these two sets.

A review of travel time estimation and forecasting for advanced traveler information systems

Providing on line travel time information to commuters has become an important issue for Advanced Traveler Information Systems and Route Guidance Systems in the past years, due to the increasing traffic volume and congestion in the road networks. Travel time is one of the most useful traffic variables because it is more intuitive than other traffic variables such as flow, occupancy or density, and is useful for travelers in decision making. The aim of this paper is to present a global view of the literature on the modeling of travel time, introducing crucial concepts and giving a thorough classification of the existing tech- niques. Most of the attention will focus on travel time estimation and travel time prediction, which are generally not presented together. The main goals of these models, the study areas and methodologies used to carry out these tasks will be further explored and categorized.

A novel form of human disease with a protease-sensitive prion protein and heterozygosity methionine/valine at codon 129: Case report

Background: Sporadic Creutzfeldt-Jakob disease (sCJD) is a rare neurodegenerative disorder in humans included in the group of Transmissible Spongiform Encephalopathies or prion diseases. The vast majority of sCJD cases are molecularly classified according to the abnormal prion protein (PrPSc) conformations along with polymorphism of codon 129 of the PRNP gene. Recently, a novel human disease, termed "protease-sensitive prionopathy", has been described. This disease shows a distinct clinical and neuropathological phenotype and it is associated to an abnormal prion protein more sensitive to protease digestion. Case presentation: We report the case of a 75-year-old-man who developed a clinical course and presented pathologic lesions compatible with sporadic Creutzfeldt-Jakob disease, and biochemical findings reminiscent of "protease-sensitive prionopathy". Neuropathological examinations revealed spongiform change mainly affecting the cerebral cortex, putamen/globus pallidus and thalamus, accompanied by mild astrocytosis and microgliosis, with slight involvement of the cerebellum. Confluent vacuoles were absent. Diffuse synaptic PrP deposits in these regions were largely removed following proteinase treatment. PrP deposition, as revealed with 3F4 and 1E4 antibodies, was markedly sensitive to pre-treatment with proteinase K. Molecular analysis of PrPSc showed an abnormal prion protein more sensitive to proteinase K digestion, with a five-band pattern of 28, 24, 21, 19, and 16 kDa, and three aglycosylated isoforms of 19, 16 and 6 kDa. This PrPSc was estimated to be 80% susceptible to digestion while the pathogenic prion protein associated with classical forms of sporadic Creutzfeldt-Jakob disease were only 2% (type VV2) and 23% (type MM1) susceptible. No mutations in the PRNP gene were found and genotype for codon 129 was heterozygous methionine/valine. Conclusions: A novel form of human disease with abnormal prion protein sensitive to protease and MV at codon 129 was described. Although clinical signs were compatible with sporadic Creutzfeldt-Jakob disease, the molecular subtype with the abnormal prion protein isoforms showing enhanced protease sensitivity was reminiscent of the "protease-sensitive prionopathy". It remains to be established whether the differences found between the latter and this case are due to the polymorphism at codon 129. Different degrees of proteinase K susceptibility were easily determined with the chemical polymer detection system which could help to detect proteinase-susceptible pathologic prion protein in diseases other than the classical ones.

Understanding Density in an Uneven City, Santiago de Chile: Implications for Social and Environmental Sustainability

Efforts to promote infill development and to raise densities are growing in many cities around the world as a way to encourage urban sustainability. However, in cities polarized along socio-economic lines, the benefits of densification are not so evident. The aim of this paper is to discuss some of the contradictions of densification in Santiago de Chile, a city characterized by socio-spatial disparities. To that end, we first use regression analysis to explain differences in density rates within the city. The regression analysis shows that dwelling density depends on the distance from the city center, socioeconomic conditions, and the availability of urban attributes in the area. After understanding the density profile, we discuss the implications for travel and the distribution of social infrastructures and the environmental services provided by green areas. While, at the metropolitan scale, densification may favor a more sustainable travel pattern, it should be achieved by balancing density rates and addressing spatial differences in the provision of social services and environmental amenities. We believe a metropolitan approach is essential to correct these spatial imbalances and to promote a more sustainable and socially cohesive growth pattern.

Contributions to time series data mining departing from the problem of road travel time modeling

194 p.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Development of nucleic acid vaccines: use of self-amplifying RNA in lipid nanoparticles

Self-amplifying RNA or RNA replicon is a form of nucleic acid-based vaccine derived from either positive-strand or negative-strand RNA viruses. The gene sequences encoding structural proteins in these RNA viruses are replaced by mRNA encoding antigens of interest as well as by RNA polymerase for replication and transcription. This kind of vaccine has been successfully assayed with many different antigens as vaccines candidates, and has been shown to be potent in several animal species, including mice, nonhuman primates, and humans. A key challenge to realizing the broad potential of self-amplifying vaccines is the need for safe and effective delivery methods. Ideally, an RNA nanocarrier should provide protection from blood nucleases and extended blood circulation, which ultimately would increase the possibility of reaching the target tissue. The delivery system must then be internalized by the target cell and, upon receptor-mediated endocytosis, must be able to escape from the endosomal compartment into the cell cytoplasm, where the RNA machinery is located, while avoiding degradation by lysosomal enzymes. Further, delivery systems for systemic administration ought to be well tolerated upon administration. They should be safe, enabling the multiadministration treatment modalities required for improved clinical outcomes and, from a developmental point of view, production of large batches with reproducible specifications is also desirable. In this review, the concept of self-amplifying RNA vaccines and the most promising lipid-based delivery systems are discussed.