Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 63421 - 63450 of 63841

Full-Text Articles in Entire DC Network

Implications Of Recent Developments In Philosophy Of Science For An Axiological Approach To Foundations Of Mathematics, Harold Heie Jun 1979

Implications Of Recent Developments In Philosophy Of Science For An Axiological Approach To Foundations Of Mathematics, Harold Heie

ACMS Conference Proceedings 1979

No abstract provided.


Logic In The Mathematics Curriculum, Nigel Cutland Jun 1979

Logic In The Mathematics Curriculum, Nigel Cutland

ACMS Conference Proceedings 1979

No abstract provided.


Introduction (1979), Robert Brabenec May 1979

Introduction (1979), Robert Brabenec

ACMS Conference Proceedings 1979

No abstract provided.


Table Of Contents (1979), Association Of Christians In The Mathematical Sciences May 1979

Table Of Contents (1979), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1979

A Second Conference on the Foundations of Mathematics


Ellpack '78 User's Guide-Preliminary Version, John R. Rice May 1979

Ellpack '78 User's Guide-Preliminary Version, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 1, No. 1, Wku Mathematics & Computer Science Apr 1979

Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 1, No. 1, Wku Mathematics & Computer Science

WKU Administration Documents

Newsletter created to promote the Ogden College Computer Laboratory. This issue is a review of some projects, courses, hardware and software available from the computer lab.


Synchronization Strategies, Mishell J. Stucki, Jerome R. Cox Jr Apr 1979

Synchronization Strategies, Mishell J. Stucki, Jerome R. Cox Jr

All Computer Science and Engineering Research

Computing systems are now frequently composed of independently clocked subsystems that cooperate to perform the function desired for the whole. This type of architecture has many advantages and promises to be the standard for the foreseeable future. With the trend towards more and more gates per chip, the number of chips per subsystem gets smaller and smaller, and we can expect to soon see one or more subsystems per chip. This transition will require contributions from disciplines previously outside the field of chip design, and every issue will have to be carefully worked out beforehand because debugging chips of this …


Fast Lp(K) Analysis, Giovanni Maria Sacco Apr 1979

Fast Lp(K) Analysis, Giovanni Maria Sacco

Department of Computer Science Technical Reports

No abstract provided.


Secure Statistical Databases With Random Sample Queries, Dorothy E. Denning Apr 1979

Secure Statistical Databases With Random Sample Queries, Dorothy E. Denning

Department of Computer Science Technical Reports

No abstract provided.


Hash-Binary Search: A Fast Technique For Searching An English Spelling Dictionary, Douglas E. Comer, Vincent Y. Shen Apr 1979

Hash-Binary Search: A Fast Technique For Searching An English Spelling Dictionary, Douglas E. Comer, Vincent Y. Shen

Department of Computer Science Technical Reports

No abstract provided.


Terminal Talk - The Wofford Connection - February 1979, Wofford College Computer Center Feb 1979

Terminal Talk - The Wofford Connection - February 1979, Wofford College Computer Center

Terminal Talk

No abstract provided.


A Proof Procedure For Quantifier-Free Non-Clausal First Order Logic, Neil V. Murray Feb 1979

A Proof Procedure For Quantifier-Free Non-Clausal First Order Logic, Neil V. Murray

Electrical Engineering and Computer Science - Technical Reports

A proof procedure is described which operates on formulas of the predicate calculus which are quantifier-free. The procedure, which involves a single inference rule called NC-resolution, is shown to be complete. Completeness is also obtained for a simple restriction on the rule’s application. Examples are given using NC-resolution not only for synthesis of a logic program from its specification, but for execution of a program specification in its original form.


Optimal 2,3-Trees, Nicholas J. Pippenger, Raymond E. Miller, Arnold L. Rosenberg, Lawrence Snyder Jan 1979

Optimal 2,3-Trees, Nicholas J. Pippenger, Raymond E. Miller, Arnold L. Rosenberg, Lawrence Snyder

All HMC Faculty Publications and Research

The 2,3-trees that are optimal in the sense of having minimal expected number of nodes visited per access are characterized in terms of their “profiles”. The characterization leads directly to a linear-time algorithm for constructing a K-key optimal 2,3-tree for a sorted list of K keys. A number of results are derived that demonstrate how different in structure these optimal 2,3-trees are from their “average” cousins.


Making Curriculum Decisions And The Nature Of Mathematics, Paul Zwier Jan 1979

Making Curriculum Decisions And The Nature Of Mathematics, Paul Zwier

ACMS Journal 2004

This paper clearly presents eight aspects of mathematics and contrasting perspectives in each that will affect the teaching of mathematics and the design of curricula. It also presents a collection of affirmations that could reasonably characterize a Christian perspective on teaching mathematics.


On The Application Of Coding Theory To Hashing, Nicholas Pippenger Jan 1979

On The Application Of Coding Theory To Hashing, Nicholas Pippenger

All HMC Faculty Publications and Research

Quick proofs are given for the characterization (due to Schay, Raver, Hanan, and Palermo) of the collision distance of a linear hashing function and for a dual function (called the restriction distance), which relates to the accessibility of addresses by sets of keys and the uniform distribution of sets of keys over addresses.


The Influence Of Harvest Rate And Drying Time On Grain Drying And Storage Facility Selection, Thomas C. Bridges, Otto J. Loewer Jr., Douglas G. Overhults Jan 1979

The Influence Of Harvest Rate And Drying Time On Grain Drying And Storage Facility Selection, Thomas C. Bridges, Otto J. Loewer Jr., Douglas G. Overhults

Biosystems and Agricultural Engineering Faculty Publications

No abstract provided.


The Total Negation Of A Topological Property, Paul Bankston Jan 1979

