Physical Sciences and Mathematics Commons^™

Adding Semantics To Web Services Standards, Kaarthik Sivashanmugam, Kunal Verma, Amit P. Sheth, John Miller

Kno.e.sis Publications

With the increasing growth in popularity of Web services, discovery of relevant Web services becomes a significant challenge. One approach is to develop semantic Web services where by the Web services are annotated based on shared ontologies, and use these annotations for semantics-based discovery of relevant Web services. We discuss one such approach that involves adding semantics to WSDL using DAML+OIL ontologies. Our approach also uses UDDI to store these semantic annotations and search for Web services based on them. We compare our approach with another initiative to add semantics to support Web service discovery, and show how our approach …

Semantic Web Process Lifecycle: Role Of Semantics In Annotation, Discovery, Composition And Orchestration, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Healthcare Enterprise Process Development And Integration, Kemafor Anyanwu, Amit P. Sheth, Jorge Cardoso, John A. Miller, Krzysztof J. Kochut

Kno.e.sis Publications

Healthcare enterprises involve complex processes that span diverse groups and organisations. These processes involve clinical and administrative tasks, large volumes of data, and large numbers of patients and personnel. The tasks can be performed either by humans or by automated systems. In the latter case, the tasks are supported by a variety of software applications and information systems which are very often heterogeneous, autonomous, and distributed. The development of systems to manage and automate these processes has increasingly played an important role in improving the efficiency of healthcare enterprises. In this paper we look at four healthcare and medical applications …

Exception Handling For Conflict Resolution In Cross-Organizational Workflows, Zongwei Luo, Amit P. Sheth, Krzysztof Kochut, I. Budak Arpinar

Kno.e.sis Publications

Workflow management systems (WfMSs) are being increasingly deployed to deliver e-business transactions across organizational boundaries. To ensure a high service quality in such transactions, exception-handling schemes for conflict resolution are needed. The conflicts primarily arise due to failure of a task in workflow execution because of underlying application, or controlling WfMS component failures or insufficient user input. So far, little progress has been reported in addressing conflict resolution in cross-organizational business processes, though its importance has been recognized. In this paper, we identify the exception handling techniques that support conflict resolution in cross-organizational settings. In particular, we propose a novel, …

The Global Dynamics Of Isothermal Chemical Systems With Critical Nonlinearity, Yi Li, Yuanwei Qi

Mathematics and Statistics Faculty Publications

In this paper, we study the Cauchy problem of a cubic autocatalytic chemical reaction system u_1,t = u_1,xx − u^α₁ u^β₂, u_2,t = du_2,xx+ u^α₁ u^β₂ with non-negative initial data, where the exponents α,β satisfy 1<α,βd>0 is the Lewis number. Our purpose is to study the global dynamics of solutions under mild decay of initial data as |x|→∞. We show the exact large time behaviour of solutions which is universal.

Ga Vacancies As Dominant Intrinsic Acceptors In Gan Grown By Hydride Vapor Phase Epitaxy, J. Oila, J. Kivioja, V. Ranki, K. Saarinen, David C. Look, Richard J. Molnar, S. S. Park, S. K. Lee, J. Y. Han

Physics Faculty Publications

Positron annihilation measurements show that negative Ga vacancies are the dominant acceptors in n-type gallium nitride grown by hydride vapor phase epitaxy. The concentration of Ga vacancies decreases, from more than 10¹⁹ to below 10¹⁶ cm⁻³, as the distance from the interface region increases from 1 to 300 μm. These concentrations are the same as the total acceptor densities determined in Hall experiments. The depth profile of O is similar to that of V_Ga, suggesting that the Ga vacancies are complexed with the oxygen impurities.

Ρ-Queries: Enabling Querying For Semantic Associations On The Semantic Web, Kemafor Anyanwu, Amit P. Sheth

Kno.e.sis Publications

This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as similarity of entities based on a specific notion of similarity called ρ-isomorphism. It formalizes these notions for the RDF data model, by introducing a notion of a Property Sequence as a type. In the context of a graph model such as that for RDF, Semantic Associations amount to specific certain graph signatures. Specifically, they refer to sequences (i.e. directed paths) here called Property Sequences, between entities, networks of Property Sequences (i.e. undirected paths), or subgraphs …

Parallel Computation Of The Topological Skeleton Of Vector Fields, Thomas Wischgoll, Gerik Scheuermann

Computer Science and Engineering Faculty Publications

Vector fields occur in many of the problems in science and engineering. In combustion processes, for instance, vector fields describe the flow of the gas. This process can be enhanced using vector field visualization techniques. Also, wind tunnel experiments can be analyzed. An example is the design of an air wing. The wing can be optimized to create a smoother flow around it.

To analyze such kind of datasets topological methods that clearly show the whole structure of the vector field in one picture are a very good tool. During the last years, many extensions were proposed for this method. …

Identifying Patterns In Dna Change, Jason R. Gilder, Dan E. Krane, Travis E. Doom, Michael L. Raymer

Kno.e.sis Publications

Now that a draft sequence of the human genome is nearly complete, questions regarding both the information contained within our genetic blueprints as well as the manner in which that information content changes over time can be addressed in ways that had not previously been possible. By their very nature, some of the nucleotide sequences present within our genome allow detailed examination of the mode and pattern of evolution that has shaped our genetic instructions over time spans of tens of millions of years. Alu repeats are one example. Using these relatively short, ubiquitous DNA sequences we explore the problem …

Ontology Driven Information Systems In Action (Capturing And Applying Existing Knowledge To Semantic Applications), Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Plasma-Etching-Enhanced Deep Centers In N-Gan Grown By Metalorganic Chemical-Vapor Deposition, Z-Q. Fang, David C. Look, X. L. Wang, J. Han, F. A. Khan, I. Adesida

Physics Faculty Publications

By using deep-level transient spectroscopy (DLTS), deep centers have been characterized in unintentionally doped n-GaN samples grown by metalorganic chemical-vapor deposition and subjected to inductively coupled plasma reactive ion etching. At least six DLTS traps exist in the control sample: A₁ (∼0.90 eV), A_x (∼0.72 eV), B (0.61 eV), C₁ (0.44 eV), D (0.25 eV), and E₁ (0.17 eV), with B dominant. Then, as the etching bias-voltage increases from −50 to −150 V, trap D increases strongly and becomes dominant, while traps A₁, C (0.34 eV), and E₁ increase at a slower …

Searching Sequence Databases, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for BIO/CS 471: Algorithms for Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

A Gentle Introduction To (Or Review Of) Fundamentals Of Chemistry And Organic Chemistry, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for CS 790: Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

Sequence Alignments And Database Searches, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for Intro to Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

Analyzing Algorithms & Asymptotic Notation, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for BIO/CS 471: Algorithms for Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

The Structure And Functions Of Proteins, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for BIO 271/CS 399: Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

Physical Mapping Of Dna, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for BIO/CS 471: Algorithms for Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

Perturbation Of Global Solution Curves For Semilinear Problems, Philip Korman, Yi Li, Tiancheng Ouyang

Mathematics and Statistics Faculty Publications

We revisit the question of exact multiplicity of positive solutions for a class of Dirichlet problems for cubic-like nonlinearities, which we studied in 161. Instead of computing the direction of bifurcation as we did in [6], we use an indirect approach, and study the evolution of turning points. We give conditions under which the critical (turning) points continue on smooth curves, which allows us to reduce the problem to the easier case of f (0) = 0. We show that the smallest root of f (u) does not have to be restricted.

Multiple Solutions For An Inhomogeneous Semilinear Elliptic Equation In Rn, Yinbin Deng, Yi Li, Xuejin Zhao

Mathematics and Statistics Faculty Publications

No abstract provided.

An Algebraic Characterization Of Projective-Planar Graphs, Lowell Abrams, Dan Slilaty

Mathematics and Statistics Faculty Publications

We give a detailed algebraic characterization of when a graph G can be imbedded in the projective plane. The characterization is in terms of the existence of a dual graph G∗ on the same edge set as G which satisfies algebraic conditions inspired by homology groups and intersection products in homology groups.

Generalized Metrics And Uniquely Determined Logic Programs, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

The introduction of negation into logic programming brings the benefit of enhanced syntax and expressibility, but creates some semantical problems. Specifically, certain operators which are monotonic in the absence of negation become non-monotonic when it is introduced, with the result that standard approaches to denotational semantics then become inapplicable. In this paper, we show how generalized metric spaces can be used to obtain fixed-point semantics for several classes of programs relative to the supported model semantics, and investigate relationships between the underlying spaces we employ. Our methods allow the analysis of classes of programs which include the acyclic, locally hierarchical, …

Formal Concept Analysis And Resolution On Algebraic Domains - Preliminary Report, Matthias Wendt, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondence between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.

Protein Alignment Scoring - Pam And Blosum, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for Intro to Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

Fragment Assembly Of Dna, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for BIO/CS 471: Algorithms for Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.

Hydrogen Incorporation And Diffusivity In Plasma-Exposed Bulk Zno, K. Ip, M. E. Overberg, Y. W. Heo, D. P. Norton, S. J. Pearton, C. E. Stutz, B. Luo, F. Ren, David C. Look, J. M. Zavada

Physics Faculty Publications

Hydrogen incorporation depths of >25 μm were obtained in bulk, single-crystal ZnO during exposure to ²H plasmas for 0.5 h at 300 °C, producing an estimated diffusivity of ∼ 8×10⁻¹⁰ cm²/V⋅s at this temperature. The activation energy for diffusion was 0.17±0.12 eV, indicating an interstitial mechanism. Subsequent annealing at 500–600 °C was sufficient to evolve all of the hydrogen out of the ZnO, at least to the sensitivity of secondary ion mass spectrometry (<5×10¹⁵ cm⁻³). The thermal stability of hydrogen retention is slightly greater when the hydrogen is incorporated by direct implantation …

Semantic N-Gram Language Modeling With The Latent Maximum Entropy Principle, Shaojun Wang, Dale Schuurmans, Fuchun Peng, Yunxin Zhao

Kno.e.sis Publications

We describe a unified probabilistic framework for statistical language modeling-the latent maximum entropy principle-which can effectively incorporate various aspects of natural language, such as local word interaction, syntactic structure and semantic document information. Unlike previous work on maximum entropy methods for language modeling, which only allow explicit features to be modeled, our framework also allows relationships over hidden features to be captured, resulting in a more expressive language model. We describe efficient algorithms for marginalization, inference and normalization in our extended models. We then present experimental results for our approach on the Wall Street Journal corpus.

Semantic Web Processes, Jorge Cardoso, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Learning Continuous Latent Variable Models With Bregman Divergences, Shaojun Wang, Dale Schuurmans

Kno.e.sis Publications

We present a class of unsupervised statistical learning algorithms that are formulated in terms of minimizing Bregman divergences— a family of generalized entropy measures defined by convex functions. We obtain novel training algorithms that extract hidden latent structure by minimizing a Bregman divergence on training data, subject to a set of non-linear constraints which consider hidden variables. An alternating minimization procedure with nested iterative scaling is proposed to find feasible solutions for the resulting constrained optimization problem. The convergence of this algorithm along with its information geometric properties are characterized.

Web Service: Been There, Done That?, Steffen Staab, Will Van Der Aalst, V. Richard Benjamins, Amit P. Sheth, John A. Miller, Chistoph Bussler, Alexander Maedche, Dieter Fensel, Dennis Gannon

Kno.e.sis Publications

Web services can be defined as loosely coupled, reusable software components that semantically encapsulate discrete functionality and are distributed and programmatically accessible over standard Internet protocols. Web services have received a lot of hype, the reasons for which are not easily determined. Some of their benefits might even seem to waste away, once we touch on the nitty-gritty details, because Web services per se do not offer a solution to underlying problems. The contributions included in this section delve into some of these issues, including: pitfalls of workflow issues; structuring procedural knowledge into problem-solving methods; discussing how a low initial …

Example Protein Folds, Dan E. Krane, Michael L. Raymer

Computer Science and Engineering Faculty Publications

Presentation prepared for BIO/CS 471: Algorithms for Bioinformatics. The lecture comprises material from the text Fundamental Concepts of Bioinformatics.