Physical Sciences and Mathematics 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 …

Hopf Bifurcation In Models For Pertussis Epidemiology, Herbert W. Hethcote, Yi Li, Zhujun Jing

Mathematics and Statistics Faculty Publications

Pertussis (whooping cough) incidence in the United States has oscillated with a period of about four years since data was first collected in 1922. An infection with pertussis confers immunity for several years, but then the immunity wanes, so that reinfection is possible. A pertussis reinfection is mild after partial loss of immunity, but the reinfection can be severe after complete loss of immunity. Three pertussis transmission models with waning of immunity are examined for periodic solutions. Equilibria and their stability are determined. Hopf bifurcation of periodic solutions around the endemic equilibrium can occur for some parameter values in two …

Self-Consistency Algorithms, Thaddeus Tarpey

Mathematics and Statistics Faculty Publications

The k-means algorithm and the principal curve algorithm are special cases of a self-consistency algorithm. A general self-consistency algorithm is described and results are provided describing the behavior of the algorithm for theoretical distributions, in particular elliptical distributions. The results are used to contrast the behavior of the algorithms when applied to a theoretical model and when applied to finite datasets from the model. The algorithm is also used to determine principal loops for the bivariate normal distribution.

Oxygen Pressure-Tuned Epitaxy And Optoelectronic Properties Of Laser-Deposited Zno Films On Sapphire, S. Choopun, R. D. Vispute, W. Noch, A. Balsamo, R. P. Sharma, T. Venkatesan, A. Iliadis, David C. Look

Physics Faculty Publications

Influence of oxygen pressure on the epitaxy, surface morphology, and optoelectronic properties has been studied in the case of ZnO thin films grown on sapphire ~0001! by pulsed-laser deposition. Results of Rutherford backscattering and ion channeling in conjunction with atomic force microscopy clearly indicate that the growth mode, degree of epitaxy, and the defect density strongly depend on the oxygen background pressure during growth. It is also found that the growth mode and the defects strongly influence the electron mobility, free-electron concentration, and the luminescence properties of the ZnO films. By tuning the oxygen pressure during the initial and the …

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 …

Generalized Averages For Solutions Of Two-Point Dirichlet Problems, Philip Korman, Yi Li

Mathematics and Statistics Faculty Publications

For very general two-point boundary value problems we show that any positive solution satisfies a certain integral relation. As a consequence we obtain some new uniqueness and multiplicity results.

Low-Frequency Noise In N-Gan With High Electron Mobility, M. E. Levinshtein, S. L. Rumyantsev, David C. Look, Richard J. Molnar, M. A. Khan, G. Simin, V. Adivarahan, M. S. Shur

Physics Faculty Publications

