Digital Commons Network^™

On The Regularity Of Solutions To Fully Nonlinear Elliptic Equations Via The Liouville Property, Qingbo Huang

Mathematics and Statistics Faculty Publications

We show that any C^1,1 solution to the uniformly elliptic equation F(D²u) = 0 must belong to C^2,α, if the equation has the Liouville property.

Domain Functionals And Exit Times For Brownian Motion, Chaocheng Huang, David Miller

Mathematics and Statistics Faculty Publications

Two domain functionals describing the averaged expectation of exit times and averaged variance of exit times of Brownian motion from a domain, respectively, are studied.

Absolutely Continuous Jacobi Operators, Steen Pedersen

Mathematics and Statistics Faculty Publications

No abstract provided.

Donor And Acceptor Concentrations In Degenerate Inn, David C. Look, H. Lu, William J. Schaff, J. Jasinski, Z. Liliental-Weber

Physics Faculty Publications

A formalism is presented to determine donor (N_D) and acceptor (N_A) concentrations in wurtzitic InN characterized by degenerate carrier concentration (n) and mobility (μ). The theory includes scattering not only by charged point defects and impurities, but also by charged threading dislocations, of concentration N_dis. For a 0.45-μm-thick InN layer grown on Al₂O₃ by molecular beam epitaxy, having N_dis = 5×10¹⁰ cm⁻², determined by transmission electron microscopy, n(20 K) = 3.5×10¹⁸ cm⁻³ and μ(20 K) = 1055 cm^{2 …}

The Fixed-Point Theorems Of Priess-Crampe And Ribenboim In Logic Programming, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

Sibylla Priess-Crampe and Paulo Ribenboim recently established a general fixed-point theorem for multivalued mappings defined on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov domains, familiar in programming language semantics, and to the generalized metrics of Khamsi, Kreinovich, and Misane which have been applied, by these latter authors, to logic programming. Amongst other things, we will also show that a unified treatment of the fixed-point theory …

Characterizing Logic Programming Semantics With Level Mappings, Pascal Hitzler, Matthias Wendt

Computer Science and Engineering Faculty Publications

Declarative semantics in logic programming and nonmonotonic reasoning are often defined via fixed points of semantic operators. While many relationships between different semantics known from the literature have been studied, a uniform treatment is still missing. In this paper, we provide uniform operator-free characterizations for some of the most important semantics, more precisely, for the stable, the well-founded, and the Fitting semantics, for the weakly-perfect model semantics, and for the least model semantics for negation-free programs.

High Spatial Resolution Thermal Conductivity Of Bulk Zno (0001), Diana I. Florescu, L. G. Mourokh, Fred H. Pollak, David C. Look, G. Cantwell, X. Li

Physics Faculty Publications

We measured high spatial/depth resolution 300 K thermal conductivity κ of the Zn and O surfaces of two bulk n-type ZnO (0001) samples, grown by a vapor-phase transport method, using scanning thermal microscopy (SThM). The thermal investigation was performed in both point-by-point (∼2 μm resolution) and area-scan modes. On the first sample κ=1.16±0.08 (Zn face)/1.10±0.09 (O face) W/cm K while for the second material κ=1.02±0.07 (Zn face)/0.98±0.08 (O face) W/cm K. These are the highest κ values reported on ZnO. A correlation between SThM area-scan readings and surface topography was established by simultaneously performing atomic force microscopy scans. The …

The Latent Maximum Entropy Principle, Shaojun Wang, Ronald Rosenfeld, Yunxin Zhao, Dale Schuurmans

Kno.e.sis Publications

We present an extension of Jaynes' maximum entropy principle to handle latent variables. We use an EM algorithm that incorporates nested iterative scaling to approximately calculate maximum entropy solutions for this principle, and give a proof of its convergence.

Multi-Dimensional Regression Analysis Of Time-Series Data Streams, Yixin Chen, Guozhu Dong, Jiawei Han, Benjamin W. Wah, Jianyong Wang

Kno.e.sis Publications

Real-time production systems and other dynamic environments often generate tremendous (potentially infinite) amount of stream data; the volume of data is too huge to be stored on disks or scanned multiple times. Can we perform on-line, multi-dimensional analysis and data mining of such data to alert people about dramatic changes of situations and to initiate timely, high-quality responses? This is a challenging task.

In this paper, we investigate methods for online, multi-dimensional regression analysis of time-series stream data, with the following contributions: (1) our analysis shows that only a small number of compressed regression measures instead of the complete stream …

Managing Semantic Content For The Web, Amit P. Sheth, Clemens Bertram, David Avant, Brian Hammond, Krzysztof Kochut, Yashodhan Warke

Kno.e.sis Publications

By associating meaning with content, the Semantic Web will facilitate search, interoperability, and the composition of complex applications. A recent Scientific American article described the Semantic Web as 'an extension of the current Web in which information is given well-defined meaning, better enabling computers and people to work in cooperation.' Not long ago, researchers at a Stanford University symposium predicted that this second phase of the Web would be as revolutionary as the Web itself.

Authorization And Access Control Of Application Data In Workflow Systems, Shengli Wu, Amit P. Sheth, John A. Miller, Zongwei Luo

Kno.e.sis Publications

Workflow Management Systems (WfMSs) are used to support the modeling and coordinated execution of business processes within an organization or across organizational boundaries. Although some research efforts have addressed requirements for authorization and access control for workflow systems, little attention has been paid to the requirements as they apply to application data accessed or managed by WfMSs. In this paper, we discuss key access control requirements for application data in workflow applications using examples from the healthcare domain, introduce a classification of application data used in workflow systems by analyzing their sources, and then propose a comprehensive data authorization and …

Workflow Quality Of Service, Jorge Cardoso, Amit P. Sheth, John A. Miller

Kno.e.sis Publications

Workflow management systems (WfMSs) have been used to support various types of business processes for more than a decade now. In ecommerce processes, suppliers and customers define a binding agreement or contract between the two parties, specifying quality of service (QoS) items such as products or services to be delivered, deadlines, quality of products, and cost of service. Management of such QoS directly impacts success of organizations participating in e-commerce. Organizations operating in modern markets require an excellent degree of quality of service management. Products and services must be available to customers with well-defined specifications. A good management of quality …

A Proposed Undergraduate Bioinformatics Curriculum For Computer Scientists, Travis E. Doom, Michael L. Raymer, Dan E. Krane, Oscar Garcia

Kno.e.sis Publications

Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligence, database, and algorithms disciplines of computer science. Largely because of the inherently interdisciplinary nature of bioinformatics research, academia has been slow to respond to strong industry and government demands for trained scientists to develop and apply novel bioinformatics techniques to the rapidly-growing, freely-available repositories of genetic and proteomic data. While some institutions are responding to this demand by establishing graduate programs in bioinformatics, the entrance barriers for these programs are high, largely due to …