Applying partial virtualization on ELF binaries through dynamic loaders

The technology of partial virtualization is a revolutionary approach to the world of virtualization. It lies directly in-between full system virtual machines (like QEMU or XEN) and application-related virtual machines (like the JVM or the CLR). The ViewOS project is the flagship of such technique, developed by the Virtual Square laboratory, created to provide an abstract view of the underlying system resources on a per-process basis and work against the principle of the Global View Assumption. Virtual Square provides several different methods to achieve partial virtualization within the ViewOS system, both at user and kernel levels. Each of these approaches have their own advantages and shortcomings. This paper provides an analysis of the different virtualization methods and problems related to both the generic and partial virtualization worlds. This paper is the result of an in-depth study and research for a new technology to be employed to provide partial virtualization based on ELF dynamic binaries. It starts with a mild analysis of currently available virtualization alternatives and then goes on describing the ViewOS system, highlighting its current shortcomings. The vloader project is then proposed as a possible solution to some of these inconveniences with a working proof of concept and examples to outline the potential of such new virtualization technique. By injecting specific code and libraries in the middle of the binary loading mechanism provided by the ELF standard, the vloader project can promote a streamlined and simplified approach to trace system calls. With the advantages outlined in the following paper, this method presents better performance and portability compared to the currently available ViewOS implementations. Furthermore, some of itsdisadvantages are also discussed, along with their possible solutions.

Fluorescence close to dielectric interfaces

The aim of the work was to study the correlation between the orientation and excited-state lifetimes of organic dyes close to dielectric interfaces. For this purpose, an experimental setup was designed and built, guiding the light through a prism in total internal reflection geometry. Fluorescence intensities and lifetimes for an ensemble of dye molecules were analyzed as a function of the excitation and detection polarizations. Working close to the total internal reflection angle, the differences between polarization combinations were enhanced. A classical electromagnetic model that assumes a chromophore as a couple of point-like electrical dipoles was developed. A numerical method to calculate the excitation and emission of dye molecules embedded in a multilayer system was implemented, by which full simulation of the time resolved fluorescence experiments was achieved. Free organic dyes and organic dyes covalently bound to polyelectrolyte chains were used. The polymer functionalization process avoided aggregation and provided control over the dyes position, within a few nanometers to the interface. Moreover, by varying the pH, the polymer chains could be deposited on different substrates with different conformations and the resulting fluorescence characteristics analyzed. Initially the fluorescence of organic dyes embedded in a polymer matrix was studied as a function of the distance between the fluorophores and the polymer-air interface. The non-radiative decay rate, vacuum decay rate and the relative angle between the excitation and emission dipoles of the chromophores could be determined. Different free organic dyes were deposited onto different dielectric spacers, as close as possible to the air-dielectric interface. Surprisingly, the fluorescence characteristics of dyes deposited onto polyelectrolyte layer were in good agreement with theoretical predictions of dyes in a polymer matrix, even when the layer was only 2 nm thick. When functionalized chains were deposited at low pH, on top of a polyelectrolyte spacer, the fluorescence had the characteristics of emitters embedded in a polymer matrix as well. Surface deposition at high pH showed an intermediate behaviour between emitters embedded in polymer and on top of the surface, in air. In general, for low pH values, the chains are deposited on a substrate in a train-like conformation. For high pH values, the chains are deposited in a loop-like conformation. As a consequence at low pH the functionalized polymer strongly interdigitates with the polyelectrolyte chains of the spacer, bringing most of the dyes inside the polymer. Thus, the fluorophores may experience the polymer as surrounding environment. On the other hand, for high pH values the dye-loaded chains adsorbed have a conformational arrangement of dense loops that extend away from the surface. Therefore many fluorophores experience the air as surrounding environment. Changing the spacer from polyelectrolyte to negatively charged silane produced contradictory results for lifetimes and intensities. The fluorescence intensities indicated the behaviour of emitters embedded in a polymer matrix, regardless of the pH value. On the other hand, for low pH values, the excited-state lifetimes showed that the emitters behaved as in air. For higher pH values, an intermediate behaviour between fluorophores located within and above of a dielectric film was observed. The poor agreement between theoretical and experimental data may be due to the simplified model utilized, by which the dipoles are assumed either in one side or in the other with respect to a geometrical air-dielectric interface. In the case when the dielectric film is constituted by the functionalized polymer chains themselves, reality is more complex and a different model may apply. Nevertheless, possible applications of the technique arise from a qualitative analysis.

Implementazione di un codice di calcolo random close per un propellente solido

L’impacchettamento risulta essere importante in molti settori industriali, come il settore minerario, farmaceutico e soprattutto il settore spaziale, in quanto permette di massimizzare il grado di riempimento del propellente solido di un razzo ottenendo prestazioni migliori e notevoli vantaggi economici. Il lavoro di tesi presentato nel seguente elaborato consiste nello studio dell’impacchettamento casuale, in particolare il caso Random Close Packing, di un propellente solido; per fare ciò è stato implementato un codice in ambiente C++ presso l’hangar della Scuola di Ingegneria ed Architettura con sede a Forlì. L’obiettivo principale era quello di trovare la granulometria delle particelle di perclorato di ammonio e delle particelle di alluminio tali da minimizzare gli spazi lasciati vuoti dalle particelle stesse.

Studio e implementazione di un modello random-close per propellenti solidi

