Physical Sciences and Mathematics Commons^™

A Cross Section Measurement Of Muon Neutrino-Induced Charged-Current Coherent Positive Pion Production On Argon With The Microboone Detector, Zachary Glenn Randell Williams

Physics Dissertations

Neutrino-induced charged-current coherent pion production is an important channel for the study of neutrino-nucleus interactions. It is both a dangerous background for $\nu_{e}$ oscillation experiments, and a critical component required for precise understanding of neutrino-nucleus pion production in general. This work performed a search for $\nu_{\mu}$-induced charged-current (CC) coherent pion production on argon in MicroBooNE from Fermilab's Booster Neutrino Beamline (BNB), which produces $\nu_{\mu}$ with a mean energy of 0.823 GeV. A flux-integrated cross section measurement was made for this channel, and was found to be: $\sigma(\nu_{\mu} + Ar \rightarrow \mu^{-} + \pi^{+} + Ar) = 1.12 \pm 0.253 \textrm{(stat.)} …

2022 May - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Monthly Report

No abstract provided.

Comparative Analyses Of De Novo Transcriptome Assembly Pipelines For Diploid Wheat, Natasha Pavlovikj

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Gene expression and transcriptome analysis are currently one of the main focuses of research for a great number of scientists. However, the assembly of raw sequence data to obtain a draft transcriptome of an organism is a complex multi-stage process usually composed of pre-processing, assembling, and post-processing. Each of these stages includes multiple steps such as data cleaning, error correction and assembly validation. Different combinations of steps, as well as different computational methods for the same step, generate transcriptome assemblies with different accuracy. Thus, using a combination that generates more accurate assemblies is crucial for any novel biological discoveries. Implementing …

Symbolic Ns-3 For Efficient Exhaustive Testing, Jianfei Shao

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Exhaustive testing is an important type of simulation, where a user exhaustively simulates a protocol for all possible cases with respect to some uncertain factors, such as all possible packet delays or packet headers. It is useful for completely evaluating the protocol performance, finding the worst-case performance, and detecting possible design or implementation bugs of a protocol. It is, however, time consuming to use the brute force method with current NS-3, a widely used network simulator, for exhaustive testing. In this paper, we present our work on Sym-NS-3 for more efficient exhaustive testing, which leverages a powerful program analysis technique …

Ketone Hydrosilylation Studies Using A Carbodiphosphorane Catalyst, Liam Sullivan, Allegra Liberman-Martin

Student Scholar Symposium Abstracts and Posters

The objective of this research is to discover an effective, safe, and low-cost catalyst for ketone hydrosilylation reactions, which involve the addition of a silicon–hydrogen bond across a C=O double bond. Improving catalyst efficiency could benefit the organic synthesis industry, as carbonyl hydrosilylation is used industrially in the synthesis of alcohol products. Use of the carbodiphosphorane catalyst as a replacement for toxic heavy-metal-containing catalysts could reduce waste and emissions harmful to the environment, while also providing an alternative means for accomplishing ketone reduction. Using a cyclic carbodiphosphorane catalyst, we have compared catalytic activity toward acetophenone hydrosilylation for a range of …

Modeling Of Cns Cancer With A Focus On The Immune Component, Daniel Zamler

Dissertations & Theses (Open Access)

The knowledge surrounding cancers of the central nervous system remains poorly developed, in particular with regard to the immune component. The works contained in this thesis look at craniopharyngioma, glioblastoma, and several forms of brain metastasis. While some attention is given to the tumor cells themselves, as well as the patient setting which these studies model, the immune component of disease progression and treatment plays a strong role in each and is the primary focus of the works contained.

Craniopharyngioma is a relatively rare tumor in adults. Although histologically benign, it can be locally aggressive and may require additional therapeutic …

Terrestrial Planet Formation In M-Dwarf And Binary Star Systems, Anna C. Childs

UNLV Theses, Dissertations, Professional Papers, and Capstones

I examine circumbinary terrestrial planet formation in a gas free environment around various binary systems and terrestrial planet formation in a gaseous environment around M-dwarfs. While terrestrial cirumbinary planets have yet to be observed, this is likely due to observational bias. Motivated by recent observations of highly misaligned circumbinary gas disks, I perform a suite of n-body studies to understand the properties of terrestrial planets around various binary systems. In a polar alignment, a circumbinary disk is inclined by 90 degrees relative to the binary orbital plane. I find that terrestrial planet formation in a polar configuration may be as …

