Digital Commons Network^™

A Tabular Propositional Logic: And/Or Table Translator, Chen-Hsiu Lee

Theses Digitization Project

The goal of this project is to design a tool to help users translate any logic statement into Disjunctive Normal Form and present the result as an AND/OR TABLE, which makes the logic relation easier to express by using a two-dimensional grid of values or expressions. This tool is implemented through a web-based and Java-based application. Thus, the user can utilize this tool via World Wide Web.

The Window Least Mean Square Error Algorithm, Anna Semenovna Degtyarena

Theses Digitization Project

In order to improve the performance of LMS (least mean square) algorithm by decreasing the amount of calculations this research proposes to make an update on each step only for those elements from the input data set, that fall within a small window W near the separating hyperplane surface. This work aims to describe in detail the results that can be achieved by using the proposed LMS with window learning algorithm in information systems that employ the methodology of neural network for the purposes of classification.

Littlebee: User's Online Interactive Design Of Baby's Wear, Yan Hai

Theses Digitization Project

The purpose of this project is to develop a web-based application called Littlebee that allows customers to do online design of babies' wear. The online designing options include combining appliques with clothing styles and changing fabric colors; it utilizes images pre-stored in the database.

Website Developer: Web Application, Venkata Krishna Reddy Tummeti

Theses Digitization Project

The purpose of the project is to use Java Server Page (JSP) technology to create a web application that could be used by any person who has the basic knowledge of browsing through the Web. There are many programs on the market that aid users in creating web pages, but the process involved in creating web pages using the available software and hosting their website is fairly complex for general people.

Graduate School Of Computer And Information Sciences-Doctoral Degree Programs 2003-2005, Nova Southeastern University

College of Engineering and Computing Course Catalogs

No abstract provided.

Tr-2003001: States Of Knowledge And Group Action, Rohit Parikh

Computer Science Technical Reports

No abstract provided.

Web Service: Been There, Done That?, Steffen Staab, Will Van Der Aalst, V. Richard Benjamins, Amit P. Sheth, John A. Miller, Chistoph Bussler, Alexander Maedche, Dieter Fensel, Dennis Gannon

Kno.e.sis Publications

Web services can be defined as loosely coupled, reusable software components that semantically encapsulate discrete functionality and are distributed and programmatically accessible over standard Internet protocols. Web services have received a lot of hype, the reasons for which are not easily determined. Some of their benefits might even seem to waste away, once we touch on the nitty-gritty details, because Web services per se do not offer a solution to underlying problems. The contributions included in this section delve into some of these issues, including: pitfalls of workflow issues; structuring procedural knowledge into problem-solving methods; discussing how a low initial …

A Tail-Recursive Semantics For Stack Inspections, John Clements, Mathias Felleisen

Computer Science and Software Engineering

Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may have to allocate memory for a source-code tail call, and a program that uses only tail calls (and no other memory-allocating construct) may nevertheless exhaust the available memory. In this paper, we prove this widely held belief wrong. We exhibit an abstract machine for a language with security stack inspection whose space consumption function is equivalent to that of the canonical tail call optimizing abstract machine. Our machine is surprisingly simple and suggests …

Creationism – A Viable Philosophy Of Mathematics, Jonathan Zderad

ACMS Journal 2004

In this paper, the author addresses two classical questions of the philosophy of mathematics: What, if any, of mathematics exists in the objective sense? How do humans know that our knowledge of mathematics is correct? He argues that the Christian doctrine of God as creator provides a basis for answering these questions. He also provides a critique of eight widely discussed philosophies of mathematics.

E-Commerce Broker Prototype Implementation And Investigation, Rohini Krishnapura

School of Computing: Technical Reports

Personalization has become a popular solution to today’s Ecomerce challenges. Various personalization techniques have been researched and marketed. But, one technique may not suit all businesses. What is required is a mechanism to enable different policies based possibly on different personalization techniques. The Ebroker architecture presented here provides a mechanism to enable different policies with minimal effort. We present here the various components of the architecture as well as the features that the architecture provides. The details of a prototype design and implementation are also discussed.

Mathematics And The Love Of God: An Introduction To The Thought Of Simone Weil, Scott Taylor

ACMS Journal 2004

Simone Weil was the sister of Andre Weil, one of the twentieth century's foremost mathematicians. She is a widely read and creative writer on spiritual themes. She addressed mathematics extensively in her writings. This paper discusses her views of mathematics and beauty, her critiques of modern science, her views on truth, and her concept that mathematical ideas can serve as symbols of spiritual ideas.

Peer-To-Peer Grids, Geoffrey C. Fox, Dennis Gannon, Sung-Hoon Ko, Shrideep Pallickara, Xiaohong Qiu, Ahmet Uyar

Electrical Engineering and Computer Science - All Scholarship

We describe Peer-to-Peer Grids built around Integration of technologies from the peer-to-peer and Grid fields. We focus on the role of Web services linked by a powerful event service using uniform XML interfaces and application level routing. We describe how a rich synchronous and asynchronous collaboration environment can support virtual communities built on top of such infrastructure. Universal access mechanisms are discussed.

