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

Engineering Commons™

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

Wright State University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1201 - 1230 of 3445

Full-Text Articles in Engineering

Cs 3190: Programming Language Workshop In Scala, Krishnaprasad Thirunarayan Apr 2013

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.

Go to article

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

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.

Go to article

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

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.

Go to article

Cs 7140: Advanced Software Computer Engineering, Prabhaker Mateti Apr 2013

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.

Go to article

Cs 1000-09: Technology And Society, Meg Wiltshire Apr 2013

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.

Go to article

Cs 7700: Advanced Database Systems, Guozhu Dong Apr 2013

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.

Go to article

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

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.

Go to article

Cs 1200: Introduction To Discrete Structures, Analee Marlenee Miranda Apr 2013

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.

Go to article

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

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.

Go to article

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

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.

Go to article

Cs 7100: Advanced Programming Languages, Krishnaprasad Thirunarayan Apr 2013

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.

Go to article

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

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.

Go to article

Cs 1200: Introduction To Discrete Structures, Analee Marlenee Miranda Apr 2013

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.

Go to article

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

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.

Go to article

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

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

Computer Science & Engineering Syllabi

No abstract provided.

Go to article

Cs 7900-03: Information Security, Shaojun Wang Apr 2013

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.

Go to article

Cs 2800: Web Design Fundamentals, Mohamed B. Ali Apr 2013

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, …

Go to article

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

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.

Go to article

Cs 1000-01: Technology And Society, Meg Wiltshire Apr 2013

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.

Go to article

Research Challenges And Opportunities In Knowledge Representation, Natasha Noy, Deborah Mcguinness, Eyal Amir, Chitta Baral, Michael Beetz, Sean Bechhofer, Craig Boutilier, Anthony Cohn, Johan De Kleer, Michel Dumontier, Tim Finin, Kenneth Forbus, Lise Getoor, Yolanda Gil, Jeff Heflin, Pascal Hitzler, Craig Knoblock, Henry Kautz, Yuliya Lierler, Vladimir Lifschitz, Peter F. Patel-Schneider, Christine Piatko, Doug Riecken, Mark Schildhauer Feb 2013

Research Challenges And Opportunities In Knowledge Representation, Natasha Noy, Deborah Mcguinness, Eyal Amir, Chitta Baral, Michael Beetz, Sean Bechhofer, Craig Boutilier, Anthony Cohn, Johan De Kleer, Michel Dumontier, Tim Finin, Kenneth Forbus, Lise Getoor, Yolanda Gil, Jeff Heflin, Pascal Hitzler, Craig Knoblock, Henry Kautz, Yuliya Lierler, Vladimir Lifschitz, Peter F. Patel-Schneider, Christine Piatko, Doug Riecken, Mark Schildhauer

Computer Science and Engineering Faculty Publications

Modern intelligent systems in every area of science rely critically on knowledge representation and reasoning (KR). The techniques and methods developed by the researchers in knowledge representation and reasoning are key drivers of innovation in computer science; they have led to significant advances in practical applications in a wide range of areas from natural-­‐language processing to robotics to software engineering. Emerging fields such as the semantic web, computational biology, social computing, and many others rely on and contribute to advances in knowledge representation. As the era of “Big Data” evolves, scientists in a broad range of disciplines are increasingly relying …

Go to article

Knowledge Representation In The Big Data Age, Pascal Hitzler Feb 2013

Knowledge Representation In The Big Data Age, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.

Go to article

An Investigation Of Thermal Imaging To Detect Physiological Indicators Of Stress In Humans, Carl Brady Cross Jan 2013

An Investigation Of Thermal Imaging To Detect Physiological Indicators Of Stress In Humans, Carl Brady Cross

Browse all Theses and Dissertations

Real-time, stand-off sensing of humans to detect emotional state would be valuable in many defense, security and medical scenarios. Using a multimodal sensor platform that incorporates high-resolution visible-wavelength and mid-wave infrared cameras and a millimeter-wave (mmW) radar system, the detection of physiological indicators of psychological stress is tested through laboratory experiments. Our approach focuses on thermal imaging to measure temperature patterns in distinct facial regions representative of underlying hemodynamic patterns. Experiments were designed to: 1) determine the ability of thermal imaging to detect high levels of psychological stress and assess responses to physical versus psychological stressors; 2) evaluate the fidelity …

Go to article

Mobile Computing For Trauma And Surgical Care Continuous Education, Muhammad Y. Alamoud Jan 2013

Mobile Computing For Trauma And Surgical Care Continuous Education, Muhammad Y. Alamoud

Browse all Theses and Dissertations

In medical domain, mobile computing has proven to be convenient, effective, and productive. With varying screen sizes, there is a challenge to present the right information in the right format such that medical practitioners can access information quickly. In this thesis, we discuss how mobile computing can be used as a way of continuous education for medical practitioners in the field of trauma and surgical care, and provide design guidelines on how to effectively present information on different mobile form factors. The focus is on three screen sizes- 4.7, 7 and 10.1 in., and three interaction methods - dropdown, slide, …

Go to article

The Warehouse-Inventory-Transportation Problem For Multi-Echelon Supply Chains, Bhanuteja Sainathuni Jan 2013

The Warehouse-Inventory-Transportation Problem For Multi-Echelon Supply Chains, Bhanuteja Sainathuni

Browse all Theses and Dissertations

Warehouses play a vital role in mitigating variations in supply and demand, and providing value-added services in a supply chain. However, our observation of supply chain practice reveals that warehousing decisions are not included when developing a distribution plan for the supply chain. This lack of integration has resulted in substantial variation in workload (42%-220%) at our industry partner's warehouse costing them millions of dollars. We address this real-world challenge by investigating the interdependencies between warehouse, inventory, and transportation decisions, integrate them in a mathematical programming model, and develop managerial insights based on solutions of industry-sized problem instances. Our three …

