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

Digital Commons Network™

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

2019

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 1561 - 1590 of 26913

Full-Text Articles in Entire DC Network

Optimal Control For Transboundary Pollution Under Ecological Compensation: A Stochastic Differential Game Approach, Ke Jiang, Ryan Knowles Merrill, Daming You, Pan Pan Dec 2019

Optimal Control For Transboundary Pollution Under Ecological Compensation: A Stochastic Differential Game Approach, Ke Jiang, Ryan Knowles Merrill, Daming You, Pan Pan

Research Collection Lee Kong Chian School Of Business

To account for previously ignored, yet widely observed uncertainty in nature's capability to replenish the natural environment in ways that should inform ideal design of ecological compensation (EC) regimes, this study constructs a stochastic differential game (SDG) model to analyze transboundary pollution control options between a compensating and compensated region. Equilibrium strategies in the stochastic, two player game inform optimal control theory and reveal a welfare distribution mechanism to form the basis of an improved cooperative game contract. A case-based numerical example serves to verify the theoretical results and supports three key insights. First, accounting for various random disturbance factors, …


Growth Effects Of Additive And Multiplicative Robots Alongside Conventional Machines, Hian Teck Hoon Dec 2019

Growth Effects Of Additive And Multiplicative Robots Alongside Conventional Machines, Hian Teck Hoon

Research Collection School Of Economics

We study the effects of introducing two different types of robots (additive and multiplicative) in an infinitely lived one-sector aggregative model with malleable capital on wages. The wage effects of these two polar cases are dramatically different. Given malleable capital that can be retrofitted for use either as conventional machines or as robots, we show that when it is profitable for firms to adopt additive robots in the production process, the real wage drops on impact and remains permanently at the lower level even as total malleable capital accumulates. However, when multiplicative robots are adopted, we show that while the …


From Actions To Paths To Patterning: Toward A Dynamic Theory Of Patterning In Routines, Kenneth T. Goh, Brian T. Pentland Dec 2019

From Actions To Paths To Patterning: Toward A Dynamic Theory Of Patterning In Routines, Kenneth T. Goh, Brian T. Pentland

Research Collection Lee Kong Chian School Of Business

This paper demonstrates a new way of seeing and theorizing about the dynamics of organizational routines through the concept of paths – time-ordered sequences of actions or events in performing work. Empirically and conceptually, paths provide the missing link between specific actions and patterns of action. When routines are represented as a narrative network, tracing the formation and dissolution of action paths can generate new insights about the dynamic patterning of actions in routine performances. We traced action paths using longitudinal field data from a videogame development project and found that action patterns change dramatically over time based on the …


Don’T Google It: The European Union’S Antitrust Parade (“Enforcement”) Against America’S Tech Giants, Mariah Witt Dec 2019

Don’T Google It: The European Union’S Antitrust Parade (“Enforcement”) Against America’S Tech Giants, Mariah Witt

San Diego International Law Journal

This Article details several case studies, each exemplifying the EU’s pro- competition practices versus the American monopoly-like corporations of Google, Microsoft, and Amazon. The EU claims that each of these companies have abused their dominant position in their respective markets. Many companies (including those not listed in this comment) that have faced the EU’s antitrust wrath are merely the successful giants of their field, who should be enjoying their success, not sitting in fear of success’s implications in the global arena. This comment will conclude with a warning to future American corporations on the path to monopoly-like power and status …


Examining Perceptions Of Academic Support: An Exploratory Analysis Of African American And Latino Male Students Enrolled In A New York Higher Education Opportunity Program (Heop) At A Predominately White Institution, Jonathan Woney Dec 2019

Examining Perceptions Of Academic Support: An Exploratory Analysis Of African American And Latino Male Students Enrolled In A New York Higher Education Opportunity Program (Heop) At A Predominately White Institution, Jonathan Woney

Education Doctoral

The primary purpose of this qualitative study was to discover how a focus group of African American and Latino male sophomore, junior, and senior undergraduates participating in New York State’s Arthur O. Eve Higher Education Opportunity Program (HEOP) perceived the role of HEOP student involvement and peer support in helping them persist beyond the first-year at predominantly White Institution. The focus group participants reported generally positive and consistent perceptions. They believed that the HEOP services (e.g., academic advisement, workshops, and career counseling) helped them to persist and change their (academic) mindsets. They also appreciated the available HEOP services, the staff …


Determining Water Requirements In Turfgrass Systems, Tyler Quinn Carr Dec 2019

