Modular support for developing mobile ad hoc applications

Abstract This PhD thesis addresses the issue of alleviating the burden of developing ad hoc applications. Such applications have the particularity of running on mobile devices, communicating in a peer-to-peer manner and implement some proximity-based semantics. A typical example of such application can be a radar application where users see their avatar as well as the avatars of their friends on a map on their mobile phone. Such application become increasingly popular with the advent of the latest generation of mobile smart phones with their impressive computational power, their peer-to-peer communication capabilities and their location detection technology. Unfortunately, the existing programming support for such applications is limited, hence the need to address this issue in order to alleviate their development burden. This thesis specifically tackles this problem by providing several tools for application development support. First, it provides the location-based publish/subscribe service (LPSS), a communication abstraction, which elegantly captures recurrent communication issues and thus allows to dramatically reduce the code complexity. LPSS is implemented in a modular manner in order to be able to target two different network architectures. One pragmatic implementation is aimed at mainstream infrastructure-based mobile networks, where mobile devices can communicate through fixed antennas. The other fully decentralized implementation targets emerging mobile ad hoc networks (MANETs), where no fixed infrastructure is available and communication can only occur in a peer-to-peer fashion. For each of these architectures, various implementation strategies tailored for different application scenarios that can be parametrized at deployment time. Second, this thesis provides two location-based message diffusion protocols, namely 6Shot broadcast and 6Shot multicast, specifically aimed at MANETs and fine tuned to be used as building blocks for LPSS. Finally this thesis proposes Phomo, a phone motion testing tool that allows to test proximity semantics of ad hoc applications without having to move around with mobile devices. These different developing support tools have been packaged in a coherent middleware framework called Pervaho.

Equipment and Vehicle Purchase Report for Fiscal Year 2009 as required by Iowa Code section 307.47

Attached is the Equipment and Vehicle Purchase Report for Fiscal Year 2009 as required by Iowa Code section 307.47. The report is sorted by Iowa Department of Transportation accounting object codes.

Generation of short-term murine natural killer cell clones to analyze Ly49 gene expression.

Natural killer (NK) cellsexpress receptors specific for class I major histocompatibility complex (MHC) molecules. In the mouse, the class I specific receptors identified to date belong to the polymorphic Ly49 receptor family. Engagement of Ly49 receptors with their respective MHC ligands results in negative regulation of NK cell effector functions, consistent with a critical role of these receptors in "missing self" recognition. The Ly49 receptors analyzed so far are clonally distributed such that multiple distinct Ly49 receptors can be expressed by individual NK cells (for review see refs. 1-3). The finding that most NK cells that express the Ly49A receptor do so from a single Ly49A allele (whereby expression can occur from the maternal or the paternal chromosome) may thus reflect a putative receptor distribution process that restricts the number of Ly49 receptors expressed in a single NK cell (3-5).

Suite du code des tailles ou recueil des ordonnances, édits, déclarations, reglemens et arrests de la Cour des aydes de Paris sur le fait des tailles. Nouvelle édition... augmentée des ordonnances, édits, déclarations, reglemens & arrests de la Cour des aydes de Paris sur le fait du Tabac

[Acte royal]

New generation vaccine induces effective melanoma-specific CD8+ T cells in the circulation but not in the tumor site.

Although increasing evidence suggests that CTL are important to fight the development of some cancers, the frequency of detectable tumor-specific T cells is low in cancer patients, and these cells have generally poor functional capacities, compared with virus-specific CD8(+) T cells. The generation with a vaccine of potent CTL responses against tumor Ags therefore remains a major challenge. In the present study, ex vivo analyses of Melan-A-specific CD8(+) T cells following vaccination with Melan-A peptide and CpG oligodeoxynucleotides revealed the successful induction in the circulation of effective melanoma-specific T cells, i.e., with phenotypic and functional characteristics similar to those of CTL specific for immunodominant viral Ags. Nonetheless, the eventual impact on tumor development in vaccinated melanoma donors remained limited. The comprehensive study of vaccinated patient metastasis shows that vaccine-driven tumor-infiltrating lymphocytes, although activated, still differed in functional capacities compared with blood counterparts. This coincided with a significant increase of FoxP3(+) regulatory T cell activity within the tumor. The consistent induction of effective tumor-specific CD8(+) T cells in the circulation with a vaccine represents a major achievement; however, clinical benefit may not be achieved unless the tumor environment can be altered to enable CD8(+) T cell efficacy.

Letter to the Colo-Nesco Community School District as a result of reaudit procedures performed at the request of the Superintendent pursuant to Chapter 11.6(4)(a)(2) of the Code of Iowa for the period July 1, 2007 through June 30, 2008

Letter to the Colo-Nesco Community School District as a result of reaudit procedures performed at the request of the Superintendent pursuant to Chapter 11.6(4)(a)(2) of the Code of Iowa for the period July 1, 2007 through June 30, 2008

Bistability of mitochondrial respiration underlies paradoxical reactive oxygen species generation induced by anoxia

Increased production of reactive oxygen species (ROS) in mitochondria underlies major systemic diseases, and this clinical problem stimulates a great scientific interest in the mechanism of ROS generation. However, the mechanism of hypoxia-induced change in ROS production is not fully understood. To mathematically analyze this mechanism in details, taking into consideration all the possible redox states formed in the process of electron transport, even for respiratory complex III, a system of hundreds of differential equations must be constructed. Aimed to facilitate such tasks, we developed a new methodology of modeling, which resides in the automated construction of large sets of differential equations. The detailed modeling of electron transport in mitochondria allowed for the identification of two steady state modes of operation (bistability) of respiratory complex III at the same microenvironmental conditions. Various perturbations could induce the transition of respiratory chain from one steady state to another. While normally complex III is in a low ROS producing mode, temporal anoxia could switch it to a high ROS producing state, which persists after the return to normal oxygen supply. This prediction, which we qualitatively validated experimentally, explains the mechanism of anoxia-induced cell damage. Recognition of bistability of complex III operation may enable novel therapeutic strategies for oxidative stress and our method of modeling could be widely used in systems biology studies.

Iowa Department of Transportation Fiscal Year 2010 Report of Savings by Using Video Conferencing Through Iowa Communications Network to the Iowa General Assembly Pursuant to Iowa Code § II 84 Acts and Joint Resolutions Enacted at the 1994 Regular Session of the 75th General Assembly of the State of Iowa

Introduction and summary Iowa Code § 8D.10 requires certain state agencies to prepare an annual report to the General Assembly certifying the identified savings associated with that state agency’s use of the Iowa Communications Network (ICN). This report covers estimated cost savings related to video conferencing via ICN for the Iowa Department of Transportation (DOT). In FY 2010, the DOT did not conduct any sessions utilizing ICN’s video conferencing system. Therefore, no cost savings were calculated for this report.

Iowa Code Section 307.47 Equipment and Vehicle Report

Attached is the Iowa Department of Transportation's Equipment and Vehicle Purchase Report for Fiscal Year 2010 as required by Iowa Code section 307.47.