Physical Sciences and Mathematics Commons^™

Level Mapping Characterizations Of Selector-Generated Models For Logic Programs, Sibylle Schwarz, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated semantics, to programs with arbitrary formulae in rule heads and bodies. We study this approach by means of a unifying framework for characterizing different logic programming semantics using level mappings (Hitzler and Wendt 200x, Hitzler 2003), thereby supporting the claim that this framework is very flexible and applicable to very diversely defined semantics.

Visualizing Very Large-Scale Vascular Structures Interactively, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, Ghassan S. Kassab

Computer Science and Engineering Faculty Publications

No abstract provided.

Stability Properties Of Linear Volterra Integrodifferential Equations With Nonlinear Perturbation, Muhammad Islam, Youssef Raffoul

Mathematics Faculty Publications

A Lyapunov functional is employed to obtain conditions that guarantee stability, uniform stability and uniform asymptotic stability of the zero solution of a scalar linear Volterra integrodifferential equation with nonlinear perturbation.

Boundedness And Stability In Nonlinear Delay Difference Equations Employing Fixed Point Theory, Muhammad Islam, Ernest Yankson

Mathematics Faculty Publications

In this paper we study stability and boundedness of the nonlinear difference equation

x(t+1)=a(t)x(t)+c(t)Δx(t−g(t))+q(x(t),x(t−g(t))).

In particular we study equi-boundedness of solutions and the stability of the zero solution of this equation. Fixed point theorems are used in the analysis.

Positive Operators And Maximum Principles For Ordinary Differential Equations, Paul W. Eloe

Mathematics Faculty Publications

We show an equivalence between a classical maximum principle in differential equations and positive operators on Banach Spaces. Then we shall exhibit many types of boundary value problems for which the maximum principle is valid. Finally, we shall present extended applications of the maximum principle that have arisen with the continued study of the qualitative properties of Green’s functions.

Signal Flow Analysis, Partha P. Banerjee

Electrical and Computer Engineering Faculty Publications

Signal flow graphs are a viable alternative to block diagrammatic representation of a system. What makes signal flow graphs attractive is that certain features from graph theory can be applied to the simplification and the synthesis of complex systems.

The Early To Middle Ordovician Graptolite Faunal Succession Of The Trail Creek Region, Central Idaho, U.S.A., Jörg Maletz, Daniel Goldman, M. Cone

Geology Faculty Publications

The Middle Ordovician graptolite biostratigraphy of the Trail Creek region of Idaho is reviewed and revised. The oldest known fauna belongs to the Didymograptellus bifidus Biozone. The Isograptus victoriae lunatus, I. victoriae maximodivergens, Oncograptus, Undulograptus austrodentatus and Holmograptus lentus Biozones can be differentiated. Pseudophyllograptus archaios (Braithwaite) is found for the first time in the Trail Creek region. This species represents a conspicuous North American mid-continent faunal element and enables the correlation of the endemic P. archaios-C. flexilis Biozone of Utah with the D. bifidus Biozone of the Pacific faunal realm, thus, providing an important tool for the correlation of endemic …

2005 (Winter), University Of Dayton. Department Of Mathematics

Colloquia

Abstracts of the talks given at the 2005 Winter Colloquium

Lithostratigraphy Of Precambrian And Paleozoic Rocks Along Structural Cross Section Ky-1, Crittenden County To Lincoln County, Kentucky, Martin C. Noger, James A. Drahovzal

Report of Investigations--KGS

This east–west cross section across western Kentucky is one of a network of regional cross sections prepared by the Illinois Basin Consortium that illustrate the structural and stratigraphic framework of the Illinois Basin. The structural cross section uses wireline logs of deep tests, as well as proprietary reflection seismic data, to show the relationship of Paleozoic rocks to each other from the surface to the top of the Precambrian unconformity.

The line of the cross section extends east from the complexly faulted Western Kentucky Fluorspar District across the Moorman Syncline and the underlying Rough Creek Graben to the Cincinnati Arch …

Changes In Groundwater Quality In A Conduit-Flow-Dominated Karst Aquifer As A Result Of Best Management Practices, James C. Currens

Report of Investigations--KGS

