Examining The Reflective Outcomes Of Asynchronous Computer-Mediated Communication On Inservice Teacher Development, Mark Hawkes, Alexander Romiszowski

Instructional Design, Development and Evaluation - All Scholarship

This study explored the professional development experiences of 28 practicing teachers in 10 Chicago suburban schools involved in a two-year technology supported Problem-Based Learning curriculum development effort. Asynchronous computer-mediated communications (CMC) were featured as teacher communication tools of the project. The computer-mediated discourse produced by the teachers was compared with the discourse produced by teachers in face-to-face meetings. Research methods including discourse analysis and archival data analysis were applied to determine the nature of the teacher discourse and its reflective content. The results show that while the computer-mediated teacher dialogue was less interactive, it was significantly more reflective (t=4.14, p=.001) …

No-Nonsense Guide To Csab/Csac Accreditation, Pete Sanderson

Mathematics Faculty Scholarship

CSAB/CSAC provides professional accreditation of computer science bachelor's degree programs in the United States. As of October 2000, 159 institutions held this accreditation. By our count, over 80% of the accredited programs were offered by departments which also offer graduate programs in computer science. This means that few small colleges are represented. Our intent in this work is to give the small college audience an up-to-date guide to the recently-revised CSAB/CSAC accreditation standards. The guide is not comprehensive; we emphasize those issues we believe to be of greatest interest to small colleges and address them from the perspective we have …

Proof Without Words: The Pigeonhole Principle, Ran Libeskind-Hadas

All HMC Faculty Publications and Research

This article contains one image and no text.

Advanced Searchers???, Jimmy Ghaphery

VCU Libraries Faculty and Staff Presentations

Log analysis from 2001 focused on use and popularity of advanced search features of an online library catalog (OPAC).

Application Of Active Rules To Support Database Integrity Constraints And View Management, Suwanna Visavapattamawon

Theses Digitization Project

The project demonstrates the enforcement of integrity constraints in both the conventional and active database systems. The project implements a more complex user-defined constraint, a complicated view and more detailed database auditing on the active database system.

Privacy-Preserving Cooperative Statistical Analysis, Wenliang Du, Mikhail J. Atallah

Electrical Engineering and Computer Science - All Scholarship

The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these computations may occur between mutually untrusted entities. The problem is trivial if the context allows the conduct of these computations by a trusted entity that would know the inputs from all the participants; however if the context disallows this then the techniques of secure multi-party computation become very relevant and can provide useful solutions. Statistic analysis is a widely used computation in real life, but the known methods usually require one to know the whole …

Modeling An Algebraic Stepper, John Clements, Mathew Flatt, Matthias Felleisen

Computer Science and Software Engineering

Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which are the most important tools. In this paper, we make the case that other tools, such as debuggers and steppers, deserve semantic models, too, and that using these models can help in developing these tools. Our concrete starting point is the algebraic stepper in DrScheme, our Scheme programming environment. The algebraic stepper explains a Scheme computation in terms of an algebraic rewriting of the program text. A program is rewritten until it is in …

Evolution Of Topology In Axi-Symmetric And 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.

Virtual Online Stock Trading System, Tao Zhu

Theses Digitization Project

Stock trading provides a relatively low risk and hassle free channel for people to invest, when compared with other methods. However, it is unfortunate that, for those other people who may be equally interested and financially able in stock trading, they have yet to experience the simplicity of, and the wealth accumulated from stock investments. Reasons for their hesitation to be involved in stock trading vary; but primarily it is due to their lack of experience in trading.

Spider Ii: A Component-Based Distributed Computing System, Koping Wang

Theses Digitization Project

Spider II system is the second version implementation of the Spider project. This system is the first distributed computation research project in the Department of Computer Science at CSUSB. Spider II is a distributed virtual machine on top of the UNIX or LINUX operating system. Spider II features multi-tasking, load balancing and fault tolerance, which optimize the performance and stability of the system.

Unique Supported-Model Classes Of Logic Programs, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We study classes of programs, herein called unique supported-model classes, with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators defined relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes fit into the framework given by various classes of programs in several well-known approaches to semantics.

Expanding The Notion Of Relevance In Is Research: A Proposal And Some Recommendations, Deepak Khazanchi, Bjørn Erik Munkvold

Information Systems and Quantitative Analysis Faculty Publications

