Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

Pneumococcal meningitis induces apoptosis in recently postmitotic immature neurons in the dentate gyrus of neonatal rats

Bacterial meningitis is associated with high rates of morbidity and mortality, despite advances in antibiotic therapy. Meningitis caused by Streptococcus pneumoniae is associated with a particularly high incidence of neurological sequelae including deficits resulting from damage to the hippocampus. Previous studies have documented that in neonatal rats with experimental pneumococcal meningitis, cells in the subgranular layer of the dentate gyrus undergo apoptosis. The aim of the present study was to define in more detail the nature of the dying cells in the dentate gyrus. Using bromodeoxyuridine labeling at different times before infection combined with immunocytochemistry, we identified the vulnerable cells as those which underwent mitosis 6-10 days before infection. A majority of these cells are of neuronal lineage. Thus, immature neuronal cells several days after the last cell division are preferentially triggered into apoptosis during pneumococcal meningitis. The loss of these cells may contribute to the long-lasting impairment of hippocampal function identified in animal models and in humans after bacterial meningitis.

Efforts and Models of Education for Parents: the Danish Approach

The report examines the relationship between day care institutions, schools and so called “parents unfamiliar to education” as well as the relationship between the institutions. With in Danish public and professional discourse concepts like parents unfamiliar to education are usually referring to environments, parents or families with either no or just very restricted experience of education except for the basic school (folkeskole). The “grand old man” of Danish educational research, Prof. Em. Erik Jørgen Hansen, defines the concept as follows: Parents who are distant from or not familiar with education, are parents without tradition of education and by that fact they are not able to contribute constructively in order to back up their own children during their education. Many teachers and pedagogues are not used to that term; they rather prefer concepts like “socially exposed” or “socially disadvantaged” parents or social classes or strata. The report does not only focus on parents who are not capable to support the school achievements of their children, since a low level of education is usually connected with social disadvantage. Such parents are often not capable of understanding and meeting the demands from side of the school when sending their children to school. They lack the competencies or the necessary competence of action. For the moment being much attention is done from side of the Ministries of Education and Social Affairs (recently renamed Ministry of Welfare) in order to create equal possibilities for all children. Many kinds of expertise (directions, counsels, researchers, etc.) have been more than eager to promote recommendations aiming at achieving the ambitious goal: 2015 95% of all young people should complement a full education (classes 10.-12.). Research results are pointing out the importance of increased participation of parents. In other word the agenda is set for ‘parents’ education’. It seems necessary to underline that Danish welfare policy has been changing rather radical. The classic model was an understanding of welfare as social assurance and/or as social distribution – based on social solidarity. The modern model looks like welfare as social service and/or social investment. This means that citizens are changing role – from user and/or citizen to consumer and/or investor. The Danish state is in correspondence with decisions taken by the government investing in a national future shaped by global competition. The new models of welfare – “service” and “investment” – imply severe changes in hitherto known concepts of family life, relationship between parents and children etc. As an example the investment model points at a new implementation of the relationship between social rights and the rights of freedom. The service model has demonstrated that weakness that the access to qualified services in the field of health or education is becoming more and more dependent of the private purchasing power. The weakness of the investment model is that it represents a sort of “The Winner takes it all” – since a political majority is enabled to make agendas in societal fields former protected by the tripartite power and the rights of freedom of the citizens. The outcome of the Danish development seems to be an establishment of a political governed public service industry which on one side are capable of competing on market conditions and on the other are able being governed by contracts. This represents a new form of close linking of politics, economy and professional work. Attempts of controlling education, pedagogy and thereby the population are not a recent invention. In European history we could easily point at several such experiments. The real news is the linking between political priorities and exercise of public activities by economic incentives. By defining visible goals for the public servants, by introducing measurement of achievements and effects, and by implementing a new wage policy depending on achievements and/or effects a new system of accountability is manufactured. The consequences are already perceptible. The government decides to do some special interventions concerning parents, children or youngsters, the public servants on municipality level are instructed to carry out their services by following a manual, and the parents are no longer protected by privacy. Protection of privacy and minority is no longer a valuable argumentation to prevent further interventions in people’s life (health, food, school, etc.). The citizens are becoming objects of investment, also implying that people are investing in their own health, education, and family. This means that investments in changes of life style and development of competences go hand in hand. The below mentioned programmes are conditioned by this shift.

Vision and night driving abilities of elderly drivers

OBJECTIVE: In this article, we review the impact of vision on older people's night driving abilities. Driving is the preferred and primary mode of transport for older people. It is a complex activity where intact vision is seminal for road safety. Night driving requires mesopic rather than scotopic vision, because there is always some light available when driving at night. Scotopic refers to night vision, photopic refers to vision under well-lit conditions, and mesopic vision is a combination of photopic and scotopic vision in low but not quite dark lighting situations. With increasing age, mesopic vision decreases and glare sensitivity increases, even in the absence of ocular diseases. Because of the increasing number of elderly drivers, more drivers are affected by night vision difficulties. Vision tests, which accurately predict night driving ability, are therefore of great interest. METHODS: We reviewed existing literature on age-related influences on vision and vision tests that correlate or predict night driving ability. RESULTS: We identified several studies that investigated the relationship between vision tests and night driving. These studies found correlations between impaired mesopic vision or increased glare sensitivity and impaired night driving, but no correlation was found among other tests; for example, useful field of view or visual field. The correlation between photopic visual acuity, the most commonly used test when assessing elderly drivers, and night driving ability has not yet been fully clarified. CONCLUSIONS: Photopic visual acuity alone is not a good predictor of night driving ability. Mesopic visual acuity and glare sensitivity seem relevant for night driving. Due to the small number of studies evaluating predictors for night driving ability, further research is needed.

