Physical Sciences and Mathematics Commons^™

Linear Algebra For Computer Science, M. Thulasidas

Research Collection School Of Computing and Information Systems

This textbook introduces the essential concepts and practice of Linear Algebra to the undergraduate student of computer science. The focus of this book is on the elegance and beauty of the numerical techniques and algorithms originating from Linear Algebra. As a practical handbook for computer and data scientists, LA4CS restricts itself mostly to real fields and tractable discourses, rather than deep and theoretical mathematics.

Beyond Smoothness : Incorporating Low-Rank Analysis Into Nonparametric Density Estimation, Rob Vandermeulen, Antoine Ledent

Research Collection School Of Computing and Information Systems

The construction and theoretical analysis of the most popular universally consistent nonparametric density estimators hinge on one functional property: smoothness. In this paper we investigate the theoretical implications of incorporating a multi-view latent variable model, a type of low-rank model, into nonparametric density estimation. To do this we perform extensive analysis on histogram-style estimators that integrate a multi-view model. Our analysis culminates in showing that there exists a universally consistent histogram-style estimator that converges to any multi-view model with a finite number of Lipschitz continuous components at a rate of ˜O(1/3√n) in L1 error. In contrast, the standard histogram estimator …

Concise Mercurial Subvector Commitments: Definitions And Constructions, Yannan Li, Willy Susilo, Guomin Yang, Tran Viet Xuan Phuong, Yong Yu, Dongxi Liu

Research Collection School Of Computing and Information Systems

Vector commitment and its variants have attracted a lot of attention recently as they have been exposed to a wide range of applications in blockchain. Two special extensions of vector commitments, namely subvector commitments and mercurial commitments, have been proposed with attractive features that are desirable in many applications. Nevertheless, to the best of our knowledge, a single construction satisfying all those attractive features is still missing. In this work, we analyze those important properties and propose a new primitive called mercurial subvector commitments, which are efficiently updatable, mercurial hiding, position binding, and aggregatable. We formalize the system model and …

Deriving Invariant Checkers For Critical Infrastructure Using Axiomatic Design Principles, Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt

Research Collection School Of Computing and Information Systems

Cyber-physical systems (CPSs) in critical infrastructure face serious threats of attack, motivating research into a wide variety of defence mechanisms such as those that monitor for violations of invariants, i.e. logical properties over sensor and actuator states that should always be true. Many approaches for identifying invariants attempt to do so automatically, typically using data logs, but these can miss valid system properties if relevant behaviours are not well-represented in the data. Furthermore, as the CPS is already built, resolving any design flaws or weak points identified through this process is costly. In this paper, we propose a systematic …

Data Fusion For Trust Evaluation, Zheng Yan, Qinghua Zheng, Laurence T. Yang, Robert H. Deng

Research Collection School Of Computing and Information Systems

Trust evaluation is a process to quantify trust by analyzing the data related to the factors that affect trust. It has been widely applied in many fields to facilitate decision making, system entity collaboration and security establishment. For example, in social networking, trust evaluation helps users make a social decision, reduce the risk of social interactions, and ensure the quality of a social networking environment. In digital communications, trust evaluation can be applied to detect malicious nodes, filter unwanted traffic and improve communication security. In e-commerce and cloud services, trust evaluation helps users selecting an appropriate product or service from …

Robust Bipoly-Matching For Multi-Granular Entities, Ween Jiann Lee, Maksim Tkachenko, Hady W. Lauw

Research Collection School Of Computing and Information Systems

Entity matching across two data sources is a prevalent need in many domains, including e-commerce. Of interest is the scenario where entities have varying granularity, e.g., a coarse product category may match multiple finer categories. Previous work in one-to-many matching generally presumes the `one' necessarily comes from a designated source and the `many' from the other source. In contrast, we propose a novel formulation that allows concurrent one-to-many bidirectional matching in any direction. Beyond flexibility, we also seek matching that is more robust to noisy similarity values arising from diverse entity descriptions, by introducing receptivity and reclusivity notions. In addition …

Degree Doesn't Matter: Identifying The Drivers Of Interaction In Software Development Ecosystem, Amrita Bhattacharjee, Subhajit Datta, Subhashis Majumder

Research Collection School Of Computing and Information Systems

