Science and Technology Studies Commons^™

Characterizations Of Classes Of Programs By Three-Valued Operators, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Several important classes of normal logic programs, including the classes of acyclic, acceptable, and locally hierarchical programs, have the property that every program in the class has a unique two-valued supported model. In this paper, we call such classes unique supported model classes. We analyse and characterize these classes by means of operators on three-valued logics. Our studies will motivate the definition of a larger unique supported model class which we call the class of Phi-accessible programs. Finally, we show that the class of Phi -accessible programs is computationally adequate in that every partial recursive function can be implemented by …

On-Line Bayesian Tree-Structured Transformation Of Hidden Markov Models For Speaker Adaptation, Shaojun Wang, Yunxin Zhao

Kno.e.sis Publications

This paper presents a new recursive Bayesian learning approach for transformation parameter estimation in speaker adaptation. Our goal is to incrementally transform (or adapt) the entire set of HMM parameters for a new speaker or new acoustic enviroment from a small amount of adaptation data. By establishing a clustering tree of HMM Gaussian mixture components, the finest affine transformation parameters for individual HMM Gaussian mixture components can be dynamically searched. The on-line Bayesian learning technique proposed in our recent work is used for recursive maximum a posteriori estimation of affine transformation parameters. Speaker adaptation experiments using a 26-letter English alphabet …

Efficient Support For Decision Flows In E-Commerce Applications, Richard Hull, Francois Llirbat, Jianwen Su, Guozhu Dong, Bharat Kumar, Gang Zhou

Kno.e.sis Publications

In the coming era of segment-of-one marketing, decisions about business transactions will be quite intricate, so that customer treatments can be highly individualized, reflecting customer preferences, targeted business objectives, etc. This paper describes a paradigm called “decision flows” for specifying a form of incremental decision-making that can combine a myriad of diverse business factors and be executed in near-realtime. Starting with initial input, a decision flow will iteratively gather and derive additional information until a conclusion is reached. Decision flows can be specified in a rules-based manner that generalizes so-called “business rules” but provides more structure than traditional expert systems. …

Critical It Role In Healthcare: National Agenda, Applications, And Technologies, Jack Corley, Warren Karp, Amit P. Sheth

Kno.e.sis Publications

We share a widely-held vision that tomorrow's health care will be delivered by a distributed team using a knowledge based process that is focused on prevention and wellness. Caregivers will be able to treat and monitor patients where and when needed, capturing data as a natural byproduct of care delivery. Clinical teams with a wide range of skills and expertise will deliver consistent, quality care based on timely, situation-specific knowledge and guidance derived from outcomes evidence. That same knowledge will support advances in healthcare research and education. Home care and remote medicine will increase, reducing the need for high-cost hospitalization. …

The Conference Proceedings Of The 1999 Air Transport Research Group (Atrg) Of The Wctr Society, Volume 3, Anming Zhang, Brent D. Bowen, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 99-7

The Conference Proceedings Of The 1999 Air Transport Research Group (Atrg) Of The Wctr Society, Volume 2 , Anming Zhang, Brent D. Bowen, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 99-6

The Conference Proceedings Of The 1999 Air Transport Research Group (Atrg) Of The Wctr Society, Volume 4 , Anming Zhang, Brent D. Bowen, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 99-8

A Multilevel Secure Workflow Management System, Myong H. Kang, Judith N. Froscher, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller

Kno.e.sis Publications

The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification levels to achieve mission critical goals. An MLS workflow management system that allows a user to program multilevel mission logic, to securely coordinate widely distributed tasks, and to monitor the progress of the workflow across classification levels is required. In this paper, we present a roadmap for implementing MLS workflows and focus on a workflow builder that is a graphical design tool for specifying such workflows.

Addressing The Inadequacies Of Information Available On The Internet: The Prospect For A Technical Solution, Alan I. Goldman

Critical and Creative Thinking Capstones Collection

In the past ten years the Internet has been the carrier and transmitter of vast amounts of information. Most of it has never been subjected to peer review or even casual review and has therefore been the source of misinformation. Additionally, there is need for more researchers to utilize critical thinking techniques of evaluating the credibility of sources.

This paper chronicles my critical and creative thinking processes and results regarding these three areas of the information problems that are prevalent on the Internet. The first area is the problem of bad, biased or incorrect information including hoaxes and scams. I …

How Proteins Fold, Flex, And Bind Other Molecules, Leslie A. Kuhn, Volker Schnecke, Michael L. Raymer, Paul C. Sanschagrin

Kno.e.sis Publications

No abstract provided.

The Airline Quality Rating 1999, Brent D. Bowen, Dean Headley, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 99-3

he Airline Quality Rating (AQR) was developed and first announced in early 1991 as an objective method of comparing airline performance on combined multiple criteria. This current report, Airline Quality Rating 1999, contains monthly Airline Quality Rating scores for 1998. Additional copies are available by contacting Wichita State University or the University of Nebraska at Omaha.

