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 59191 - 59220 of 63192

Full-Text Articles in Entire DC Network

Banach Spaces Of Analytic Functions, Michael T. Nimchek May 1996

Banach Spaces Of Analytic Functions, Michael T. Nimchek

Honors Theses

In this paper, we explore certain Banach spaces of analytic functions. In particular, we study the space A-1, demonstrating some of its basic properties including non-separability. We ask the question: given a class C of analytic functions on the unit disk D and a sequence [Zn] = 0 for all n? Finally, we explore Mz invariant subspaces of A-1, demonstrating that they may possess the codimension-2 property.


Computer Technology Skills Of Preservice And Inservice Elementary School Teachers, Sheila M. Bailey May 1996

Computer Technology Skills Of Preservice And Inservice Elementary School Teachers, Sheila M. Bailey

Electronic Dissertations and Theses

The major purpose of this investigation is to determine the level of computer technology competencies held by both preservice and present teachers. A computer technology survey will be issued to preservice teachers and present teachers to assess their level of computer skills. The results will be grouped into three levels of computer knowledge: awareness, literacy, and application. Secondly this study would like to determine if more computer instruction is being received in the preservice or in the inservice environment. It is hypothesized that most preserved and present teachers will fall into the levels of awareness and literacy. It is also …


Probabilistic Analysis Of The Median Rule: Asymptotics And Applications, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka May 1996

Probabilistic Analysis Of The Median Rule: Asymptotics And Applications, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

