Other Computer Sciences Commons^™

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

The Partial Evaluation Approach To Information Personalization, Naren Ramakrishnan, Saverio Perugini

Computer Science Faculty Publications

Information personalization refers to the automatic adjustment of information content, structure, and presentation tailored to an individual user. By reducing information overload and customizing information access, personalization systems have emerged as an important segment of the Internet economy. This paper presents a systematic modeling methodology— PIPE (‘Personalization is Partial Evaluation’) — for personalization. Personalization systems are designed and implemented in PIPE by modeling an information-seeking interaction in a programmatic representation. The representation supports the description of information-seeking activities as partial information and their subsequent realization by partial evaluation, a technique for specializing programs. We describe the modeling methodology at a …

Pembelajaran C++ Di Web (Pc++), Muda Mohd Norhadi

Student Works (2000-2009)

Dewasa ini, perkembangan teknologi maklumat pesat membangun dan pantas berubah. Dalam bidang pendidikan wajar menggunaknn teknologi maklumat supaya bidang pendidikan tidak ketinggalan dalam perkembangan teknologi maklumat. Oleh itu, pembangunan web dan sistem yang melibatkan pendidikan adalah satu perkara penting bagi menggantikan sistem manual atau sebagai satu altenatif mempelajari sesuatu pelajaran. Pembelajaran C++ di web ini merupakan satu sistem yang membolehkan pengaturcara yang bahru dan pelajar mempelajari C++. Sistem ini dibangun dengan menggunakan Visual Script. Front Page, Avtive Server Pages (ASP) dan perisian yang berkaitan. Dalam bab I menceritakan tentang pengenalan kepada pembelajaran berkomputer (computer aided learning). Dalam bab II pula …

Baldur's Gate Ii - Maps & Benchmark Problems, Nathan R. Sturtevant, Bioware Corp

Moving AI Lab: 2D Maps and Benchmark Problems

Maps extracted by Yngvi Björnsson from Baldur's Gate II with explicit permission from BioWare Corp. for use and distribution as benchmark problems.

Contains 75 maps and benchmark problem sets scaled to 512 x 512 and 120 original scale maps.

A Hybrid Finite Element-Finite Difference Method For Thermal Analysis In A Double-Layered Thin Film, Teng Zhu

Doctoral Dissertations

Thin film technology is of vital importance in microtechnology applications. For instance, thin films of metals, of dielectrics such as SiO2, or Si semiconductors are important components of microelectronic devices. The reduction of the device size to the microscale has the advantage of enhancing the switching speed of the device. The reduction, on the other hand, increases the rate of heat generation that leads to a high thermal load on the microdevice. Heat transfer at the microscale with an ultrafast pulsed-laser is also a very important process for thin films. Hence, studying the thermal behavior of thin films or of …

Extensible Markup Language As A Weather Tool, Michael J. Calidonna

Theses and Dissertations

This thesis is a proof of concept work that will extend the Core Mapping Application Program Interface (CMAPI) components to include weather data. The CMAPI project is headed by Air Force Research Lab (AFRL)/Information Directorate Information Handling Branch (IFEB) at Rome labs in Rome, New York. This work extends the CMAPI project in two distinct areas. The first goal is to figure out how to overlay and display weather data on a dynamically linked Internet platform. This was accomplished by incorporating existing data from the Air Force Weather Agency (AFWA) into the CMAPI program in a static environment. The other …

Two Schools Of Thought About The Political Psychology Of The Internet, Ibpp Editor

International Bulletin of Political Psychology

This article describes and critiques two common assumptions about the psychopolitical consequences of continual modification and dispersal of the Internet.

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

Personalizing The Gams Cross-Index, Saverio Perugini, Priya Lakshminarayanan, Naren Ramakrishnan

Computer Science Faculty Publications

The NIST Guide to Available Mathematical Software (GAMS) system at http://gams.nist .gov serves as the gateway to thousands of scientific codes and modules for numerical computation. We describe the PIPE personalization facility for GAMS, whereby content from the cross-index is specialized for a user desiring software recommendations for a specific problem instance. The key idea is to (i) mine structure, and (ii) exploit it in a programmatic manner to generate personalized web pages. Our approach supports both content-based and collaborative personalization and enables information integration from multiple (and complementary) web resources. We present case studies for the domain of linear, …

Main Issues Rural Women Experience With Information & Communication Technology, Teresa Maiolo

All other publications

This brief report will outline the main issues rural women encountered with information and communications technology. This information was derived from interviewing twenty-one rural women from the South West, Eastern Goldfields, Murchison, Gascoyne, and Kimberley regions of Western Australia.

Analisa Perkataan: Rumi Dan Jawi, Mohamad Emilinda

Student Works (2000-2009)