The Airline Quality Rating 1999 is a summary of month-by-month quality ratings for the ten major domestic U.S. airlines operating during 1998. Using the Airline Quality Rating system of weighted averages and montly performance data in the areas of on-time arrivals, …

Cyberspace: The Final Frontier?, Patrick Flanagan

Patrick Flanagan

The science fiction series of the '70's, Star Trek, began all its telecastings with the announcement "Space: The Final Frontier." Star Trek chronicled the voyage of a crew navigating their way through space. For the travelers, space seemed like the last unknown entity that needed to be investigated. As they journeyed, they learned of the boundless nature of space. Each episode portrayed a group of folks encountering new situations, attempting to solve another problem, or strategizing how to overcome an obstacle. While few people will ever have a chance to travel in a spaceship to discover the universe, most have …

Patent & Trademark Depository Library Association Newsletter

Journal of the Patent and Trademark Resource Center Association

No abstract provided.

Data Integration By Describing Sources With Constraint Databases, Xun Cheng, Guozhu Dong, Tzekwan Lau, Jianwen Su

Kno.e.sis Publications

We develop a data integration approach for the efficient evaluation of queries over autonomous source databases. The approach is based on some novel applications and extensions of constraint database techniques. We assume the existence of a global database schema. The contents of each data source are described using a set of constraint tuples over the global schema; each such tuple indicates possible contributions from the source. The “source description catalog” (SDC) of a global relation consists of its associated constraint tuples. Such a method of description is advantageous since it is flexible to add new sources and to modify existing …

Efficient Mining Of Partial Periodic Patterns In Time Series Database, Jiawei Han, Guozhu Dong, Yiwen Yin

Kno.e.sis Publications

Partial periodicity search, i.e., search for partial periodic patterns in time-series databases, is an interesting data mining problem. Previous studies on periodicity search mainly consider finding full periodic patterns, where every point in time contributes (precisely or approximately) to the periodicity. However, partial periodicity is very common in practice since it is more likely that only some of the time episodes may exhibit periodic patterns.

We present several algorithms for efficient mining of partial periodic patterns, by exploring some interesting properties related to partial periodicity, such as the Apriori property and the max-subpattern hit set property, and by shared mining …

Las Familias Ante La Educación: Criterios De Elección De Centro Y Valoración Del Sistema Educativo En Andalucía, Manuel Fernández-Esquinas, Manuel Pérez-Yruela

Manuel Fernández-Esquinas

No abstract provided.

"'Policy Analysis, Science, And Politics: From "Speaking Truth To Power" To "Making Sense Together"', Robert Hoppe

Robert Hoppe

No abstract provided.

ZuverläSsig Nur Auf Zeit, Michael Friedewald

Michael Friedewald

Aufbewahren und Kopieren ohne Qualitätsverlust – das gilt als der große Vorteil der digitalen Speicherung von Daten. Aber auch Bänder, Disketten und CDs altern unbemerkt. Wenn man es merkt, ist es zu spät: Die Daten sind futsch. Da hilft nur sachgerechte Aufbewahrung und regelmäßiges Umkopieren – aber wie oft?

What Users Expect From Future Terminal Devices:Empirical Results From An Expert Survey, Castulus Kolo, Michael Friedewald

Michael Friedewald

For the acceptance of future network-based media services the technical advancement of the man-machine interface is of great importance. The Fraunhofer Institute for Systems and In- novation Research (ISI) in Karlsruhe has conducted an expert survey on different acceptance factors, on the future development of media usage behavior, on network infrastructure and terminal devices as well as on the expected market development. Drawing on the results we point out perspectives in the light of today’s user needs and the technical possibilities.

Vom Experimentierfeld Zum Massenmedium: Gestaltende KräFte In Der Entwicklung Des Internet, Michael Friedewald

Michael Friedewald

This article reviews the shaping forces in the last 30 years of Internet develop- ment. A case in point is the convergence of media, computers and telecom, of which the Internet has always been an important aspect. This historical process, which is widely recognized as at once technical, industrial and political, has been and will continue to be fiercely multi-party and multi-faceted. There are a variety of technical alternatives being fought over. Different interests represent different meanings of communications technologies as well, including ideals of private profit and universal access. It is still not clear whether the future of the …

Captions And Color Plates (V. 10-11, 1998-1999)

BEADS: Journal of the Society of Bead Researchers

No abstract provided.

Multivalued Mappings, Fixed-Point Theorems And Disjunctive Databases, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

In this paper, we discuss the semantics of disjunctive programs and databases and show how multivalued mappings and their fixed points arise naturally within this context. A number of fixed-point theorems for multivalued mappings are considered, some of which are already known and some of which are new. The notion of a normal derivative of a disjunctive program is introduced. Normal derivatives are normal logic programs which are determined by the disjunctive program. Thus, the well-known single-step operator associated with a normal derivative is single-valued, and its fixed points can be found by well-established means. It is shown how fixed …

The Toeplitz Algebra Of A Hilbert Bimodule, Neal J. Fowler, Iain Raeburn

