Physical Sciences and Mathematics Commons^™

Computation Of Shortest Path Problem In A Network With Sv-Triangular Neutrosophic Numbers, Florentin Smarandache, Said Broumi, Assia Bakali, Mohamed Talea

Branch Mathematics and Statistics Faculty and Staff Publications

In this article, we present an algorithm method for finding the shortest path length between a paired nodes on a network where the edge weights are characterized by single valued triangular neutrosophic numbers. The proposed algorithm gives the shortest shortest path length from source node to destination node based on a ranking method. Finally, a numerical example is also presented to illustrate the efficiency of the proposed approach.

Curiozităţi Ale Funcţiilor Supermatematice, Florentin Smarandache, Mircea Eugen Selariu

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Numbers In Base B That Generate Primes With Help The Luhn Function Of Order Ω, Florentin Smarandache, Octavian Cira

Branch Mathematics and Statistics Faculty and Staff Publications

We put the problem to determine the sets of integers in base b ≥ 2 that generate primes with using a function.

The Use Of The Pivot Pairwise Relative Criteria Importance Assessment Method For Determining The Weights Of Criteria, Florentin Smarandache, Dragisa Stanujkic, Edmundas Kazimieras Zavadskas, Darjan Karabasevic, Zenonas Turskis

Branch Mathematics and Statistics Faculty and Staff Publications

The weights of evaluation criteria could have a significant impact on the results obtained by applying multiple criteria decision-making methods. Therefore, the two extensions of the SWARA method that can be used in cases when it is not easy, or even is impossible to reach a consensus on the expected importance of the evaluation criteria are proposed in this paper. The primary objective of the proposed extensions is to provide an understandable and easy-to-use approach to the collecting of respondents’ real attitudes towards the significance of evaluation criteria and to also provide an approach to the checking of the reliability …

P-Union And P-Intersection Of Neutrosophic Cubic Sets, Florentin Smarandache, Young Bae Jun, Chang Su Kim

Branch Mathematics and Statistics Faculty and Staff Publications

Conditions for the P-intersection and P-intersection of falsity-external (resp. indeterminacy-external and truth-external) neutrosophic cubic sets to be an falsity-external (resp. indeterminacy-external and truthexternal) neutrosophic cubic set are provided. Conditions for the Punion and the P-intersection of two truth-external (resp. indeterminacyexternal and falsity-external) neutrosophic cubic sets to be a truthinternal (resp. indeterminacy-internal and falsity-internal) neutrosophic cubic set are discussed.

Multicriteria Decision Making Using Double Refined Indeterminacy Neutrosophic Cross Entropy And Indeterminacy Based Cross Entropy, Ilanthenral Kandasamy, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Double Refined Indeterminacy Neutrosophic Set (DRINS) is an inclusive case of the refined neutrosophic set, defined by Smarandache [1], which provides the additional possibility to represent with sensitivity and accuracy the uncertain, imprecise, incomplete, and inconsistent information which are available in real world.

More precision is provided in handling indeterminacy; by classifying indeterminacy (I) into two, based on membership; as indeterminacy leaning towards truth membership (IT ) and indeterminacy leaning towards false membership (IF ). This kind of classification of indeterminacy is not feasible with the existing Single Valued Neutrosophic Set (SVNS), but it is a particular case of the …

Special Types Of Bipolar Single Valued Neutrosophic Graphs, Ali Hassan, Muhammad Aslam Malik, Said Broumi, Assia Bakali, Mohamed Talea, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic theory has many applications in graph theory, bipolar single valued neutrosophic graphs (BSVNGs) is the generalization of fuzzy graphs and intuitionistic fuzzy graphs, SVNGs. In this paper we introduce some types of BSVNGs, such as subdivision BSVNGs, middle BSVNGs, total BSVNGs and bipolar single valued neutrosophic line graphs (BSVNLGs), also investigate the isomorphism, co weak isomorphism and weak isomorphism properties of subdivision BSVNGs, middle BSVNGs, total BSVNGs and BSVNLGs.

