This essay argues that when the distinction between IT governance and IT management becomes too ambiguous, enterprise executives may conflate the two terms, deeming their participation in IT governance activities unnecessary. This essay posits a core set of executive-level IT governance activities in which business executives should participate. These core activities include: establishment of t...

Interoperability of ontologies and databases has received a lot of attention recently. However, most of the work has concentrated on specific problems (such as storing an ontology in a database or making database data available to ontologies) and referred to specific models for each of the two. Here we propose an approach that aims at being more general and model independent. In fact, it works ...

Chalcones, which have characteristic 1,3-diaryl-2-propen-1-one skeleton, are mainly produced in roots, rhizomes, heartwood, leaves, and seeds of genera Angelica, Sophora, Glycyrrhiza, Humulus, Scutellaria, Parartocarpus, Ficus, Dorstenia, Morus, Artocarpus, and so forth. They have become of interest in the research and development of natural antitumor agents over the past decades due to their b...

ÐWe present some very efficient and accurate methods for computing tangent curves for three-dimensional flows. Our methods work directly in physical coordinates, eliminating the usual need to switch back and forth with computational coordinates. Unlike conventional methods, such as Runge-Kutta, for computing tangent curves which give only approximations, our methods produce exact values based u...

Two apparently different approaches to automating deduction are mentioned in the title; they are the subject of a debate on “big engines vs. little engines of proof”. The contributions in this thesis advocate that these two strands of research can interplay in subtle and sometimes unexpected ways, such that mutual pervasion can lead to intriguing results: Firstly, superposition can be run on to...