The solution of integer optimization problems by relaxation methods consists of three parts. First, the discrete problem is converted into a continuous optimization problem, which is generally more tractable. Second, the relaxed problem is solved efficiently, yielding a optimal solution in the continuous space. Finally, an assignment procedure is used to map this solution to a "suitable" discrete solution. One heuristic - we call it the relaxation heuristic - that often guides the choice and design of assignment algorithms is: "given a continuous optimal solution, the corresponding integer optimal solution is likely to be nearby" (with respect to some well …


Proof Strategies For Hardware Verification, Robert Eastham, Krishnaprasad Thirunarayan May 1996

Proof Strategies For Hardware Verification, Robert Eastham, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Ascertaining correctness of digital hardware designs through simulation does not scale-up for large designs because of the sheer combinatorics of the problem. Formal verification of hardware designs holds promise because its computational complexity is of the order of number of different types of components (and not number of components in the design). This approach requires the specification of the behavior and the design in a formal language, and reason with them using a theorem prover. In this paper we attempt to develop a methodology for writing and using these specifications for some important classes of hardware circuits. We examine digital …


The Use Of Non-Commutative Algebra In Cryptographically Secure Pseudo-Random Number Generators, Brian M. Mckeever May 1996

The Use Of Non-Commutative Algebra In Cryptographically Secure Pseudo-Random Number Generators, Brian M. Mckeever

Honors Theses

This thesis begins with a general overview of pseudo-random number generators and some of their applications. This thesis then describes their applications to cryptography, and some additional requirements imposed by cryptography. This thesis then provides an introduction to the ring of quaternions, and discusses how they can be included in pseudo-random number generators. Finally, this thesis provides a description of the performance of these generators.


Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 5, May 1996, College Of Engineering And Computer Science, Wright State University May 1996

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 5, May 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.


Dartflow: A Workflow Management System On The Web Using Transportable Agents, Ting Cai, Peter A. Gloor, Saurab Nog May 1996

Dartflow: A Workflow Management System On The Web Using Transportable Agents, Ting Cai, Peter A. Gloor, Saurab Nog

Computer Science Technical Reports

Workflow management systems help streamline business processes and increase productivity. This paper describes the design and implementation of the DartFlow workflow management system. DartFlow uses Web-browser embedded Java applets as its front end and transportable agents as the backbone. While Java applets provide a safe and platform independent GUI, the use of transportable agents makes DartFlow highly flexible and scalable. This paper describes the design and implementation of DartFlow, as well as a workflow application that exploits DartFlow's agent-based design.


The Galley Parallel File System, Nils Nieuwejaar, David Kotz May 1996

The Galley Parallel File System, Nils Nieuwejaar, David Kotz

Computer Science Technical Reports

Most current multiprocessor file systems are designed to use multiple disks in parallel, using the high aggregate bandwidth to meet the growing I/O requirements of parallel scientific applications. Many multiprocessor file systems provide applications with a conventional Unix-like interface, allowing the application to access multiple disks transparently. This interface conceals the parallelism within the file system, increasing the ease of programmability, but making it difficult or impossible for sophisticated programmers and libraries to use knowledge about their I/O needs to exploit that parallelism. In addition to providing an insufficient interface, most current multiprocessor file systems are optimized for a different …


The Emergence Of Alife, P.D. Quick May 1996

The Emergence Of Alife, P.D. Quick

SWITCH

Interview with Kenneth E. Rinaldo, an artist who is on the Board of Directors of YLEM. Within this interview, many topics are covered, including artificial life, simulations, the meaning of art, spirituality, and television. The interview also goes into the personal work and life of Rinaldo, whose focus includes many of these subjects. Some of the more specific subjects include intelligence without consciousness, the combination of science and art, and Ken Rinaldo’s The Flock, an interactive A-Life sculpture.


The Quest For The Gnarl, Rudy Rucker May 1996

The Quest For The Gnarl, Rudy Rucker

SWITCH

The article describes some of the author’s own image-generating computer programs that he describes as “gnarly”. He began writing a simple spirograph program based off simple sine wave function called Spiro. Later transitioned into writing with C and better programs using more nonlinear feedback. Where Spiro is based on a simple sine wave function, Vine uses a nested sine function: the sine of the sine. The need for a more complicated computational approach lead to iteration and parallelism. Julgnarl uses Iteration and Calife uses parallelism. Calife shows one-dimensional cellular automata: spaces in which virtual computers are lined up like beads …


Rudy Rucker's Calife, Rudy Rucker May 1996

Rudy Rucker's Calife, Rudy Rucker

SWITCH

This page performs as a guide to Rudy Rucker’s alife programs. The first page explains how to download the source codes as well as the compiled software. It is noted that the compiler used was Borland C++ 4.0. The second page performs as a list of each program and explains what they are used for. The zip files can be found at the bottom of the software download page 2.


Rucker, Rudy Rucker May 1996

Rucker, Rudy Rucker

SWITCH

In this article, Rudy Rucker shares his thoughts on hacking. He summarizes it as normal actions, such as building a car, or kneading clay. He compares hacking to things that are buildable by hand, and views creating computer programs the same way. One of the benefits of creating your own computer programs is that you can customize themn however you want. However customizing software on your own is extremely time consuming. He then goes into further detail about artificial life and how hyperspace works. Hacking bends the cyber reality that we are accustomed to, and modifying programs outside of what …


Computational Science As One Driving Force For All Aspects Of Computing Research, John R. Rice May 1996

Computational Science As One Driving Force For All Aspects Of Computing Research, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Dynamic Scheduling Of Process Groups, Kuei Yu Wang, Dan C. Marinescu, Octavian F. Carbunar May 1996

Dynamic Scheduling Of Process Groups, Kuei Yu Wang, Dan C. Marinescu, Octavian F. Carbunar

Department of Computer Science Technical Reports

No abstract provided.


Multi-Agent Simulation Of Complex Heterogeneous Models In Scientific Computing, Anupam Joshi, Tzvetan Drashansky, John R. Rice, Sanjiva Weerawarana, Elias N. Houstis May 1996

Multi-Agent Simulation Of Complex Heterogeneous Models In Scientific Computing, Anupam Joshi, Tzvetan Drashansky, John R. Rice, Sanjiva Weerawarana, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Energy Formulations Of A-Splines, Chandrajit L. Bajaj, Jindon Chen, Robert J. Holt, Arun N. Netravali May 1996

Energy Formulations Of A-Splines, Chandrajit L. Bajaj, Jindon Chen, Robert J. Holt, Arun N. Netravali

Department of Computer Science Technical Reports

No abstract provided.


The Simplest Subdivision Scheme For Smoothing Polyhedra, Jörg Peters, Ulrich Reif May 1996

The Simplest Subdivision Scheme For Smoothing Polyhedra, Jörg Peters, Ulrich Reif

Department of Computer Science Technical Reports

No abstract provided.


A Young-Eidson's Type Algorithm For Complex P-Cyclic Sor Spectra, S. Galanis, A. Hadijimos, D. Noutsos May 1996

A Young-Eidson's Type Algorithm For Complex P-Cyclic Sor Spectra, S. Galanis, A. Hadijimos, D. Noutsos

Department of Computer Science Technical Reports

No abstract provided.


Fast Isocontouring For Improved Interactivity, Chandrajit L. Bajaj, Valerio Pascucci, Daniel R. Schikore May 1996

Fast Isocontouring For Improved Interactivity, Chandrajit L. Bajaj, Valerio Pascucci, Daniel R. Schikore

Department of Computer Science Technical Reports

No abstract provided.


A Color-Based Technique For Measuring Visible Loss For Use In Image Data Communication, Melliyal Annamalai, Aurobindo Sundaram, Bharat Bhargava May 1996

A Color-Based Technique For Measuring Visible Loss For Use In Image Data Communication, Melliyal Annamalai, Aurobindo Sundaram, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.


Front-Tracking Finite Difference Methods For The American Option Valuation Problem, K. N. Pantazopoulos, S. Zhang, Elias N. Houstis May 1996

Front-Tracking Finite Difference Methods For The American Option Valuation Problem, K. N. Pantazopoulos, S. Zhang, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Integrated Multimedia Timeline Of Medical Images And Data For Thoracic Oncology Patients, Denise R. Aberle, John David N. Dionisio, Michael F. Mcnitt-Gray, Ricky K. Taira, Alfonso F. Cárdenas, Jonathan G. Goldin, Kathleen Brown, Robert A. Figlin, Wesley W. Chu May 1996

Integrated Multimedia Timeline Of Medical Images And Data For Thoracic Oncology Patients, Denise R. Aberle, John David N. Dionisio, Michael F. Mcnitt-Gray, Ricky K. Taira, Alfonso F. Cárdenas, Jonathan G. Goldin, Kathleen Brown, Robert A. Figlin, Wesley W. Chu

Computer Science Faculty Works

A prototype multimedia medical database has been developed to provide image and textual data for thoracic oncology patients undergoing treatment of advanced malignancies. The database integrates image data from the hospital pieture archiving and communication system with textual reports from the radiology information system, alphanumeric data contained in the hospital information system, and other electronic medical data. The database presents information in a timeline format and also contains visualization programs that permit the user to view and annotate radiographic measurements in tabular or graphic form. The database provides an efficient and intuitive display of the changing status of oncology patients. …


New Methods In Finite First-Order Model Search, Olga Shumsky, Fikret Ercal, Ralph W. Wilkerson May 1996

New Methods In Finite First-Order Model Search, Olga Shumsky, Fikret Ercal, Ralph W. Wilkerson

Computer Science Technical Reports

An automated first-order theorem prover, armed with appropriate strategies, will find a proof of a true conjecture, but will, in theory, run indefinitely if no proof exists. In reality, if no proof exists, the execution will be terminated by user-defined constraints, such as running time or memory usage limit. In this case the the question of validity of the conjecture remains unanswered. An automated first-order model generator gives one the ability to find counterexamples, if any exist, showing that the conjecture is invalid. A model generator also helps find the illustrations of previously proved theorems. It can be viewed as …


Application Of Neural Networks To The Non-Destructive Testing Of Aluminum Cans, B. Balasubramaniam, Daniel .. Clair May 1996

Application Of Neural Networks To The Non-Destructive Testing Of Aluminum Cans, B. Balasubramaniam, Daniel .. Clair

Computer Science Technical Reports

Neural Networks are used to c lassify aluminum beverage containers as acceptable or non acceptable, depending upon their wall thicknesses. For each can, the thickness of the wall of the can at different points is measured using a non-destructive, ultra-sound technique. These measureI\}ents are then applied as inputs to the networks and the classification is provided as the output Three architectures, one unsupervised and two supervised, are tested. Their performances are analyzed and compared and the paradigm best suited to the problem is selected.


