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.

Effect of Combined Systemic and Local Morpholino Treatment on the Spinal Muscular Atrophy Δ7 Mouse Model Phenotype

BACKGROUND: Spinal muscular atrophy (SMA) is a fatal motor neuron disease of childhood that is caused by mutations in the SMN1 gene. Currently, no effective treatment is available. One possible therapeutic approach is the use of antisense oligos (ASOs) to redirect the splicing of the paralogous gene SMN2, thus increasing functional SMN protein production. Various ASOs with different chemical properties are suitable for these applications, including a morpholino oligomer (MO) variant with a particularly excellent safety and efficacy profile. OBJECTIVE: We investigated a 25-nt MO sequence targeting the negative intronic splicing silencer (ISS-N1) 10 to 34 region. METHODS: We administered a 25-nt MO sequence against the ISS-N1 region of SMN2 (HSMN2Ex7D[-10-34]) in the SMAΔ7 mouse model and evaluated the effect and neuropathologic phenotype. We tested different concentrations (from 2 to 24 nM) and delivery protocols (intracerebroventricular injection, systemic injection, or both). We evaluated the treatment efficacy regarding SMN levels, survival, neuromuscular phenotype, and neuropathologic features. RESULTS: We found that a 25-nt MO sequence against the ISS-N1 region of SMN2 (HSMN2Ex7D[-10-34]) exhibited superior efficacy in transgenic SMAΔ7 mice compared with previously described sequences. In our experiments, the combination of local and systemic administration of MO (bare or conjugated to octaguanidine) was the most effective approach for increasing full-length SMN expression, leading to robust improvement in neuropathologic features and survival. Moreover, we found that several small nuclear RNAs were deregulated in SMA mice and that their levels were restored by MO treatment. CONCLUSION: These results indicate that MO-mediated SMA therapy is efficacious and can result in phenotypic rescue, providing important insights for further development of ASO-based therapeutic strategies in SMA patients.

Synergism of peptide receptor-targeted Auger electron radiation therapy with anti-angiogenic compounds in a mouse model of neuroendocrine tumors.

BACKGROUND Neuroendocrine tumors are well vascularized and express specific cell surface markers, such as somatostatin receptors and the glucagon-like peptide-1 receptor (GLP-1R). Using the Rip1Tag2 transgenic mouse model of pancreatic neuroendocrine tumors (pNET), we have investigated the potential benefit of a combination of anti-angiogenic treatment with targeted internal radiotherapy. METHODS [Lys40(Ahx-DTPA-111In)NH2]-exendin-4, a radiopeptide that selectively binds to GLP-1R expressed on insulinoma and other neuroendocrine tumor cells, was co-administered with oral vatalanib (an inhibitor of vascular endothelial growth factor receptors (VEGFR)) or imatinib (a c-kit/PDGFR inhibitor). The control groups included single-agent kinase inhibitor treatments and [Lys40(Ahx-DTPA-natIn)NH2]-exendin-4 monotherapy. For biodistribution, Rip1Tag2 mice were pre-treated with oral vatalanib or imatinib for 0, 3, 5, or 7 days at a dose of 100 mg/kg. Subsequently, [Lys40(Ahx-DTPA-111In)NH2]-exendin-4 was administered i.v., and the biodistribution was assessed after 4 h. For therapy, the mice were injected with 1.1 MBq [Lys40(Ahx-DTPA-111In)NH2]-exendin-4 and treated with vatalanib or imatinib 100 mg/kg orally for another 7 days. Tumor volume, tumor cell apoptosis and proliferation, and microvessel density were quantified. RESULTS Combination of [Lys40(Ahx-DTPA-111In)NH2]-exendin-4 and vatalanib was significantly more effective than single treatments (p < 0.05) and reduced the tumor volume by 97% in the absence of organ damage. The pre-treatment of mice with vatalanib led to a reduction in the tumor uptake of [Lys40(Ahx-DTPA-111In)NH2]-exendin-4, indicating that concomitant administration of vatalanib and the radiopeptide was the best approach. Imatinib did not show a synergistic effect with [Lys40(Ahx-DTPA-111In)NH2]-exendin-4. CONCLUSION The combination of 1.1 MBq of [Lys40(Ahx-DTPA-111In)NH2]-exendin-4 with 100 mg/kg vatalanib had the same effect on a neuroendocrine tumor as the injection of 28 MBq of the radiopeptide alone but without any apparent side effects, such as radiation damage of the kidneys.

Simulating Carbon Stocks and Fluxes of an African Tropical Montane Forest with an Individual-Based Forest Model