Neutrosophic Quadruple Algebraic Hyperstructures, A. A. A. Agboola, B. Davvaz, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The objective of this paper is to develop neutrosophic quadruple algebraic hyperstructures. Specifically, we develop neutrosophic quadruple semihypergroups, neutrosophic quadruple canonical hypergroups and neutrosophic quadruple hyperrings and we present elementary properties which characterize them.

Hyperuncertain, Superuncertain, And Superhyperuncertain Sets/Logics/Probabilities/Statistics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we define for the first time the HyperUncertain, SuperUncertain, and SuperHyperUncertain Sets/Logics/Probabilities/Statistics, the classical case (when the appurtenance degree of a generic element belongs to the unit interval [0, 1]), and the non-classical case (when the appurtenance degree of a generic element is outside on the interval [0, 1]; such theories are called Over/Under/Off-Sets/Logics/Probabilities/Statistics). We prove that the Unary SuperHyperFunction is a generalization of all Uncertain Sets/Logics/Probabilities.

Collaboration In Virtual Worlds: Impact Of Task Complexity On Team Trust And Satisfaction, Fiona Fui-Hoon Nah, Shu Schiller, Brian E. Mennecke, Keng Siau

Research Collection School Of Computing and Information Systems

Virtual worlds are three-dimensional, computer-generated worlds in which team collaboration can be facilitated through the use of shared virtual space and mediated using avatars. This article examines the effect of task complexity on team collaboration. A puzzle game in Second Life was used as the collaborative task and task complexity was manipulated by varying the number of pieces in the puzzle. The hypotheses are that task complexity influences team trust, and team trust influences team process satisfaction in virtual team collaboration. The experimental results indicate that task complexity has significant effects on team trust and team process satisfaction, and team …

A Two-Sided Collaborative Transparent Display Supporting Workspace Awareness, Jiannan Li, Saul Greenberg, Ehud Sharlin

Research Collection School Of Computing and Information Systems

Transparent displays naturally support workspace awareness during face-to-face interactions. Viewers see another person’s actions through the display: gestures, gaze, body movements, and what one is manipulating on the display. Yet we can design even better collaborative transparent displays. First, collaborators on either side should be able to directly interact with workspace objects. Second, and more controversially, both sides should be capable of presenting different content. This affords: reversal of images/text in place (so that people on both sides see objects correctly); personal and private territories aligned atop each other; and GUI objects that provide different visuals for feedthrough vs. feedback. …

Stochastic Invariants For Probabilistic Termination, Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates with probability 1 (almost-sure termination). A powerful approach for this qualitative problem is the notion of ranking supermartingales with respect to a given set of invariants. The quantitative problem (probabilistic termination) asks for bounds on the termination probability, and this problem has not been addressed yet. A fundamental and conceptual drawback of the existing approaches to address probabilistic termination is that even though the supermartingales consider …

Concept-Based Interactive Search System, Yi-Jie Lu, Phuong Anh Nguyen, Hao Zhang, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

Our successful multimedia event detection system at TREC-VID 2015 showed its strength on handling complex concepts in a query. The system was based on a large number of pre-trained concept detectors for textual-to-visual relation. In this paper, we enhance the system by enabling human-in-the-loop. In order to facilitate a user to quickly find an information need, we incorporate concept screening, video reranking by highlighted concepts, relevance feedback and color sketch to refine a coarse retrieval result. The aim is to eventually come up with a system suitable for both Ad-hoc Video Search and Known-Item Search. In addition, as the increasing …

Cross-Modal Recipe Retrieval: How To Cook This Dish?, Jingjing Chen, Lei Pang, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