Interval Observer-Based Supervision Of Nonlinear Networked Control Systems, Afef Najjar, Thach Ngoc Dinh, Messaoud Amairi, Tarek Raissi

Turkish Journal of Electrical Engineering and Computer Sciences

Networked control system (NCS) is a multidisciplinary area that attracts increasing attention today. In this paper, we deal with remote supervision of a nonlinear networked control systems class subject to network imperfections. Different from many existing researches that consider only the problem of small and/or constant communication delays, we focus on large and time-varying network delays problem in both measurement and control channels. The proposed method is a set-membership estimation-based predictor approach computing a guaranteed set of admissible state values when the uncertainties (i.e. measurement noises and system disturbances) are considered unknown but bounded with a priori known bounds. The …

Binary Flower Pollination Algorithm Based User Scheduling For Multiuser Mimo Systems, Jyoti Mohanty, Prabina Pattanayak, Arnab Nandi, Krishna Lal Baishnab, Fazal Ahmed Talukdar

Turkish Journal of Electrical Engineering and Computer Sciences

In this article, a multiuser (MU) multiinput multioutput (MIMO) system is considered, which is essential to support a huge number of subscribers without consuming extra bandwidth or power. Dirty paper coding (DPC) for MU MIMO channel achieves the peak sum-rate for the MU multiple antenna system at the cost of high computational complexity. Both user and antenna scheduling with a population based meta-heuristic algorithm, i.e. binary flower pollination algorithm (binary FPA) has been demonstrated in this article to achieve system sum-rate comparable to DPC with very less computational complexity and time complexity. Moreover, binary FPA shows a significant improvement in …

Stochastic Day-Ahead Optimal Scheduling Of Multimicrogrids: An Alternating Direction Method Of Multipliers (Admm) Approach, Amin Safari, Hossein Nasiraghdam

Turkish Journal of Electrical Engineering and Computer Sciences

Multimicrogrid system is a novel notion in modern power systems as a result of developing renewable-based generation units and accordingly microgrids in distribution networks. Their energy management might be challenging due to presence of independent units. Thus, in this paper, a decentralized method for energy management of multimicrogrid systems has been proposed. Decentralized methods can enhance the privacy of users and reduce the burden of calculations. Alternating direction method of multipliers (ADMM) is selected as a decentralized approach which has the capability of breaking problems with complicating constraints in order to facilitate the solving process. Using decentralized approach not only …

Development Of A Control Algorithm And Conditioning Monitoring For Peak Load Balancing In Smart Grids With Battery Energy Storage System, Turhan Atici, Sezai̇ Taşkin, İbrahi̇m Şengör, Maci̇t Tozak, Osman Demi̇rci̇

Turkish Journal of Electrical Engineering and Computer Sciences

As the traditional electricity grid transitions to the smart grid (SG), some emerging issues such as increased renewable energy penetration in the power system that cause load unbalances require new control methods. Storage of energy seems to be the best option to struggle with such issues. In this manner, energy storage technologies ensure the operating flexibility of the distribution system operator in the power system in terms of both sustainability of energy and peak load balancing. In this study, a grid condition monitoring user-interface and control algorithm is developed for the peak load reduction and supply-demand balancing in a SG …

A Novel Fault Detection Approach Based On Multilinear Sparse Pca: Application Onthe Semiconductor Manufacturing Processes, Riadh Toumi, Yahia Kourd, Dimitri Lefebvre

Turkish Journal of Electrical Engineering and Computer Sciences

Batch processes are extremely important to researchers since they are widely used in many fields such as biochemistry, pharmacy, and semiconductors. The powerful batch detection method is critical to increase the performance of the overall equipment and to reduce the use of check wafers. Many techniques have been used in batch process monitoring. Among them, the multivariate statistical process control (MSPC) is very useful in batch process monitoring because of the large number of records data. Therefore, batch processes have certain characteristics, such as multimodal batch nonlinearity trajectories, which were challenged by these MSPCs. In this paper, a novel process …

Two Person Interaction Recognition Based On A Dual-Coded Modified Metacognitive (Dcmmc) Extreme Learning Machine, Saman Nikzad, Afshin Ebrahimi