Determining Water Requirements In Turfgrass Systems, Tyler Quinn Carr

Graduate Theses and Dissertations

Turfgrass lawns are commonly utilized for home and commercial applications because of the aesthetic, environmental, and recreational benefits grasses provide, but many people perceive turfgrass as solely an aesthetic benefit that requires significant water inputs. It is important to identify and use turfgrass cultivars that have known drought tolerance, and also fine-tune and throughout development. A series of field experiments were conducted to determine the water requirements of turfgrass lawn systems with the following objectives: 1) investigate differences in chronic drought resistance and irrigation recommendations among cultivars of Kentucky bluegrass (Poa pratensis L.) and tall fescue (Festuca arundinacea Schreb.) 2) …


The Physicochemical Properties Of Soy Protein Hydrolysate And Its Formulation And Stability With Encapsulated Probiotic, John Stricklin Edwards Dec 2019

The Physicochemical Properties Of Soy Protein Hydrolysate And Its Formulation And Stability With Encapsulated Probiotic, John Stricklin Edwards

Graduate Theses and Dissertations

Soy protein isolate (SPI) and probiotics can serve as a functional ingredient and beneficial supplement, respectively, to food formulations, but few studies focus on the compatibility of these two ingredients. The objective of this study was to prepare soy protein isolate (SPI) from defatted soybean flour and identify an optimal hydrolysis protocol to create soy protein hydrolysates (SPH) with improved solubility and functional properties and achieve an optimum encapsulation technique for probiotics and to determine the in vitro viability of encapsulated probiotic cells with SPH in a gastrointestinal environment. The SPI was prepared using an alkaline extraction procedure for solubility …


Social Media Sentiment Analysis With A Deep Neural Network: An Enhanced Approach Using User Behavioral Information, Ahmed Sulaiman M. Alharbi Dec 2019

Social Media Sentiment Analysis With A Deep Neural Network: An Enhanced Approach Using User Behavioral Information, Ahmed Sulaiman M. Alharbi

Dissertations

Sentiment analysis on social media such as Twitter has become a very important and challenging task. Due to the characteristics of such data (including tweet length, spelling errors, abbreviations, and special characters), the sentiment analysis task in such an environment requires a non-traditional approach. Moreover, social media sentiment analysis constitutes a fundamental problem with many interesting applications, such as for Business Intelligence, Medical Monitoring, and National Security. Most current social media sentiment classification methods judge the sentiment polarity primarily according to textual content and neglect other information on these platforms. In this research, we propose deep learning based frameworks that …


Embedded Silver Nanoparticles For Metal Enhanced Photoluminescence, Shahid Iqbal Dec 2019

Embedded Silver Nanoparticles For Metal Enhanced Photoluminescence, Shahid Iqbal

Dissertations

Imaging of biologically significant molecules using plasmons of Metal Nanoparticles (MNPs) is gaining attention in the research community. Localized Surface Plasmon Resonance (LSPR) is the coherent oscillation of conduction electrons of MNPs. The biologically significant molecule is labeled with the fluorophore molecule to get the image. This approach is widely used in clinical practices, however, low intensity light emission from the labeled molecule makes it difficult to image the biologically significant material. One way to improve the weak intensities of fluorophore is to enhance the brightness using a process called Metal Enhanced Photoluminescence (MEP). This phenomenon occurs in the close …


Teacher And Parent Perspectives On Alignment To The Next Generation Science Standards Following Teacher Professional Development, Adam C. Channell Dec 2019

Teacher And Parent Perspectives On Alignment To The Next Generation Science Standards Following Teacher Professional Development, Adam C. Channell

Dissertations

Science teachers are receiving professional development (PD) since the introduction of the Next Generation Science Standards (NGSS) in 2013. Following PD, teachers are facing several challenges while attempting to implement NGSS in their classroom, some of which include budget constraints, administrative support, and student preparedness (Banilower et al., 2013). Additionally, Channell and Cobern's (2018) study on teachers’ experiences aligning to NGSS following PD adds parent pushback to this list of challenges. This study seeks to address a set of interconnected issues related to teachers creating and administering lessons aligned to the NGSS that they have created following PD, and subsequent …


The Effectiveness Of Oral Retelling As A Reading Comprehension Strategy For Elementary Students With Reading Delays, Brandi Michelle Fontenot Dec 2019

The Effectiveness Of Oral Retelling As A Reading Comprehension Strategy For Elementary Students With Reading Delays, Brandi Michelle Fontenot

Dissertations

