Results 251 to 260 of about 120,189 (290)
Some of the next articles are maybe not open access.
Human Factors: The Journal of the Human Factors and Ergonomics Society, 1964
The purpose of this study was to compare the effectiveness of graphic vs. computer-aided link analysis. One analyst performed a graphic analysis of a complex flight control system checkout console. Another, following the same operating procedure, carried out a computer-aided analysis of the same console, utilizing the RECOMP II and a specially ...
R C, HAYGOOD, K S, TEEL, C P, GREENING
openaire +2 more sources
The purpose of this study was to compare the effectiveness of graphic vs. computer-aided link analysis. One analyst performed a graphic analysis of a complex flight control system checkout console. Another, following the same operating procedure, carried out a computer-aided analysis of the same console, utilizing the RECOMP II and a specially ...
R C, HAYGOOD, K S, TEEL, C P, GREENING
openaire +2 more sources
A modal analysis of staged computation
Journal of the ACM, 1995We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed λ-calculi and functional languages. We directly demonstrate the sense in which our λ e →□ -calculus captures staging, and also ...
Rowan Davies, Frank Pfenning
openaire +1 more source
Computer analysis of the electrocardiogram
Endeavour, 1981Abstract In many fields of modern medicine, diagnosis and treatment demand the rapid correlation of a very large number of variables. To reduce this task to manageable proportions increasing use is being made of computers. The subject of the use of computers in medicine generally is too broad to review adequately in a brief space.
openaire +2 more sources
Electrocardiographic Analysis by Computer
JAMA: The Journal of the American Medical Association, 1965The desirability of conserving the electrocardiographer's time and energy by automation of the routine involved in the interpretation of a large daily load of electrocardiograms is self-evident. Two aspects of this load, namely the recording of the traces and final interpretation of them in terms of the total clinical picture presented by the patient ...
openaire +2 more sources
An Introduction to Computational Algebraic Analysis
Milan Journal of Mathematics, 2003The authors present a new field of algebraic analysis, which they call computational algebraic analysis. A part of the theory of several complex variables can be interpreted in terms of algebraic analysis. Some systems of differential equations of physical interest are studied with the methods of this new field.
COLOMBO, FABRIZIO +2 more
openaire +4 more sources
A foundation of computable analysis
Bull. EATCS, 2020Summary: While for countable sets there is a single computability theory (ordinary recursion theory), for computability in analysis several mutually non-equivalent theories have been proposed, none of which, however, has been accepted by the majority of mathematicians or computer scientists. One of these theories, TTE (Type 2 Theory of Effectivity), is
openaire +1 more source
Analysis of computational systems
Proceedings of the 1965 20th national conference on -, 1965A PROGRAM with a number of subroutines can be represented by a flow diagram; Figure 1. The nodes represent the subroutines and the directed branches indicate the allowed transitions between them. Given a program consisting of n subroutines R1, R2 .....Rn, two matrices are also assumed to be known, viz., an n × 1 matrix of execution times of each ...
openaire +1 more source
COMPUTATIONAL ANALYSIS OF GENETIC SEQUENCES
Annual Review of Biophysics and Biophysical Chemistry, 1986Much computational processing of sequence data can be accomplished by applying the kinds of computational tools and processes widely used in text processing, perhaps specialized to sequences, but not necessarily so. A number of programs have been developed specifically to assist in assembling sequences from individually sequenced restriction fragments.
openaire +2 more sources
COMPUTER ANALYSIS OF ECHOCARDIOGRAMS
Medical Journal of Australia, 1977N M, Bass, R M, Whitlock
openaire +2 more sources
A foundation for computable analysis
1997While for countable sets there is a single well established computability theory (ordinary recursion theory), Computable Analysis is still underdeveloped. Several mutually non-equivalent theories have been proposed for it, none of which, however, has been accepted by the majority of mathematicians or computer scientists.
openaire +1 more source