Turkish Journal of Electrical Engineering and Computer Sciences

Human action recognition has been an active research area for over three decades. However, state-of-the-art proposed algorithms are still far from developing error-free and fully-generalized systems to perform accurate interaction recognition. This work proposes a new method for two-person interaction recognition from videos, based on well-known cognitive theories. The main idea is to perform classification based on a theory of cognition known as dual coding theory. The theory states that human brain processes and represents two types of information to learn/classify data named analogue and symbolic codes, i.e. (verbal as analogue and visual as symbolic). To implement such a theory …

Anomaly Detection In Rotating Machinery Using Autoencoders Based On Bidirectional Lstm And Gru Neural Networks, Krishna Patra, Rabi Narayan Sethi, Dhiren Kkumar Behera

Turkish Journal of Electrical Engineering and Computer Sciences

A time series anomaly is a form of anomalous subsequence that indicates future faults will occur. The development of novel techniques for detecting this type of anomaly is significant for real-time system monitoring. Several algorithms have been used to classify anomalies successfully. However, the time series anomaly detection algorithm was not studied well. We use a new bidirectional LSTM and GRU neural networks-based hybrid autoencoder to detect if a machine is operating normally in this research. An autoencoder is trained on a set of 12 features taken from healthy operating data gathered promptly after a planned maintenance period using vibration …

A Comprehensive Survey For Non-Intrusive Load Monitoring, Efe İsa Tezde, Eray Yildiz

Turkish Journal of Electrical Engineering and Computer Sciences

Energy-saving and efficiency are as important as benefiting from new energy sources to supply increasing energy demand globally. Energy demand and resources for energy saving should be managed effectively. Therefore, electrical loads need to be monitored and controlled. Demand-side energy management plays a vital role in achieving this objective. Energy management systems schedule an optimal operation program for these loads by obtaining more accurate and precise residential and commercial loads information. Different intellegent measurement applications and machine learning algorithms have been proposed for the measurement and control of electrical devices/loads used in buildings. Of these, nonintrusive load monitoring (NILM) is …

Twitter Account Classification Using Account Metadata: Organizationvs. Individual, Yusuf Mucahi̇t Çeti̇nkaya, Mesut Gürlek, İsmai̇l Hakki Toroslu, Pinar Karagöz

Turkish Journal of Electrical Engineering and Computer Sciences

Organizations present their existence on social media to gain followers and reach out to the crowds. Social media-related tasks and applications, such as social media graph construction, sentiment analysis, and bot detection, are required to identify the entities' account types. Some applications focus on personal accounts, whereas others only need nonpersonal accounts. This paper addresses the account classification problem using only minimum amount of data, which is the metadata of the account's profile. The proposed approach classifies accounts either as organization or individual, in a language-independent manner, without collecting the accounts' tweet content. The model uses a long short term …

A Novel Crimping Technique Approach For High Power White Good Plugs, Ömer Ci̇han Kivanç, Okan Özgönenel, Ömer Bostan, Şahi̇n Güzel, Mert Demi̇rsoy

Turkish Journal of Electrical Engineering and Computer Sciences

The crimping process is essential to human health and the durability of devices, especially in domestic appliances. Moreover, terminal crimping is critical to the safe transmission of electricity; incorrect crimping leads to problems including overheating of the plug, power loss, arc, and failure of the mechanical connection. In recent years, analysis has been performed by the finite element method (FEM) to prevent the incorrect design of crimping and to develop higher performance crimping techniques. A novel crimping technique for domestic appliances requiring high powered plugs is proposed in this study. After defining the crimp parameters and the materials that are …

Context Modeling With Evidence Filter For Multiple Choice Question Answering, Sicheng Yu, Hao Zhang, Wei Jing, Jing Jiang

Research Collection School Of Computing and Information Systems

Multiple-Choice Question Answering (MCQA) is one of the challenging tasks in machine reading comprehension. The main challenge in MCQA is to extract "evidence" from the given context that supports the correct answer. In OpenbookQA dataset [1], the requirement of extracting "evidence" is particularly important due to the mutual independence of sentences in the context. Existing work tackles this problem by annotated evidence or distant supervision with rules which overly rely on human efforts. To address the challenge, we propose a simple yet effective approach termed evidence filtering to model the relationships between the encoded contexts with respect to different options …