Thesis Digest: Mathematical Interpretation Of Political Power And The Arkansas State Government, Andrew King

Inquiry: The University of Arkansas Undergraduate Research Journal

On the whole, political power can he very difficult to quantify. A person may be powerful due to his or her personal charm, wealth, fame, credibility, or influential connections. Political bodies do not account for these qualities when creating voting procedures; they only assign voting rules to specific positions. For example, most would say that in the United States government that a Senator is more powerful than a Representative, but less powerful than the President, without knowing any way to quantify or verify those differences. Since the 1950's, mathematicians and political scientists have attempted to create mathematical models that partially …

Privacy-Preserving Collaborative Filtering Using Randomized Perturbation Techniques, Huseyin Polat, Wenliang Du

Electrical Engineering and Computer Science - All Scholarship

Collaborative Filtering (CF) techniques are becoming increasingly popular with the evolution of the Internet. E-commerce sites use CF systems to suggest products to customers based on like-minded customers' preferences. People use CF systems to cope with information overload. To conduct collaborative filtering, data from customers are needed. However, collecting high quality data from customers is not an easy task because many customers are so concerned about their privacy that they might decide to give false information. CF systems using these data might produce inaccurate recommendations. We propose a randomized perturbation technique to protect users' privacy while still producing accurate recommendations. …

Interacting Data Services For Distributed Earthquake Modeling, Marlon Pierce, Choonhan Youn, Geoffrey C. Fox

Electrical Engineering and Computer Science - All Scholarship

We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services are implemented using a Web services approach and are incorporated in a portal architecture with other, general purpose services for application and file management. We make use of many Web services standards, including WSDL and SOAP, with specific implementations in Java. We illustrate how these data models and services may be used to build distributed, interacting applications through data flow.

An Additive Schwarz Preconditioner For The Spectral Element Ocean Model Formulation Of The Shallow Water Equations, Craig C. Douglas, Gundolf Haase, Mohamed Iskandarani

Computer Science Faculty Publications

We discretize the shallow water equations with an Adams-Bashford scheme combined with the Crank-Nicholson scheme for the time derivatives and spectral elements for the discretization in space. The resulting coupled system of equations will be reduced to a Schur complement system with a special structure of the Schur complement. This system can be solved with a preconditioned conjugate gradients, where the matrix-vector product is only implicitly given. We derive an overlapping block preconditioner based on additive Schwarz methods for preconditioning the reduced system.

Priority-Based Lambda Scheduler, Kalpana Ganesan, Byrav Ramamurthy

School of Computing: Conference and Workshop Papers

Optical networks provide a new dimension to meet the demands of exponentially growing traffic. Optical packet switching requires a good switch architecture, which eliminates the O/E/O conversion as much as possible. Wavelength Division Multiplexing (WDM) provides a breakthrough to exploit the huge bandwidth of the optical fiber. Different applications have different requirements, which necessitate employing differentiated services. This paper presents the idea of a priority-based λ-scheduler, where the packets are differentiated into different classes and services are provided accordingly. For example, class 0 can correspond to non real time applications like email and ftp, while class 1 can correspond to …

Semantic Web Processes, Jorge Cardoso, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Heterogenous Network Management, Kenneth Carey

Theses

Enterprise level system development, integrating a broad range of arctures and legacy systems, has received significant attention over the last few yentegrated chain management, which allows companies to see their full manufactu inventory and sales channels, has driven much of this work. Delivering quality IP 1 wireless access is forcing similar integration in 2.5G and 3G telecom archires. Such integration has resulted in the emergence of multi-protocol heterogeneietworks, combining IP core backbones, legacy databases and switchinghnology. Heterogeneous networks, due to their diversity of equipment and suppoDrotocols, introduce challenges for today's network administrators, particularly ii areas of device configuration and alarm …

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

Personalizing Interactions With Information Systems, Saverio Perugini, Naren Ramakrishnan

Computer Science Faculty Publications

Personalization constitutes the mechanisms and technologies necessary to customize information access to the end-user. It can be defined as the automatic adjustment of information content, structure, and presentation tailored to the individual. In this chapter, we study personalization from the viewpoint of personalizing interaction. The survey covers mechanisms for information-finding on the web, advanced information retrieval systems, dialog-based applications, and mobile access paradigms. Specific emphasis is placed on studying how users interact with an information system and how the system can encourage and foster interaction. This helps bring out the role of the personalization system as a facilitator which reconciles …

Improving The Security And Flexibility Of One-Time Passwords By Signature Chains, Kemal Biçakci, Nazi̇fe Baykal

Turkish Journal of Electrical Engineering and Computer Sciences

While the classical attack of ``monitor the network and intercept the password'' can be avoided by advanced protocols like SSH, one-time passwords are still considered a viable alternative or a supplement for software authentication since they are the only ones that safeguard against attacks on insecure client machines. In this paper by using public-key techniques we present a method called signature chain alternative to Lamport's hash chain to improve security and flexibility of one-time passwords. Our proposition improves the security because first, like other public-key authentication protocols, the server and the user do not share a secret, thereby eliminating attacks …

