Computer Sciences Commons^™

Speeding Up Routing Schedules On Aisle Graphs With Single Access, Francesco Betti Sorbelli, Stefano Carpin, Federico Coro, Sajal K. Das, Alfredo Navarra, Cristina M. Pinotti

Computer Science Faculty Research & Creative Works

In this article, we study the orienteering aisle-graph single-access problem (OASP), a variant of the orienteering problem for a robot moving in a so-called single-access aisle graph, i.e., a graph consisting of a set of rows that can be accessed from one side only. Aisle graphs model, among others, vineyards or warehouses. Each aisle-graph vertex is associated with a reward that a robot obtains when it visits the vertex itself. As the energy of the robot is limited, only a subset of vertices can be visited with a fully charged battery. The objective is to maximize the total reward collected …

Commonsense-Continuous Dynamical Systems -- Stationary States, Prediction, And Reconstruction Of The Past: Fuzzy-Based Analysis, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Traditional analysis of dynamical systems usually assumes that the mapping is continuous -- in precise mathematical sense. However, as many formal definitions, the mathematical definition of continuity does not always adequately capture the commonsense notion of continuity: that small changes in the input should lead to small changes in the output. In this paper, we provide a natural fuzzy-based formalization of this intuitive notion, and analyze how the requirement of commonsense continuity affects the properties of dynamical systems. Specifically, we show that for such systems, the set of fixed points is closed and convex, and that the only such systems …

Need For Techniques Intermediate Between Interval And Probabilistic Ones, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In high performance computing, when we process a large amount of data, we do not have much information about the dependence between measurement errors corresponding to different inputs. To gauge the uncertainty of the result of data processing, the two usual approaches are: the interval approach, when we consider the worst-case scenario in which all measurement errors are strongly correlated, and the probabilistic approach, when we assume that all these errors are independent. The problem is that usually, the interval approach leads to too pessimistic, too large uncertainty estimates, while the probabilistic approach often underestimates the resulting uncertainty. To get …

Fuzzy Or Neural, Type-1 Or Type-2 -- When Each Is Better: First-Approximation Analysis, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

In many practical situations, we need to determine the dependence between different quantities based on the empirical data. Several methods exist for solving this problem, including neural techniques and different versions of fuzzy techniques: type-1, type-2, etc. In some cases, some of these techniques work better, in other cases, other methods work better. Usually, practitioners try several techniques and select the one that works best for their problem. This trying often requires a lot of efforts. It would be more efficient if we could have a priori recommendations about which technique is better. In this paper, we use the first-approximation …

Why Online Teaching Amplifies The Differences Between Instructors' Success, Olga Kosheleva, Vladik Kreinovich, Christian Servin

Departmental Technical Reports (CS)

Empirical studies show that online teaching amplifies the differences between instructors: more successful instructors become even more successful, while the results of the instructors who were not very successful becomes even worse. There is a simple explanation for why the performance of not-perfect instructors decreases: in online teaching, there is less feedback, so these instructors get an indication that their teaching strategies do not work well even later than usual and thus, have fewer time to correct their teaching. However, the fact that the efficiency of good instructors rises is a mystery. In this paper, we provide a possible explanation …

Why Ideas First Appear In Informal Form? Why It Is Very Difficult To Know Yourself? Fuzzy-Based Explanation, Miroslav Svitek, Vladik Kreinovich

Departmental Technical Reports (CS)

To a lay person reading about history of physics, it may sound as if the progress of physics comes from geniuses whose inspiration leads them to precise equations that -- almost magically -- explain all the data: this is what Newton did with mechanics, this is what Schroedinger did with quantum physics, this is what Einstein did with gravitation. However, a deeper study of history of physics shows that in all these cases, these geniuses did not start from scratch -- they formalized ideas that first appeared in imprecise ("fuzzy") form. In this paper, we explain -- on the qualitative …

