Computer Sciences Commons^™

Density Functional Theory Based Electrolyte Design Formulation For Lithium-Sulfur Batteries, Cynthia Ly, Carolyn Sturges, Vijay Murugesan

STAR Program Research Presentations

Lithium-ion (Li-ion) batteries are commonly used in portable electronics such as cellphones and laptops. Most Li-ion batteries operate on intercalation principle with typical theoretical specific energy of 400-600 (Wh/Kg). There is great scientific interest in lithium-sulfur (Li-S) batteries as a possible successor of traditional Li-ion batteries because Li-S holds the potential of being a very powerful (1550 Wh/kg theoretical specific energy) yet very cost-efficient battery (due the abundance and inexpensiveness of sulfur). However, one major problem in Li-S battery research is the polysulfide “shuttle phenomenon”, which is the shuttling of polysulfide species due to the dissolution of sulfide from the …

Citizen Science Sensor Development - Smap | Soil Moisture Active Passive, Hagop Hovhannesian

STAR Program Research Presentations

“Detailed monitoring of soil moisture provides a view of how our whole Earth system works.”

The Soil Moisture Active Passive (SMAP) satellite mission was launched in January 2015; its main purpose is to acquire global measurements of soil moisture. SMAP partnered with the GLOBE program (Global Learning and Observations to Benefit the Environment), which is an international program where students collect environmental variables in a scientifically methodical way. SMAP readings and maps have various uses in various fields, which include monitoring drought, predicting floods, assisting in crop productivity, and linking water, energy and carbon cycles. The goal of this project …

Reverse-Engineering The Brain: The Parts Are As Complex As The Whole., Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this paper is to review the current state of neuroscience research with a focus on what has been achieved to date in unraveling the mysteries of brain operations, major research initiatives, fundamental challenges, and potentially realizable objectives. General research approaches aimed at constructing a wiring diagram of the brain (i.e., connectome), determining how the brain encodes and computes information, and whole brain simulation attempts are reviewed in terms of strategies employed and difficulties encountered. While promising advances have been made during the past 50 years due to electron microscopy, the development of new experimental methods, and the …

A Novel Digital Image Classification Algorithm Via Low-Rank Sparse Bag-Of-Features Model, Xiu-Ming Zou, Huai-Jiang Sun, Sai Yang, Yan Zhu

Research Collection School of Computing and Information Systems

Bag-of-features (BoF) is one of the most well-known methods used to represent digital image features because of its simplicity and efficiency. A variety of improved algorithms have been employed to enhance the performance of BoF in characterization. However, challenges in the application of BoF in the field still exist. This study focused on BoF by decomposing local features and presented a novel framework for BoF on the basis of low-rank and sparse matrix decomposition to obtain a more robust and discriminative digital image classification. First, the local feature matrix of a digital image is decomposed into a low-rank matrix and …

Profiling Social Media Users With Selective Self-Disclosure Behavior, Wei Gong

Dissertations and Theses Collection

Social media has become a popular platform for millions of users to share activities and thoughts. Many applications are now tapping on social media to disseminate information (e.g., news), to promote products (e.g., advertisements), to manage customer relationship (e.g., customer feedback), and to source for investment (e.g., crowdfunding). Many of these applications require user profile knowledge to select the target social media users or to personalize messages to users. Social media user profiling is a task of constructing user profiles such as demographical labels, interests, and opinions, etc., using social media data. Among the social media user profiling research works, …

