Computer Sciences Commons^™

Budget Magic: The Gathering For Beginners, Todd W. Neller

Computer Science Faculty Publications

In this talk, Neller overviewed budget-friendly entry points to playing Magic: The Gathering (M:TG) after its first quarter-century of success. Noting the ways in which M:TG players have applied head-designer Mark Rosewater’s “restrictions breed creativity” lesson, he celebrated their creative formats that push back against expensive “pay to win” dynamics.

Decision Making Under General Set Uncertainty: Additivity Approach, Srialekya Edupalli, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we need to make a decision under interval or set uncertainty: e.g., we need to decide how much we are willing to pay for an option that will bring us between $10 and $40, i.e., for which the set of possible gains is the interval S = [10,40]. To make such decisions, researcher have used the idea of additivity: that if have two independent options, then the price we pay for both should be equal to the sum of the prices that we pay for each of these options. It is known that this requirement enables …

Planning For A Corpus Of Continuous Ratings Of Spoken Dialog Quality, Nigel G. Ward

Departmental Technical Reports (CS)

While many aspects of speech processing, including speech recognition and speech synthesis, have seen enormous advances over the past few years, advances in dialog have been more modest. This difference is largely attributable to the lack of resources that can support machine learning of dialog models and dialog phenomena. The research community accordingly needs a corpus of spoken dialogs with quality annotations every 100 milliseconds or so. We envisage a large and diverse collection: on the order of fifty hours of data, representing hundreds of speakers and many genres, with every instant labeled for interaction quality by one or more …

Iq2s'19 - 10th International Workshop On Information Quality And Quality Of Service For Pervasive Computing - Welcome And Committees, Sajal K. Das

Computer Science Faculty Research & Creative Works

No abstract provided.

Review Of Web Technology: Theory And Practice, By Akshi Kumar., Michael Knee

University Libraries Faculty Scholarship

This is a review of the book Web Technology: Theory and Practice, by Akshi Kumar

Is "No Trade Theorem" Really A Paradox: Analysis Based On Decision Theory, Laxman Bokati, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the challenges in foundations of finance is the so-called "no trade theorem" paradox: if an expert trader wants to sell some stock, that means that this trader believes that this stock will go down; however, the very fact that another expert trader is willing to buy it means that this other expert believes that the stock will go up. The fact that equally good experts have different beliefs should dissuade the first expert from selling -- and thus, trades should be very rare. However, in reality, trades are ubiquitous. In this paper, we show that a detailed application …

How Quantum Computing Can Help With (Continuous) Optimization, Christian Ayub, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that the use of quantum computing can reduced the time needed for a search in an unsorted array: from the original non-quantum time T to a much smaller quantum computation time T_q proportional to the square root √(T) of T. In this paper, we show that for a continuous optimization problem, with quantum computing, we can reach almost the same speed-up: namely, we can reduce the non-quantum time T to a much shorter quantum computation time √(T) * ln(T).

A Theoretical Explanation For The Efficiency Of Generalized Harmonic Wavelets In Engineering And Seismic Spectral Analysis, Michael Beer, Afshin Gholamy, Vladik Kreinovich

Departmental Technical Reports (CS)

Wavelets of different shapes are known to be very efficient in many data processing problems. In many engineering applications, the most efficient shapes are shapes of a generalized harmonic wavelet, i.e., a wavelet of the shape w(t) = t^a * exp(b * t) for complex b. Similar functions are empirically the most successful in the seismic analysis -- namely, in simulating the earthquake-related high-frequency ground motion. In this paper, we provide a theoretical explanation for the empirical success of these models.

Computational Complexity Of Experiment Design In Civil Engineering, Olga Kosheleva, Yan Wang, Vladik Kreinovich

Departmental Technical Reports (CS)

To guarantee reliability and safety of engineering structures, we need to regularly measure their mechanical properties. Such measurements are often expensive and time-consuming. It is therefore necessary to carefully plan the corresponding measurement experiments, to minimize the corresponding expenses.

It is known that, in general, experiment design is NP-hard. However, the previous proofs dealt either with nonlinear systems, or with situations with low measurement accuracy. In civil engineering, however, most systems are well-described by linear systems, and measurements are reasonably accurate. In this paper, we show that experiment design is NP-hard even for civil engineering problems. We show that even …

Perfect Reproducibility Is Not Always Algorithmically Possible: A Pedagogical Observation, Jake Lasley, Salamah Salamah, Vladik Kreinovich

Departmental Technical Reports (CS)

Uses of computer-based based systems often want perfect reproducibility: when encountering the same situation twice, the system should exhibit the same behavior. For real-life systems that include sensors, this is not always possible: due to inevitable measurement uncertainty, for the same actual value of the corresponding quantity, we may get somewhat different measurement results, and thus, show somewhat different behavior. In this paper, we show that the above-described ideal reproducibility is not possible even in the idealized situation, when we assume that a sensor can perform its measurement with any given accuracy.