Why Aspirational Goals: Geometric Explanation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Business gurus recommend that an organization should have, in addition to clearly described realistic goals, also additional aspirational goals -- goals for which we may not have resources and which most probably will not be reached at all. At first glance, adding such a vague goal cannot lead to a drastic change in how the company operates, but surprisingly, for many companies, the mere presence of such aspirational goals boosts the company's performance. In this paper, we show that a simple geometric model of this situation can explain the unexpected success of aspirational goals.

Why Pre-Teaching: A Geometric Explanation, Olga Kosheleva, Vladik Kreinovich, Christian Servin

Departmental Technical Reports (CS)

Traditionally, subjects are taught in sequential order: e.g., first, students study algebra, then they use the knowledge of algebra to study the basis ideas of calculus. In this traditional scheme, teachers usually do not explain any calculus ideas before students are ready – since they believe that this would only confuse students. However, lately, empirical evidence has shows that, contrary to this common belief, pre-teaching – when students get a brief introduction to the forthcoming new topic before this topic starts – helps students learn. In this paper, we provide a geometric explanation for this unexpected empirical phenomenon.

Why Core Curriculum? Why Art And Nature Enhance Creativity? A Mathematical Explanation, Olga Kosheleva, Vladik Kreinovich, Christian Servin

Departmental Technical Reports (CS)

Teaching is not easy. One of the main reasons why it is not easy is that the existing descriptions of the teaching process are not very precise -- and thus, we cannot use the usual optimization techniques, techniques which require a precise model of the corresponding phenomenon. It is therefore desirable to come up with a precise description of the learning process. To come up with such a description, we notice that on the set of all possible states of learning, there is a natural order s ≤ s' meaning that we can bring the student from the state s …

Data Processing Under Fuzzy Uncertainty: Towards More Efficient Algorithm, Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we need to process data under fuzzy uncertainty: we have fuzzy information about the algorithm's input, and we want to find the resulting information about the algorithm's output. It is known that this problem can be reduced to computing the range of the algorithm over alpha-cuts of the input. Since the fuzzy degrees are usually known with accuracy at best 0.1, it is sufficient to repeat this range-computing procedure for 11 values alpha = 0, 0.1, ..., 1.0. However, a straightforward application of this idea requires 11 times longer computation time than each range estimation -- …

How To Describe Relative Approximation Error? A New Justification For Gustafson's Logarithmic Expression, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

How can we describe relative approximation error? When the value b approximate a value a, the usual description of this error is the ratio |b − a|/|a|. The problem with this approach is that, contrary to our intuition, we get different numbers gauging how well a approximates b and how well b approximates a. To avoid this problem, John Gustafson proposed to use the logarithmic measure |ln(b/a)|. In this paper, we show that this is, in effect, the only regular scale-invariant way to describe the relative approximation error.

How To React To Student Evaluations, Olga Kosheleva, Vladik Kreinovich, Christian Servin

Departmental Technical Reports (CS)

If most students comment that the course was too fast, a natural idea is to slow it down. If most students comment that the course was too slow, a natural idea is to speed it up. But what if half the students think the speed was too fast and half that the speed was too slow? A frequent reaction to such a situation is to conclude that the speed was just right and not change the speed the next time, but this may not be the right reaction: under the same speed, half of the students will struggle and may …

Rate Maximization In A Uav Based Full-Duplex Multi-User Communication Network Using Multi-Objective Optimization, Syed Muhammad Hashir, Sabyasachi Gupta, Gavin Megson, Ehsan Aryafar, Joseph Camp

Computer Science Faculty Publications and Presentations

In this paper, we study an unmanned-aerial-vehicle (UAV) based full-duplex (FD) multi-user communication network, where a UAV is deployed as a multiple-input–multiple-output (MIMO) FD base station (BS) to serve multiple FD users on the ground. We propose a multi-objective optimization framework which considers two desirable objective functions, namely sum uplink (UL) rate maximization and sum downlink (DL) rate maximization while providing quality-of-service to all the users in the communication network. A novel resource allocation multi-objective-optimization-problem (MOOP) is designed which optimizes the downlink beamformer, the beamwidth angle, and the 3D position of the UAV, and also the UL power of the …

Modeling Sentiments And Preferences From Multimodal Data, Quoc Tuan Truong

