Physical Sciences and Mathematics Commons^™

Meta-Complementing The Semantics Of Short Texts In Neural Topic Models, Ce Zhang, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

Topic models infer latent topic distributions based on observed word co-occurrences in a text corpus. While typically a corpus contains documents of variable lengths, most previous topic models treat documents of different lengths uniformly, assuming that each document is sufficiently informative. However, shorter documents may have only a few word co-occurrences, resulting in inferior topic quality. Some other previous works assume that all documents are short, and leverage external auxiliary data, e.g., pretrained word embeddings and document connectivity. Orthogonal to existing works, we remedy this problem within the corpus itself by proposing a Meta-Complement Topic Model, which improves topic quality …

Towards Automated Safety Vetting Of Smart Contracts In Decentralized Applications, Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang

Research Collection School Of Computing and Information Systems

We propose VetSC, a novel UI-driven, program analysis guided model checking technique that can automatically extract contract semantics in DApps so as to enable targeted safety vetting. To facilitate model checking, we extract business model graphs from contract code that capture its intrinsic business and safety logic. To automatically determine what safety specifications to check, we retrieve textual semantics from DApp user interfaces. To exclude untrusted UI text, we also validate the UI-logic consistency and detect any discrepancies. We have implemented VetSC and applied it to 34 real-world DApps. Experiments have demonstrated that VetSC can accurately interpret smart contract code, …

A Fine-Grained Data Set And Analysis Of Tangling In Bug Fixing Commits, Steffen Herbold, Alexander Trautsch, Benjamin Ledel, Alireza Aghamohammadi, Taher Ahmed Ghaleb, Kuljit Kaur Chahal, Tim Bossenmaier, Bhaveet Nagaria, Philip Makedonski, Matin Nili Ahmadabadi, Kristóf Szabados, Helge Spieker, Matej Madeja, Nathaniel G. Hoy, Christoph Treude, Shangwen Wang, Gema Rodríguez-Pérez, Ricardo Colomo-Palacios, Roberto Verdecchia, Paramvir Singh

Research Collection School Of Computing and Information Systems

Context: Tangled commits are changes to software that address multiple concerns at once. For researchers interested in bugs, tangled commits mean that they actually study not only bugs, but also other concerns irrelevant for the study of bugs.Objective: We want to improve our understanding of the prevalence of tangling and the types of changes that are tangled within bug fixing commits.Methods: We use a crowd sourcing approach for manual labeling to validate which changes contribute to bug fixes for each line in bug fixing commits. Each line is labeled by four participants. If at least three participants agree on the …

Itiger: An Automatic Issue Title Generation Tool, Ting Zhang, Ivana Clairine Irsan, Thung Ferdian, Donggyun Han, David Lo, Lingxiao Jiang

Research Collection School Of Computing and Information Systems

In both commercial and open-source software, bug reports or issues are used to track bugs or feature requests. However, the quality of issues can differ a lot. Prior research has found that bug reports with good quality tend to gain more attention than the ones with poor quality. As an essential component of an issue, title quality is an important aspect of issue quality. Moreover, issues are usually presented in a list view, where only the issue title and some metadata are present. In this case, a concise and accurate title is crucial for readers to grasp the general concept …

An Empirical Study Of Blockchain System Vulnerabilities: Modules, Types, And Patterns, Xiao Yi, Daoyuan Wu, Lingxiao Jiang, Yuzhou Fang, Kehuan Zhang, Wei Zhang

Research Collection School Of Computing and Information Systems

Blockchain, as a distributed ledger technology, becomes increasingly popular, especially for enabling valuable cryptocurrencies and smart contracts. However, the blockchain software systems inevitably have many bugs. Although bugs in smart contracts have been extensively investigated, security bugs of the underlying blockchain systems are much less explored. In this paper, we conduct an empirical study on blockchain’s system vulnerabilities from four representative blockchains, Bitcoin, Ethereum, Monero, and Stellar. Specifically, we first design a systematic filtering process to effectively identify 1,037 vulnerabilities and their 2,317 patches from 34,245 issues/PRs (pull requests) and 85,164 commits on GitHub. We thus build the first blockchain …

