Computer Sciences Commons^™

Chillisource Game Engine Particle System Study, Angela Gross

Graduate Student Theses, Dissertations, & Professional Papers

The majority of modern game engines utilize intricate objects called particle systems which are a collection of many particles that together represent an object without well-defined surfaces. This thesis discusses the results of studying and stressing particle systems within ChilliSource, an open-source game engine written in C++, with the goal of understanding a complex system and exploring possible optimizations that could be made to it. The studies performed were driven by metrics generated with custom profiling classes that kept track of things like the number of particles rendered, how long the engine spent rendering particles, or even how long a …

Hydraulic Conductivity As A Proxy For Drainage System Connectivity In A Subglacial Hydrology Model, Jacob Z. Downs

Graduate Student Theses, Dissertations, & Professional Papers

The link between subglacial hydrology and basal sliding has prompted work on basal hydrology models with water pressure and storage as prognostic variables. We find that a commonly used model of distributed drainage through linked cavities underpredicts winter water pressure when compared to borehole observations from Issunguata Sermia in Western Central Greenland. Possible causes for this discrepancy including unrealistic model inputs or unconstrained parameters are investigated through a series of modeling experiments on both synthetic and realistic ice sheet geometries. We find that conductivity acts as a proxy for the connectivity of the linked cavity system and should therefore change …

Simulation Of Nuclear Fusion Using A One Dimensional Particle In Cell Method, Steven T. Margell

Cal Poly Humboldt theses and projects

In this thesis several novel techniques are developed to simulate fusion events in an isotropic, electrostatic three-dimensional Deuterium-Tritium plasma. These techniques allow us to accurately predict three-dimensional collision events with a one-dimensional model while simultaneously reducing compute time via a nearest neighbor algorithm. Furthermore, a fusion model based on first principles is developed that yields an average fusion reactivity which correlates well with empirical results.

Moocs And The Online Delivery Of Business Education: What's New? What's Not? What Now?, Jonathan W. Whitaker, J. Randolph New, R. Duane Ireland

Management Faculty Publications

Although the past 2 decades have produced much promise (and accompanying research) on the use of information technology (IT) in business school courses, it is not entirely clear whether IT has truly "transformed" management education. There are compelling arguments on both sides. On one hand, advocates for the transformative role of IT can point to several success stories. On the other hand, skeptics of the role of IT in management education can also point to support for their view. This lack of consensus has led researchers in Academy of Management Learning & Education to call for scholars to confront the …

Geometric Deformations Of Sodalite Frameworks, Ciprian Borcea, Ileana Streinu

Computer Science: Faculty Publications

In mathematical crystallography and computational materials science, it is important to infer flexibility properties of framework materials from their geometric representation. We study combinatorial, geometric and kinematic properties for frameworks modeled on sodalite.

Using Genetic Algorithms To Evolve Artificial Neural Networks, William T. Kearney

Honors Theses

This paper demonstrates that neuroevolution is an effective method to determine an optimal neural network topology. I provide an overview of the NeuroEvolution of Augmenting Topologies (NEAT) algorithm, and describe how unique characteristics of this algorithm solve various problem inherent to neuroevolution (namely the competing conventions problem and the challenges associated with protecting topological innovation). Parallelization is shown to greatly speed up efficiency, further reinforcing neuroevolution as a potential alternative to traditional backpropagation. I also demonstrate that appropriate parameter selection is critical in order to efficiently converge to an optimal topology. Lastly, I produce an example solution to a medical …

Using Graphic Methods To Challenge Cryptographic Performance, Brian Cusack, Erin Chapman

Australian Information Security Management Conference

Block and stream ciphers have formed the traditional basis for the standardisation of commercial ciphers in the DES, AES, RC4, and so on. More recently alternative graphic methods such as Elliptic Curve Cryptography (ECC) have been adopted for performance gains. In this research we reviewed a range of graphic and non-graphic methods and then designed our own cipher system based on several graphic methods, including Visual Cryptography (VC). We then tested our cipher against RC4 and the AES algorithms for performance and security. The results showed that a graphics based construct may deliver comparable or improved security and performance in …

Accelerating Ntruencrypt For In-Browser Cryptography Utilising Graphical Processing Units And Webgl, Dajne Win, Seth Hall, Alastair Nisbet

Australian Information Security Management Conference