Tropical forests are carbon-dense and highly productive ecosystems. Consequently, they play an important role in the global carbon cycle. In the present study we used an individual-based forest model (FORMIND) to analyze the carbon balances of a tropical forest. The main processes of this model are tree growth, mortality, regeneration, and competition. Model parameters were calibrated using forest inventory data from a tropical forest at Mt. Kilimanjaro. The simulation results showed that the model successfully reproduces important characteristics of tropical forests (aboveground biomass, stem size distribution and leaf area index). The estimated aboveground biomass (385 t/ha) is comparable to biomass values in the Amazon and other tropical forests in Africa. The simulated forest reveals a gross primary production of 24 tcha-1yr-1. Modeling above- and belowground carbon stocks, we analyzed the carbon balance of the investigated tropical forest. The simulated carbon balance of this old-growth forest is zero on average. This study provides an example of how forest models can be used in combination with forest inventory data to investigate forest structure and local carbon balances.

CODE’s new solar radiation pressure model for GNSS orbit determination

The Empirical CODE Orbit Model (ECOM) of the Center for Orbit Determination in Europe (CODE), which was developed in the early 1990s, is widely used in the International GNSS Service (IGS) community. For a rather long time, spurious spectral lines are known to exist in geophysical parameters, in particular in the Earth Rotation Parameters (ERPs) and in the estimated geocenter coordinates, which could recently be attributed to the ECOM. These effects grew creepingly with the increasing influence of the GLONASS system in recent years in the CODE analysis, which is based on a rigorous combination of GPS and GLONASS since May 2003. In a first step we show that the problems associated with the ECOM are to the largest extent caused by the GLONASS, which was reaching full deployment by the end of 2011. GPS-only, GLONASS-only, and combined GPS/GLONASS solutions using the observations in the years 2009–2011 of a global network of 92 combined GPS/GLONASS receivers were analyzed for this purpose. In a second step we review direct solar radiation pressure (SRP) models for GNSS satellites. We demonstrate that only even-order short-period harmonic perturbations acting along the direction Sun-satellite occur for GPS and GLONASS satellites, and only odd-order perturbations acting along the direction perpendicular to both, the vector Sun-satellite and the spacecraft’s solar panel axis. Based on this insight we assess in the third step the performance of four candidate orbit models for the future ECOM. The geocenter coordinates, the ERP differences w. r. t. the IERS 08 C04 series of ERPs, the misclosures for the midnight epochs of the daily orbital arcs, and scale parameters of Helmert transformations for station coordinates serve as quality criteria. The old and updated ECOM are validated in addition with satellite laser ranging (SLR) observations and by comparing the orbits to those of the IGS and other analysis centers. Based on all tests, we present a new extended ECOM which substantially reduces the spurious signals in the geocenter coordinate z (by about a factor of 2–6), reduces the orbit misclosures at the day boundaries by about 10 %, slightly improves the consistency of the estimated ERPs with those of the IERS 08 C04 Earth rotation series, and substantially reduces the systematics in the SLR validation of the GNSS orbits.

In-situ, satellite measurement and model evidence on the dominant regional contribution to fine particulate matter levels in the Paris Megacity

A detailed characterization of air quality in the megacity of Paris (France) during two 1-month intensive campaigns and from additional 1-year observations revealed that about 70% of the urban background fine particulate matter (PM) is transported on average into the megacity from upwind regions. This dominant influence of regional sources was confirmed by in situ measurements during short intensive and longer-term campaigns, aerosol optical depth (AOD) measurements from ENVISAT, and modeling results from PMCAMx and CHIMERE chemistry transport models. While advection of sulfate is well documented for other megacities, there was surprisingly high contribution from long-range transport for both nitrate and organic aerosol. The origin of organic PM was investigated by comprehensive analysis of aerosol mass spectrometer (AMS), radiocarbon and tracer measurements during two intensive campaigns. Primary fossil fuel combustion emissions constituted less than 20%in winter and 40%in summer of carbonaceous fine PM, unexpectedly small for a megacity. Cooking activities and, during winter, residential wood burning are the major primary organic PM sources. This analysis suggests that the major part of secondary organic aerosol is of modern origin, i.e., from biogenic precursors and from wood burning. Black carbon concentrations are on the lower end of values encountered in megacities worldwide, but still represent an issue for air quality. These comparatively low air pollution levels are due to a combination of low emissions per inhabitant, flat terrain, and a meteorology that is in general not conducive to local pollution build-up. This revised picture of a megacity only being partially responsible for its own average and peak PM levels has important implications for air pollution regulation policies.