Quality Assurance Project Plan, 2023, Montana Bureau Of Mines And Geology

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Time-Varying Rates Of Organic And Inorganic Mass Accumulation In Louisiana Marshes And Relation To Sea-Level Change, Sophie Vincent

LSU Master's Theses

Louisiana wetlands are complex systems that require a continuous input of organic and inorganic material to keep pace with relative sea-level rise (RSLR). Marshes, specifically, rely on organic material to build soil volume and maintain surface elevation. Interannual-to-decadal sea-level anomalies induced by Earth's internal climate variability and atmospheric disturbances such as hurricanes can affect marsh accretion, mineral deposition, and plant productivity. Coastal restoration projects such as sediment diversions are in progress to mitigate land loss and increase availability of inorganic sediment to coastal wetlands. The goal of this project is to determine if organic mass accumulation rates in Louisiana marshes …

Snapshots Of Coastal Ecology During Glacial And Deglacial Intervals: A Multiproxy Assessment Of Northern Gulf Of Mexico Sediment Cores, Kendall Emilie Brome

LSU Master's Theses

Terrestrial ecosystems along exposed continental shelves during times of relatively low sea level and glaciation are rarely preserved due to the mechanically erosive nature of marine transgression and regression. In this study, I investigate the geochemical and palynological characteristics of two well-preserved sites in the northern Gulf of Mexico (NGOM) to determine the ecologic settings and subsequent mechanisms of preservation in this region. Both sites contain preserved terrigenous sediments of previously exposed coastal margins; the first is located at the Alabama Underwater Forest (~13 km south of Gulf Shores, AL, at ~15 mbsl), and optically stimulated luminescence dates to 72–56 …

Review Of The Energy And Social Impact Of Bitcoin Mining And Transactions And Its Potential Use As A Productive Use Of Energy (Pue) To Aid Equitable Investment In Solar Micro And Mini Grids Worldwide, Kevin Hallinan, Lu Hao, Rydge Mulford, Lauren Bower, Kaitlin Russell, Austin Mitchell, Alan Schroeder, Rustam Kuzhin, Mohammad Ehsan Naikkhua, Rohulla Arya, Sayed Ehsani, Rishabh Shukla

Mechanical and Aerospace Engineering Working Papers

Despite the climate commitments made by countries in the Paris Climate Agreement adopted in 2015, and reinforced during COP 21, world carbon emissions have increased in both 2021 and 2022. It is increasingly unlikely that the world can achieve the targeted 50% carbon reduction by 2030; the reduction approximately needed for reducing global temperature rise since the beginning of the industrial revolution to less than 1.5 deg. C. At the same time, the carbon intensive loads associated with bitcoin mining have grown, thereby contributing to growing worldwide carbon emissions. In this context, the role of cryptocurrency and particularly bitcoin is …

A Scientometric Review Of Artificial Intelligence In Tourism (2000-2021), Rujun Wang, Yu Mu, Ying Huang

University of South Florida (USF) M3 Publishing

With the increase in the combination of artificial intelligence and the service industry, many applications of artificial intelligence in tourism have been gradually spawned. However, most of the existing research focuses on the algorithms and models of artificial intelligence, and few scholars have systematically reviewed the intersection of tourism and artificial intelligence, this study is based on scientometric, reviewing and sorting out 2689 relevant literature published in 2000-2021, and achieving the three purposes of status carding, hot spot snooping and trend prediction. First, through the participating locations, institutions and authors of collaborative networks, the main sources of AI-related research in …

Geology-Based Shear-Wave Velocity Model Of Reference Site Conditions In South Carolina For Seismic Site Response Analysis, Camilius Amevorku

All Dissertations

Assessing earthquake hazard in the State of South Carolina is important because it is one of the most seismically active regions of the eastern United States and has experienced earthquakes of damaging levels in the historical past. Examples of these damaging seismic events are the 1886 Charleston earthquake (M 6.7 to 7.5) and the 1913 Union County earthquake (M 4.5 to 5.5).

Small-strain shear-wave velocity (V_S) is an important parameter in performing site response analysis. The deep nature of the top of reference firm rock (i.e., V_S ≥ 760 m/s or B-C boundary) due to …

