Computer Engineering Commons^™

Cs 7120: Functional And Logic Programming, Krishnaprasad Thirunarayan

Computer Science & Engineering Syllabi

This course will discuss important concepts and language features to support (i) functional programming and (ii) logic programming. Specifically: (i) The first half of the course will cover functional programming techniques and constructs such as recursive definitions, higher-order functions, type inference, polymorphism, abstract data types, and modules. The programming exercises will illustrate the utility of list-processing, pattern matching, abstraction of data/control, strong typing, and parametrized modules (fucntors). We will also study the mathematical reasoning (induction) involved in the design of functional programs and for proving properties about functions so defined. The programming assignments will be coded in SML '97 (Standard …

Cs 7220: Computability And Complexity, Michael L. Raymer

Computer Science & Engineering Syllabi

No abstract provided.

Cs 1011: Advanced Concepts/Techniques And Software Productivity Tools, Terri Bauer

Computer Science & Engineering Syllabi

By the end of this course, the students will have a greater depth of understanding in the areas of spreadsheets, databases, and presentation software and web design using Microsoft Excel, Access, and PowerPoint covering the following topics.

Microsoft Excel 2010:

Chapters 5 - 8

Microsoft Access 2010:

Chapters 5 - 7

Microsoft PowerPoint 2010:

Chapter 3 & 4

Cs 2200-01: Discrete Structures And Their Algorithms, Pascal Hitzler

Computer Science & Engineering Syllabi

No abstract provided.

Cs 3100-01/5100-01: Data Structures And Algorithms, Erik Marlow Buck

Computer Science & Engineering Syllabi

No abstract provided.

Cs 1181-01: Computer Science Ii, Michael Ondrasek

Computer Science & Engineering Syllabi

This is the second course in a two-semester sequence introducing fundamental concepts and techniques for computer science and engineering. The course focuses on problem analysis, advanced programming concepts using JAVA and fundamental data structures. Students learn to analyze problems and evaluate potential solutions with respect to choice of data structures and computational efficiency. Student are exposed to the underlying implementation of basic data structures available in JAVA libraries and develop the skilled needs to extend existing data structures and design new data structures to solve increasingly complex problems. This is an integrated writing course.

Cs 3190: Programming Language Workshop In Scala, Krishnaprasad Thirunarayan

Computer Science & Engineering Syllabi

This course is designed as a self-study in Scala. You are expected to learn the language and solve a set of programming problems assigned to you using Scala available from http://www.scala-lang.org/. There are no exams. We officially meet only once in the semester (and attending this meeting is optional if the online document is clear). However, I will be available in the posted office hours for clarifications and discussions about the programming problems. Typically, most of the communication is via emails.

Cs 3100-02/5100-02: Data Structures And Algorithms, Keke Chen

Computer Science & Engineering Syllabi

This course will cover the fundamentals of algorithm design and analysis, the implementation of classical data structures and control structures, and the basic problem solving techniques.

Cs 3200/5200: Theoretical Foundations Of Computing, Guozhu Dong

Computer Science & Engineering Syllabi

CS 3200/5200 is an introduction to (a) formal language and automata theory and (b) computability. For (a), we will examine mechanisms for defining syntax of languages and devices for recognizing languages. Along with the fundamentals of these two topics, the course will investigate the relationships between language definition mechanisms and language recognition devices. For (b), we will study decision problems, the Church-Turing thesis, the undecidability of the Halting Problem, and problem reduction and undecidability. The text will be the third edition of Languages and Machines: An Introduction to the Theory of Computer Science, by Thomas Sudkamp.

Cs 7140: Advanced Software Computer Engineering, Prabhaker Mateti

Computer Science & Engineering Syllabi

[3 credit hours] This course covers advanced topics in software engineering. Aspects of problem specification, design, verification, and evaluation are discussed. We will focus on design methods, including software patterns, and software architecture, plus some advanced topics involving formal methods of software specification or evaluation using software metrics. Students will participate in team projects to apply the methods discussed. Prerequisites: CEG 4110 or CEG 6110.

Cs 1000-09: Technology And Society, Meg Wiltshire

Computer Science & Engineering Syllabi

What impact does technology have on society? As technology plays a greater role in our everyday lives, this becomes an increasingly important issue. The past 30 years have seen unprecedented technological advances, but the benefits obtained are often offset by unforeseen consequences and repercussions, such as privacy concerns, identity theft, and safety. This course will evaluate the consequences of technology on individuals, organizations, and society, identifying the potential benefits and limitations. We will discuss how social, ethical, legal, and philosophical issues have impacted, and will continue to impact, society.

