Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (1498)
- Environmental Sciences (1305)
- Physics (905)
- Engineering (810)
- Chemistry (762)
-
- Life Sciences (712)
- Social and Behavioral Sciences (672)
- Earth Sciences (632)
- Mathematics (595)
- Oceanography and Atmospheric Sciences and Meteorology (358)
- Statistics and Probability (354)
- Computer Engineering (338)
- Astrophysics and Astronomy (234)
- Education (234)
- Geology (227)
- Natural Resources and Conservation (217)
- Arts and Humanities (201)
- Natural Resources Management and Policy (195)
- Databases and Information Systems (193)
- Electrical and Computer Engineering (185)
- Applied Mathematics (177)
- Environmental Indicators and Impact Assessment (175)
- Environmental Health and Protection (154)
- Business (152)
- Science and Mathematics Education (152)
- Law (137)
- Sustainability (137)
- Water Resource Management (123)
- Information Security (121)
- Institution
-
- University of Nebraska - Lincoln (947)
- University of Wollongong (359)
- Wright State University (302)
- TÜBİTAK (220)
- Selected Works (185)
-
- Singapore Management University (163)
- Missouri University of Science and Technology (158)
- University of Nevada, Las Vegas (157)
- Brigham Young University (139)
- Louisiana State University (135)
- SelectedWorks (116)
- Old Dominion University (112)
- University of Kentucky (108)
- Utah State University (107)
- Embry-Riddle Aeronautical University (97)
- Edith Cowan University (92)
- Chinese Chemical Society | Xiamen University (86)
- Wayne State University (84)
- COBRA (83)
- Clemson University (81)
- Air Force Institute of Technology (76)
- William & Mary (76)
- Georgia State University (75)
- Portland State University (71)
- University of Central Florida (70)
- University of Massachusetts Amherst (70)
- University of Tennessee, Knoxville (69)
- Technological University Dublin (68)
- University of Northern Iowa (63)
- University of Texas at Arlington (62)
- Keyword
-
- Invasive species (66)
- Environmental science--Experiments; Ecology--Experiments; Atmospheric physics--Experiments; (37)
- CMMB (36)
- Human–wildlife conflicts (28)
- Water (28)
-
- Climate change (27)
- GeoQUEST (27)
- Groundwater (26)
- Mathematics (26)
- [RSTDPub] (26)
- Natural resources (25)
- Conservation (24)
- Coyote (24)
- Management (24)
- Data (23)
- Geology (23)
- 2007 (21)
- Natural resource management (21)
- Physics (21)
- College for Professional Studies (20)
- History (20)
- California (19)
- Chemistry (19)
- Computer science (19)
- Landslides (19)
- Research and Technical Reports (19)
- School of Computer & Information Science (19)
- United States (19)
- Environment (18)
- Machine learning (18)
- Publication
-
- Faculty of Informatics - Papers (Archive) (209)
- Theses and Dissertations (198)
- Computer Science & Engineering Syllabi (160)
- Research Collection School Of Computing and Information Systems (158)
- Faculty Publications (142)
-
- Faculty of Science - Papers (Archive) (120)
- United States Department of Agriculture Wildlife Services: Staff Publications (114)
- Electronic Theses and Dissertations (104)
- Journal of Electrochemistry (86)
- Turkish Journal of Chemistry (83)
- Nebraska Tractor Tests (75)
- Journal of Modern Applied Statistical Methods (64)
- Masters Theses (61)
- Kno.e.sis Publications (57)
- Managing Vertebrate Invasive Species (56)
- Physics Faculty Publications (56)
- Sci-Tech News (55)
- Human–Wildlife Interactions (54)
- LSU Master's Theses (52)
- Publications (52)
- United States Geological Survey: Staff Publications (50)
- Doctoral Dissertations (49)
- Turkish Journal of Mathematics (48)
- All Computer Science and Engineering Research (47)
- LSU Doctoral Dissertations (47)
- Physics Faculty Research & Creative Works (47)
- Browse all Theses and Dissertations (43)
- Dissertations (43)
- Thai Environment (43)
- Open Educational Resources (42)
- Publication Type
Articles 6271 - 6300 of 6763
Full-Text Articles in Physical Sciences and Mathematics
Light Induced Conversion Of Nitrogen Dioxide Into Nitrous Acid On Submicron Humic Acid Aerosol, K. Stemmler, M. Ndour, Yasin F. Elshorbany, J. Kleffmann, M. Ammann, B. D'Anna, C. George, B. Bohn
Light Induced Conversion Of Nitrogen Dioxide Into Nitrous Acid On Submicron Humic Acid Aerosol, K. Stemmler, M. Ndour, Yasin F. Elshorbany, J. Kleffmann, M. Ammann, B. D'Anna, C. George, B. Bohn
USF St. Petersburg campus Faculty Publications
The interactions of aerosols consisting of humic acids with gaseous nitrogen dioxide (NO2) were investigated under different light conditions in aerosol flow tube experiments at ambient pressure and temperature. The results show that NO2 is converted on the humic acid aerosol into nitrous acid (HONO), which is released from the aerosol and can be detected in the gas phase at the reactor exit. The formation of HONO on the humic acid aerosol is strongly activated by light: In the dark, the HONO-formation was below the detection limit, but it was increasing with the intensity of the irradiation with visible light. …
An Adaptive Dose Finding Design (Dosefind) Using A Nonlinear Dose Response Model, James Michael Davenport
An Adaptive Dose Finding Design (Dosefind) Using A Nonlinear Dose Response Model, James Michael Davenport
Theses and Dissertations
First-in-man (FIM) Phase I clinical trials are part of the critical path in the development of a new compound entity (NCE). Since FIM clinical trials are the first time that an NCE is dosed in human subjects, the designs used in these trials are unique and geared toward patient safety. We develop a method for obtaining the desired response using an adaptive non-linear approach. This method is applicable for studies in which MTD, NOEL,NOAEL, PK, PD effects or other such endpoints are evaluated to determine the desired dose. The method has application whenever a measurable PD marker is an indicator …
Hamiltonian Formulation, Nonintegrability And Local Bifurcations For The Ostrovsky Equation, S. Roy Choudhury, Rossen Ivanov, Yue Liu
Hamiltonian Formulation, Nonintegrability And Local Bifurcations For The Ostrovsky Equation, S. Roy Choudhury, Rossen Ivanov, Yue Liu
Articles
The Ostrovsky equation is a model for gravity waves propagating down a channel under the influence of Coriolis force. This equation is a modification of the famous Korteweg-de Vries equation and is also Hamiltonian. However the Ostrovsky equation is not integrable and in this contribution we prove its nonintegrability. We also study local bifurcations of its solitary waves.
Raman Spectroscopic Study Of Single Red Blood Cells Infected By The Malaria Parasite Plasmodium Falciparum, William Carter
Raman Spectroscopic Study Of Single Red Blood Cells Infected By The Malaria Parasite Plasmodium Falciparum, William Carter
Electronic Theses and Dissertations
Raman micro-spectroscopy provides a non-destructive probe with potential applications as a diagnostic tool for cellular disorders. This study presents micro-Raman spectra of live erythrocytes infected with a malaria parasite and investigates the potential of this probe to monitor molecular changes which occur during differentiation of the parasite inside the cell. At an excitation wavelength of 633 nm the spectral bands are dominated by hemoglobin vibrations yielding information the on structure and spin state of the heme moiety. It also demonstrates the novel use of silica capillaries as a viable method for studying the erythrocytes in an environment that is much …
Scalable Volumetric Three-Dimensional Up-Conversion Display Medium, Jung-Hyun Cho
Scalable Volumetric Three-Dimensional Up-Conversion Display Medium, Jung-Hyun Cho
Electronic Theses and Dissertations
There are many different techniques to display 3D information. However, not many of them are able to provide sufficient depth cues to the observers to sense or feel the images as real three-dimensional objects. Volumetric three-dimensional displays generate images within a real 3D space, so they provide most of the depth cues automatically. This thesis discusses the basic notions required to understand three-dimensional displays. Also discussed are different techniques used to display 3D information and their advantages and disadvantages as well as their current limitations. Several rare-earth doped fluoride crystals that are excited to emit visible light by sequential two …
Potential Capture Of Surface Run-Off For Reliable Water Supplies In The 500-825 Mm Rainfall Zone Of South Western Australia, D L. Bennett, Peter J. Tille, Ned Stephenson, Tilwin Westrup
Potential Capture Of Surface Run-Off For Reliable Water Supplies In The 500-825 Mm Rainfall Zone Of South Western Australia, D L. Bennett, Peter J. Tille, Ned Stephenson, Tilwin Westrup
Resource management technical reports
No abstract provided.
Studies Of A Quantum Scheduling Algorithm And On Quantum Error Correction, Feng Lu
Studies Of A Quantum Scheduling Algorithm And On Quantum Error Correction, Feng Lu
Electronic Theses and Dissertations
Quantum computation has been a rich field of study for decades because it promises possible spectacular advances, some of which may run counter to our classically rooted intuitions. At the same time, quantum computation is still in its infancy in both theoretical and practical areas. Efficient quantum algorithms are very limited in number and scope; no real breakthrough has yet been achieved in physical implementations. Grover's search algorithm can be applied to a wide range of problems; even problems not generally regarded as searching problems can be reformulated to take advantage of quantum parallelism and entanglement leading to algorithms which …
Real-Time Tree Simulation Using Verlet Integration, Bobak Manavi
Real-Time Tree Simulation Using Verlet Integration, Bobak Manavi
Electronic Theses and Dissertations
One of the most important challenges in real-time simulation of large trees and vegetation is the vast number of calculations required to simulate the interactions between all the branches in the tree when external forces are applied to it. This paper will propose the use of algorithms employed by applications like cloth and soft body simulations, where objects can be represented by a finite system of particles connected via spring-like constraints, for the structural representation and manipulation of trees in real-time. We will then derive and show the use of Verlet integration and the constraint configuration used for simulating trees …
Dissipative Solitons In The Cubic-Quintic Complex Ginzburg-Landau Equation:Bifurcations And Spatiotemporal Structure, Ciprian Mancas
Dissipative Solitons In The Cubic-Quintic Complex Ginzburg-Landau Equation:Bifurcations And Spatiotemporal Structure, Ciprian Mancas
Electronic Theses and Dissertations
Comprehensive numerical simulations (reviewed in Dissipative Solitons, Akhmediev and Ankiewicz (Eds.), Springer, Berlin, 2005) of pulse solutions of the cubic--quintic Ginzburg--Landau equation (CGLE), a canonical equation governing the weakly nonlinear behavior of dissipative systems in a wide variety of disciplines, reveal various intriguing and entirely novel classes of solutions. In particular, there are five new classes of pulse or solitary waves solutions, viz. pulsating, creeping, snake, erupting, and chaotic solitons. In contrast to the regular solitary waves investigated in numerous integrable and non--integrable systems over the last three decades, these dissipative solitons are not stationary in time. Rather, they are …
Learning Geometry-Free Face Re-Lighting, Thomas Brendan Moore
Learning Geometry-Free Face Re-Lighting, Thomas Brendan Moore
Electronic Theses and Dissertations
The accurate modeling of the variability of illumination in a class of images is a fundamental problem that occurs in many areas of computer vision and graphics. For instance, in computer vision there is the problem of facial recognition. Simply, one would hope to be able to identify a known face under any illumination. On the other hand, in graphics one could imagine a system that, given an image, the illumination model could be identified and then used to create new images. In this thesis we describe a method for learning the illumination model for a class of images. Once …
Analytical Potential Of Polymerized Liposomes Bound To Lanthanide Ions For Qualitative And Quantitative Analysis Of Proteins, Marina Santos
Analytical Potential Of Polymerized Liposomes Bound To Lanthanide Ions For Qualitative And Quantitative Analysis Of Proteins, Marina Santos
Electronic Theses and Dissertations
One of the intriguing features of biological systems is the prevalence of highly selective and often very strong interactions among different cellular components. Such interactions play a variety of organizational, mechanical, and physiological roles at the cellular and organism levels. Antigen-antibody complexes are representative examples of highly selective and potent interactions involving proteins. The marked specificity of protein-antibody complexes have led to a wide range of applications in cellular and molecular biology related research. They have become an integral research tool in the present genomic and proteomic era. Unfortunately, the production of selective tools based on antigen-antibody interactions requires cumbersome …
Experimental Study Of Profiles Of Implanted Species Into Semiconductor Materials Using Secondary Ion Mass Spectrometry, Fatma Salman
Experimental Study Of Profiles Of Implanted Species Into Semiconductor Materials Using Secondary Ion Mass Spectrometry, Fatma Salman
Electronic Theses and Dissertations
The study of impurity diffusion in semiconductor hosts is an important field that has both fundamental appeal and practical applications. Ion implantation is a good technique to introduce impurities deep into the semiconductor substrates at relatively low temperature and is not limited by the solubility of the dopants in the host. However ion implantation creates defects and damages to the substrate. Annealing process was used to heal these damages and to activate the dopants. In this study, we introduced several species such as alkali metals (Li, Na, K), alkali earth metals (Be, Ca,), transition metals (Ti, V, Cr, Mn) and …
Three-Dimensional Micron-Scale Metal Photonic Crystals Via Multi-Photon Direct Laser Writing And Electroless Metal Deposition, Amir Tal
Electronic Theses and Dissertations
Three-dimensional (3D) metal photonic crystals (MPCs) can exhibit interesting electromagnetic properties such as ultra-wide photonic or "plasmonic" band gaps, selectively tailored thermal emission, extrinsically modified absorption, and negative refractive index. Yet, optical-wavelength 3D MPCs remain relatively unexplored due to the challenges posed by their fabrication. This work explores the use of multi-photon direct laser writing (DLW) coupled with electroless metallization as a means for preparing MPCs. Multi-photon DLW was used to prepare polymeric photonic crystal (PC) templates having a targeted micron-scale structure and form. MPCs were then created by metallizing the polymeric PCs via wet-chemical electroless deposition. The electromagnetic properties …
Boyup Brook - Upper Warren Area : Catchment Appraisal 2007/ Prepared By The South West Arm Region Appraisal Team., Henry Brockman
Boyup Brook - Upper Warren Area : Catchment Appraisal 2007/ Prepared By The South West Arm Region Appraisal Team., Henry Brockman
Resource management technical reports
The aim of this Resource Management Technical Report is to assess the current extent of salinity and other natural resource degradation issues in the Boyup Brook - Upper Warren area and provide landholders with the best current management options to address natural resource management issues and enhance sustainable agricultural production.
Impact Of More Intensive Grazing On Nitrogen And Phosphorus In Shallow Aquifers Of The Southern Perth Basin, D L. Bennett, Patrick Donnelly, Peter J. Tille
Impact Of More Intensive Grazing On Nitrogen And Phosphorus In Shallow Aquifers Of The Southern Perth Basin, D L. Bennett, Patrick Donnelly, Peter J. Tille
Resource management technical reports
This study reports on the nutrient content, pH and salinity of groundwater samples collected from the watertable and within the Superficial and the upper Leederville Aquifers from the Southern Perth Basin, south of Pinjarra, Western Australia. Sampling was undertaken to determine the impact of intensification of broadscale grazing on groundwater nutrients in the area.
West Midlands Region Catchment Appraisal 2007, Angela Stuart-Street, Northern Agricultural Region Catchment Appraisal Team
West Midlands Region Catchment Appraisal 2007, Angela Stuart-Street, Northern Agricultural Region Catchment Appraisal Team
Resource management technical reports
Annual run-off likely to occur was calculated for farm-scale catchments within the 500-825 millimetre rainfall zone of the South West Catchment Council [Western Australia] area. When compared with historical flow measurements, this method was found to be accurate (or conservative) in 85% of all measured years, indicating its usefulness for predicting reliable annual flows.
Use Of Factor Analysis In Multi‐Electron Spectroelectrochemistry, Michael D. Ryan, Robert L. Keesey
Use Of Factor Analysis In Multi‐Electron Spectroelectrochemistry, Michael D. Ryan, Robert L. Keesey
Chemistry Faculty Research and Publications
Spectroelectrochemistry and voltammetry contain both unique and complementary information. For multielectron transfers, information on each electron exchange is only directly accessible in the voltammetric data if the potentials are well separated so that two distinct waves can be observed. If the E°’s are close together, the voltammetric data will contain the sum of the two exchanges which can only be deconvoluted by modeling the system and solving the appropriate equations. On the other hand, the spectroscopic data contains direct information on each electron exchange even when the E°’s are close together. Unfortunately, this information cannot be readily extracted if the …
Preparation, Characterization And Reactivity Of (3-Methylpentadienyl)Iron(1+) Cations, Subhabrata Chaudhury, Shukun Li, Dennis W. Bennett, Tasneem Siddiquee, Daniel T. Haworth, William Donaldson
Preparation, Characterization And Reactivity Of (3-Methylpentadienyl)Iron(1+) Cations, Subhabrata Chaudhury, Shukun Li, Dennis W. Bennett, Tasneem Siddiquee, Daniel T. Haworth, William Donaldson
Chemistry Faculty Research and Publications
The title cations (9 and 12) were prepared by dehydration of (3-methyl-2,4-pentadien-1-ol)Fe(CO)2L+ complexes. The structure of the (CO)2PPh3-ligated 12 was determined by single-crystal X-ray analysis. Reaction of carbon and heteroatom nucleophiles to (3-methylpentadienyl)Fe(CO)3+ cations 9 and 12 proceeds either via attack at the dienyl terminus to give (3-methyl-1,3Z-diene)iron complexes or via attack at the internal carbon, followed by carbon monoxide insertion and reductive elimination to afford 3-methyl-4-substituted cyclohexenones. Cyclohexenone formation was found to be prevalent for addition of stabilized nucleophiles with strongly dissociated counterions to cation 9 …
Investigating Student Understanding Of Sound As A Longitudinal Wave, Earl C. Coombs
Investigating Student Understanding Of Sound As A Longitudinal Wave, Earl C. Coombs
Electronic Theses and Dissertations
The field of physics education research (PER) has highlighted the discrepancy between what is taught during traditional instruction in physics, and what students understand afterward. PER has also provided alternatives to traditional instruction that are research-based and have been shown to be more effective in bringing students’ level of understanding of physics more in line with that of the scientific community. One topic that has received attention is the propagation of sound. We confirmed that students in the introductory algebra-based and calculus-based physics courses at the University of Maine have difficulties with sound propagation similar to those documented by others. …
Search For Gravitational-Wave Bursts In Ligo Data From The Fourth Science Run, B. Abbott, R. Abbott, R. Adhikari, J. Agresti, P. Ajith, B. Allen, R. Amin, S. B. Anderson, W. G. Anderson, M. Arain, M. Araya, H. Armandula, M. Ashley, S. Aston, P. Aufmuth, C. Aulbert, S. Babak, S. Ballmer, H. Bantilan, B. C. Barish, C. Barker, D. Barker, B. Barr, P. Barriga, M. A. Barton, K. Bayer, K. Belczynski, J. Betzwieser, P. T. Beyersdorf, B. Bhawal, I. A. Bilenko, Tiffany Z. Summerscales
Search For Gravitational-Wave Bursts In Ligo Data From The Fourth Science Run, B. Abbott, R. Abbott, R. Adhikari, J. Agresti, P. Ajith, B. Allen, R. Amin, S. B. Anderson, W. G. Anderson, M. Arain, M. Araya, H. Armandula, M. Ashley, S. Aston, P. Aufmuth, C. Aulbert, S. Babak, S. Ballmer, H. Bantilan, B. C. Barish, C. Barker, D. Barker, B. Barr, P. Barriga, M. A. Barton, K. Bayer, K. Belczynski, J. Betzwieser, P. T. Beyersdorf, B. Bhawal, I. A. Bilenko, Tiffany Z. Summerscales
Faculty Publications
The fourth science run of the LIGO and GEO 600 gravitational-wave detectors, carried out in early 2005, collected data with significantly lower noise than previous science runs. We report on a search for short-duration gravitational-wave bursts with arbitrary waveform in the 64-1600 Hz frequency range appearing in all three LIGO interferometers. Signal consistency tests, data quality cuts and auxiliary-channel vetoes are applied to reduce the rate of spurious triggers. No gravitational-wave signals are detected in 15.5 days of live observation time; we set a frequentist upper limit of 0.15 day-1 (at 90% confidence level) on the rate of bursts with …
A Sensitive Ann Based Differential Relay For Transformer Protection With Security Against Ct Saturation And Tap Changer Operation, Hassan Khorashadi Zadeh, Zuyi Li
A Sensitive Ann Based Differential Relay For Transformer Protection With Security Against Ct Saturation And Tap Changer Operation, Hassan Khorashadi Zadeh, Zuyi Li
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents an artificial neural network (ANN) based scheme for fault identification in power transformer protection. The proposed scheme is featured by the application of ANN to identifying system patterns, the unique choice of harmonics of positive sequence differential currents as ANN inputs, the effective handling of current transformer (CT) saturation with an ANN based approach, and the consideration of tap changer position for correcting secondary CT current. Performance of the proposed scheme is studied for a wide variety of operating conditions using data generated from simulation. The results indicate that the proposed scheme provides a fast and sensitive …
Design And Performance Of A Curved-Crystal X-Ray Emission Spectrometer, A. C. Hudson, Wayne C. Stolte, Dennis W. Lindle, Renaud Guillemin
Design And Performance Of A Curved-Crystal X-Ray Emission Spectrometer, A. C. Hudson, Wayne C. Stolte, Dennis W. Lindle, Renaud Guillemin
Chemistry and Biochemistry Faculty Research
A curved-crystal x-ray emission spectrometer has been designed and built to measure 2–5 keV x-ray fluorescence resulting from a core-level excitation of gas phase species. The spectrometer can rotate 180°, allowing detection of emitted x rays with variable polarization angles, and is capable of collecting spectra over a wide energy range (20 eV wide with 0.5 eV resolution at the Cl K edge) simultaneously. In addition, the entire experimental chamber can be rotated about the incident-radiation axis by nearly 360° while maintaining vacuum, permitting measurements of angular distributions of emitted x rays.
In-Between Theory And Practice: Dialogues In Design Research, Arianna Bassoli, Johanna Brewer, Karen Martin
In-Between Theory And Practice: Dialogues In Design Research, Arianna Bassoli, Johanna Brewer, Karen Martin
Computer Science: Faculty Publications
Why Wait? and Betwixt are two of the workshops we have recently run on the theme of in-between-ness. The approach of social computing, where researchers work to understand how the socio-cultural aspects of human life relate to the design of new technologies, was the starting point for our investigation. By observing actual instances of in-between-ness in context we explored how design activities can be used as an opportunity to discuss and take positions on a specific theme, and as a space for narrowing the gap in design research between theoretical and practical thinking.
Underground Aesthetics: Rethinking Urban Computing, Arianna Bassoli, Johanna Brewer, Paul Dourish, Karen Martin, Scott Mainwaring
Underground Aesthetics: Rethinking Urban Computing, Arianna Bassoli, Johanna Brewer, Paul Dourish, Karen Martin, Scott Mainwaring
Computer Science: Faculty Publications
An ethnographic study and a design proposal for a situated music-exchange application suggest how explicitly foregrounding the experiential qualities of urban life can help rethink urban computing design.
Recognition-Based Motion Capture And The Humaneva Ii Test Data, Nicholas Howe
Recognition-Based Motion Capture And The Humaneva Ii Test Data, Nicholas Howe
Computer Science: Faculty Publications
Quantitative comparison of algorithms for human motion capture have been hindered by the lack of standard benchmarks. The development of the HumanEva I & II test sets provides an opportunity to assess the state of the art by evaluating existing methods on the new standardized test videos. This paper presents a comprehensive evaluation of a monocular recognition-based pose recovery algorithm on the HumanEva II clips. The results show that the method achieves a mean relative error of around 10-12 cm per joint.
Quantifying The Glacial Meltwater Component Of Streamflow In The Middle Fork Nooksack River, Whatcom County, Wa, Using A Distributed Hydrology Model, Carrie B. Donnell
Quantifying The Glacial Meltwater Component Of Streamflow In The Middle Fork Nooksack River, Whatcom County, Wa, Using A Distributed Hydrology Model, Carrie B. Donnell
WWU Graduate School Collection
Glacial meltwater is a vital component of rivers and streams in glaciated regions such as the Pacific Northwest, and can be critical for municipal water supplies, power generation, and habitat issues. The Middle Fork of the Nooksack River is fed by meltwater from Deming Glacier on Mount Baker, WA. The City of Bellingham has been diverting water from the Middle Fork since 1962 to supplement the water supply, and to maintain water quality in Lake Whatcom, the water source for the city. Because of regulations, water is only diverted when the Middle Fork exceeds minimum acceptable streamflow. A concern for …
Oblique Photogrammetric Analysis Of Dome Growth At Mount St. Helens Volcano, 2004 – 2007, Angela K. Diefenbach
Oblique Photogrammetric Analysis Of Dome Growth At Mount St. Helens Volcano, 2004 – 2007, Angela K. Diefenbach
WWU Graduate School Collection
This project is an oblique photogrammetric survey of the 2004-2007 dome-building eruption of Mount St. Helens volcano with two primary objectives: (1) to evaluate the potential of a new rapid and low-cost technique to create digital elevation models (DEMs) and subsequently calculate dome volumes and extrusion rates at Mount St. Helens; and (2) to attempt to understand mechanics associated with lava dome extrusion and collapse by analyzing volumetric and extrusion rate measurements in the context of dome height measurements, seismicity data, and migration of the locus of dome growth.
The new method uses sets of oblique aerial photographs, acquired from …
Directflow: A Domain-Specific Language For Information-Flow Systems, Andrew P. Black, Chuan-Kai Lin
Directflow: A Domain-Specific Language For Information-Flow Systems, Andrew P. Black, Chuan-Kai Lin
Computer Science Faculty Publications and Presentations
Programs that process streams of information are commonly built by assembling reusable information-flow components. In some systems the components must be chosen from a pre-defined set of primitives; in others the programmer can create new custom components using a general-purpose programming language. Neither approach is ideal: restricting programmers to a set of primitive components limits the expressivity of the system, while allowing programmers to define new components in a general-purpose language makes it difficult or impossible to reason about the composite system. We advocate defining information-flow components in a domain-specific language (DSL) that enables us to infer the properties of …
Cache Coherence Protocol Verification Using Ωmega, Ki Yung Ahn
Cache Coherence Protocol Verification Using Ωmega, Ki Yung Ahn
Computer Science Faculty Publications and Presentations
We verify some correctness properties of the DASH cache coherence protocol using Ωmega. Ωmega is a language with a rich type system featuring GADTs, type functions, and user-guided type checking rules. Cache coherence protocols have both safety properties and liveness properties. We show how to describe some of the safety properties of DASH cache coherence protocol in mega. Since liveness properties are not easily expressed by types, we investigate invariants sufficient to imply some of the liveness properties of concern, and assert those invariants as well in the type system of Ωmega. Using Ωmega, we can have both a working …
Protecting The Internet With Public Work, Ed Kaiser, Wu-Chang Feng
Protecting The Internet With Public Work, Ed Kaiser, Wu-Chang Feng
Computer Science Faculty Publications and Presentations
Distributed denial-of-service attacks represent a growing problem for networked systems. To tackle this problem, this paper explores the addition of a public work function to the service advertisement mechanisms used by such systems. When under attack, services advertise this function along with their location information and clients must attach a solution to the function with subsequent requests. The function, which can be made specific to the source of traffic, is publicly verifiable, allowing arbitrary network devices at the edges of the network to quickly verify that subsequent communication from the source will be accepted by the destination. We describe a …