𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A correctness proof of sorting by means of formal procedures

✍ Scribed by Maarten M. Fokkinga

Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
374 KB
Volume
9
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Reduced frictional resistance of polyure
Reduced frictional resistance of polyurethane catheter by means of a surface coating procedure
✍ N. Nurdin; E. Weilandt; M. Textor; M. Taborelli; N. D. Spencer; P. Descouts πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 938 KB

Polyurethane and poly(viny1 pyrrolidone) (PVP)-coated polyurethane catheter surfaces were characterized by time of flight secondary ion mass spectrometry (TOF-SIMS) and were compared in terms of wettability and adhesion and friction properties by scanning force microscopy (SFM). Using TOF-SIMS, the

A revised procedure for discharge measur
A revised procedure for discharge measurement by means of the salt dilution method
✍ Dag Hongve πŸ“‚ Article πŸ“… 1987 πŸ› John Wiley and Sons 🌐 English βš– 259 KB πŸ‘ 1 views

Discharge measurement by means of injection of a NaC1-solution and integration of the electrical conductivity as a function of time is a traditional and well-documented method for use in turbulent streams. The ease of the chemical measurements permits results to be calculated in the field. This work

Disentangling the prefrontal network for
Disentangling the prefrontal network for rule selection by means of a non-verbal variant of the Wisconsin Card Sorting Test
✍ Karsten Specht; Chuh-Hyoun Lie; Nadim. Jon Shah; Gereon R. Fink πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 217 KB

## Abstract This study disentangles the prefrontal network underlying executive functions involved in the Wisconsin Card Sorting Test (WCST). During the WCST, subjects have to perform two key processes: first, they have to derive the correct sorting rule for each trial by trial‐and‐error, and, seco