A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

‘Wooden Man’? : Masculinities in the Work of J. M. Coetzee (Boyhood, Youth and Summertime)

In seeking to advance the possibility of justice, gender and postcolonial studies have argued for the importance of the study of masculinities, through the acknowledgment that a richer understanding of such gendered formations may provide the basis for recognition of the Other and that, left uncriticised, such formations may be continuously delineated by the reproduction of systems of domination. The current study finds as its object the representations of masculinities in J. M. Coetzee’s Boyhood (1997), Youth (2002) and Summertime (2009). As works of transition in terms of Coetzee’s oeuvre - post-apartheid and post-Disgrace - the trilogy provides an account of the development of a man through several stages of life. While portraying the tensions of different geographical and cultural locations, such as apartheid South Africa and the London of the Sixties, the trilogy articulates the various norms that impact in the formation of gender, particularly of masculinities, through a complex system of power relations. The adherence to such norms is never linear, as the trilogy provides imaginative accounts of the contradictions that assist in the formulation of gender, depicting both the allure and the terror that constitute hegemonic masculinity. Located in the intersection of gender and postcolonial studies, the present study is based on the works by Raewyn Connell on masculinities. Animated by such a critical framework, the main research question of the present study is whether the trilogy advances a notion of masculinity that differs from the traditional rigid model, that is, whether there is resistance to hegemonic masculinity and what the spaces inhabited by the subaltern are. It is suggested that the trilogy presents the reader with instances of resistance to normative formulations of masculinity, by contrasting domination with the possibility of justice, and advancing an understanding of the often fatal consequences of gender norms to one’s sense of being in the world.

Developing a gamification system to increase customer lifetime value at MyGon

There have never been so many touch points between companies and consumers as there are today, which paradoxically makes it very challenging for companies to be able to retain and engage customers. Gamification is a strategy used by a large number of companies to increase customer engagement and customer lifetime value. This work aims at developing a gamification system for MyGon, a Portuguese startup working in the market of discounts and experiences. In addition to examining the literature concerning gamification, its elements and characteristics, recommendations were developed for addressing MyGon’s business goals of increasing conversion and customer engagement. The gamification mechanisms suggested include badges, missions, points, leaderboards and levels.

Trophic ecology of jumbo squid and predatory fishes in the Northern Humboldt Current System

This work provides a contribution to a better understanding of the trophic ecology of important predators in the Northern Humboldt Current System, the jack mackerel (Trachurus murphyi), the chub mackerel (Scomber japonicus) and the jumbo squid (Dosidicus gigas) by the characterization of the highly variable feeding patterns of these species at different spatiotemporal scales. We provided new knowledge on the comparative trophic behaviour of these species, defined as opportunistic in previous investigations. For that purpose we applied a variety of statistical methods to an extensive dataset of 27,188 non-empty stomachs. We defined the spatial organization of the forage fauna of these predators and documented changes in prey composition according to predators’ size and spatiotemporal features of environment. Our results highligh the key role played by the dissolved oxygen. We also deciphered an important paradox on the jumbo squid diet: why do they hardly forage on the huge anchovy (Engraulis ringens) biomass distributed of coastal Peru? We showed that the shallow oxygen minimum zone present off coastal Peru could hamper the co-occurrence of jumbo squids and anchovies. In addition, we proposed a conceptual model on jumbo squid trophic ecology including the ontogenetic cycle, oxygen and prey availability. Moreover we showed that the trophic behaviour of jack mackerel and chub mackerel is adapted to forage on more accessible species such as for example the squat lobster Pleurocondes monodon and Zoea larvae. Besides, both predators present a trophic overlap. But jack mackerel was not as oracious as chub mackerel, contradictorily to what was observed by others authors. Fish diet presented a high spatiotemporal variability, and the shelf break appeared as a strong biogeographical frontier. Diet composition of our fish predators was not necessarily a consistent indicator of changes in prey biomass. El Niño events had a weak effect on the stomach fullness and diet composition of chub mackerel and jack mackerel. Moreover, decadal changes in diet diversity challenged the classic paradigm of positive correlation between species richness and temperature. Finally, the global patterns that we described in this work, illustrated the opportunistic foraging behaviour, life strategies and the high degree of plasticity of these species. Such behaviour allows adaptation to changes in the environment.

