Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Wright State University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 3001 - 3030 of 3840

Full-Text Articles in Physical Sciences and Mathematics

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

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.

Go to article

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

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.

Go to article

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

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.

Go to article

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

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

Computer Science and Engineering Faculty Publications

No abstract provided.

Go to article

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

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 …

Go to article

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

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.

Go to article

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

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.

Go to article

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

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.

Go to article

On Cographic Matroids And Signed-Graphic Matroids, Dan Slilaty Jan 2005

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 …

Go to article

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

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.

Go to article

Cs 141-01: Computer Programming I, Robert Rea Jan 2005

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.

Go to article

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

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.

Go to article

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

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

Computer Science & Engineering Syllabi

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

Go to article

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

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

Computer Science & Engineering Syllabi

No abstract provided.

Go to article

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

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.

Go to article

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

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

Computer Science & Engineering Syllabi

No abstract provided.

Go to article

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

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

Go to article

Cs 241-02: Computer Science Ii, L. Jane Lin Jan 2005

Cs 241-02: Computer Science Ii, L. Jane Lin

Computer Science & Engineering Syllabi

This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. It focuses on tools for building abstract data types (using structure and class concepts in C++) and Object-Oriented Programming. We also begin the study of data structures in this course. For all CS 241 students, concurrent registration into CS 241 lab is a must.

Go to article

Cs 241-03: Introduction To Computer Science Ii, Praveen Kakumanu Jan 2005

Cs 241-03: Introduction To Computer Science Ii, Praveen Kakumanu

Computer Science & Engineering Syllabi

This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. It focuses on tools for building abstract data types (using structure and class concepts in C++) and Object-Oriented Programming. We also begin the study of data structures in this course. Note: For all CS 241 students, concurrent registration into CS 241 lab is a must.

Go to article

Cs 242-02: Introduction To Computer Science Iii, Eric Maston Jan 2005

Cs 242-02: Introduction To Computer Science Iii, Eric Maston

Computer Science & Engineering Syllabi

This is the third and final course in the Introduction to Computer Science series. This course focuses on data structures with abstract data types, such as trees, stacks, queues and tables.

Go to article

Cs 405/605-01: Introduction To Database Management Systems, Guozhu Dong Jan 2005

Cs 405/605-01: Introduction To Database Management Systems, Guozhu Dong

Computer Science & Engineering Syllabi

Survey of logical and physical aspects of data base managements systems. Data models including entity-relationship (ER) and relational are presented. Physical implementation (data organization and indexing) methods are discussed. Query languages including SQL, relational algebra, relational calculus, and QBE are introduced. Students will also gain experience in creating and manipulating a database. The course is mostly concerned with the design and querying of databases. A follow up course, CS701 is concerned with the design of system functions for managing databases.

Go to article

Cs 400/600: Data Structures And Software Design, Michael L. Raymer Jan 2005

Cs 400/600: Data Structures And Software Design, Michael L. Raymer

Computer Science & Engineering Syllabi

No abstract provided.

Go to article

Cs 415: Social Implications Of Computing, Leo Finkelstein Jan 2005

Cs 415: Social Implications Of Computing, Leo Finkelstein

Computer Science & Engineering Syllabi

CS 415 is a communication skills course using as its subject matter current salient issues associated with the social implications of computing. In addition to the course text, you will need to use certain reading materials in the library and elsewhere, and you will be responsible for using concepts and theories provided in class lectures and discussions.

Go to article

Cs 740-01: Algorithms, Complexity And The Theory Of Computability, Thomas Sudkamp Jan 2005

Cs 740-01: Algorithms, Complexity And The Theory Of Computability, Thomas Sudkamp

Computer Science & Engineering Syllabi

No abstract provided.

Go to article

Cs 480/680: Comparative Languages, Krishnaprasad Thirunarayan Jan 2005

Cs 480/680: Comparative Languages, Krishnaprasad Thirunarayan

Computer Science & Engineering Syllabi

This course will introduce fundamental concepts and paradigms underlying the design of modern programming languages. For concreteness, we study the details of an object-oriented language (e.g. Java), and a functional language (e.g. Scheme). The overall goal is to enable comparison and evaluation of existing languages. The programming assignments will be coded in Java 5.0 and in Scheme.

Go to article

Cs 765-01: Foundations Of Neurocomputation, Mateen M. Rizki Jan 2005

Cs 765-01: Foundations Of Neurocomputation, Mateen M. Rizki

Computer Science & Engineering Syllabi

This course is designed to help you develop a solid understanding of neural network algorithms and architectures. At the end of this course you should be able to read and critically evaluate most neural network papers published in major journals, (e.g. IEEE Transaction on Neural Networks, Neural Networks, and Neural Computation). IN addition, you should be able to implement a broad range of network architectures and learning algorithms for a variety of applications.

Go to article

Cs 790-03: Advanced Data Mining, Guozhu Dong Jan 2005

Cs 790-03: Advanced Data Mining, Guozhu Dong

Computer Science & Engineering Syllabi

In this course we will cover advanced topics in data mining. We will study some classic papers and some important recent paper, on different types of applications, in this fast evolving field.

Go to article

Cs 790-02: Multimedia Coding And Communication (I), Yong Pei Jan 2005

Cs 790-02: Multimedia Coding And Communication (I), Yong Pei

Computer Science & Engineering Syllabi

No abstract provided.

Go to article

Cs 209-01: Computer Programming For Business Ii, Dennis Kellermeier Jan 2005

Cs 209-01: Computer Programming For Business Ii, Dennis Kellermeier

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.

Go to article

Ceg 220-01: Introduction To C Programming For Engineers, Robert Helt Jan 2005

Ceg 220-01: Introduction To C Programming For Engineers, Robert Helt

Computer Science & Engineering Syllabi

This course provides a general introduction to computers as a problem-solving tool using the C programming language. Emphasis is on algorithms and techniques useful to engineers. Topics include data representation, debugging, and program verification. 4 credit hours. Prerequisite: MTH 229 (Calculus I).

Go to article

First Prev Next Last