Dissertations and Theses Collection (Open Access)

Online reviews are prevalent in many modern Web applications, such as e-commerce, crowd-sourced location and check-in platforms. Fueled by the rise of mobile phones that are often the only cameras on hand, reviews are increasingly multimodal, with photos in addition to textual content. In this thesis, we focus on modeling the subjectivity carried in this form of data, with two research objectives.

In the first part, we tackle the problem of detecting sentiment expressed by a review. This is a key unlocking many applications, e.g., analyzing opinions, monitoring consumer satisfaction, assessing product quality.
Traditionally, the task of sentiment analysis primarily …

Fedvcp: A Federated-Learning-Based Cooperative Positioning Scheme For Social Internet Of Vehicles, Xiangjie Kong, Haoran Gao, Guojiang Shen, Gaohui Duan, Sajal K. Das

Computer Science Faculty Research & Creative Works

Intelligent vehicle applications, such as autonomous driving and collision avoidance, put forward a higher demand for precise positioning of vehicles. The current widely used global navigation satellite systems (GNSS) cannot meet the precision requirements of the submeter level. Due to the development of sensing techniques and vehicle-to-infrastructure (V2I) communications, some vehicles can interact with surrounding landmarks to achieve precise positioning. Existing work aims to realize the positioning correction of common vehicles by sharing the positioning data of sensor-rich vehicles. However, the privacy of trajectory data makes it difficult to collect and train data centrally. Moreover, uploading vehicle location data wastes …

Perioperative Registries In Resource-Limited Settings: The Way Forward For Pakistan, Usama Waqar, Shaheer Ahmed, Ayesha Nasir Hameed, Namrah Aziz, Hina Inam

Medical College Documents

Capable of improving surgical quality, perioperative registries can allow performance benchmarking, reliable reporting and the development of risk-prediction models. Well established in high-income countries, perioperative registries remain limited in lower- and middle-income countries due to several challenges. First, ensuring comprehensive data entry forums to power the registries is difficult because of limited electronic medical records requiring sustained efforts to develop and integrate these into practice. Second, lack of adequate expertise and resources to develop and maintain registry software necessitates the involvement of software developers and information technology personnel. Third, case ascertainment and item completion are challenging secondary to poor-quality medical …

Choices Are Not Independent: Stackelberg Security Games With Nested Quantal Response Models, Tien Mai, Arunesh Sinha

Research Collection School Of Computing and Information Systems

The quantal response (QR) model is widely used in Stackelberg security games (SSG) to model a bounded rational adversary. The QR model is a model of human response from among a large variety of prominent models known as discrete choice models. QR is the simplest type of discrete choice models and does not capture commonly observed phenomenon such as correlation among choices. We introduce the nested QR adversary model (based on nested logit model in discrete choice theory) in SSG which addresses shortcoming of the QR model. We present tractable approximation of the resulting equilibrium problem with nested QR adversary. …

Scriptchecker: To Tame Third-Party Script Execution With Task Capabilities, Wu Luo, Xuhua Ding, Pengfei Wu, Xiaolei Zhang, Qingni Shen, Zhonghai Wu

Research Collection School Of Computing and Information Systems

We present ScriptChecker, a novel browser-based framework to effectively and efficiently restrict third-party script execution according to the host web page’s directives. Different from all existing schemes functioning at the JavaScript layer, ScriptChecker holistically harnesses context separation and the browser’s security monitors to enforce on-demand access controls upon tasks executing untrusted code. The host page can flexibly assign resource-access capabilities to tasks upon their creation. Reaping the benefits of the task capability approach, ScriptChecker outperforms existing techniques in security, usability and performance. We have implemented a prototype of ScriptChecker on Chrome and rigorously evaluated its security against 1373 malicious scripts …

Active Learning Of Discriminative Subgraph Patterns For Api Misuse Detection, Hong Jin Kang, David Lo

Research Collection School Of Computing and Information Systems

A common cause of bugs and vulnerabilities are the violations of usage constraints associated with Application Programming Interfaces (APIs). API misuses are common in software projects, and while there have been techniques proposed to detect such misuses, studies have shown that they fail to reliably detect misuses while reporting many false positives. One limitation of prior work is the inability to reliably identify correct patterns of usage. Many approaches confuse a usage pattern’s frequency for correctness. Due to the variety of alternative usage patterns that may be uncommon but correct, anomaly detection-based techniques have limited success in identifying misuses. We …

Seqseg: A Sequential Method To Achieve Nasopharyngeal Carcinoma Segmentation Free From Background Dominance, Guihua Tao, Haojiang Li, Jiabin Huang, Chu Han, Jiazhou Chen, Guangying Ruan, Wenjie Huang, Yu Hu, Tingting Dan, Bin Zhang, Shengfeng He

Research Collection School Of Computing and Information Systems

Reliable nasopharyngeal carcinoma (NPC) segmentation plays an important role in radiotherapy planning. However, recent deep learning methods fail to achieve satisfactory NPC segmentation in magnetic resonance (MR) images, since NPC is infiltrative and typically has a small or even tiny volume with indistinguishable border, making it indiscernible from tightly connected surrounding tissues from immense and complex backgrounds. To address such background dominance problems, this paper proposes a sequential method (SeqSeg) to achieve accurate NPC segmentation. Specifically, the proposed SeqSeg is devoted to solving the problem at two scales: the instance level and feature level. At the instance level, SeqSeg is …

Time-Efficient Algorithm For The Order-Statistic Operations In Lattice Data Structure, Joseph Mendis

Undergraduate University Honors Capstones

Data structures are an essential part of almost all software programs. The primary operations of most data structures are searching, insertion, deletion, and finding the Kth smallest element. To be of practical use, operations on data structures should be fast and should not use much memory space; in other words, the time and space complexities should not be enormous. This research project provides an algorithm, called FindKth, for the order-statistic operations of finding the ATth smallest element in Lattice Data Structures. In the average case, our algorithm is of time complexity O(n3/2), and it is of time complexity O(n) for …

Estonian Internet Voting With Anonymous Credentials, İsa Sertkaya, Peter Roenne, Peter Y. A. Ryan

Turkish Journal of Electrical Engineering and Computer Sciences

The Estonian Internet voting (EIV) scheme is a unique example of a long-term nation-wide, legally binding electronic voting deployment. The EIV scheme is used in parallel with standard paper-based election day voting, of course invalidating an already cast i-vote. This necessarily requires careful authentication of the eligible voters and makes the Estonian identity card solution a crucial part of the scheme, however, note that Parsovs has recently drawn attention to the security flaws found in Estonian ID-cards. In this study, we propose an e-voting scheme EIV-AC that integrates the EIV scheme with anonymous credentials based on self-sovereign identity. In addition …

