Other Computer Sciences Commons^™

Data Mining And Mining Disasters: Terrorism Information Awareness, Ibpp Editor

International Bulletin of Political Psychology

This article identifies problems with data mining approaches to antiterrorism and counterterrorism.

The Psychology Of Intelligent Video Analysis, Ibpp Editor

International Bulletin of Political Psychology

This article examines issues surrounding software-enhanced video analysis in an intelligence context.

Ua1b3 Technology Advisory Committee Meeting Minutes, Western Kentucky University

WKU Administration Documents

Meeting regarding the Technical Advisory Committee composition, survey results and improvements to educational technology.

A Brief History Of The Object-Oriented Approach, Luiz Fernando Capretz

Electrical and Computer Engineering Publications

Unlike other fads, the object-oriented paradigm is here to stay. The road towards an object-oriented approach is described and several object-oriented programming languages are reviewed. Since the object-oriented paradigm promised to revolutionize software development, in the 1990s, demand for object-oriented software systems increased dramatically; consequently, several methodologies have been proposed to support software development based on thatparadigm. Also presented are a survey and a classification schemefor object-oriented methodologies.

Cio Lateral Influence Behaviors: Gaining Peers' Commitment To Strategic Information Systems, Harvey Enns, Sid L. Huff, Christopher A. Higgins

MIS/OM/DS Faculty Publications

In order to develop and bring to fruition strategic information systems (SIS) projects, chief information officers (CIOs) must be able to effectively influence their peers. This research examines the relationship between CIO influence behaviors and the successfulness of influence outcomes, utilizing a revised model initially developed by Yukl (1994). Focused interviews were first conducted with CIOs and their peers to gain insights into the phenomenon. A survey instrument was then developed and distributed to a sample of CIO and peer executive pairs to gather data with which to test a research model. A total of 69 pairs of surveys were …

Computing Labs And Technology Classroom (Cltc) Initiative: A Model For Distributed Support, L S. Laroche, Julianne Miranda, A Smock, T A. Noble

Center for Academic Technology (CAT) - Scholarship and Professional Work

DePauw University is a small, liberal arts institution with 2200 undergraduate residential students and 222 faculty members, located in Greencastle, Indiana The challenges of supporting a campus with multiple and diverse facilities are further amplified by limited staff support resources. One of the strategies for addressing these challenges led to the formation of the Computing Labs and Technology Classrooms (CLTC) initiative. The CLTC recognizes and draws on the strengths of support specialists with a wide variety of professional training and experience, who regularly collaborate in the support and management of campus-wide labs and technology classrooms.

Ua1bc Final Report Of 2002-2003 Wku Technology Advisory Council Meetings, Western Kentucky University

WKU Administration Documents

The WKU Technology Advisory Council was established on November 8, 2002. It is comprised of faculty, deans, department heads, directors and students. This report contains summaries of meeting minutes and list of committee members.

The Staging Transformation Approach To Mixing Initiative, Robert Capra, Michael Narayan, Saverio Perugini, Naren Ramakrishnan, Manuel A. Pérez-Quiñones

Computer Science Faculty Publications

Mixed-initiative interaction is an important facet of many conversational interfaces, flexible planning architectures, intelligent tutoring systems, and interactive information retrieval systems. Software systems for mixed-initiative interaction must enable us to both operationalize the mixing of initiative (i.e., support the creation of practical dialogs) and to reason in real-time about how a flexible mode of interaction can be supported (e.g., from a meta-dialog standpoint). In this paper, we present the staging transformation approach to mixing initiative, where a dialog script captures the structure of the dialog and dialog control processes are realized through generous use of program transformation techniques (e.g., partial …

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 …

Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. This yields a duality between the category of modal algebras and that of coalgebras over the Vietoris functor. Building on this idea, we introduce the notion of a Vietoris polynomial functor over the category of Stone spaces. …

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

Moving AI Lab: 2D Maps and Benchmark Problems

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

Contains 36 maps and benchmark problem sets, scaled to 512x512 and converted to a simple grid-based format.

Cxquery: A Novel Xml Query Language, Peter Revesz, Yi Chen

School of Computing: Conference and Workshop Papers

XML is becoming the data exchange standard on the Internet. Previously proposed XML query languages, such as XQuery, Quilt, YALT, Lorel, and XML-QL, lack schema definition of the query result; therefore, they are limited for defining views, integrating data, updating, and further querying, all of which are often needed in e-Business applications. We propose a novel XML query language called CXQuery, which defines the schema of the query results explicitly and can easily define views, and integrate, update, and query XML data. In addition, CXQuery can express spatial and spatio-temporal queries using a constraint-based querying approach.

Preface, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.

Pricing And Product Mix Optimization In Freight Transportation, Michael F. Gorman

MIS/OM/DS Faculty Publications

We propose improved pricing and market mix can improve the profitability of the freight transportation provider through the reduction of equipment repositioning costs. We hypothesize that because of complexities surrounding pricing and equipment repositioning costing, existing pricing strategies in freight transportation fail to fully consider these costs. We test this hypothesis in an applied setting in which Monte Carlo simulation captures the stochasticity of market conditions inherent in the problem. We use a heuristic to improve the nondifferentiable, discontinuous objective function.

Our results from test cases show with high confidence that current prices are not optimal, as indicated by a …

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

Solving The Protein Structure Prediction Problem With Fast Messy Genetic Algorithms (Scaling The Fast Messy Genetic Algorithm To Medium-Sized Peptides By Detecting Secondary Structures), Steven R. Michaud

Theses and Dissertations

The ability to accurately predict a polypeptide's molecular structure given its amino acid sequence is important to numerous scientific, medical, and engineering applications. Studies have been conducted in the application of Genetic Algorithms (GAs) to this problem with promising initial results. In this thesis report, we use the fast messy Genetic Algorithm (fmGA) to attempt to find the minimization of an empirical CHARMM energy model and generation of the associated conformation. Previous work has shown that the fmGA provided favorable results, at least when applied to the pentapeptide Met-Enkephalin. We extend these results to a larger Polyalinine peptide by utilizing …

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 …

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.

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.

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 …

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.

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.