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 901 - 930 of 3840

Full-Text Articles in Physical Sciences and Mathematics

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.


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.


Cs 1181-01: Computer Science Ii, Michael Ondrasek Apr 2013

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 1010-01: Introduction To Computers And Office Productivity Software, John P. Herzog Apr 2013

Cs 1010-01: Introduction To Computers And Office Productivity Software, John P. Herzog

Computer Science & Engineering Syllabi

Focus on learning MS Office software applications including intermediate word processing, spreadsheets, database and presentation graphics using a case study approach where critical thinking and problem solving skills are required. Computer concepts are integrated throughout the course to provide an understanding of the basics of computing, the latest technological advances and how they are used in industry. Ethics and issues encountered in business are discussed to challenge students on societal impact of technology.


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.


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.


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.


Cs 7220: Computability And Complexity, Michael L. Raymer Apr 2013

Cs 7220: Computability And Complexity, Michael L. Raymer

Computer Science & Engineering Syllabi

No abstract provided.


Cs 7120: Functional And Logic Programming, Krishnaprasad Thirunarayan Apr 2013

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


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

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

Computer Science & Engineering Syllabi

No abstract provided.


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


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.


Applied Human Factors Research In Minimally Invasive Surgery, Caroline G. L. Cao Mar 2013

Applied Human Factors Research In Minimally Invasive Surgery, Caroline G. L. Cao

Physics Seminars

Health care is probably the last remaining unsafe critical system. A large proportion of reported medical errors occur in the hospital operating room (OR), a highly complex sociotechnical environment. From the technological point of view, there is a natural progression from traditional open surgery to minimally invasive surgery to robotic surgery. However, technology is being introduced into the OR faster than surgeons can learn to use them. Surgical errors have been attributed to the unfamiliar instrumentation, increased motoric, perceptual and cognitive demands on the surgeons, as well as the lack of adequate training. Effective technology design requires an understanding of …


Quantum Tricks In The Shadows Of Relativity And The Coulomb Force: Teaching Devices And Students How To Think Ultra-Fast, Ilias Perakis Mar 2013

Quantum Tricks In The Shadows Of Relativity And The Coulomb Force: Teaching Devices And Students How To Think Ultra-Fast, Ilias Perakis

Physics Seminars

The technological demand to bump the Gigahertz switching speed limit of today's magnetic memory and logic devices into the Terahertz regime underlies the entire field of spin-electronics and integrated multi-functional nano-devices. In this talk, I use theory and experiment to show how all-optical switching based on the quantum-mechanical manipulation of spins with a train of laser pulses could meet this challenge. The creation of magnetic correlations within femtoseconds, i.e. faster than one period of lattice oscillations, reveals a new temporal regime of magnetism. This field opened new directions for manipulating materials out-of-equilibrium using Terahertz, Mid-infrared, and X-ray pulses.


Nanocomposite Alloy Design For Power Electronic Applications, Michael Mchenry Mar 2013

Nanocomposite Alloy Design For Power Electronic Applications, Michael Mchenry

Physics Seminars

Recent USDOE workshops highlight the need for advanced soft magnetic materials leveraged in novel designs of power electronic components and systems for power conditioning and grid integration. Similarly soft magnetic materials figure prominently in applications in electric vehicles and high torque motors. Dramatic weight and size reductions are possible in such applications by hold potential for applications in active magnetocaloric cooling of such devices. Bulk and thin film soft magnet sensors can contribute to the search for oil and critical materials. Opportunities for state of the art soft magnetic to impact such applications have been furthered by investment by USDOD …


Predicting Parkinson's Disease Progression With Smartphone Data, Pramod Anantharam, Krishnaprasad Thirunarayan, Vahid Taslimi, Amit P. Sheth Mar 2013

Predicting Parkinson's Disease Progression With Smartphone Data, Pramod Anantharam, Krishnaprasad Thirunarayan, Vahid Taslimi, Amit P. Sheth

Kno.e.sis Publications