Trigger and data link system for CMS Resistive Plate Chambers at the LHC accelerator

The purpose of the work was to realize a high-speed digital data transfer system for RPC muon chambers in the CMS experiment on CERN’s new LHC accelerator. This large scale system took many years and many stages of prototyping to develop, and required the participation of tens of people. The system interfaces to Frontend Boards (FEB) at the 200,000-channel detector and to the trigger and readout electronics in the control room of the experiment. The distance between these two is about 80 metres and the speed required for the optic links was pushing the limits of available technology when the project was started. Here, as in many other aspects of the design, it was assumed that the features of readily available commercial components would develop in the course of the design work, just as they did. By choosing a high speed it was possible to multiplex the data from some the chambers into the same fibres to reduce the number of links needed. Further reduction was achieved by employing zero suppression and data compression, and a total of only 660 optical links were needed. Another requirement, which conflicted somewhat with choosing the components a late as possible was that the design needed to be radiation tolerant to an ionizing dose of 100 Gy and to a have a moderate tolerance to Single Event Effects (SEEs). This required some radiation test campaigns, and eventually led to ASICs being chosen for some of the critical parts. The system was made to be as reconfigurable as possible. The reconfiguration needs to be done from a distance as the electronics is not accessible except for some short and rare service breaks once the accelerator starts running. Therefore reconfigurable logic is extensively used, and the firmware development for the FPGAs constituted a sizable part of the work. Some special techniques needed to be used there too, to achieve the required radiation tolerance. The system has been demonstrated to work in several laboratory and beam tests, and now we are waiting to see it in action when the LHC will start running in the autumn 2008.

Suomen kartta 1:1000000 (kansainvälinen järjestelmä) Karta över Finland 1:1000000 (internationellt system) = Carte du Finlande au 1:1000000 (systeme international)

1 kartta :, vär. ;, 65 x 81 cm

Study of the application of the high performance liquid chromatography-particle beam interface-mass spectrometry technique on some pesiticides and the reduction phenomena in the system

This work includes two major parts. The first part of the work concentrated on the studies of the application of the highperfonnance liquid chromatography-particle beam interface-mass spectrometry system of some pesticides. Factors that have effects on the detection sensitivity were studied. The linearity ranges and detection limits of ten pesticides are also given in this work. The second part of the work concentrated on the studies of the reduction phenomena of nitro compounds in the HPLC-PB-MS system. Direct probe mass spectrometry and gas chromatography-mass spectrometry techniques were also used in the work. Factors that have effects on the reduction of the nitro compounds were studied, and the possible explanation is proposed. The final part of this work included the studies of reduction behavior of some other compounds in the HPLC-PB-MS system, included in them are: quinones, sulfoxides, and sulfones.

Tourist travel via Grand Trunk Railway System : and connections, including Niagara Falls and Gorge, the Highlands of Ontario, comprising Georgian Bay, Muskoka Lakes ; St. Lawrence River, Montreal, Quebec, the Saguenay River, the Rangeley Lakes, White Mountains, and the Atlantic Sea-Coast /

Previous editions of this work have appeared under the title: Gateways of tourist travel.

A Foucaultian analysis of power relations in child protection case work with youth and families