Rumi dan Jawi adalah suatu projek yang cuba dibangunkan bagi memenuhi keperluan suatu perisian bantu yang dapat menukarkan perkataan bertulisan Jawi kepada Rumi dan sebaliknya. Selain daripada berfungsi sebagai alat penukaran perkataan, sistem ini juga bertindak sebagai alat yang akan mendedahkan kepada pengguna mengenai morfologi bahasa. Di mana dalam kajian morfologi ini, akan dititikberatkan kepada bahagian imbuhan sahaja. Pengguna akan dapat memasukkan sebarang perkataan yang berimbuhan samada dalam bahasa Jawi atau Rumi dan kemudian proses penukaran perkataan akan dilakukan. Projek ini dilihat sebagai suatu keperluan kerana sebelum ini telah ada usaha pembangunan alat penukaran Rumi-Jawi dan alat penukaran Jawi-Rumi sebagai …

Tools For Jawi Character Recognition, Hassan Nur Hassinah

Student Works (2000-2009)

Huruf jawi terdiri daripada 36 huruf. Ia merupakan huruf-huruf yang kebanyakannya lahir daripada huruf arab.Tulisannya adalah unik kerana mempunyai aksara yang bersambung dalam sesuatu perkataan. lni menyebabkan pengecaman terhadap tulisan jawi tangan menjadi lebih kompleks apabila aksara perlu dipecahkan. Selain itu, perwakilan bagi sesuatu aksara jawi mempunyai bentuk yang berlainan bergantung kepada kedudukannya dalam perkataan. Perisian alatan teknikal iaitu MATLAB digunakan untuk membina atatan yang terdiri daripada pemprosesan imej, pensegmenan, dan pengecaman aksara jawi. Input adatah satu perkataan jawi yang diimbas. lmej dalam bentuk digitaJ akan melalui pemprosesan imej untuk tujuan pengurangan kebisingan dan peningkatan kualiti. lmej seterusnya dipecabkan kepada …

An Investigation Into The Use Of The Virtual Reality Modelling Language (Vrml) As A Means Of Distribution Virtual Reality Tourist Information Across The World Wide Web, Hugh Mcatamney, Ciaran Mcdonnell

Conference papers

The purpose of the work described was to investigate the use of the Virtual Reality Modelling Language (VRML) as a tool to distribute tourist information across the web. This was done by the creation of a web site containing two Virtual Reality models of tourist interest. These were then valuated using a number of techniques both online and offline. This paper describes the methods used to create and evaluate these models as well as giving a overview of some of the results obtained.

A Systematic Integration Of Register Allocation And Instruction Scheduling, Yukong Zhang

Doctoral Dissertations

In order to achieve high performance, processor architecture has become more and more complicated. As a result, compiler-time optimizations have become more and more important for the effective use of a complex processor. One of the promising compiler-time optimizations is the integration of register allocation and instruction scheduling based on register-reuse chains. In the previous approach, however, the generation of register-reuse chains was not completely systematic and consequently created many unnecessary dependencies that restrict instruction scheduling.

This research proposes a new register allocation technique based on a systematic generation of register-reuse chains. The first phase of the proposed technique is …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Starcraft - Maps & Benchmark Problems, Nathan R. Sturtevant, Blizzard Corp.

Moving AI Lab: 2D Maps and Benchmark Problems

Maps extracted from Starcraft from Blizzard Corp. for use and distribution as benchmark problems.

Contains 75 maps and benchmark problem sets, converted to standard format by Dave Churchill and post-processed to remove all but the largest connected component.

Tact Volume 4 Issue 2, Touro College Department Of Academic Computing

Yearbooks and Newsletters

Touro Academic Computing Technologies "The Newsletter of the Department of Academic Computing at Touro College"

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 …

Safe Stratified Datalog With Integer Order Programs, Peter Revesz

School of Computing: Conference and Workshop Papers

Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in Stratified Datalog with integer (gap)-order programs on generalized databases because they express any Turing-computable function. This paper introduces a restriction of those programs that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity.

Interview: Joel Slayton, Christine Laffer

SWITCH

Interview with Joel Slayton, Professor of Computers in Fine Art at San José State University, and Director of the CADRE Institute. Slayton discusses the history of the Cadre Institute and details his views on the relationship between art and new technology. Slayton describes the role of artists in exploring the possibilities and ethical implications of emerging technologies such as genetic engineering, nano-techology, robotics, and artificial life. He describes installations and in-progress work focused on ubiquitous video surveillance. The interview concludes with a discussion of Slayton’s use of the DoWhatDo model for artistic collaboration and of his piece "Conduits," presented in …

Constraint Objects, Divesh Srivastava, Raghu Ramakrishnan, Peter Revesz

School of Computing: Conference and Workshop Papers

We describe the Constraint Object Data Model (CODM), which enhances an object-based data model with existential constraints to naturally represent partially specified information. We present the Constraint Object Query Language (COQL), a declarative, rule-based query language that can be used to infer relationships about and monotonically refine information represented in the CODM. COQL has a model-theoretic and an equivalent fixed-point semantics, based on the notions of constraint entailment and "proofs in all possible worlds." We also provide a novel polynomial-time algorithm for quantifier elimination for set-order constraints, a restricted class of set constraints that uses membership of subset-equal.

Benefits Of Using Team Choice For Windows As A Multi-Criteria Decision Making Group Decision Support System, Eddie Goggans

Mahurin Honors College Capstone Experience/Thesis Projects

