Computer Sciences Commons^™

Overview Of Metrics, Models, And Simulation For Cyber-Physical Systems, Barry C. Ezell, Luanne Burns Chamberland

VMASC Publications

The metric, models, and simulation for Cyber-Physical Systems focuses on the different frameworks that have been operationalized so that cyber-physical systems can be baselined in security. In addition, the minitrack is interest in innovations in decision support such as cost effective means to decide what metrics should be addressed to get the best value in cybersecurity. There are many challenges to overcome in cyber-physical systems. We ask: How should frameworks be operationalized? What methodologies are available to quantify cybersecurity frameworks while accounting for cyber-physical interactions into account.

Detecting Agitation Onset In Individuals With Dementia Using Smart Phone Sensors, Christianne Fowler, Ajay Gupta, Kurt Maly, Karen Karlowicz, Maheedhar Gunnam, Rohila Gudipati, Mahesh Kukunooru, Rahul Rachamalla

Ellmer School of Nursing Faculty Publications

Individuals living with dementia (ILWD) often experience problematic agitated behaviors, this occurs in up to 80% of ILWD. These behaviors lead to stress for caregivers and increased frequency of institutionalization. There are many proven methods to intervene during agitated behavior outburst and the earlier these methods are used the better the results. Technology has been used successfully to monitor many aspects of health monitoring for older adults. Technology is now being investigated to evaluate the effectiveness of predicting the onset of problem behaviors, especially escalating agitation in ILWD. Off the shelf technology, smart watches and android phones, are being tested …

Secrecy Rates And Optimal Power Allocation For Full-Duplex Decode-And-Forward Relay Wire-Tap Channels, Lubna Elsaid, Leonardo Jimenez-Rodriguez, Nghi H. Tran, Sachin Shetty, Shivakumar Sastry

Computational Modeling & Simulation Engineering Faculty Publications

This paper investigates the secrecy rates and optimal power allocation schemes for a decode-and-forward wiretap relay channel where the transmission from a source to a destination is aided by a relay operating in a full-duplex (FD) mode under practical residual self-interference. By first considering static channels, we address the non-convex optimal power allocation problems between the source and relay nodes under individual and joint power constraints to establish closed-form solutions. An asymptotic analysis is then given to provide important insights on the derived power allocation solutions. Specifically, by using the method of dominant balance, it is demonstrated that full power …

Neutrosophic Perspectives: Triplets, Duplets, Multisets, Hybrid Operators, Modal Logic, Hedge Algebras. And Applications (Second Extended And Improved), Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This book is part of the book-series dedicated to the advances of neutrosophic theories and their applications, started by the author in 1998. Its aim is to present the last developments in the field. For the first time, we now introduce:

— Neutrosophic Duplets and the Neutrosophic Duplet Structures;

— Neutrosophic Multisets (as an extension of the classical multisets);

— Neutrosophic Spherical Numbers;

— Neutrosophic Overnumbers / Undernumbers / Offnumbers;

— Neutrosophic Indeterminacy of Second Type;

— Neutrosophic Hybrid Operators (where the heterogeneous t-norms and t-conorms may be used in designing neutrosophic aggregations);

— Neutrosophic Triplet Loop;

— Neutrosophic Triplet …

Easier To Break From Inside Than From Outside / Mai Ușor Să Distrugi Din Interior Decât Din Exterior, Florentin Smarandache, Andrusa R. Vatuiu

Branch Mathematics and Statistics Faculty and Staff Publications

Abstract in English:

This book contains concrete examples from history, economy, biology, digital world, nuclear physics, agriculture and so on about breaking a neutrosophic dynamic system (i.e. a dynamic system that has indeterminacy) from inside.

We define a neutrosophic mathematical model using a system of ordinary differential equations and the neutrosophic probability in order to approximate the process of breaking from inside a neutrosophic complex dynamic system.

It shows that for breaking from inside it is needed a smaller force than for breaking from outside the neutrosophic complex dynamic system.

Methods that have been used in the past for breaking …

Neutrosophic Operational Research - Vol. 2, Florentin Smarandache, Mohamed Abdel Basset, Victor Chang

Branch Mathematics and Statistics Faculty and Staff Publications

