منابع مشابه
Walther Recursion
Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...
متن کاملRevision of Neotropical genera Microraphes Franz, Heteroscydmus Franz and Mimoscydmus Franz (Coleoptera, Staphylinidae, Scydmaeninae).
Neotropical ant-like stone beetle genera Microraphes Franz, Heteroscydmus Franz and Mimoscydmus Franz are revised. Microraphespygmaeus Franz, Heteroscydmus yapacariensis Franz and Mimoscydmus brasiliensis Franz are redescribed; Mimoscydmus baruerii Franz is transferred to a new genus Amimoscydmus gen. nov., resulting in Amimoscydmus baruerii (Franz) comb. nov. Together with the large genus Micr...
متن کاملThe Viva File System
This paper describes the Viva File System or VIFS, a technique for highperformance file allocation on disks. VIFS uses bitmaps to represent both free blocks on the disk and allocated blocks in each file. Allocation bitmaps provide a very fast method of finding blocks close to the last allocated block in a file. Fragments (partial blocks) are used to store the overflow from the last file block; ...
متن کاملViva the h-index
In their article ‘The inconsistency of the h-index’ Ludo Waltman and Nees Jan van Neck give three examples to demonstrate the inconsistency of the h-index. As will be shown below, a little extension of their examples just illustrate the opposite, a stable feature of the h-index. For starting authors it, the h-index that is, focusses on the number of articles; for experienced authors its focus s...
متن کاملViva the worm
Viva the worm ike yin and yang, good things usually come at a cost. If you live longer, then you give up reproductive fitness in return. The merits of this model—termed antagonistic pleiotropy—have been argued by evolutionary biologists for half a century. Some believe that the effort of reproduction is necessarily linked to deterioration characteristic of aging. have challenged the idea by unc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PORTO ARTE: Revista de Artes Visuais
سال: 2012
ISSN: 2179-8001
DOI: 10.22456/2179-8001.27567