Indexed induction and coinduction, fibrationally.

This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we present a sound coinduction rule for any data type arising as the final coalgebra of a functor, thus relaxing Hermida and Jacobs’ restriction to polynomial data types. For this we introduce the notion of a quotient category with equality (QCE), which both abstracts the standard notion of a fibration of relations constructed from a given fibration, and plays a role in the theory of coinduction dual to that of a comprehension category with unit (CCU) in the theory of induction. Second, we show that indexed inductive and coinductive types also admit sound induction and coinduction rules. Indexed data types often arise as initial algebras and final coalgebras of functors on slice categories, so our key technical results give sufficent conditions under which we can construct, from a CCU (QCE) U : E -> B, a fibration with base B/I that models indexing by I and is also a CCU (QCE)

Quantized time correlation function approach to non-adiabatic decay rates in condensed phase: Application to solvated electrons in water and methanol

A new, alternative form of the golden rule formula defining the non-adiabatic transition rate between two quantum states in condensed phase is presented. The formula involves the quantum time correlation function of the energy gap, of the non-adiabatic coupling, and their cross terms. Those quantities can be inferred from their classical counterparts, determined via MD simulations. The formalism is applied to the problem of the non-adiabatic relaxation of an equilibrated p-electron in water and methanol. We find that, in both solvent, the relaxation is induced by the coupling to the vibrational modes and the quantum effects modify the rate by a factor of 2-10 depending on the quantization procedure applied. The resulting p-state lifetime for a hypothetical equilibrium excited state appears extremely short, in the sub-100 fs regime. Although this result is in contrast with all previous theoretical predictions, we also illustrate that the lifetimes computed here are very sensitive to the simulated electronic quantum gap and to the strongly correlated non-adiabatic coupling

Thermo-mechanical analysis of dental silicone polymers

Soft lining materials are used to replace the inner surface of a conventional complete denture, especially for weak elderly patients, with delicate health who cannot tolerate the hard acrylic denture base. Most of these patients have fragile supporting mucosa, excessive residual ridge resorption, particularly on the mandibular arch. The application of a soft liner to the mandibular denture allows absorbing impact forces during mastication and relieving oral mucosa. Actually, the silicone rubbers constitute the main family of commercialised soft lining materials. This study was conducted to understand the relationships between the mechanical properties and the physical structure of polysiloxanes. For this purpose, a series of polysiloxanes of various chemical compositions have been investigated. The evolution of their physical structure as a function of temperature has been followed by differential scanning calorimetry (DSC). In order to facilitate comparisons, the mechanical modulus has been analysed upon the same heating rate using dynamic mechanical analysis (DMA). Polysiloxanes actually commercialised as soft denture liners are three-dimensional networks: the flexibility of chains allows a crystalline organisation in an amorphous phase leading to the low value of the shear modulus. The dynamic mechanical analysis shows that they are used in the rubbery state. So, polysiloxanes have steady mechanical properties during physiological utilisation

Components as processes: an exercise in coalgebraic modeling

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USASoftware components, arising, typically, in systems ’ analysis and design, are characterized by a public interface and a private encapsulated state. They persist (and evolve) in time, according to some behavioural patterns. This paper is an exercise in modeling such components as coalgebras for some kinds of endofunctors on , capturing both (interface) types and behavioural aspects. The construction of component categories, cofibred over the interface space, emerges by generalizing the usual notion of a coalgebra morphism. A collection of composition operators as well as a generic notion of bisimilarity, are discussed

Impacts of a Changing Climate and Land Use on Reindeer Pastoralism: Indigenous Knowledge and Remote Sensing

The Arctic is home to many indigenous peoples, including those who depend on reindeer herding for their livelihood, in one of the harshest environments in the world. For the largely nomadic peoples, reindeer not only form a substantial part of the Arctic food base and economy, but they are also culturally important, shaping their way of life, mythologies, festivals and ceremonies. Reindeer pastoralism or husbandry has been practiced by numerous peoples all across Eurasia for thousands of years and involves moving herds of reindeer, which are very docile animals, from pasture to pasture depending on the season. Thus, herders must adapt on a daily basis to find optimal conditions for their herds according to the constantly changing conditions. Climate change and variability plus rapid development are increasingly creating major changes in the physical environment, ecology, and cultures of these indigenous reindeer herder communities in the North, and climate changes are occurring significantly faster in the Arctic than the rest of the globe, with correspondingly dramatic impacts (Oskal, 2008). In response to these changes, Eurasian reindeer herders have created the EALAT project, a comprehensive new initiative to study these impacts and to develop local adaptation strategies based upon their traditional knowledge of the land and its uses - in targeted partnership with the science and remote sensing community - involving extensive collaborations and coproduction of knowledge to minimize the impacts of the various changes. This chapter provides background on climate and development challenges to reindeer husbandry across the Arctic and an overview of the EALAT initiative, with an emphasis on indigenous knowledge, remote sensing, Geographic Information Systems (GIS), and other scientific data to 'co-produce' datasets for use by herders for improved decision-making and herd management. It also provides a description of the EALAT monitoring data integration and sharing system and portal being developed for reindeer pastoralism. In addition, the chapter provides some preliminary results from the EALAT Project, including some early remote sensing research results

Eurasian Reindeer Pastoralism in a Changing Climate: Indigenous Knowledge and NASA Remote Sensing

It is intended that Reindeer Mapper/EALAT will be able to provide reindeer herders with an efficient tool for managing the real-time movements and migrations of their herds through enabling improved efficiency in linking different members of the herder settlements or communities and providing real-time local, satellite or other data (e.g., ice melt in lakes and rivers, weather events), thus enabling real time adjustments to herd movements to avoid problems such as changing weather/climate conditions, freeze-thaw "lock-out" problems, or take advantage of availability of better pasturelands along migration routes. The system is being designed to incorporate local data to allow users to bring their own data into the system for analysis in addition to the data provided by the system itself. With the local information of the population, up to date environmental data and habitat characteristics, the system could generate maps depicting important features of interest for reindeer managers. One of the products derived from the planned Reindeer Mapper system will be a web-based graphic display that allows analysts to quickly pinpoint areas of interest such as those with large concentrations of reindeer and provide surrounding environmental information. The system could be automatically updated with near-real-time information such as hourly precipitation and snowfall rate and accumulation, daily surface and air temperatures, and vegetation cover conditions. The system could bring attention to the proximity of human and animal populations as part of the need for control response. A local GIS will bring these many layers together with several supporting models, showing only a straightforward graphic of the real-time situation in the field. Because the system proposed will be operating in the Internet environment, it should be virtually accessible from any network computers and wireless remote access from the field. The International Center for Reindeer Husbandry in Kautokeino, Norway, is providing regional and international coordination of and access to data sets and expertise, and will act as overall clearinghouse for EALAT information