In social media users like to share food pictures. One intelligent feature, potentially attractive to amateur chefs, is the recommendation of recipe along with food. Having this feature, unfortunately, is still technically challenging. First, the current technology in food recognition can only scale up to few hundreds of categories, which are yet to be practical for recognizing ten of thousands of food categories. Second, even one food category can have variants of recipes that differ in ingredient composition. Finding the best-match recipe requires knowledge of ingredients, which is a fine-grained recognition problem. In this paper, we consider the problem from …

Rfid Ownership Transfer With Positive Secrecy Capacity Channels, Jorge Munilla, Mike Burmester, Alberto Peinado, Guomin Yang, Willy Susilo

Research Collection School Of Computing and Information Systems

RFID ownership transfer protocols (OTPs) transfer tag ownership rights. Recently, there has been considerable interest in such protocols; however, guaranteeing privacy for symmetric-key settings without trusted third parties (TTPs) is a challenge still unresolved. In this paper, we address this issue and show that it can be solved by using channels with positive secrecy capacity. We implement these channels with noisy tags and provide practical values, thus proving that perfect secrecy is theoretically possible. We then define a communication model that captures spatiotemporal events and describe a first example of symmetric-key based OTP that: (i) is formally secure in the …

Enabling Sustainable Bulk Transfer In Environmentally-Powered Wireless Sensor Networks, Alvin C. Valera, Wee-Seng Soh, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

We address the problem of transferring bulk data in environmentally-powered wireless sensor networks where duty cycle compliance is critical for their uninterrupted operation. We propose Pump-and-Nap, a packet train forwarding technique that maximizes throughput while simultaneously enforcing compliance to dynamic duty cycle limitations. A node using Pump-and-Nap operates by pumping a train of packets followed by a napping period where the node forgoes any transmission. Pump-and-Nap employs an adaptive controller to periodically compute the optimal capacity, that is, the maximum number of packets a node can receive and transmit in a train, given its duty cycle constraint. The controller uses …

Online Hacker Forum Censorship: Would Banning The Bad Guys Attract Good Guys?, Qiu-Hong Wang, Le-Ting Zhang, Meng-Ke Qiao

Research Collection School Of Computing and Information Systems

To tackle the ubiquitous cybersecurity threats, a few countries have enacted legislation to criminalize the production, distribution and possession of computer misuse tools. Consequently, online hacker forums, which enable the provision and dissemination of malicious cyber-attack techniques among potential hackers or technology-savvy users, are subject to censorship. This project examines the mixed impacts of online hacker forum censorship on users’ contribution to protection discussion through a natural experiment with large-scale content analysis. We find that while the enforcement indeed reduced the discussion on malicious cyber-attacks, the discussion on cybersecurity protection could increase or decrease in different scenarios. The rationale is …

On The Effectiveness Of Code-Reuse-Based Android Application Obfuscation, Xiaoxiao Tang, Yu Liang, Xinjie Ma, Yan Lin, Debin Gao

Research Collection School Of Computing and Information Systems

Attackers use reverse engineering techniques to gain detailed understanding of executable for malicious purposes, such as re-packaging an Android app to inject malicious code or advertising components. To make reverse engineering more difficult, researchers have proposed various code obfuscation techniques to conceal purposes or logic of code segments. One interesting idea of code obfuscation is to apply codereuse techniques (e.g., Return-Oriented Programming) to (re-)distribute essential code segments before they are reconstructed at runtime. Such techniques are well understood on x86 platform, but relatively less explored on Android. In this paper, we present an evaluation on the extent to which code-reuse-based …

Discovering Historic Traffic-Tolerant Paths In Road Networks, Pui Hang Li, Man Lung Yiu, Kyriakos Mouratidis

Research Collection School Of Computing and Information Systems

Historic traffic information is valuable in transportation analysis and planning, e.g., evaluating the reliability of routes for representative source-destination pairs. Also, it can be utilized to provide efficient and effective route-search services. In view of these applications, we propose the k traffic-tolerant paths (TTP) problem on road networks, which takes a source-destination pair and historic traffic information as input, and returns k paths that minimize the aggregate (historic) travel time. Unlike the shortest path problem, the TTP problem has a combinatorial search space that renders the optimal solution expensive to find. First, we propose an exact algorithm with effective pruning …