How To Define "And"- And "Or"-Operations For Intuitionistic And Picture Fuzzy Sets, Christian Servin, Reynaldo Martinez, Peter Hanson, Leonel Lopez, Vladik Kreinovich

Departmental Technical Reports (CS)

The traditional fuzzy logic does not distinguish between the cases when we know nothing about a statement S and the cases when we have equally convincing arguments for S and for its negation ~S: in both cases, we assign the degree 0.5 to such a statement S. This distinction is provided by intuitionistic fuzzy logic, when to describe our degree of confidence in a statement S, we use two numbers a₊ and a₋ that characterize our degree of confidence in S and in ~S. An even more detailed distinction is provided …

Why High-Level Attention Constantly Oscillates: System-Based Explanation, Griselda Acosta, Eric Smith, Vladik Kreinovich

Departmental Technical Reports (CS)

In many situations like driving, it is important that a person concentrates all his/her attention at a certain critical task -- e.g., watching the road for possible problems. Because of this need to maintain high level of attention, it was assumed, until recently, that in such situations, the person maintains a constantly high level of attention (of course, until he or she gets tired). Interestingly, recent experiments showed that in reality, from the very beginning, attention level oscillates. In this paper, we show that such an oscillation is indeed helpful -- and thus, it is necessary to emulate such an …

Interim Performance Report, Lg‐71‐16‐0152‐16, Extending Intelligent Computational Image Analysis For Archival Discovery, March 2019, Elizabeth Lorang, Leen-Kiat Soh, John O'Brien

CDRH Grant Reports

The primary goal of "Extending Intelligent Computational Image Analysis for Archival Discovery" is to investigate the use of image analysis as a methodology for content identification, description, and information retrieval in digital libraries and other digitized collections. Building on work started under a National Endowment for the Humanities' Office of Digital Humanities Start-up Grant, our IMLS project seeks to 1) analyze and verify our previously developed image analysis approach and extend it so that it is newspaper agnostic, type agnostic, and language agnostic; 2) scale and revise the intelligent image analysis approach and determine the ideal balance between precision and …

Matching Possible Mitigations To Cyber Threats: A Document-Driven Decision Support Systems Approach, Martha Wagner Mcneil

Masters Theses & Doctoral Dissertations

Cyber systems are ubiquitous in all aspects of society. At the same time, breaches to cyber systems continue to be front-page news (Calfas, 2018; Equifax, 2017) and, despite more than a decade of heightened focus on cybersecurity, the threat continues to evolve and grow, costing globally up to $575 billion annually (Center for Strategic and International Studies, 2014; Gosler & Von Thaer, 2013; Microsoft, 2016; Verizon, 2017). To address possible impacts due to cyber threats, information system (IS) stakeholders must assess the risks they face. Following a risk assessment, the next step is to determine mitigations to counter the threats …

Self-Efficacy In Information Security: A Mixed Methods Study Of Deaf End-Users, Kyle Murbach

Masters Theses & Doctoral Dissertations

This explanatory sequential mixed methods study focuses on gaining an overall understanding of the potential variances in self-efficacy in information security and security practice behavior in the deaf population. Very little is understood about the deaf experience when engaging in security practices and their confidence levels in doing so. Due to the fastpaced nature of cyber security and its many facets, the human factor plays a crucial role in the success of cyber security. It is important to understand the potential implications of variances that may affect a deaf end-user’s security practice behavior to be able to provide more effective …

Malgazer: An Automated Malware Classifier With Running Window Entropy And Machine Learning, Keith Jones

Masters Theses & Doctoral Dissertations

This dissertation explores functional malware classification using running window entropy and machine learning classifiers. This topic was under researched in the prior literature, but the implications are important for malware defense. This dissertation will present six new design science artifacts. The first artifact was a generalized machine learning based malware classifier model. This model was used to categorize and explain the gaps in the prior literature. This artifact was also used to compare the prior literature to the classifiers created in this dissertation, herein referred to as “Malgazer” classifiers.

Running window entropy data was required, but the algorithm was too …

Flashlight In A Dark Room: A Grounded Theory Study On Information Security Management At Small Healthcare Provider Organizations, Gerald Auger

Masters Theses & Doctoral Dissertations

Healthcare providers have a responsibility to protect patient’s privacy and a business motivation to properly secure their assets. These providers encounter barriers to achieving these objectives and limited academic research has been conducted to examine the causes and strategies to overcome them. A subset of this demographic, businesses with less than 10 providers, compose a majority 57% of provider organizations in the United States. This grounded theory study provides exploratory findings, discovering these small healthcare provider organizations (SHPO) have limited knowledge on information technology (IT) and information security that results in assumptions and misappropriations of information security implementation, who is …