Based on an analysis of a priori discussion on the notion of relevance, this paper proposes a holistic view of relevance in IS research. This expanded notion of relevance incorporates a broader definition of audience/stakeholder, and includes additional dimensions such as scope/value of relevant research, time frame, and "situatedness" of relevance. In view of this definition, it is argued that "practical relevance" is not the sole goal of academic research. Hence, the authors recommend, for example, that knowledge claims in IS need to be better communicated and targeted for the future development and recognition of the IS discipline.

A Visual Query System For The Specification And Scientific Analysis Of Continual Queries, Jennifer Leopold, A. Ambler, M. Heimovics, T. Palmer

Computer Science Faculty Research & Creative Works

The lack of a facility that would allow nonprogrammers to easily formulate temporal ad hoc analyses over a network of heterogeneous, constantly-updated data sources has been a significant impediment to research, particularly in the scientific community. In this paper we describe WebFormulate, an Internet-based system which facilitates the development of analyses using information obtained from databases on the Internet. The main distinction between this system and existing Internet facilities to retrieve information and assimilate it into computations is that WebFormulate provides the necessary facilities to perform continual queries, developing and maintaining dynamic links such that computations and reports automatically maintain …

Optimal Token Allocations In Solitaire Knock 'M Down, Arthur Benjamin, Matthew T. Fluet, Mark L. Huber

All HMC Faculty Publications and Research

In the game Knock ’m Down, tokens are placed in N bins. At each step of the game, a bin is chosen at random according to a fixed probability distribution. If a token remains in that bin, it is removed. When all the tokens have been removed, the player is done. In the solitaire version of this game, the goal is to minimize the expected number of moves needed to remove all the tokens. Here we present necessary conditions on the number of tokens needed for each bin in an optimal solution, leading to an asymptotic solution. MR Subject Classifications: …

Kontraktionssatze Auf Verallgemeinerten Metrischen Raumen, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Web-Based Database Management System For Research And Development Laboratories: Technical Service Support System, Benito Solórzano

Theses Digitization Project

With the use of the Internet and the emerging of e-commerce, new and improved technologies and modeling techniques have been used to design and implement web-based database management systems.

Bookmark Search: A Web-Based Bookmark Search Engine, Yun Sang Lee

Theses Digitization Project

The objective of the project is to create a search engine in which the databases of links are the bookmarks uploaded by the user. The main idea of the BOOKMARK-SEARCH system is the sharing of bookmarks resources required carrying on an Internet search. It aims to provide an affordable search solution to users while sharing bookmarks resouces.

Form Invariance And Implicit Parallelism, Michael D. Vose, Alden H. Wright

Computer Science Faculty Publications

Holland’s schema theorem (an inequality) may be viewed as an attempt to understand genetic search in terms of a coarse graining of the state space. Stephens and Waelbroeck developed that perspective, sharpening the schema theorem to an equality. Of particular interest is a “form invariance” of their equations; the form is unchanged by the degree of coarse graining. This paper establishes a similar form invariance for the more general model of Vose et al. and uses the attendant machinery as a springboard for an interpretation and discussion of implicit parallelism.

Theism And Mathematical Realism, John Byl

ACMS Journal 2004

This paper examines connections between theism and mathematical realism. Mathematical realism, which offers the best account of mathematics, strongly supports theism. Theism, in turn, supports mathematical realism. Theism readily explains the intricate relations between mathematics, matter, and mind. The attributes of the biblical God provide a justification for classical mathematics.

Mathematics As Worship, David J. Stucki

ACMS Journal 2004

This paper treats worship in a broad, inclusive sense as the primary and necessary response of human beings to their creator. It provides a brief overview of the relationship between mathematics and theology from the Pythagoreans to the present. It argues that all knowledge is contingent upon faith and thus that contemplation of mathematical insights can lead to worship of God.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 4, January 2001, 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.

Parallel Detection Of Closed Streamlines In Planar Flows, Thomas Wischgoll, Gerik Scheuermann, Hans Hagen

Computer Science and Engineering Faculty Publications

No abstract provided.

Reorganizing Web Sites Based On User Access Patterns, Yongjian Fu, Mario Creado, Chunhua Ju

Computer Science Faculty Research & Creative Works

In this paper, an approach for reorganizing Web sites based on user access patterns is proposed. The approach consists of three steps: preprocessing, page classification, and site reorganization. In preprocessing, pages on a Web site are processed to create an internal representation of the site, and page access information of its users is extracted from its server log. In page classification, the Web pages on the site are classified into two categories, index pages and content pages, based on the page access information. After the pages are classified, in site reorganization, the Web site is examined to find better ways …

Parallel Suffix Sorting, Natsuhiko Futamura, Srinivas Aluru, Stefan Kurtz

Electrical Engineering and Computer Science - All Scholarship

