Computer Sciences Commons^™

Enhancing Ocean Research Data Access, Cyndy Chandler, Robert Groman, Adam Shepherd, Molly Allison, Robert Arko, Yu Chen, Peter Fox, David Glover, Pascal Hitzler, Adam Leadbetter, Thomas Narock, Patrick West, Peter Wiebe

Computer Science and Engineering Faculty Publications

No abstract provided.

Achieving Numerical Reproducibility In The Parallelized Floating Point Dot Product, Alyssa Anderson

Honors Theses, 1963-2015

The world depends on computers every day to do accurate real-world mathematics. Computers must store real numbers in a finite representation that approximates real numbers, called floating point representation. However, simply by changing the order in which we add a list of floating point numbers can provide a different result that may even be less accurate than another ordering. This is because floating point addition is not associative. That is, (a + b) + c is not necessarily equal to a + (b + c). Parallel computing techniques introduce the ability to reorder computations, thus producing a difference in results …

Towards A Set Of Metrics To Guide The Generation Of Fake Computer File Systems, Ben Whitham

Australian Digital Forensics Conference

Fake file systems are used in the field of cyber deception to bait intruders and fool forensic investigators. File system researchers also frequently generate their own synthetic document repositories, due to data privacy and copyright concerns associated with experimenting on real-world corpora. For both these fields, realism is critical. Unfortunately, after creating a set of files and folders, there are no current testing standards that can be applied to validate their authenticity, or conversely, reliably automate their detection. This paper reviews the previous 30 years of file system surveys on real world corpora, to identify a set of discrete measures …

03. Biology, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

13. Mathematics, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

16. Physics, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

Interactive Visualization Of Grt And Biohts Data, Sara Gharabaghi, Thomas Wischgoll, Rhonda J. Vickery, Ross Smith, Leslie M. Blaha, Thomas Lamkin, Steven Kawamoto, Robert Trevino, Eric Bardes, Scott Tabar

Computer Science and Engineering Faculty Publications

The scope of this project is to provide better tools for statistical and informational visual analysis for High Throughput Screening of Biological Infectious Agents (BioHTS), General Recognition Theory (GRT) modeling, and areas where pipelines of unstructured datasets of all types must be analyzed. A parallel coordinates plot is one of the more effective visualization methods for visualizing multi variant data.

Engineering Collaborations In Medical Modeling And Simulation, Frederic D. Mckenzie, Salim Chemlal, Tom Hubbard, Robert E. Kelly, Roderick C. Borgie, David A. Besachio, Michel Audette

Computational Modeling & Simulation Engineering Faculty Publications

Fifty years ago computer science was just beginning to see common acceptance as a growing discipline and very few universities had a computer science department although other departments were utilizing computers and software to enhance their methodologies. We believe modeling and simulation (M&S) is on a similar path. Many other disciplines utilize M&S to enhance their methodologies but we also believe that M&S fundamentals can be essential in making better decisions by utilizing the appropriate model for the problem at hand, expanding the solution space through simulation, and understanding it through visualization and proper analyses. After our students learn these …

12th Australian Digital Forensics Conference, 2014, Edith Cowan University: Conference Details, Security Research Institute, Edith Cowan University

Australian Digital Forensics Conference

No abstract provided.

An Experimental Study On The Heat Enhancement And The Bio-Heat Transfer Using Gold Macro Road And Ultrasound: A Potential Alternative To Kill Cancer Cells, C. Austerlitz, Ioannis Gkigkitzis, Ioannis Haranas, Diana Campos

Physics and Computer Science Faculty Publications

We have previously proposed a method of treating solid tumors with a combination of gold macro-rods irradiated with ultrasound. Macro particle sized rods offer a greater circumferential treatment area over nanoparticle options. Experimental studies were conducted to investigate the heat enhancement and the bio-heat transfer to breast chicken using gold macro rod and ultrasound. An ultrasound, other than a focused ultrasound, may produce heat enough to cook a chicken breast up to about 1 cm diameter if a single gold rod is placed on the superficial tissue. Simulations and experimental results will provide the means to evaluate the treatment, to …

A Forensic Overview Of The Lg Smart Tv, Iain Sutherland, Konstantino Xynos, Huw Read, Andy Jones, Tom Drange

Australian Digital Forensics Conference

The emerging Smart TV platform will likely replace traditional television sets over time as the entertainment and communication centrepiece in people’s homes. Given its expanded functionality and now, its online presence, there is a need to identify how they may become part of forensic investigations. The purpose of this paper is to introduce the area of Smart TVs and the potential forensic value these systems present in combination with their ever advancing functionality and capabilities. We provide an overview of Smart TV systems highlighting functionality and potential issues. We also take an initial look at two particular models, from the …

Forensic Examination And Analysis Of The Prefetch Files On The Banking Trojan Malware Incidents, Andri P. Heriyanto

Australian Digital Forensics Conference

Whenever a program runs within the operating system, there will be data or artefacts created on the system. This condition applies to the malicious software (malware). Although they intend to obscure their presence on the system with anti-forensic techniques, still they have to run on the victim’s system to acquire their objective. Modern malware creates a significant challenge to the digital forensic community since they are being designed to leave limited traces and misdirect the examiner. Therefore, every examiner should consider performing all the forensics approaches such as memory forensic, live-response and Windows file analysis in the related malware incidents …