Advanced Code-Reuse Attacks: A Novel Framework For Jop, Bramwell J. Brizendine

Masters Theses & Doctoral Dissertations

Return-oriented programming is the predominant code-reuse attack, where short gadgets or borrowed chunks of code ending in a RET instruction can be discovered in binaries. A chain of ROP gadgets placed on the stack can permit control flow to be subverted, allowing for arbitrary computation. Jump-oriented programming is a class of code-reuse attack where instead of using RET instructions, indirect jumps and indirect calls are utilized to subvert the control flow. JOP is important because can allow for important mitigations and protections against ROP to be bypassed, and some protections against JOP are imperfect. This dissertation presents a design science …

A Malware Analysis And Artifact Capture Tool, Dallas Wright

Masters Theses & Doctoral Dissertations

Malware authors attempt to obfuscate and hide their execution objectives in their program’s static and dynamic states. This paper provides a novel approach to aid analysis by introducing a malware analysis tool which is quick to set up and use with respect to other existing tools. The tool allows for the intercepting and capturing of malware artifacts while providing dynamic control of process flow. Capturing malware artifacts allows an analyst to more quickly and comprehensively understand malware behavior and obfuscation techniques and doing so interactively allows multiple code paths to be explored. The faster that malware can be analyzed the …

Evaluating The Impacts Of Detecting X.509 Covert Channels, Cody Welu

Masters Theses & Doctoral Dissertations

This quasi-experimental before-and-after study examined the performance impacts of detecting X.509 covert channels in the Suricata intrusion detection system. Relevant literature and previous studies surrounding covert channels and covert channel detection, X.509 certificates, and intrusion detection system performance were evaluated. This study used Jason Reaves’ X.509 covert channel proof of concept code to generate malicious network traffic for detection (2018). Various detection rules for intrusion detection systems were created to aid in the detection of the X.509 covert channel. The central processing unit (CPU) and memory utilization impacts that each rule had on the intrusion detection system was studied and …

Kriptografia Si Mjet Për Sigurinë E Transaksioneve Elektronike, Majlinda Buzaku

Theses and Dissertations

Çështjet e sigurisë së informacionit janë kritike për individët, institucionet dhe kompanitë në të gjithë botën. Në ditët e sotme është e vështirë të konsiderojmë plotësisht të sigurt një sistem kompjuterik pa teknologjinë e shifrimit. Shifrat dhe algoritmat kriptografikë janë mekanizmat bazë për mbrojtjen e të dhënave dhe komunikimeve.

Teknologjitë kriptografike janë duke avancuar: teknika të reja sulmesh, dizenjime dhe implementime algoritmash që studiohen gjerësisht. Ndaj është e rëndësishme të analizojmë strukturën e tyre, efiçensën dhe metrikat e skalabilitetit në varësi të asaj që na duhet. Ne jemi të interesuar në analizimin e algoritmave kriptografike, veçoritë e forta kriptografike dhe …

Aplikimi I Modaliteteve Biometrike Të Autentifikimit Në Pajisje Mobile, Alketa Hasimja

Theses and Dissertations

Pajisjet mobile në kohën e sotme janë investimi më i shpeshtë në industrinë e teknologjisë pasiqë është pothuajse e pamundur të gjesh një person që nuk posedon një telefon personal. Duke qenë pika e dobët e gati çdo përdoruesi të tij, pasiqë të dhënat e ruajtura në të janë esenciale, rritja e sigurisë së qasjes në telefon është arritur duke përdorur modalitetet biometrike për autentifikim në këto pajisje mobile. Këtu do të shtjellohen modulet biometrike të cilat përdoren më së shpeshti për autentifikim dhe si ndahen ato, procesi i qasjes si dhe dobësitë e secilës prej këtyre modaliteteve biometrike. Gjithashtu …

Implementimi Nosql Në Ueb Tekonologjitë: Analiza E Ndërveprimit Të Nosql Dhe Ueb Aplikacioneve, Arbona Macastena

Theses and Dissertations

Aplikacioniet e reja zakonisht kërkojnë depo të dhënash që janë të shpejta (domethënë mund të trajtojnë norma të larta transaksioni) ose të ruajnë sasi të mëdha të të dhënave ose mund të shkallëzohen horizontalisht ose të lejojnë evoluimin e lehtë të skemave. Sidomos aplikacionet për blerje online siq janë e-commerce Qëllimi kryesor i një aplikacioni të e-commerce është të shesë mallra dhe shërbime online. Ky projekt ka të bëjë me analizën e bashkëveprimit të ueb teknologjive me bazën e të dhëanve NoSQL duke marre si rast studimi zhvillimin e një ueb aplikacioni me konkretisht një shporte elektronike e-commerce për blerje …

