/Usr/Sbin/Clksync - Leo Nano-Statellite Clock Synchronization Software,
2013
California Polytechnic State University - San Luis Obispo
/Usr/Sbin/Clksync - Leo Nano-Statellite Clock Synchronization Software, Matt Zimmerer
Computer Engineering
A CalPoly Student Based Organization called Polysat takes mission contracts regarding the development and production of nano-satellites designed to fulfill specific mission requirements. Nano-satellites themselves are very complex and dense electronic devices. Polysat Satellites have recently switched to a new version of the main system board. This system board hosts an ARM AT91SAM92G0 processor, and enough hardware to comfortably run an embedded version of the Linux kernel. Each mission requires specific configuration for the system image, and specialized software. I've spent much of the last two years developing software, and recently debugging both my software, and the software system as …
Sifteo Spice,
2013
California Polytechnic State University - San Luis Obispo
Sifteo Spice, Ikenga Kenneth Ugo
Computer Engineering
Sifteo SPICE is an application built on the Sifteo platform with the purpose of aiding in the learning of basic circuits. Traditionally, circuit theory is taught to students in two different methods, lectures and laboratory exercises. Lectures focus on auditory and visual learning and are largely passive learning. Lab experiments allow students to physically interact with the circuits, and learn visually through viewing output waveforms from simulators or on measurement devices.[3] The goal of the Sifteo SPICE project is to develop a physical system for virtual, real-time SPICE simulation that mimics the laboratory experience. In Sifteo SPICE, each individual Sifteo …
Bluelock: A Secure Bluetooth Operated Padlock,
2013
California Polytechnic State University - San Luis Obispo
Bluelock: A Secure Bluetooth Operated Padlock, Trever Mckee
Computer Engineering
For this project a secure, battery operated, Bluetooth operated padlock was created. The project included both the hardware to integrate with a padlock and an Android application used to interface with the hardware. In order to make the padlock secure both AES encryption and challenge response authentication were used for secure message passing between the device and the Android phone. The project also included power consumption and sustainability tuning including exploring Arduino sleep states and integrating the project with a solar charging unit.
Small Bear Project Shield,
2013
California Polytechnic State University - San Luis Obispo
Small Bear Project Shield, Janice A. Gelacio
Computer Engineering
The Small Bear Project Shield is an upgrade of the Power Control Board used in the Small Bear Project class, which utilizes the printed circuit board technology for a smaller structure. It has a connector that receives a 9V power through a wall wart, converted to 5V with a voltage regulator. It also has a connector to plug in a computer power supply. The power source is selected with a switch. The assembled board is used to power a stuffed animal bear that is built and programmed in the class.
Real Time Visibility Culling With Hardware Occlusion Queries And Uniform Grids,
2013
California Polytechnic State University, San Luis Obispo
Real Time Visibility Culling With Hardware Occlusion Queries And Uniform Grids, Ilya Iseletsk Seletsky
Master's Theses
Culling out non-visible portions of 3D scenes is important for rendering large complex worlds at an interactive frame rate. Past 3D engines used static prebaked visibility data which was generated using complex algorithms. Hardware Occlusion Queries are a modern feature that allows engines to determine if objects are invisible on the fly. This allows for fully dynamic destructible and editable environments as opposed to static prebaked environments of the past. This paper presents an algorithm that uses Hardware Occlusion Queries to cull fully dynamic scenes in real-time. This algorithm is relatively simple in comparison to other real-time occlusion culling techniques, …
Practical Irrigation Scheduling Program,
2013
California Polytechnic State University, San Luis Obispo
Practical Irrigation Scheduling Program, Dominic Sween
BioResource and Agricultural Engineering
This senior project discusses the design, construction, and evaluation of an irrigation scheduling program that aids users in alfalfa irrigation management, with the potential for application with other crops. The program uses a very accurate irrigation prediction model that forecasts what the estimated irrigation need of each week will be, as well as the number of irrigations needed to satisfy the requirement. The model was found to predict the sum of the actual required weekly irrigation amount within less than 1% of the true value. The program was based off the single crop coefficient approach that was outlined previously by …
Buddy: A Breathalyzer For Iphone,
2013
California Polytechnic State University - San Luis Obispo
Buddy: A Breathalyzer For Iphone, Douglas Blaalid, Brandon Bevans
Electrical Engineering
Buddy is a Breathalyzer for the iPhone designed to be more a product than a project. Through proprietary hardware and a custom iOS application, Buddy provides users with a previously untapped link from the alcohol in their body to the display on their phones. Buddy uses an alcohol sensor connected to an Arduino Uno to accurately detect the BAC of the user’s breath. The BAC is then transmitted to an iPhone via the headphone jack where it is displayed and logged in a captivating app. The finished prototype successfully measured the approximate BAC of intoxicated users. The product website has …
Nbconvert Refactor,
2013
California Polytechnic State University - San Luis Obispo
Nbconvert Refactor, Jonathan Frederic
Physics
IPython is an interactive Python computing environment. It provides an enhanced interactive Python shell. The IPython Notebook is a browser based interface distributed with IPython. It enables the creation of richly formatted notebooks that contain embedded IPython code. With nbconvert, notebooks can be exported to various formats including, but not limited to, LaTeX, reveal.js, RST, and HTML. This is important for users that want to be able to share their work outside of IPython. This senior project is the addition of a Sphinx LaTeX output format and the refactor of nbconvert.
Paris: A Parallel Rsa-Prime Inspection Tool,
2013
California Polytechnic State University, San Luis Obispo
Paris: A Parallel Rsa-Prime Inspection Tool, Joseph R. White
Master's Theses
Modern-day computer security relies heavily on cryptography as a means to protect the data that we have become increasingly reliant on. As the Internet becomes more ubiquitous, methods of security must be better than ever. Validation tools can be leveraged to help increase our confidence and accountability for methods we employ to secure our systems.
Security validation, however, can be difficult and time-consuming. As our computational ability increases, calculations that were once considered “hard” due to length of computation, can now be done in minutes. We are constantly increasing the size of our keys and attempting to make computations harder …
A Knowledge-Based Clinical Toxicology Consultant For Diagnosing Multiple Exposures,
2013
Embry-Riddle Aeronautical University
A Knowledge-Based Clinical Toxicology Consultant For Diagnosing Multiple Exposures, Joel D. Schipper, Douglas D. Dankel Ii, A. Antonio Arroyo, Jay L. Schauben
Publications
Objective: This paper presents continued research toward the development of a knowledge-based system for the diagnosis of human toxic exposures. In particular, this research focuses on the challenging task of diagnosing exposures to multiple toxins. Although only 10% of toxic exposures in the United States involve multiple toxins, multiple exposures account for more than half of all toxin-related fatalities. Using simple medical mathematics, we seek to produce a practical decision support system capable of supplying useful information to aid in the diagnosis of complex cases involving multiple unknown substances.
Methods: The system is automatically trained using data mining …
Gesture Based Home Automation For The Physically Disabled,
2013
University of Arkansas, Fayetteville
Gesture Based Home Automation For The Physically Disabled, Alexander Hugh Nelson
Graduate Theses and Dissertations
Paralysis and motor-impairments can greatly reduce the autonomy and quality of life of a patient while presenting a major recurring cost in home-healthcare. Augmented with a non-invasive wearable sensor system and home-automation equipment, the patient can regain a level of autonomy at a fraction of the cost of home nurses. A system which utilizes sensor fusion, low-power digital components, and smartphone cellular capabilities can extend the usefulness of such a system to allow greater adaptivity for patients with various needs. This thesis develops such a system as a Bluetooth enabled glove device which communicates with a remote web server to …
Categorization Of Security Design Patterns,
2013
East Tennessee State University
Categorization Of Security Design Patterns, Jeremiah Y. Dangler
Electronic Theses and Dissertations
Strategies for software development often slight security-related considerations, due to the difficulty of developing realizable requirements, identifying and applying appropriate techniques, and teaching secure design. This work describes a three-part strategy for addressing these concerns. Part 1 provides detailed questions, derived from a two-level characterization of system security based on work by Chung et. al., to elicit precise requirements. Part 2 uses a novel framework for relating this characterization to previously published strategies, or patterns, for secure software development. Included case studies suggest the framework's effectiveness, involving the application of three patterns for secure design (Limited View, Role-Based Access Control, …
Examining Application Components To Reveal Android Malware,
2013
Air Force Institute of Technology
Examining Application Components To Reveal Android Malware, John B. Guptill
Theses and Dissertations
Smartphones are becoming ubiquitous in everyday life and malware is exploiting these devices. Therefore, a means to identify the threats of malicious applications is necessary. This paper presents a method to classify and analyze Android malware through application component analysis. The experiment parses select portions from Android packages to collect features using byte sequences and permissions of the application. Multiple machine learning algorithms classify the samples of malware based on these features. The experiment utilizes instance based learner, naive Bayes, decision trees, sequential minimal optimization, boosted naive Bayes, and boosted decision trees to identify the best components that reveal malware …
Mickey's Memory Game: A Children's Memory Game Designed For Sifteo Cubes,
2013
California Polytechnic State University - San Luis Obispo
Mickey's Memory Game: A Children's Memory Game Designed For Sifteo Cubes, Anjelica Concepcion
Computer Engineering
Mickey’s Memory Game is a children’s memory game developed on the Sifteo platform. Sifteo cubes are small, interactive devices, which can display colored images and sense neighboring cubes or detect user actions, such as clicking, shaking, or tilting the cubes. Although many classic video games or mobile games can be recreated on the Sifteo cubes, the goal of this project was to utilize capabilities that are unique to the Sifteo gaming platform, while also creating a useful game for child development.
Geospatial Virtual Heritage: A Gesture-Based 3d Gis To Engage The Public With Ancient Maya Archaeology,
2013
University of Nebraska-Lincoln
Geospatial Virtual Heritage: A Gesture-Based 3d Gis To Engage The Public With Ancient Maya Archaeology, Heather Richards-Rissetto, Jim Robertsson, Jennifer Von Schwerin, Giorgio Agugario, Fabio Remondino, Gabrio Girardi
Department of Anthropology: Faculty Publications
This paper presents our research to develop a gesture-based 3D GIS system to engage the public in cultural heritage. It compares two types of interaction—device-based vs. natural interaction— and summarizes the beta-testing results of a 3D GIS tool for archaeology, called QueryArch3D, in which participants used device-based interaction (i.e. mouse and keyboard). It follows with a description of the gesture-based system—that we developed in response to these beta-tests. The system uses QueryArch3D and Microsoft’s Kinect to enable people use body movements (in lieu of keyboard or mouse) to navigate a virtual reality landscape, query 3D objects, and call up photos, …
Relation Lifting, With An Application To The Many-Valued Cover Modality,
2013
Academy of Sciences of the Czech Republic
Relation Lifting, With An Application To The Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jirí Velebil
Engineering Faculty Articles and Research
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations are generalisations of the “classical” results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks.
The results presented in this paper …
Nominal Coalgebraic Data Types With Applications To Lambda Calculus,
2013
Chapman University
Nominal Coalgebraic Data Types With Applications To Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan De Vries
Engineering Faculty Articles and Research
We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.
Nominal Computation Theory (Dagstuhl Seminar 13422),
2013
University of Warsaw
Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 13422 “Nominal Computation Theory”. The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.
Automatic Performance Level Assessment In Minimally Invasive Surgery Using Coordinated Sensors And Composite Metrics,
2013
University of Kentucky
Automatic Performance Level Assessment In Minimally Invasive Surgery Using Coordinated Sensors And Composite Metrics, Sami Taha Abu Snaineh
Theses and Dissertations--Computer Science
Skills assessment in Minimally Invasive Surgery (MIS) has been a challenge for training centers for a long time. The emerging maturity of camera-based systems has the potential to transform problems into solutions in many different areas, including MIS. The current evaluation techniques for assessing the performance of surgeons and trainees are direct observation, global assessments, and checklists. These techniques are mostly subjective and can, therefore, involve a margin of bias.
The current automated approaches are all implemented using mechanical or electromagnetic sensors, which suffer limitations and influence the surgeon’s motion. Thus, evaluating the skills of the MIS surgeons and trainees …
A Window Of Opportunity: Assessing Behavioural Scoring,
2013
Technological University Dublin
A Window Of Opportunity: Assessing Behavioural Scoring, Kenneth Kennedy, Brian Mac Namee, Sarah Jane Delany, Michael O'Sullivan, Neil Watson
Articles
After credit has been granted, lenders use behavioural scoring to assess the likelihood of default occurring during some specific outcome period. This assessment is based on customers’ repayment performance over a given fixed period. Often the outcome period and fixed performance period are arbitrarily selected, causing instability in making predictions. Behavioural scoring has failed to receive the same attention from researchers as application scoring. The bias for application scoring research can be attributed, in part, to the large volume of data required for behavioural scoring studies. Furthermore, the commercial sensitivities associated with such a large pool of customer data often …