Space-qualified laser system for the BepiColombo Laser Altimeter

The space-qualified design of a miniaturized laser for pulsed operation at a wavelength of 1064 nm and at repetition rates up to 10 Hz is presented. This laser consists of a pair of diode-laser pumped, actively q-switched Nd:YAG rod oscillators hermetically sealed and encapsulated in an environment of dry synthetic air. The system delivers at least 300 million laser pulses with 50 mJ energy and 5 ns pulse width (FWHM). It will be launched in 2017 aboard European Space Agency’s Mercury Planetary Orbiter as part of the BepiColombo Laser Altimeter, which, after a 6-years cruise, will start recording topographic data from orbital altitudes between 400 and 1500 km above Mercury’s surface.

Disentangling multiple drivers of pollination in a landscape-scale experiment

Animal pollination is essential for the reproductive success of many wild and crop plants. Loss and isolation of (semi-)natural habitats in agricultural landscapes can cause declines of plants and pollinators and endanger pollination services.We investigated the independent effects of these drivers on pollination of young cherry trees in a landscape-scale experiment. We included (i) isolation of study trees from other cherry trees (up to 350 m), (ii) the amount of cherry trees in the landscape, (iii) the isolation from other woody habitats (up to 200 m) and (iv) the amount of woody habitats providing nesting and floral resources for pollinators. At the local scale, we considered effects of (v) cherry flower density and (vi) heterospecific flower density. Pollinators visited flowers more often in landscapes with high amount of woody habitat and at sites with lower isolation from the next cherry tree. Fruit set was reduced by isolation from the next cherry tree and by a high local density of heterospecific flowers but did not directly depend on pollinator visitation. These results reveal the importance of considering the plant’s need for con-specific pollen and its pollen competition with co-flowering species rather than focusing only on pollinators’ habitat requirements and flower visita-tion. It proved to be important to disentangle habitat isolation from habitat loss, local from landscape-scale effects, and direct effects of pollen availability on fruit set from indirect effects via pollinator visitation to understand the delivery of an agriculturally important ecosystem service.

Drivers of RFID adoption in the automotive industry

The automotive industry is confronted with increasing competition, leading to higher cost pressures and the demand to optimize production processes and value chains. Here the RFID technology promises to improve a range of processes in logistics and manufacturing. Despite its promising potential in the automotive industry, RFID has not yet made a decisive step from pilots to real-life implementations in the supply chain. Building on existing models of technology adoption, we analyze RFID adoption dynamics in the automotive industry. Building on existing IOS adoption models tailored to RFID specifics and based on ten semi-structured interviews with OEMs and suppliers, we evaluate main drivers of RFID adoption in the automotive industry. Our key findings are that the use of a coercive approach by the OEM could be redundant because of the market-driven RFID adoption among many suppliers. Furthermore, suppliers implementing RFID can now gain an early mover competitive advantage by developing higher trust in their relationship with the OEM as well as accumulating unique expertise in this area.

Is the Atlantic subpolar gyre bistable in comprehensive coupled climate models?

The Atlantic subpolar gyre (SPG) is one of the main drivers of decadal climate variability in the North Atlantic. Here we analyze its dynamics in pre-industrial control simulations of 19 different comprehensive coupled climate models. The analysis is based on a recently proposed description of the SPG dynamics that found the circulation to be potentially bistable due to a positive feedback mechanism including salt transport and enhanced deep convection in the SPG center. We employ a statistical method to identify multiple equilibria in time series that are subject to strong noise and analyze composite fields to assess whether the bistability results from the hypothesized feedback mechanism. Because noise dominates the time series in most models, multiple circulation modes can unambiguously be detected in only six models. Four of these six models confirm that the intensification is caused by the positive feedback mechanism.

Unraveling environmental drivers of a recent increase in Swiss fungi fruiting

Disentangling biotic and abiotic drivers of wild mushroom fruiting is fraught with difficulties because mycelial growth is hidden belowground, symbiotic and saprotrophic supply strategies may interact, and myco-ecological observations are often either discontinuous or too short. Here, we compiled and analyzed 115 417 weekly fungal fruit body counts from permanent Swiss inventories between 1975 and 2006. Mushroom fruiting exhibited an average autumnal delay of 12 days after 1991 compared with before, the annual number of fruit bodies increased from 1801 to 5414 and the mean species richness doubled from 10 to 20. Intra- and interannual coherency of symbiotic and saprotrophic mushroom fruiting, together with little agreement between mycorrhizal yield and tree growth suggests direct climate controls on fruit body formation of both nutritional modes. Our results contradict a previously reported declining of mushroom harvests and propose rethinking the conceptual role of symbiotic pathways in fungi-host interaction. Moreover, this conceptual advancement may foster new cross-disciplinary research avenues, and stimulate questions about possible amplifications of the global carbon cycle, as enhanced fungal production in moist mid-latitude forests rises carbon cycling and thus increases greenhouse gas exchanges between terrestrial ecosystems and the atmosphere.