Most of the existing approaches for detecting diseases/risk score form observations (sensor and textual) ignore the presence of any prior knowledge of the disease. In this work, we start top-down by enumerating the symptoms of Parkinson's Disease (PD) and map the symptoms to its possible manifestations in sensor observations (bottom-up). We show such manifestations and further use these manifestations as features to build classifiers to differentiate between the PD patients and the control group.


High-Performance Thermal Management, Kirk Yerkes Feb 2013

High-Performance Thermal Management, Kirk Yerkes

Physics Seminars

Traditionally thermal management systems are designed for steady-state behavior. Air Force systems tend to be highly complex, coupled, and highly-dynamic. The concept of high-performance thermal management offers a paradigm shift in the technical approach to thermal management to one that addresses the inherent need to develop thermal management systems. This seminar will address the conceptual and philosophical approach to addressing the science and engineering needed to evolve thermal management technologies for high-performance and rapidly responding thermal management systems.


Growth Of Low-Dimensional Carbon Nanomaterials, John J. Boeckl, Weijie Lu, William Mitchel, Howard Smith, Larry Grazulis, Gerry Landis, Said Elhamri, Kurt G. Eyink Feb 2013

Growth Of Low-Dimensional Carbon Nanomaterials, John J. Boeckl, Weijie Lu, William Mitchel, Howard Smith, Larry Grazulis, Gerry Landis, Said Elhamri, Kurt G. Eyink

Physics Seminars

Low dimensional carbon nanostructures, carbon nanotubes (CNTs) and graphene, have attracted significant interest due to promising applications ranging from high-speed electronics to sensing. However, insight into growth mechanisms of low-dimensional carbon nanomaterials remains a challenge. Metal-free nanocarbon/SiC structures offer an excellent platform to gain a fundamental understanding of carbon nano-materials. In this talk, metal-free nanocarbon/SiC structures are used as a platform to gain a fundamental understanding of the growth mechanisms of CNTs and graphene. Specifically, an understanding and control of the SiC surface graphitization process and interface structure needs to be established. In this review, we focus on graphene growth …


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 …


Some Minor-Closed Classes Of Signed Graphs, Dan Slilaty, Xiangqian Zhou Feb 2013

Some Minor-Closed Classes Of Signed Graphs, Dan Slilaty, Xiangqian Zhou

Mathematics and Statistics Faculty Publications

We define four minor-closed classes of signed graphs in terms of embeddability in the annulus, projective plane, torus, and Klein bottle. We give the full list of 20 excluded minors for the smallest class and make a conjecture about the largest class.


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.


Enhancing Ir Sensor Coupling Using Surface Plasmon Resonances, John S. Cetnar Jan 2013

Enhancing Ir Sensor Coupling Using Surface Plasmon Resonances, John S. Cetnar

Physics Seminars

The mid-infrared (mid-IR) region of the electromagnetic spectrum is defined from λ ~ 8 – 14 μm. There are many important applications for mid-IR sensing including military, scientific, medical, and commercial. Unfortunately, the performance of current mid-IR detectors is limited by low optical absorption. Surface plasmons (SPs) can be used to enhance the coupling between mid-IR radiation and mid-IR detectors. There are many structures that can generate SPs in the mid-IR region. Two particular structures, the grating coupler and the Sierpinski carpet, seem particularly interesting. The grating coupler is of interest because of its good performance and simplicity of fabrication. …


What Kind Of #Conversation Is Twitter? Mining #Psycholinguistic Cues For Emergency Coordination, Hemant Purohit, Andrew Hampton, Valerie L. Shalin, Amit P. Sheth, John M. Flach, Shreyansh Bhatt Jan 2013

What Kind Of #Conversation Is Twitter? Mining #Psycholinguistic Cues For Emergency Coordination, Hemant Purohit, Andrew Hampton, Valerie L. Shalin, Amit P. Sheth, John M. Flach, Shreyansh Bhatt

Kno.e.sis Publications

