An Algebraic Programming Style for Numerical Software and its Optimization
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds, scalar fields, tensors, and the
8 indexed results
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds, scalar fields, tensors, and the
A common object technique equipped with the categorical and computational styles is briefly outlined. An object is evaluated by embedding
The global audience for software products includes members of different countries, religions, and cultures: people who speak different languages, have
This paper presents an exploratory study of college-age students using two-way, push-to-talk cellular radios. We describe the observed and reported
When dealing with certain kind of complex phenomena the theoretician may face some difficulties -- typically a failure to have
This paper precisely analyzes the wire density and required area in standard layout styles for the hypercube. The most natural,
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with
Competing styles in Statistical Mechanics have been introduced to investigate physico-chemical systems displaying complex structures, when one faces difficulties to