L'obiettivo di questo lavoro di tesi è quello di implementare un codice di calcolo, attraverso l'algoritmo di Lubachevsky-Stillinger, in modo da poter prevedere la frazione volumetrica occupata dalle particelle solide che costituiscono il grain negli endoreattori a propellente solido. Particolare attenzione verrà rivolta al problema dell'impacchettamento sferico random (Random-Close Packing) che tale algoritmo cerca di modellare, e le ipotesi per cui tale modellazione può essere applicata al tipo di problema proposto. Inoltre saranno descritte le procedure effettuate per l'ottenimento dei risultati numerici delle simulazioni e la loro motivazione, oltre ai limiti del modello utilizzato e alle migliorie apportate per un'esecuzione più efficiente e veloce.

A residue close to ?1 loop F disrupts modulation of GABAA receptors by benzodiazepines while their binding is maintained

Benzodiazepines act at the major isoforms of GABA type A receptors where they potentiate the current evoked by the agonist GABA. The underlying mechanism of this potentiation is poorly understood, but hypothesized to be related to the mechanism that links agonist binding to channel opening in these ligand activated ion channels. The loop F of the ?(1) and the ?(2) subunit have been implicated in channel gating, and loop F of the ?(2) subunit in the modulation by benzodiazepines. We have identified the conservative point mutation Y168F located N-terminally of loop F in the ?(1) subunit that fails to affect agonist properties. Interestingly, it disrupts modulation by benzodiazepines, but leaves high affinity binding to the benzodiazepine binding site intact. Modulation by barbiturates and neurosteroids is also unaffected. Residue ?(1) Y168 is not located either near the binding pockets for GABA, or for benzodiazepines, or close to the loop F of the ?(2) subunit. Our results support the fact, that broader regions of ligand gated receptors are conformationally affected by the binding of benzodiazepines. We infer that also broader regions could contribute to signaling from GABA agonist binding to channel opening.

Brown Dwarf Binaries

Nearly 500 brown dwarfs have been discovered in recent years. The majority of these brown dwarfs exist in the solar neighborhood, yet determining their fundamental properties (mass, age, temperature & metallicity) has proved to be quite difficult, with current estimates relying heavily on theoretical models. Binary brown dwarfs provide a unique opportunity to empirically determine fundamental properties, which can then be used to test model predictions. In addition, the observed binary fractions, separations, mass ratios, & orbital eccentricities can provide insight into the formation mechanism of these low-mass objects. I will review the results of various brown dwarf multiplicity studies, and will discuss what we have learned about the formation and evolution of brown dwarfs by examining their binary properties as a function of age and mass.

Equine CD4(+) CD25(high) T cells exhibit regulatory activity by close contact and cytokine-dependent mechanisms in vitro

Horses are particularly prone to allergic and autoimmune diseases, but little information about equine regulatory T cells (Treg) is currently available. The aim of this study therefore was to investigate the existence of CD4(+) Treg cells in horses, determine their suppressive function as well as their mechanism of action. Freshly isolated peripheral blood mononuclear cells (PBMC) from healthy horses were examined for CD4, CD25 and forkhead box P3 (FoxP3) expression. We show that equine FoxP3 is expressed constitutively by a population of CD4(+) CD25(+) T cells, mainly in the CD4(+) CD25(high) subpopulation. Proliferation of CD4(+) CD25(-) sorted cells stimulated with irradiated allogenic PBMC was significantly suppressed in co-culture with CD4(+) CD25(high) sorted cells in a dose-dependent manner. The mechanism of suppression by the CD4(+) CD25(high) cell population is mediated by close contact as well as interleukin (IL)-10 and transforming growth factor-beta1 (TGF-beta1) and probably other factors. In addition, we studied the in vitro induction of CD4(+) Treg and their characteristics compared to those of freshly isolated CD4(+) Treg cells. Upon stimulation with a combination of concanavalin A, TGF-beta1 and IL-2, CD4(+) CD25(+) T cells which express FoxP3 and have suppressive capability were induced from CD4(+) CD25(-) cells. The induced CD4(+) CD25(high) express higher levels of IL-10 and TGF-beta1 mRNA compared to the freshly isolated ones. Thus, in horses as in man, the circulating CD4(+) CD25(high) subpopulation contains natural Treg cells and functional Treg can be induced in vitro upon appropriate stimulation. Our study provides the first evidence of the regulatory function of CD4(+) CD25(+) cells in horses and offers insights into ex vivo manipulation of Treg cells.

“All Data is Credit Data,” or, On Close Reading as a Reciprocal Process in Digital Knowledge Environments

The new knowledge environments of the digital age are oen described as places where we are all closely read, with our buying habits, location, and identities available to advertisers, online merchants, the government, and others through our use of the Internet. This is represented as a loss of privacy in which these entities learn about our activities and desires, using means that were unavailable in the pre-digital era. This article argues that the reciprocal nature of digital networks means 1) that the privacy issues that we face online are not radically different from those of the pre-Internet era, and 2) that we need to reconceive of close reading as an activity of which both humans and computer algorithms are capable.

Inequity Measures for Evaluations of Environmental Justice: A Case Study of Close Proximity to Highways in NYC

Assessments of environmental and territorial justice are similar in that both assess whether empirical relations between the spatial arrangement of undesirable hazards (or desirable public goods and services) and socio-demographic groups are consistent with notions of social justice, evaluating the spatial distribution of benefits and burdens (outcome equity) and the process that produces observed differences (process equity. Using proximity to major highways in NYC as a case study, we review methodological issues pertinent to both fields and discuss choice and computation of exposure measures, but focus primarily on measures of inequity. We present inequity measures computed from the empirically estimated joint distribution of exposure and demographics and compare them to traditional measures such as linear regression, logistic regression and Theil’s entropy index. We find that measures computed from the full joint distribution provide more unified, transparent and intuitive operational definitions of inequity and show how the approach can be used to structure siting and decommissioning decisions.