Cs 7700: Advanced Database Systems, Guozhu Dong

Computer Science & Engineering Syllabi

Introduction of design concepts, operating principles, current trends and research issues in database systems.

Cs 7900-01: Optimizing Compilers For Modern Architectures, Meilin Liu

Computer Science & Engineering Syllabi

This course studies compiler optimization for modern architectures, program performance optimization. Between parsing the input program and generating the target machine code, optimizing compilers perform a wide range of program transformations on a program to improve its performance. In this course we focus on data dependence analysis, program transformations and loop transformations, loop scheduling, and a combination of these optimizing techniques.

Cs 1200: Introduction To Discrete Structures, Analee Marlenee Miranda

Computer Science & Engineering Syllabi

Introduction to discrete structures as relevant for computer science. Emphasis on developing a working knowledge of basic mathematical notation and manipulation with discrete structures.

Cs 1180-01: Computer Programming - I, Jay Dejongh

Computer Science & Engineering Syllabi

Basic concepts of programming and programming languages are introduced. Emphasis is on problem solving and object oriented programming. This course provides a general introduction to the fundamentals of computer science and programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. The concepts covered will be applied to the Java programming language. Students must register for both lecture and one laboratory section. 4 credit hours.

Cs 4700/6700: Introduction To Database Management Systems, Soon M. Chung

Computer Science & Engineering Syllabi

Survey of logical and physical aspects of database management systems. Entity Relationship and relational models for databases are presented. Physical database design methods, formal DB design concepts, and operating principles of database systems are discussed.

Cs 7100: Advanced Programming Languages, Krishnaprasad Thirunarayan

Computer Science & Engineering Syllabi

This course introduces concepts related to the specification and design of high-level programming languages. It discusses different programming paradigms, algebraic specification and implementation of data types, and develops interpreters in Scheme for specifying operationally the various programming language features/constructs (spanning simple expression language to class-based object-oriented language). It also introduces attribute grammar framework that is convenient for automatic translation and axiomatic semantics formalism that assists in program verification. The programming assignments will be coded in Scheme using Racket IDE.

Cs/Mth 3260/5260: Numerical Methods For Digital Computers, Ronald F. Taylor

Computer Science & Engineering Syllabi

Numerical methods for the sciences using modern programming languages. Solution of linear and nonlinear equations. symmetric matrix eigenvalue problems, interpolation, and least squares. Initial value and boundary value problems for representative systems governed by ordinary and partial differential equations are also solved numerically. Three hours lecture.

Cs 1200: Introduction To Discrete Structures, Analee Marlenee Miranda

Computer Science & Engineering Syllabi

Introduction to discrete structures as relevant computer science. Emphasis on developing a working knowledge of basic mathematical notation and manipulation with discrete structures.

Cs 1180-09: Computer Programming - I, Jay Dejongh

Computer Science & Engineering Syllabi

Basic concepts of programming and programming languages are introduced. Emphasis is on problem solving and object oriented programming. This course provides a general introduction to the fundamentals of computer science and programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. The concepts covered will be applied to the Java programming language. Students must register for both lecture and one laboratory section. 4 credit hours.

Cs 4830-01/6830-01: Systems Simulation, Erik Marlow Buck

Computer Science & Engineering Syllabi

No abstract provided.

Cs 7900-03: Information Security, Shaojun Wang

Computer Science & Engineering Syllabi

Machine learning studies automatic methods of learning to make accurate predictions or useful decisions based on past observations. This course introduces theoretical machine learning, including mathematical models of machine learning, and the design and rigorous analysis of learning algorithms for classification, regression and ranking etc. Topics include: bounds on the number of random examples needed to learn; learning from non-random examples in the on-line learning model (for instance, for investment portfolio selection); how to boost the accuracy of a weak learning algorithm, kernel methods such as support-vector machines; consistency of machine learning methods.

Cs 2800: Web Design Fundamentals, Mohamed B. Ali

Computer Science & Engineering Syllabi

HTML is the markup language that every web developer uses in order to structure and present content in the Internet. HTML5 is the standard that is being shaped and developed currently. It extends and improves the last HTML4 standard and takes it to the next level with support multimedia, communication and more. In this course, Students learn the fundamentals of Web design and development. Using various web software (Text editors, Expression Web, browsers and ftp clients). We will use CSS and forms, learn to add multimedia to pages, learn to insert JavaScript code into our web pages to increase interactivity, …

