منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملTroublesome Thai travels.
A previously fit and well 15-year-old Caucasian boy presented with a week of intermittent pyrexia, nonbloody, non-mucoid diarrhoea and bilious vomiting. He also presented with persistent headache, general myalgia, and had episodes of rigours. He had returned 48 hours previously from a family holiday touring Thailand for three weeks with no travel towards the Vietnamese and Laos borders. All rec...
متن کاملMultiverse Time Travels
We suggest a hypothesis of the Multiverse which, contrary to other similar hypotheses, can be verified experimentally already at the present time. This Multiverse allows for bidirectional visits of inhabitants from different parallel Universes through portals which have nothing to do with the so-called ‘wormholes’. However, since portal borders are invisible and portals themselves may appear an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Renaissance and Reformation
سال: 2001
ISSN: 2293-7374,0034-429X
DOI: 10.33137/rr.v37i3.8712