We present a parallel algorithm for lexicographically sorting the suffixes of a string. Suffix sorting has applications in string processing, data compression and computational biology. The ordered list of suffixes of a string stored in an array is known as Suffix Array, an important data structure in string processing and computational biology. Our focus is on deriving a practical implementation that works well for typical inputs rather than achieving the best possible asymptotic running-time for artificial, worst-case inputs. We experimentally evaluated our algorithm on an IBM SP-2 using genomes of several organisms. Our experiments show that the algorithm delivers good, …

Interdomain Resource Reservation Via Third-Party Agent, Haci Ali Mantar, Junseok Hwang, Ibrahim Taner Okumus, Steve J. Chapin

Electrical Engineering and Computer Science - All Scholarship

This paper describes interdomain resource reservation through a third-party agent called a Bandwidth Management Point (BMP). The BMP of each domain is responsible for admission control, dynamic bandwidth provisioning, DSCP assignment, policy control, etc. We also propose that each domain be free to choose its own intradomain resource reservation protocol.This model solves two significant problems of today's Internet: interdomain dynamic resource provisioning, and scalability of the backbone. The BMP makes bulk reservations with each possible destination domain on behalf of hosts in its domain, and end hosts can join or leave the reservation without being involved with communication protocol between …

Rate-Matching Packet Scheduler For Real-Rate Applications, Kang Li, Jonathan Walpole, Dylan Mcnamee, Calton Pu, David Steere

Computer Science Faculty Publications and Presentations

A packet scheduler is an operating system component that controls the allocation of network interface bandwidth to outgoing network flows. By deciding which packet to send next, packet schedulers not only determine how bandwidth is shared among flows, but also play a key role in determining the rate and timing behavior of individual flows. The recent explosion of rate and timing-sensitive flows, particularly in the context of multimedia applications, has focused new interest on packet schedulers. Next generation packet schedulers must not only ensure separation among flows and meet real-time performance constraints, they must also support dynamic fine-grain reallocation of …

Jobqueue: A Computational Grid-Wide Queuing System, Dimitros Katramatos, Marty Humphrey, Andrew Grimshaw, Steve Chapin

Electrical Engineering and Computer Science - All Scholarship

In a Computational Grid, it is not easy to maintain grid-wide control over the number of executing jobs, as well as a global view of the status of submitting jobs, due to the heterogeneity in resource type, availability, and access policies. This paper describes the design and implementation of JobQueue, which is a Computational Grid-wide queuing system, or metaqueuing system, implemented in Legion. JobQueue is unique because of its ability to span multiple administrative domains. It can also be reconfigured dynamically along a number of dimensions and in the general case does not require special privileges to create, facilitating new …

Meeting The Challenge Of Dynamic User Requirements Using Data-Driven Techniques On A 4gl-Database Environment, Christopher Bolan

Theses : Honours

Accompanying the ever-growing reliance on computers within contemporary organisations, the task of software maintenance is, increasingly, becoming a resource burden. The author has identified that there is a need for proven techniques to allow the modelling of flexible/changing user requirement, to enable systems to cope with requirements creep without suffering major code change and associated down-time from rebuilds of the database. This study ascertains the applicability of extension to current data modelling techniques that allows innate flexibility within the data model. The extension of the data model is analysed for potential benefits in the provision of such a dynamic/flexible base …

Web Based Agent For Promotion Of Mercantile - Company Management, Hean Giap Tan

Student Works (2000-2009)

This is an e-commerce project that suitable for medium-scaled company. It allows companies to register as retailer and sell their product online. Customer can choose and compare products' price from different retailer in this system and pay for their products online using credit cards. Before developing this system, surveys on several development tools are carried on. After the literature surveys, appropriate software tools are chosen. Besides, some existing Malaysia e-commerce website also investigated and their weaknesses are identified. Strength of foreign e-commerce is reviewed, hopes that it will help in developing the system. Furthermore, correct methodology of the project is …

Video Compression Using Wavelets And Hierarchical Motion Estimation, Andrew Peter Byrne

Theses : Honours

This thesis investigates the benefits and the significant compression that can be obtained from data that has been decomposed using a wavelet transform. A video compression algorithm was developed that employs the wavelet transform and a hierarchical motion estimation algorithm which itself utilises benefits of the wavelet transform. Using MATLAB, a popular software tool for matrix based computation and analysis, several functions were developed which together formed the video compression algorithm. A variety of tests were conducted on a sample video sequence to ascertain the strengths and weaknesses of the techniques employed. The results, although not the same as the …