We report on the results of measurements of low frequency noise in n-type gallium nitride (GaN) grown on sapphire with 300 K electron mobility of 790 cm²/V s. The noise spectra have the form of 1/f noise with a Hooge parameter α of approximately 5×10⁻². This value of α is two orders of magnitude smaller than that observed before in n-GaN. The obtained results show that the level of flicker noise in GaN, just like that in GaAs and Si, strongly depends on the structural perfection of the material (the amplitude of the …

Student Fact Book, Fall 1999, Twenty Third Annual Edition November 1999, Wright State University, Office Of Student Information Systems, Wright State University

Wright State University Student Fact Books

The student fact book has general demographic information on all students enrolled at Wright State University for Fall Quarter, 1999.

Strain Splitting Of The Gamma(5) And Gamma(6) Free Excitons In Zno, D. C. Reynolds, David C. Look, B. Jogai, C. W. Litton, T. C. Collins, M T. Harris, M. J. Callahan, J. S. Bailey

Physics Faculty Publications

High-quality ZnO crystals have been grown by vapor-phase techniques and by the hydrothermal method. Depending on the surface preparation technique, some hydrothermally grown crystals contain strain. These strains result in energy shifts of the free excitons as well as relaxation of the selection rules. The Γ₆ unallowed exciton is observed in these samples without the application of a magnetic field. The Γ₆ exciton is also observed to split in a strain field, consistent with the Γ₉ symmetry for the top valence band in ZnO. The Γ₅ and Γ₆ excitons have been observed to split in …

Velocity Distributions Of C Atoms In Co+ Dissociative Recombination: Implications For Photochemical Escape Of C From Mars, Jane L. Fox, Aleksander Hać

Physics Faculty Publications

We have carried out Monte Carlo calculations to determine the velocity distributions of C atoms produced by dissociative recombination of CO⁺ using recent data for the branching ratios of various allowed channels and ion and electron temperatures appropriate to the Martian thermosphere. We find that the fractions of ¹²C atoms with velocities greater than the escape velocity are ∼ 0.66 and ∼ 0.62, and those for ¹³C are ∼ 0.47 and ∼ 0.48 at the plasma temperatures characteristic of the exobases at low and high solar activities, respectively. The ratio of the escape fractions of ¹³C …

Axiomatic Approach For Quantification Of Image Resolution, Ge Wang, Yi Li

Mathematics and Statistics Faculty Publications

Image resolution is the primary parameter for performance characterization of any imaging system. In this work, we present an axiomatic approach for quantification of image resolution, and demonstrate that a good image resolution measure should be proportional to the standard deviation of the point spread function of an imaging system.

Random Fluctuations Of Convex Domains And Lattice Points, Alex Iosevich, Kimberly Kinateder

Mathematics and Statistics Faculty Publications

In this paper, we examine a random version of the lattice point problem.

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. …

Variational Principles For Average Exit Time Moments For Diffusions In Euclidean Space, Kimberly Kinateder, Patrick Mcdonald

Mathematics and Statistics Faculty Publications

Let D be a smoothly bounded domain in Euclidean space and let X_t be a diffusion in Euclidean space. For a class of diffusions, we develop variational principles which characterize the average of the moments of the exit time from D of a particle driven by X_t, where the average is taken overall starting points in D.

Positive Solutions To Semilinear Problems With Coefficient That Changes Sign, Nguyen Phuong Cac, Juan A. Gatica, Yi Li

Mathematics and Statistics Faculty Publications

No abstract provided.

Production And Annealing Of Electron Irradiation Damage In Zno, David C. Look, D. C. Reynolds, Joseph W. Hemsky, R. L. Jones, J. R. Sizelove

Physics Faculty Publications

High-energy (>1.6 MeV) electrons create acceptors and donors in single-crystal ZnO. Greater damage is observed for irradiation in the [0001] direction (Zn face) than in the [000] direction (O face). The major annealing stage occurs at about 300–325 °C, and is much sharper for defects produced by Zn-face irradiation, than for those resulting from O-face irradiation. The defects appear to have a chain character, rather than being simple, near-neighbor vacancy/interstitial Frenkel pairs. These experiments suggest that ZnO is significantly more “radiation hard” than Si, GaAs, or GaN, and should be useful for applications in high-irradiation environments, such as electronics …

Valence-Band Ordering In Zno, D. C. Reynolds, David C. Look, B. Jogai, C. W. Litton, G. Cantwell, W. C. Harsch

Physics Faculty Publications

The emission and reflection spectra of ZnO have been investigated in the intrinsic region and the data have been interpreted in terms of the wurtzite crystal band structure. Free-exciton emission is observed for the first time. Both the Γ₅ and Γ₆ state excitons associated with top valence band have been identified. This identification has established the valence-band symmetry ordering in ZnO.

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.

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.

Anticommuting Derivations, Steen Pedersen

Mathematics and Statistics Faculty Publications

We show that the re are no non-trivial closable derivations of a C*-algebra anticommuting with an ergodic action of a compact group, supposing that the set of squares is dense in the group. We also show that the re are no non-trivial closable densely defined rank one derivations on any C*-algebra.

Residual Native Shallow Donor In Zno, David C. Look, Joseph W. Hemsky, J. R. Sizelove

Physics Faculty Publications

High-energy electron irradiation in ZnO produces shallow donors at about E_C-30meV. Because the production rate is much higher for Zn-face (0001) than O-face (0001̅ ) irradiation, the donor is identified as a Zn-sublattice defect, most likely the interstitial Zn_I or a Zn_I-related complex. The donor energy is quite close to that of the unirradiated sample, and of other samples discussed in the literature, strongly suggesting that Zn_I (and not V_O) is the dominant native shallow donor in ZnO. An exceptionally high displacement threshold energy (∼1.6MeV) is quantitatively explained in terms of a …

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 …

Dislocation Scattering In Gan, David C. Look, J. R. Sizelove

Physics Faculty Publications

A theory of charged-dislocation-line scattering is developed within the framework of the Boltzmann transport equation. A fit of the theory to temperature-dependent Hall-effect data in GaN gives dislocation densities which are in excellent agreement with those measured by transmission electron microscopy. This work shows that threading edge dislocations in GaN indeed are electrically active, in agreement with recent theoretical predictions.

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 …

Stability Of A Semilinear Cauchy Problem, Yi Liu, Yi Li, Yinbin Deng

Mathematics and Statistics Faculty Publications

A report of progress in linear and nonlinear partial differential equations, microlocal analysis, singular partial differential operators, spectral analysis and hyperfunction theory. The papers aretaken from a conference on partial differential equations and their applications, held in Wuhan.

On The Exactness Of An S-Shaped Bifurcation Curve, Philip Korman, Yi Li

Mathematics and Statistics Faculty Publications

For a class of two-point boundary value problems we prove exactness of an S-shaped bifurcation curve. Our result applies to a problem from combustion theory, which involves nonlinearities like for .

Maintaining Transitive Closure Of Graphs In Sql, Guozhu Dong, Leonid Libkin, Jianwen Su, Limsoon Wong

Kno.e.sis Publications

It is common knowledge that relational calculus and even SQL are not expressive enough to express recursive queries such as the transitive closure. In a real database system, one can overcome this problem by storing a graph together with its transitive closure and maintaining the latter whenever updates to the former occur. This leads to the concept of an incremental evaluation system, or IES.

Much is already known about the theory of IES but very little has been translated into practice. The purpose of this paper is to fill in this gap by providing a gentle introduction to and …

Infoharness: Managing Distributed, Heterogeneous Information, Kshitij Shah, Amit P. Sheth

Kno.e.sis Publications

Today, important information is scattered in so many places, formats, and media, that getting the right information at the right time and place is an extremely difficult task. Developing a single software product, for example, includes the creation of documents ranging from the requirements specification and project schedules to marketing presentations, multimedia tutorials, and more. Each document may be created by a different person using a different tool, and each may be stored in a different place. InfoHarness is an information integration system, platform, and tool set that addresses these problems, managing huge amounts of heterogeneous information in a distributed …