From Machine Learning To Deep Learning: A Comprehensive Study Of Alcohol And Drug Use Disorder, Banafsheh Rekabdar, David L. Albright, Haelim Jeong, Sameerah Talafha

Computer Science Faculty Publications and Presentations

This study aims to train and validate machine learning and deep learning models to identify patients with risky alcohol and drug misuse in a Screening, Brief Intervention, and Referral to Treatment (SBIRT) program. An observational cohort of 6978 adults was admitted in the western region of Alabama at three medical facilities between January and December of 2019. Data were cleaned and pre-processed using data imputation techniques and an augmented sampling data method. The primary analysis involved the multi-class classification of alcohol and drug misuse. Our study shows that accurate identification of alcohol and drug use screening instrument scores was best …

On A Prior Based On The Wasserstein Information Matrix, Wuchen Li, F. J. Rubio

Faculty Publications

We introduce a prior for the parameters of univariate continuous distributions, based on the Wasserstein information matrix, which is invariant under reparameterisations. We discuss the links between the proposed prior with information geometry. We present sufficient conditions for the propriety of the posterior distribution for general classes of models. We present a simulation study that shows that the induced posteriors have good frequentist properties.

A Rule-Based/Bpso Approach To Produce Low-Dimensional Semantic Basis Vectors Set, Atefe Pakzad, Morteza Analoui

Turkish Journal of Electrical Engineering and Computer Sciences

The present study aims to generate low-dimensional explicit distributional semantic vectors. In explicit semantic vectors, each dimension corresponds to a word, which makes word vectors interpretable. In this study, a new approach is proposed to obtain low-dimensional explicit semantic vectors. Firstly, the suggested approach considers three criteria, namely, word similarity, number of zeros, and word frequency as features for words in a corpus. Next, some rules are extracted to obtain the initial basis words using a decision tree which is drawn based on the three features. Secondly, a binary weighting method is proposed based on the binary particle swarm optimization …

Modeling And Validation Of The Thermoelectric Generator With Considering The Change Of The Seebeck Effect And Internal Resistance, Mehmet Ali̇ Üstüner, Hayati̇ Mamur, Sezai̇ Taşkin

Turkish Journal of Electrical Engineering and Computer Sciences

Thermoelectric generators (TEGs) produce power in direct proportion to the temperature difference between their surfaces. The Seebeck coefficient and internal resistance of the thermoelements (TEs) that make up the TEGs change depending on the temperature change. In simulation studies, it is seen that these two values are kept constant. However, this situation prevents approaching the data of TEG in real applications. In this study, a TEG Simulink/MATLAB ® model has been developed to capture real TEG module data, which considers changing of both the Seebeck coefficient and the internal resistance depending on the temperature difference change. To achieve this aim, …

Multi-Scale Hybridized Topic Modeling: A Pipeline For Analyzing Unstructured Text Datasets Via Topic Modeling, Keyi Cheng, Stefan Inzer, Adrian Leung, Xiaoxian Shen, Michael Perlmutter, Michael Lindstrom, Joyce Chew, Todd Presner, Deanna Needell

School of Mathematical & Statistical Sciences Faculty Publications

We propose a multi-scale hybridized topic modeling method to find hidden topics from transcribed interviews more accurately and efficiently than traditional topic modeling methods. Our multi-scale hybridized topic modeling method (MSHTM) approaches data at different scales and performs topic modeling in a hierarchical way utilizing first a classical method, Nonnegative Matrix Factorization, and then a transformer-based method, BERTopic. It harnesses the strengths of both NMF and BERTopic. Our method can help researchers and the public better extract and interpret the interview information. Additionally, it provides insights for new indexing systems based on the topic level. We then deploy our method …

Modified Titani Derived From Ti – Oxo Clusters: Synthesis, Structure, And Photocatalytic Activity, Fatmah Rashed Ali Alkindi

Theses

