Sentence examples for based on linear logic from inspiring English sources

Types based on linear logic have also been used within functional programs: see Guzman & Hudak 1990 and Wadler 1991.

In order to support both the management of learning material and the automated construction of personalized courses, the system embeds a planner, based on Linear Temporal Logic.

In this paper, we propose a formal requirement specification notation based on linear temporal logic, with regard to object oriented program elements, such as classes and interfaces.

In the existing literature there are two types of optical mapping of reversible logic gates: (i) based on a semiconductor optical amplifier (SOA) using a Mach Zehnder interferometer (MZI) switch; (ii) based on linear optical quantum computation (LOQC) using linear optical quantum logic gates.

The entire system is based on linear relationships between the individual and the state.

Intuitive leaders do not take action based on linear thinking.

LDA – linear model based on linear discriminant analysis.

See the entry on Linear Logic for a general overview of the field.

This entry uses special symbols that have become standard in texts on linear logic.

For a general treatment of proof nets, we refer to the entry on linear Logic.

Non-linear kinetics based on the logic described by Schilstra and Nehaniv (2008) are used to describe the influence of sets of independently or jointly binding TFs on the expression of a gene.