A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

The relation of secondary student's career choice readiness to a six-phase model of career decision-making

Based on common aspects of recent models of career decision-making (CDM) a sixphase model of CDM for secondary students is presented and empirically evaluated. The study tested the hypothesis that students who are in later phases possess more career choice readiness and consider different numbers of career alternatives. 266 Swiss secondary students completed measures tapping phase of CDM, career choice readiness, and number of considered career options. Career choice readiness showed an increase with phase of CDM. Later phases were generally associated with a larger increase in career choice readiness. Number of considered career options showed a curve-linear development with fewer options considered at the beginning and at the end of the process. Male students showed a larger variability in their distribution among the process with more male than female students in the first and last phase of the process. Implications for theory and practice are presented.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Political Decision-Making in Switzerland. The Consensus Model under Pressure

This in-depth study of the decision-making processes of the early 2000s shows that the Swiss consensus democracy has changed considerably. Power relations have transformed, conflict has increased, coalitions have become more unstable and outputs less predictable. Yet these challenges to consensus politics provide opportunities for innovation.

Effects and uptake of gold nanoparticles deposited at the air–liquid interface of a human epithelial airway model

The impact of nanoparticles (NPs) in medicine and biology has increased rapidly in recent years. Gold NPs have advantageous properties such as chemical stability, high electron density and affinity to biomolecules, making them very promising candidates as drug carriers and diagnostic tools. However, diverse studies on the toxicity of gold NPs have reported contradictory results. To address this issue, a triple cell co-culture model simulating the alveolar lung epithelium was used and exposed at the air-liquid interface. The cell cultures were exposed to characterized aerosols with 15 nm gold particles (61 ng Au/cm2 and 561 ng Au/cm2 deposition) and incubated for 4 h and 24 h. Experiments were repeated six times. The mRNA induction of pro-inflammatory (TNFalpha, IL-8, iNOS) and oxidative stress markers (HO-1, SOD2) was measured, as well as protein induction of pro- and anti-inflammatory cytokines (IL-1, IL-2, IL-4, IL-6, IL-8, IL-10, GM-CSF, TNFalpha, INFgamma). A pre-stimulation with lipopolysaccharide (LPS) was performed to further study the effects of particles under inflammatory conditions. Particle deposition and particle uptake by cells were analyzed by transmission electron microscopy and design-based stereology. A homogeneous deposition was revealed, and particles were found to enter all cell types. No mRNA induction due to particles was observed for all markers. The cell culture system was sensitive to LPS but gold particles did not cause any synergistic or suppressive effects. With this experimental setup, reflecting the physiological conditions more precisely, no adverse effects from gold NPs were observed. However, chronic studies under in vivo conditions are needed to entirely exclude adverse effects.

Genomic Data Reveal a Complex Making of Humans

In the last few years, two paradigms underlying human evolution have crumbled. Modern humans have not totally replaced previous hominins without any admixture, and the expected signatures of adaptations to new environments are surprisingly lacking at the genomic level. Here we review current evidence about archaic admixture and lack of strong selective sweeps in humans. We underline the need to properly model differential admixture in various populations to correctly reconstruct past demography. We also stress the importance of taking into account the spatial dimension of human evolution, which proceeded by a series of range expansions that could have promoted both the introgression of archaic genes and background selection.

Alternative host model to evaluate Aeromonas virulence

Bacterial virulence can only be assessed by confronting bacteria with a host. Here, we present a new simple assay to evaluate Aeromonas virulence, making use of Dictyostelium amoebae as an alternative host model. This assay can be modulated to assess virulence of very different Aeromonas species.

Development of the premature infant nose throat-model (PrINT-Model): an upper airway replica of a premature neonate for the study of aerosol delivery