The information overload created by social media messages in emergency situations challenges response organizations to find targeted content and users. We aim to select useful messages by detecting the presence of conversation as an indicator of coordinated citizen action. Using simple linguistic indicators associated with conversation analysis in social science, we model the presence of conversation in the communication landscape of Twitter in a large corpus of 1.5M tweets for various disaster and non-disaster events spanning different periods, lengths of time and varied social significance. Within Replies, Retweets and tweets that mention other Twitter users, we found that domain-independent, linguistic …


From Solute Transport To Chemical Weathering, Allen Hunt, Thomas E. Skinner Jan 2013

From Solute Transport To Chemical Weathering, Allen Hunt, Thomas E. Skinner

Physics Seminars

A theory for conservative solute transport, based on concepts from percolation theory, is applied directly to reactive solute transport. Chemical reactions are assumed to have reached equilibrium at the scale of an individual pore, but at larger length scales, equilibration is limited by solute transport velocities, which are not the same as fluid velocities! The results of this theory already predicted observed dispersivity values for conservative solute transport over ten orders of magnitude of length scale as well as the variation of solute arrival time distributions with medium saturation. We now show that the solute velocity predicts the time-dependence of …


College Of Science And Mathematics Newsletter, Winter 2013, College Of Science And Mathematics, Wright State University Jan 2013

College Of Science And Mathematics Newsletter, Winter 2013, College Of Science And Mathematics, Wright State University

College of Science and Mathematics Newsletters

This 8 page newsletter discusses various happenings within the College of Science and Mathematics. It begins with a letter from the dean, and continues on with news, events, alumni news, and other community news.


State Of Ohio Renewable Energy And Energy Efficiency Job Impact Study, Icf International Jan 2013

State Of Ohio Renewable Energy And Energy Efficiency Job Impact Study, Icf International

Economic Development

In 2011 Wright State University (WSU), Center for Urban and Public Affairs and ICF International (ICF) conducted a survey of private employers, representing selected sectors within the potential green industry, to identify and develop a knowledge base of “green jobs” in Ohio. This survey report discussed results of the survey analysis such as characteristics of the “green” Ohio Industry sectors as well as training needs and support, barriers to producing green-related products or services, certifications available for green jobs, and skills needed for select job vacancies among Ohio’s Green workforce. Conclusions in this report pointed towards future policies and investment …


Systems Factorial Technology With R, Joseph W. Houpt, Leslie M. Blaha, John P. Mcintire, Paul R. Havig, James T. Townsend Jan 2013

Systems Factorial Technology With R, Joseph W. Houpt, Leslie M. Blaha, John P. Mcintire, Paul R. Havig, James T. Townsend

Joseph W. Houpt

Systems Factorial Technology (SFT) comprises a set of powerful nonparametric models and measures, together with a theory-driven experiment methodology termed the Double Factorial Paradigm (DFP), for assessing the cognitive information processing mechanisms supporting the processing of multiple sources of information in a given task. We provide an overview of the model-based measures of SFT together with a tutorial on designing a DFP experiment to take advantage of all SFT measures in a single experiment. Illustrative examples are given to highlight the breadth of applicability of these techniques across psychology. We further introduce and demonstrate a new package for performing SFT …


Logical Linked Data Compression, Amit Krishna Joshi, Pascal Hitzler, Guozhu Dong Jan 2013

Logical Linked Data Compression, Amit Krishna Joshi, Pascal Hitzler, Guozhu Dong

Computer Science and Engineering Faculty Publications

Linked data has experienced accelerated growth in recent years. With the continuing proliferation of structured data, demand for RDF compression is becoming increasingly important. In this study, we introduce a novel lossless compression technique for RDF datasets, called Rule Based Compression (RB Compression) that compresses datasets by generating a set of new logical rules from the dataset and removing triples that can be inferred from these rules. Unlike other compression techniques, our approach not only takes advantage of syntactic verbosity and data redundancy but also utilizes semantic associations present in the RDF graph. Depending on the nature of the dataset, …


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.