Foreword John R. Edwards This book is an excellent exposition of the use of Data Envelopment Analysis (DEA) to generate data analytic insights to make evidence-based decisions, to improve productivity, and to manage cost-risk and benefitopportunity in public and private sectors. The design and the content of the book make it an up-to-date and timely reference for professionals, academics, students, and employees, in particular those involved in strategic and operational decisionmaking processes to evaluate and prioritize alternatives to boost productivity growth, to optimize the efficiency of resource utilization, and to maximize the effectiveness of outputs and impacts to stakeholders. It …

Neutrosophic Operational Research - Vol. 1, Florentin Smarandache, Mohamed Abdel Basset, Yongquan Zhou

Branch Mathematics and Statistics Faculty and Staff Publications

This book is an excellent exposition of the use of Data Envelopment Analysis (DEA) to generate data analytic insights to make evidence-based decisions, to improve productivity, and to manage cost-risk and benefitopportunity in public and private sectors. The design and the content of the book make it an up-to-date and timely reference for professionals, academics, students, and employees, in particular those involved in strategic and operational decisionmaking processes to evaluate and prioritize alternatives to boost productivity growth, to optimize the efficiency of resource utilization, and to maximize the effectiveness of outputs and impacts to stakeholders. It is concerned with the …

An Operational View In Computational Construction Of Information, Florentin Smarandache, Stefan Vladutescu, Constantin Dima, Valeriu Voinea

Branch Mathematics and Statistics Faculty and Staff Publications

The paper aims to explain the technology of emergence of information. Our research proves that information as communicational product is the result of processing within some operations, actions, mechanisms and strategies of informational material meanings. Are determined eight computational-communicative operations of building information. Information occurs in two communication phases, syncretic and the segregation-synthetic. The syncretic phase consists of four operations: referral of significant field, primary delimitation of information, detection-looking information and an anticipative-draft constitution (feedforward). The segregation-synthetic phase also includes four operations: discrimination, identification, interpretation and confrontation (feedback). In the future we will investigate informational actions, mechanisms and strategies.

Sensitivity Analysis Method To Address User Disparities In The Analytic Hierarchy Process, Marie Ivanco, Gene Hou, Jennifer Michaeli

Mechanical & Aerospace Engineering Faculty Publications

Decision makers often face complex problems, which can seldom be addressed well without the use of structured analytical models. Mathematical models have been developed to streamline and facilitate decision making activities, and among these, the Analytic Hierarchy Process (AHP) constitutes one of the most utilized multi-criteria decision analysis methods. While AHP has been thoroughly researched and applied, the method still shows limitations in terms of addressing user profile disparities. A novel sensitivity analysis method based on local partial derivatives is presented here to address these limitations. This new methodology informs AHP users of which pairwise comparisons most impact the derived …

Reasoning About Frame Properties In Object-Oriented Programs, Yuyan Bao

Electronic Theses and Dissertations

Framing is important for specification and verification of object-oriented programs. This dissertation develops the local reasoning approach for framing in the presence of data structures with unrestricted sharing and subtyping. It can verify shared data structures specified in a concise way by unifying fine-grained region logic and separation logic. Then the fine-grained region logic is extended to reason about subtyping. First, fine-grained region logic is adapted from region logic to express regions at the granularity of individual fields. Conditional region expressions are introduced; not only does this allow one to specify more precise frame conditions, it also has the ability …

All Sites But Skin Cancer Incidences Analyzed Worldwide By Sex, Age, And Skin Type Over Time (1955-2007), Advancing Age, And Uvb Dose Reveals Important Carcinogenic Drivers, Dianne E. Godar, Rossen Gurov, Stephen Merrill

Mathematics, Statistics and Computer Science Faculty Research and Publications

Because we observed increasing incidences over time, advancing age, higher estrogen levels, decreasing UVB (290-315 nm) doses, or lower vitamin D₃, and Human Papillomavirus hiding in immune-privileged sites of hair follicles play roles in melanoma, we wondered if the majority of cancers might have similar carcinogenic drivers. To investigate this possibility, we performed worldwide analysis of all sites but skin cancer over time (1955-2007), advancing age, and UVB doses for males and females with all skin types and ages (0-85+) and in five age groups using IARC data. To investigate Human Papillomavirus’s role, we analyzed the incidences of …

Processdriver: A Computational Pipeline To Identify Copy Number Drivers And Associated Disrupted Biological Processes In Cancer, Brittany Baur, Serdar Bozdag

Mathematics, Statistics and Computer Science Faculty Research and Publications