Easing Cross-Border Communication: Mobile-Mediated Communication And Its Framework, Kyungsub Choi, Young Soo Kim

Research Collection School Of Computing and Information Systems

Communication is probably the most critical component of an organization engaged in a cross-border collaboration. Today’s smart devices substantially contribute to such communication. Combined with social media, mobile communication technologies are becoming the main platform for many core functions within organizations. In this paper, we identified seven media identifiable attributes: synchronicity (SYN), de-individuation and co-presence (DCP), accessibility readiness (ARD), cognizance of environment change (CEC), wearability-portability (WRB) modality-select (MDS) and visibility (VSB). These seven attributes significantly impact the course of mobile-mediated communication. We believe that development of a theoretical perspective that embraces the complexity of mobile-mediated communication is due in order …

Exploring Representativeness And Informativeness For Active Learning, Bo Du, Zengmao Wang, Lefei Zhang, Liangpei Zhang, Wei Liu, Jialie Shen, Dacheng Tao

Research Collection School Of Computing and Information Systems

How can we find a general way to choose the most suitable samples for training a classifier? Even with very limited prior information? Active learning, which can be regarded as an iterative optimization procedure, plays a key role to construct a refined training set to improve the classification performance in a variety of applications, such as text analysis, image recognition, social network modeling, etc. Although combining representativeness and informativeness of samples has been proven promising for active sampling, state-of-the-art methods perform well under certain data structures. Then can we find a way to fuse the two active sampling criteria without …

Research Strategies For Biomedical And Health Informatics: Some Thought-Provoking And Critical Proposals To Encourage Scientific Debate On The Nature Of Good Research In Medical Informatics, Reinhold Haux, Et Al.

Research Collection School Of Computing and Information Systems

Medical informatics, or biomedical and health informatics (BMHI), has become an established scientific discipline. In all such disciplines there is a certain inertia to persist in focusing on well-established research areas and to hold on to well-known research methodologies rather than adopting new ones, which may be more appropriate. To search for answers to the following questions: What are research fields in informatics, which are not being currently adequately addressed, and which methodological approaches might be insufficiently used? Do we know about reasons? What could be consequences of change for research and for education? Outstanding informatics scientists were invited to …

High Impact Bug Report Identification With Imbalanced Learning Strategies, Xinli Yang, David Lo, Xin Xia, Qiao Huang, Jianling Sun

Research Collection School Of Computing and Information Systems

In practice, some bugs have more impact than others and thus deserve more immediate attention. Due to tight schedule and limited human resources, developers may not have enough time to inspect all bugs. Thus, they often concentrate on bugs that are highly impactful. In the literature, high-impact bugs are used to refer to the bugs which appear at unexpected time or locations and bring more unexpected effects (i.e., surprise bugs), or break pre-existing functionalities and destroy the user experience (i.e., breakage bugs). Unfortunately, identifying high-impact bugs from thousands of bug reports in a bug tracking system is not an easy …

Sensor-Driven Detection Of Social Isolation In Community-Dwelling Elderly, W K P Neranjana Nadee Rodrigo Goonawardene, Xiaoping Toh, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

Ageing-in-place, the ability to age holistically in the community, is increasingly gaining recognition as a solution to address resource limitations in the elderly care sector. Effective elderly care models require a personalised and all-encompassing approach to caregiving. In this regard, sensor technologies have gained attention as an effective means to monitor the wellbeing of elderly living alone. In this study, we seek to investigate the potential of non-intrusive sensor systems to detect socially isolated community dwelling elderly. Using a mixed method approach, our results showed that sensor-derived features such as going-out behavior, daytime napping and time spent in the living …