A Comparative Analysis Of Design Techniques For The Construction Of An Expert System For Aircraft Engine Diagnostics, Mitch Raton

CCAC Theses and Dissertations

The lack of knowledge and understanding of diagnostic aircraft propulsion systems causes inappropriate problem diagnosis. Because of increasing complexity, technicians are incapable of performing the necessary tasks in accordance with standard regulations. More sophisticated systems are needed today to "assist" the user technician in decision-making. This work provided a study of rule-based and frame-based expert system techniques to determine the most appropriate solution in the domain of complex diagnosis using large amounts of deterministic data. The study produced a framework that facilitates the diagnosing of faults on aircraft engines, thus reducing the burden on the aircraft mechanic regardless of experience …

An Integrated, Secured, Open-Source Medical Prototype For Collaborative Patient Management On The Internet, Joseph Dabre Ramsey

CCAC Theses and Dissertations

Conventional approaches to building critical and secured systems are based on the use of commercial tools for development and maintenance. Changes in the marketplace and the acceptance of the open-source model have brought this assumption into question. The combination of open-source's rapid rise and the introduction of pervasive computing has made the computing industry more receptive to open-source tools and products. The open-source model allows systems to be controlled by a single individual or a small developer group that reduces dependence on individual experts. The availability of free system source codes, an expanding commercial support market, and increasing global collaborative …

Master Of Science Degree Programs 2003-2005, Nova Southeastern University

College of Engineering and Computing Course Catalogs

No abstract provided.

A Performance Analysis Of Distributed Algorithms In Javaspaces, Corba Services And Web Services, Suresh Sunku

UNF Graduate Theses and Dissertations

Implementation of distributed parallel algorithms on networked computers has always been very difficult until the introduction of service-oriented architectures (SOA) like JavaSpaces service, CORBA services and Web Services. Algorithms of the type Master/Worker pattern are implemented with relative ease using the SOAs. This project analyzes the performance of such algorithms on three contemporary SOAs namely JavaSpaces service, CORBA services and Web Services. These architectures make the implementations of distributed algorithms reasonably fault tolerant and highly and dynamically scalable. Also, the systems built on these architectures are generally loosely coupled and operate asynchronously.

In this project we measure and analyze the …

J2ee Vs. Microsoft Dot Net: A Qualitative And Quantitative Comparison For Building Enterprises Supporting Xml-Based Web Services, Raquel V. Clark

UNF Graduate Theses and Dissertations

Increasing speed of networks and worldwide availability has made the World Wide Web the most significant medium for information exchange. Web technologies have become more and more important as large and small businesses continue to make their presence on the web. Today's businesses have more than just a "face" on the worldwide web. The use of a web browser is no longer restricted to viewing static pages. Browsers are becoming more and more a standard interface to a multifaceted reign of programs that live on the worldwide web. Two main technologies stand out for the implementation of web applications, Sun …

Dbunifier: A Framework For Automated Unification Of Textual Data In Multiple Remote Data Sources, John S. Dembowski

UNF Graduate Theses and Dissertations

Over time, advances in database technology and utilization have resulted in a rapid increase in the number and types of data sources. Simultaneously, numerous methods of unifying these various data sources have emerged. Research has shown that a more comprehensive set of data attribute matches between multiple schemas can be detected by combining a number of the unification methodologies as opposed to using a single method. In this research project, a unification framework, dbUNiFier, has been proposed as an approach to allow for easy integration of both existing and future unification methods and data sources.

Jsb Composability And Web Services Interoperability Via Extensible Modeling & Simulation Framework (Xmsf), Model Driven Architecture (Mda), Component Repositories, And Web-Based Visualization, Don Brutzman, Andreas Tolk

Computational Modeling & Simulation Engineering Faculty Publications

"Study Report prepared for the U. S. Air Force, Joint Synthetic Battlespace Analysis of Technical Approaches (ATA) Studies & Prototyping"

Overview: This paper summarizes research work conducted by organizations concerned with interoperable distributed information technology (IT) applications, in particular the Naval Postgraduate School (NPS) and Old Dominion University (ODU). Although the application focus is distributed modeling & simulation (M&S) the results and findings are in general easily applicable to other distributed concepts as well, in particular the support of operations by M&S applications, such as distributed mission operations. The core idea of this work is to show the necessity of …

Computing Answer Sets Of A Logic Program Via-Enumeration Of Sat Certificates, Yuliya Lierler, Marco Maratea

Computer Science Faculty Proceedings & Presentations

Answer set programming is a new programming paradigm proposed based on the answer set semantics of Prolog. It is well known that an answer set for a logic program is also a model of the program's completion. The converse is true when the logic program is "tight". Lin and Zhao showed that for non-tight programs the models of completion which do not correspond to answer sets can be eliminated by adding to the completion what they called "loop formulas". Nevertheless, their solver ASSAT 1 has some disadvantages: it can work only with basic rules, and it can compute only one …