Titanium dioxide (TiO₂), an important semiconductor, has been used in various applications ranging from sunblock additives to self-cleaning window coatings, antibacterial agents, photovoltaics, and photocatalysis. Due to its photostability, TiO₂ is an extensively used semiconductor photocatalyst in many industries. This thesis represents the synthesis, structure, and photocatalytic activity of TiO₂ (Anatase) photocatalyst, which was prepared using hexanuclear titanium-oxo cluster precursor via temperature-controlled calcination. The optical property of the prepared photocatalyst was investigated using UV-Vis diffuse reflectance spectroscopy (UV-Vis DRS), powder X-ray diffraction (PXRD) for phase determination, scanning electron microscopy (SEM) for morphology and structural analysis, Brunauer−Emmett−Teller …

Hierarchical Structure Of Yso Clusters In The W40 And Serpens South Region: Group Extraction And Comparison With Fractal Clusters, Jia Sun, Robert A. Gutermuth, Hongchi Wang, Shuinai Zhang, Min Long

Computer Science Faculty Publications and Presentations

Young stellar clusters are believed to inherit the spatial distribution like hierarchical structures of their natal molecular cloud during their formation. However, the change of the structures between the cloud and the young clusters is not well constrained observationally. We select the W40–Serpens South region (∼7 × 9 pc²) of the Aquila Rift as a testbed and investigate hierarchical properties of spatial distribution of young stellar objects (YSOs) in this region. We develop a minimum spanning tree (MST) based method to group stars into several levels by successively cutting down edges longer than an algorithmically determined critical value. …

Deep Near-Infrared Survey Towards The W40 And Serpens South Region In The Aquila Rift: A Comprehensive Catalogue Of Young Stellar Objects, Min Long

Computer Science Faculty Publications and Presentations

Active star-forming regions are excellent laboratories for studying the origins and evolution of young stellar object (YSO) clustering. The W40–Serpens South region is such a region, and we compile a large near- and mid-infrared catalogue of point sources in it, based on deep near-infrared observations of Canada-France-Hawaii Telescope (CFHT) in combination with Two Micron All Sky Survey (2MASS), UKIRT Infrared Deep Sky Survey (UKIDSS), and Spitzer catalogues. From this catalogue, we identify 832 YSOs, and classify 15, 135, 647, and 35 of them to be deeply embedded sources, Class I YSOs, Class II YSOs, and transition disc sources, respectively. In …

State Energy Research Center, University Of North Dakota. Energy And Environmental Research Center

EERC Brochures and Fact Sheets

Fact sheet about the State Energy Research Center (SERC). Highlights the Energy & Environmental Research Center’s technology development, skilled workforce, and funding sources. [This item is an outdated or superseded version and retained for historical purposes only. It may no longer reflect current information, policies, or practices.]

Forced Forward, Timo Nurmi

The Synapse: Intercollegiate science magazine

No abstract provided.

Two Birds With One Stone: Recycling Carbon Dioxide To Produce Plastic, Sydney Rosensaft

The Synapse: Intercollegiate science magazine

No abstract provided.

Back Matter

The Synapse: Intercollegiate science magazine

No abstract provided.

Sensitive Salamanders: How Salamanders Are Impacted By Climate Change And Water Pollution, Kristen Aldridge

The Synapse: Intercollegiate science magazine

No abstract provided.

The Long Haul Virus, Sadia Haidari

The Synapse: Intercollegiate science magazine

No abstract provided.

Halluiclluistnrataed Tbyi Eovelnyn L Aozenr Medical Revolution: Using Psychedelics As A New Treatment For Disorders, Asha Shukla

The Synapse: Intercollegiate science magazine

No abstract provided.

Using Nature To Protect Nature: How Environmental Arts Sheds Light On Environmental Issues, Khanh Do

The Synapse: Intercollegiate science magazine

No abstract provided.

Harnessing Cosmic Power To Fuel Earth: Nuclear Fusion’S Rise As The Promising Renewable Energy, Tara Sefchick

The Synapse: Intercollegiate science magazine

No abstract provided.

The Hidden Powers Of Plants: The Fascinating Ways Plants Express Themselves, Saurav Chakraborty

The Synapse: Intercollegiate science magazine

No abstract provided.

A Walk In The Woods: The Science Of Forest Bathing, Sionainn Rudek

The Synapse: Intercollegiate science magazine

No abstract provided.