BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

John Grant

John Grant appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Artificial Intelligencecond-mat.stat-mechnlin.CDphysics.flu-dyn

Catalog footprint

What is connected

3works
4topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

3 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}(ε)$.

0 citations0 reviewsNo code linkedOpen access