Why Hausdorff Distance Is Natural In Interval Computations, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Several different metrics have been proposed to describe distance between intervals and, more generally, between compact sets. In this paper, we show that from the viewpoint of interval computations, the most adequate distance is the Hausdorff distance d_H(A,A') -- the smallest value ε > 0 for which every element a from the set A is ε-close to some element a' from the ser A', and every element a' from the set A' is ε-close to some element a of the set A.

Analyzing Clinical Depressive Symptoms In Twitter, Amir Hossein Yazdavar, Hussein S. Al-Olimat, Tanvi Banerjee, Krishnaprasad Thirunarayan, Amit P. Sheth

Kno.e.sis Publications

350 million people are suffering from clinical depression worldwide.

The Phraseworthy App, Dallin D. Oaks

BYU Research Development Office Research Networking Conference

Brainstorming software that provides ideas about potential word plays for headlines, slogans, product names, titles, and more.

Probabilistic Programming For Perceptually Driven Autonomous Agents, David Wingate

BYU Research Development Office Research Networking Conference

This research will bridge the gap between cognitive science models and machine learning techniques, resulting in autonomous agents that are not only powerful and adaptive but also understandable and safe to deploy.

The development of a dedicated probabilistic programming language will empower researchers and developers to create sophisticated autonomous systems with greater ease and confidence.

Anti-Forensics: Furthering Digital Forensic Science Through A New Extended, Granular Taxonomy, Kevin Conlan, Ibrahim Baggili, Frank Breitinger

Electrical & Computer Engineering and Computer Science Faculty Publications

Anti-forensic tools, techniques and methods are becoming a formidable obstacle for the digital forensic community. Thus, new research initiatives and strategies must be formulated to address this growing problem. In this work we first collect and categorize 308 antidigital forensic tools to survey the field. We then devise an extended anti-forensic taxonomy to the one proposed by Rogers (2006) in order to create a more comprehensive taxonomy and facilitate linguistic standardization. Our work also takes into consideration anti-forensic activity which utilizes tools that were not originally designed for antiforensic purposes, but can still be used with malicious intent. This category …

A Usability Assessment For A Career Planning Educational Video Game, Jiaqi Wang

Open Access Theses

This study focused on the design, implementation and usability assessment of an educational 2D iPad job matching game The Place You’ll Go (TPYG), which meant for matching student skill sets with career profiles. The development of the game is conducted in collaboration with Purdue University’s Krannert School of Management and Polytech Institute. A total of 7 subjects, as high school teachers, participated in the usability study. TPYG as one possible solution for job matching data visualization, did not provide players with a good experience. However, conclusions and findings can be used in similar education game development. Based on survey and …

Robust Data Processing In The Presence Of Uncertainty And Outliers: Case Of Localization Problems, Anthony Welte, Luc Jaulin, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

To properly process data, we need to take into account both the measurement errors and the fact that some of the observations may be outliers. This is especially important in radar-based localization problems, where some signals may reflect not from the analyzed object, but from some nearby object. There are known methods for dealing with both measurement errors and outliers in situations in which we have full information about the corresponding probability distributions. There are also known statistics-based methods for dealing with measurement errors in situations when we only have partial information about the corresponding probabilities. In this paper, we …

A Classification Of Representable T-Norm Operators For Picture Fuzzy Sets, Bui Cong Cuong, Vladik Kreinovich, Roan Thi Ngan

Departmental Technical Reports (CS)

T-norms and t-conorms are basic operators of fuzzy logics. The classifications of these operators are significant problems. Some results of the classifications of fuzzy logics operators for fuzzy sets are known. In 2013, we defined the picture fuzzy sets, and in 2015 some representable t-norms operators and t-conorms operators were defined. In this paper, we investigate the classification of representable picture t-norms and picture t-conorms operators for picture fuzzy sets.

Avoiding Fake Boundaries In Set Interval Computing, Anthony Welte, Luc Jaulin, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

Set intervals techniques are an efficient way of dealing with uncertainty in spatial localization problems. In these techniques, the desired set (e.g., set of possible locations) is represented by an expression that uses intersection, union, and complement of input sets -- which are usually only known with interval uncertainty. To find the desired set, we can, in principle, perform the corresponding set-interval computations one-by-one. However, the estimates obtained by such straightforward computations often contain extra elements -- e.g., fake boundaries. In this paper, we show that we can eliminate these fake boundaries (and other extra elements) if we first transform …

Z-Numbers And Type-2 Fuzzy Sets: A Representation Result, Vladik Kreinovich, Rafik Aliev

Departmental Technical Reports (CS)

Traditional [0,1]-based fuzzy sets were originally invented to describe expert knowledge expressed in terms of imprecise ("fuzzy") words from natural language. To make this description more adequate, several generalizations of the traditional [0,1]-based fuzzy sets have been proposed, among them type-2 fuzzy sets and Z-numbers. The main objective of this paper is to study the relation between these two generalizations. As a result of this study, we show that if we apply data processing to Z-numbers, then we get type-2 sets of special type -- that we call monotonic. We also prove that every monotonic type-2 fuzzy set can be …

Decision Modeling And Empirical Analysis Of Mobile Financial Services, Jun Liu

Dissertations and Theses Collection

The past twenty years have been a time of many new technological developments, changing business practices, and interesting innovations in the financial information system (IS) and technology landscape. As the financial services industry has been undergoing the digital transformation, the emergence of mobile financial services has been changing the way that customers pay for goods and services purchases and interact with financial institutions. This dissertation seeks to understand the evolution of the mobile payments technology ecosystem and how firms make mobile payments investment decisions under uncertainty, as well as examines the influence of mobile banking on customer behavior and financial …

Advancing Algorithms For Mass Spectrometry Data Analysis, Rob Smith

University Grant Program Reports

Our objective with this award was to conduct the preliminary experiments necessary to assess the state of the art of existing mass spectrometry signal segmentation algorithms. Although unforeseeable complications prevented the completion of all proposed research goals, completed research aims resulted in:

• A cross-platform mass spectrometry data viewer with the ability to pan, zoom, and scroll.
• Motivation for experimental ground truth data through exposing breakdown cases of the leading mass spectrometry simulator.
• A completed code framework for running and testing existing isotopic trace segmentation algorithms.

Since the receipt of this award, we have submitted three related external research proposals. One …

A Digital Game Maturity Model (Dgmm), Saiqa Alemm, Luiz Fernando Capretz, Faheem Ahmed

Electrical and Computer Engineering Publications

Game development is an interdisciplinary concept that embraces artistic, software engineering, management, and business disciplines. This research facilitates a better understanding of important dimensions of digital game development methodology. Game development is considered as one of the most complex tasks in software engineering. The increased popularity of digital games, the challenges faced by game development organizations in developing quality games, and high competition in the digital game industry demand a game development maturity assessment. Consequently, this study presents a Digital Game Maturity Model to evaluate the current development methodology in an organization. The framework of this model consists of assessment …

One Needs To Be Careful When Dismissing Outliers: A Realistic Example, Carlos Fajardo, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Traditional approach to eliminating outliers is that we compute the sample mean μ and the sample standard deviation σ, and then, for an appropriate value k₀ = 2, 3, 6, etc., we eliminate all data points outside the interval [μ − k₀ * σ, μ + k₀ * σ] as outliers. Then, we repeat this procedure with the remaining data, eliminate new outliers, etc., until on some iteration, no new outliers are eliminated. In many applications, this procedure works well. However, in this paper, we provide a realistic example in which this procedure, instead of eliminating all …

How To Determine The Stiffness Of The Pavement's Upper Layer (Base) Based On The Overall Stiffness And The Stiffness Of The Lower Layer (Subgrade), Christian Servin, Vladik Kreinovich

Departmental Technical Reports (CS)

In road construction, it is important to estimate difficult-measure stiffness of the pavement's upper layer based the easier-to-measure overall stiffness and the stiffness of the lower layer. In situations when the overall stiffness is not yet sufficient, it is also important to estimate how much more we need to add to the upper layer to reach the desired overall stiffness. In this paper, for the cases when a linear approximation is sufficient, we provide analytical formulas for the desired estimations.

Concepts Of Solutions Of Uncertain Equations With Intervals, Probabilities And Fuzzy Sets For Applied Tasks, Boris Kovalerchuk, Vladik Kreinovich

Departmental Technical Reports (CS)

The focus of this paper is to clarify the concepts of solutions of linear equations in interval, probabilistic, and fuzzy sets setting for real world tasks. There is a fundamental difference between formal definitions of the solutions and physically meaningful concepts of solution in applied tasks, when equations have uncertain components. For instance, a formal definition of the solution in terms of Moore interval analysis can be completely irrelevant for solving a real world task. We show that formal definitions must follow a meaningful concept of the solution in the real world. The paper proposed several formalized definitions of the …

The Range Of A Continuous Functional Under Set-Valued Uncertainty Is Always An Interval, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

One of the main problems of interval computations is computing the range of a given function on a given multi-D interval (box). It is known that the range of a continuous function on a box is always an interval. However, if, instead of a box, we consider the range over a subset of this box, the range is, in general, no longer an interval. In some practical situations, we are interested in computing the range of a functional over a function defined with interval (or, more general, set-valued) uncertainty. At first glance, it may seem that under a non-interval set-valued …

Building 3d Shape Primitive Based Object Models From Range Images, Vamsikrishna Gopikrishna

Computer Science and Engineering Dissertations - Archive

Most pattern recognition approaches to object identification work in the image domain. However this is ignoring potential information that can be provided by depth information. Using range images, we can build a set of geometric depth features. These depth features can be used to identify basic three-dimensional shape primitives. There have been many studies regarding object identification in humans that postulate that at least at a primary level object recognition works by breaking down objects into its component parts. To build a similar Recognition-by-component (RBC) system we need a system to identify these shape primitives. We build a depth feature …

Evaluate The Use Of Fpga Soc For Real Time Data Acquisition And Aggregate Micro-Texture Measurement Using Laser Sensors, Mudit Pradhan

Computer Science and Engineering Theses - Archive

Aggregate texture has been found to play an important role in improving the longevity of highways and pavements. Aggregates with appropriate surface roughness level have an improved bonding with asphalt binder and concrete mixture to produce a more durable road surface. Macro-texture has been found to effect certain other important features of the road surface for example, the skid resistance, flow of water on the surface and noise of the tyre on road. However, more research need to done to access the impact of surface texture at micro-meter level. Accurate measurement of the micro-texture at high resolution and in real-time …

Lilac: The Second Generation Lightweight Low-Latency Anonymous Chat., Revanth Rao Pobala

Computer Science and Engineering Theses - Archive

Instant messaging is one of the most used modes of communication and there are many instant messaging systems available online. Studies from the Electronic Frontier Foundation show that there are only a few instant messengers that keep your messages safe by providing ,security and limited anonymity. Lilac, a Lightweight Low-latency Anonymous Chat, is a secure instant messenger that provides security as well as better anonymity to users as compared to other messengers. It is a browser-based instant messaging system that uses Tor like a model to protect user anonymity. Compared to existing messengers, LILAC protects the users from tra?c analysis …

Cloud Abstraction Libraries: Implementation And Comparison, Udit Agarwal

All Theses

Vendor lock-in makes it difficult for an organization to port their services, application or data. Cloud providers are in race to provide the best-in-class storage, networking and compute resources. Many organizations are moving towards micro-services and cloud services architecture. It is very important for an infrastructure platform to offer a high-quality cloud computing environment consistently across multiple cloud platforms. To enable this, a collaborative yet an independent cloud abstraction service is required. The cloud abstraction library should support the basic use cases of delivery pipeline, service management, cloud operations and security service. Cloud interoperability standards helps to improve availability and …

Improving Accuracy In Large Vocabulary Sign Search Systems, Christopher Conly

Computer Science and Engineering Dissertations - Archive

An automated computer vision-based dictionary system for looking up the meaning of signs can be an invaluable tool both for students and native users of sign languages. Students may not know the meaning of a sign they encounter and would like to learn what it is. A native signer knows what it means to them but may be unsure of the equivalent in English. Such a system can return a ranked video list of the most similar signs to a query video and allow the user to browse the video results to find the desired sign and its meaning. This …

Distributed Data Management In Opportunistic Networks, Chance Ray Eary

Computer Science and Engineering Dissertations - Archive

Opportunistic networks (ONs) allow wireless devices, primarily mobile, to interact with one another through a series of opportunistic contacts. While ONs exploit mobility of devices to route messages and distribute information in the absence of dedicated networking infrastructure, the intermittent connections among devices make many traditional computer collaboration paradigms difficult to realize. Two such paradigms are distributed transactions and distributed shared memory (DSM). Distributed transactions are a sequence of operations, executed across multiple nodes, that must successfully complete as specified by its program, or abort with no changes to memory. DSM allows multiple, independent nodes to collectively operate on a …

Changes In R, R Core Team

The R Journal

CHANGES IN R 3.3.1 patched

CHANGES IN R 3.3.1

CHANGES IN R 3.3.0

Changes On Cran, Kurt Hornik, Achim Zeileis

The R Journal

In the past 8 months,1322 new packages were added to the CRAN package repository. 43 packages were unarchived,48 archived,1 package had to be removed.The following shows the growth of the number of active packages in the CRAN package repository: