Search results for "predicate"
showing 10 items of 216 documents
RIGA at SemEval-2016 Task 8: Impact of Smatch Extensions and Character-Level Neural Translation on AMR Parsing Accuracy
2016
Two extensions to the AMR smatch scoring script are presented. The first extension com-bines the smatch scoring script with the C6.0 rule-based classifier to produce a human-readable report on the error patterns frequency observed in the scored AMR graphs. This first extension results in 4% gain over the state-of-art CAMR baseline parser by adding to it a manually crafted wrapper fixing the identified CAMR parser errors. The second extension combines a per-sentence smatch with an en-semble method for selecting the best AMR graph among the set of AMR graphs for the same sentence. This second modification au-tomatically yields further 0.4% gain when ap-plied to outputs of two nondeterministic…
A multi-scale area-interaction model for spatio-temporal point patterns
2018
Models for fitting spatio-temporal point processes should incorporate spatio-temporal inhomogeneity and allow for different types of interaction between points (clustering or regularity). This paper proposes an extension of the spatial multi-scale area-interaction model to a spatio-temporal framework. This model allows for interaction between points at different spatio-temporal scales and the inclusion of covariates. We fit the proposed model to varicella cases registered during 2013 in Valencia, Spain. The fitted model indicates small scale clustering and regularity for higher spatio-temporal scales.
On finite soluble groups in which Sylow permutability is a transitive relation
2003
A characterisation of finite soluble groups in which Sylow permutability is a transitive relation by means of subgroup embedding properties enjoyed by all the subgroups is proved in the paper. The key point is an extension of a subnormality criterion due to Wielandt.
Viscosity Arrhenius parameters correlation: extension from pure to binary fluid mixtures
2015
Knowledge of fluids’ physicochemical properties is mandatory for the design and optimisation of industrial processes and products. A data quantity of most importance, in this regard, turns out to be the value of fluid viscosity. Many empirical and semi-empirical formulas have been proposed in the literature to describe the viscosity of pure liquids and binary liquid mixtures. Recently, an interesting equation is proposed for pure solvents correlating the two parameters in the viscosity Arrhenius-type equation, namely the activation energy (Ea) and the pre-exponential factor (As). This paper aims to extend the said correlation to binary liquid mixtures. To achieve this purpose, statistical m…
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Design of the CGAL 3D Spherical Kernel and application to arrangements of circles on a sphere
2009
AbstractThis paper presents a cgal kernel for algorithms manipulating 3D spheres, circles, and circular arcs. The paper makes three contributions. First, the mathematics underlying two non-trivial predicates are presented. Second, the design of the kernel concept is developed, and the connexion between the mathematics and this design is established. In particular, we show how two different frameworks can be combined: one for the general setting, and one dedicated to the case where all the objects handled lie on a reference sphere. Finally, an assessment about the efficacy of the 3D Spherical Kernel is made through the calculation of the exact arrangement of circles on a sphere. On average w…
Use of Geospatial Analyses for Semantic Reasoning
2010
International audience; This work focuses on the integration of the spatial analyses for semantic reasoning in order to compute new axioms of an existing OWL ontology. To make it concrete, we have defined Spatial Built-ins, an extension of existing Built-ins of the SWRL rule language. It permits to run deductive rules with the help of a translation rule engine. Thus, the Spatial SWRL rules are translated to standard SWRL rules. Once the spatial functions of the Spatial SWRL rules are computed with the help of a spatial database system, the resulting translated rules are computed with a reasoning engine such as Racer, Jess or Pellet.
Selection of Subjunctors in Turkic Non-Finite Complement Clauses
2013
The topic of the paper is Turkic clausal complementation: the syntactic and semantic behavior of complement clauses, the subjunctors that mark them, and the roles of various predicate types in selecting them. Two main types of bound complementizers serve as subjunctors in complement clauses: a participial and an infinitival type, both usually corresponding to the English complimentizer that. Traditionally, the semantic behavior of the complement clauses has been thought to depend on a distinction between factive and non-factive verbs. Complement clauses provided with participial subjunctors have been described as factive in contrast to non-factive complement clauses provided with infinitiva…
ComPWA: A common amplitude analysis framework for PANDA
2014
A large part of the physics program of the PANDA experiment at FAIR deals with the search for new conventional and exotic hadronic states like e.g. hybrids and glueballs. For many analyses PANDA will need an amplitude analysis, e.g. a partial wave analysis (PWA), to identify possible candidates and for the classification of known states. Therefore, a new, agile and efficient amplitude analysis framework ComPWA is under development. It is modularized to provide easy extension with models and formalisms as well as fitting of multiple datasets, even from different experiments. Experience from existing PWA programs was used to fix the requirements of the framework and to prevent it from restric…
Convergent Analytic Solutions for Homoclinic Orbits in Reversible and Non-reversible Systems
2013
In this paper, convergent, multi-infinite, series solutions are derived for the homoclinic orbits of a canonical fourth-order ODE system, in both reversible and non-reversible cases. This ODE includes traveling-wave reductions of many important nonlinear PDEs or PDE systems, for which these analytical solutions would correspond to regular or localized pulses of the PDE. As such, the homoclinic solutions derived here are clearly topical, and they are shown to match closely to earlier results obtained by homoclinic numerical shooting. In addition, the results for the non-reversible case go beyond those that have been typically considered in analyses conducted within bifurcation-theoretic sett…