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

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

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Enabling quantitative data analysis through e-infrastructures

This paper discusses how quantitative data analysis in the social sciences can engage with and exploit an e-Infrastructure. We highlight how a number of activities which are central to quantitative data analysis, referred to as ‘data management’, can benefit from e-infrastructure support. We conclude by discussing how these issues are relevant to the DAMES (Data Management through e-Social Science) research Node, an ongoing project that aims to develop e-Infrastructural resources for quantitative data analysis in the social sciences

Reconciling evidence from ancient and contemporary genomes: a major source for the European Neolithic within Mediterranean Europe

Important gaps remain in our understanding of the spread of farming into Europe, due partly to apparent contradictions between studies of contemporary genetic variation and ancient DNA. It seems clear that farming was introduced into central, northern, and eastern Europe from the south by pioneer colonization. It is often argued that these dispersals originated in the Near East, where the potential source genetic pool resembles that of the early European farmers, but clear ancient DNA evidence from Mediterranean Europe is lacking, and there are suggestions that Mediterranean Europe may have resembled the Near East more than the rest of Europe in the Mesolithic. Here, we test this proposal by dating mitogenome founder lineages from the Near East in different regions of Europe. We find that whereas the lineages date mainly to the Neolithic in central Europe and Iberia, they largely date to the Late Glacial period in central/eastern Mediterranean Europe. This supports a scenario in which the genetic pool of Mediterranean Europe was partly a result of Late Glacial expansions from a Near Eastern refuge, and that this formed an important source pool for subsequent Neolithic expansions into the rest of Europ

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