Comprehension is an essential component of reading proficiency that produces long-term gains for learners. However, many upper elementary school-age children struggle with reading comprehension. The purpose of the current study was to evaluate the effects of a self-monitoring intervention on reading comprehension for three elementary school-age children with reading delays. Two studies were conducted. In Study 1, behavioral skills training was used to teach participants the elements of a story retell and how-to self-monitor their own story retells. In Study 2, a multiple baseline design across participants was used to evaluate the effects of self-monitoring on four dependent variables: a) …


Salience-Aware Adaptive Resonance Theory For Large-Scale Sparse Data Clustering, Lei Meng, Ah-Hwee Tan, Chunyan Miao Dec 2019

Salience-Aware Adaptive Resonance Theory For Large-Scale Sparse Data Clustering, Lei Meng, Ah-Hwee Tan, Chunyan Miao

Research Collection School Of Computing and Information Systems

Sparse data is known to pose challenges to cluster analysis, as the similarity between data tends to be ill-posed in the high-dimensional Hilbert space. Solutions in the literature typically extend either k-means or spectral clustering with additional steps on representation learning and/or feature weighting. However, adding these usually introduces new parameters and increases computational cost, thus inevitably lowering the robustness of these algorithms when handling massive ill-represented data. To alleviate these issues, this paper presents a class of self-organizing neural networks, called the salience-aware adaptive resonance theory (SA-ART) model. SA-ART extends Fuzzy ART with measures for cluster-wise salient feature modeling. …


Some Results And Examples On Vertex Equitable Labeling, Mohamed Saied Aboshady, Reda Amin Elbarkoki, Eliwa Mohamed Roshdy, Mohamed Abdel Azim Seoud Dec 2019

Some Results And Examples On Vertex Equitable Labeling, Mohamed Saied Aboshady, Reda Amin Elbarkoki, Eliwa Mohamed Roshdy, Mohamed Abdel Azim Seoud

Basic Science Engineering

In this paper we present a survey for all graphs with order at most 6 whether they are vertex equitable or not and we get an upper bound for the number of edges of any graph with 𝑝 vertices to be a vertex equitable graph. Also, we establish vertex equitable labeling for the 𝑚-chain of the complete bipartite graph 𝐾2,𝑛 and for the graph 𝑃𝑛 × 𝑃𝑚.


Counting The Number Of Possible Fuzzy Controllers, Ambalal Vinayak Patel Dec 2019

Counting The Number Of Possible Fuzzy Controllers, Ambalal Vinayak Patel

Manipal Journal of Science and Technology

Fuzzy logic is prominent among all types of logics due to the inherent ability to express human intelligence qualitatively. Thus, it is being used in a variety of applications to design embedded intelligent systems. Although it originated to model the complex and ill-defined systems, it eventually also resulted in utilization for designing the intelligent controllers. While designing the fuzzy logic controllers (FLC), we came across a major challenge of selecting the various elements thereof. The flexibility in selecting the combinations of elements leads to arrive at a number of FLCs. Therefore, the challenge came across in selecting the suitable set …


Efficient The Optimal Sitting And Sizing Of Photovoltaic Generation With Load Growth Regards, M Ponnavaikko Dec 2019

Efficient The Optimal Sitting And Sizing Of Photovoltaic Generation With Load Growth Regards, M Ponnavaikko

Manipal Journal of Science and Technology

Nowadays distributed generations are connected to the distribution network. The proper installation of DG improves the technical and economic impact of the system. The optimal siting and sizing improves system reliability and improves the capacity of the system. This paper discusses the optimum location and calculation of PV with load growth in the 400V and the 11kV feeders were studied. The load growth is made at the feeder up to the actual losses in the system. The test is conducted at each percentage of the load growth.


Estimation Of Evapotranspiration And Other Water Budget Factors At Glacier Creek Preserve, Kian Paul Mcintosh Dec 2019

Estimation Of Evapotranspiration And Other Water Budget Factors At Glacier Creek Preserve, Kian Paul Mcintosh

Theses/Capstones/Creative Projects

A water budget of a watershed consists of the inputs and outputs of water to and from it, including precipitation, change in water storage, surface water flow, and evapotranspiration. Water budget estimates are of high importance as a result of increasing demand due to population growth and other factors. Improving estimate accuracy and precision of evapotranspiration and runoff to streams allows scientists to better determine the true availability of water for human and conservation use. At Glacier Creek Preserve, 6.5% of the incoming precipitation left the preserve as discharge from the stream and 95.9% of the incoming precipitation was lost …


