2,701 research outputs found

    Internationale politieke economie: herijking van de studie naar internationale politiek

    Get PDF
    Internationale Politieke Economie (IPE) is een nieuw vakgebied dat een zekere integratie voorstaat van Internationale Betrekkingen, Internationale Economische Betrekkingen, Politicologie en Bestuurskunde. Het is een terrein dat zich goed leent om de wisselwerking van verschijnselen op subnationaal, nationaal en internationaal niveau te analyseren. Dit artikel geeft een oeverzicht van de recente ontwikkelingen op dit vakgebied en signaleert de mogelijkheden en beperkingen van IPE

    Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce

    Get PDF
    Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic with aggregating modalities, over large execution traces. The algorithm exploits the structure of the formula to parallelize the evaluation, with a significant gain in time. We report on the assessment of the implementation - based on the Hadoop framework - of the proposed algorithm and comment on its scalability.Comment: 16 pages, 6 figures, Extended version of the SEFM 2014 pape

    Variational approximation for mixtures of linear mixed models

    Full text link
    Mixtures of linear mixed models (MLMMs) are useful for clustering grouped data and can be estimated by likelihood maximization through the EM algorithm. The conventional approach to determining a suitable number of components is to compare different mixture models using penalized log-likelihood criteria such as BIC.We propose fitting MLMMs with variational methods which can perform parameter estimation and model selection simultaneously. A variational approximation is described where the variational lower bound and parameter updates are in closed form, allowing fast evaluation. A new variational greedy algorithm is developed for model selection and learning of the mixture components. This approach allows an automatic initialization of the algorithm and returns a plausible number of mixture components automatically. In cases of weak identifiability of certain model parameters, we use hierarchical centering to reparametrize the model and show empirically that there is a gain in efficiency by variational algorithms similar to that in MCMC algorithms. Related to this, we prove that the approximate rate of convergence of variational algorithms by Gaussian approximation is equal to that of the corresponding Gibbs sampler which suggests that reparametrizations can lead to improved convergence in variational algorithms as well.Comment: 36 pages, 5 figures, 2 tables, submitted to JCG

    Progress of the National Air Quality Cooperation Programme (NSL)

    Get PDF
    Om de luchtkwaliteit in Nederland te verbeteren is het Nationaal Samenwerkingsprogramma Luchtkwaliteit (NSL) opgezet. In dit programma werken de Rijksoverheid en decentrale overheden samen om te zorgen dat Nederland overal tijdig aan de grenswaarden voor fijnstof (2011) en stikstofdioxide (2015) zal voldoen. Om de voortgang te volgen is bij het NSL een monitoringsprogramma opgezet. Centraal onderdeel daarvan is een rekeninstrument waarvoor de overheden de brongegevens aanleveren. De daaruitvolgende rekenresultaten zijn vervolgens door het Bureau Monitoring (samenwerkingsverband RIVM en InfoMil) samengevoegd in voorliggende voortgangsrapportage. De prognoses voor 2011 en 2015 laten zien dat voor een groot deel van Nederland de resultaten onder de Europese grenswaarden voor PM10 (fijnstof) en NO2 liggen. Op een aantal plekken zijn er wel nieuwe of grotere overschrijdingen van de PM10- en NO2-grenswaarden zichtbaar. Bij de fijnstof (PM10) overschrijdingen gaat het hoofdzakelijk om locaties bij veehouderijen en een aantal industriele gebieden. Vooral nabij veehouderijen is op een aantal plekken nog sprake van grote overschrijdingen die lastig voor medio 2011 op te lossen zijn. De huidige prognose voor de concentraties stikstofdioxide in 2015 laat een minder gunstige ontwikkeling zien ten opzichte van wat is berekend in de vaststelling van het NSL. Dit komt voor een belangrijk deel door tegenvallende verkeersemissies wat heeft geleid tot een aantal nieuwe overschrijdingen. De nu in de prognoses berekende concentraties liggen op veel locaties net onder de grenswaarde. Met veel concentraties net onder de grenswaarde neemt het aantal overschrijdingen snel toe bij een tegenvaller in een van de gemaakte aannamen. In combinatie met een grote en deels onbekende onzekerheid in de rekenresultaten vormt dit een risico voor het behalen van de doelstelling van het NSL.The NSL has been put in place to improve air quality in the Netherlands and to ensure that the Netherlands meets the date of compliance with the EU limit values for particulate matter and nitrogen dioxide. Local, regional and national authorities work together within the framework of this programme to ensure that these goals are met. A monitoring programme, centred around a specially designed assessment tool, has been set up to monitor the progress. This tool uses data that the participating authorities are required to provide as part of the annual monitoring cycle. The results of the tool have been bundled by the Bureau Monitoring into this progress report. The prognosis for 2011 and 2015, based on the results obtained using the assessment tool, are that the concentrations of PM10 and NO2 fall below the EU limit values in most parts of the Netherlands. However, exceedances of the limit values do occur at specific locations. For PM10, these exceedances mostly occur close to a number of industrial sites and stock farms. Particularly high exceedances in the vicinity of these stock farms will make it difficult to meet the limit values by mid 2011 at these locations. The prognostications for NO2 show a less favourable decline in NO2 concentrations than was modelled at the establishment of the NSL. This is mostly due to the decline in traffic emissions falling short of expectations, resulting in new exceedances. At many locations, the calculated concentrations in the prognostications fall just under the limit value and, consequently, there will be a large increase in the number of exceedances when one or more of the premises become less favourable. This possibility, together with the large and partially unknown uncertainty in the calculation results, add up to a risk for not meeting the limit values by the date of compliance.VRO

    Immune Antibodies and Helminth Products Drive CXCR2-Dependent Macrophage-Myofibroblast Crosstalk to Promote Intestinal Repair.

    Get PDF
    Helminth parasites can cause considerable damage when migrating through host tissues, thus making rapid tissue repair imperative to prevent bleeding and bacterial dissemination particularly during enteric infection. However, how protective type 2 responses targeted against these tissue-disruptive multicellular parasites might contribute to homeostatic wound healing in the intestine has remained unclear. Here, we observed that mice lacking antibodies (Aid-/-) or activating Fc receptors (Fcrg-/-) displayed impaired intestinal repair following infection with the murine helminth Heligmosomoides polygyrus bakeri (Hpb), whilst transfer of immune serum could partially restore chemokine production and rescue wound healing in Aid-/- mice. Impaired healing was associated with a reduced expression of CXCR2 ligands (CXCL2/3) by macrophages (MΦ) and myofibroblasts (MF) within intestinal lesions. Whilst antibodies and helminths together triggered CXCL2 production by MΦ in vitro via surface FcR engagement, chemokine secretion by intestinal MF was elicited by helminths directly via Fcrg-chain/dectin2 signaling. Blockade of CXCR2 during Hpb challenge infection reproduced the delayed wound repair observed in helminth infected Aid-/- and Fcrg-/- mice. Finally, conditioned media from human MΦ stimulated with infective larvae of the helminth Ascaris suum together with immune serum, promoted CXCR2-dependent scratch wound closure by human MF in vitro. Collectively our findings suggest that helminths and antibodies instruct a chemokine driven MΦ-MF crosstalk to promote intestinal repair, a capacity that may be harnessed in clinical settings of impaired wound healing

    Conventies en moraal

    Get PDF

    Representing complex data using localized principal components with application to astronomical data

    Full text link
    Often the relation between the variables constituting a multivariate data space might be characterized by one or more of the terms: ``nonlinear'', ``branched'', ``disconnected'', ``bended'', ``curved'', ``heterogeneous'', or, more general, ``complex''. In these cases, simple principal component analysis (PCA) as a tool for dimension reduction can fail badly. Of the many alternative approaches proposed so far, local approximations of PCA are among the most promising. This paper will give a short review of localized versions of PCA, focusing on local principal curves and local partitioning algorithms. Furthermore we discuss projections other than the local principal components. When performing local dimension reduction for regression or classification problems it is important to focus not only on the manifold structure of the covariates, but also on the response variable(s). Local principal components only achieve the former, whereas localized regression approaches concentrate on the latter. Local projection directions derived from the partial least squares (PLS) algorithm offer an interesting trade-off between these two objectives. We apply these methods to several real data sets. In particular, we consider simulated astrophysical data from the future Galactic survey mission Gaia.Comment: 25 pages. In "Principal Manifolds for Data Visualization and Dimension Reduction", A. Gorban, B. Kegl, D. Wunsch, and A. Zinovyev (eds), Lecture Notes in Computational Science and Engineering, Springer, 2007, pp. 180--204, http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-173750210-

    Dao, harmony and personhood: towards a Confucian ethics of technology

    Get PDF
    A closer look at the theories and questions in philosophy of technology and ethics of technology shows the absence and marginality of non-Western philosophical traditions in the discussions. Although, increasingly, some philosophers have sought to introduce non-Western philosophical traditions into the debates, there are few systematic attempts to construct and articulate general accounts of ethics and technology based on other philosophical traditions. This situation is understandable, for the questions of modern sciences and technologies appear to be originated from the West; at the same time, the situation is undesirable. The overall aim of this paper, therefore, is to introduce an alternative account of ethics of technology based on the Confucian tradition. In doing so, it is hoped that the current paper can initiate a relatively uncharted field in philosophy of technology and ethics of technology

    Multi-Regge kinematics and the moduli space of Riemann spheres with marked points

    Get PDF
    We show that scattering amplitudes in planar N = 4 Super Yang-Mills in multi-Regge kinematics can naturally be expressed in terms of single-valued iterated integrals on the moduli space of Riemann spheres with marked points. As a consequence, scattering amplitudes in this limit can be expressed as convolutions that can easily be computed using Stokes' theorem. We apply this framework to MHV amplitudes to leading-logarithmic accuracy (LLA), and we prove that at L loops all MHV amplitudes are determined by amplitudes with up to L + 4 external legs. We also investigate non-MHV amplitudes, and we show that they can be obtained by convoluting the MHV results with a certain helicity flip kernel. We classify all leading singularities that appear at LLA in the Regge limit for arbitrary helicity configurations and any number of external legs. Finally, we use our new framework to obtain explicit analytic results at LLA for all MHV amplitudes up to five loops and all non-MHV amplitudes with up to eight external legs and four loops.Comment: 104 pages, six awesome figures and ancillary files containing the results in Mathematica forma
    corecore