Water quality in the Pleasant Grove Spring karst groundwater basin was monitored to determine the effectiveness of best management practices (BMP’s) implemented through the U.S. Department of Agriculture’s Water Quality Incentive Program (WQIP). The project was divided into three phases. Phase I, beginning in August 1990, was the initial reconnaissance of the hydrogeology and water quality of the basin. Phase II, beginning in October 1993, monitored the water quality for 1 year prior to BMP implementation. This phase was followed by a 1-year interim extension, which continued the monitoring. Phase III monitored the water quality during and following BMP implementation. …

Generalized Geologic Map For Land-Use Planning: Simpson County, Kentucky, E. Glynn Beck, David A. Williams, Daniel I. Carey

Map and Chart--KGS

This map is not intended to be used for selecting individual sites. Its purpose is to inform land-use planners, government officials, and the public in a general way about geologic bedrock conditions that affect the selection of sites for various purposes. The properties of thick soils may supercede those of the underlying bedrock and should be considered on a site-to-site basis. At any site, it is important to understand the characteristics of both the soils and the underlying rock.

Generalized Geologic Map For Land-Use Planning: Boone County, Kentucky, Richard A. Smath, Bart Davidson, Daniel I. Carey, John D. Kiefer, Ken Daniels

Map and Chart--KGS

This map is not intended to be used for selecting individual sites. Its purpose is to inform land-use planners, government officials, and the public in a general way about geologic bedrock conditions that affect the selection of sites for various purposes. The properties of thick soils may supercede those of the underlying bedrock and should be considered on a site-to-site basis. At any site, it is important to understand the characteristics of both the soils and the underlying rock.

Assessment Of Rarity Of The Blackmouth Shiner Notropis Melanostomus (Cyprinidae) Based On Museum And Recent Survey Data, Martin O'Connell

Earth and Environmental Sciences Faculty Publications

Accurate knowledge of an organism's distribution is necessary for conserving species with small or isolated populations. A perceived rarity may only reflect inadequate sampling effort and suggest the need for more research. We used a recently developed method to evaluate the distribution of a rare fish species, the blackmouth shiner Notropis melanostomus Bortone 1989 (Cyprinidae), which occurs in disjunct populations in Mississippi and Florida. Until 1995, N. melanostomus had been collected from only three localities in Mississippi, but in 1995, eight new localities were discovered. We analyzed museum records of fish collections from Mississippi, Florida, and Alabama to compare sampling …

Santa Clara Magazine, Volume 47 Number 3, Winter 2005, Santa Clara University

Santa Clara Magazine

8 - AFTER AMERICA by Deepa Arora. Thomas J. Reese, S.J., the former editor of the Jesuit weekly magazine, America, is spending a sabbatical year at SCU. He sat down for an exclusive interview with SCM to reflect on what he has witnessed, what inspires him, and the future of the Church.

16 - A HALF-CENTURY OF ART AND HISTORY AT SCU by Victoria Hendel De La O. "Through its exhibitions and collections, the museum allows students and faculty to expand the walls of the classroom," says Rebecca M. Schapp, director of the de Saisset Museum, which is celebrating its …

The Harmony Of The World, Chris Arthur

Faculty publications

Experimental music with mathematics and astronomy is discussed. Chord-like pitch arrangements are determined with geometric proportions arising in planetary movements. Rudimentary digital audio with Fourier series and the JPL on-line ephemeris is developed as a software solution. Computer musicians may listen to and select harmonies by specifying a date in time. A study and application of the ideas in The Harmony of the World by Johannes Kepler is presented with a software demonstration.

The Semantic Web In One Day, York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer

Computer Science and Engineering Faculty Publications

To gain momentum, technologies for building private semantic Webs or parts of the World Wide semantic Web must become a commodity and easy to integrate. To determine just how far semantic Web technologies have come, we wanted to create a snapshot of what you could do by applying and assembling existing semantic Web technologies - in one day.

An Explorational Exhibit Of A Pig's Heart, Thomas Wischgoll, Joerg Meyer

Computer Science and Engineering Faculty Publications

No abstract provided.

The Interior Of A Pig's Heart: A Museum Exhibit, Thomas Wischgoll, Joerg Meyer

Computer Science and Engineering Faculty Publications