Characterization Of The Dimerization Domains On The Mannose-6-Phosphate/Insulin-Like Growth Factor Ii Receptor, Tyler Degener Dec 2019

Characterization Of The Dimerization Domains On The Mannose-6-Phosphate/Insulin-Like Growth Factor Ii Receptor, Tyler Degener

Theses/Capstones/Creative Projects

The mannose-6-phosphate/insulin-like growth factor II (M6P/IGF2) receptor is a transmembrane protein known to sequester growth factors from the extracellular matrix. This behavior suggests a mechanism of tumor suppression. Structurally, the receptor’s extracellular region is segmented into 15 homologous repeats, which are divided further into 5 triplet domains, labelled 1-3, 4-6, 7-9, 10-12, and 13-15. What is notable about the triplets is their propensity to form dimers with triplets on a second M6P/IGF2 receptor. In fact, previous studies indicate that this protein functions optimally when dimerized. Thus, the purpose of this experiment is to characterize these domain interactions. Using a urea …


Learning Robot Manipulation Tasks Via Observation, Michail Theofanidis Dec 2019

Learning Robot Manipulation Tasks Via Observation, Michail Theofanidis

Computer Science and Engineering Dissertations - Archive

The coexistence of humans and robots has been the aspiration of many scientific endeavors in the past century. Most anthropomorphic or industrial robots are highly articulated and complex machines, which are designed to carry out tasks that often involve the manipulation of physical objects. Traditionally, robots learn how to perform such tasks with the aid of a human programmer or operator. In this regard, the human acts as a teacher who provides a demonstration of a task. From the data of the demonstration, the robot must learn a state-action mapping that accomplishes the task. This state-action mapping is often addressed …


Feature Extraction In Noise-Diverse Environments For Human Activities Recognition Using Wi-Fi, Sheheryar Arshad Dec 2019

Feature Extraction In Noise-Diverse Environments For Human Activities Recognition Using Wi-Fi, Sheheryar Arshad

Computer Science and Engineering Dissertations - Archive

With the rapid development of 802.11 standard and Internet of Things (IoT) applications, Wi-Fi (IEEE 802.11) has emerged as the most widely used wireless communication technology. Wi-Fi based sensing has found widespread use cases involving activity recognition, indoor localization, design of smart spaces and in healthcare applications. This dissertation presents the study of human activities’ sensing and recognition using channel state information (CSI) of Wi-Fi. We highlight the limitations of existing methods and consequently design the frameworks for collecting stable CSI and monitoring different indoor and outdoor environments for human activities. Specifically, this dissertation provide means to define and extract …


Physical Activity Patterns Among Undergraduate Colleges At The University Of Texas At Arlington, Jeanne Bandalaria Dec 2019

Physical Activity Patterns Among Undergraduate Colleges At The University Of Texas At Arlington, Jeanne Bandalaria

2019 Fall Honors Capstone Projects - Archive

The correlation between undergraduate majors/colleges and their corresponding levels of physical activity was investigated at the University of Texas at Arlington. The relationship between the two subjects of research was determined by the method of a survey, as inspired by the International Physical Activity Questionnaire (IPAQ). The IPAQ serves to analyze data through a series of questions that determine an individual’s weekly average of vigorous to moderate exercise based on their job, major, leisure activity, and time spent sedentary. Pie charts and tables are presented to depict the survey’s findings of undergraduate major, college, and times of physical and sedentary …


Opening French Doors: An Examination Of French Business Executives’ Perspectives On Work Disparities Between American And French Work Cultures In The Dallas-Fort Worth Metroplex, Yahaira Arneros Dec 2019

Opening French Doors: An Examination Of French Business Executives’ Perspectives On Work Disparities Between American And French Work Cultures In The Dallas-Fort Worth Metroplex, Yahaira Arneros

2019 Fall Honors Capstone Projects - Archive

The United States is no stranger to hosting foreign business subsidiaries in our evergrowing international business world. As the US opens its doors to native French business executives, one asks how their culture perceives US workers and how to ensure that business relations between the two flow as smoothly as possible. Qualitative data was gathered from three native French business executives, in three native French subsidiaries in the DFW Metroplex. Data was gathered in face-to-face personal interviews conducted in French about disparities between French and American work culture. Similarities in perception of US work culture by the French were found …


Physical Characterization And Evaluation Of Energy Potential For Mined Waste From Irving Landfill, Vijay Kakara Dec 2019

