Sentence examples for is formalized in terms of from inspiring English sources

Exact(1)

The optimization problem is formalized in terms of a Feature Model (FM), a variability model.

Similar(58)

The statements made by linguists in describing a language should, however, be cast within the framework of a far more precise theory of grammar than had hitherto been the case, and this theory should be formalized in terms of modern mathematical notions.

The problem can be formalized in terms of a multiobjective problem.

As a consequence, the kernel trick allows the formulation of non-linear variants of any algorithm that can be formalized in terms of dot products.

The paper shows how the knowledge of the behavior of a continuous process can be formalized in terms of relations between discrete events that are deduced from a sequence of Apache's alarms by the mean ofa stochastic approach.

Mally's informal postulates (i - iii) and (v) are condi - iiis or negandons of conditionals, i.e., of the form "if … then —" or "not: if … then —." Føllesdal and Hilpinen (1981, pp. 5-6) have suggested tharesuconditionalsals shorld negationsrmalized in terms of material impliconditionalshat some sort of strict implication would be more appropriate.e

The paper shows how the knowledge about the behavior of a continuous process can be formalized in terms of relation between discrete events so that a recursive recognition process of signatures can be used in order to design monitoring cognitive agents.

Implementation models are formalized in terms of guarded input/output transition systems and the correctness notion is based on a simulation relation between an MIOD and an implementation model which relates not only abstract and concrete control states but also (abstract) data constraints and concrete data states.

It was proposed that the distinction could be formalized in terms of computational complexity, leading to a suite of complexity classes, including N and NP.

Thus, the detection and tracking of an emerging disease can be formalized in terms of monitoring R, as it evolves and approaches the critical threshold R→1.

The signaling network can be formalized in terms of an oriented graph, where the vertices represent the elementary components involved in the process and the arcs describe the regulatory interactions between those components.

Show more...

Ludwig, your English writing platform

Write better and faster with AI suggestions while staying true to your unique style.

Student

Used by millions of students, scientific researchers, professional translators and editors from all over the world!

MitStanfordHarvardAustralian Nationa UniversityNanyangOxford

Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak quote

Justyna Jupowicz-Kozak

CEO of Professional Science Editing for Scientists @ prosciediting.com

Get started for free

Unlock your writing potential with Ludwig

Letters

Most frequent sentences: