14,759 research outputs found

    Acyclic Solos and Differential Interaction Nets

    Full text link
    We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the pi-calculus. In particular, the induced solo diagrams bear an acyclicity property that induces a faithful encoding into differential interaction nets. This gives a (new) proof that differential interaction nets are expressive enough to contain an encoding of the pi-calculus. All this is worked out in the case of finitary (replication free) systems without sum, match nor mismatch

    Fluid boundary of a viscoplastic Bingham flow for finite solid deformations

    Get PDF
    The modelling of viscoplastic Bingham fluids often relies on a rheological constitutive law based on a "plastic rule function" often identical to the yield criterion of the solid state. It is also often assumed that this plastic rule function vanishes at the boundary between the solid and fluid states, based on the fact that it is true in the limit of small deformations of the solid state or for simple yield criteria. We show that this is not the case for finite deformations by considering the example of a two state flow on a tilted plane where the solid state is described by a Neo-Hookean model with a Von Mises yield criterion. This opens new approaches for the modelling and the computation of the fluid state boundaries

    Game semantics for first-order logic

    Full text link
    We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style extension of Parigot's lambda-mu-calculus to represent proofs of first-order classical logic. We present some relations with Krivine's classical realizability and applications to type isomorphisms

    Special prime Fano fourfolds of degree 10 and index 2

    Full text link
    Mukai proved that most prime Fano fourfolds of degree 10 and index 2 are contained in a Grassmannian G(2,5). They are all unirational and some are rational, as remarked by Roth in 1949. We show that their middle cohomology is of K3 type and that their period map is dominant, with smooth 4-dimensional fibers, onto a 20-dimensional bounded symmetric period domain of type IV. Following Hassett, we say that such a fourfold is special if it contains a surface whose cohomology class does not come from the Grassmannian G(2,5). Special fourfolds correspond to a countable union of hypersurfaces in the period domain, labelled by a positive integer d, the discriminant. We describe special fourfolds for some low values of d. We also characterize those integers d for which special fourfolds do exist.Comment: 28 pages. We fix a slight inaccuracy in the proof on p. 2

    LIG-CRIStAL System for the WMT17 Automatic Post-Editing Task

    Get PDF
    This paper presents the LIG-CRIStAL submission to the shared Automatic Post- Editing task of WMT 2017. We propose two neural post-editing models: a monosource model with a task-specific attention mechanism, which performs particularly well in a low-resource scenario; and a chained architecture which makes use of the source sentence to provide extra context. This latter architecture manages to slightly improve our results when more training data is available. We present and discuss our results on two datasets (en-de and de-en) that are made available for the task.Comment: keywords: neural post-edition, attention model

    Performance of Network and Service Monitoring Frameworks

    Get PDF
    The efficiency and the performance of anagement systems is becoming a hot research topic within the networks and services management community. This concern is due to the new challenges of large scale managed systems, where the management plane is integrated within the functional plane and where management activities have to carry accurate and up-to-date information. We defined a set of primary and secondary metrics to measure the performance of a management approach. Secondary metrics are derived from the primary ones and quantifies mainly the efficiency, the scalability and the impact of management activities. To validate our proposals, we have designed and developed a benchmarking platform dedicated to the measurement of the performance of a JMX manager-agent based management system. The second part of our work deals with the collection of measurement data sets from our JMX benchmarking platform. We mainly studied the effect of both load and the number of agents on the scalability, the impact of management activities on the user perceived performance of a managed server and the delays of JMX operations when carrying variables values. Our findings show that most of these delays follow a Weibull statistical distribution. We used this statistical model to study the behavior of a monitoring algorithm proposed in the literature, under heavy tail delays distribution. In this case, the view of the managed system on the manager side becomes noisy and out of date

    On nodal prime Fano threefolds of degree 10

    Full text link
    We study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and degree 10. We show that these threefolds are birationally isomorphic to Verra solids (hypersurfaces of bidegree (2,2)(2,2) in 2×2 \P^2\times \P^2). Using Verra's results on the period map for these solids and on the Prym map for double \'etale covers of plane sextic curves, we prove that the fiber of the period map for our nodal threefolds is birationally the union of two surfaces, for which we give several descriptions. This result is the analog in the nodal case of a result obtained in arXiv:0812.3670 for the smooth case
    corecore