Safestack+: Enhanced Dual Stack To Combat Data-Flow Hijacking, Yan Lin, Xiaoxiao Tang, Debin Gao

Research Collection School Of Computing and Information Systems

SafeStack, initially proposed as a key component of Code Pointer Integrity (CPI), separates the program stack into two distinct regions to provide a safe region for sensitive code pointers. SafeStack can prevent buffer overflow attacks that overwrite sensitive code pointers, e.g., return addresses, to hijack control flow of the program, and has been incorporated into the Clang project of LLVM as a C-based language front-end. In this paper, we propose and implement SafeStack+, an enhanced dual stack LLVM plug-in that further protects programs from data-flow hijacking. SafeStack+ locates data flow sensitive variables on the unsafe stack that could potentially affect …

Modeling Dynamic Community Acceptance Of Mining Using Agent-Based Modeling, Mark Kofi Boateng

Doctoral Dissertations

"This research attempts to provide fundamental understanding into the relationship between perceived sustainability of mineral projects and community acceptance. The main objective is to apply agent-based modeling (ABM) and discrete choice modeling to understand changes in community acceptance over time due to changes in community demographics and perceptions. This objective focuses on: 1) formulating agent utility functions for ABM, based on discrete choice theory; 2) applying ABM to account for the effect of information diffusion on community acceptance; and 3) explaining the relationship between initial conditions, topology, and rate of interactions, on one hand, and community acceptance on the other …

Optimization Of Solvent Suppression Sequences For Nmr Analysis Of Aqueous Solutions, Annalise Rose Pfaff

Doctoral Dissertations

"When the use of deuterated solvents is precluded in the NMR analysis of biomolecules in their natural environment, pre-saturation solvent suppression pulse sequences are frequently employed to avoid interference from the overbearing solvent signal. However, these sequences generally require extensive re-adjustment of NMR parameters between samples. For this reason, the EXCEPT (EXponentially Converging Eradication Pulse Train) solvent suppression sequence was developed, which exhibits a tolerance of over an order of magnitude in sample T₁ variation. EXCEPT uses an innovative version of "inversion-recovery nulling" with frequency-selective, low-power adiabatic pulses and exponentially decreasing interpulse delays that effectively reduce solvent net magnetization by …

Spot It! Mathematical Structure In A Children's Game, Tom Clark

Faculty Work Comprehensive List

"Whenever I lead the Northwest Iowa Math Teachers’ Circle I want to use a problem that is easy to explain, unfolds in many directions, and encourages inquiry. Spot It! is the best session topic I have ever seen for this. All you have to do is play the game for a minute or two, and questions arise spontaneously."

Exploiting Modern Image Processing In Surface Flow Visualisation, Tarek Ihab Abdelsalam, Richard Williams, Grant Ingram

Mechanical Engineering

Surface flow visualisation is an experimental technique where the surface of interest is painted with an oil and dye mixture before a flow is applied to the object. In regions of high shear stress the oil/dye mixture is then removed and in regions of low shear stress the oil/dye mixture stays or builds up. The resulting pattern can be analysed to determine the structure near the surface under test, this is normally done in a qualitative manner with flow structures being identified based on the expertise of the experimentalist. Modern image processing tools can identify shapes and lines in pictures …

Identifying Major Tasks From On-Line Reviews, Feras Al-Obeidat, Bruce Spencer

All Works

© 2017 The Authors. Published by Elsevier B.V. Many e-commerce websites allow customers to provide reviews that reflect their experiences and opinions about the business's products or services. Such published reviews potentially benefit the business's reputation, improve both current and future customers' trust in the business, and accordingly improve the business. Negative reviews can inform the merchant of issues that, when addressed, also improve the business. However, when reviews reflect negative experiences and the merchant fails to respond, the business faces potential loss of reputation, trust, and damage. We present the Sentiminder system that identifies reviews with negative sentiment, organizes …