Ceg 2170-01: Introduction To C Programming For Engineers, Shaojun Wang

Computer Science & Engineering Syllabi

Basic engineering problem solving using the C programming language. Topics include loops, selection, input/output, files, functions, arrays, complex variables, pointers, structures, and dynamic memory. Students will learn how to approach solving problems in engineering and science; how to develop algorithms, using advanced techniques such as recursion, searching, s01ting and linked lists, to solve those problems; and how to implement those algorithms in the C language.

Cs 1000-01: Technology And Society, Meg Wiltshire

Computer Science & Engineering Syllabi

What impact does technology have on society? As technology plays a greater role in our everyday lives, this becomes and increasingly important issue. The past 30 years have seen unprecedented technological advances, but the benefits obtained are often offset by unforeseen consequences and repercussions, such as privacy concerns, identity theft, and safety. This course will evaluate the consequences of technology on individuals, organizations, and society, identifying the potential benefits and limitations. We will discuss how social, ethical, legal, and philosophical issues have impacted, and will continue to impact, society.

A Large Scale Distributed Syntactic, Semantic And Lexical Language Model For Machine Translation, Ming Tan

Browse all Theses and Dissertations

The n-gram model is the most widely used language model (LM) in statistical machine translation system, due to its simplicity and scalability. However, it only encodes the local lexical relation between adjacent words and clearly ignores the rich syntactic and semantic structures of the natural languages. Attempting to increase the order of an n-gram to describe longer range dependencies in natural language immediately runs into the curse of dimensionality. Although previous researches tried to increase the order of n-gram on a large corpus, they did not see obvious improvement beyond 6-gram. Meanwhile, other LMs, such as syntactic language models and …

A Semantics-Based Approach To Machine Perception, Cory Andrew Henson

Browse all Theses and Dissertations

Machine perception can be formalized using semantic web technologies in order to derive abstractions from sensor data using background knowledge on the Web, and efficiently executed on resource-constrained devices. Advances in sensing technology hold the promise to revolutionize our ability to observe and understand the world around us. Yet the gap between observation and understanding is vast. As sensors are becoming more advanced and cost-effective, the result is an avalanche of data of high volume, velocity, and of varied type, leading to the problem of too much data and not enough knowledge (i.e., insights leading to actions). Current estimates predict …

A Methodology For Extracting Human Bodies From Still Images, Athanasios Tsitsoulis

Browse all Theses and Dissertations

Monitoring and surveillance of humans is one of the most prominent applications of today and it is expected to be part of many future aspects of our life, for safety reasons, assisted living and many others. Many efforts have been made towards automatic and robust solutions, but the general problem is very challenging and remains still open. In this PhD dissertation we examine the problem from many perspectives. First, we study the performance of a hardware architecture designed for large-scale surveillance systems. Then, we focus on the general problem of human activity recognition, present an extensive survey of methodologies that …

Anomalies In Sensor Network Deployments: Analysis, Modeling, And Detection, Giovani Rimon Abuaitah

Browse all Theses and Dissertations

A sensor network serves as a vital source for collecting raw sensory data. Sensor data are later processed, analyzed, visualized, and reasoned over with the help of several decision making tools. A decision making process can be disastrously misled by a small portion of anomalous sensor readings. Therefore, there has been a vast demand for mechanisms that identify and then eliminate such anomalies in order to ensure the quality, integrity, and/or trustworthiness of the raw sensory data before they can even be interpreted.

Prior to identifying anomalies, it is essential to understand the various anomalous behaviors prevalent in a sensor …

Visualizing Confusion Matrices For Multidimensional Signal Detection Correlational Methods And Semantic Cluster Based Visualization In Virtual Environments, Yue Zhou

Browse all Theses and Dissertations

General Recognition Theory (GRT) is a multidimensional signal detection theory framework for capturing sources of perceptual and decisional dependence. The primary type of data for GRT models is an identification-confusion matrix derived in a complete factorial identification task. This confusion matrix plots the responses of study participant for a given signal. The responses may reveal that participants were unable to recognize the signal properly. Such violations of any type of independence in the GRT framework result in response patterns that reflect some form of correlation in the GRT space. While an individual confusion matrix is rather small and relatively easy …