One of the challenges encryption faces is it is computationally intensive and therefore slow, it is vital to find faster methods to accelerate modern encryption algorithms to keep performance high whilst also preserving information security. Users often do not want to wait for applications to become responsive, applications on limited devices such as mobiles often compromise security in order to keep execution times quick. Often they use algorithms and key sizes which are not considered cryptographically secure in order to maintain a smooth user experience. Emerging approaches have begun using a devices Graphics Processing Unit (GPU) to offload some of …

A Survey Of Social Media Users Privacy Settings & Information Disclosure, Mashael Aljohani, Alastair Nisbet, Kelly Blincoe

Australian Information Security Management Conference

This research utilises a comprehensive survey to ascertain the level of social networking site personal information disclosure by members at the time of joining the membership and their subsequent postings to the sites. Areas examined are the type of information they reveal, their level of knowledge and awareness regarding how their information is protected by SNSs and the awareness of risks that over-sharing may pose. Additionally, this research studies the effect of gender, age, education, and level of privacy concern on the amount and kind of personal information disclosure and privacy settings applied. A social experiment was then run for …

An Investigation Of Potential Wireless Security Issues In Traffic Lights, Brian Bettany, Michael N. Johnstone, Matthew Peacock

Australian Information Security Management Conference

The purpose of automated traffic light systems is to safely and effectively manage the flow of vehicles through (usually) urban environments. Through the use of wireless-based communication protocols, sets of traffic lights are increasingly being connected to larger systems and also being remotely accessed for management purposes, both for monitoring and emergency purposes. These protocols, however, were not designed with security as a primary requirement, thus systems may operate with sub-standard or non-existent security implementations. This research aims to test if the same issues and vulnerabilities that appear to be present in traffic light systems in the USA are prevalent …

The Preferences For Creativity Scale (Pcs): Identifying The Underlying Constructs Of Creative Concept Selection, Christine A. Toh, Scarlett Miller

Interdisciplinary Informatics Faculty Publications

The current study was developed to investigate the factors that affect preferences for creativity during the engineering design process through the development of a psychometric scale, the Preferences for Creativity Scale (PCS). This study also explores the impact of student designer's scores on the PCS to their behavior during a creative concept selection activity.

Hpc Enabled Data Analytics For High-Throughput High-Content Cellular Analysis, Ross A. Smith, Rhonda J. Vickery, Jack Harris, Sara Gharabaghi, Thomas Wischgoll, David Short, Robert Trevino, Steven A. Kawamoto, Thomas J. Lamkin, Kevin Schoen, Eric E. Bardes, Scott C. Tabar, Bruce J. Aronow

Computer Science and Engineering Faculty Publications

Biologists doing high-throughput high-content cellular analysis are generally not computer scientists or high performance computing (HPC) experts, and they want their workflow to support their science without having to be. We describe a new HPC enabled data analytics workflow with a web interface, HPC pipeline for analysis, and both traditional and new analytics tools to help them transition from a single workstation mode of operation to power HPC users. This allows the processing of multiple plates over a short period of time to ensure timely query and analysis to match potential countermeasures to individual responses.

An Efficient Hybrid Eye Detection Method, Mingxin Yu, Yingzi Lin, Xiangzhou Wang

Turkish Journal of Electrical Engineering and Computer Sciences

Eye detection is the most important and critical task of diverse applications such as face detection and recognition. However, most eye detection methods do not fully consider detection robustness to people with glasses, illumination variation, head pose change, and eye occlusions. This paper proposes an efficient hybrid eye detection method based on a gray intensity variance filter (VF) and support vector machines (SVMs). Firstly, the VF is used for eliminating most of noneye region images to keep less candidate eye regions. Then accurate two eye regions are determined easily through the trained SVM classifier. Moreover, this paper provides an assessment …

Product Authentication Using Hash Chains And Printed Qr Codes, Harshith R. Keni

Electronic Theses and Dissertations

This thesis explores the usage of simple printed tags for authenticating products. Printed tags are a cheap alternative to RFID and other tag based systems and do not require specialized equipment. Due to the simplistic nature of such printed codes, many security issues like tag impersonation, server impersonation, reader impersonation, replay attacks and denial of service present in RFID based solutions need to be handled differently. An algorithm that utilizes hash chains to secure such simple tags while still keeping cost low is discussed. The security characteristics of this scheme as well as other product authentication schemes that use RFID …

