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.

Case Study Of Using A Social Annotation Tool To Support Collaboratively Learning, Fei Gao

Visual Communications and Technology Education Faculty Publications

The purpose of the study was to understand student interaction and learning supported by a collaboratively social annotation tool — Diigo. The researcher examined through a case study how students participated and interacted when learning an online text with the social annotation tool — Diigo, and how they perceived their experience. The findings suggested that students participated actively in the collaborative learning activity and were engaged in a variety of behaviors including self-reflection, elaboration, internalization, and showing support. Although students generally had a moderately positive attitude toward using the social annotation tool for collaborative learning, a few problems were identified. …

Beyond Lean: Simulation In Practice, Second Edition, Charles R. Standridge Ph.D.

Open Textbooks

Lean thinking, as well as associated processes and tools, have involved into a ubiquitous perspective for improving systems particularly in the manufacturing arena. With application experience has come an understanding of the boundaries of lean capabilities and the benefits of getting beyond these boundaries to further improve performance. Discrete event simulation is recognized as one beyond-the-boundaries of lean technique. Thus, the fundamental goal of this text is to show how discrete event simulation can be used in addition to lean thinking to achieve greater benefits in system improvement than with lean alone. Realizing this goal requires learning the problems that …

A Simulation Approach To Airline Cost Benefit Analysis, Massoud Bazargan, David Lange, Luyen Tran, Zhiyuan Zhou

Management, Marketing and Operations - Daytona Beach

In this paper we conduct a cost benefit analyses using simulation for an Airline. This study pertains to using Towbarless Towing Vehicles (commonly referred to as supertugs) to transport aircraft to and from the terminal to airline’s maintenance hangar facility at their hub. This study attempts to investigate the possibility of reducing costs through saving jet fuel by adopting supertugs and identify if their high purchasing costs are justified. This study adopts simulation to analyze the annual savings by studying the numbers needed, as well as the utilization and operation cost for these supertugs. The results are very encouraging, enabling …

Performance Of Concrete Incorporating Colloidal Nano-Silica, Mohamed Sabry Zeidan

UNLV Theses, Dissertations, Professional Papers, and Capstones

Nanotechnology, as one of the most modern fields of science, has great market potential and economic impact. The need for research in the field of nanotechnology is continuously on the rise. During the last few decades, nanotechnology was developing rapidly into many fields of applied sciences, engineering and industrial applications, especially through studies of physics, chemistry, medicine and fundamental material science. These new developments may be attributed to the fact that material properties and performance can be significantly improved and controlled through nano-scale processes and nano-structures. This research program aims at 1) further understanding the behavior of cementitious materials when …

Computer Guided Instruction For Creation Of Root Locus Plots, Erik Allen Cheever , '82, A. Moser

Engineering Faculty Works

No abstract provided.