2,701 research outputs found
Internationale politieke economie: herijking van de studie naar internationale politiek
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
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
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
Recommended from our members
Modeling Checkpoint-Based Movement with the Earth Mover's Distance
Movement data comes in various forms, including trajectory data and checkpoint data. While trajectories give detailed information about the movement of individual entities, checkpoint data in its simplest form does not give identities, just counts at checkpoints. However, checkpoint data is of increasing interest since it is readily available due to privacy reasons and as a by-product of other data collection. In this paper we propose to use the Earth Mover’s Distance as a versatile tool to reconstruct individual movements or flow based on checkpoint counts at different times. We analyze the modeling possibilities and provide experiments that validate model predictions, based on coarse-grained aggregations of data about actual movements of couriers in London, UK. While we cannot expect to reconstruct precise individual movements from highly granular checkpoint data, the evaluation does show that the approach can generate meaningful estimates of object movements.
B. Speckmann and K. Verbeek are supported by the Netherlands Organisation for Scientific Research (NWO) under project nos. 639.023.208 and 639.021.541, respectively. This paper arose from work initiated at Dagstuhl seminar 12512 “Representation, analysis and visualization of moving objects”, December 2012. The authors gratefully acknowledge Schloss Dagstuhl for their support
Progress of the National Air Quality Cooperation Programme (NSL)
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.
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
Representing complex data using localized principal components with application to astronomical data
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
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
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
- …
