Physical Sciences and Mathematics Commons^™

Cs 271/Bio 371: Introduction To Bioinformatics, Michael L. Raymer, Dan E. Krane

Computer Science & Engineering Syllabi

No abstract provided.

Cs 241-02: Computer Programming - Ii, Michael Ondrasek

Computer Science & Engineering Syllabi

A continuation of CS240. The emphasis is on solving more complex problems using object oriented programming. Prerequisite: CS240. Students must register for both lecture and one laboratory section. 4 credit hours.

Cs 207-01: Microsoft Office 2007: Post-Advanced Concepts And Techniques, M. K. Reynolds

Computer Science & Engineering Syllabi

Microsoft Office 2007: Post-Advanced Concepts and Techniques is intended for a third course on Office 2007 applications. This book assumes that students are familiar with the fundamentals and some advanced features of Word 2007, Excel 2007, Access 2007, and PowerPoint 2007. The objectives of this book are:

To offer a comprehensive presentation of Word 2007, Excel 2007, Access 2007, and PowerPoint 2007

To expose students to practical examples of the computer as a useful tool

To acquaint students with the proper procedures to create and enhance documents, worksheets, databases, and presentations suitable for coursework, professional purposes, and personal use

To …

Ceg 724-01: Computer Vision I, Arthur A. Goshtasby

Computer Science & Engineering Syllabi

This course teaches basic techniques for low-level and mid-level vision. The techniques are to reduce image noise and segment images into objects or their parts. Other techniques covered in the course analyze and quantify texture, register images, and recover 3-D shapes from 2-D images.

Ceg 720-01: Computer Architecture I, Soon M. Chung

Computer Science & Engineering Syllabi

Review of sequential computer architecture and study of parallel computers. Topics include memory hierarchy, reduced instruction set computer, pipeline processing, multiprocessing, various parallel computers, interconnection networks, and fault-tolerant computing.

Ceg 479/679-01: Computer Animation, Thomas Wischgoll

Computer Science & Engineering Syllabi

By the end of this quarter, you will have learnt techniques for designing various models and algorithms for animation of such models as well as theur rendering using OpenGL and CIC++.

Ceg 463/663-01: The Personal Software Development Process, John A. Reisner

Computer Science & Engineering Syllabi

In this course, you will learn about more about one particular way to address some of the challenges and issues associated with successful software development. Specifically, you will learn and use the Personal Software Process (PSP), designed to help individual software practitioners become more adept at their craft through the use of project planning, project tracking, defect analysis, review and verification activities, software measurement, and process management. This course-and the PSP-are somewhat unique in that they aim to help software engineers become more successful, not by examining issues associated with large-scale development (as is the case with many software engineering …

Ceg 433/633-01: Operating Systems, Prabhaker Mateti

Computer Science & Engineering Syllabi

Overview of operating systems internals. File-system usage and design, process usage and control, virtual memory, multi user systems, access control. Course projects use C++ language. 4 Credit Hours. Three hours lecture, two hours lab. Prerequisites: CEG 320 and CS 400

Ceg 429/629-01: Internet Security, Prabhaker Mateti

Computer Science & Engineering Syllabi

Introduction to security issues arising primarily from computer networks. Topics include node and service authentication, address spoofing, hijacking, SYN floods, smurfing, sniffing, routing tricks, and privacy of data en route. Buffer overruns and other exploitation of software development errors. Hardening of operating systems. Intrusion detection. Firewalls. Ethics. Prerequisites: CEG 433

Ceg 320/520-01: Computer Organization, Michael L. Raymer

Computer Science & Engineering Syllabi

No abstract provided.

Ceg 220-01: Introduction To C Programming For Engineers, Jay Dejongh

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) or EGR 101 (Engineering Mathematics). The course includes a scheduled laboratory section for which you must register.

Ceg 211-01: Pc Networking Ii, Karen Meyer

Computer Science & Engineering Syllabi

The goal of this course is to prepare students for the real-world challenges of a networking professional. It is designed for students interested in network and server administration. The text includes extensive hands-on projects, exercises, and review questions in each chapter, which reinforce network administration skills as they are learned. Case projects at the end of each chapter allow students to take on the role of a network administrator, making decisions and troubleshooting real-life problems. Specific topic coverage includes: network administration and management, administering active directory, managing group policy, administering file resources, administering web resources in windows server 2003, administering …

