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

Physical Sciences and Mathematics Commons™

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

Other

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type

Articles 1741 - 1770 of 2429

Full-Text Articles in Physical Sciences and Mathematics

Silicon Carbide At Nanoscale: Finite Single-Walled To "Infinite" Multi-Walled Tubes, Kapil Adhikari Jan 2012

Silicon Carbide At Nanoscale: Finite Single-Walled To "Infinite" Multi-Walled Tubes, Kapil Adhikari

Physics Dissertations - Archive

A systematic ab initio study of silicon carbide (SiC) nanostructures, especially finite single-walled, infinite double- and multi-walled nanotubes and nanocones is presented. Electronic and structural properties of all these nanostructures have been calculated using hybrid density functionals (B3LYP and PBE0) as implemented in the GAUSSIAN 03/09 suite of software. The unusual dependence of band gap of silicon carbide nanotubes (SiCNT) has been explained as a direct consequence of curvature effect on the ionicity of the bonds. The study of fullerene hemisphere capped, finite SiC nanotubes indicates that the carbon-capped SiC nanotubes are energetically more preferred than silicon-capped finite or hydrogen …

Go to article

High Order Les For Supersonic Ramp Flow Control With Mvg, Yonghua Yan Jan 2012

High Order Les For Supersonic Ramp Flow Control With Mvg, Yonghua Yan

Mathematics Dissertations - Archive

An implicitly implemented large eddy simulation by using the fifth order bandwidth-optimized WENO scheme is applied to make comprehensive studies on ramp flows with and without control at Mach 2.5 and Re=5760. Flow control in the form of microramp vortex generators (MVG) is applied. The results show that MVG can distinctly reduce the separation zone at the ramp corner and lower the boundary layer shape factor under the condition of the computation. A series of new findings are obtained about the MVG-ramp flow including the three-dimensional vortex structure generated by MVG. The mechanism about the formation vortex ring structure and …

Go to article

Effects Of Vector Migration On Sylvatic Trypanosoma Cruzi Transmission, Britnee A. Crawford Jan 2012

Effects Of Vector Migration On Sylvatic Trypanosoma Cruzi Transmission, Britnee A. Crawford

Mathematics Dissertations - Archive

Vector-borne diseases have had a major impact on global health concerns since their discovery in the 1800's. A vector-borne disease is one transmitted to human or animal host via an invertebrate vector (usually an insect). Chagas' disease, caused by the parasite Trypanosoma cruzi, is transmitted via insect vectors from the Triatoma family. Although human infection with Chagas' is of importance, the disease is maintained in sylvatic (in the wild) transmission cycles. This study examines the effects of vector migration on the spread of T. cruzi in certain sylvatic cycles in the southeastern U.S. and Mexico from several angles. First, a …

Go to article

Integrated Chemostratigraphy And Paleoceanography Of The Mississippian Barnett Formation, Krystin Chantel Robinson Jan 2012

Integrated Chemostratigraphy And Paleoceanography Of The Mississippian Barnett Formation, Krystin Chantel Robinson

Earth & Environmental Sciences Theses - Archive

The Barnett Formation was deposited on a gently sloping marine margin that ultimately became the Fort Worth Basin (FWB), a foreland basin that evolved during the late Paleozoic Era. The FWB formed as a result of the early Ouachita Orogeny, due to the collision of Laurasia and Gondwana. The Mississippian Barnett Formation is an organic-rich lithologic unit composed primarily of laminated siliceous mudrock with some calcareous mudrock intervals. The objective of the project is to develop and interpret stratigraphic changes in the geochemistry of the Barnett Formation for the purposes of understanding the paleoceanography of the northernmost Fort Worth Basin, …

Go to article

Quantum Modeling Of Dark Matter In Galactic Halos, Shane Charles Spivey Jan 2012

Quantum Modeling Of Dark Matter In Galactic Halos, Shane Charles Spivey

Physics Dissertations - Archive

Eighty years after its initial discovery, the nature of dark matter remains a mystery. Contrary to observational evidence, simulations of dark matter halos predict cuspy density profiles and an abundant population of dwarf galaxies. Increasingly refined measurements of the dark matter halos in galaxies reveal a large variety of halo shapes and sizes, and so far no universal profile has been able to incorporate them all. Among the numerous dark matter candidates, models of so-called quantum cold dark matter (QCDM) have the unique potential to address the many disparities between theory and observation.QCDM postulates that dark matter is composed primarily …

