Sentence examples for we formalised from inspiring English sources

So we formalised a process for that.

We developed a novel procedure to delineate the current and former state of three characteristic mountain ecotones, which we formalised as forest, tree and tundra lines.

We formalise this definition in an XML schema, which we can use to validate a scenario.

In this paper, we formalise this intuition in the context of algebraical fixpoint theory.

We formalise the relationship between salience and cognitive load revealed by empirical data.

We formalise three alternative hypotheses as point process models characterised by different combinations of covariates.

In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions.

Tarski's theorem expresses that if we formalise the intuitively most obvious principle concerning truth we end up with an inconsistent theory.

In particular, we formalise and study the problem of determining whether a given data integration system discloses a source query to an attacker.

We formalise the concept of a snowflake schema in terms of an acyclic database schema whose join tree satisfies certain structural properties.

In this paper, we formalise and automate this translation process using a probabilistic relational model (PRM) encoded in a relational database.