Coronary heart diseases (CHD) are one of the primary causes of deaths in the United States. It is commonly accepted that certain factors, such as a cholesterol high diet, increase the risk of coronary heart diseases. As a consequence, people should be educated to adhere a diet low in low-density lipoprotein (LDL or bad cholesterol). ln order for children to become familiar with these facts, educational computer games can be employed to raise some awareness. This poster describes an educational museum exhibit that serves this purpose. ln a game-like environment, children can practice their navigation skills, while learning about the …

Dlp - An Introduction, Denny Vrandecic, Pascal Hitzler, Rudi Studer

Computer Science and Engineering Faculty Publications

DLP - Description Logic Programs - is the name for the common language that is able to integrate knowledge bases described in Description Logic with Logic Programs. In this introduction, we offer a very short overview of DLP, the motivation for it, the benefits it offers and how to use it.

Ceg 320/520-01: Computer Organization And Assembly Language Programming, Michael L. Raymer

Computer Science & Engineering Syllabi

[4 credit hours] Terminology and understanding of functional organizations and sequential operation of a digital computer. Program structure, and machine and assembly language topics including addressing, stacks, argument passing, arithmetic operations, traps and input/output. Macros, modularization, linkers and debuggers are used. Prerequisite: CEG 260, CS 242.

Erratum: “Uniqueness Theorems In Bioluminescence Tomography” [Med. Phys. 31, 2289–2299 (2004)], Ge Wang, Yi Li, Ming Jiang

Mathematics and Statistics Faculty Publications

In this Erratum, we present a correction to our proof of Theorem D.4 in Ref. 1.

On Cographic Matroids And Signed-Graphic Matroids, Dan Slilaty

Mathematics and Statistics Faculty Publications

We prove that a connected cographic matroid of a graph G is the bias matroid of a signed graph Σ iff G imbeds in the projective plane. In the case that G is nonplanar, we also show that Σ must be the projective-planar dual signed graph of an actual imbedding of G in the projective plane. As a corollary we get that, if G1, . . . , G29 denote the 29 nonseparable forbidden minors for projective-planar graphs, then the cographic matroids of G1, . . . , G29 are among the forbidden minors for the class of bias matroids …

Cs 208-01: Computer Programming For Business I, Dennis Kellermeier

Computer Science & Engineering Syllabi

CS 208 is the first of a two quarter sequence in programming for business students. It is required for Management Information Science majors. The courses are designed to help students achieve a high degree of facility in intermediate levelprogramming. This course assumes students have never written a program before.

Cs 141-01: Computer Programming I, Robert Rea

Computer Science & Engineering Syllabi

CS 141 is dedicated to teaching the fundamentals of computer programming The concepts covered in this class will be applied using the Java programming language.

Cs 142-01: Computer Programming - Ii, Ronald F. Taylor

Computer Science & Engineering Syllabi

Concepts introduced in CS 141 are developed in greater detail and depth with the Java programming language. Topics include object oriented programming, graphics, development of user interfaces and handling runtime errors with an emphasis on program verification and testing. Students must register for both lecture and one laboratory section. 4 credit hours. Prerequisite: CS 141 (Computer Programming I) and MTH 127 (College Algebra) or equivalent.

Cs 205-01: Computer Literacy And Office Automation, John P. Herzog

Computer Science & Engineering Syllabi

Basic computer terminology, word processing, spreadsheets, databases, and graphics.

Cs 205-08: Computer Literacy And Office Automation, Kim Gros

Computer Science & Engineering Syllabi

No abstract provided.

Cs 209-02: Computer Programming For Business With Java, Ii, Robert Rea

Computer Science & Engineering Syllabi

CS 209 is the second of a two quarter sequence in programming for business students. It is required for Management Information Science majors. The courses are designed to help students achieve a high degree of facility in intermediate-level programming in Java.

Cs 241-01: Computer Science Ii, Mateen M. Rizki

Computer Science & Engineering Syllabi

No abstract provided.

Cs 240-01: Introduction To Computer Science, Eric Maston

Computer Science & Engineering Syllabi

We will develop basic techniques to design, develop and implement programs using the C++ language. This course focuses on basic elements of programming and assumes no knowledge of programming in C++.