This thesis takes some steps in examining the child protection system from a position that is rarely discussed. Specifically, I explore how Foucault's concept of disciplinary power can be used to demonstrate how power operates within the client/worker relationship. This relationship is shown to be quite complex with power flowing bidirectionally, rather than hierarchically. Instead of viewing power imbalances as a function of state control, I show how the client/worker relationship is constituted by the worker, the client, the organization and the social body. A postmodern auto ethnography is used to document my journey as I expose the disciplinary practices and instruments that I was subject to and used with my clients. 2 Given that the child protection system is constantly shifting and changing in order to improve its ability to safeguard children a greater emphasis is required to examine how workers operate within this complex, overwhelming and multi-dimensional world. This thesis has shown that by engaging in a reflexive examination of my position of power different approaches to making intervention beneficial to all involved become available. This is important if child protection work aims to work with clients rather than on clients.

Identification and characterization of retinoic acid-induced morphological and electrophysiological changes in an invertebrate nervous system

The vitamin A metabolite, retinoic acid (RA) is known to play an important role in the development, patterning and regeneration of nervous tissue, both in the embryo and in the adult. Classically, RA is known to mediate the transcription of target genes through the binding and activation ofits nuclear receptors: the retinoic acid receptors (RARs) and retinoid X receptors (RXRs). Recently, mounting evidence from many animal models has implicated a number of RA-mediated effects operating independently of gene transcription, and thus highlights nove~ nongenornic actions of RA. For example, recent work utilizing cultured neurons from the pond snaa Lymnaea stagnalis, has shown that RA can elicit a regenerative response, growth cone turning, independently of "classical" transcriptional activation While this work illustrates a novel regeneration-inducing effect in culture, it is currently -unknown whether RA also induces regeneration in situ. This study has sought to determine RA's regenerative effucts at the morphological and molecular levels by utilizing an in situ approach focusing on a single identified dopaminergic neuron which possesses a known "mapped" morphology within the CNS. These studies show, for the first time in an invertebrate, that RA can increase neurite outgrowth of dopaminergic cells that have undergone a nerve-crush injury. Utilizing Western blot analysis, it was shown that this effect appears to be independent of any changes in whole CNS expression levels of either the RAR or RXR. Additionally, utilizing immunohistochemistry, to examine protein localization, there does not appear to be any obvious changes in the RXR expression level at the crush site. Changes in cell morphology such as neurity extension are known to be modulated by changes in neuronal firing activity. It has been previously shown that exposure to RA over many days can lead to changes in the electrophysiological properties of cultured Lymnaea neurons; however, no studies have investigated whether short-term exposure to RA can elicit electrophysiological changes and/or changes in firing pattern of neurons in Lymnaea or any other species. The studies performed here show, for the first time in any species, that short-tenn treatment with RA can elicit significant changes in the firing properties of both identified dopaminergic neurons and peptidergic neurons. This effect appears to be independent of protein synthesis, activation of protein kinase A or phospholipase C, and calcium influx but is both dose-dependent and isomer-dependent. These studies provide evidence that the RXR, but not RAR, may be involved, and that intracellular calcium concentrations decrease upon RAexposure with a time course, dose-dependency and isomer-dependency that coincide with the RA-induced electrophysiological changes. Taken together, these studies provide important evidence highlighting RA as a multifunctional molecule, inducing morphological, molecular and electrophysiological changes within the CNS, and highlight the many pathways through which RA may operate to elicit its effects.

Investigating the role of retinoic acid in the vertebrate and invertebrate nervous system

Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999.5 B56 D64 2007

Priming the Governance System for Climate Change Adaptation: The Application of a Social Ecological Inventory (SEI) to Engage Actors in Niagara, Canada

Adaptive systems of governance are increasingly gaining attention in respect to complex and uncertain social-ecological systems. Adaptive co-management is one strategy to make adaptive governance operational and holds promise with respect to community climate change adaptation as it facilitates participation and learning across scales and fosters adaptive capacity and resilience. Developing tools which hasten the realization of such approaches are growing in importance. This paper describes explores the Social Ecological Inventory (SEI) as a tool to 'prime' a regional climate change adaptation network. The SEI tool draws upon the social-ecological systems approach in which social and ecological systems are considered linked. SEIs bridge the gap between conventional stakeholder analysis and biological inventories and take place through a six phase process. A case study describes the results of applying an SEI to prime an adaptive governance network for climate change adaptation in the Niagara Region of Canada. Lessons learned from the case study are discussed and highlight how the SEI catalyzed the adaptive co-management process in the case. Future avenues for SEIs in relation to climate change adaptation emerge from this exploratory work and offer opportunities to inform research and adaptation planning.

