Identifying some pointers as invisible threads, for the purposes of storage management, is a generalization from several widely used programming conventions, like threaded trees. The necessary invariant is that nodes that are accessible (without threads) emit threads only to other accessible nodes. Dynamic tagging or static typing of threads ameliorates storage recycling both in functional and ...

In this paper, we present a computational method to simulate wave propagation in porous rocks saturated with Newtonian fluids over a range of frequencies of interest. The method can use a digital representation of a rock sample where distinct material phase and properties at each volume cell are identified and model the dynamic response of the rock to an acoustic excitation mathematically with ...

This paper presents Sibyl, a new AAC (Augmentative and Alternative Communication) computer system, that aims at improving text typing for persons with sever speech and motor impairments. Typical AAC systems display virtual keyboard on screen which enables key selection via a few switches device. However, text typing is cumbersome. Sibyl aims at allowing faster typing by means of two predictive ...

A refinement is a predicate on the elements of a type that describes their execution behavior. Much work has gone into developing refinements in a closed world, in which the classes of values of a type are fixed statically, as in the case of the natural numbers with zero and succ. Relatively little work has gone into developing refinements in an open world in which new classes may be added dyna...

This paper discusses the use of typed text as a real-time input for interactive performance systems. A brief review of the literature discusses text-based generative systems, links between typing and playing percussion instruments and the use of typing gestures in contemporary performance practice. The paper then documents the author’s audio-visual system that is driven by the typing of text/ly...

A refinement is a predicate on the elements of a type that describes their execution behavior. Much work has gone into developing refinements in a closed world, in which the classes of values of a type are fixed statically, as in the case of the natural numbers with zero and succ. Relatively little work has gone into developing refinements in an open world in which new classes may be added dyna...

BACKGROUND Closed injury to the finger flexor pulley system is found frequently in rock climbers. There are no evidence-based published guidelines on the diagnosis and treatment of these injuries. OBJECTIVES THE PRESENT SYSTEMATIC REVIEW WAS UNDERTAKEN TO ANSWER THE FOLLOWING QUESTIONS: what are the most commonly recommended diagnostic criteria for finger flexor pulley injury in rock climbers...