Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Logic (2)
- optimum test sets. (1)
- Apportionment (1)
- Compactification (1)
- Compaction (1)
-
- Concentrator (1)
- Court workloads (1)
- Data (1)
- Data structures (1)
- Directed Graph (1)
- Fault detection and location (1)
- Forecasting Appeals (1)
- Free storage (1)
- Garbage collection (1)
- Geometric programming (1)
- Indiana Court of Appeals (1)
- Linear tree networks (1)
- List processing (1)
- Multiple faults (1)
- Planning process and prediction model (1)
- Pointers (1)
- Record structures (1)
- Reliability growth (1)
- Relocation (1)
- Storage allocation (1)
- Storage reclamation (1)
- Superconcentrator (1)
- Using a Prediction Model (1)
- Western Kentucky University (1)
- Publication
- Publication Type
Articles 1 - 30 of 53
Full-Text Articles in Physical Sciences and Mathematics
Ellpack Distribution Guide, Ronald F. Boisvert
Ellpack Distribution Guide, Ronald F. Boisvert
Department of Computer Science Technical Reports
No abstract provided.
Further Validation Of An Error Hypothesis, Linda M. Ottenstein
Further Validation Of An Error Hypothesis, Linda M. Ottenstein
Department of Computer Science Technical Reports
No abstract provided.
The Complexity Of Numerical Methods For Elliptic Partial Differential Equations, Elias N. Houstis
The Complexity Of Numerical Methods For Elliptic Partial Differential Equations, Elias N. Houstis
Department of Computer Science Technical Reports
No abstract provided.
Effects Of Updates On Optimality In Tries And Doubly-Chained Trees, Douglas E. Comer
Effects Of Updates On Optimality In Tries And Doubly-Chained Trees, Douglas E. Comer
Department of Computer Science Technical Reports
No abstract provided.
Infem: An Inference-Finite Element Program For Flow Problems, B. Dendrou, Elias N. Houstis
Infem: An Inference-Finite Element Program For Flow Problems, B. Dendrou, Elias N. Houstis
Department of Computer Science Technical Reports
No abstract provided.
Computer Systems Modeling, Measurement And Evaluation: Project Report 1976-1977, Peter J. Denning, Saul Rosen, Herbert D. Schwetman
Computer Systems Modeling, Measurement And Evaluation: Project Report 1976-1977, Peter J. Denning, Saul Rosen, Herbert D. Schwetman
Department of Computer Science Technical Reports
No abstract provided.
Ua51/1/4 All About Us, Vol. 1 Special Edition, Wku Libraries
Ua51/1/4 All About Us, Vol. 1 Special Edition, Wku Libraries
WKU Archives Records
Newsletter created by WKU Libraries as a communication device to relay information to faculty and staff in the Division of Library Services. This special edition contains instructions regarding the new microfiche catalog. This catalog listed full bibliographic descriptions of complete holdings of the libraries using all of the access entries found in a traditional library card catalog. A computer output microfiche is included with the newsletter.
Terminal Talk - The Wofford Connection - September 1977, Wofford College Computer Center
Terminal Talk - The Wofford Connection - September 1977, Wofford College Computer Center
Terminal Talk
No abstract provided.
A High Order Difference Method For Differential Equation, Robert E. Lynch, John R. Rice
A High Order Difference Method For Differential Equation, Robert E. Lynch, John R. Rice
Department of Computer Science Technical Reports
No abstract provided.
Properties Of Ll-Regular Languages, David A. Poplawski
Properties Of Ll-Regular Languages, David A. Poplawski
Department of Computer Science Technical Reports
No abstract provided.
A Software Science Analysis Of The Writing Of A Technical Paper, M. H. Halstead
A Software Science Analysis Of The Writing Of A Technical Paper, M. H. Halstead
Department of Computer Science Technical Reports
No abstract provided.
Development And Application Of Computer Assisted Instruction For Mini-Computers, Thomas A. Burne
Development And Application Of Computer Assisted Instruction For Mini-Computers, Thomas A. Burne
Masters Theses
No abstract provided.
Computational Aspects Of Closed Queueing Networks With Different Customer Classes, G. Balbo, S. C. Bruell, H. D. Schwetman
Computational Aspects Of Closed Queueing Networks With Different Customer Classes, G. Balbo, S. C. Bruell, H. D. Schwetman
Department of Computer Science Technical Reports
No abstract provided.
Potential Impacts Of Software Science On Software Life Cycle Management, M. H. Halstead
Potential Impacts Of Software Science On Software Life Cycle Management, M. H. Halstead
Department of Computer Science Technical Reports
No abstract provided.
Logical Data Base Design Principles For Codasyl Data Base Management Systems, Thomas I. M. Ho, Patrick A. Blosser
Logical Data Base Design Principles For Codasyl Data Base Management Systems, Thomas I. M. Ho, Patrick A. Blosser
Department of Computer Science Technical Reports
No abstract provided.
Removing Duplicate Rows Of A Bounded Degree Array Using Tries, Douglas E. Comer
Removing Duplicate Rows Of A Bounded Degree Array Using Tries, Douglas E. Comer
Department of Computer Science Technical Reports
No abstract provided.
Nonlinear Approximation - Final Report For Nsf Grant Gp-3294ox, John R. Rice
Nonlinear Approximation - Final Report For Nsf Grant Gp-3294ox, John R. Rice
Department of Computer Science Technical Reports
No abstract provided.
Mouse4: An Improved Implementation Of The Ratfor Preprocessor, Douglas E. Comer
Mouse4: An Improved Implementation Of The Ratfor Preprocessor, Douglas E. Comer
Department of Computer Science Technical Reports
No abstract provided.
A Christian Point Of View, A. Wayne Roberts
A Christian Point Of View, A. Wayne Roberts
ACMS Conference Proceedings 1977
Does the fact that you are a Christian affect the way that you teach mathematics? This paper seeks to answer the question, what contributions can a mathematics teacher in a Christian school make to the distinctive purpose of such a school?
Skolem’S Paradox And The Predestination/Free-Will Discussion, Gene B. Chase
Skolem’S Paradox And The Predestination/Free-Will Discussion, Gene B. Chase
ACMS Conference Proceedings 1977
The purpose of this paper is to show that both sides of the predestination/free-will discussion are admissible in a way that is more profound than simply the wave-particle duality of light. In wave-particle duality there are two competing physical models of reality which are contradictory. This paper will show that not a contradiction but a difference in viewpoint is the fundamental issue in the discussion of predestination and free will. A discussion of Skolem’s paradox is helpful in this demonstration.
Current Work On Mathematical Truth, Michael Detlefsen
Current Work On Mathematical Truth, Michael Detlefsen
ACMS Conference Proceedings 1977
The overall aim of this paper is to serve as an introduction to the work currently being done on the topic of mathematical truth. It provides an overview of the major developments concerning mathematical truth and also evaluates those developments as potential contributions to mathematician’s understanding of the subject.
Wanted: Christian Perspectives In The Philosophy Of Mathematics, Arthur F. Holmes
Wanted: Christian Perspectives In The Philosophy Of Mathematics, Arthur F. Holmes
ACMS Conference Proceedings 1977
This paper describes the three types of theory about universals, beginning in each case with a classical historical formulation and moving to its restatement in recent analytic philosophy. It will then suggest ways in which Christian perspectives bear on theories of universals and so on mathematics.
Recent Problems In The Foundationsof Mathematics, Terence H. Perciante
Recent Problems In The Foundationsof Mathematics, Terence H. Perciante
ACMS Conference Proceedings 1977
This paper examines the foundational crises that have haunted twentieth-century mathematics, beginning with a brief review of the effects generated by Gauss, Lobachevsky, and Bolyai who each developed non-Euclidean parallel axiom. Though of mathematical interest in their own right, the significance of the new geometries was greatly magnified when it was discerned that they could be used to adequately model physical space, even to the extent that Einstein’s theory of relativity later employed as its model a non-Euclidean geometry developed by Riemann. The question that obviously presented itself was how could any given geometry be called true when it and …
Infinity & Reality, John W. Warner
Infinity & Reality, John W. Warner
ACMS Conference Proceedings 1977
This paper examines the topics of infinity and reality as relevant to the conference, proposing a possible relationship between the two in order to stimulate further discussions.
A Brief Introduction To Gödel’S Theorems, Michael Detlefsen
A Brief Introduction To Gödel’S Theorems, Michael Detlefsen
ACMS Conference Proceedings 1977
Gödel’s two famous incompleteness theorems are results that have come up a number of times in the discussions at the 1977 ACMS conference. This paper provides a brief and relatively non-technical statement on these results and of their significance for the foundations of mathematics.
Recent Parallels Between The Philosophy Of Science And Mathematics, Joseph Spradley
Recent Parallels Between The Philosophy Of Science And Mathematics, Joseph Spradley
ACMS Conference Proceedings 1977
Following World War I European philosophy of science formed an alliance with mathematics culminating in an attitude of certainty and autonomy that rejected all non empirical claims to truth and purported to make all science presupposition less. The rise and fall of logical positivism has been one of the major themes of of twentieth century thought and illustrates the danger of placing too much emphasis on science and mathematics as an ideal for all knowledge. The restriction of rational inquiry to the modes of scientific verification and the processes of mathematical logic was far too confining for the containment of …
Existence In Mathematics, Willis Alberda
Existence In Mathematics, Willis Alberda
ACMS Conference Proceedings 1977
Contemplation of the existence of mathematical entities for very apparent reasons generates a mental cycling of arguments dealing with the nature of mathematical truth, meaning in mathematics, and the obviously related question of which of these two problems should be solved first. The problem of the existence of mathematical entities dates from the first thoughts and ideas of a mathematical nature. The problem of existence in mathematics is fundamental to the domain of speculation and research on the foundations of mathematics. When we try to put ourselves in the place of those philosophers who first explored this problem we must …
The Foundations Of Mathematics And The Mathematics Curriculum, Bayard Baylis
The Foundations Of Mathematics And The Mathematics Curriculum, Bayard Baylis
ACMS Conference Proceedings 1977
In teaching the foundations of mathematics within the framework of a Christian college, and particularly that of a Christian liberal arts college, there are two groups of students which must be served. The first consisted of the non-mathematics majors—those non-scientifically oriented “general anything” students who, as a catalog might put it, are to receive “an introduction to and an appreciation of the history, foundations, culture and applications of mathematics.” The second group consists of the mathematics majors, and the few science majors who have not been frightened away by the calculus. The gulf between these two groups is sufficiently large, …
Epistomology To Ontology, Charles R. Hampton
Epistomology To Ontology, Charles R. Hampton
ACMS Conference Proceedings 1977
This paper offers commentary on the various philosophical approaches to the foundations of mathematics and then indicates how these ideas have implications in consideration of the existence question.
Introduction (1977), Robert Brabenec
Introduction (1977), Robert Brabenec
ACMS Conference Proceedings 1977
No abstract provided.