Sensitivity of the WRF model to PBL parametrisations and nesting techniques: evaluation of wind storms over complex terrain

Simulating surface wind over complex terrain is a challenge in regional climate modelling. Therefore, this study aims at identifying a set-up of the Weather Research and Forecasting Model (WRF) model that minimises system- atic errors of surface winds in hindcast simulations. Major factors of the model configuration are tested to find a suitable set-up: the horizontal resolution, the planetary boundary layer (PBL) parameterisation scheme and the way the WRF is nested to the driving data set. Hence, a number of sensitivity simulations at a spatial resolution of 2 km are carried out and compared to observations. Given the importance of wind storms, the analysis is based on case studies of 24 historical wind storms that caused great economic damage in Switzerland. Each of these events is downscaled using eight different model set-ups, but sharing the same driving data set. The results show that the lack of representation of the unresolved topography leads to a general overestimation of wind speed in WRF. However, this bias can be substantially reduced by using a PBL scheme that explicitly considers the effects of non-resolved topography, which also improves the spatial structure of wind speed over Switzerland. The wind direction, although generally well reproduced, is not very sensitive to the PBL scheme. Further sensitivity tests include four types of nesting methods: nesting only at the boundaries of the outermost domain, analysis nudging, spectral nudging, and the so-called re-forecast method, where the simulation is frequently restarted. These simulations show that restricting the freedom of the model to develop large-scale disturbances slightly increases the temporal agreement with the observations, at the same time that it further reduces the overestimation of wind speed, especially for maximum wind peaks. The model performance is also evaluated in the outermost domains, where the resolution is coarser. The results demonstrate the important role of horizontal resolution, where the step from 6 to 2 km significantly improves model performance. In summary, the combination of a grid size of 2 km, the non-local PBL scheme modified to explicitly account for non-resolved orography, as well as analysis or spectral nudging, is a superior combination when dynamical downscaling is aimed at reproducing real wind fields.

MEMLS3&a: Microwave Emission Model of Layered Snowpacks adapted to include backscattering

The Microwave Emission Model of Layered Snowpacks (MEMLS) was originally developed for microwave emissions of snowpacks in the frequency range 5–100 GHz. It is based on six-flux theory to describe radiative transfer in snow including absorption, multiple volume scattering, radiation trapping due to internal reflection and a combination of coherent and incoherent superposition of reflections between horizontal layer interfaces. Here we introduce MEMLS3&a, an extension of MEMLS, which includes a backscatter model for active microwave remote sensing of snow. The reflectivity is decomposed into diffuse and specular components. Slight undulations of the snow surface are taken into account. The treatment of like- and cross-polarization is accomplished by an empirical splitting parameter q. MEMLS3&a (as well as MEMLS) is set up in a way that snow input parameters can be derived by objective measurement methods which avoid fitting procedures of the scattering efficiency of snow, required by several other models. For the validation of the model we have used a combination of active and passive measurements from the NoSREx (Nordic Snow Radar Experiment) campaign in Sodankylä, Finland. We find a reasonable agreement between the measurements and simulations, subject to uncertainties in hitherto unmeasured input parameters of the backscatter model. The model is written in Matlab and the code is publicly available for download through the following website: http://www.iapmw.unibe.ch/research/projects/snowtools/memls.html.

Development of a Tumour Growth Inhibition Model to Elucidate the Effects of Ritonavir on Intratumoural Metabolism and Anti-tumour Effect of Docetaxel in a Mouse Model for Hereditary Breast Cancer

In a mouse tumour model for hereditary breast cancer, we previously explored the anti-cancer effects of docetaxel, ritonavir and the combination of both and studied the effect of ritonavir on the intratumoural concentration of docetaxel. The objective of the current study was to apply pharmacokinetic (PK)-pharmacodynamic (PD) modelling on this previous study to further elucidate and quantify the effects of docetaxel when co-administered with ritonavir. PK models of docetaxel and ritonavir in plasma and in tumour were developed. The effect of ritonavir on docetaxel concentration in the systemic circulation of Cyp3a knock-out mice and in the implanted tumour (with inherent Cyp3a expression) was studied, respectively. Subsequently, we designed a tumour growth inhibition model that included the inhibitory effects of both docetaxel and ritonavir. Ritonavir decreased docetaxel systemic clearance with 8% (relative standard error 0.4%) in the co-treated group compared to that in the docetaxel only-treated group. The docetaxel concentration in tumour tissues was significantly increased by ritonavir with mean area under the concentration-time curve 2.5-fold higher when combined with ritonavir. Observed tumour volume profiles in mice could be properly described by the PK/PD model. In the co-treated group, the enhanced anti-tumour effect was mainly due to increased docetaxel tumour concentration; however, we demonstrated a small but significant anti-tumour effect of ritonavir addition (p value <0.001). In conclusion, we showed that the increased anti-tumour effect observed when docetaxel is combined with ritonavir is mainly caused by enhanced docetaxel tumour concentration and to a minor extent by a direct anti-tumour effect of ritonavir.