Ceg 210-01: Pc Networking I, Karen Meyer

Computer Science & Engineering Syllabi

Introduction to networking technologies including infrastructure and architectures, standards, protocols and directory services, administration, security and management. Integrated lecture and lab.

The Importance Of Being Neural-Symbolic - A Wilde Position, Pascal Hitzler, Kai-Uwe Kuhnberger

Computer Science and Engineering Faculty Publications

We argue that Neural-Symbolic Integration is a topic of central importance for the advancement of Artificial General Intelligence.

Semantic Integration Of Citizen Sensor Data And Multilevel Sensing: A Comprehensive Path Towards Event Monitoring And Situational Awareness, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

A Berry-Esseen Theorem For Sample Quantiles Under Weak Dependence, S. N. Lahiri, Shuxia Sun

Mathematics and Statistics Faculty Publications

This paper proves a Berry-Esseen theorem for sample quantiles of strongly-mixing random variables under a polynomial mixing rate. The rate of normal approximation is shown to be O(n^-1/2) as n -> infinity, where n denotes the sample size. This result is in sharp contrast to the case of the sample mean of strongly-mixing random variables where the rate O(n^-1/2) is not known even under an exponential strong mixing rate. The main result of the paper has applications in finance and econometrics as financial time series important data often are heavy-tailed and quantile …

Ga-Related Photoluminescence Lines In Ga-Doped Zno Grown By Plasma-Assisted Molecular-Beam Epitaxy, Z. Yang, David C. Look, J. L. Liu

Physics Faculty Publications

Low-temperature photoluminescence (PL) and temperature-dependent Hall-effect (T-Hall) measurements were carried out in undoped and Ga-doped ZnO thin films grown by molecular-beam epitaxy. As the carrier concentration increases from 1.8×10¹⁸ to 1.8×10²⁰ cm⁻³, the dominant PL line at 9 K changes from I₁ (3.368–3.371 eV) to I_DA (3.317–3.321 eV), and finally to I₈ (3.359 eV). The dominance of I₁, due to ionized-donor bound excitons, is unexpected in n-type samples but is shown to be consistent with the T-Hall results. We also show that I_DA has characteristics of …

Computing For Human Experience: Sensors, Perception, Semantics, Web N.0, And Beyond, Amit P. Sheth

Kno.e.sis Publications

Traditionally there has been a strong separation between computing and human activities in the real world. The approach has largely been that of mapping the complexity and richness of the real world to constrained computer models and languages for more efficient computation, and then transferring the results for use in the real world. I think the time is ripe to reverse the situation, for computing and communication to transparently enrich and enhance human experience. Today, devices enable something more than a 'human instructs machine' paradigm. We are seeing computing and communication engage transparently in human activities by enriching them in …

Why Gujarat Needs Much Better Higher Education & Research To Succeed In Knowledge Economy & What We Can Do About It?, Amit P. Sheth, Kamlesh Lulla, Sanjay Chaudhary

Kno.e.sis Publications

This white paper distills the deliberations on the role of higher education and research as a key enabler of a Knowledge based Society. In particular it discusses (a) the importance of higher quality PhDs for building a knowledge society, (b) the initiatives and progress in competing economies in higher education and research, (c) where Gujarat stands in comparison, and (d) some recommendations on what Gujarat can do to enable timely progress towards building a knowledge based society and economy. These deliberations were conducted in conjunction with the International Conference on 'Reconnecting Gujarati Diaspora with its Homeland: Contribution to its Development …

Automated Transforms Of Software Models: A Design Pattern Approach, Brandon Adam Gump

Browse all Theses and Dissertations

In the realm of software development, projects are plagued by continuous maintenance at the source code level as well as tedious transformations from formal specifications to source code. Such work consumes a large amount of time only to create complicated, un-intelligible, and un-reusable code that is completely detached from initial design rational. To cope with these problems, The Air Force Institute of Technology (AFIT) Wide Spectrum Object Modeling Environment (AWSOME) was designed to generate specifications that can be transformed into abstract designs and finally into source code. The specifications are written in the AFIT Wide-spectrum Language (AWL) and parsed in …

Radon - Repair And Diagnosis In Ontology Networks, Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmuller

Computer Science and Engineering Faculty Publications

One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating multiple distributed ontologies. Our RaDON system provides functionalities to repair and diagnose ontology networks by extending the capabilities of existing reasoners. The system integrates several new debugging and repairing algorithms, such as a relevance-directed algorithm to meet the various needs of the users.