Large scale software development ecosystems represent one of the most complex human enterprises. In such settings, developers are embedded in a web of shared concerns, responsibilities, and objectives at individual and collective levels. A deep understanding of the factors that influence developers to connect with one another is crucial in appreciating the challenges of such ecosystems as well as formulating strategies to overcome those challenges. We use real world data from multiple software development ecosystems to construct developer interaction networks and examine the mechanisms of such network formation using statistical models to identify developer attributes that have maximal influence on …

Channel Integration Services In Online Healthcare Communities, Anqi Zhao, Qian Tang

Research Collection School Of Computing and Information Systems

In online healthcare communities, channel integration services have become the bridge between online and offline channels, enabling patients to easily migrate across channels. Different from pure online services, online-to-offline (On2Off) and offline-to-online (Off2On) channel integration services involve both channels. This study examines the interrelationships between pure online services and channel integration services. Using a panel dataset composed of data from an online healthcare community, we find that pure online services decrease patients’ demand for On2Off integration services but increase their use of Off2On integration services. Our findings suggest that providing healthcare services online can reduce online patients’ needs to visit …

Canita: Faster Rates For Distributed Convex Optimization With Communication Compression, Zhize Li, Peter Richtarik

Research Collection School Of Computing and Information Systems

Due to the high communication cost in distributed and federated learning, methods relying on compressed communication are becoming increasingly popular. Besides, the best theoretically and practically performing gradient-type methods invariably rely on some form of acceleration/momentum to reduce the number of communications (faster convergence), e.g., Nesterov's accelerated gradient descent (Nesterov, 1983, 2004) and Adam (Kingma and Ba, 2014). In order to combine the benefits of communication compression and convergence acceleration, we propose a \emph{compressed and accelerated} gradient method based on ANITA (Li, 2021) for distributed optimization, which we call CANITA. Our CANITA achieves the \emph{first accelerated rate} $O\bigg(\sqrt{\Big(1+\sqrt{\frac{\omega^3}{n}}\Big)\frac{L}{\epsilon}} + \omega\big(\frac{1}{\epsilon}\big)^{\frac{1}{3}}\bigg)$, …

Towards Understanding Why Lookahead Generalizes Better Than Sgd And Beyond, Pan Zhou, Hanshu Yan, Xiaotong Yuan, Jiashi Feng, Shuicheng Yan

Research Collection School Of Computing and Information Systems

To train networks, lookahead algorithm [1] updates its fast weights k times via an inner-loop optimizer before updating its slow weights once by using the latest fast weights. Any optimizer, e.g. SGD, can serve as the inner-loop optimizer, and the derived lookahead generally enjoys remarkable test performance improvement over the vanilla optimizer. But theoretical understandings on the test performance improvement of lookahead remain absent yet. To solve this issue, we theoretically justify the advantages of lookahead in terms of the excess risk error which measures the test performance. Specifically, we prove that lookahead using SGD as its inner-loop optimizer can …

Gradient Generating Microfluidic Coculture System For Disease Modeling And Neural Development, Phaneendra Chennampally

Electronic Theses and Dissertations

Cellular microenvironment or cell niche plays an important role in developmental biology and disease pathophysiology. Physical or chemical signals in microenvironment drive the cellular activity. These signaling molecules are generated from the surrounding cells/tissues as part of intercellular communication; a fundamental property of a cell. Dynamic profile of these signaling molecules in the microenvironment plays a pivotal role in transfer of molecular information from cell to cell in disease proliferation or fate determination. Recapitulating these signaling cues in an in vitro study is difficult to achieve using standard cell culture techniques. However microfluidic systems are capable of addressing these issues, …

Characterization And Influence Of The Mcmurdo Shear Zone, Antarctica On The Ross Ice Shelf And Its Tributary, Lynn Kaluzienski

Electronic Theses and Dissertations

As ice shelves are floating and lack resistive stress at their base, resistance to flow is accommodated along their lateral margins and various pinning points such as ice rises and nunataks. As such, ice shelf shear margins and their strength through time remain a critical control on ice shelf stability. Specifically, lateral shear zone destabilization is an important precursor to ice shelf collapse. In this thesis I utilize in-situ, remote sensing, and numerical modeling techniques in order to characterize the flow field and geometry of the western lateral margin of the Ross Ice Shelf as well as a region upstream …

Coupled Model Sea Surface Temperature Biases And Their Influence On Tropical Cyclone Environmental Conditions In An Atmospheric General Circulation Model, Hunter Tubbs

Electronic Theses and Dissertations