Impact of platelet rich plasma and adipose stem cells on lymphangiogenesis in a murine tail lymphedema model.

BACKGROUND Lymphedema is an underdiagnosed pathology which in industrialized countries mainly affects cancer patients that underwent lymph node dissection and/or radiation. Currently no effective therapy is available so that patients' life quality is compromised by swellings of the concerned body region. This unfortunate condition is associated with body imbalance and subsequent osteochondral deformations and impaired function as well as with an increased risk of potentially life threatening soft tissue infections. METHODS The effects of PRP and ASC on angiogenesis (anti-CD31 staining), microcirculation (Laser Doppler Imaging), lymphangiogenesis (anti-LYVE1 staining), microvascular architecture (corrosion casting) and wound healing (digital planimetry) are studied in a murine tail lymphedema model. RESULTS Wounds treated by PRP and ASC healed faster and showed a significantly increased epithelialization mainly from the proximal wound margin. The application of PRP induced a significantly increased lymphangiogenesis while the application of ASC did not induce any significant change in this regard. CONCLUSIONS PRP and ASC affect lymphangiogenesis and lymphedema development and might represent a promising approach to improve regeneration of lymphatic vessels, restore disrupted lymphatic circulation and treat or prevent lymphedema alone or in combination with currently available lymphedema therapies.

A vaccine formulation combining rhoptry proteins NcROP40 and NcROP2 improves pup survival in a pregnant mouse model of neosporosis.

Currently there are no effective vaccines for the control of bovine neosporosis. During the last years several subunit vaccines based on immunodominant antigens and other proteins involved in adhesion, invasion and intracellular proliferation of Neospora caninum have been evaluated as targets for vaccine development in experimental mouse infection models. Among them, the rhoptry antigen NcROP2 and the immunodominant NcGRA7 protein have been assessed with varying results. Recent studies have shown that another rhoptry component, NcROP40, and NcNTPase, a putative dense granule antigen, exhibit higher expression levels in tachyzoites of virulent N. caninum isolates, suggesting that these could be potential vaccine candidates to limit the effects of infection. In the present work, the safety and efficacy of these recombinant antigens formulated in Quil-A adjuvant as monovalent vaccines or pair-wise combinations (rNcROP40+rNcROP2 and rNcGRA7+rNcNTPase) were evaluated in a pregnant mouse model of neosporosis. All the vaccine formulations elicited a specific immune response against their respective native proteins after immunization. Mice vaccinated with rNcROP40 and rNcROP2 alone or in combination produced the highest levels of IFN-γ and exhibited low parasite burdens and low IgG antibody levels after the challenge. In addition, most of the vaccine formulations were able to increase the median survival time in the offspring. However, pup survival only ensued in the groups vaccinated with rNcROP40+rNcROP2 (16.2%) and rNcROP2 (6.3%). Interestingly, vertical transmission was not observed in those survivor pups immunized with rNcROP40+rNcROP2, as shown by PCR analyses. These results show a partial protection against N. caninum infection after vaccination with rNcROP40+rNcROP2, suggesting a synergistic effect of the two recombinant rhoptry antigens.

Cognitive-Behavioural Analysis System of Psychotherapy (CBASP), a drug, or their combination: differential therapeutics for persistent depressive disorder: a study protocol of an individual participant data network meta-analysis.