In A Digitally Connected World Through Likes, Hashtags And Followers - Advancing Surgical Research Through A Social Media: A Narrative Review, Sabah Uddin Saqib, Qamar` Riaz, Russell Seth Martins, Amna Riaz, Hasnain Zafar

Department for Educational Development

In this era of modern information technology, the world is now digitally connected through various platforms on social media, which has changed the way medical professionals work, communicate and learn. The use of social media in surgery is expanding, and it is now becoming an essential tool for surgical training, research and networking. Articles, journal clubs and surgical conferences are within reach of everyone regardless of geographical location worldwide. Electronic publications have now resoundingly replaced printed editions of journals. Collaborative research through social media platforms helps collect diverse data, enhancing the research's global generalisability. The current narrative review was planned …

Low-Power Computer Vision: Improve The Efficiency Of Artificial Intelligence, George K. Thiruvathukal, Yung-Hisang Lu, Jaeyoun Kim, Yiran Chen, Bo Chen

Computer Science: Faculty Publications and Other Works

Energy efficiency is critical for running computer vision on battery-powered systems, such as mobile phones or UAVs (unmanned aerial vehicles, or drones). This book collects the methods that have won the annual IEEE Low-Power Computer Vision Challenges since 2015. The winners share their solutions and provide insight on how to improve the efficiency of machine learning systems.

Joint Bidding Decision Of Wind Farms And Energy Storage Based On Newsvendor Model, Xinyue Sun, Jian Liu, Meng Ou, Yanyan Liu

Electrical and Computer Engineering Faculty Research & Creative Works

Currently, renewable energy generation has received more and more attention. This article focuses on wind energy generation, one of the renewable energy sources. Aiming at the intermittent and unpredictable wind power problems, according to the day ahead bidding mechanism in the power market, this paper introduces the energy storage system to maximize wind power merchants profit based on the newsvendor model. First, this paper focuses on the wind farms combined with storage system to put forward the optimal bidding decision of selling or buying electricity to the market one day in advance and the optimal bidding amount. Then, we analyze …

Diagnosis Of Polypoidal Choroidal Vasculopathy From Fluorescein Angiography Using Deep Learning, Yu-Yeh Tsai, Wei-Yang Lin, Shih-Jen Chen, Paisan Ruamviboonsuk, Cheng-Ho King, Chia-Ling Tsai

Publications and Research

Purpose: To differentiate polypoidal choroidal vasculopathy (PCV) from choroidal neovascularization (CNV) and to determine the extent of PCV from fluorescein angiography (FA) using attention-based deep learning networks.

Methods: We build two deep learning networks for diagnosis of PCV using FA, one for detection and one for segmentation. Attention-gated convolutional neural network (AG-CNN) differentiates PCV from other types of wet age-related macular degeneration. Gradient-weighted class activation map (Grad-CAM) is generated to highlight important regions in the image for making the prediction, which offers explainability of the network. Attention-gated recurrent neural network (AG-PCVNet) for spatiotemporal prediction is applied for segmentation of PCV. …

Identifying, Evaluating And Applying Importance Maps For Speech, Viet Anh Trinh

Dissertations, Theses, and Capstone Projects

Like many machine learning systems, speech models often perform well when employed on data in the same domain as their training data. However, when the inference is on out-of-domain data, performance suffers. With a fast-growing number of applications of speech models in healthcare, education, automotive, automation, etc., it is essential to ensure that speech models can generalize to out-of-domain data, especially to noisy environments in real-world scenarios. In contrast, human listeners are quite robust to noisy environments. Thus, a thorough understanding of the differences between human listeners and speech models is urgently required to enhance speech model performance in noise. …

Usability Of Health-Related Websites By Filipino-American Adults And Nursing Informatics Experts, Kathleen Begonia

Dissertations, Theses, and Capstone Projects

Filipino-Americans are an understudied minority group with high prevalence and mortality from chronic conditions, such as cardiovascular disease and diabetes. Facing barriers to care and lack of culturally appropriate health resources, they frequently use the internet to obtain health information. It is unknown whether they perceive health-related websites to be useful or easy to use because there are no published usability studies involving this population. Using the Technology Acceptance Model as a theoretical framework, this study investigated the difference between website design ratings by experts and the perceptions of Filipino-American users to determine if usability guidelines influenced the perceived ease …

Representation Learning For Chemical Activity Predictions, Mohamed S. Ayed

Dissertations, Theses, and Capstone Projects

Computational prediction of a phenotypic response upon the chemical perturbation on a biological system plays an important role in drug discovery and many other applications. Chemical fingerprints derived from chemical structures are a widely used feature to build machine learning models. However, the fingerprints ignore the biological context, thus, they suffer from several problems such as the activity cliff and curse of dimensionality. Fundamentally, the chemical modulation of biological activities is a multi-scale process. It is the genome-wide chemical-target interactions that modulate chemical phenotypic responses. Thus, the genome-scale chemical-target interaction profile will more directly correlate with in vitro and in …

Defectchecker: Automated Smart Contract Defect Detection By Analyzing Evm Bytecode, Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, Ting Chen

Research Collection School Of Computing and Information Systems

Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. Detecting and removing contract defects can avoid potential bugs and make programs more robust. Our previous work defined 20 contract defects for smart contracts and divided them into five impact levels. According to …