Source author record

John Grant

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Artificial Intelligence cond-mat.stat-mech nlin.CD physics.flu-dyn

Catalog footprint

Research overview

3works

4topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Measuring Inconsistency in Declarative Process Specifications

We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in LTL in general, as they cannot adequately handle the temporal operators. We therefore propose a novel paraconsistent semantics as a framework for inconsistency measurement. We then present two new inconsistency measures based on these semantics and show that they satisfy important desirable properties. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach.

preprint2014arXiv

Advection diffusion equation with absorbing boundary

We consider a spatially homogeneous advection-diffusion equation in which the diffusion tensor and drift velocity are time-independent, but otherwise general. We derive asymptotic expressions, valid at large distances from a steady point source, for the flux onto a completely permeable boundary and onto an absorbing boundary. The absorbing case is treated by making a source of antiparticles at the boundary. In both cases there is an exponential decay as the distance from the source increases; we find that the exponent is the same for both boundary conditions.

preprint2014arXiv

Triangular Constellations in Fractal Measures

The local structure of a fractal set is described by its dimension $D$ , which is the exponent of a power-law relating the mass ${\cal N}$ in a ball to its radius $ε$ : ${\cal N}\sim ε^D$ . It is desirable to characterise the {\em shapes} of constellations of points sampling a fractal measure, as well as their masses. The simplest example is the distribution of shapes of triangles formed by triplets of points, which we investigate for fractals generated by chaotic dynamical systems. The most significant parameter describing the triangle shape is the ratio $z$ of its area to the radius of gyration squared. We show that the probability density of $z$ has a phase transition: $P(z)$ is independent of $ε$ and approximately uniform below a critical flow compressibility $β_{\rm c}$ , but for $β>β_{\rm c}$ it is described by two power laws: $P(z)\sim z^{α_1}$ when $1\gg z\gg z_{\rm c}(ε)$ , and $P(z)\sim z^{α_2}$ when $z\ll z_{\rm c}(ε)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.