Topic-Guided Conversational Recommender In Multiple Domains, Lizi Liao, Ryuichi Takanobu, Yunshan Ma, Xun Yang, Minlie Huang, Tat-Seng Chua

Research Collection School Of Computing and Information Systems

Conversational systems have recently attracted significant attention. Both the research community and industry believe that it will exert huge impact on human-computer interaction, and specifically, the IR/RecSys community has begun to explore Conversational Recommendation. In real-life scenarios, such systems are often urgently needed in helping users accomplishing different tasks under various situations. However, existing works still face several shortcomings: (1) Most efforts are largely confined in single task setting. They fall short of hands in handling tasks across domains. (2) Aside from soliciting user preference from dialogue history, a conversational recommender naturally has access to the back-end data structure which …

Structure-Aware Visualization Retrieval, Haotian Li, Yong Wang, Aoyu Wu, Huan Wei, Huamin. Qu

Research Collection School Of Computing and Information Systems

With the wide usage of data visualizations, a huge number of Scalable Vector Graphic (SVG)-based visualizations have been created and shared online. Accordingly, there has been an increasing interest in exploring how to retrieve perceptually similar visualizations from a large corpus, since it can benefit various downstream applications such as visualization recommendation. Existing methods mainly focus on the visual appearance of visualizations by regarding them as bitmap images. However, the structural information intrinsically existing in SVG-based visualizations is ignored. Such structural information can delineate the spatial and hierarchical relationship among visual elements, and characterize visualizations thoroughly from a new perspective. …

Natural Attack For Pre-Trained Models Of Code, Zhou Yang, Jieke Shi, Junda He, David Lo

Research Collection School Of Computing and Information Systems

Pre-trained models of code have achieved success in many important software engineering tasks. However, these powerful models are vulnerable to adversarial attacks that slightly perturb model inputs to make a victim model produce wrong outputs. Current works mainly attack models of code with examples that preserve operational program semantics but ignore a fundamental requirement for adversarial example generation: perturbations should be natural to human judges, which we refer to as naturalness requirement. In this paper, we propose ALERT (Naturalness Aware Attack), a black-box attack that adversarially transforms inputs to make victim models produce wrong outputs. Different from prior works, this …

Who Will Support My Project? Interactive Search Of Potential Crowdfunding Investors Through Insearch., Songheng Zhang, Yong Wang, Haotian Li, Wanyu Zhang

Research Collection School Of Computing and Information Systems

Crowdfunding provides project founders with a convenient way to reach online investors. However, it is challenging for founders to find the most potential investors and successfully raise money for their projects on crowdfunding platforms. A few machine learning based methods have been proposed to recommend investors’ interest in a specific crowdfunding project, but they fail to provide project founders with explanations in detail for these recommendations, thereby leading to an erosion of trust in predicted investors. To help crowdfunding founders find truly interested investors, we conducted semi-structured interviews with four crowdfunding experts and presentsinSearch, a visual analytic system. inSearch allows …

Rumorlens: Interactive Analysis And Validation Of Suspected Rumors On Social Media, Ran Wang, Kehan Du, Qianhe Chen, Yifei Zhao, Mojie Tang, Hongxi Tao, Shipan Wang, Yiyao Li, Yong Wang

Research Collection School Of Computing and Information Systems

With the development of social media, various rumors can be easily spread on the Internet and such rumors can have serious negative effects on society. Thus, it has become a critical task for social media platforms to deal with suspected rumors. However, due to the lack of effective tools, it is often difficult for platform administrators to analyze and validate rumors from a large volume of information on a social media platform efficiently. We have worked closely with social media platform administrators for four months to summarize their requirements of identifying and analyzing rumors, and further proposed an interactive visual …

Ptm4tag: Sharpening Tag Recommendation Of Stack Overflow Posts With Pre-Trained Models, Junda He, Bowen Xu, Zhou Yang, Donggyun Han, Chengran Yang, David Lo

Research Collection School Of Computing and Information Systems

Stack Overflow is often viewed as one of the most influential Software Question & Answer (SQA) websites, containing millions of programming-related questions and answers. Tags play a critical role in efficiently structuring the contents in Stack Overflow and are vital to support a range of site operations, e.g., querying relevant contents. Poorly selected tags often introduce extra noise and redundancy, which raises problems like tag synonym and tag explosion. Thus, an automated tag recommendation technique that can accurately recommend high-quality tags is desired to alleviate the problems mentioned above.

