Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Alumina (2)
- Binding energy (2)
- Fluorescence (2)
- Microhabitat (2)
- Molecular dynamics (2)
-
- Oxidation (2)
- Simulations (2)
- Software engineering (2)
- Adding handles (1)
- Alloy (1)
- Aluminum (1)
- Amino acids (1)
- Angle-resolved photoemission (1)
- Apex vertices (1)
- Appendicular skeleton (1)
- Atheroma (1)
- Atherosclerosis (1)
- Atomic structure (1)
- Aza-dipeptide (1)
- Barataria Bay (1)
- Base point (1)
- Bentazon (1)
- Beta decay (1)
- Bioimprinting antibodies (1)
- Biomechanics (1)
- Biprojective space (1)
- Black box testing (1)
- Black willow (1)
- Bypass coronary plaque (1)
- Calcified plaques (1)
Articles 1 - 30 of 35
Full-Text Articles in Physical Sciences and Mathematics
Abundance Trends And Environmental Habitat Usage Patterns Of Bottlenose Dolphins (Tursiops Truncatus) In Lower Barataria And Caminada Bays, Louisiana, Cara Edina Miller
Abundance Trends And Environmental Habitat Usage Patterns Of Bottlenose Dolphins (Tursiops Truncatus) In Lower Barataria And Caminada Bays, Louisiana, Cara Edina Miller
LSU Doctoral Dissertations
The paucity of research into the environmental requirements, stock membership, abundance and residency patterns of bottlenose dolphins (Tursiops truncatus) in coastal Louisiana creates difficulty in understanding how local ecosystems and threats (such as fishery interactions, habitat degradation and pollution) affect populations. This study combined fine-scale environmental measurements and photo-identification techniques to describe patterns of habitat usage and abundance of bottlenose dolphins in lower Barataria Basin from June 1999 to May 2002. In addition I investigated the validity and limitations of using mark-recapture models to estimate abundance from cetacean photo-identification data. Bottlenose dolphins were present year-round in a wide range of …
Splitter Theorems For 3- And 4-Regular Graphs, Jinko Kanno
Splitter Theorems For 3- And 4-Regular Graphs, Jinko Kanno
LSU Doctoral Dissertations
Let g be a class of graphs and ≤ be a graph containment relation. A splitter theorem for g under ≤ is a result that claims the existence of a set O of graph operations such that if G and H are in g and H≤G with G≠H, then there is a decreasing sequence of graphs from G to H, say G=G0≥G1≥G2...Gt=H, all intermediate graphs are in g, and each Gi can be obtained from Gi-1 by applying a single …
Parallel Molecular Dynamics Simulations Of Dynamics Of Oxidation And Reactive Wetting In Metal/Ceramic Systems, Gurcan Aral
Parallel Molecular Dynamics Simulations Of Dynamics Of Oxidation And Reactive Wetting In Metal/Ceramic Systems, Gurcan Aral
LSU Doctoral Dissertations
Oxidation of a flat aluminum (111) surface and the reactive wetting of the aluminum (Al) droplet on a flat alumina (α-Al2O3) surface are investigated by using parallel molecular-dynamics simulations with dynamic charge transfer among atoms on a microscopic length scale. The interatomic potential, based on the formalism of Streitz and Mintmire, allows atoms to vary their charges dynamically between anions and cations, when atoms move and their local environment is altered. We investigate the oxidation thickness as a function of time and the oxygen density which is 10-40 times that of the normal state (1 atm …
Black Willow (Salix Nigra) Use In Phytoremediation Techniques To Remove The Herbicide Bentazon From Shallow Groundwater, Robert Mark Conger
Black Willow (Salix Nigra) Use In Phytoremediation Techniques To Remove The Herbicide Bentazon From Shallow Groundwater, Robert Mark Conger
LSU Doctoral Dissertations
Wetland environments have been impacted by the activities of man over the past several hundred years in North America. Industrialization into wetland areas has brought with it anthropogenic compounds that have been released into soils and groundwater. The use of phytoremediation to detoxify soil and groundwater began in the mid 1990's and has become a popular remediation technology. In 1994, a feasibility study for using phytoremediation in such an industrialized wetland area was conducted at a petrochemical facility at BASF Corporation, located about 20 kilometers south of Baton Rouge, Louisiana in Ascension Parish. The test site consisted of low level …
Design, Synthesis, And Applications Of Bio-Derived Crosslinking Monomers For Molecular Imprinting, Martha Sibrian-Vazquez
Design, Synthesis, And Applications Of Bio-Derived Crosslinking Monomers For Molecular Imprinting, Martha Sibrian-Vazquez
LSU Doctoral Dissertations
Most of the research in the field of molecular imprinting has been focused on the development of new functional monomers, in order to improve the molecular recognition properties afforded by these materials. The role of the crosslinking monomer has often been overlooked, since it is considered an inert component that only provides a scaffold to support the binding sites. However, the crosslinking monomer represents a high percent (80-90%) of the composition of molecularly imprinted polymers (MIPs), which can have a large influence on the MIPs properties. This research addresses the design, synthesis, and applications of new crosslinking monomers for molecular …
Machine Learning Techniques For Efficient Query Processing In Kowledge Base Systems, Kevin Paul Grant
Machine Learning Techniques For Efficient Query Processing In Kowledge Base Systems, Kevin Paul Grant
LSU Doctoral Dissertations
In this dissertation we propose a new technique for efficient query processing in knowledge base systems. Query processing in knowledge base systems poses strong computational challenges because of the presence of combinatorial explosion. This arises because at any point during query processing there may be too many subqueries available for further exploration. Overcoming this difficulty requires effective mechanisms for choosing from among these subqueries good subqueries for further processing. Inspired by existing works on stochastic logic programs, compositional modeling and probabilistic heuristic estimates we create a new, nondeterministic method to accomplish the task of subquery selection for query processing. Specifically, …
The Kauffman Bracket Skein Module Of The Quaternionic Manifold, John Michael Harris
The Kauffman Bracket Skein Module Of The Quaternionic Manifold, John Michael Harris
LSU Doctoral Dissertations
In this work, we study the structure of the Kauffman bracket skein module of the quaternionic manifold over the field of rational functions. We begin with a brief survey of manifolds whose Kauffman bracket skein modules are known, and proceed in Chapter 2 by recalling the facts from Temperley-Lieb recoupling theory that we use in the proofs. In Chapter 3, using recoupling theory and with Mathematica's assistance, we index an infinite presentation of the skein module, and conjecture that it is five-dimensional. In Chapter 4, using a new set of relations, we prove that the skein module is indeed spanned …
Control Of Transport Dynamics In Overlay Networks, Qishi Wu
Control Of Transport Dynamics In Overlay Networks, Qishi Wu
LSU Doctoral Dissertations
Transport control is an important factor in the performance of Internet protocols, particularly in the next generation network applications involving computational steering, interactive visualization, instrument control, and transfer of large data sets. The widely deployed Transport Control Protocol is inadequate for these tasks due to its performance drawbacks. The purpose of this dissertation is to conduct a rigorous analytical study on the design and performance of transport protocols, and systematically develop a new class of protocols to overcome the limitations of current methods. Various sources of randomness exist in network performance measurements due to the stochastic nature of network traffic. …
Molecular-Dynamics Simulations Of Self-Assembled Monolayers (Sam) On Parallel Computers, Satyavani Vemparala
Molecular-Dynamics Simulations Of Self-Assembled Monolayers (Sam) On Parallel Computers, Satyavani Vemparala
LSU Doctoral Dissertations
The purpose of this dissertation is to investigate the properties of self-assembled monolayers, particularly alkanethiols and Poly (ethylene glycol) terminated alkanethiols. These simulations are based on realistic interatomic potentials and require scalable and portable multiresolution algorithms implemented on parallel computers. Large-scale molecular dynamics simulations of self-assembled alkanethiol monolayer systems have been carried out using an all-atom model involving a million atoms to investigate their structural properties as a function of temperature, lattice spacing and molecular chain-length. Results show that the alkanethiol chains tilt from the surface normal by a collective angle of 25o along next-nearest neighbor direction at 300K. At …
Synthesis, Characterization, And Application Of Water-Soluble Chiral Calix[4]Arene Derivatives In Spectroscopy And Capillary Electrokinetic Chromatography, Kim Hamilton
LSU Doctoral Dissertations
This dissertation is an account of the synthesis, characterization, and application of novel water-soluble chiral calixarenes in spectroscopy and capillary electrophoresis. It is divided into four sections. The first part describes the synthesis and nuclear magnetic resonance (NMR) characterization of four p-t-butylcalix[4]arenes bearing L-amino acid moieties on their lower rims (CX4-AA). The structure and conformation of the derivatives have been determined using one- and two-dimensional NMR techniques. Proton and carbon-13 spectra show that the derivatives are tetra-substituted and adopt a cone conformation. The preparation and characterization of silica-bonded calixarene stationary phases for capillary electrochromatography is also reported in Chapter 2. …
Design And Synthesis Of Handles For Solid-Phase Peptide Synthesis And Convergent Peptide Synthesis, Jose Giraldes
Design And Synthesis Of Handles For Solid-Phase Peptide Synthesis And Convergent Peptide Synthesis, Jose Giraldes
LSU Doctoral Dissertations
The recent popularity of methods for solid-phase peptide synthesis that use the 9-fluorenylmethyloxycarbonyl (Fmoc) group for Nα-amino protection has created a need for compatible anchoring linkages and handles. In an effort to develop mild new methods for use in solid-phase peptide synthesis (SPPS), a new ferrocene containing linker or “handle”, the 1’1-ferrocenyl carboxaldehyde handle was designed, synthesized, characterized and tested. This linker is analogous to those commercially available and developed by Barany. The ferrocenyl amine linker(FAL) releases C-terminal peptide amides upon acidolysis. Since the FAL handle is acid labile it is compatible with Fmoc and Nα-dithiasuccinoyl …
Diffusion Of A Rodlike Virus In Complex Solutions, Randall Charles Cush
Diffusion Of A Rodlike Virus In Complex Solutions, Randall Charles Cush
LSU Doctoral Dissertations
Entanglement phenomena in concentrated polymer solutions remain an interesting and challenging problem. It is still unclear how entanglement onset affects polymer chain motion at small distance scales. One way to study such motion is to follow the diffusion of a probe particle while increasing the concentration of the polymer. Many such studies have been done using probes ranging from linear and star polymers to various colloidal particles; however, relatively few studies have used rodlike probes. Rodlike probes are potentially more interesting due to the added information that may be gained by following rotational as well as translational diffusion. The anisotropic …
Constraint Preserving Boundary Conditions For The Linearized Einstein Equations, Gioel Calabrese
Constraint Preserving Boundary Conditions For The Linearized Einstein Equations, Gioel Calabrese
LSU Doctoral Dissertations
The successful construction of long time convergent finite difference schemes approximating highly gravitating systems in general relativity remains an elusive task. The presence of constraints and the introduction of artificial time-like boundaries contribute significantly to the difficulty of this problem. Whereas in the absence of boundaries the Bianchi identities ensure that the constraints vanish during evolution provided that they are satisfied initially, this is no longer true when time-like boundaries are introduced. In this work we consider the linearization around the Minkowski space-time in Cartesian coordinates of the generalized Einstein-Christoffel system and analyze different kinds of boundary conditions that are …
Genome Analysis: Mutation Analysis Using Near Infrared Laser-Induced Fluorescence (Nir-Lif) And Single Molecule Detection In Microfluidic Devices, Musundi Ben Wabuyele
Genome Analysis: Mutation Analysis Using Near Infrared Laser-Induced Fluorescence (Nir-Lif) And Single Molecule Detection In Microfluidic Devices, Musundi Ben Wabuyele
LSU Doctoral Dissertations
A number of genotyping methods have been developed for mutation analysis, each of which has its own unique advantage. DNA amplification via polymerase chain reaction (PCR) provides an unlimited supply of material for subsequent genetic analysis even in case where only a single copy of the DNA molecule is present in the sample. Research presented in this dissertation first examines the efficiency of in vitro amplification of single copy DNA with subsequent sequencing analysis of PCR product. The PCR products (amplicons) were investigated for possible alteration, distortions or mutations due to the amplification process. The sequencing data for single copy …
Group Theoretical Approach To Pairing And Non-Linear Phenomena In Atomic Nuclei, Kristina D. Launey
Group Theoretical Approach To Pairing And Non-Linear Phenomena In Atomic Nuclei, Kristina D. Launey
LSU Doctoral Dissertations
The symplectic sp(4) algebra provides a natural framework for studying proton-neutron (pn) and like-nucleon pairing correlations as well as higher-J pn interactions in nuclei when protons and neutrons occupy the same shell. While these correlations manifest themselves most clearly in the binding energies of 0+ ground states, they also have a large effect on the spectra of excited isobaric analog 0+ states. With a view towards nuclear structure applications, a fermion realization of sp(4) is explored and its q-deformed extension, sp(4)q, is constructed for single and multiple shells. The su(2)(q) substructures that enter are associated with isospin symmetry and with …
Biomechanical Reconstruction Of The Appendicular Skeleton In Three North American Jurassic Sauropods, Ray Wilhite
Biomechanical Reconstruction Of The Appendicular Skeleton In Three North American Jurassic Sauropods, Ray Wilhite
LSU Doctoral Dissertations
Forelimb and hindlimb articulation, reconstructed musculature, and function were examined in Apatosaurus, Diplodocus, and Camarasaurus. A technique was developed using a Microscribe three-dimensional digitizer to capture external morphological data for skeletal reconstruction and determination of taxonomically useful features. The appendicular musculature of Alligator mississippiensis was dissected to determine form, function, origin, and insertion of muscles to aid in reconstruction of sauropod musculature. Contrary to the literature, M. caudofemoralis longus was found to originate primarily from the lateral surfaces of the proximal chevrons instead of the bodies and transverse processes of the caudals, demonstrating that chevron morphology is indicative of the …
A Comparison Of Life Histories And Ecological Aspects Among Snappers (Pisces: Lutjanidae), Fernando Martinez-Andrade
A Comparison Of Life Histories And Ecological Aspects Among Snappers (Pisces: Lutjanidae), Fernando Martinez-Andrade
LSU Doctoral Dissertations
An extensive search for data on life-history and ecological variables was conducted for a representative number of the species within the family Lutjanidae. After creating different databases and standardizing all data, these variables were examined in statistical, correlation and graphic analyses. Additionally, a series of Principal Component Analyses were used to examine patterns among variables. Life-history variables included age at length zero, asymptotic length, maximum length, longevity, asymptotic weight, length at maturity, age at maturity, reproductive life span, growth rate and mortality rate. Ecological variables included latitudinal and vertical distribution, habitat selection (represented by substrate type), and spawning seasons. The …
Toward A Global Microscopic Theory For Nuclear Structure: Mean Field Plus Random Phase Approximation Vs. Shell Model, Ionel Stetcu
Toward A Global Microscopic Theory For Nuclear Structure: Mean Field Plus Random Phase Approximation Vs. Shell Model, Ionel Stetcu
LSU Doctoral Dissertations
Our understanding of nuclear structure is built upon mean-field theories such as Hartree-Fock and time-dependent Hartree-Fock. The small-amplitude limit of the latter is the random phase approximation (RPA), which is widely used to model giant resonances in nuclei. Despite this popularity, RPA has been mostly validated against toy models; tests against complex models are scarce in the literature. We perform a thorough test of the RPA against full 0hw shell model (SM) calculations, including in our investigation binding energies, scalar ground-state observables, for which we develop a new method, and transition strengths. We allow deformed Hartree-Fock solutions and compare results …
Angle-Resolved Photoemission Study And Neutron Diffraction Measurements On Lasb2, Alice Acatrinei
Angle-Resolved Photoemission Study And Neutron Diffraction Measurements On Lasb2, Alice Acatrinei
LSU Doctoral Dissertations
LaSb2 has recently been found to have unusual magnetoresistive properties despite the fact that neither La nor Sb are magnetic. The resistance is anisotropic, and at high magnetic fields presents an anomaly that might be a result of a charge density transition. The magnetoresistance is anisotropic and linear, and the resistivity presents high relative changes when a magnetic field is applied. Discovered in 1954, LaSb2, as the rest of the light rare-earth diantimonides, was poorly studied. The anisotropic magnetic properties reported in 1998 by Bud'ko, Canfield and their collaborators make the series very interesting. A description of …
The Extinction Properties Of Reddened Galactic Ob Sightlines, Lynne Angela Valencic
The Extinction Properties Of Reddened Galactic Ob Sightlines, Lynne Angela Valencic
LSU Doctoral Dissertations
A solid understanding of dust grains and their extinction properties is needed to better remove the effects of extinction from data and to comprehend the nature of the processes which modify grains. This requires a large sample of Galactic sightlines, extending far beyond the solar neighborhood, sampling not only a large volume of space but also a wide variety of environments. To fulfill this requirement, a database of sightlines toward 426 young, reddened stars was constructed using extinction curves based on IUE spectra. The curves were fit and the Fitzpatrick-Massa (FM) parameters were found. FM parameters allow for a quantitative …
Massively Parallel Molecular Dynamics Simulations Of Crack-Front Dynamics And Morphology In Amorphous Nanostructured Silica, Cindy Lynn Rountree
Massively Parallel Molecular Dynamics Simulations Of Crack-Front Dynamics And Morphology In Amorphous Nanostructured Silica, Cindy Lynn Rountree
LSU Doctoral Dissertations
Atomistic aspects of dynamic fracture in amorphous and nanostructured silica are herein studied via Molecular dynamics (MD) simulations, ranging from a million to 113 million atom system. The MD simulations were performed on massivelly parallel computers using highly efficient multi-resolution algorithms. Crack propagation in these systems is accompanied by nucleation and growth of nanometer scale cavities up to 20 nm ahead of the crack front. Cavities coalesce and merge with the advancing crack to cause mechanical failure. Recent AFM studies in silica glasses confirm this scenario of fracture [1]. The morphology of the fracture surfaces is studied by calculating the …
Book Embeddings Of Graphs, Robin Leigh Blankenship
Book Embeddings Of Graphs, Robin Leigh Blankenship
LSU Doctoral Dissertations
We use a structural theorem of Robertson and Seymour to show that for every minor-closed class of graphs, other than the class of all graphs, there is a number k such that every member of the class can be embedded in a book with k pages. Book embeddings of graphs with relation to surfaces, vertex extensions, clique-sums and r-rings are combined into a single book embedding of a graph in the minor-closed class. The effects of subdividing a complete graph and a complete bipartite graph with respect to book thickness are studied. We prove that if n ≥ 3, …
Computer Assisted Screening Of Digital Mammogram Images, John Terry Sample
Computer Assisted Screening Of Digital Mammogram Images, John Terry Sample
LSU Doctoral Dissertations
The use of computer systems to assist clinicians in digital mammography image screening has advantages over traditional methods. Computer algorithms can enhance the appearance of the images and highlight suspicious areas. Screening provides a more thorough examination of the images. Any computer system that does screening of digital mammograms contains components to address multiple tasks such as: image segmentation, mass lesion detection and classification, and microcalcification detection and classification. This dissertation provides both effective and efficient improvements to existing algorithms, which segment mammogram images and locate mass lesions. In addition, we provide a new algorithm to evaluate and report the …
On The Geometry And Topology Of Moduli Spaces Of Multi-Polygonal Linkages, Michael Edward Holcomb
On The Geometry And Topology Of Moduli Spaces Of Multi-Polygonal Linkages, Michael Edward Holcomb
LSU Doctoral Dissertations
The geometric, topological, and symplectic properties of moduli spaces (spaces of configurations modulo rotations and translations) of polygonal linkages have been studied by Kapovich, Millson, and Kamiyama, et. al. One can form a polygonal linkage by taking two free linkages and identifying initial and terminal vertices. This can be generalized so that one takes three free linkages and identifies initial and terminal vertices. Then one obtains a linkage which contains multiple polygons, any two of which have shared edges. The geometric and topological properties of moduli spaces of these multi-polygonal linkages are studied. These spaces turn out to be compact …
Design And Synthesis Of Constrained Dipeptide Units For Use As Β-Sheet Promoters, Umut Oguz
Design And Synthesis Of Constrained Dipeptide Units For Use As Β-Sheet Promoters, Umut Oguz
LSU Doctoral Dissertations
The study of factors promoting beta-sheet formation has recently gained interest due to the suspected involvement of beta-sheets in brain degenerative diseases such as Alzheimer's disease (AD), Creutzfeldt-Jacob disease (CJD) and bovine spongiform encephalopathy. Understanding beta-sheet formation and the factors that stabilize beta-sheet structure may serve as a basis for future drug design. The extended structure of a beta-sheet can be stabilized by constrained amino acid analogs that are pre-organized to adopt the extended conformation. In this dissertation using innovative synthetic organic chemistry methods, two dipeptide units are designed and synthesized that are constrained to form the extended conformation and …
The Ecology Of Two Estuarine-Dependent Tonguefishes, The Blackcheek Tonguefish (Symphurus Plagiusa) And The Offshore Tonguefish (S. Civitatium), In Coastal Louisiana, Theodore Scott Switzer
The Ecology Of Two Estuarine-Dependent Tonguefishes, The Blackcheek Tonguefish (Symphurus Plagiusa) And The Offshore Tonguefish (S. Civitatium), In Coastal Louisiana, Theodore Scott Switzer
LSU Doctoral Dissertations
The pattern and process of wetland loss in coastal Louisiana has the potential to influence the distribution and abundance of fishes and macroinvertebrates that utilize inshore estuarine habitat as nurseries during their early life histories. Current management plans designed to stabilize marsh elevations, such as freshwater diversions, may also influence the distribution and abundance of estuarine-dependent nekton. Given the importance of nursery function of inshore estuaries in coastal Louisiana, it is of interest to explore the response of estuarine-dependent organisms to environmental gradients. To this end I examined the ecology of two sympatric tonguefishes, the blackcheek tonguefish (Symphurus plagiusa) and …
The Effect On Water Quality Of Riverine Input Into Coastal Wetlands, Robert Raymond Lane
The Effect On Water Quality Of Riverine Input Into Coastal Wetlands, Robert Raymond Lane
LSU Doctoral Dissertations
This dissertation focuses on impact on water quality of two freshwater diversions, the Bonnet Carre Spillway and the Caernarvon freshwater diversion, as well as the Atchafalaya River Estuarine Complex. As water passed through the Bonnet Carre Spillway, there were reductions in total suspended sediment concentrations of 82-83%, in nitrite+nitrate of 28-42%, in total nitrogen (TN) of 26-30%, and in total phosphorus (TP) of 50-59%. The Si:N ratio generally increased and the N:P ratio decreased from the river to the plume edge in Lake Pontchartrain. At the Caernarvon diversion, there were reductions in concentrations of dissolved inorganic Si, N, and P …
Analyzing The Impact Of Changing Software Requirements: A Traceability-Based Methodology, James Steven O'Neal
Analyzing The Impact Of Changing Software Requirements: A Traceability-Based Methodology, James Steven O'Neal
LSU Doctoral Dissertations
Software undergoes change at all stages of the software development process. Changing requirements represent risks to the success and completion of a project. It is critical for project management to determine the impact of requirement changes in order to control the change process. We present a requirements traceability based impact analysis methodology to predictively evaluate requirement changes for software development projects. Trace-based Impact Analysis Methodology (TIAM) is a methodology utilizing the trace information, along with attributes of the work products and traces, to define a requirement change impact metric for determining the severity of a requirement change. We define the …
Gravitational Radiation Detectability Of Supernova 1987a'S Remnant Fully Matched Filter For Double Resonant Gravitational Detector, Giovanni Santostasi
Gravitational Radiation Detectability Of Supernova 1987a'S Remnant Fully Matched Filter For Double Resonant Gravitational Detector, Giovanni Santostasi
LSU Doctoral Dissertations
Part I There is some observational evidence of the presence of a pulsating light source in the remnant of the supernova (SN) 1987A [1]. This source is considered to be a rotating neutron star. Fourier analysis of the light intensity of this source reveals a main narrow frequency peak and side bands that are understood as a modulation of the main sinusoidal signal. A particular model of the neutron star invokes a precessing object to explain the modulation. From the Fourier spectrum of the source and changes in the frequency value, we can determine important parameters of the spinning neutron …
Level Of Essentialness Of A Node In Flowcharts And Its Application To Program Testing, Osman Kandara
Level Of Essentialness Of A Node In Flowcharts And Its Application To Program Testing, Osman Kandara
LSU Doctoral Dissertations
Program testing is important to develop bug free software. A common form of program testing involves selecting test cases which execute (cover) a given set W of statements in the program. In regression testing, W typically forms a small subset of the program. It is often possible to find an alternate small set W so that execution of W' implies execution of W. We develop concepts and algorithms for finding W' as small as possible with the condition that the statements in W' are "close" to those in W in terms of program structure. These concepts generalize the notion of …