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

Physical Sciences and Mathematics Commons

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

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 57421 - 57450 of 57902

Full-Text Articles in Physical Sciences and Mathematics

On Increasing Confidence In Confidence Intervals, Peter J. Denning Jan 1980

On Increasing Confidence In Confidence Intervals, Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.


Personal Key, Group Keys, And Master Keys, Dorothy E. Denning, Fred B. Schneider Jan 1980

Personal Key, Group Keys, And Master Keys, Dorothy E. Denning, Fred B. Schneider

Department of Computer Science Technical Reports

No abstract provided.


Validating System Models: A Case Study, H. D. Schwetman Jan 1980

Validating System Models: A Case Study, H. D. Schwetman

Department of Computer Science Technical Reports

No abstract provided.


Testing Network-Of-Queues Software, Herb Schwetman Jan 1980

Testing Network-Of-Queues Software, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.


Independence Results In Computer Science, Deborah Joseph, Paul Young Jan 1980

Independence Results In Computer Science, Deborah Joseph, Paul Young

Department of Computer Science Technical Reports

No abstract provided.


Program Restructuring In Segmenting Environments, Jehan-François Päris Jan 1980

Program Restructuring In Segmenting Environments, Jehan-François Päris

Department of Computer Science Technical Reports

No abstract provided.


A Combinatorial Problem Concerning Processor Interconnection Networks, Michael J. O'Donnell, Carl H. Smith Jan 1980

A Combinatorial Problem Concerning Processor Interconnection Networks, Michael J. O'Donnell, Carl H. Smith

Department of Computer Science Technical Reports

No abstract provided.


Effort Minimization Based On Hierarchical Modularization, S. D. Conte Jan 1980

Effort Minimization Based On Hierarchical Modularization, S. D. Conte

Department of Computer Science Technical Reports

No abstract provided.


The Power Of Parallelism Automatic Program Synthesis, Carl H. Smith Jan 1980

The Power Of Parallelism Automatic Program Synthesis, Carl H. Smith

Department of Computer Science Technical Reports

No abstract provided.


Implementing The Mean Value Algorithm For The Solution Of Queueing Network Models, Herb Schwetman Jan 1980

Implementing The Mean Value Algorithm For The Solution Of Queueing Network Models, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.


Theft And Conspiracy In The Take-Grant Protection Model, Lawrence Snyder Jan 1980

Theft And Conspiracy In The Take-Grant Protection Model, Lawrence Snyder

Department of Computer Science Technical Reports

No abstract provided.


Is Mathematical Software A Legitimate Research Area?, John R. Rice Jan 1980

Is Mathematical Software A Legitimate Research Area?, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Operational Analysis - An Aid To Interpretation Of Measurement Data, Herb Schwetman Jan 1980

Operational Analysis - An Aid To Interpretation Of Measurement Data, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.


Modeling Performance Of The B6700: A Case Study, Herb Schwetman Jan 1980

Modeling Performance Of The B6700: A Case Study, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.


Models For Verifiers, Francine Berman Jan 1980

Models For Verifiers, Francine Berman

Department of Computer Science Technical Reports

No abstract provided.


Automatic, Remote Status Lights For Vax Unix, Douglas E. Comer, Robert L. Brown Jan 1980

Automatic, Remote Status Lights For Vax Unix, Douglas E. Comer, Robert L. Brown

Department of Computer Science Technical Reports

No abstract provided.


A Software Science Analysis Of Cobol Programs, V. Y. Shen, Herbert E. Dunsmore Jan 1980

A Software Science Analysis Of Cobol Programs, V. Y. Shen, Herbert E. Dunsmore

Department of Computer Science Technical Reports

No abstract provided.


On The Effectiveness Of Iteration For The Galerkin Method Equations, John R. Rice Jan 1980

On The Effectiveness Of Iteration For The Galerkin Method Equations, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


On The Evaluation Of Powers And Monomials, Nicholas Pippenger Jan 1980

On The Evaluation Of Powers And Monomials, Nicholas Pippenger

All HMC Faculty Publications and Research

Let $y_1 , \cdots ,y_p $ be monomials over the indeterminates $x_1 , \cdots ,x_q $. For every $y = (y_1 , \cdots ,y_p )$ there is some minimum number $L(y)$ of multiplications sufficient to compute $y_1 , \cdots ,y_p $ from $x_1 , \cdots ,x_q $ and the identity 1. Let $L(p,q,N)$ denote the maximum of $L(y)$ over all $y$ for which the exponent of any indeterminate in any monomial is at most $N$. We show that if $p = (N + 1^{o(q)} )$ and $q = (N + 1^{o(p)} )$, then $L(p,q,N) = \min \{ p,q\} \log N …


Comparative Schematology And Pebbling With Auxiliary Pushdowns, Nicholas J. Pippenger Jan 1980

Comparative Schematology And Pebbling With Auxiliary Pushdowns, Nicholas J. Pippenger

All HMC Faculty Publications and Research