Copy number amplifications and deletions that are recurrent in cancer samples harbor genes that confer a fitness advantage to cancer tumor proliferation and survival. One important challenge in computational biology is to separate the causal (i.e., driver) genes from passenger genes in large, aberrated regions. Many previous studies focus on the genes within the aberration (i.e., cis genes), but do not utilize the genes that are outside of the aberrated region and dysregulated as a result of the aberration (i.e., trans genes). We propose a computational pipeline, called ProcessDriver, that prioritizes candidate drivers by relating cis genes to …

Characterizations Of Kumaraswamy-Laplace, Mcdonald Inverse Weibull And New Generalized Exponential Distributions, Gholamhossein G. Hamedani

Mathematics, Statistics and Computer Science Faculty Research and Publications

Nassar (2016) considers an interesting univariate continuous distribution called Kumaraswamy-Laplace which has different forms on two subintervals. He studies certain properties and applications of this distribution. Shahbaz et al. (2016) consider another interesting distribution called McDonald Inverse Weibull distribution. They present some basic properties of their distribution and study the estimations of the parameters as well as discussing its application via an illustrative example. What is lacking in both papers, in our opinion, is the characterizations of these two interesting distributions. the present work is intended to complete, in some way, the works of Nassar and Shahbaz et al. via …

Varieties Of Restriction Semigroups And Varieties Of Categories, Peter R. Jones

Mathematics, Statistics and Computer Science Faculty Research and Publications

The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, ·, −1) by forgetting the inverse operation and retaining the two operations x+ = xx−1 and x* = x−1x. The subvariety B of strictrestriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals [B2, B2M = B] and [B0, B0M]. Here, B2and B0 are, respectively, generated by the five-element Brandt semigroup and that obtained …

Extremal H-Colorings Of Trees And 2-Connected Graphs, John Engbers, David Galvin

Mathematics, Statistics and Computer Science Faculty Research and Publications

For graphs G and H, an H-coloring of G is an adjacency preserving map from the vertices of G to the vertices of H. H-colorings generalize such notions as independent sets and proper colorings in graphs. There has been much recent research on the extremal question of finding the graph(s) among a fixed family that maximize or minimize the number of H-colorings. In this paper, we prove several results in this area.

First, we find a class of graphs H with the property that for each H∈H, the n-vertex tree that minimizes the number of …

Protein Structure Classification And Loop Modeling Using Multiple Ramachandran Distributions, Seyed Morteza Najibi, Mehdi Maadooliat, Lan Zhou, Jianhua Z. Huang, Xin Gao

Mathematics, Statistics and Computer Science Faculty Research and Publications

Recently, the study of protein structures using angular representations has attracted much attention among structural biologists. The main challenge is how to efficiently model the continuous conformational space of the protein structures based on the differences and similarities between different Ramachandran plots. Despite the presence of statistical methods for modeling angular data of proteins, there is still a substantial need for more sophisticated and faster statistical tools to model the large-scale circular datasets. To address this need, we have developed a nonparametric method for collective estimation of multiple bivariate density functions for a collection of populations of protein backbone angles. …

Cutaneous Malignant Melanoma Incidences Analyzed Worldwide By Sex, Age, And Skin Type Over Personal Ultraviolet-B Dose Shows No Role For Sunburn But Implies One For Vitamin D3, Dianne E. Godar, Madhan Subramanian, Stephen Merrill

Mathematics, Statistics and Computer Science Faculty Research and Publications

Because the incidence of cutaneous malignant melanoma (CMM) was reported to increase with increasing terrestrial UVR (290–400 nm) doses in the US back in 1975 and a recent publication showed no association exists with UVR exposure at all, we set out to fully elucidate the role of UVR in CMM. To achieve this goal, we analyzed the CMM incidences over latitude and estimated the average personal UVR dose in the US and numerous countries (> 50) on 5 continents around the world. Using data from the International Agency for Research on Cancer in 2005, we performed worldwide analysis of CMM …

Untangling The Most Probable Role For Vitamin D3 In Autism, Dianne E. Godar, Stephen J. Merrill

Mathematics, Statistics and Computer Science Faculty Research and Publications

Recent studies indicate an important role for vitamin D₃ in autism spectrum disorder (ASD), although its mechanism is not completely understood. The most puzzling aspect of ASD is that identical twins, who share identical DNA, do not have 100% concordance rates (∼88% for identical and ∼31% for fraternal twins). These findings provide major clues into the etiology: ASD must involve an environmental factor present in the prenatal milieu that both identical twins are not always exposed to because they do not always share it (i.e., placentas). Combined with the exponential increasing rates of ASD around the world, these observations …

Mapping The Stk4/Hippo Signaling Network In Prostate Cancer Cell, Damien Ready, Kader Yagiz, Pooneh Amin, Yuksel Yildiz, Vincent Funari, Serdar Bozdag, Bekir Cinar

Mathematics, Statistics and Computer Science Faculty Research and Publications

Dysregulation of MST1/STK4, a key kinase component of the Hippo-YAP pathway, is linked to the etiology of many cancers with poor prognosis. However, how STK4 restricts the emergence of aggressive cancer remains elusive. Here, we investigated the effects of STK4, primarily localized in the cytoplasm, lipid raft, and nucleus, on cell growth and gene expression in aggressive prostate cancer. We demonstrated that lipid raft and nuclear STK4 had superior suppressive effects on cell growth in vitro and in vivo compared with cytoplasmic STK4. Using RNA sequencing and bioinformatics analysis, we identified several differentially expressed (DE) genes that responded to ectopic …

Nature Of Mathematical Modeling Tasks For Secondary Mathematics Preservice Teachers, Jia He, Eryn Stehr, Hyunyi Jung

Mathematics, Statistics and Computer Science Faculty Research and Publications

This study investigated the nature of written modeling tasks reported by instructors of required courses in five secondary mathematics teacher education programs. These tasks were analyzed based on a framework addressing potential cognitive orientation (simple procedures, complex procedures, and rich tasks) and purpose (epistemological, educational, contextual, and socio-critical modeling) of the tasks. Our analysis suggests that most tasks included questions of more than one cognitive orientation and more than half of the tasks were coded as contextual modeling. We also found that tasks that were coded as contextual modeling offered opportunities for future teachers to engage with questions at all …

Some Extended Classes Of Distributions: Characterizations And Properties, Gholamhossein G. Hamedani, Gauss M. Cordeiro, M. C.S. Lima, A. D.C. Nascimento

Mathematics, Statistics and Computer Science Faculty Research and Publications

Based on a simple relationship between two truncated moments and certain functions of the th order statistic, we characterize some extended classes of distributions recently proposed in the statistical literature, videlicet Beta-G, Gamma-G, Kumaraswamy-G and McDonald-G. Several properties of these extended classes and some special cases are discussed. We compare these classes in terms of goodness-of-fit criteria using some baseline distributions by means of two real data sets.

Hypothesis Testing For High-Dimensional Problems, Naveen K. Bansal

Mathematics, Statistics and Computer Science Faculty Research and Publications

For high-dimensional hypothesis problems, new approaches have emerged since the publication. The most promising of them uses Bayesian approach. In this chapter, we review some of the past approaches applicable to only law-dimensional hypotheses testing and contrast it with the modern approaches of high-dimensional hypotheses testing. We review some of the new results based on Bayesian decision theory and show how Bayesian approach can be used to accommodate directional hypotheses testing and skewness in the alternatives. A real example of gene expression data is used to demonstrate a Bayesian decision theoretic approach to directional hypotheses testing with skewed alternatives.

A Short Note On The Paper: "New Characterizations Of The Pareto Distribution", Gholamhossein G. Hamedani, M. Rasekhi

Mathematics, Statistics and Computer Science Faculty Research and Publications

Nofal and El Gebaly (2017), presented certain characterizations of the Pareto distribution based on the conditional expectations of power of the order statistics. In this short note we show that the same results can easily be obtained in terms of the power of the random variable.

Privacy Vulnerabilities In The Practices Of Repairing Broken Digital Artifacts In Bangladesh, Syed Ishtiaque Ahmed, Shion Guha, Mohammad Rashidujjaman Rifat, Faysal Hossain Shezan, Nicola Dell

Mathematics, Statistics and Computer Science Faculty Research and Publications

This paper presents a study on the privacy concerns associated with the practice of repairing broken digital objects in Bangladesh. Historically, repair of old or broken technologies has received less attention in ICTD scholarship than design, development, or use. As a result, the potential privacy risks associated with repair practices have remained mostly unaddressed. This paper describes our three-month long ethnographic study that took place at ten major repair sites in Dhaka, Bangladesh. We show a variety of ways in which the privacy of an individual’s personal data may be compromised during the repair process. We also examine people’s perceptions …