INTRODUCTION Despite important advances in psychological and pharmacological treatments of persistent depressive disorders in the past decades, their responses remain typically slow and poor, and differential responses among different modalities of treatments or their combinations are not well understood. Cognitive-Behavioural Analysis System of Psychotherapy (CBASP) is the only psychotherapy that has been specifically designed for chronic depression and has been examined in an increasing number of trials against medications, alone or in combination. When several treatment alternatives are available for a certain condition, network meta-analysis (NMA) provides a powerful tool to examine their relative efficacy by combining all direct and indirect comparisons. Individual participant data (IPD) meta-analysis enables exploration of impacts of individual characteristics that lead to a differentiated approach matching treatments to specific subgroups of patients. METHODS AND ANALYSIS We will search for all randomised controlled trials that compared CBASP, pharmacotherapy or their combination, in the treatment of patients with persistent depressive disorder, in Cochrane CENTRAL, PUBMED, SCOPUS and PsycINFO, supplemented by personal contacts. Individual participant data will be sought from the principal investigators of all the identified trials. Our primary outcomes are depression severity as measured on a continuous observer-rated scale for depression, and dropouts for any reason as a proxy measure of overall treatment acceptability. We will conduct a one-step IPD-NMA to compare CBASP, medications and their combinations, and also carry out a meta-regression to identify their prognostic factors and effect moderators. The model will be fitted in OpenBUGS, using vague priors for all location parameters. For the heterogeneity we will use a half-normal prior on the SD. ETHICS AND DISSEMINATION This study requires no ethical approval. We will publish the findings in a peer-reviewed journal. The study results will contribute to more finely differentiated therapeutics for patients suffering from this chronically disabling disorder. TRIAL REGISTRATION NUMBER CRD42016035886.

An Equilibrium Model of Lawmaking

This paper embeds a model of lawmaking in an equilibrium framework in which the demand for trials is rationed by court delay. The lawmaking process depends on a combination of selective litigation, judicial bias, and precedent. The steady state equilibrium of the model determines both the length of delay and the distribution of legal rules. Comparative statics show that an increase in the supply of trials reduces delay but may or may not increase the proportion of efficient rules. An increase in the fraction of judges biased in favor of the efficient rule, however, will likely improve efficiency on both counts.

A Simple Model of Credit Rationing with Information Externalities

Credit-rationing model similar to Stiglitz and Weiss [1981] is combined with the information externality model of Lang and Nakamura [1993] to examine the properties of mortgage markets characterized by both adverse selection and information externalities. In a credit-rationing model, additional information increases lenders ability to distinguish risks, which leads to increased supply of credit. According to Lang and Nakamura, larger supply of credit leads to additional market activities and therefore, greater information. The combination of these two propositions leads to a general equilibrium model. This paper describes properties of this general equilibrium model. The paper provides another sufficient condition in which credit rationing falls with information. In that, external information improves the accuracy of equity-risk assessments of properties, which reduces credit rationing. Contrary to intuition, this increased accuracy raises the mortgage interest rate. This allows clarifying the trade offs associated with reduced credit rationing and the quality of applicant pool.

The roles of costimulatory molecules in the cooperative effects of combination epinephrine and dexamethasone on type-1/type-2 cytokine production in tetanus-toxoid specific stimulated human peripheral blood mononuclear cells

A growing number of studies show strong associations between stress and altered immune function. In vivo studies of chronic and acute stress have demonstrated that cognitive stressors are strongly correlated with high circulating levels of catecholamines (CT) and corticosteroids (CS) that are associated with changes in type-1/type-2 cytokine expression. Although individual pharmacologic doses of CS and CT can inhibit the expression of T-helper 1 (Th1, type-1 like) and promote the production of T-helper 2 (Th2, type-2 like) cytokines in antigen-specific and mitogen stimulated human leukocyte cultures in vitro, little attention has been focused on the effects of combination physiologic-stress doses of CT and CS that may be more physiologically relevant. In addition, both in-vivo and in-vitro studies suggest that the differential expression of the B7 family of costimulatory molecules CD80 and CD86 may promote the expression of type-1 or type-2 cytokines, respectively. Furthermore, corticosteroids can influence the expression of β2-adrenergic receptors in various human tissues. We therefore investigated the combined effects of physiologic-stress doses of in vitro CT and CS upon the type-1/type-2 cytokine balance and expression of B7 costimulatory molecules of human peripheral blood mononuclear cells (PBMC) as a model to study the immunomodulatory effects of physiologic stress. Results demonstrated a significant decrease in type-1 cytokine expression and a significant increase in type-2 cytokine production in our CS+CT incubated cultures when compared to either CT or CS agents alone. In addition, we demonstrated the differential expression of CD80/CD86 in favor of CD86 at the cellular and population level as determined by flow cytometry in lipopolysaccharide stimulated human Monocytes. Furthermore, we developed flow cytometry based assays to detect total β2AR in human CD4+ T-lymphocytes that demonstrated decreased expression of β2AR in mitogen stimulated CD4+ T-lymphocytes in the presence of physiologic stress levels of CS and CT as single in vitro agents, however, when both CS and CT were combined, significantly higher expression of β2AR was observed. In summary, our in vitro data suggest that both CS and CT work cooperatively to shift immunity towards type-2 responses. ^