Clinical efficacy of aerosol therapy in premature newborns depends on the efficiency of delivery of aerosolized drug to the bronchial tree. To study the influence of various anatomical, physical, and physiological factors on aerosol delivery in preterm newborns, it is crucial to have appropriate in vitro models, which are currently not available. We therefore constructed the premature infant nose throat-model (PrINT-Model), an upper airway model corresponding to a premature infant of 32-wk gestational age by three-dimensional (3D) reconstruction of a three-planar magnetic resonance imaging scan and subsequent 3D-printing. Validation was realized by visual comparison and comparison of total airway volume. To study the feasibility of measuring aerosol deposition, budesonide was aerosolized through the cast and lung dose was expressed as percentage of nominal dose. The airway volumes of the initial magnetic resonance imaging and validation computed tomography scan showed a relative deviation of 0.94%. Lung dose at low flow (1 L/min) was 61.84% and 9.00% at high flow (10 L/min), p < 0.0001. 3D-reconstruction provided an anatomically accurate surrogate of the upper airways of a 32-wk-old premature infant, making the model suitable for future in vitro testing.

Making epothilones fluoresce: design, synthesis, and biological characterization of a fluorescent N12-aza-epothilone (azathilone)

A green fluorescent 12-aza-epothilone (azathilone) derivative has been prepared through the attachment of the 4-nitro-2,1,3-benzoxadiazole (NBD) fluorophore to the 12-nitrogen atom of the azamacrolide core structure. While less potent than natural epothilones or different N12-acylated azathilone derivatives, NBD-azathilone (3) promotes tubulin assembly, inhibits cancer cell proliferation in vitro and arrests the cell cycle at the G2/M transition. Most significantly, the binding of 3 to cellular microtubules (MTs) could be directly visualized by confocal fluorescence microscopy. Based on competition binding experiments with laulimalide-stabilized MTs in vitro, the N12-Boc substituted azathilone 1, Epo A, and NBD-azathilone (3) all interact with the same tubulin-binding site. Computational studies provided a structural model of the complexes between beta-tubulin and 1 or 3, respectively, in which the NBD moiety of 3 or the BOC moiety of 1 directly and specifically contribute to MT binding. Collectively, these data demonstrate that the cellular effects of 3 and, by inference, also of other azathilones are the result of their interactions with the cellular MT network.

Endothelial cell protection and complement inhibition in xenotransplantation: a novel in vitro model using whole blood

BACKGROUND: Studying the interactions between xenoreactive antibodies, complement and coagulation factors with the endothelium in hyperacute and acute vascular rejection usually necessitates the use of in vivo models. Conventional in vitro or ex vivo systems require either serum, plasma or anti-coagulated whole blood, making analysis of coagulation-mediated effects difficult. Here a novel in vitro microcarrier-based system for the study of endothelial cell (EC) activation and damage, using non-anticoagulated whole blood is described. Once established, the model was used to study the effect of the characterized complement- and coagulation inhibitor dextran sulfate (DXS, MW 5000) for its EC protective properties in a xenotransplantation setting. METHODS: Porcine aortic endothelial cells (PAEC), grown to confluence on microcarrier beads, were incubated with non-anticoagulated whole human blood until coagulation occurred or for a maximum of 90 min. PAEC-beads were either pre- or co-incubated with DXS. Phosphate buffered saline (PBS) experiments served as controls. Fluid phase and surface activation markers for complement and coagulation were analyzed as well as binding of DXS to PAEC-beads. RESULTS: Co- as well as pre-incubation of DXS, followed by washing of the beads, significantly prolonged time to coagulation from 39 +/- 12 min (PBS control) to 74 +/- 23 and 77 +/- 20 min, respectively (P < 0.005 vs. PBS). DXS treatment attenuated surface deposition of C1q, C4b/c, C3b/c and C5b-9 without affecting IgG or IgM deposition. Endothelial integrity, expressed by positivity for von Willebrand Factor, was maintained longer with DXS treatment. Compared with PBS controls, both pre- and co-incubation with DXS significantly prolonged activated partial thromboplastin time (>300 s, P < 0.05) and reduced production of thrombin-antithrombin complexes and fibrinopeptide A. Whilst DXS co-incubation completely blocked classical pathway complement activity (CH50 test) DXS pre-incubation or PBS control experiments showed no inhibition. DXS bound to PAEC-beads as visualized using fluorescein-labeled DXS. CONCLUSIONS: This novel in vitro microcarrier model can be used to study EC damage and the complex interactions with whole blood as well as screen ''endothelial protective'' substances in a xenotransplantation setting. DXS provides EC protection in this in vitro setting, attenuating damage of ECs as seen in hyperacute xenograft rejection.