Physical Characterization And Evaluation Of Energy Potential For Mined Waste From Irving Landfill, Vijay Kakara

Civil Engineering Theses - Archive

Historically landfills have been seen as the ultimate solution for storing waste at minimum cost. But, now it is a well-known fact that these deposits have numerous implications such as long term methane emissions, local pollution and many space-related issues etc. In most parts of the world, however, landfilling is the most common method to dispose waste. Even developed countries with recycling and waste treatment facilities have been no exception in landfilling. Therefore over the years, several old and operating landfills have been accumulated with an enormous amount of obsolete materials and products. To address such issues related to waste …


Analysis Of Laminated Curved Beam With And Without Defects And Imperfections, Wei-Tsen Lu Dec 2019

Analysis Of Laminated Curved Beam With And Without Defects And Imperfections, Wei-Tsen Lu

Mechanical and Aerospace Engineering Dissertations - Archive

Several studies have focused on the modeling and response characterization of composite structural members, with particular emphasis on composite curved beams. The class of curved beam is explored to determine mechanical response in primary aerospace structural applications. The present work focuses on developing analytical closed-form solutions for investigating composite curved beams with and without fiber waviness and delamination. The present work can efficiently characterize the structural behavior of composite curved beams under bending. This work shows the development of a novel mathematical approach to predict structural performance by investigating axial stiffness, bending stiffness with consideration of shear deformation in composite …


An Implementation Of The Regularized Extended Finite Element Method In Abaqus, Yu-Jui Liang Dec 2019

An Implementation Of The Regularized Extended Finite Element Method In Abaqus, Yu-Jui Liang

Mechanical and Aerospace Engineering Dissertations - Archive

The Regularized eXtended Finite Element Method (Rx-FEM) methodology is a discrete damage modeling (DDM) technique, which represents an approach to the progressive damage analysis (PDA) in laminated composites when multiple damage events such as matrix cracks and delamination are introduced into the model via the displacement discontinuities. In the Rx-FEM, the Heaviside step function that is typically used to introduce a displacement discontinuity across a crack surface in the eXtended Finite Element Method (x-FEM) is replaced by a continuous function approximated by using the finite element (FE) shape functions. This regularization offers unique possibility for the implementation of the Rx-FEM …


Advances In Liquid Chromatography And Liquid Chromatography- Mass Spectrometry For The Chiral Analysis Of Amino Acids And Differentiation Of Isomeric Amino Acid Residues In Peptides/Proteins From Complex Matrices, Siqi Du Dec 2019

Advances In Liquid Chromatography And Liquid Chromatography- Mass Spectrometry For The Chiral Analysis Of Amino Acids And Differentiation Of Isomeric Amino Acid Residues In Peptides/Proteins From Complex Matrices, Siqi Du

Chemistry & Biochemistry Dissertations - Archive

Amino acids are essential building blocks in all living organisms. Initially it was believed that only L-amino acids were relevant in higher organisms, and D-amino acids were laboratory artifacts. Today, various D-amino acids have been detected in different organisms, including humans, and some even play essential roles in biological processes. In addition, abnormal D-amino acid levels have been reported in patients with different diseases. The variations in D-amino acid levels might be of some diagnostic value. However, our knowledge of D-amino acids remains limited and most of the D-amino acids are not well investigated due to the lack of a …


Direct Functionalization Of Inert C-H And C=C Bonds Using Copper And Zinc Catalysts Supported By Fluorinated Ligands, And The Chemistry Of Fe(Co)5 And Its Analogs With Coinage Metal Ions, Tharun Teja Ponduru Dec 2019

Direct Functionalization Of Inert C-H And C=C Bonds Using Copper And Zinc Catalysts Supported By Fluorinated Ligands, And The Chemistry Of Fe(Co)5 And Its Analogs With Coinage Metal Ions, Tharun Teja Ponduru

Chemistry & Biochemistry Dissertations - Archive

