Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

Chern numbers for two families of noncommutative Hopf fibrations

We consider noncommutative line bundles associated with the Hopf fibrations of SUq(2) over all Podles spheres and with a locally trivial Hopf fibration of S^3_{pq}. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SUq(2) and S^3_{pq}. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them.Comment: 6 page

Xenogeneic, extracorporeal liver perfusion in primates improves the ratio of branched-chain amino acids to aromatic amino acids (Fischer's ratio)

In fulminant hepatic failure (FHF), the development of hepatic encephalopathy is associated with grossly abnormal concentrations of plasma amino acids (PAA). Normalization of the ratio of branched-chain amino acids to aromatic amino acids (Fischer's ratio) correlates with clinical improvement. This study evaluated changes in PAA metabolism during 4 h of isolated, normothermic extracorporeal liver perfusion using a newly designed system containing human blood and a rhesus monkey liver. Bile and urea production were within the physiological range. Release of the transaminases AST, ALT and LDH were minimal. The ratio of branched (valine, leucine, isoleucine) to aromatic (tyrosine, phenylalanine) amino acids increased significantly. These results indicate that a xenogeneic extracorporeal liver perfusion system is capable of significantly increasing Fischer's ratio and may play a role in treating and bridging patients in FHF in the future

What is the solar influence on climate? Overview of activities during CAWSES-II

This paper presents an overview of the main advances in the Key Questions identified by the Task Group ‘What is the Solar Influence on Climate’ by the SCOSTEP CAWSES-II science program. We go through different aspects of solar forcing from solar irradiance, including total solar irradiance (TSI) and solar spectral irradiance (SSI), to energetic particle forcing, including energetic particle precipitation (EPP) and cosmic rays (CR). Besides discussing the main advances in the timeframe 2009 to 2013, we also illustrate the proposed mechanism for climate variability for the different solar variability sources listed above. The key questions are as follows: What is the importance of spectral variations to solar influences on climate? What is the effect of energetic particle forcing on the whole atmosphere and what are the implications for climate? How well do models reproduce and predict solar irradiance and energetic particle influences on the atmosphere and climate

Influence of MgO overlayers on the electronic states of bct Co(001) thin film grown on bcc Fe(001)/GaAs(001

The spin polarization of the valence band electronic states of strained bcc Co(001) and MgO/Co(001) thin films grown onto a bcc Fe(001) seed layer on GaAs(001) are investigated by employing spin-resolved photoemission spectroscopy. The experimental results are compared with the calculated energy band structure of bcc and bct Co(001), and discussed in the framework of the interband transition model, which allows one to ascribe the observed spectral features to bands of given spin and spatial symmetry. In contrast to the positive spin polarization observed at the MgO/Fe(001) interface, a large negative spin polarization of the electronic states at the Fermi level is observed for the MgO/Co/Fe/GaAs(001) system. Such a large negative spin polarization is attributed to a change in the energy band structure at the bct Co/bcc Fe(001) interface

Predicting Landscape-Scale CO 2 Flux at a Pasture and Rice Paddy with Long-Term Hyperspectral Canopy Reflectance Measurements

Measurements of hyperspectral canopy reflectance provide a detailed snapshot of information regarding canopy biochemistry, structure and physiology. In this study, we collected 5 years of repeated canopy hyperspectral reflectance measurements for a total of over 100 site visits within the flux footprints of two eddy covariance towers at a pasture and rice paddy in northern California. The vegetation at both sites exhibited dynamic phenology, with significant interannual variability in the timing of seasonal patterns that propagated into interannual variability in measured hyperspectral reflectance. We used partial least-squares regression (PLSR) modeling to leverage the information contained within the entire canopy reflectance spectra (400–900 nm) in order to investigate questions regarding the connection between measured hyperspectral reflectance and landscape-scale fluxes of net ecosystem exchange (NEE) and gross primary productivity (GPP) across multiple timescales, from instantaneous flux to monthly integrated flux

Kinetic models with randomly perturbed binary collisions

We introduce a class of Kac-like kinetic equations on the real line, with general random collisional rules, which include as particular cases models for wealth redistribution in an agent-based market or models for granular gases with a background heat bath. Conditions on these collisional rules which guarantee both the existence and uniqueness of equilibrium profiles and their main properties are found. We show that the characterization of these stationary solutions is of independent interest, since the same profiles are shown to be solutions of different evolution problems, both in the econophysics context and in the kinetic theory of rarefied gases

Generic Fibrational Induction

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, a sound induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of a particular syntactic form. We establish the soundness of our generic induction rule by reducing induction to iteration. We then show how our generic induction rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The first of these lies outside the scope of Hermida and Jacobs' work because it is not polynomial, and as far as we are aware, no induction rules have been known to exist for the second and third in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set.Comment: For Special Issue from CSL 201

Interpersonal neural synchrony when predicting others’ actions during a game of rock-paper-scissors

As members of a social species, we spend most of our time interacting with others. In interactions, we tend to mutually align our behavior and brain responses to communicate more effectively. In a semi-computerized version of the Rock-Paper-Scissors game, we investigated whether people show enhanced interpersonal neural synchronization when making explicit predictions about others’ actions. Across four experimental conditions, we measured the dynamic brain activity using the functional near-infrared spectroscopy (fNIRS) hyperscanning method. Results showed that interpersonal neural synchrony was enhanced when participants played the game together as they would do in real life in comparison to when they played the game on their own. We found no evidence of increased neural synchrony when participants made explicit predictions about others’ actions. Hence, neural synchrony may depend on mutual natural interaction rather than an explicit prediction strategy. This study is important, as it examines one of the presumed functions of neural synchronization namely facilitating predictions

Adverse Drug Reactions in a Complementary Medicine Hospital: A Prospective, Intensified Surveillance Study

Background. Anthroposophic medicine is one of the widely used approaches of complementary and alternative medicine. However, few prospective studies have generated safety data on its use. Objectives. We aimed to assess adverse drug reactions (ADRs) caused by anthroposophical medicines (AMEDs) in the anthroposophical Community Hospital Havelhoehe, GERMANY. Study Design and Methods. Between May and November 2007, patients of six medical wards were prospectively assessed for ADRs. Suspected ADRs occurring during hospitalization were documented and classified in terms of organ manifestation (WHO SOC-code), causality (according to the Uppsala Monitoring Centre WHO criteria), and severity. Only those ADRs with a severity of grade 2 and higher according to the CTCAE classification system are described here. Results. Of the 3,813 patients hospitalized, 174 patients (4.6%) experienced 211 ADRs (CTCAE grade 2/3 n = 191, 90.5%, CTCAE grade 4/5 n = 20, 9.5%) of which 57 ADRs (27.0%) were serious. The median age of patients with ADRs (62.1% females) was 72.0 (IQR: 61.0; 80.0). Six patients (0.2%) experienced six ADRs (2.8% of ADRs) caused by eight suspected AMEDs, all of which were mild reactions (grade 2). Conclusion. Our data show that ADRs caused by AMEDs occur rarely and are limited to mild symptoms