Most climate models participating in the Coupled Model Intercomparison Project, Phase 5 (CMIP5) struggle to accurately simulate all aspects of the climatological global sea surface temperature (SST) distribution, especially in regions of coastal and equatorial upwelling. Of particular interest in this thesis are coupled model SST biases in the tropics and their potential influence on environmental conditions associated with tropical cyclone (TC) genesis and intensity. To evaluate this, two atmospheric general circulation models (AGCMs), the ECHAM5 and CAM5, were employed, first to examine their ability to capture observed TC characteristics when forced with observed SSTs (control runs) and then by …

Visualizing Features From Deep Neural Networks Trained On Alzheimer’S Disease And Few-Shot Learning Models For Alzheimer’S Disease, John Reeder

All Theses

Alzheimer’s disease is an incurable neural disease, usually affecting the elderly. The afflicted suffer from cognitive impairments that get dramatically worse at each stage. Previous research on Alzheimer’s disease analysis in terms of classification leveraged statistical models such as support vector machines. However, statistical models such as support vector machines train the from numerical data instead of medical images. Today, convolutional neural networks (CNN) are widely considered as the one which can achieve the state-of-the- art image classification performance. However, due to their black box nature, there can be reluctance amongst medical professionals for their use. On the other hand, …

Analysis Of Deep Learning Methods For Wired Ethernet Physical Layer Security Of Operational Technology, Lucas Torlay

All Theses

The cybersecurity of power systems is jeopardized by the threat of spoofing and man-in-the-middle style attacks due to a lack of physical layer device authentication techniques for operational technology (OT) communication networks. OT networks cannot support the active probing cybersecurity methods that are popular in information technology (IT) networks. Furthermore, both active and passive scanning techniques are susceptible to medium access control (MAC) address spoofing when operating at Layer 2 of the Open Systems Interconnection (OSI) model. This thesis aims to analyze the role of deep learning in passively authenticating Ethernet devices by their communication signals. This method operates at …

Checking Smart Contracts With Structural Code Embedding, Zhipeng Gao, Lingxiao Jiang, Xin Xia, David Lo, John Grundy

Research Collection School Of Computing and Information Systems

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart contract security, not to mention that the blockchain systems on which the smart contracts are built can be buggy. Thus, there is a significant need to better maintain smart contract code and ensure its high reliability. In this paper, we propose an automated approach to learn characteristics of smart contracts in Solidity, useful for repetitive contract code, bug detection and contract validation. Our new approach is based on …

Explainable Transfer-Learning And Knowledge Distillation For Fast And Accurate Head-Pose Estimation, Nima Aghli

Theses and Dissertations

Head-pose estimation from facial images is an important research topic in computer-vision. It has many applications in detecting the focus of attention, monitoring driver behavior, and human-computer interaction. As with other computer-vision topics, recent research on head-pose estimation has been focused on using deep convolutional neural networks (CNNs). Although deeper networks improve prediction accuracy, they suffer from dependency on expensive hardware such as GPUs to perform real-time inference. As a result, CNN model compression becomes an important concept. In this work, we propose a novel CNN compression method by combing weight pruning and knowledge distillation. Additionally, we improve the state-of-the-art …

Estimating The Risk Of Future Plastic Marine Debris Resulting From The Urban Coastal Built Environment, Kelly C. Jones

OES Theses and Dissertations

The growing urban built environment in the coastal zone poses an unknown risk to the marine biosphere as a source of marine debris. Plastic, since its introduction in the mid- 1900s, is now used in nearly all aspects of human life. Growth in human population and urbanization in coastal zones has resulted in the accumulation of large stocks of plastic in the coastal built environment, and these stocks are still growing exponentially. The coastal zone is exposed to a number of hazards including storms, tsunamis, and sea level rise, and most of these hazards are expected to change in the …

Data-Driven Operational And Safety Analysis Of Emerging Shared Electric Scooter Systems, Qingyu Ma

Computational Modeling & Simulation Engineering Theses & Dissertations

The rapid rise of shared electric scooter (E-Scooter) systems offers many urban areas a new micro-mobility solution. The portable and flexible characteristics have made E-Scooters a competitive mode for short-distance trips. Compared to other modes such as bikes, E-Scooters allow riders to freely ride on different facilities such as streets, sidewalks, and bike lanes. However, sharing lanes with vehicles and other users tends to cause safety issues for riding E-Scooters. Conventional methods are often not applicable for analyzing such safety issues because well-archived historical crash records are not commonly available for emerging E-Scooters.

Perceiving the growth of such a micro-mobility …

A Copula Model Approach To Identify The Differential Gene Expression, Prasansha Liyanaarachchi

Mathematics & Statistics Theses & Dissertations

Deoxyribonucleic acid, more commonly known as DNA, is a complex double helix-shaped molecule present in all living organisms and hosts thousands of genes. However, only a few genes exhibit differential expression and play a vital role in a particular disease such as breast cancer. Microarray technology is one of the modern technologies developed to study these gene expressions. There are two major microarray technologies available for expression analysis: Spotted cDNA array and oligonucleotide array. The focus of our research is the statistical analysis of data that arises from the spotted cDNA microarray. Numerous models have been proposed in the literature …

Identification And Characterization Of Bisbenzimide Compounds That Inhibit Human Cytomegalovirus Replication, Nicole Falci Finardi, Hyeongjun Kim, Lee Z. Hernandez, Matthew R. G. Russell, Catherine M-K Ho, Vattipally B. Sreenu, Hannah A. Wenham, Andy Merritt, Blair L. Strang

Physics and Astronomy Faculty Publications and Presentations

The shortcomings of current anti-human cytomegalovirus (HCMV) drugs has stimulated a search for anti-HCMV compounds with novel targets. We screened collections of bioactive compounds and identified a range of compounds with the potential to inhibit HCMV replication. Of these compounds, we selected bisbenzimide compound RO-90-7501 for further study. We generated analogues of RO-90-7501 and found that one compound, MRT00210423, had increased anti-HCMV activity compared to RO-90-7501. Using a combination of compound analogues, microscopy and biochemical assays we found RO-90-7501 and MRT00210423 interacted with DNA. In single molecule microscopy experiments we found RO-90-7501, but not MRT00210423, was able to compact DNA, …

Forage Production From Perennial Vs. Annual Crop R~ On In Sandy Soils In Egypt, Z. Abdelhalim, O. Niemeläinen, I. A. Hanna, A. M. Rammah

IGC Proceedings (1993-2023)

Forage production was studied on newly reclaimed sandy soil in Egypt trom perennial lucerne (Medicago sativa L.) and two annual crop rotations. The cropping systems were: A) lucerne, B) berseem clover (Trifolium alexandrinum L.) in the winter followed by pearl millet (Pennisetum glaucum R. Br. Emend. Stantz.) in the summer and C) triticale (XX Triticosecale Wittm.) (forage cut + grain harvest) in the winter followed by maize (Zea mays L.) (grain + stover) in the summer. Mean annual dry matter yields (t ha^-1 ) were 20.65, 26.59 and 27.48 from A, B and C, respectively. However, …

Carry-Over Effect In Forage Rotations On Newly Reclaimed Sandy Soil In Egypt, Z. Abdelhalim, O. Niemeläinen, I. A. Hanna, A. M. Rammah

IGC Proceedings (1993-2023)

This study was carried out to investigate the carry-over effect of a preceding crop on the productivity of the following crop in various rotations in newly reclaimed lands in Egypt. The productivity of peanut (Arachis hypogaea L.), soyabean (Glycine max (L.) Merr.), maize (Zea mays L.) and pearl millet (Pennisetum glaucum (L.) R. Br.) in summer season were much higher following berseem (Trifolium alexandrinum L.) or lentil (Lens culinaris Medic) than after wheat (Triticum aestivum L.) or barley (Hordeum vulgare L.) in both years of the study. Soyabean was the best summer …

Direct Drilling Of Soybean In A Pensacola Bahiagrass Pasture In The Northwest Region Of Rio Grande Do Sul, Brazil, R. B. Medeiros, J. Riboldi, J. C. De Saibro, J. E. G. Zambra

IGC Proceedings (1993-2023)

The response of methods of soil preparation (M₁=conventional tillage, and with notillage using the following herbicides M₂=50% Paraquat plus 50% Orizalin; M₃=50% Paraquat plus 50% Diquat and M₄=Paracol (20% Paraquat plus 20 Diuron)) and row spacing (E₁=17 cm, E₂=24 cm, E₃=51 cm and E₄=68 cm) on soybean grain yield direct drilled in an eight-year-old grazed sward of Bahiagrass cv. Pensacola (Paspalum notatum var. saurae Parodi) were studied in southern of Brazil. The results showed that direct drilling of soybean on Pensacola accompanied by …

