Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 69001 - 69030 of 294733

Full-Text Articles in Physical Sciences and Mathematics

Multifunctional Programmable Self-Assembled Nanoparticles In Nanomedicine, Yoshie Sakamaki Dec 2021

Multifunctional Programmable Self-Assembled Nanoparticles In Nanomedicine, Yoshie Sakamaki

Graduate Theses and Dissertations

Developing methodologies to control the architecture of nanoparticles (NPs) at the atomic level prevents their inhomogeneity and leads to a variety of expected functions. Rationally designed nanoparticles can either be programmed or crystallized structures into pre-determined structures achieving tunable particle pore size and physiochemistry. In this dissertation, two broad classes of multifunctional nanoparticles are developed, metal-organic frameworks and DNA-NP aggregates.

Metal-organic frameworks are a novel class of highly porous crystalline materials built from organic linkers and metal cluster-based secondary building units. However, applications in bioremediation have not been developed very well especially in applications regarding drug delivery systems (DDS). The …


Palmer Amaranth [Amaranthus Palmeri (S.) Wats.] Resistance To S-Metolachlor In The Mid-Southern Us And S-Metolachlor Dissipation In Soil, Koffi Badou Jeremie Kouame Dec 2021

Palmer Amaranth [Amaranthus Palmeri (S.) Wats.] Resistance To S-Metolachlor In The Mid-Southern Us And S-Metolachlor Dissipation In Soil, Koffi Badou Jeremie Kouame

Graduate Theses and Dissertations

Palmer amaranth [Amaranthus palmeri (S.) Wats.] presents both a high genetic diversity and propensity to evolve resistance to herbicides of several sites-of-action which have made it one of the worst weeds in US agriculture. In Arkansas, Palmer amaranth is resistant to herbicides of seven sites-of-action, which are 5-enolpyruvylshikimate-3-phosphate synthase (EPSPS) inhibitor, acetolactate synthase inhibitors, microtubule inhibitors, protoporphyrinogen oxidase inhibitors, very long chain fatty acid inhibitors, glutamine synthetase inhibitors, and hydroxyphenylpyruvate dioxygenase inhibitors. Sustainable management requires a better understanding of its biology and that of herbicide environmental fate. This research had five objectives: 1) characterize the current status of Palmer amaranth …


Sigesn Light-Emitting Devices: From Optical To Electrical Injection, Yiyin Zhou Dec 2021

Sigesn Light-Emitting Devices: From Optical To Electrical Injection, Yiyin Zhou

Graduate Theses and Dissertations

Si photonics is a fast-developing technology that impacts many applications such as data centers, 5G, Lidar, and biological/chemical sensing. One of the merits of Si photonics is to integrate electronic and photonic components on a single chip to form a complex functional system that features compact, low-cost, high-performance, and reliability. Among all building blocks, the monolithic integration of lasers on Si encountered substantial challenges. Si and Ge, conventional epitaxial material on Si, are incompetent for light emission due to the indirect bandgap. The current solution compromises the hybrid integration of III-V lasers, which requires growing on separate smaller size substrates …


Grid Homology Invariants For Singular Legendrian Links, Richard Michael Shumate Dec 2021

Grid Homology Invariants For Singular Legendrian Links, Richard Michael Shumate

Graduate Theses and Dissertations

If $\Lambda_{1}^{\ast}$ and $\Lambda_{2}^{\ast}$ are two oriented singular Legendrian links that are Legendrian isotopic, we first construct front diagram representations of $\Lambda_{1}^{\ast}$ and $\Lambda_{2}^{\ast}$ that have a natural allowable singular gird diagram associated to them. These allowable singular grid diagrams will always correspond to singular Legendrian links. The grid Legendrian invariants, $\lambda^{\pm}$, in the nonsingular grid homology theory have a natural extension to the singular grid theory, and are natural under the newly defined singular grid moves. This gives an invariant of singular Legendrian links, and in fact, a broader class of singular links.


Hobby Grade Lithium-Ion Batteries For Spacecraft Applications: Establishing An Automated Electrical Characteristics Testing Procedure For Flight Acceptance Of Non-Space-Grade Small Secondary Batteries, Braidon Hughes Dec 2021