Computer Assisted Control Of Robotic Rock Drilling Equipment Using Rock Face Image Mapping, William Robert Macneil, Peter (C. Y.)(Chung You) Ho May 1996

Computer Assisted Control Of Robotic Rock Drilling Equipment Using Rock Face Image Mapping, William Robert Macneil, Peter (C. Y.)(Chung You) Ho

Computer Science Technical Reports

Use of a totally unmanned mining robot is an ideal solution in removing humans from the dangerous underground mining environment. However, a complete autonomous system is a long way from reality. In the meantime, steps towards that goal can be made and integrated into current mining technology to take away some of the risk and stress from the miner making him more alert and the environment safer for those that do have to be undergroμnd. For our purposes here, the machine will be an automated robotic platform with the intelligence necessary for accurate placement of the drill tip on an …


Gnarly Rantings About The Hacker And The Ants, Rudy Rucker May 1996

Gnarly Rantings About The Hacker And The Ants, Rudy Rucker

SWITCH

The article is an excerpt from Rucker’s book “The Happy Mutant”. It begins with his reflection of his career with GoMotion. He discusses the relation that he saw between design and cyberspace. Later he discusses his experience with a game a colleague found on the net: a virtual world where player is an ant. He talks about the struggles he goes through in this virtual world because of game difficulty and poor visuals. He ties it all in with how the Silicon Valley works in a similar way, and is filled with hackers and programers all needing each other to …