This paper has three claims to interest. First, it combines comparative schematology with complexity theory. This combination is capable of distinguishing among Strong's “languages of maximal power,” a distinction not possible when comparative schematology is based on computability considerations alone, and it is capable of establishing exponential disparities in running times, a capability not currently possessed by complexity theory alone. Secondly, this paper inaugurates the study of pebbling with auxiliary pushdowns, which bears to plain pebbling the same relationship as Cook's study of space-bounded machines with auxiliary pushdowns bears to plain space-bounded machines. This extension of pebbling serves as the …


A Study Of Portability And Retargetability Of An Ics, Sharon Beskenis Jan 1980

A Study Of Portability And Retargetability Of An Ics, Sharon Beskenis

Dissertations, Theses, and Masters Projects

No abstract provided.


Determiningeons : A Computer Program For Approximating Lie Generators Admitted By Dynamical Systems, Gregory G. Nagao Jan 1980

Determiningeons : A Computer Program For Approximating Lie Generators Admitted By Dynamical Systems, Gregory G. Nagao

University of the Pacific Theses and Dissertations

As was recognized by same of the most reputable physicists of the world such as Galilee and Einstein, the basic laws of physics must inevitably be founded upon invariance principles. Galilean and special relativity stand as historical landmarks that emphasize this message. It's no wonder that the great developments of modern physics (such as those in elementary particle physics) have been keyed upon this concept.

The modern formulation of classical mechanics (see Abraham and Marsden [1]) is based upon "qualitative" or geometric analysis. This is primarily due to the works of Poincare. Poincare showed the value of such geometric analysis …


Design And Use Of A Computerized Test Generating Program, Edward Schaefer, Laurence A. Marschall Jan 1980

Design And Use Of A Computerized Test Generating Program, Edward Schaefer, Laurence A. Marschall

Physics and Astronomy Faculty Publications

An easy-to-use set of programs for the computerized generation of multiple-choice and easy examinations in an introductory astronomy course is described. The programs allow the user to establish files of test questions and to rapidly assemble printed copies of examinations suitable for photocopying. Written in ALGOL for a Burroughs B6700 computer, the programs can, in principle, be implemented on large mainframe computers or on microcomputers of a size increasingly available to physics departments. The advantages and costs of computerized test generation are discussed.


An Algorithm For The Electromagnetic Scattering Due To An Axially Symmetric Body With An Impedance Boundary Condition, F. Stenger, M. Hagmann, J. Scheing Jan 1980

An Algorithm For The Electromagnetic Scattering Due To An Axially Symmetric Body With An Impedance Boundary Condition, F. Stenger, M. Hagmann, J. Scheing

Computer Science Faculty Publications

Let B be a body in R3, and let S denote the boundary of B. The surface S is described by S = {(x, y, z): (x2 + Y2)½= ƒ(z), -1 z I}, where ƒ analytic function that is real and positive on (-1, 1) and ƒ(±1) = 0. An algorithm is described for computing the scattered field due to a plane wave incident field, under Leontovich boundary conditions. The Galerkin method of solution used here leads to a block diagonal matrix involving 2M …


A Cooperative Education Program For Technology Majors, Joel Lee Sawyer Jan 1980

A Cooperative Education Program For Technology Majors, Joel Lee Sawyer

Legacy ETDs

Cooperative Education is a method of higher education that combines academic work with practical on-the-job experience. The goal is to prepare students for career opportunities through a balance of theory and related employment with a business or industry. "Thus, the student is provided a unique experience. . . Work that will be profitable to both the student and employer; and experience that will enhance the student's knowledge, personal development and professional preparation" (3, p. 2).

A need has been established to initiate a Cooperative Education Program for the Division of Technology at Georgia Southern College. This study was devoted to …


A Follow Up Study Of Printing Management Graduates, Terry Miller Jan 1980

A Follow Up Study Of Printing Management Graduates, Terry Miller

Legacy ETDs

No abstract provided.


Pl/99, A Mid-Level Programming Language For The Tms9900 Microprocessor, Kenneth B. Walkley Jan 1980

Pl/99, A Mid-Level Programming Language For The Tms9900 Microprocessor, Kenneth B. Walkley

Dissertations, Theses, and Masters Projects

No abstract provided.


A Theory Of Reading: From Eye Fixations To Comprehension, Marcel Adam Just, Patricia A. Carpenter Dec 1979

A Theory Of Reading: From Eye Fixations To Comprehension, Marcel Adam Just, Patricia A. Carpenter

Marcel Adam Just

No abstract provided.


Correction To "Redundancy Optimization Of General Systems", H. Sivaramakrishnan, Arcot Desai Narasimhalu Dec 1979

Correction To "Redundancy Optimization Of General Systems", H. Sivaramakrishnan, Arcot Desai Narasimhalu

Research Collection School Of Computing and Information Systems

Reader Aids-

Purpose: Report a correction

Special math needed: Probability

Results useful to: Reliability Theoreticians


Measuring And Calculating Queue Length Distributions, Jeffrey P. Buzen, Peter J. Denning Nov 1979

Measuring And Calculating Queue Length Distributions, Jeffrey P. Buzen, Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.