Hospital Management System, Brezart Rama

Theses and Dissertations

Objektivi i sistemit tonë “Hospital Management System” është që të automatizojë procedurat të cilat bëhën në mënyre manuale në spital sic janë regjistrimi I pacienteve, catkimi I termineve etj. Në sistem janë të perfshire doktorët, pacientët, stafi I spitalit si dhe terminet te cilat behen. Qasja ne sistem bëhet duke futur kredencialet e përdoruesit ku pas verfikimit dhe validimit lejohet që përdoruesi të qaset ne sistem. Stafi I spitalit ka të drejtën që të krijojë pacientët dhe doktorët ne sistem si dhe caktimin e termineve ku këto të dhëna futen në databaz e cila inizohet me hapjen e sistemit. Doktoret …

Zhvillimi I Një Web Aplikacioni Bazuar Në Arkitekturën Serverless, Freskim Aliu

Theses and Dissertations

No abstract provided.

Dizajnimi Dhe Zhvillimi I Lojёs Kompjuterike: City Architect, Leon Nuredini

Theses and Dissertations

Një lojë kompjuterike kombinon të gjitha elementet e një ngjarje të mirë me grafika kompjuterike dhe interaktivitet. Zhvillimi i lojërave kompjuterike nuk është gjë e thjeshtë, dhe kërkon shumë kohë dhe dedikim. Kjo temë ka për synim të shtjellojë procesin e zhvillimit dhe dizajnimit të të lojës kompjuterike “City Architect” e cila i takon zhanrit “City Building”, si dhe implementimin e GOAP sistemit. Për zhvillimin e një loje të veçantë dhe të suksesshme përveç kodit nevojiten edhe planifikimi i mirë i dizajnit të lojës, artit, muzikës dhe marketingut. Ne në lojën tonë do t’i shtjellojmë të gjitha këto aspekte mirëpo …

Design Of Single-Modal Take-Over Request In Sae Level 2 & 3 Automated Vehicle, Jiwon Lee, Hanna Yun, Jaewon Kim, Sujin Baek, Hyunseo Han, S. Maryam Fakhr Hosseini, Eric Vasey, Okkeun Lee, Myounghoon Jeon, Ji Hyun Yang

Michigan Tech Publications, Part 1

Recently, cutting-edge technology has led to the development of automated vehicles, but the limitations of the related technology may lead to hazardous situations. This resulted in the remarkable significance of the interaction between automated vehicles and drivers. In particular, the transition between the driver and the automated vehicle in accordance with Level 3 of SAE J3016 is inevitable, and guidelines or standards regarding the takeover should be provided. Therefore, we aim to prepare the safety guidelines for the takeover and to conduct a comparative test. First, guidelines for visual, auditory, and haptic displays in existing vehicles were examined. Second, preliminary …

Development And Validation Of A New Method To Diagnose Apical Hypertrophic Cardiomyopathy By Gated Single-Photon Emission Computed Tomography Myocardial Perfusion Imaging, Yanli Zhou, Dianfu Li, Haipeng Tang, Yi Xu, Cheng Wang, Zhixin Jiang, Fang Xu, Zhongqiang Zhao, Chunxiang Li, Shaojie Tang, Lijun Tang, Weihua Zhou

Faculty Publications

Aim The aim of this study is to develop and validate a new method to diagnose apical hypertrophic cardiomyopathy (AHCM) by the integral quantitative analysis of myocardial perfusion and wall thickening from gated single-photon emission computed tomography (SPECT) myocardial perfusion imaging (MPI).

Patients and methods Twenty-two consecutive patients, who showed T wave inversion of at least 3 mm in precordial leads and sinus rhythm in ECG, were enrolled. All the patients underwent cardiac magnetic resonance (CMR), gated rest SPECT MPI and echocardiography. According to CMR diagnostic results, 13 patients were categorized as in the AHCM group and the remaining nine …

Peerra: An Extensible And Structured Web Service For Peer-To-Peer Assistance, Drake Lambert

Honors Capstones

No abstract provided.

Developing A Contemporary And Innovative Operating Systems Course, Saverio Perugini, David J. Wright

Computer Science Faculty Publications

This birds-of-a-feather provides a discussion forum to foster innovation in teaching operating systems (os) at the undergraduate level. This birds-of-a-feather seeks to generate discussion and ideas around pedagogy for os and, in particular, how we might develop a contemporary and innovative model, in both content and delivery, for an os course—that plays a central role in a cs curriculum—and addresses significant issues of misalignment between existing os courses and employee professional skills and knowledge requirements. We would like to exchange ideas regarding a re-conceptualized course model of os curriculum and related pedagogy, especially in the areas of mobile OSs and …