Empirical chemosensitivity testing in a spheroid model of ovarian cancer using a microfluidics-based multiplex platform.

The use of biomarkers to infer drug response in patients is being actively pursued, yet significant challenges with this approach, including the complicated interconnection of pathways, have limited its application. Direct empirical testing of tumor sensitivity would arguably provide a more reliable predictive value, although it has garnered little attention largely due to the technical difficulties associated with this approach. We hypothesize that the application of recently developed microtechnologies, coupled to more complex 3-dimensional cell cultures, could provide a model to address some of these issues. As a proof of concept, we developed a microfluidic device where spheroids of the serous epithelial ovarian cancer cell line TOV112D are entrapped and assayed for their chemoresponse to carboplatin and paclitaxel, two therapeutic agents routinely used for the treatment of ovarian cancer. In order to index the chemoresponse, we analyzed the spatiotemporal evolution of the mortality fraction, as judged by vital dyes and confocal microscopy, within spheroids subjected to different drug concentrations and treatment durations inside the microfluidic device. To reflect microenvironment effects, we tested the effect of exogenous extracellular matrix and serum supplementation during spheroid formation on their chemotherapeutic response. Spheroids displayed augmented chemoresistance in comparison to monolayer culturing. This resistance was further increased by the simultaneous presence of both extracellular matrix and high serum concentration during spheroid formation. Following exposure to chemotherapeutics, cell death profiles were not uniform throughout the spheroid. The highest cell death fraction was found at the center of the spheroid and the lowest at the periphery. Collectively, the results demonstrate the validity of the approach, and provide the basis for further investigation of chemotherapeutic responses in ovarian cancer using microfluidics technology. In the future, such microdevices could provide the framework to assay drug sensitivity in a timeframe suitable for clinical decision making.

Last interglacial temperature evolution — a model inter-comparison

There is a growing number of proxy-based reconstructions detailing the climatic changes that occurred during the last interglacial period (LIG). This period is of special interest, because large parts of the globe were characterized by a warmer-than-present-day climate, making this period an interesting test bed for climate models in light of projected global warming. However, mainly because synchronizing the different palaeoclimatic records is difficult, there is no consensus on a global picture of LIG temperature changes. Here we present the first model inter-comparison of transient simulations covering the LIG period. By comparing the different simulations, we aim at investigating the common signal in the LIG temperature evolution, investigating the main driving forces behind it and at listing the climate feedbacks which cause the most apparent inter-model differences. The model inter-comparison shows a robust Northern Hemisphere July temperature evolution characterized by a maximum between 130–125 ka BP with temperatures 0.3 to 5.3 K above present day. A Southern Hemisphere July temperature maximum, −1.3 to 2.5 K at around 128 ka BP, is only found when changes in the greenhouse gas concentrations are included. The robustness of simulated January temperatures is large in the Southern Hemisphere and the mid-latitudes of the Northern Hemisphere. For these regions maximum January temperature anomalies of respectively −1 to 1.2 K and −0.8 to 2.1 K are simulated for the period after 121 ka BP. In both hemispheres these temperature maxima are in line with the maximum in local summer insolation. In a number of specific regions, a common temperature evolution is not found amongst the models. We show that this is related to feedbacks within the climate system which largely determine the simulated LIG temperature evolution in these regions. Firstly, in the Arctic region, changes in the summer sea-ice cover control the evolution of LIG winter temperatures. Secondly, for the Atlantic region, the Southern Ocean and the North Pacific, possible changes in the characteristics of the Atlantic meridional overturning circulation are crucial. Thirdly, the presence of remnant continental ice from the preceding glacial has shown to be important when determining the timing of maximum LIG warmth in the Northern Hemisphere. Finally, the results reveal that changes in the monsoon regime exert a strong control on the evolution of LIG temperatures over parts of Africa and India. By listing these inter-model differences, we provide a starting point for future proxy-data studies and the sensitivity experiments needed to constrain the climate simulations and to further enhance our understanding of the temperature evolution of the LIG period.