Go to article

Defect Studies In Cu-Based P-Type Transparent Conducting Oxides, Fnu Ameena Jan 2012

Defect Studies In Cu-Based P-Type Transparent Conducting Oxides, Fnu Ameena

Physics Dissertations - Archive

Among other intrinsic open-volume defects, copper vacancy (VCu) has been theoretically identified as the major acceptor in p-type Cu-based semiconducting transparent oxides, which has potential as low-cost photovoltaic absorbers in semi-transparent solar cells. A series of positron annihilation experiments with pure Cu, Cu2O, and CuO presented strong presence of VCu and its complexes in the copper oxides. The lifetime data also showed that the density of VCu was becoming higher as the oxidation state of Cu increased which was consistent with the decrease in the formation energy of VCu. Doppler broadening measurements further indicated that electrons with low momentum made …

Go to article

Evaluating The Benefits Of Octree-Based Indexing For Lidar Data, Abu Saleh Mohammad Mosa, Bianca Schoen-Phelan, Michela Bertolotto, Debra Laefer Jan 2012

Evaluating The Benefits Of Octree-Based Indexing For Lidar Data, Abu Saleh Mohammad Mosa, Bianca Schoen-Phelan, Michela Bertolotto, Debra Laefer

Articles

Very large true three-dimensional (3D) point datasets, as opposed to the previously common 2.5D data sets, are progressively more common nowadays, such as from Light Detection and Ranging (LiDAR). Increasingly, attempts are made to exploit these 3D point data sets beyond mere visualization. However, current Spatial Information Systems provide only limited 3D support. Even commercial systems advertising in-built, 3D data types provide only minimal functionality. Particularly, there is no effective means of indexing large 3D point datasets, which is crucial for efficient analysis and engineering usage. Also many datasets are information rich (e.g. contain color or some other associated semantic …

Go to article

New Evidence On The Mechanics Of Wing Unfolding In Dermaptera (Insecta), Fabian Haas, Justin Tan Chek Hwen, Hung Bun Tang Jan 2012

New Evidence On The Mechanics Of Wing Unfolding In Dermaptera (Insecta), Fabian Haas, Justin Tan Chek Hwen, Hung Bun Tang

All Peer-Reviewed Publications

The wing unfolding in Dermaptera is re-analysed for two species, Auchenomus sp. (Spongiphoridae) and Timomenus lugens (Bormans, 1894) (Forficulidae), based on several digital movie sequences made in the earwigs' natural environment. The frames were separated and numbered sequentially to establish the time line of unfolding and (where available) folding. It is shown that the steps described earlier in contributions of the first author are confirmed, with the exception of the drivers. It has been assumed that the cerci are essential to unfold the wings. The current contribution clearly shows that this is not the case in all species: the wings …

Go to article

An Updated Gps Velocity Field For Puerto Rico And The Virgin Islands: Constraints On Tectonic Setting And Internal-Deformation, Desmond Kelvin Ihemedu Dec 2011

An Updated Gps Velocity Field For Puerto Rico And The Virgin Islands: Constraints On Tectonic Setting And Internal-Deformation, Desmond Kelvin Ihemedu

Earth & Environmental Sciences Theses - Archive

Puerto Rico and the northern Virgin Islands define the eastern end of the Greater Antilles, while the Puerto Rico trench and the Muertos Trough define the northern and the southern limits of the North American - Caribbean plate boundary zone. Three microplates have been defined: (1) Gonave, to the west; (2) Hispaniola, at the center; and (3) Puerto Rico and the northern Virgin Islands (PRVI) at the eastern end. Global Positioning System (GPS) geodesy was previously conducted in this region from 1994 to 2003. It was concluded that the locus of the highest permissible on-surface deformation in Puerto Rico and …

Go to article

Differential Effects Of Various African Nightshade Species On The Fecundity And Movement Of Tetranychus Evansi (Acari: Tetranychidae), L. K. Murungi, M. Knapp, D. Salifu, J. Wesonga, A. Nyende, P. Masinde, B. Torto Dec 2011

Differential Effects Of Various African Nightshade Species On The Fecundity And Movement Of Tetranychus Evansi (Acari: Tetranychidae), L. K. Murungi, M. Knapp, D. Salifu, J. Wesonga, A. Nyende, P. Masinde, B. Torto

All Peer-Reviewed Publications

The tomato red spider mite Tetranychus evansi Baker & Pritchard is a serious pest of solanaceous plants worldwide. Management of this oligophagous pest in African nightshades has been a challenge to smallholder African farmers due to its high reproductive rate and rapid development of resistance to synthetic pesticides. The aim of the present study was to determine the influence of leaf trichomes on T. evansi by comparing its fecundity and movement on the leaf surfaces of five African nightshade species, namely Solanum sarrachoides Sendter, S. villosum Miller, S. tarderemotum Bitter, S. americanum Miller and S. scabrum Miller. Data were recorded …

Go to article

Horticultural Pest Management And The African Economy: Successes, Challenges And Opportunities In A Changing Global Environment, S. Ekesi, A. Chabi-Olaye, S. Subramanian, C. Borgemeister Oct 2011

Horticultural Pest Management And The African Economy: Successes, Challenges And Opportunities In A Changing Global Environment, S. Ekesi, A. Chabi-Olaye, S. Subramanian, C. Borgemeister

All Peer-Reviewed Publications

In many African countries, horticulture is the fastest growing agricultural sub-sector contributing significantly to national incomes. Diverse vegetables, fruits and spices are grown for domestic and export markets. Horticultural exports in Africa has increased by more than 50% in recent years and currently contributes >20% of agricultural exports by volume and income generation. Despite the growth, production has not kept pace with increasing demand due largely to biotic constraints attributed to arthropod pests. Agricultural research aimed at reducing insect pest damage can lead to increased horticultural production and improved rural livelihoods. icipe in collaboration with National Agricultural Research and Extension …

Go to article

Development Of A Passive Sampler For Gaseous Mercury, Mae S. Gustin, Seth N. Lyman, P. Kilner, E. Prestbo Oct 2011

Development Of A Passive Sampler For Gaseous Mercury, Mae S. Gustin, Seth N. Lyman, P. Kilner, E. Prestbo

USU Uintah Basin Faculty Publications

Here we describe work toward development of the components of a cost effective passive sampling system for gaseous Hg that could be broadly deployed by nontechnical staff. The passive sampling system included an external shield to reduce turbulence and exposure to precipitation and dust, a diffusive housing that directly protects the collection surface during deployment and handling, and a collection surface. A protocol for cleaning and deploying the sampler and an analytical method were developed. Our final design consisted of a polycarbonate external shield enclosing a custom diffusive housing made from expanded PTFE tubing. Two collection surfaces were investigated, gold …

Go to article

Operation Comics: Making Math Fun, Bruce Kessler Sep 2011

Operation Comics: Making Math Fun, Bruce Kessler

Mathematics Faculty Publications

This talk gives a background on the Operation Comics series, which integrates mathematics into a comic book storyline, as an example of how creativity is not exclusive to the traditional arts, like music and dance, but is a vital part of math, science, and engineering.

Go to article

Some Like It Hot: The Influence And Implications Of Climate Change On Coffee Berry Borer (Hypothenemus Hampei) And Coffee Production In East Africa, Juliana Jaramillo, Eric Muchugu, Fernando E. Vega, Aaron Davis, Christian Borgemeister, Adenirin Chabi-Olaye Sep 2011

Some Like It Hot: The Influence And Implications Of Climate Change On Coffee Berry Borer (Hypothenemus Hampei) And Coffee Production In East Africa, Juliana Jaramillo, Eric Muchugu, Fernando E. Vega, Aaron Davis, Christian Borgemeister, Adenirin Chabi-Olaye

All Peer-Reviewed Publications

The negative effects of climate change are already evident for many of the 25 million coffee farmers across the tropics and the 90 billion dollar (US) coffee industry. The coffee berry borer (Hypothenemus hampei), the most important pest of coffee worldwide, has already benefited from the temperature rise in East Africa: increased damage to coffee crops and expansion in its distribution range have been reported. In order to anticipate threats and prioritize management actions for H. hampei we present here, maps on future distributions of H. hampei in coffee producing areas of East Africa. Using the CLIMEX model we relate …

Go to article

Sources Of Gaseous Oxidized Mercury And Mercury Dry Deposition At Two Southeastern U.S. Sites, Peter S. Weiss-Penzias, Mae S. Gustin, Seth N. Lyman Sep 2011

Sources Of Gaseous Oxidized Mercury And Mercury Dry Deposition At Two Southeastern U.S. Sites, Peter S. Weiss-Penzias, Mae S. Gustin, Seth N. Lyman

USU Uintah Basin Faculty Publications

Wet deposition measurements have shown that relative to other parts of the US, the southeastern region has the highest mercury (Hg) inputs. The source of this Hg has been investigated by multiple researchers and is suggested to be derived from local, regional and global sources. Here we focus on trying to understand potential sources of Hg to this area during periods dominated by dry gaseous oxidized mercury (GOM) deposition. Dry deposition of GOM to a surrogate surface was measured in conjunction with speciated atmospheric Hg, and ancillary parameters from September 2007 through September 2008 at two sites located within 25 …

Go to article

Host Plant Resistance Among Tomato Accessions To The Spider Mite Tetranychus Evansi In Kenya, G. K. Onyambus, R. O. Maranga, L. M. Gitonga, M. Knapp Aug 2011

Host Plant Resistance Among Tomato Accessions To The Spider Mite Tetranychus Evansi In Kenya, G. K. Onyambus, R. O. Maranga, L. M. Gitonga, M. Knapp

All Peer-Reviewed Publications

The spider mite Tetranychus evansi has a broad range of host plants. Control of T. evansi has been a big challenge to tomato farmers due to its fast rate of reproduction, development of resistance to chemical pesticides and its ability to use weeds as alternative hosts when the tomato plants are not available. The aim of the current study was to determine the host plant acceptance and the relative contributions of trichomes in the control of the red spider mite by comparing the survival, development and oviposition rates of the red spider mite on eight tomato accessions. Leaflets from eight …

Go to article

Operation Comics: The Story Continues, Bruce Kessler, Tressa Tullis Jul 2011

Operation Comics: The Story Continues, Bruce Kessler, Tressa Tullis

Mathematics Faculty Publications

This talk was given, with Tressa Tullis as the main presenter and Bruce Kessler as a minor co-presenter, at the 2011 Bridges Conference in Coimbre, Portugal, on the current developments on our Operation Comics project with Cumberland Trace Elementary.

Go to article

Development Of Environmental Tools For Anopheline Larval Control, Susan S. Imbahale, Collins K. Mweresa, Willem Takken, Wolfgang R. Mukabana Jul 2011

Development Of Environmental Tools For Anopheline Larval Control, Susan S. Imbahale, Collins K. Mweresa, Willem Takken, Wolfgang R. Mukabana

All Peer-Reviewed Publications

Background: Malaria mosquitoes spend a considerable part of their life in the aquatic stage, rendering them vulnerable to interventions directed to aquatic habitats. Recent successes of mosquito larval control have been reported using environmental and biological tools. Here, we report the effects of shading by plants and biological control agents on the development and survival of anopheline and culicine mosquito larvae in man-made natural habitats in western Kenya. Trials consisted of environmental manipulation using locally available plants, the introduction of predatory fish and/or the use of Bacillus thuringiensis var. israelensis (Bti) in various combinations. Results: Man-made habitats provided with shade …

Go to article

Wide-Scale Application Of Bti/Bs Biolarvicide In Different Aquatic Habitat Types In Urban And Peri-Urban Malindi, Kenya, Joseph M. Mwangangi, Samuel C. Kahindi, Lydiah W. Kibe, Joseph G. Nzovu, Peter Luethy, John I. Githure, Charles M. Mbogo Jun 2011

Wide-Scale Application Of Bti/Bs Biolarvicide In Different Aquatic Habitat Types In Urban And Peri-Urban Malindi, Kenya, Joseph M. Mwangangi, Samuel C. Kahindi, Lydiah W. Kibe, Joseph G. Nzovu, Peter Luethy, John I. Githure, Charles M. Mbogo

All Peer-Reviewed Publications

Larval control is a major component in mosquito control programs. This study evaluated the wide-scale application of Bti/Bs biolarvicide (Bacillus thuringiensis var. israelensis [Bti] and Bacillus sphaericus [Bs]) in different aquatic habitats in urban and peri-urban Malindi, Kenya. This study was done from June 2006 to December 2007. The urban and peri-urban area of Malindi town was mapped and categorized in grid cells of 1 km2. A total of 16 1-km2 cells were selected based on presence Community Based Organization dealing with malaria control within the cells. Each of the 16 1-km2 cells was thoroughly searched for the presence of …

Go to article

A Longitudinal Study On Anopheles Mosquito Larval Abundance In Distinct Geographical And Environmental Settings In Western Kenya, Susan S. Imbahale, Krijn P. Paaijmans, Wolfgang R. Mukabana, Ron Van Lammeren, Andrew K. Githeko, Willem Takken Apr 2011

A Longitudinal Study On Anopheles Mosquito Larval Abundance In Distinct Geographical And Environmental Settings In Western Kenya, Susan S. Imbahale, Krijn P. Paaijmans, Wolfgang R. Mukabana, Ron Van Lammeren, Andrew K. Githeko, Willem Takken

All Peer-Reviewed Publications

Background: As the ecology of mosquito larvae can be complex there is need to develop a rational framework for undertaking larval ecological studies. Local environmental characteristics, such as altitude, climate and land use, can significantly impact on phenology and population dynamics of mosquito larvae, and indirectly affect the dynamics of mosquito-borne diseases. The aim of this study was to assess the feasibility of implementing an integrated approach to larval source management under the distinct ecological settings. Methods. The study was conducted in two highland villages and one village, at a lower altitude, in the Lake Victoria basin, where malaria is …

Go to article

Examining Trends In Taste Preferences, Market Demand, And Annual Catch In An Indigenous Marine Turtle Fishery In Southwest Madagascar, Kristin Jones Apr 2011

Examining Trends In Taste Preferences, Market Demand, And Annual Catch In An Indigenous Marine Turtle Fishery In Southwest Madagascar, Kristin Jones

Independent Study Project (ISP) Collection

The worldwide exploitation of marine turtles has been common throughout human history, turtle products including carapaces for decoration and use, skin for leather, and eggs and meat for consumption. The hunting of marine turtles has long established economic importance among Madagascar's coastal inhabitants and is an activity traditionally associated with integral cultural and spiritual values. Due to overexploitation and a combination of relatively newer threats such as pollution, habitat loss, and incidental fisheries take, however, all marine turtle species in the Indian Ocean are considered to be endangered or critically endangered. Although Madagascar's marine turtles have been legally protected from …

Go to article

Confirmation Of 1rxs J165443.5–191620 As An Intermediate Polar And Its Orbital And Spin Periods, S. Scaringi, S. Connolly, J. Patterson, J. R. Thorstensen Mar 2011

Confirmation Of 1rxs J165443.5–191620 As An Intermediate Polar And Its Orbital And Spin Periods, S. Scaringi, S. Connolly, J. Patterson, J. R. Thorstensen

Dartmouth Scholarship

We investigate the physical nature of the X-ray emitting source 1RXS J165443.5−191620 through optical photometry and time-resolved spectroscopy. Optical photometry is obtained from a variety of telescopes all over the world spanning ≈27 days. Additionally, time-resolved spectroscopy is obtained from the MDM observatory.

Go to article

Lettau Affect Colloquium: Or Seeing Natural Philosophy With Len, Leonard F. Hall Feb 2011

Lettau Affect Colloquium: Or Seeing Natural Philosophy With Len, Leonard F. Hall

All Physics Faculty Publications

No abstract provided.

Go to article

Detection Of Phytoplasma By Loop-Mediated Isothermal Amplification Of Dna (Lamp), E. Obura, D. Masiga, F. Wachira, B. Gurja, Z. R. Khan Feb 2011

Detection Of Phytoplasma By Loop-Mediated Isothermal Amplification Of Dna (Lamp), E. Obura, D. Masiga, F. Wachira, B. Gurja, Z. R. Khan

All Peer-Reviewed Publications

Napier stunt phytoplasma (16SrXI and 16SrIII) in eastern Africa is a serious threat to the expansion of Napier grass (Pennisetum purpureum) farming in the region, where it is widely cultivated as fodder in zero grazing livestock systems. The grass has high potential for bio-fuel production, and has been adopted by farmers as a countermeasure to cereal stem borer Lepidoptera, since it attracts and traps the insect. Diagnosis of stunt phytoplasma have been largely by nested polymerase chain reaction (nPCR) targeting the 16S rRNA gene. However, the method is laborious, costly and technically demanding. This investigation has developed a simpler but …

Go to article

Progress Toward Removal Of The Purification Tag In A Putative Toxin Protein Via Site-Specific Mutagenesis And Proteolytic Cleavage, Joanna L. Fridlund, Bethany G. Taylor, Michael H. Godsey Jan 2011

Progress Toward Removal Of The Purification Tag In A Putative Toxin Protein Via Site-Specific Mutagenesis And Proteolytic Cleavage, Joanna L. Fridlund, Bethany G. Taylor, Michael H. Godsey

CUP Undergraduate Research

Putative toxin protein BC_2332, isolated from Bacillus cereus, which is a relative of Bacillus anthracis, shows similarity in the active site to ADP-ribosylating proteins present in cholera and diphtheria. Preliminary attempts to measure the activity of the putative toxin were unsuccessful leading to the hypothesis that the purification tag is hindering the activity. This hypothesis is supported by crystal structure analysis showing the putative active site occupied by the purification tag. Our objective was to remove the purification tag, via two different methods, in order to relieve potential inhibition. Both methods have faced obstacles and the work is continuing.

Go to article

Ordway Weather And Water Data 2011, Macalester College Jan 2011

Ordway Weather And Water Data 2011, Macalester College

Ordway Weather Data

Contains daily readings for the year indicated. The values include: PAR umol/s/m2, avg wind dir degree, avg windspeed mph, Avg Max Windspeed mph, Avg airtemp C, Avg RH %, Avg BP mmHg, Avg DailyRain in, Avg Rain Duration sec, Avg RainIntensity in/h, Avg Water Temp F, Avg sp cond mS/cm, avg pH, Avg Turb NTU+, Avg ODOSat %, Avg ODO mg/L, Water station PAR umol/s/m2, Avg Water Level m. File format: CSV.

Go to article

Gpu Parallel Collections For Scala, Kishen Das Kondabagilu Rajanna Jan 2011

Gpu Parallel Collections For Scala, Kishen Das Kondabagilu Rajanna

Computer Science and Engineering Theses - Archive

A decade ago, graphics processing units have been used specifically for high-speed graphics. Of late, they are becoming more popular as general purpose parallel processors. With the release of CUDA, ATI Stream and OpenCL, programmers can now split their program execution between CPU and GPU, whenever appropriate, resulting in huge performance gain. The cost of GPU is declining and also their performance is improving faster than CPUs. Although enormous performance gains can be achieved by parallelizing the code, identifying the right candidate for GPU execution is very tricky. Coding in OpenCL is a difficult task because of the memory management …

Go to article

Privacy For Location Based Services With Smartphones, James Nathaniel Spargo Jan 2011

Privacy For Location Based Services With Smartphones, James Nathaniel Spargo

Computer Science and Engineering Theses - Archive

In recent years, mobile devices and smartphones enabled with GPS and Inter-net access have become extremely common. People use these devices as they woulda personal computer for easy access to information. Location Based Services (LBS)provide customized information based on a user's geographic location that has beenretrieved from a dedicated spatial database such as Google Places, Yahoo's LocalSearch Web Services and Yelp.com. This information can include nearby hotels andrestaurants, gas stations, banks or other Points of Interest (POIs). Since most searchengines and databases are known to store previous queries in order to improve futuresearch results and other data analysis on previous …

Go to article

Concurrent Polyglot: An Extensible Compiler Framework, Saurabh Satish Kothari Jan 2011

Concurrent Polyglot: An Extensible Compiler Framework, Saurabh Satish Kothari

Computer Science and Engineering Theses - Archive

We have today crossed the threshold of increasing clock frequencies as the dominant solution to faster computing, and it is imperative for software developers to be able to think in the concurrent and parallel paradigm. Important still is to equip programmers with the right tools to develop concurrent and parallel software. Software concurrency is a widely researched area, and many of today's compilers concentrate on compiling for parallelism. However, although concurrent compilers have been explored since the 1970s, very few of them exist today that justify multicore environments. For instance, gmake [1] supports coarse grained parallelism through the -j option …

Go to article

Detect Program Vulnerabilities Using Trace-Based Security Testing, Dazhi Zhang Jan 2011

Detect Program Vulnerabilities Using Trace-Based Security Testing, Dazhi Zhang

Computer Science and Engineering Dissertations - Archive

Software vulnerabilities are program flaws that can be exploited by attackers to compromise the security of a software system. Although many approaches have been proposed to detect or prevent software attacks, software security incidents continue to occur every year. Security testing aims at detecting program vulnerabilities through a set of test cases and has shown to be effective to detect program vulnerabilities. The primary challenge is how to efficiently produce test cases that are highly effective in detecting vulnerabilities. This dissertation proposes trace-based security testing approaches towards addressing some fundamental challenges in security testing.The first study is to use trace-based …

Go to article

First Prev Next Last