𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On assertion-based encapsulation for object invariants and simulations

✍ Scribed by David A. Naumann

Publisher
Springer
Year
2006
Tongue
English
Weight
605 KB
Volume
19
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A vision system for object verification
A vision system for object verification and localization based on local features
✍ Albert-Jan Baerveldt πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 520 KB

An object verification and localization system should answer the question whether an expected object is present in an image or not, i.e. verification, and if present where it is located. Such a system would be very useful for mobile robots, e.g. for landmark recognition or for the fulfilment of cert

A simulator for single-electron tunnel d
A simulator for single-electron tunnel devices and circuits based on simulated annealing
✍ I. Karafyllidis πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 65 KB

Simulated annealing is proposed as a simulation method for single-electron tunnel devices and circuits. Tunnel junctions, voltage sources and capacitors are used as elements for the construction of single-electron circuits. The simulator is applied successfully to the twostage tunnel junction invert