A bionumeric code, used by the BCF [Bureau of Commercial Fisheries] Exploratory Fishing Base in Pascagoula, Miss. is presented and discussed. The basic code consist of 9 digits divided into phylum-class, class-order, ...
详细信息
A bionumeric code, used by the BCF [Bureau of Commercial Fisheries] Exploratory Fishing Base in Pascagoula, Miss. is presented and discussed. The basic code consist of 9 digits divided into phylum-class, class-order, family, genus, and species categories. The code, a modification of one proposed by the FAO [Food and Agricultural Organization] in 1960, has facilitated the handling of large quantities of faunal data from the southwestern North Atlantic, Gulf of Mexico, and the Caribbean Sea. Expansion capabilities are inherent in the code structure and are discussed. Comparisons are also made with several code systems previously suggested by other workers. The present need for bionumeric coding systems is emphasized and a suggestion is made for establishing a central agency wherein all taxonomic records would be maintained and coded.
AFFIRM is an experimental system for the algebraic specification and verification of abstract data types and Pascal-like programs using these types. The heart of the system is a natural deduction theorem proven for th...
详细信息
AFFIRM is an experimental system for the algebraic specification and verification of abstract data types and Pascal-like programs using these types. The heart of the system is a natural deduction theorem proven for the interactive proof of verification conditions and properties of data types. Additional features include tools for the analysis of algebraic specifications, a library of data types, and user interface facilities. Experience includes extensive experimentation with data type specifications, verification of small programs, the specification and partial proof of a large file updating module, and the proof of high level properties of protocols and security kernels.
This article reports on the development of computer software codes and the arguments as to whether they should be released by researchers. The software codes give insight into research methodology during the peer revi...
详细信息
This article reports on the development of computer software codes and the arguments as to whether they should be released by researchers. The software codes give insight into research methodology during the peer review process for research, but there is disagreement as to whether the computer codes should be released because, most of the time, they were not developed by the researchers themselves. The article discusses the practices, procedures, and standards of software programming, noting problems with liability for errors. Information is also provided on the protection of intellectual property, as well as on research on climate change and nanotechnology.
In a recent paper (Bourbakis, Pattern Recognition 22, 387-396 (1989) a thinning algorithm which is characterized as a parallel-symmetric thinning algorithm (PSTA) is presented. There are several concerns regarding thi...
详细信息
In a recent paper (Bourbakis, Pattern Recognition 22, 387-396 (1989) a thinning algorithm which is characterized as a parallel-symmetric thinning algorithm (PSTA) is presented. There are several concerns regarding this algorithm which bring into question its utility as a parallel thinning algorithm. In this note it is shown that PSTA is fundamentally the parallel application of two largely sequential components and is most aptly characterized as a sequential algorithm;that it produces unacceptable geometric results for many images;and that it fails to preserve connectivity properties for a large class of images.
This paper discusses the use of e-Science Grid in providing computational resources for modern international High Energy Physics (HEP) experiments. We investigate the suitability of the. current generation of Grid sof...
详细信息
This paper discusses the use of e-Science Grid in providing computational resources for modern international High Energy Physics (HEP) experiments. We investigate the suitability of the. current generation of Grid software to provide the necessary resources to perform large-scale simulation of the experiment and analysis of data in the context of multinational collaboration.
Comments on the article by Kerry Litzenberg from the December 1982 issue of 'American Journal of Agricultural Economics' about the use of computers in the teaching of agricultural economics. Benefits of comput...
详细信息
Comments on the article by Kerry Litzenberg from the December 1982 issue of 'American Journal of Agricultural Economics' about the use of computers in the teaching of agricultural economics. Benefits of computer-aided instruction; Development of the computer skills of students.
The article focuses on computational models for the analysis of Amyotrophic lateral sclerosis (ALS) patients' data which can help in predicting ALS disease progression. It mentions a study by R. Küffner and c...
详细信息
The article focuses on computational models for the analysis of Amyotrophic lateral sclerosis (ALS) patients' data which can help in predicting ALS disease progression. It mentions a study by R. Küffner and colleagues for the same in which clinical database PRO-ACT was developed for algorithm development and validation, and the evaluation of accuracy of the algorithms' predictions for patients followed by ranking of algorithms with respect to patients' ability to predict disease course.
The article discusses the use of computer hackers to help governments fix public services. Topics include groups of volunteers that help to improve public services, called civil hackers, public events where hackers ga...
详细信息
The article discusses the use of computer hackers to help governments fix public services. Topics include groups of volunteers that help to improve public services, called civil hackers, public events where hackers gather to create applications and digital tools to enhance public services, called hackathons, and a website that allows individuals to tell their local governments about public infrastructure problems, called FixMyStreet, by website builder mySociety.
暂无评论