02. Animal Science, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

07. Criminal Justice, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

11. Genetics, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

18. Statistics, University Of Central Oklahoma

Oklahoma Research Day Abstracts

No abstract provided.

How To Fully Represent Expert Information About Imprecise Properties In A Computer System -- Random Sets, Fuzzy Sets, And Beyond: An Overview, Hung T. Nguyen, Vladik Kreinovich

Departmental Technical Reports (CS)

To help computers make better decisions, it is desirable to describe all our knowledge in computer-understandable terms. This is easy for knowledge described in terms on numerical values: we simply store the corresponding numbers in the computer. This is also easy for knowledge about precise (well-defined) properties which are either true or false for each object: we simply store the corresponding "true" and "false" values in the computer. The challenge is how to store information about imprecise properties. In this paper, we overview different ways to fully store the expert information about imprecise properties. We show that in the simplest …

A Feasible Algorithm For Checking N-Scissors Congruence Of Polyhedra In Rd, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

While in R², every two polygons of the same area are scissors congruent (i.e., they can be both decomposed into the same finite number of pair-wise congruent polygonal pieces), in R³, there are polyhedra P and P' of the same volume which are not scissors-congruent. It is therefore necessary, given two polyhedra, to check whether they are scissors-congruent (and if yes -- to find the corresponding decompositions). It is known that while there are algorithms for performing this checking-and-finding task, no such algorithm can be feasible -- their worst-case computation time grows (at least) exponentially, so …

Why Injecting Fine Dust Into A Tornado Is More Promising Than Injecting Coarse Dust: A Geometric Explanation, Octavio Lerma, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the promising ways to tame a tornado is to inject dust into it. Somewhat counter-intuitively, injecting coarse dust only makes the tornado stronger, while injecting fine dust can indeed help in the taming. This difference has been explained by a mathematical analysis of the corresponding equations, but (in contrast to the usual physics practice) this mathematical analysis has not yet been accompanied by a simple qualitative physical explanation. We show that such a simple explanation can be obtained if we analyze the problem of taming tornados from the geometric viewpoint.

An Empirical Comparison Of Reuse In Embedded And Nonembedded Systems, Julia F. Varnell-Sarjeant

Electronic Theses and Dissertations

High-quality software, delivered on time and budget, constitutes a critical part of most products and services in modern society. Our government has invested billions of dollars to develop software assets, often to redevelop the same capability many times. Recognizing the waste involved in redeveloping these assets, in 1992 the Department of Defense issued the Software Reuse Initiative.

The vision of the Software Reuse Initiative was "To drive the DoD software community from its current "re-invent the software" cycle to a process-driven, domain-specific, architecture-centric, library-based way of constructing software.'' Twenty years after issuing this initiative, there is evidence of this vision …

Chapter 20 The Hybrid Course: Facilitating Learning Through Social Interaction Technologies, Lorraine D. Jackson, Joe Grimes

Computer Science and Software Engineering

This chapter surveys the benefits and challenges of hybrid courses, which blend face-to-face instruction with online learning, and opportunities provided by the introduction of Web-based social interaction technologies. It discusses the pedagogical implications of various Web 2.0 tools: that is, asynchronous discussion boards, blogs, wikis, podcasts, RSS, e-portfolios, folksonomies, educational gaming, data mashups, and simulations. The authors argue that as hybrid courses continue to evolve to meet the needs of students, instructors, and institutions of higher learning, the integration of Web 2.0 applications in a hybrid model requires thoughtful course design, clear educational objectives, and carefully planned activities.

Chapter 1 Engineering Justice, Joe Grimes, Mark Grimes

Computer Science and Software Engineering

No abstract provided.

Chapter 13 Access Within The Classroom Through Universal Design For Learning And Key Learning Elements, Joe Grimes, Mark Grimes

Computer Science and Software Engineering

No abstract provided.

Semantic Entry Pairing For Improved Data Validation And Discovery, Adam Shepherd, Cyndy Chandler, Robert Arko, Yanning Chen, Adila Krisnadhi, Pascal Hitzler, Thomas Narock, Robert Groman, Shannon Rauch

Computer Science and Engineering Faculty Publications

No abstract provided.

Tr-2014001: Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak

Computer Science Technical Reports

No abstract provided.

Tr-2014002: Proof Complexity And Quantitative Epistemology, Natalia Novak

Computer Science Technical Reports

No abstract provided.

Tr-2014006: New Algorithms In The Frobenius Matrix Algebra For Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng

Computer Science Technical Reports

No abstract provided.

Tr-2014008: Supporting Genp And Low-Rank Approximation With Random Multipliers, Victor Y. Pan, Guoliang Qian, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Tr-2014007: Real Polynomial Root-Finding By Means Of Matrix And Polynomial Iterations, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Tr-2014010: Intuitionistic Epistemic Logic, Sergei Artemov, Tudor Protopopescu

Computer Science Technical Reports

No abstract provided.