Simple Or Complex? Together For A More Accurate Just-In-Time Defect Predictor, Xin Zhou, Donggyun Han, David Lo

Research Collection School Of Computing and Information Systems

Just-In-Time (JIT) defect prediction aims to automatically predict whether a commit is defective or not, and has been widely studied in recent years. In general, most studies can be classified into two categories: 1) simple models using traditional machine learning classifiers with hand-crafted features, and 2) complex models using deep learning techniques to automatically extract features. Hand-crafted features used by simple models are based on expert knowledge but may not fully represent the semantic meaning of the commits. On the other hand, deep learning-based features used by complex models represent the semantic meaning of commits but may not reflect useful …

Arseek: Identifying Api Resource Using Code And Discussion On Stack Overflow, Gia Kien Luong, Mohammad Hadi, Thung Ferdian, Fatemeh H. Fard, David Lo

Research Collection School Of Computing and Information Systems

It is not a trivial problem to collect API-relevant examples, usages, and mentions on venues such as Stack Overflow. It requires efforts to correctly recognize whether the discussion refers to the API method that developers/tools are searching for. The content of the Stack Overflow thread, which consists of both text paragraphs describing the involvement of the API method in the discussion and the code snippets containing the API invocation, may refer to the given API method. Leveraging this observation, we develop ARSeek, a context-specific algorithm to capture the semantic and syntactic information of the paragraphs and code snippets in a …

On The Transferability Of Pre-Trained Language Models For Low-Resource Programming Languages, Fuxiang Chen, Fatemeh H. Fard, David Lo, Timofey Bryksin

Research Collection School Of Computing and Information Systems

A recent study by Ahmed and Devanbu reported that using a corpus of code written in multilingual datasets to fine-tune multilingual Pre-trained Language Models (PLMs) achieves higher performance as opposed to using a corpus of code written in just one programming language. However, no analysis was made with respect to fine-tuning monolingual PLMs. Furthermore, some programming languages are inherently different and code written in one language usually cannot be interchanged with the others, i.e., Ruby and Java code possess very different structure. To better understand how monolingual and multilingual PLMs affect different programming languages, we investigate 1) the performance of …

Exais: Executable Ai Semantics, Richard Schumi, Jun Sun

Research Collection School Of Computing and Information Systems

Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' mind, complex 'AI' systems are built by optimising generic neural network models with big data. In this new paradigm, AI frameworks such as TensorFlow and PyTorch play a key role, which is as essential as the compiler for traditional programs. It is known that the lack of a proper semantics for programming languages (such as C), i.e., a correctness specification for compilers, has contributed to many problematic program behaviours and security issues. While it is …

Designing Visuo-Haptic Illusions With Proxies In Virtual Reality: Exploration Of Grasp, Movement Trajectory And Object Mass, Martin Feick, Kora Persephone Regitz, Anthony Tang, Antonio Kruger

Research Collection School Of Computing and Information Systems

Visuo-haptic illusions are a method to expand proxy-based interactions in VR by introducing unnoticeable discrepancies between the virtual and real world. Yet how different design variables affect the illusions with proxies is still unclear. To unpack a subset of variables, we conducted two user studies with 48 participants to explore the impact of (1) different grasping types and movement trajectories, and (2) different grasping types and object masses on the discrepancy which may be introduced. Our Bayes analysis suggests that grasping types and object masses (≤ 500 g) did not noticeably affect the discrepancy, but for movement trajectory, results were …

Watch Your Flavors: Augmenting People's Flavor Perceptions And Associated Emotions Based On Videos Watched While Eating, Meetha Nesam James, Nimesha Ranasinghe, Anthony Tang, Lora Oehlberg

Research Collection School Of Computing and Information Systems

People engage in different activities while eating alone, such as watching television or scrolling through social media on their phones. However, the impacts of these visual contents on human cognitive processes, particularly related to flavor perception and its attributes, are still not thoroughly explored. This paper presents a user study to evaluate the influence of six different types of video content (including nature, cooking, and a new food video genre known as mukbang) on people’s flavor perceptions in terms of taste sensations, liking, and emotions while eating plain white rice. Our findings revealed that the participants’ flavor perceptions are augmented …