Experiments In Idiom Recognition, Jing Peng, Anna Feldman

Department of Computer Science Faculty Scholarship and Creative Works

Some expressions can be ambiguous between idiomatic and literal interpretations depending on the context they occur in, e.g., sales hit the roof vs. hit the roof of the car. We present a novel method of classifying whether a given instance is literal or idiomatic, focusing on verb-noun constructions. We report state-of-the-art results on this task using an approach based on the hypothesis that the distributions of the contexts of the idiomatic phrases will be different from the contexts of the literal usages. We measure contexts by using projections of the words into vector space. For comparison, we implement Fazly et …

Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …

Revisiting The Futamura Projections: A Diagrammatic Approach, Brandon Williams, Saverio Perugini

Computer Science Faculty Publications

The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.

Tango: A Spanish-Based Programming Language, Ashley Zegiestowsky

Undergraduate Honors Thesis Collection

The purpose of this thesis is a two-part project. The first part of the project deals with the creation of my own Spanish-based programming language, Tango, using Spanish key words (instead of English key words). The second part of the project relates to the design and implementation of a compiler that follows the grammar rules outlined in the Tango language in order to successfully lexically analyze, parse, semantically analyze, and generate code for Tango. The structure of this thesis begins with a description of the specific goals achieved in the Tango language, an explanation and brief examples of the Tango …

Big Data Management Using Scientific Workflows, Andrii Kashliev

Wayne State University Dissertations

Humanity is rapidly approaching a new era, where every sphere of activity will be informed by the ever-increasing amount of data. Making use of big data has the potential to improve numerous avenues of human activity, including scientific research, healthcare, energy, education, transportation, environmental science, and urban planning, just to name a few. However, making such progress requires managing terabytes and even petabytes of data, generated by billions of devices, products, and events, often in real time, in different protocols, formats and types. The volume, velocity, and variety of big data, known as the "3 Vs", present formidable challenges, unmet …

Metrics Dashboard Services: A Framework For Analyzing Free/Open Source Team Repositories, Fnu Shilpika

Master's Theses

Software engineering as practiced today (especially in the industry) is no longer about the stereotypical monolithic life cycle processes (e.g. waterfall, spiral, etc.) found in most software engineering textbooks. These heavyweight methods historically have impeded progress for small/medium sized development teams owing to their inherent complexity and rather limited data collection strategies that predominated the 1980s until relatively recently in the mid-2000s. The discipline and practice of software engineering includes software quality, which has an established theoretical foundation for doing software metrics. Software metrics are a critical tool which provide continuous insight to products and processes and help build reliable …

Activity Recognition For Incomplete Spinal Cord Injury Subjects Using Hidden Markov Models, Pichleap Sok

Master's Theses

Successful activity recognition in patients with motor disabilities can improve patient care by providing researchers and clinicians with valuable information on patient movements and quality of life in real-world settings. Understanding the everyday activities of patients is important for rehabilitation. For researchers, having convenient, objective, and continuous data can drastically improve outcome measures to better compare therapies, and ultimately make recommendations. For clinicians, individual assessment of compliance and outcomes outside the clinic can be more objective, permitting much more tailored recommendations to patients. Most importantly, for individual patients, activity recognition can make this improved health care possible by simply having …

Deep Level Lexical Features For Cross-Lingual Authorship Attribution, Marisa Llorens, Sarah Jane Delany

Conference papers

Crosslingual document classification aims to classify documents written in different languages that share a common genre, topic or author. Knowledge-based methods and others based on machine translation deliver state-of-the-art classification accuracy, however because of their reliance on external resources, poorly resourced languages present a challenge for these type of methods. In this paper, we propose a novel set of language independent features that capture language use from a document at a deep level, using features that are intrinsic to the document. These features are based on vocabulary richness measurements and are text length independent and self-contained, meaning that no external …

Visible Type Application, Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed

Computer Science Faculty Research and Scholarship

The Hindley-Milner HM type system automatically infers the types at which polymorphic functions are used. In HM, the inferred types are unambiguous, and every expression has a principal type. Type annotations make HM compatible with extensions where complete type inference is impossible, such as higher-rank polymorphism and type-level functions. However, programmers cannot use annotations to explicitly provide type arguments to polymorphic functions, as HM requires type instantiations to be inferred.