Transition-metal catalyzed direct functionalization of inert C-H and C=C bonds through nitrene- and oxo-transfer reactions are powerful and attractive synthetic strategies for constructing C-N and C-O bonds (e.g. found in amines, aziridines, alcohols, and carbonyl compounds) directly from hydrocarbon feedstocks, and have significant synthetic potential in chemical processes leading to natural products, pharmaceuticals and biologically active molecules. Chapters 2 and 3 of this work mainly focus on nitrene- and oxo-insertion chemistry catalyzed by transition metal complexes. We employed different types of fluorinated ligands to support copper and zinc metal centers. Therefore, complexes [HB(3,5-(CF3)2Pz)3]Cu(NCMe), [H2B(3,5-(CF3)2Pz)2]Cu(NCMe), [H2B(3,5-(CF3)2-4-(NO2)Pz)2]Cu(NCMe), [{(3,5-(CF3)2Pz)ZnEt}2(μ-THF)], [{(3-(CF3),5-(t-Bu)Pz)ZnEt}2(μ-THF)], [{(3,5-(i-Pr)2Pz)ZnEt}2(μ-THF)], [N{(CF3)C(C6F5)N}2]CuNCCH3, and …


Systematic Approach To On-Line Supercritical Fluid Extraction – Supercritical Fluid Chromatography – Tandem Mass Spectrometry Method Development, Alison Paige Wicker Dec 2019

Systematic Approach To On-Line Supercritical Fluid Extraction – Supercritical Fluid Chromatography – Tandem Mass Spectrometry Method Development, Alison Paige Wicker

Chemistry & Biochemistry Dissertations - Archive

Coupling supercritical fluid extraction (SFE) on-line with supercritical fluid chromatography (SFC) – tandem mass spectrometry (MS/MS) provides a platform for extraction, separation, and detection in a single analysis. Utilization of this technique simplifies sample preparation while limiting sample loss and/or contamination and significantly decreases total analysis time. SFE-SFC-MS/MS requires consideration of many extraction and chromatographic variables to not only provide the most efficient extraction, but to analytically transfer the extracted analytes to the column for separation. There is a fundamental lack of understanding of how the variables in SFE affect those in SFC. In the first study, on-line SFE-SFC-MS/MS was …


High Confidence Identification Of Cross-Linked Peptides By Mass Spectrometry Cleavable Cross-Linking Technologies, Jayanta Kishor Chakrabarty Dec 2019

High Confidence Identification Of Cross-Linked Peptides By Mass Spectrometry Cleavable Cross-Linking Technologies, Jayanta Kishor Chakrabarty

Chemistry & Biochemistry Dissertations - Archive

Mass spectrometry (MS)-based chemical cross-linking technique is a potential tool for understanding the protein structure and protein-protein interactions. However, low abundances of cross-linked products and the data complexity are the major challenges in this field. New strategies are required to pinpoint cross-linked peptides with high confidence. Our lab designed and synthesized a novel cross-linker with two differential MS-cleavable bonds, namely DUCCT. DUCCT-cross-linked peptide generates different diagnostic fragment ions in Collision Induced Dissociation (CID) and Electron Transfer Dissociation (ETD) (tandem mass spectrometric technique) which helps in the unambiguous identification of cross-linked peptide. We demonstrate the efficiency of DUCCT technology with model …


Sub-Synchronous Resonance Analysis And Detection, Igor Brandao Machado Matsuo Dec 2019

Sub-Synchronous Resonance Analysis And Detection, Igor Brandao Machado Matsuo

Electrical Engineering Dissertations - Archive

With the increasing penetration of renewable generation resources, power grids have become more susceptible to sub-synchronous resonance phenomena, especially to sub-synchronous control interaction, which produces fast-growing oscillations. The power system operation requirements for a reliable, fast and accurate detection and monitoring system for protection and mitigation purposes are increasing. Besides, risk assessment analysis during grid planning and update studies can be extremely time-consuming due to a large number of possible grid configurations and small time-steps required for the simulation of detailed electromagnetic transient (EMT) models. The first part of this dissertation aims to provide an optimized tool for SSR risk …


Using Property-Based Testing, Weighted Grammar-Based Generators, And A Consensus Oracle To Test Browser Rendering Engines And To Reproduce Minimized Versions Of Existing Test Cases, Joel David Martin Dec 2019

Using Property-Based Testing, Weighted Grammar-Based Generators, And A Consensus Oracle To Test Browser Rendering Engines And To Reproduce Minimized Versions Of Existing Test Cases, Joel David Martin

Computer Science and Engineering Dissertations - Archive

Verifying that a web browser rendering engine correctly renders all valid web pages is challenging due to the size of the input space (valid web pages), the difficulty of determining correct rendering for any given web page (the test oracle problem), and the degree to which normal variation in browser rendering behavior can obscure other differences (fonts, bor- ders, input controls, etc). These challenges lead to manual human involvement during the testing process. We propose a new Property-Based Testing (PBT) approach that addresses these challenges in order to enable automated web browser render testing. Our approach is composed of the …