Search results for "Predicate logic"
showing 10 items of 170 documents
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…
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.
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…
Polysemy and gestaltist computation. some notes on gestaltist compositionality
2019
The paper is devoted to the concept of Gestaltist Compositionality. It is divided into two parts. The first part will introduce a minimal definition of «Gestaltist Compositionality». Moreover, it will prove that the computations implemented by this model of compositionality are sufficiently flexible to ensure the presence of several orders of semantic determination. The second part will be devoted to an investigation of the consequences of this result with particular reference to the identification of some versions of compositionality which relax the condition of semantic atomism without weakening the links of determination between understanding of the compounds and understanding of the com…
A common extension of Arhangel'skii's Theorem and the Hajnal-Juhasz inequality
2019
AbstractWe present a result about $G_{\unicode[STIX]{x1D6FF}}$ covers of a Hausdorff space that implies various known cardinal inequalities, including the following two fundamental results in the theory of cardinal invariants in topology: $|X|\leqslant 2^{L(X)\unicode[STIX]{x1D712}(X)}$ (Arhangel’skiĭ) and $|X|\leqslant 2^{c(X)\unicode[STIX]{x1D712}(X)}$ (Hajnal–Juhász). This solves a question that goes back to Bell, Ginsburg and Woods’s 1978 paper (M. Bell, J.N. Ginsburg and R.G. Woods, Cardinal inequalities for topological spaces involving the weak Lindelöf number, Pacific J. Math. 79(1978), 37–45) and is mentioned in Hodel’s survey on Arhangel’skiĭ’s Theorem (R. Hodel, Arhangel’skii’s so…
An Extended Data Object-driven Approach to Data Quality Evaluation: Contextual Data Quality Analysis
2019
This research is an extension of a data object-driven approach to data quality evaluation allowing to analyse data object quality in scope of multiple data objects. Previously presented approach was used to analyse one particular data object, mainly focusing on syntactic analysis. It means that the primary data object quality can be analysed against secondary data objects of unlimited number. This opportunity allows making more comprehensive, in-depth contextual data object analysis. The given analysis was applied to open data sets, making comparison between previously obtained results and results of application of the extended approach, underlying importance and benefits of the given exten…