Cell-selective modulation of the Drosophila neuromuscular system by a neuropeptide

Neuropeptides can modulate physiological properties of neurons in a cell-specific manner. The present work examines whether a neuropeptide can also modulate muscle tissue in a cell-specific manner, using identified muscle cells in third instar larvae of fruit flies. DPKQDFMRFa, a modulatory peptide in the fruit fly Drosophila melanogaster, has been shown to enhance transmitter release from motor neurons and to elicit contractions by a direct effect on muscle cells. We report that DPKQDFMRFa causes a nifedipine-sensitive drop in input resistance in some muscle cells (6 and 7) but not others (12 and 13). The peptide also increased the amplitude of nerve-evoked contractions and compound excitatory junctional potentials (EJPs) to a greater degree in muscle cells 6 and 7 than 12 and 13. Knocking down FMRFa receptor (FR) expression separately in nerve and muscle indicate that both presynaptic and postsynaptic FR expression contributed to the enhanced contractions, but EJP enhancement was due mainly to presynaptic expression. Muscle-ablation showed that DPKQDFMRFa induced contractions and enhanced nerve-evoked contractions more strongly in muscle cells 6 and 7 than cells 12 and 13. In situ hybridization indicated that FR expression was significantly greater in muscle cells 6 and 7 than 12 and 13. Taken together, these results indicate that DPKQDFMRFa can elicit cell-selective effects on muscle fibres. The ability of neuropeptides to work in a cell-selective manner on neurons and muscle cells may help explain why so many peptides are encoded in invertebrate and vertebrate genomes.

Cell-selective modulation of the neuromuscular system in Drosophila

The capacity for all living cells to sense and interact with their environment is a necessity for life. In highly evolved, eukaryotic species, like humans, signalling mechanisms are necessary to regulate the function and survival of all cells in the organism. Synchronizing systemic signalling systems at the cellular, organ and whole-organism level is a formidable task, and for most species requires a large number of signalling molecules and their receptors. One of the major types of signalling molecules used throughout the animal kingdom are modulatory substances (e.x. hormones and peptides). Modulators can act as chemical transmitters, facilitating communication at chemical synapses. There are hundreds of circulating modulators within the mammalian system, but the reason for so many remains a mystery. Recent work with the fruit fly, Drosophila melanogaster demonstrated the capacity for peptides to modulate synaptic transmission in a neuron-specific manner, suggesting that peptides are not simply redundant, but rather may have highly specific roles. Thus, the diversity of peptides may reflect cell-specific functions. The main objective of my doctoral thesis was to examine the extent to which neuromodulator substances and their receptors modulate synaptic transmission at a cell-specific level using D. melanogaster. Using three different modulatory substances, i) octopamine - a biogenic amine released from motor neuron terminals, ii) DPKQDFMRFa - a neuropeptide secreted into circulation, and iii) Proctolin - a pentapeptide released both from motor neuron terminals and into circulation, I was able to investigate not only the capacity of these various substances to work in a cell-selective manner, but also examine the different mechanisms of action and how modulatory substances work in concert to execute systemic functionality . The results support the idea that modulatory substances act in a circuit-selective manner in the central nervous system and in the periphery in order to coordinate and synchronize physiologically and behaviourally relevant outputs. The findings contribute as to why the nervous system encodes so many modulatory substances.

The cumate gene-switch: a system for regulated expression in mammalian cells

Affiliation: Sophie Broussau, Amelie Pilotte & Bernard Massie : Départment de microbiologie et immunologie, Faculté de médecine, Université de Montréal