14,759 research outputs found
Acyclic Solos and Differential Interaction Nets
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
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
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
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
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
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
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 in ). 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
- …