Go to article

A Resolution Procedure For Description Logics With Nominal Schemas, Cong Wang, Pascal Hitzler Jan 2013

A Resolution Procedure For Description Logics With Nominal Schemas, Cong Wang, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a polynomial resolution-based decision procedure for the recently introduced description logic ELHOVn(⊓), which features nominal schemas as new language construct. Our algorithm is based on ordered resolution and positive superposition, together with a lifting lemma. In contrast to previous work on resolution for description logics, we have to overcome the fact that ELHOVn(⊓) does not allow for a normalization resulting in clauses of globally limited size.

Go to article

Analysis Of Laser Induced Spallation Of Electron Beam Physical Vapor Deposited (Eb-Pvd) Thermal Barrier Coatings, David Allen Beeler Jan 2013

Analysis Of Laser Induced Spallation Of Electron Beam Physical Vapor Deposited (Eb-Pvd) Thermal Barrier Coatings, David Allen Beeler

Browse all Theses and Dissertations

The use of thermal barrier coatings (TBCs) has been an important factor in the efficiency improvements of jet engines due to their ability to withstand the extreme environments within the engine. With this improved resistance, TBCs have also become more difficult to remove without damaging the substrate. Mound Laser & Photonics Center, Inc. (MLPC) has developed an innovative, laser based technique to spall this coating. The intention of this work was to investigate and better understand the removal mechanism. Through experimentation and analysis (such as high speed video, Scanning Electron Microscopy and Energy Dispersive Spectroscopy, semi-logarithmic analysis, and a numerical …

Go to article

A Comparative Study Of Three Different Chemical Vapor Deposition Techniques Of Carbon Nanotube Growth On Diamond Films, Betty T. Quinton, Paul N. Barnes, Chakrapani V. Varanasi, Bang-Hung Tsao, Kevin J. Yost, Sharmila M. Mukhopadhyay Jan 2013

A Comparative Study Of Three Different Chemical Vapor Deposition Techniques Of Carbon Nanotube Growth On Diamond Films, Betty T. Quinton, Paul N. Barnes, Chakrapani V. Varanasi, Bang-Hung Tsao, Kevin J. Yost, Sharmila M. Mukhopadhyay

Mechanical and Materials Engineering Faculty Publications

This paper compares between the methods of growing carbon nanotubes (CNTs) on diamond substrates and evaluates the quality of the CNTs and the interfacial strength. One potential application for these materials is a heat sink/spreader for high-power electronic devices. The CNTs and diamond substrates have a significantly higher specific thermal conductivity than traditional heat sink/spreader materials making them good replacement candidates. Only limited research has been performed on these CNT/diamond structures and their suitability of different growth methods. This study investigates three potential chemical vapor deposition (CVD) techniques for growing CNTs on diamond: thermal CVD (T-CVD), microwave plasma-enhanced CVD (MPE-CVD), …

Go to article

Nanomaterials Synthesis, Applications, And Toxicity 2012, Mallikarjuna Nadagouda, Dionysios Demetriou Dionysiou, Darren A. Lytle, Thomas F. Speth, Sharmila M. Mukhopadhyay Jan 2013

Nanomaterials Synthesis, Applications, And Toxicity 2012, Mallikarjuna Nadagouda, Dionysios Demetriou Dionysiou, Darren A. Lytle, Thomas F. Speth, Sharmila M. Mukhopadhyay

Mechanical and Materials Engineering Faculty Publications

Nanotechnology presents new opportunities to create better materials and products. Nanomaterials find wide applications in catalysis, energy production, medicine, environmental remediation, automotive industry, and other sectors of our society. Nanomaterial-containing products are already available globally and include automotive parts, defense application, drug delivery devices, coatings, computers, clothing, cosmetics, sports equipment, and medical devices. This special issue includes emerging advances in the field, with a special emphasis given to nanomaterial synthesis and applications.

Go to article

Dynamic Cmos Mimo Circuits With Feedback Inverter Loop And Pull-Down Bridge, Duo Zhang Jan 2013

Dynamic Cmos Mimo Circuits With Feedback Inverter Loop And Pull-Down Bridge, Duo Zhang

Browse all Theses and Dissertations

Two novel techniques, feedback inverter loop and pull-down bridge, adopted for multiple-input multiple-output (MIMO) dynamic CMOS circuits have been proposed in this thesis. The pull-down bridge technique optimizes the area and power of a single stage MIMO dynamic CMOS circuits, and the feedback inverter loop (FIL) technique improves the speed of multiple-stage dynamic CMOS circuits. Applying the pull-down bridge to the MIMO dynamic CMOS seven segment decoder, it is shown that common paths of different outputs are shared and optimized, which accounts for 12% speed improvement, 48% power reduction, and 73% area saving, as compared to the conventional logic design. …

Go to article

A Computational Approach To Simulating The Performance Of A 24-Hour Solar-Fuel Cell-Hydrogen Electric Power Plant, Michael K. Gustafson Jan 2013

A Computational Approach To Simulating The Performance Of A 24-Hour Solar-Fuel Cell-Hydrogen Electric Power Plant, Michael K. Gustafson

Browse all Theses and Dissertations

World energy demand has risen from about 375 exajoules (EJ) in 1990 to around 600 EJ today. The Energy Information Administration predicts that by the year 2035, this figure will rise to around 800 EJ. This places large stresses on the electric generation infrastructure. Increasingly this demand is being met by renewable energy sources. There are several reasons this is the case. The prices of renewables are dropping quickly and reaching grid parity in more regions. Utilizing renewable energy generation can help achieve energy security: adverse weather or military conflicts are less likely to impact supply routes when energy is …

Go to article

First Prev Next Last