Forage Quality Evaluation Of Chopped Elephantgrass Hay Through Intake And Digestibility Trial, E. M. De Aguiar, G. F. Da C. Lima, L. G. Da Paz

IGC Proceedings (1993-2023)

The research was carried out to evaluate forage quality of chopped elephantgrass (Pennisetum purpureum Schum.) hay and to define a proper stage for cutting and haymaking of this grass. Chemical composition, voluntary intake, and apparent digestibility of the hays were studied at five different growth stages (30, 48, 63, 76, and 91 days). Twenty-five common wethers were utilized in a completely randomized experimental design. Dry matter (DM) voluntary intake was not different (P> 0.05) from 30 to 63 days of regrowth and from 63 to 91 days and comprised 3.9; 3.5; 3.2; 2.1; and 2.4% of animal liveweight, respectively …

Speleogenesis In A Lens Of Metamorphosed Limestone And Ankerite: Ochtiná Aragonite Cave, Slovakia, Pavel Bella, Pavel Bosák, Petr Pruner, Helena Hercman, Katarína Pukanská, Karol Bartoš, Ľudovít Gaál, Dagmar Haviarová, Peter Tomčík, Šimon Kdýr

International Journal of Speleology

The Ochtiná Aragonite Cave (Western Carpathians) represents an unique natural phenomenon. It originated under particular lithological and hydrogeological conditions of the Ochtiná Karst in which several isolated lenses of Paleozoic crystalline limestone (marbles), partly metasomatically altered to ankerite, are enclosed by phyllites. Meteoric water seepage through non-carbonate rocks dissolved limestone and caused the oxidation of ankerite to Fe oxyhydroxides. Carbon dioxide produced during ankerite oxidation enhanced limestone dissolution. The maze cave consists of parallel fault-controlled linear passages and chambers interconnected by transverse horizontal passages. Phreatic and epiphreatic solution morphologies resulted from slowly moving or standing water. These include flat ceilings …

Web Service Quality-Dased Profiling And Selection, Ahmed Magdi Hamza

Archived Theses and Dissertations

Guaranteeing quality of service has been recently labeled as one of multiple major research challenges in the service oriented architecture. In effect, Web service selection from a set of matched services offering the same functional requirements, and ultimately claiming certain quality of service guarantees about themselves is not enough. A need emerges for the existence of a trusted third party that monitors Web service quality indicators, yet in a way that does not interfere with the normal operation of the Web service itself. The third party will eventually provide consumers with guarantees about Web service quality. In this research we …

Consolidation Of Mobile Sands With Ameliorants And Phytomelioration, Sharibay Toremuratov, Bakhtiyar Ismailov

Karakalpak Scientific Journal

The results of even a few experiments show the possibility of obtaining a tangible effect when jointly carrying out chemical reclamation and phytomelioration. Reliable habitation of plants is a guarantee of further long-term stopping of the movement of sand and improvement of the ecological situation.

Thus, the sand-fixing crust obtained by this method simultaneously performs several functions: it stops the movement of sand, reduces dust removal, creates favorable conditions for the growth and development of vegetation, contributes to the emergence of soil structures, the accumulation of humus, etc.

Molecular Attributes Transfer From Non-Parallel Data, Shuangjia Zheng, Ying Song, Pan Zhang, Le Song, Chengtao Li, Yuedong Yang

Machine Learning Faculty Publications

Optimizing chemical molecules for desired properties lies at the core of drug development. Despite initial successes made by deep generative models and reinforcement learning methods, these methods were mostly limited by the requirement of predefined attribute functions or parallel data with manually pre-compiled pairs of original and optimized molecules. In this paper, for the first time, we formulate molecular optimization as a style transfer problem and present a novel generative model that could automatically learn internal differences between two groups of non-parallel data through adversarial training strategies. Our model further enables both preservation of molecular contents and optimization of molecular …

Numerical Study Of Laminar Flow In A Suddenly Expanding Channel, Murodil Madaliev

Scientific-technical journal

The article presents the results of a numerical study of the flow structure in a flat channel in the zone of its sudden expansion in the form of a ledge. The calculations are based on the numerical solution of a system of non-stationary equations using Navier-Stokes. The results of the longitudinal velocity profiles in various sections of the channel after the ledge are obtained. For the difference approximation of the initial equations, the control volume method was used, and the relationship between velocities and pressure was found using the SIMPLE procedure. For the numerical solution of this problem, the McCormack …