The Total Negation Of A Topological Property, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.


A Mechanism For Specifying Parallel Procedures, James Oliver Smith Jr. Jan 1979

A Mechanism For Specifying Parallel Procedures, James Oliver Smith Jr.

Masters Theses

"This thesis presents a mechanism that will provide a semantic and syntactic environment for expressing parallel procedures. This mechanism will be referred to as the Parallel Machine. The parallelism of the Parallel Machine is accomplished through an arbitrary number of specialized computing elements that each implement a single command called a Simultaneous Command. Each Simultaneous Command is capable of determining the occasions for its action by observing conditions within the Parallel Machine. There is no restriction on the number of Simultaneous Commands that can be defined or be simultaneously active. Within a parallel procedure expressed as a set of Simultaneous …


A Computer Model For Evaluating Corn Harvesting, Handling, Drying And Storage Systems, Thomas C. Bridges, Otto J. Loewer Jr., John N. Walker, Douglas G. Overhults Jan 1979

A Computer Model For Evaluating Corn Harvesting, Handling, Drying And Storage Systems, Thomas C. Bridges, Otto J. Loewer Jr., John N. Walker, Douglas G. Overhults

Biosystems and Agricultural Engineering Faculty Publications

No abstract provided.


The Cusp Catastrophe And The Laws Of Dialectics, Martin Zwick Jan 1979

The Cusp Catastrophe And The Laws Of Dialectics, Martin Zwick

Complex Systems Faculty Publications and Presentations

The three classical "laws" of dialectics of Hegel and Engels, ( 1) the transformation of quantity into quality, (2) the interpenetration of opposites, and (3) the negation of the negation, can be given precise meanings in terms of the Catastrophe Theory of Rene Thom and E. C. Zeeman. This suffices to counter the charge that dialectics is scholasticism or empty metaphysics, but does not support claims of universality for the dialectical principles, nor guarantee the validity of any particular application of these principles.


A Graded Bibliography On Macro Systems And Extensible Languages, John R. Metzner Jan 1979

A Graded Bibliography On Macro Systems And Extensible Languages, John R. Metzner

Computer Science Faculty Research & Creative Works

No abstract provided.


Historical Development Of Computer Science At Purdue University, S. D. Conte Dec 1978

Historical Development Of Computer Science At Purdue University, S. D. Conte

Department of Computer Science Technical Reports

No abstract provided.


An Investigation Of Montmort's "Probleme De Recontres" And Generalizations, Ronald I. Greenberg Dec 1978

An Investigation Of Montmort's "Probleme De Recontres" And Generalizations, Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

I have investigated a problem which may be phrased in many ways, such as finding the probability of answering a given number of questions correctly on a randomly-completed matching test which may have a number of extra "dud" answers. I have determined such probabilities, the average number of correct answers, and other allied results. I have also investigated a related problem involving the number of ways of choosing a different element from each of a certain collection of sets.


Requisite Variety And The Second Law, Martin Zwick Nov 1978

Requisite Variety And The Second Law, Martin Zwick

Complex Systems Faculty Publications and Presentations

Although the Law of Requisite Variety (LRV) speaks directly about entropy (of a set of disturbances to a system, and of the states and effects of a regulator), the relation of Ashby's principle to the Second Law of Thermodynamics does not appear to have been commented on, In this paper, it is shown that, when regulation is viewed as a temporal process, the LRV can be interpreted as a statement of, and, in fact, a consequence of, the Second Law. In essence, the regulator reduces the variety (entropy) of the system being regulated by a compensatory increase of variety (entropy) …


Fuzziness And Catastrophe, Martin Zwick, Daniel Guy Schwartz, George G. Lendaris Nov 1978

Fuzziness And Catastrophe, Martin Zwick, Daniel Guy Schwartz, George G. Lendaris

Complex Systems Faculty Publications and Presentations

In a recent short note, Flondor has alluded to a possible linkage of fuzzy set theory and catastrophe theory. We consider several features of catastrophe theory, namely the properties of discontinuous jumps, hysteresis, and divergence in the "cusp catastrophe," and the role of the bias factor in the "butterfly catastrophe," which have affinities to and suggest possible extensions of fuzzy set ideas. Certain functions extensively considered in catastrophe theory lend themselves in some cases to interpretation as membership functions. The use of such functions may be of interest for the characterization of linguistic descriptions which are time-varying and encompass both …


On The Relative Comprehensibility Of Various Control Structures By Novice Fortran Programmers, C. H. Smith, Herbert E. Dunsmore Nov 1978

On The Relative Comprehensibility Of Various Control Structures By Novice Fortran Programmers, C. H. Smith, Herbert E. Dunsmore

Department of Computer Science Technical Reports

No abstract provided.


Applications Of Classical Recursion Theory To Computer Science, Carl H. Smith Nov 1978

Applications Of Classical Recursion Theory To Computer Science, Carl H. Smith

Department of Computer Science Technical Reports

No abstract provided.


A Note On Structure And Looking Back Applied To The Relative Complexity Of Computable Function, Paul Chew, Michale Machtey Nov 1978

A Note On Structure And Looking Back Applied To The Relative Complexity Of Computable Function, Paul Chew, Michale Machtey

Department of Computer Science Technical Reports

No abstract provided.


A Simple Experiment In Top-Down Design, Douglas E. Comer, M. H. Halstead Nov 1978

A Simple Experiment In Top-Down Design, Douglas E. Comer, M. H. Halstead

Department of Computer Science Technical Reports

No abstract provided.


The Relationship Between Student Grades And Software Science Parameters, V. Y. Shen Nov 1978

The Relationship Between Student Grades And Software Science Parameters, V. Y. Shen

Department of Computer Science Technical Reports

No abstract provided.