Various experiments have been conducted over the past ten years using several different types of group decision support systems (GDSSs). Many previous GDSS designs have had success in these experiments with brainstorming but have been limited in providing judgment and choice support. TeamChoice for Windows is a multi-criteria decision making GDSS that is currently under development in an effort to overcome the limitations of previous systems and to significantly advance the capabilities of GDSSs. This paper discusses some of the general aspects of GDSSs, existing limitations, and explains the developments and use of TeamChoice for Windows as a multi-criteria decision …

Evaluating The Effectiveness Of Certain Metrics In Measuring The Quality Of End User Documentation, Ronald Morrison

Dissertations and Theses

Traditional methods of evaluating quality in computer end user documentation have been subjective in nature, and have not been widely used in practice. Attempts to quantify quality and more narrowly define the essential features of quality have been limited -- leaving the issue of quality largely up to the writer of the user manual.

Quantifiable measures from the literature, especially Velotta (1992) and Brockman (1990), have been assembled into a set of uniformly weighted metrics for the measurement of document quality. This measure has been applied to the end user documentation of eighty-two personal computer packages. End user documentation is …

Lecture Notes For Nscp-Funded Short Course - Remote Sensing Training For Resource Officers And Farmers, Western Australian Department Of Agriculture

Soil conservation survey collection

The aim of this course is to provide an introduction to remote sensing, and knowledge and practice in image processing techniques for the extraction of information from remotely sensed data. Aerial photography is the original form of earth remote sensing, and is still a widely used and important data source for many purposes. This course is directed principally at the analysis of digital image data recorded by satellite or airborne platforms. Remote sensing is considered to be the methodology of collecting and interpreting target information over a broad range of the electromagnetic spectrum.

Shadow Casting Phenomena At Newgrange, Frank Prendergast

Articles

A digital model of the Newgrange passage tomb and surrounding ring of monoliths known as the Great Circle is used to investigate sunrise shadow casting phenomena at the monument. Diurnal variation in shadow directions and lengths are analysed for their potential use in the Bronze Age to indicate the passage of seasonal time. Computer-aided simulations are developed from a photogrammetric survey to accurately show how three of the largest monoliths, located closest to the tomb entrance and archaeologically coded GC1, GC-1 and GC-2, cast their shadows onto the vertical face of the entrance kerbstone, coded K1. The phenomena occur at …

Digital Image Processing Using Mathematical Morphology, Andrew Mehnert

Theses : Honours

This dissertation is a natural extension of my undergraduate research project entitled, "Digital Image Processing”. Whilst my undergraduate project dealt with a number of classical digital image filtering techniques such as spatial convolution and frequency domain filtering via the Fourier transform, this dissertation focuses on an alternative approach employing Mathematical Morphology. In contrast to classical filtering techniques, which often geometrically distort the original image, morphological operations, used sensibly, essentially preserve shape and geometry. Mathematical morphology therefore lends itself to image processing applications requiring the identification of objects and object features within an image. Herein basic morphological operations are developed, firstly …

Enhancing Manufacturing Planning And Control Systems Through Artificial Intelligence Techniques, Ronald S. Dattero, John J. Kanet, Edna M. White

MIS/OM/DS Faculty Publications

Manufacturing planning and control systems are currently dominated by systems based upon Material Requirements Planning (MRP). MRP systems have a number of fundamental flaws. A potential alternative to MRP systems is suggested after research into the economic batch scheduling problem.

Based on the ideas of economic batch scheduling, and enhanced through artificial intelligence techniques, an alternative approach to manufacturing planning and control is developed. A framework for future research on this alternative to MRP is presented.

The Computer As A Collection Management Tool, Suzanne B. Mclaren, Hugh H. Genoways, Duane A. Schlitter

University of Nebraska State Museum: Mammalogy Papers

Since the mid-1960s, discussion of computer use for information retrieval in museum collections has usually focused on research potential. Much attention has been given to the idea of networking and the ability to access data across great distances. However, the potential for collection management usage has also proven to be a legitimate rationale for computerization. Numerous aspects of collection management are discussed for which the computer may be employed. Topics include creating cross-reference files, updating taxonomic and geographic information, pinpointing mismatched specimens, locating lost and uncataloged material, controlling loan procedures, producing accession files for insurance purposes, curating all or part …

An Investigation Of Resolution And Addressability Requirements For Digital Display Systems Used In Word-Processing And Computer-Aided-Drafting Applications, Stephen T. Knox

Dissertations and Theses

Two hardware factors contributing to the overall image quality of digital CRTs are display resolution and addressability. The relationship between these two factors and human performance was modeled by a metric of display quality, the Resolution Addressability Ratio (RAR), and investigated within the contexts of Word-Processing (WP) and Computer-Aided-Drafting (CAD) tasks. The findings indicate a perceptual limit to MTF bandwidth improvements, and significant differences in display quality requirements between the two applications. The regression of image quality as a function of RAR metric values resulted in an r² = 0.94 for the WP task and an r² = 0.79 for …

Centre For Computer Aided Management: An Overview, V B Kaujalagi

IIMB Management Review

No abstract provided.