Hobby Grade Lithium-Ion Batteries For Spacecraft Applications: Establishing An Automated Electrical Characteristics Testing Procedure For Flight Acceptance Of Non-Space-Grade Small Secondary Batteries, Braidon Hughes

Graduate Theses and Dissertations

Li-ion batteries are widely used due to the large amount of rechargeable energy they pack into a small, light package. This higher energy density makes Li-ion batteries ideal for small satellite applications, specifically CubeSats. CubeSats have grown in popularity in higher level education due to the National Aeronautics and Space Administration’s implementation of the Cube Satellite Launch Initiative, making it easier and cheaper to conduct small, low orbit missions. Because these CubeSats are occupying the same space as a crewed spacecraft, it is imperative that they are safe. There are numerous reports of Li-ion batteries creating fires that result in …


Synthesis Of Polyethylene Glycol-Based Hydrogels And Silver/Gold Nanostructures For Biomedical Applications, Isabelle Ishimwe Niyonshuti Dec 2021

Synthesis Of Polyethylene Glycol-Based Hydrogels And Silver/Gold Nanostructures For Biomedical Applications, Isabelle Ishimwe Niyonshuti

Graduate Theses and Dissertations

This work focuses on the synthesis of biocompatible polyethylene glycol (PEG)-based hydrogels, silver nanoparticles (AgNPs), and silver-gold nanocages (Ag-AuNCs) for biomedical applications. The dissertation includes two parts with Part I on the work of PEG-based hydrogel for wound healing applications and Part II on the work of Ag/Au nanostructures for antimicrobial applications. Part I studies PEG-based hydrogel for the delivery of fibroblast growth factors (FGFs) for wound healing applications, aiming to overcome the challenge of designing hydrogels capable of the sustained release of bioactive FGFs. This research develops new biocompatible anionic injectable hydrogel formulations based on Poly (Oligo Ethylene Glycol …


A 60- Year Record Of The Demotechnic Index Of States, 1960-2019, Gavin James Kellough Dec 2021

A 60- Year Record Of The Demotechnic Index Of States, 1960-2019, Gavin James Kellough

Graduate Theses and Dissertations

A country’s dependency on energy resources can be interpreted through the calculation of energy indices. The Demotechnic Index (DI) was used to determine the trajectory of energy efficiency of each state in the United States over the period 1960-2019. The DI serves as a measure of the energy intensity of states and a proxy for energy sustainability of each state.The DI is the ratio of total energy use to total metabolic energy demand of a population. Mathematically, DI = (E_T-E_M)/E_M E_T represents the total energy used (metabolic energy + technological energy in kilojoules annually, kJ/y), while EM represents the basic …


Forced And Unforced Permafrost Changes In The Northern Hemisphere During 1901-2100, Hong Guo Dec 2021

Forced And Unforced Permafrost Changes In The Northern Hemisphere During 1901-2100, Hong Guo

Graduate Theses and Dissertations

Permafrost regions are very sensitive to rapid changes in climate and environment. In recent decades, there has been growing interest to better understand the permafrost degradation over the Northern Hemisphere in the context of human-induced climate change. Understanding permafrost dynamics is not only important for infrastructure but also for environmental protection in cold regions. In-situ permafrost measurements are important for assessing permafrost conditions. However, direct permafrost observations are sparse and asymmetrical in both spatial and temporal coverage. Active layer thickness (ALT) modeling is another approach that can overcome many of these limitations, but the models have large uncertainty in predicting …


Hybrid Two Dimensional Quantum Devices, Joshua Patrick Thompson Dec 2021

Hybrid Two Dimensional Quantum Devices, Joshua Patrick Thompson

Graduate Theses and Dissertations

This thesis describes measurements on hybrid material systems involving two dimensional (2D) materials and phenomena along with the development of a small, hermetically sealed cell. The hermetic cell is designed to assist with analyzing sensitive 2D materials outside of an inert environment. When working with van der Waals materials that are especially sensitive to oxygen or water, it can be difficult to identify usable thin flakes without exposing them to air. To help preserve materials for analysis in air, a capsule was designed that isolates the material in an inert environment. Although the capsule is hermetically sealed, the encapsulated material …


The Effects Of Commercial Harvest On The Density And Demography Of Aquatic Turtles In Arkansas, Andrhea Darleen Massey Dec 2021

The Effects Of Commercial Harvest On The Density And Demography Of Aquatic Turtles In Arkansas, Andrhea Darleen Massey

Graduate Theses and Dissertations

The United States is home to the second highest concentration of turtle species in the world, after Asia. As of 2018, there are 57 turtle species recognized within the US, 40% of which are listed as threatened or endangered, with the primary threats to population persistence identified as over-consumption and/or habitat loss. Within the US, the Mississippi Alluvial Valley (MAV) region represents the second highest turtle species richness, after the Mobile River Basin. The MAV region of Arkansas is one of the least regulated in terms of commercial aquatic turtle harvest and has undergone large-scale habitat conversion from bottomland hardwood …


Detrital Zircon U-Pb Geochronology Of Upper Mississippian Siltstone, Oklahoma And Arkansas, Linnea Johnson Dec 2021

Detrital Zircon U-Pb Geochronology Of Upper Mississippian Siltstone, Oklahoma And Arkansas, Linnea Johnson

Graduate Theses and Dissertations

Although Upper Mississippian strata have been characterized extensively using lithostratigraphy, sequence stratigraphy, and biostratigraphy across the North American midcontinent, the origin of the silt comprising the Meramec STACK (Sooner Trend Anadarko Basin, Canadian and Kingfisher counties) reservoirs of the Anadarko Basin in west-central Oklahoma and age equivalent units is not well understood, despite its economic importance as an unconventional petroleum reservoir. Previously published models have variously invoked fluvial, marine, and aeolian sediment transport for Upper Mississippian siltstone present along the paleo-shelf edge of the Laurentian craton. This study uses detrital zircon U-Pb geochronology and grain morphology, handheld x-ray fluorescence (hXRF) …


Machine Learning Applied To A Modern-Pleistocene Petrographic Dataset: The Global Prediction Of Sand Mineralogy (Gloprsm) Model, Isaac Johnson Dec 2021

Machine Learning Applied To A Modern-Pleistocene Petrographic Dataset: The Global Prediction Of Sand Mineralogy (Gloprsm) Model, Isaac Johnson

Graduate Theses and Dissertations

Petrography has long been used as a tool to decipher the sedimentary provenance of sand and sandstone from the relative proportions of framework grain types. Petrographers have also related the proportions of quartz (Q), feldspar (F), and lithic (L) grains to the processes that form and modify sediments within sediment routing systems. This past work has shown that factors including source lithology, climate, transport history, and tectonism work in concert to modify the framework mineralogy of sand. However, there is a lack of a quantitative understanding of the interactions and feedbacks between these factors and how they modify sand mineralogy. …


Design, Synthesis, And Catalytic Application Of Crystalline Porous Nanomaterials, Zainab Abdullah Almansaf Dec 2021

Design, Synthesis, And Catalytic Application Of Crystalline Porous Nanomaterials, Zainab Abdullah Almansaf

Graduate Theses and Dissertations

Chapter 1: COFs (covalent organic frameworks) are a new type of microporous crystalline polymer connected by organic units via strong covalent bonds. Due to their well-defined crystalline structures and excellent chemical and thermal stabilities, COF materials are considered promising candidates in applications such as gas adsorption, catalysis, and energy storage.Chapter 2: A new covalent organic framework (COF) based on imine bonds was assembled from 2-(4-formylphenyl)-5-formylpyridine and 1,3,6,8-tetrakis(4-aminophenyl)pyrene, which showed an interesting dual-pore structure with high crystallinity. Postmetallation of the COF with Pt occurred selectively at the N donor (imine and pyridyl) in the larger pores. The metalated COF served as …


Body Mass And Body Condition Variation Of Mallards (Anas Platyrhynchos) Within And Among Winters Within The Lower Mississippi Alluvial Valley, John Thompson Veon Dec 2021

Body Mass And Body Condition Variation Of Mallards (Anas Platyrhynchos) Within And Among Winters Within The Lower Mississippi Alluvial Valley, John Thompson Veon

Graduate Theses and Dissertations

Most North American waterfowl overwinter in southern North America before migrating back to breeding grounds in the northern US and Canada. These species face the challenge of needing to maintain or increase their body mass during an environmentally difficult winter period. Successful body mass maintenance during the winter period has major ramifications not only for their winter survival but for their fitness across the entire year. Recent research in Europe and the western United States suggests that the body mass of mallards (Anas platyrhynchos) has increased from the late 1960s to early 2000s. However, the factors responsible for increases in …


Development And Characterization Of Monolayer And Sub-Monolayer Intermediate Band Solar Cells, Najla Alnami Dec 2021

Development And Characterization Of Monolayer And Sub-Monolayer Intermediate Band Solar Cells, Najla Alnami

Graduate Theses and Dissertations

Intermediate band solar cell (IBSC) is a new generation solar cell that is designed to overcome the main limitation of solar cell power conversion efficiency, which is the non-absorption of low photon energy. Experimental efforts towards fabricating high efficiency and low cost IBSC have not met the predictions of theoretical analysis. Existing implementations of the IBSC design using conventional Stranski-Krastanov (S-K) quantum dots (QDs) have resulted in a degradation in the solar cell device characteristics, which has been found to be caused by recapturing or trapping of excess carriers, low intermediate band material absorption, and increased recombination in the solar …


Gaas Growth On Sapphire Substrates (C And R Plane) For Integrated Microwave Photonics (Imwp), Samir Kumar Saha Dec 2021

Gaas Growth On Sapphire Substrates (C And R Plane) For Integrated Microwave Photonics (Imwp), Samir Kumar Saha

Graduate Theses and Dissertations

The microwave signal processing in the optical domain creates new opportunities for information and communication technology (ICT) and networks by increasing speed, bandwidth, and processing capability. IMWP incorporates the functions of microwave photonics components/subsystems in monolithic or hybrid photonic circuits to meet future needs. Sapphire platforms have the potential to integrate all-in-one, for instance, light source, analog signal processing, light detection, CMOS control circuit, silicon on sapphire to achieve high-performance, low-cost mixed-signal optical links etc. Molecular beam epitaxy (MBE) has been used to grow GaAs on sapphire substrates to integrate optoelectronic devices in the same platform.

The initial stage of …


Two-Dimensional Black Phosphorus For Terahertz Emission And Near-Field Radiative Heat Transfer, Mahmudul Hasan Doha Dec 2021

Two-Dimensional Black Phosphorus For Terahertz Emission And Near-Field Radiative Heat Transfer, Mahmudul Hasan Doha

Graduate Theses and Dissertations

The main focus of this work is to investigate two potential optical and optoelectronic applications of black phosphorus (BP): the near-field radiative heat transfer in plasmonic heterostructures with graphene and terahertz emission from multi-layer BP photoconductive antennas. When the separation distance between graphene-black phosphorene is much smaller than or comparable to the thermal wavelength at different temperatures, a near-field radiation heat transfer breaks the Planck blackbody limit. The magnitude of the near-field radiation enhancement acutely depends on the gate voltage, doping, and vacuum gap of the graphene and BP pair. The strong near-field radiation heat transfer enhancement of the specific …


Experimental And Computational Studies Of Electron Rich Alkenes, Alexa May Dec 2021

Experimental And Computational Studies Of Electron Rich Alkenes, Alexa May

Graduate Theses and Dissertations

Thermal homolysis is one of the most fundamental reactions in organic chemistry. Free radical reactions are generally initiated by light or a radical initiator to generate the first radical, which can then propagate or terminate the reaction. Direct thermal homolysis requires no chemical initiators, just an increase in temperature depending on the homolysis energy.There are few studies of direct radical homolysis in complex systems or under mild conditions. The reactions involving C-N homolysis under mild conditions are reported in Chapter 1. Though the authors do not all propose a radical mechanism, we believe they can all be explained by a …


Analysis Of Bacteriorhodopsin Suspended In A Bilayer Lipid Membrane, Moath Alhejji Dec 2021

Analysis Of Bacteriorhodopsin Suspended In A Bilayer Lipid Membrane, Moath Alhejji

Graduate Theses and Dissertations

The bacteriorhodopsin protein’s unique characteristic of proton pumping can convert light energy to electric energy. The aim of this research was to generate photocurrent using bacteriorhodopsin in a bi-layer lipid membrane. Lipid monolayer and bilayer were formed using painting and folding methods, respectively. Capacitance and resistance of the lipid membranes were measured and used to validate the best methodology. My results show that the folding method is more efficient in incorporating Bacteriorhodopsin. The photocurrent was generated by illuminating a green laser (532 nm) on the bilayer lipid membranes. The patch clamp electrophysiology technique was used to apply voltage across the …


Fair And Diverse Group Formation Based On Multidimensional Features, Mohammed Saad A Alqahtani Dec 2021

Fair And Diverse Group Formation Based On Multidimensional Features, Mohammed Saad A Alqahtani

Graduate Theses and Dissertations

The goal of group formation is to build a team to accomplish a specific task. Algorithms are being developed to improve the team's effectiveness so formed and the efficiency of the group selection process. However, there is concern that team formation algorithms could be biased against minorities due to the algorithms themselves or the data on which they are trained. Hence, it is essential to build fair team formation systems that incorporate demographic information into the process of building the group. Although there has been extensive work on modeling individuals’ expertise for expert recommendation and/or team formation, there has been …


Catalytic Activity Of Molybdenum-Dioxo Complexes, Randy Tran Dec 2021

Catalytic Activity Of Molybdenum-Dioxo Complexes, Randy Tran

Graduate Theses and Dissertations

This dissertation details the development of rationally designed dioxomolybdenum catalyst active for deoxydehydration (DODH), the net reduction of diols and polyols into alkenes and dienes. Catalyst design involved variations on dioxomolybdenum(VI) supported by a dianionic meridional pincer ligand. Rational substrate scope was explored using aliphatic diols, aromatic diols, and biomass derived diols. Various reductants were tested for ability to catalyze the reaction. The substrate specific mechanism of DODH was explored utilizing NMR and in-situ infrared spectroscopy and important rate constants and rate determining steps were found to aid in the optimization of ideal reaction conditions. Catalytic activity was observed to …


Investigating Strike-Slip Faulting Parallel To The Icelandic Plate Boundary Using Boundary Element Models, Anna E.R. Pearson, John P. Loveless Dec 2021

Investigating Strike-Slip Faulting Parallel To The Icelandic Plate Boundary Using Boundary Element Models, Anna E.R. Pearson, John P. Loveless

Geosciences: Faculty Publications

Most faults in Iceland strike roughly parallel to the divergent plate boundary, a part of the North American-Eurasian plate boundary, which would be expected to lead to primarily normal faulting. However, several studies have observed a significant component of rift-parallel strike-slip faulting in Iceland. To investigate these fault kinematics, we use the boundary element method to model fault slip and crustal stress patterns of the Icelandic tectonic system, including a spherical hotspot and uniaxial stress that represents rifting. On a network of faults, we estimate the slip required to relieve traction imposed by hotspot inflation and remote rifting stress and …


Risk-Based Machine Learning Approaches For Probabilistic Transient Stability, Umair Shahzad Dec 2021

Risk-Based Machine Learning Approaches For Probabilistic Transient Stability, Umair Shahzad

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

Power systems are getting more complex than ever and are consequently operating close to their limit of stability. Moreover, with the increasing demand of renewable wind generation, and the requirement to maintain a secure power system, the importance of transient stability cannot be overestimated. Considering its significance in power system security, it is important to propose a different approach for enhancing the transient stability, considering uncertainties. Current deterministic industry practices of transient stability assessment ignore the probabilistic nature of variables (fault type, fault location, fault clearing time, etc.). These approaches typically provide a conservative criterion and can result in expensive …


Order And Harmony: Kepler’S Guiding Forces, Dan Broadbent Dec 2021

Order And Harmony: Kepler’S Guiding Forces, Dan Broadbent

Faculty Publications

Adapted from the article “Order and Harmony: Kepler’s Guiding Forces” included in “Towards Mysteries of the Cosmos with Johannes Kepler – on the 450th Anniversary of His Birth,” a commemorative volume published by the Obserwatorium Atronommiczne Krolowej Jadwigi Rzepienniku Biskupim (Queen Jadwiga Observatory of Rzepiennik Biskupi Poland) December 2021. Adapted with permission.

As the subject librarian for physics and astronomy at Brigham Young University, the author has had the privilege of handling some of Johannes Kepler’s original books preserved in the university’s archives. One of the most impressive materials in the archive is a large page from Mysterium Cosmographicum that …


Video Snapshot: Single Image Motion Expansion Via Invertible Motion Embedding, Qianshu Zhu, Chu Han, Guoqiang Han, Tien-Tsin Wong, Shengfeng He Dec 2021

Video Snapshot: Single Image Motion Expansion Via Invertible Motion Embedding, Qianshu Zhu, Chu Han, Guoqiang Han, Tien-Tsin Wong, Shengfeng He

Research Collection School Of Computing and Information Systems

Unlike images, finding the desired video content in a large pool of videos is not easy due to the time cost of loading and watching. Most video streaming and sharing services provide the video preview function for a better browsing experience. In this paper, we aim to generate a video preview from a single image. To this end, we propose two cascaded networks, the motion embedding network and the motion expansion network. The motion embedding network aims to embed the spatio-temporal information into an embedded image, called video snapshot. On the other end, the motion expansion network is proposed to …


Learning Large Neighborhood Search Policy For Integer Programming, Yaoxin Wu, Wen Song, Zhiguang Cao, Jie Zhang Dec 2021

Learning Large Neighborhood Search Policy For Integer Programming, Yaoxin Wu, Wen Song, Zhiguang Cao, Jie Zhang

Research Collection School Of Computing and Information Systems

We propose a deep reinforcement learning (RL) method to learn large neighborhood search (LNS) policy for integer programming (IP). The RL policy is trained as the destroy operator to select a subset of variables at each step, which is reoptimized by an IP solver as the repair operator. However, the combinatorial number of variable subsets prevents direct application of typical RL algorithms. To tackle this challenge, we represent all subsets by factorizing them into binary decisions on each variable. We then design a neural network to learn policies for each variable in parallel, trained by a customized actor-critic algorithm. We …


Neurolkh: Combining Deep Learning Model With Lin-Kernighan-Helsgaun Heuristic For Solving The Traveling Salesman Problem, Liang Xin, Wen Song, Zhiguang Cao, Jie Zhang Dec 2021

Neurolkh: Combining Deep Learning Model With Lin-Kernighan-Helsgaun Heuristic For Solving The Traveling Salesman Problem, Liang Xin, Wen Song, Zhiguang Cao, Jie Zhang

Research Collection School Of Computing and Information Systems

We present NeuroLKH, a novel algorithm that combines deep learning with the strong traditional heuristic Lin-Kernighan-Helsgaun (LKH) for solving Traveling Salesman Problem. Specifically, we train a Sparse Graph Network (SGN) with supervised learning for edge scores and unsupervised learning for node penalties, both of which are critical for improving the performance of LKH. Based on the output of SGN, NeuroLKH creates the edge candidate set and transforms edge distances to guide the searching process of LKH. Extensive experiments firmly demonstrate that, by training one model on a wide range of problem sizes, NeuroLKH significantly outperforms LKH and generalizes well to …


Learning To Iteratively Solve Routing Problems With Dual-Aspect Collaborative Transformer, Yining Ma, Jingwen Li, Zhiguang Cao, Wen Song, Le Zhang, Zhenghua Chen, Jing Tang Dec 2021

Learning To Iteratively Solve Routing Problems With Dual-Aspect Collaborative Transformer, Yining Ma, Jingwen Li, Zhiguang Cao, Wen Song, Le Zhang, Zhenghua Chen, Jing Tang

Research Collection School Of Computing and Information Systems

Recently, Transformer has become a prevailing deep architecture for solving vehicle routing problems (VRPs). However, it is less effective in learning improvement models for VRP because its positional encoding (PE) method is not suitable in representing VRP solutions. This paper presents a novel Dual-Aspect Collaborative Transformer (DACT) to learn embeddings for the node and positional features separately, instead of fusing them together as done in existing ones, so as to avoid potential noises and incompatible correlations. Moreover, the positional features are embedded through a novel cyclic positional encoding (CPE) method to allow Transformer to effectively capture the circularity and symmetry …


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

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)$, …


Infinite Time Horizon Safety Of Bayesian Neural Networks, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger Dec 2021

Infinite Time Horizon Safety Of Bayesian Neural Networks, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

Research Collection School Of Computing and Information Systems

Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network’s prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Compared to the existing sampling-based approaches, which are inapplicable to the infinite time horizon setting, we train a separate deterministic neural network that serves as an infinite time horizon safety certificate. In particular, we show that the certificate network guarantees the safety of the system over a subset of the BNN weight posterior’s support. …