EVS Code Type

2020 ◽  
Author(s):  
Keyword(s):  
Code Type

scholarly journals Making legacy Fortran code type safe through automated program transformation

2021 ◽  
Author(s):  
Wim Vanderbauwhede
Keyword(s):  
Side Effect ◽  
Program Transformation ◽  
The Novel ◽  
Formal Approach ◽  
Type Checking ◽  
Type Safety ◽  
Fortran Code ◽  
Fortran 90 ◽  
Code Type ◽  
Fortran 77

AbstractFortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation. The objective of this work is to reduce programming errors by guaranteeing type safety. We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90. We have implemented these algorithms in a source-to-source compiler which type checks and automatically transforms the legacy code. We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators.

A new empirical automated MMPI interpretive program: The 6-9/9-6 code type

1973 ◽  
Vol 29 (1) ◽  
pp. 60-61 ◽  
Author(s):  
Malcolm D. Gynther ◽  
Harold Altman ◽  
Robert W. Warbin
Keyword(s):  
Code Type

Replicated Empirical Correlates of the MMPI 8–9/9–8 Code Type

1973 ◽  
Vol 37 (4) ◽  
pp. 369-371 ◽  
Author(s):  
Harold Altman ◽  
Robert W. Warbin ◽  
Ivan W. Sletten ◽  
Malcolm D. Gynther
Keyword(s):  
Code Type

Using the 1983 norms for the MMPI: Code type frequencies in four clinical samples

1985 ◽  
Vol 41 (5) ◽  
pp. 629-633 ◽  
Author(s):  
Robert C. Colligan ◽  
David Osborne ◽  
Wendell M. Swenson ◽  
Kenneth P. Offord
Keyword(s):  
Clinical Samples ◽  
Code Type

scholarly journals Understanding torsional phenomena in ductile systems

2000 ◽  
Vol 33 (4) ◽  
pp. 403-420 ◽  
Author(s):  
Tom Paulay
Keyword(s):  
Structural Properties ◽  
Seismic Design ◽  
Design Strategies ◽  
Structural Behaviour ◽  
Code Type

Recent studies provided opportunities to review some of the principles, which have been used in the formulations of internationally accepted code-recommendations relevant to the seismic design of ductile buildings also subjected to torsional phenomena. With the progress of this study, features emerged which are considered to have contributed to a better understanding of structural behaviour. Moreover, the identification of deeply embedded fallacies, relevant to ductile response, suggested the introduction of some changes in seismic design strategies, yet not widely known or appreciated. Reasons for necessary re-interpretations of traditional structural properties, together with illustrative examples, demonstrating applications, rather than set code-type rules, are offered.

scholarly journals Automatic system for identification of a vehicle based on the application of the matrix QR code

2020 ◽  
Vol 17 (2) ◽  
pp. 195-201
Author(s):  
R. N. Safiullin ◽  
◽  
E. V. Morozov ◽  
D. D. Belikova ◽  
◽  
...  
Keyword(s):  
Mixed Method ◽  
Traffic Control ◽  
Identification System ◽  
Qr Code ◽  
Vehicle Identification ◽  
Vehicle Operation ◽  
Automatic Vehicle Identification ◽  
The Matrix ◽  
Code Type ◽  
Mixed Pattern

The article discusses a new method of automatic vehicle identification system (AVIS) based on the developed system of vehicle traffic control using matrix QR-code, which solves the problem of segmentation of license plates and signs of different formats (signs of the QR-code type with a different number of characters). The system has been created in order to recognize segmented characters from the same input sets that have the same size without overlapping letters and sets of numbers. It is proposed to apply a method for recognizing non-standard characters, based on the use of a mixed pattern method, the degree of compliance. Based on testing of 100 samples of templates and signs, experiments and images taken in real conditions of vehicle operation, it can be stated, that this method provides a recognition accuracy of 80.4%., for the mixed pattern method, it takes 1.7 seconds, and for the compliance templates it takes 0.75 second to perform the recognition operation when determining the adequacy of the application of the mixed method.

Violent Primitive Earth Might have Harmonized with the Origin of Life

1997 ◽  
Vol 161 ◽  
pp. 431-436
Author(s):  
Mikio Shimizu
Keyword(s):  
Amino Acid ◽  
Genetic Code ◽  
Small Rnas ◽  
Association Constant ◽  
Specific Interactions ◽  
Rapid Rate ◽  
Primitive Earth ◽  
Small System ◽  
The Origin Of Life ◽  
Code Type

AbstractAt the end of the planetesimal infall on the surface of the primitive earth, hot dry beaches might have been useful for the formation of various activated monomers and oligomers (peptides and small RNAs). We discuss the possibility that a small system composed of small RNAs (∼ 10 mers) and dipeptides might have mimicked the contemporary biosystem, based on experimental results suggesting the presence of previously overlooked weak but specific interactions between three bases and one amino acid (of genetic code type) and also those between a dipeptide and a biosubstrate (of ligase, transferase, hydrolase, lyase, isomerase and dehydrogenase type). The Kms obtained for these dipeptide enzymes were of the order of 1M, in accord with the association constant for the binding of guanosine to cytocine in water. In this oligomer world, the genotype and phenotype evolution was closely coupled, resulting in a very rapid rate of evolution.

The 3-4/4-3 MMPI code type in an offender population: An update on levels of hostility and violence.

1993 ◽  
Vol 5 (4) ◽  
pp. 493-498 ◽  
Author(s):  
Michael J. O'Sullivan ◽  
Ron P. Jemelka
Keyword(s):  
Code Type
Sign in / Sign up

Export Citation Format

Share Document