Results 221 to 230 of about 337,416 (263)

Galois connections and computer science applications

1986
We have presented an existence theorem and some important properties of Galois connections. We have also shown how data structures problems can be simplified and better understood when Galois insertions are used. In particular, the proof of correctness of an implementation follows simply from the construction of a Galois insertion.
Austin Melton, David A. Schmidt, George E. Strecker   +2 more
openaire   +2 more sources

Innovative applications of computer science in medicine

Proceedings of the May 19-22, 1975, national computer conference and exposition on - AFIPS '75, 1975
For a variety of economic, social and geographical reasons, there currently exists a maldistribution of medical expertise with respect to the needs of the population both in this country and perhaps more markedly abroad. The particular characteristics of the computer, its large memory and the industry of its computing engine, suggest the possibility of
openaire   +2 more sources

Some computer applications in political science

Computers and the Humanities, 1967
TO SOME, "POLITICAL SCIENCE" IS A CONTRADICTION IN TERMS. They regard politics as an art which defies systematic study and, hence, offers no basis for a "science." Others contend, as I do, that human behavior is subject to systematic study, explanation, and prediction-and this includes man's political behavior.
openaire   +2 more sources

Computational Science and Its Applications

2004
Book
LAGANA', Antonio, Marina L. Gavrilova, Vipin Kumar, Youngsong Mun, C. J. Kenneth Tan, GERVASI, Osvaldo   +5 more
openaire   +7 more sources

Computational Science and Its Applications

2013
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected.
Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong Quang Nguyen, David Taniar, Bernady O. Apduhan, GERVASI, Osvaldo   +7 more
openaire   +4 more sources

Computer Applications in the Biological Sciences

1975
Abstract : The computer sciences have had a major impact on research and development in the physical sciences and engineering over the past several decades. Their influence on biological research has developed less rapidly. Computer sciences have assumed a more important role in biological and medical research as hardware has become more sophisticated,
John M. Talbot, C. Jelleff Carr, Kenneth D. Fisher   +2 more
openaire   +1 more source

HPCN96: General applications, computational and computer science

Future Generation Computer Systems, 1997
Peter M. A. Sloot, Heather M. Liddell
openaire   +2 more sources

A Survey on Quaternion Algebra and Geometric Algebra Applications in Engineering and Computer Science 1995–2020

IEEE Access, 2021
Eduardo Bayro-Corrochano
exaly  

Computational Intelligence Applications for Data Science

Knowledge-Based Systems, 2015
Ronei Marcos de Moraes, Luis Martínez-López 0001   +1 more
openaire   +2 more sources

Effect of Developed Mobile Application on Undergraduates Academic Performance in Computer Science

ASEAN Journal of Science and Engineering Education, 2022
Ebenezer Omolafe Babalola, Eyiyemi Veronica Omolafe   +1 more
exaly