منابع مشابه
Human PRA PRA PRA PRA PRA
This paper proposes the concept of Co-Habited Mixed Reality, and argues how it serves as a basis for large-scale social interaction systems and communityware. The technology that it implies is aimed at focusing a large potential for interaction such that eeectiveness of participation to large scale events is enhanced. We illustrate the idea with scenarios from an ongoing project (COMRIS: co-hab...
متن کاملInterpretability in PRA
In this paper we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to PRA: IL(PRA) is not ILM or ILP. IL(PRA) does of course contain all the principles known to be part of IL(All), the interpretability logic of the principles common to all reasonable arithme...
متن کاملUsing Standard Pra S
Although maximal localization is a basic notion in the consideration of phase-space representations of fields, it has not yet been pursued for general wave fields. We develop measures of spatial and directional spreads for nonparaxial waves in free space. These measures are invariant under translation and rotation and are shown to reduce to the conventional ones when applied to paraxial fields....
متن کاملUsing Standard Pra S
Theoretical and numerical analyses of waveguide branches in a photonic crystal are presented. Conditions for perfect transmission and zero reflection are discussed. Based upon these conditions, numerical simulations of electromagnetic-wave propagation in photonic crystals are performed to identify structures with near-complete transmission. © 2001 Optical Society of America OCIS codes: 130.1750...
متن کاملPRA*: Massively Parallel Heuristic Search
In this paper we describe a variant of A* search designed to run on the massively parallel, SIMD Connection Machine (CM-2). The algorithm is designed to run in a limited memory by use of a retraction technique which allows nodes with poor heuristic values to be removed from the open list, until such time as they may need reexpansion, more promising paths having failed. Our algorithm, called PRA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Brasileira de Enfermagem
سال: 1996
ISSN: 0034-7167
DOI: 10.1590/s0034-71671996000200001