Faculty of Engineering and Information Sciences - Papers: Part A

Suppose a C ^∗ -algebra A acts by adjointable operators on a Hilbert A -module X. Pimsner constructed a C ^∗ -algebra 𝒪 _X which includes, for particular choices of X , crossed products of A by Z , the Cuntz algebras 𝒪 _n , and the CuntzKrieger algebras 𝒪 _B. Here we analyse the representations of the corresponding Toeplitz algebra. One consequence is a uniqueness theorem for the ToeplitzCuntz-Krieger algebras of directed graphs, which includes Cuntz’s uniqueness theorem for 𝒪 _∞.

Lie Algebras Of Cohomological Codimension One, Grant F. Armstrong, Grant Cairns, Gunky Kim

Faculty of Engineering and Information Sciences - Papers: Part A

We show that if g is a finite dimensional real Lie algebra, then g has cohomological dimension cd(g) = dim(g) - 1 if and only if g is a unimodular extension of the two-dimensional non-Abelian Lie algebra aff.

Simulated Annealing: Searching For An Optimal Temperature Schedule, Harry Cohn, Mark James Fielding

Faculty of Engineering and Information Sciences - Papers: Part A

A sizable part of the theoretical literature on simulated annealing deals with a property called convergence, which asserts that the simulated annealing chain is in the set of global minimum states of the objective function with probability tending to 1. However, in practice, the convergent algorithms are considered too slow, whereas a number of nonconvergent ones are usually preferred. We attempt a detailed analysis of various temperature schedules. Examples will be given of when it is both practically and theoretically justified to use boiling, fixed temperature, or even fast cooling schedules which have a small probability of reaching global minima. …

Magnetic Circuit Of A Synchronous Reluctance Motor, P P. Ciufo, D. Platt, B S. P Perera

Faculty of Engineering and Information Sciences - Papers: Part A

This paper presents a model of the magnetic circuit for an axially laminated synchronous reluctance motor. The basis of the modelling technique is the determination of a value for an equivalent ``q-channel'' reluctance. This reluctance contains all the effects of paths available to q-axis flux through the rotor body. Expressions for the distribution of airgap and other motor fluxes have been developed from basic analyses involving mmf and continuity of flux. The foundations of all of these expressions are the physical parameters of the motor. The equations developed have been applied to a 370 W motor and the results from …

Instrumentation For Slope Stability - Experience From An Urban Area, P N. Flentje, R N. Chowdhury

Faculty of Engineering and Information Sciences - Papers: Part A

This paper describes the monitoring of several existing landslides in an urban area near Wollongong in the state of New South Wales, Australia. A brief overview of topography and geology is given and reference is made to the types of slope movement, processes and causal factors. Often the slope movements are extremely slow and imperceptible to the eye, and catastrophic failures are quite infrequent. However, cumulative movements at these slower rates do, over time, cause considerable distress to structures and disrupt residential areas and transport routes. Inclinometers and piezometers have been installed at a number of locations and monitoring of …

Consideration Of Probability Assessments Relevant To Hazard And Risk For Landslides, R N. Chowdhury, P N. Flentje

Faculty of Engineering and Information Sciences - Papers: Part A

Probability of occurrence is the most important component of landslide hazard and risk and this paper outlines different approaches for its assessment. The reasons for the popularity of qualitative approaches are first outlined. Quantitative approaches can be best applied if the important influencing factors and issues are fully understood. Formal probabilistic approaches are often based on geotechnical models or on a combination of hydrological and geotechnical models. The paper also highlights the situations for which the performance function must be formulated in terms of lateral displacements rather than the conventional safety factor. Reference is then made to a procedure, based …

Quantitative Landslide Hazard Assessment In An Urban Area, Phillip N. Flentje, Robin N. Chowdhury

Faculty of Engineering and Information Sciences - Papers: Part A

Before decisions can be made concerning the management of sloping areas subject to landsliding, systematic approaches for hazard and risk assessment must be developed. This paper is limited to a discussion of hazard assessment and describes quantitative approaches which have been developed for existing landslides. Consideration of areas of potential landsliding is outside the scope of the paper. The approach described here is based on (a) monitoring of subsurface shear movement at instrumented sites and (b) the percentage exceedance time of cumulative rainfalls considering different selected periods of antecedent rainfall. This approach is used in conjunction with a simpler approach, …

Aspects Of Recent Landslide Research At The University Of Wollongong, Robin N. Chowdhury, Phillip N. Flentje, Chit Ko Ko

Faculty of Engineering and Information Sciences - Papers: Part A

This paper introduces the issues which are of critical importance to landslide hazard and risk assessment and management. These include understanding of probability and consequence, the separation of the role of site-dependent factors from that of influencing/triggering natural events and the factors influencing target levels of risk. The research completed at the University of Wollongong is then outlined. This includes the development of an observational approach based on monitoring of subsurface movements at individual sites and appropriate use of rainfall data in terms of the concept of annual rainfall percentage exceedance time (ARPET). Attention is then focused on current research …