We describe an extension to HM that allows visible type application. Our extension requires a novel type inference algorithm, yet its declarative presentation is a simple extension to HM. We …

Safe Zero-Cost Coercions For Haskell, Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich

Computer Science Faculty Research and Scholarship

Generative type abstractions – present in Haskell, OCaml, and other languages – are useful concepts to help prevent programmer errors. They serve to create new types that are distinct at compile time but share a run-time representation with some base type. We present a new mechanism that allows for zero-cost conversions between generative type abstractions and their representations, even when such types are deeply nested. We prove type safety in the presence of these conversions and have implemented our work in GHC.

Dependent Types In Haskell: Theory And Practice, Richard A. Eisenberg

Computer Science Faculty Research and Scholarship

Haskell, as implemented in the Glasgow Haskell Compiler (GHC), has been adding new type-level programming features for some time. Many of these features—generalized algebraic datatypes (GADTs), type families, kind polymorphism, and promoted datatypes—have brought Haskell to the doorstep of dependent types. Many dependently typed programs can even currently be encoded, but often the constructions are painful.

In this dissertation, I describe Dependent Haskell, which supports full dependent types via a backward-compatible extension to today’s Haskell. An important contribution of this work is an implementation, in GHC, of a portion of Dependent Haskell, with the rest to follow. The features I …

Towards Reusable Personas For Everyday Design, Ciaran O'Leary, Fredrick Mtenzi, Claire Mcavinia

Papers, presentations and other resources

Personas are artificial character based representations of user goals, attitudes, motivations and abilities which enable designers to focus their design efforts on key, targeted users. The success of personas in design is due to their capacity to enable designers to empathize with users and understand user goals. Persona development is rooted in the rigorous collection and analysis of data specifically related to the design project being undertaken. New design projects thus require the development of new personas. Since redevelopment is not always achievable attention has turned towards reuse of personas and the underlying data. This paper reports on ongoing research …

An Implantable Microstrip Antenna Design For Mics-Band Biomedical Applications, Adnan Sondaş, Mustafa Hi̇kmet Bi̇lgehan Uçar

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, an implantable microstrip antenna design is introduced to cover the Medical Implant Communications Service (MICS, 402$-$405 MHz) band for biomedical telemetry systems. The radiating layer of the antenna comprises two concentric square split-ring elements and a metallic pad placed between them. A shorting pin is also used for miniaturization purposes, directly connecting the outer ring element to the ground plane. It is numerically demonstrated that the proposed antenna offers approximately 7{\%} impedance bandwidth and gains of 1.9 dBi at the designated frequency band. In addition, effects of some critical design parameters on the antenna performance are numerically …

Fetal Electrocardiogram Estimation Using Polynomial Eigenvalue Decomposition, Soydan Redif

Turkish Journal of Electrical Engineering and Computer Sciences

decomposition (PEVD) to the problem of fetal electrocardiogram (ECG) extraction from real ECG recordings obtained from abdominal leads. We model the fetal ECG extraction problem as a broadband sensor array signal processing problem in order to account for the broadband nature of the ECG noise present in the recordings. An algorithm for providing an approximate PEVD is used in order to estimate the broadband noise subspace. Suppression of the broadband noise and maternal ECG is achieved by carrying out an orthonormal projection of the recordings onto the estimated fetal subspace. The proposed scheme was evaluated with multichannel synthetic ECG signals …

Heart Sound Signal Classification Using Fast Independent Component Analysis, Yücel Koçyi̇ği̇t

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.

Modeling And Simulation Of Sensorless Control Of Four-Leg Inverter Pmsm Drives In The Case Of A Single-Phase Open Circuit Fault, Kamel Saleh, Mark Sumner

Turkish Journal of Electrical Engineering and Computer Sciences

This paper introduces a new method to track the saliency of a permanent magnet synchronous motor (PMSM) motor fed by a 4-leg inverter in the case of a single-phase open circuit fault through measuring the dynamic current response of the motor line currents due to the insulated-gate bipolar transistor (IGBT) switching actions. In the case of a single-phase open circuit fault, a fault-tolerant control strategy that includes taking appropriate actions to control the 2 remaining healthy currents results in minor system performance degradation. The new strategy introduced in this paper includes software modifications only to the saliency tracking algorithm used …