𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive theory of continuous domains suitable for implementation

✍ Scribed by Andrej Bauer; Iztok Kavkler


Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
1011 KB
Volume
159
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A constructive implementation of the Car
✍ David Hartley; Robin W. Tucker πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 733 KB

An efficient algorithm for the construction of a regular chain of involutlve integral elements for a general exterior differential system is presented, It is based upon the existence theorems of the Gartan-Kb..~ler theory~ and may be used to analyse partial differential equations by formulating them

Perfectly matched layers for time-harmon
✍ Ushnish Basu; Anil K. Chopra πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 625 KB

One approach to the numerical solution of a wave equation on an unbounded domain uses a bounded domain surrounded by an absorbing boundary or layer that absorbs waves propagating outwards from the bounded domain. A perfectly matched layer (PML) is an unphysical absorbing layer model for linear wave

Theory and practice for the implementati
✍ Marla C. Haims; Pascale Carayon πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 223 KB

This paper presents a case study of an implementation of a participatory ergonomics program in a public service agency. The objective of the study was to develop a theoretical model and related design principles for the implementation of 'in-house', continuous improvement participatory programs. The