Preposition: of

• theory: Most of the research activities in the group make use of the formalism of quantum field theory.

• mechanic: To learn the mathematical formalism of quantum mechanics for bound systems, in particular, the simple harmonic oscillator and the hydrogen atom.

Converse of object

• introduce: The course will introduce the theoretical formalisms used to describe the various types of nuclear reactions.

• model: The example is discussed in the paper PEPA nets: a structured performance modeling formalism which appeared in the proceedings of Tools 2002.

• present: We present a formalism for trust which provides us with a tool for precise discussion.

• use: The third lecture covers the basic formalism used in particle physics.

• develop: In 1925 Heisenberg had developed the first coherent mathematical formalism for quantum theory ( Heisenberg, 1925 ).

• provide: Predicate logic provides remarkable insight into these questions by providing a precise formalism capable of expressing all ordinary mathematics.

Adjective modifier

• non-monotonic: The idea of minimization is at the basis of one of the earliest non-monotonic formalisms, McCarthy's circumscription.

• mathematical: By comparison, he seemed to put little value on arguments starting from the mathematical formalism of quantum theory.

• logical: The most remarkable feature of this whole development is its logical formalism.

• consistent: This is expressed especially clearly in the ambiguity problems of the consistent histories formalism.

• different: This tutorial will also address some of the research issues in the transformation techniques between different formalisms.

• such: In addition, it is not clear how such formalisms can cope in the development of large scale real-time systems.

Noun used with modifier

• grammar: Depending on the grammar formalism used, varying degrees of compression are achieved.

• representation: Second the knowledge, i.e. the ontology, can be weakened or, third, translated into another representation formalism.

• logic: Then we present the temporal logic formalism that we use.

• specification: A specification formalism with parameterisation of an arbitrary order is presented.

• knowledge: For systems built using other techniques, more traditional ontology and knowledge representation formalisms might be better suited.

• quantum: Quantum mechanics suffers from the notorious measurement problem, a problem which demands one or another interpretation of the quantum formalism.