Historical and idealized climate model experiments: an intercomparison of Earth system models of intermediate complexity

Both historical and idealized climate model experiments are performed with a variety of Earth system models of intermediate complexity (EMICs) as part of a community contribution to the Intergovernmental Panel on Climate Change Fifth Assessment Report. Historical simulations start at 850 CE and continue through to 2005. The standard simulations include changes in forcing from solar luminosity, Earth's orbital configuration, CO2, additional greenhouse gases, land use, and sulphate and volcanic aerosols. In spite of very different modelled pre-industrial global surface air temperatures, overall 20th century trends in surface air temperature and carbon uptake are reasonably well simulated when compared to observed trends. Land carbon fluxes show much more variation between models than ocean carbon fluxes, and recent land fluxes appear to be slightly underestimated. It is possible that recent modelled climate trends or climate–carbon feedbacks are overestimated resulting in too much land carbon loss or that carbon uptake due to CO2 and/or nitrogen fertilization is underestimated. Several one thousand year long, idealized, 2 × and 4 × CO2 experiments are used to quantify standard model characteristics, including transient and equilibrium climate sensitivities, and climate–carbon feedbacks. The values from EMICs generally fall within the range given by general circulation models. Seven additional historical simulations, each including a single specified forcing, are used to assess the contributions of different climate forcings to the overall climate and carbon cycle response. The response of surface air temperature is the linear sum of the individual forcings, while the carbon cycle response shows a non-linear interaction between land-use change and CO2 forcings for some models. Finally, the preindustrial portions of the last millennium simulations are used to assess historical model carbon-climate feedbacks. Given the specified forcing, there is a tendency for the EMICs to underestimate the drop in surface air temperature and CO2 between the Medieval Climate Anomaly and the Little Ice Age estimated from palaeoclimate reconstructions. This in turn could be a result of unforced variability within the climate system, uncertainty in the reconstructions of temperature and CO2, errors in the reconstructions of forcing used to drive the models, or the incomplete representation of certain processes within the models. Given the forcing datasets used in this study, the models calculate significant land-use emissions over the pre-industrial period. This implies that land-use emissions might need to be taken into account, when making estimates of climate–carbon feedbacks from palaeoclimate reconstructions.

Asking Sensitive Questions in Online Surveys: An Experimental Comparison of the Randomized Response Technique and the Crosswise Model

Self-administered online surveys provide a higher level of privacy protection to respondents than surveys administered by an interviewer. Yet, studies show that asking sensitive questions is problematic also in self-administered mode. Because respondents might not be willing to reveal the truth and provide answers that are subject to social desirability bias, the validity of prevalence estimates of sensitive behaviors gained via online surveys can be challenged. A well-known method to combat these problems is the Randomized Response Technique (RRT). However, convincing evidence that the RRT provides more valid estimates than direct questioning in online mode is still lacking. Moreover, an alternative approach called the Crosswise Model (CM) has recently been suggested to overcome some of the deficiencies of the RRT. In the context of an online survey on plagiarism and cheating on exams among students of two Swiss universities (N = 6,494), we tested different implementations of the RRT and the CM and compared them to direct questioning using a randomized experimental design. Results reveal a poor performance of the RRT, which failed to elicit higher prevalence estimates than direct questioning. Using the CM however, significantly higher prevalence estimates were obtained making it a promising new alternative to the conventional RRT.

An MBLP model for scheduling assessment centers

Firms aim at assigning qualified and motivated people to jobs. Human resources managers often conduct assessment centers before making such personnel decisions. By means of an assessment center, the potential and skills of job applicants can be assessed more objectively. For the scheduling of such assessment centers, we present a formulation as a mixed-binary linear program and report on computational results for four real-life examples.