How I Got Gnarly, Rudy Rucker May 1996

How I Got Gnarly, Rudy Rucker

SWITCH

The article describes how Rudy Rucker’s curious interest in celluar automata led to his career in mathematical computer science at San José State University. After conducting interviews on the theory of cellular automata as a freelance writer, he felt compelled to be involved in this great intellectual revolution in computer-aided experimental mathematics. Committed to reinventing himself, Rucker's interactions with mathematicians inspired him to write “Mind Tools”, a book that surveys mathematics from the standpoint that is information. After publishing his book, in 1987, he was eventually offered a position at SJSU in the Mathematics and Computer Science department. With assistance …


Web Fungus, Eric Matthews May 1996

Web Fungus, Eric Matthews

SWITCH

This article explains the difference between digital worms, digital virus, and a fungus in the digital realm. A virus tends to be malicious towards our machines and replicates itself just like how it does in our real counterpart. A worm tends to just keep to itself and mind it's own business in a sense.The author goes in more depth on the topic of what a digital fungus’ purpose is within the digital realm. Just as fungi tend to branch out and live off of other living things in the physical world, this metaphor is extended into the digital realm. Digital …


Artificial Love Life Is As Real As The Real Thing, Professor S. Farsad May 1996

Artificial Love Life Is As Real As The Real Thing, Professor S. Farsad

SWITCH

This article explains how an experiment by two human subjects stimulates love compared to artificial life. Professor Farsad’s experiment consisted of seven procedures from Stendhal’s work on romantic love, Love (1822). Both this article and experiment aimed to answer the question; Can artificial life feel love in romance?


Rudy Rucker's Spirograph, Rudy Rucker May 1996

Rudy Rucker's Spirograph, Rudy Rucker

SWITCH

This article showcases the main aspects of how this spirograph was to be used. The spirograph is part of Rudy Rucker’s quest for the gnarl. The main page shows how to download this spirograph and how to utilize the program to its full potential.