Results 211 to 220 of about 206,932 (267)
Some of the next articles are maybe not open access.
2006
The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either certifies as constituting a valid sequence of definitions and theorems, or rejects as defective. The functionality of this proof verifier and the key issues for its effective use are illustrated, in particular by a case-study referring to bisimulations,
Eugenio G. Omodeo +3 more
openaire +4 more sources
The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either certifies as constituting a valid sequence of definitions and theorems, or rejects as defective. The functionality of this proof verifier and the key issues for its effective use are illustrated, in particular by a case-study referring to bisimulations,
Eugenio G. Omodeo +3 more
openaire +4 more sources
The Computerization of Sportsmedicine
The Physician and Sportsmedicine, 1981The efficiency possible with computer technology is making sportsmedicine expertise available to a fitness-conscious public. Better communication between programmers and sportsmedicine practitioners is necessary, however, so that computer systems are fully understood by those using them.
openaire +2 more sources
Acta Odontologica Scandinavica, 1978
A method to analyse cephalometric radiographs with the help of a computer has been described. With the system a cephalometric radiograph can be analysed and the results compared to corresponding analyses of individuals with ideal occlusion. The results can also be visualized as schematic figures of the patients.
R, Bergin, J, Hallenberg, O, Malmgren
openaire +2 more sources
A method to analyse cephalometric radiographs with the help of a computer has been described. With the system a cephalometric radiograph can be analysed and the results compared to corresponding analyses of individuals with ideal occlusion. The results can also be visualized as schematic figures of the patients.
R, Bergin, J, Hallenberg, O, Malmgren
openaire +2 more sources
Pediatrics, 1987
To the Editor.— Carlo et al1 report an "expert system" based on an algorithm for mechanical ventilation of infants with respiratory distress syndrome which would have corrected arterial blood gas derangements in 89% of 106 clinical trials.
openaire +2 more sources
To the Editor.— Carlo et al1 report an "expert system" based on an algorithm for mechanical ventilation of infants with respiratory distress syndrome which would have corrected arterial blood gas derangements in 89% of 106 clinical trials.
openaire +2 more sources
Computerization in microbiology
Human Pathology, 1976Computerization of the clinical microbiology laboratory is finally coming of age. Operations and functions easily adapted from other clinical laboratories have already been implemented in the microbiology laboratory, e.g., fiscal, clerical, and other administrative housekeeping chores. Similarly, storage, retrieval, and analysis of banks of data easily
openaire +2 more sources
Computerized EEG in Schizophrenics
Neuropsychobiology, 200820 psychiatric patients without pharmacologic therapy and an homogeneous control group of 19 healthy subjects have been submitted to an electroencephalographic (EEG) investigation. Computerized spectral analyses of the main EEG frequency bands have been performed.
KEMALI D +5 more
openaire +3 more sources
Computerization of Sweet's Localization
Radiology, 1972Abstract A computerized program for Sweet's localization of foreign bodies in the orbit has been developed. The 4 standard measurements are made from the radiographs and entered into the computer. The program computes the location of the foreign body. Improvement in accuracy as well as considerable simplification of the procedure has been attained. The
T J, Cusack, W F, Herrin
openaire +2 more sources
2017
From its military origins during the Cold War, the computer migrated into the civilian sector. Aerospace and defense corporations led the nation into the digital age, with presidents urging for its wider and wider applications. Recent presidential elections (and politics in general) have increasingly relied upon advancing computer technology.
openaire +1 more source
From its military origins during the Cold War, the computer migrated into the civilian sector. Aerospace and defense corporations led the nation into the digital age, with presidents urging for its wider and wider applications. Recent presidential elections (and politics in general) have increasingly relied upon advancing computer technology.
openaire +1 more source
Computerized Language Analysis
American Annals of the Deaf, 1985The classroom computer can be an agent of change by aiding the classroom teacher in the analysis of language samples. Once the language samples are analyzed, changes in programming can be designed to correct language deficiencies. This article describes a computerized language analysis system that produces a detailed description as well as summary ...
openaire +2 more sources