K-8 Pre-Service Teachers’ Algebraic Thinking: Exploring The Habit Of Mind Building Rules To Represent Functions, Marta T. Magiera, John C. Moyer, Leigh A. Van Den Kieboom

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this study, through the lens of the algebraic habit of mind Building Rules to Represent Functions, we examined 18 pre-service middle school teachers' ability to use algebraic thinking to solve problems. The data revealed that pre-service teachers' ability to use different features of the habit of mind Building Rules to Represent Functions varied across the features. Significant correlations existed between 8 pairs of the features. The ability to justify a rule was the weakest of the seven features and it was correlated with the ability to chunk information. Implications for mathematics teacher education are discussed.

Xinupi3: Teaching Multicore Concepts Using Embedded Xinu, Priva Bansal, Rade Latinovich, Tom Lazar, Patrick J. Mcgee, Dennis Brylow

Mathematics, Statistics and Computer Science Faculty Research and Publications

As computer platforms become more advanced, the need to teach advanced computing concepts grows accordingly. This paper addresses one such need by presenting XinuPi3, a port of the lightweight instructional operating system Embedded Xinu to the Raspberry Pi 3. The Raspberry Pi 3 improves upon previous generations of inexpensive, credit card-sized computers by including a quad-core, ARM-based processor, opening the door for educators to demonstrate essential aspects of modern computing like inter-core communication and genuine concurrency.

Embedded Xinu has proven to be an effective teaching tool for demonstrating low-level concepts on single-core platforms, and it is currently used to …

Analysis Of Gesture Frequency And Amplitude As A Function Of Personality In Virtual Agents, Alex Michael Rayon

Open Access Theses & Dissertations

Embodied conversational agents are changing the way humans interact with technology. Agents are expected to behave like people, both verbally and non-verbally. Researchers within the Human-Computer Interaction community have found many attributes of an agentâ??s gesture contribute to an agentâ??s perceived personality and believability.

Gesture amplitude and frequency are two of the attributes that contribute to the naturalness of a gesture. Currently, no previous studies have defined an empirical baseline for generating natural gestures for these two attributes. I seek to discover whether gesture amplitude and frequency affect how users perceive an agentâ??s naturalness, and which gestures would be preferred …

Deep Learning Method Vs. Hand-Crafted Features For Lung Cancer Diagnosis And Breast Cancer Risk Analysis, Wenqing Sun

Open Access Theses & Dissertations

Breast cancer and lung cancer are two major leading causes of cancer deaths, and researchers have been developing computer aided diagnosis (CAD) system to automatically diagnose them for decades. In recent studies, we found that the techniques in CAD system can also be used for breast cancer risk analysis, like feature design and machine learning. Also we noticed that with the development of deep learning methods, the performance of CAD system can be improved by using computer automatically generated features. To explore these possibilities, we conducted a series of studies: the first two studies focused on transferring the original CAD …

Contextual Representation Of Documents, Entities, And Faces Of People Using A News Corpus, Md Abdul Kader

Open Access Theses & Dissertations

A massive amount of unstructured data, in this information age, is composed of document collections. Examples include news articles, blog posts, scholarly publications, and reports generated by organizations as well as people. Many data mining and machine learning algorithms have been developed in the past decade to support text mining in many applications. Text mining applications cover a wide range of tasks spanning from personal information management --- to organizational decision making, to disease control through epidemic prediction, and to intelligence analysis for national security. One bottleneck has been dominating data mining and machine learning theories for all these text …

Integration Of Heterogeneous Traffic Data To Address Mobility Challenges In The City Of El Paso, Daniel Michael Mejia

Open Access Theses & Dissertations

Transportation performance measures are defined as quantitative and qualitative indicators that rely on data or information to explain mobility, traffic congestion, safety, environmental sustainability and other factors. Although performance measures have been used for freeways and other highways, not many have been specified and applied to the freight transportation system. Under the Fixing America's Surface Transportation Act (FAST Act), state transportation agencies and metropolitan planning organizations in the United States are implementing freight performance measurement systems for performance assessment. This research aims to expand the existing limited freight performance measures and organize them into a comprehensive framework that can be …