Periodic Traveling Waves In Sirs Endemic Models, Tong Li, Yi Li, Herbert W. Hethcote

Yi Li

Mathematical models are used to determine if infection wave fronts could occur by traveling geographically in a loop around a region or continent. These infection wave fronts arise by Hopf bifurcation for some spatial models for infectious disease transmission with distributed-contacts. Periodic traveling waves are shown to exist for the spatial analog of the SIRS endemic model, in which the temporary immunity is described by a delay, but they do not exist in a similar spatial SIRS endemic model without a delay. Specifically, we found that the ratio of the delay ω in the recovered class and the average infectious …

A Note On The Positive Solutions Of An Inhomogeneous Elliptic Equation On Rn, Yinbin Deng, Yi Li, Fen Yang

Yi Li

This paper is contributed to the elliptic equation (0.1) Δu+K(|x|)up+μf(|x|)=0,

where p>1, x∈Rn, n⩾3, and μ⩾0 is a constant. We study the structure of positive radial solutions of (0.1) and obtain the uniqueness of solution decaying faster than r−m at ∞ if μ is small enough under some assumptions on K and f, where m is the slow decay rate.

Stereoscopic Display Technology For Visualizing Vascular Structures, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.

Periodic Traveling Waves In Sirs Endemic Models, Tong Li, Yi Li, Herbert W. Hethcote

Mathematics and Statistics Faculty Publications

Mathematical models are used to determine if infection wave fronts could occur by traveling geographically in a loop around a region or continent. These infection wave fronts arise by Hopf bifurcation for some spatial models for infectious disease transmission with distributed-contacts. Periodic traveling waves are shown to exist for the spatial analog of the SIRS endemic model, in which the temporary immunity is described by a delay, but they do not exist in a similar spatial SIRS endemic model without a delay. Specifically, we found that the ratio of the delay ω in the recovered class and the average infectious …

A Direct Solution Of The Robin Inverse Problem, Weifu Fang, Suxing Zeng

Mathematics and Statistics Faculty Publications

We present a direct, linear boundary integral equation method for the inverse problem of recovering the Robin coefficient from a single partial boundary measurement of the solution to the Laplace equation.

A Note On The Positive Solutions Of An Inhomogeneous Elliptic Equation On Rn, Yinbin Deng, Yi Li, Fen Yang

Mathematics and Statistics Faculty Publications

This paper is contributed to the elliptic equation

(0.1) Δu+K(|x|)up+μf(|x|)=0,

where p>1, x∈Rn, n⩾3, and μ⩾0 is a constant. We study the structure of positive radial solutions of (0.1) and obtain the uniqueness of solution decaying faster than r−m at ∞ if μ is small enough under some assumptions on K and f, where m is the slow decay rate.

Ontologies And Rules, Pascal Hitzler, Bijan Parsia

Computer Science and Engineering Faculty Publications

Ontologies and rules are two established paradigms in knowledge modelling, and play an important role for the Semantic Web. In this chapter, we present an introduction to common approaches for combining OWL ontologies and rules. In particular, we cover the Semantic Web Rules Language SWRL and Description Logic Programs DLP, and give pointers to the literature.

Semantics-Empowered Social Computing, Amit P. Sheth, Meenakshi Nagarajan

Kno.e.sis Publications

In this article, we discuss some of the challenges in marking-up or annotating UGC, a first step toward the realization of the social semantic Web. Using examples from real- world UGC, we show how domain knowledge can effectively complement statistical natural language processing techniques for metadata creation.

Prom: A Semantic Web Framework For Provenance Management In Science, Satya S. Sahoo, Roger Barga, Amit P. Sheth, Krishnaprasad Thirunarayan, Pascal Hitzler

Kno.e.sis Publications

The eScience paradigm is enabling researchers to collaborate over the Web in virtual laboratories and conduct experiments on an industrial scale. But, the inherent variability in the quality and trust associated with eScience resources necessitates the use of provenance information describing the origin of an entity. Existing systems often model provenance using ambiguous terminology, have poor domain semantics and include modeling inconsistencies that hinders interoperability. Further, mere collection of provenance information is of little value without a well-defined and scalable query mechanism.

In this paper, we present 'PrOM', a framework that addresses both the modeling and querying issues in eScience …