Results 1  10
of
2,793
A new notation for arrows
 In International Conference on Functional Programming (ICFP ’01
, 2001
"... The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic programming style provides a convenient syntax for many kinds of computation, so that each library defines a new sublang ..."
Abstract

Cited by 67 (1 self)
 Add to MetaCart
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic programming style provides a convenient syntax for many kinds of computation, so that each library defines a new
A New Notation for Arrows
"... ABSTRACT The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic programming style provides a convenient syntax for many kinds of computation, so that each library defines a ne ..."
Abstract
 Add to MetaCart
new sublanguage. Recently, several workers have proposed a generalization of monads, called variously "arrows " or Freydcategories. The extra generality promises to increase the power, expressiveness and efficiency of the embedded approach, but does not mesh as well with the native
New Notation for Serial Kinematic Chains
, 1987
"... Abstract: The description of a serial kinematic chain should be unique, unambiguous,simple to determine,easy to use and wellbehaved when small changes are made in the arrangement of the elements of the chain. The notation currently in use,introduced by Denavit and Hartenberg,does not satisfy all of ..."
Abstract
 Add to MetaCart
chains,ones that permit closedform solution of the inverse kinematic problem,since these often involve geometries where adjacent axes are parallel,perpendicular or intersect. A new notation is proposed here that does not suffer the abovementioned shortcomings. To demonstrate some of the advantages
Alternative new notation for quantum information theory
"... A new notation has been introduced for the quantum information theory. By this notation,some calculations became simple in quantum information theory such as quantum swapping, quantum teleportation. 1 ..."
Abstract
 Add to MetaCart
A new notation has been introduced for the quantum information theory. By this notation,some calculations became simple in quantum information theory such as quantum swapping, quantum teleportation. 1
A New Notational Framework for Declarative Process Modeling
"... Abstract In order to capture flexible scenarios, a declarative approach to business process modeling describes constraints that limit a process' behavior instead of specifying all its allowed enactments. However, current graphical notations for declarative processes are tough to understand, th ..."
Abstract
 Add to MetaCart
Abstract In order to capture flexible scenarios, a declarative approach to business process modeling describes constraints that limit a process' behavior instead of specifying all its allowed enactments. However, current graphical notations for declarative processes are tough to understand
• OPEN • Simulations with OPEN • Course Summary New Notation
, 2007
"... All the notation you’re no doubt familiar with (C,G, Y), etc is still in use, but for space and sanity, I’m only including the newer variables and parameters to be used in this model. Symbol Meaning N,S North and South Holdings, respectively. For example, Y N is the national income of the North. µ P ..."
Abstract
 Add to MetaCart
All the notation you’re no doubt familiar with (C,G, Y), etc is still in use, but for space and sanity, I’m only including the newer variables and parameters to be used in this model. Symbol Meaning N,S North and South Holdings, respectively. For example, Y N is the national income of the North. µ
Developing new notations for a learnable mathematics in the computational era
 In L. D. English (Ed.), Handbook of international research on mathematics education
, 2002
"... Since the publication of this chapter, Jim Kaput was killed in a tragic road accident. We have all lost an energetic, visionary and dedicated colleague. Mathematics Education research has lost one of its greatest exponents, a researcher who not only understood the world of education, but knew how to ..."
Abstract

Cited by 15 (4 self)
 Add to MetaCart
to change it. His theoretical work on the evolution of notational systems – much of it presented by him in this article – as well as his practical contribution, most recently through SimCalc, is living testimony to the importance and impact of his work. And we have lost a friend: a friend with a wonderful
Notes On Formalizing Context
, 1993
"... These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizat ..."
Abstract

Cited by 417 (9 self)
 Add to MetaCart
to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. Various notations are considered, but these notes are tentative in not proposing a single language with all the desired capabilities.
NOTATION
"... new approach for approximating the free transfer function in Qparametrization. ..."
Abstract
 Add to MetaCart
new approach for approximating the free transfer function in Qparametrization.
Notation
"... We obtain a new definition of the ramification subgroups of the absolute Galois group of a complete discrete valuation field with perfect residue field. ..."
Abstract
 Add to MetaCart
We obtain a new definition of the ramification subgroups of the absolute Galois group of a complete discrete valuation field with perfect residue field.
Results 1  10
of
2,793