Physical Sciences and Mathematics Commons^™

Prevention And Combat Of A Spillage After Ghana's Oil And Gas Discovery: Is Ghana Ready To Face An Environmental Threat?, John Baker Amissah Glover

World Maritime University Dissertations

No abstract provided.

The Implementation Of The United Nations On Sustainable Development Goals Number 14 Concerning “Conserve And Sustainable Use Of The Ocean, Seas And Marine Resources For Sustainable Development” In Indonesia Maritime Regulation: The Review On The Law And Policy Applied In Indonesia Concerning The Coastal And Maritime Resources And Protection, Namiraisir Endah Asmar

World Maritime University Dissertations

No abstract provided.

Assessment Of Vietnam’S Capacity And Commitment To Ratify And Implement The International Convention On Oil Pollution Preparedness, Response And Co-Operation (Oprc), 1990, Hieu Huu Dao

World Maritime University Dissertations

No abstract provided.

A Study On The Practical Use Of Operations Research And Vessels Big Data In Benefit Of Efficient Ports Utilization In Panama, Gabriel Fuentes Lezcano

World Maritime University Dissertations

No abstract provided.

Evidence-Based Devops For Continuous Collaboration, Process, And Delivery, Weon S. Chung

ASA Multidisciplinary Research Symposium

The purpose of this research is to propose Evidence-Based DevOps and to demonstrate its application to software reengineering. For this purpose, we borrow an approach from Medicine, Evidence-Based Medicine (EBM), and apply it to DevOps. Evidence-Based DevOps supports continuous collaboration, process, and deployment within or across diverse teams.

A Warm-Season Comparison Of Wrf Coupled To The Clm4.0, Noah-Mp, And Bucket Hydrology Land Surface Schemes Over The Central Usa, Matthew S. Van Den Broeke, Andrew Kalin, Jose Abraham Torres Alavez, Robert Oglesby, Q. Steven Hu

Department of Earth and Atmospheric Sciences: Faculty Publications

In climate modeling studies, there is a need to choose a suitable land surface model (LSM) while adhering to available resources. In this study, the viability of three LSM options (Community Land Model version 4.0 [CLM4.0], Noah-MP, and the five-layer thermal diffusion [Bucket] scheme) in the Weather Research and Forecasting model version 3.6 (WRF3.6) was examined for the warm season in a domain centered on the central USA. Model output was compared to Parameter-elevation Relationships on Independent Slopes Model (PRISM) data, a gridded observational dataset including mean monthly temperature and total monthly precipitation. Model output temperature, precipitation, latent heat (LH) …

Constructing A Clinical Research Data Management System, Michael C. Quintero

USF Tampa Graduate Theses and Dissertations

Clinical study data is usually collected without knowing what kind of data is going to be collected in advance. In addition, all of the possible data points that can apply to a patient in any given clinical study is almost always a superset of the data points that are actually recorded for a given patient. As a result of this, clinical data resembles a set of sparse data with an evolving data schema. To help researchers at the Moffitt Cancer Center better manage clinical data, a tool was developed called GURU that uses the Entity Attribute Value model to handle …

Does Strong Tropospheric Forcing Cause Large-Amplitude Mesospheric Gravity Waves? A Deepwave Case Study, Martina Bramberger, Andreas Dörnbrack, Katrina Bossert, Benedikt Ehard, David C. Fritts, Bernd Kaifler, Christian Mallaun, Andrew Orr, Pierre-Dominique Pautet, Markus Rapp, Michael J. Taylor, Simon Vosper, Bifford P. Williams, Benjamin Witschas

Publications

On 4 July 2014, during the Deep Propagating Gravity Wave Experiment (DEEPWAVE), strong low-level horizontal winds of up to 35 m s⁻¹ over the Southern Alps, New Zealand, caused the excitation of gravity waves having the largest vertical energy fluxes of the whole campaign (38 W m⁻²). At the same time, large-amplitude mesospheric gravity waves were detected by the Temperature Lidar for Middle Atmospheric Research (TELMA) located at Lauder (45.0°S, 169.7°E), New Zealand. The coincidence of these two events leads to the question of whether the mesospheric gravity waves were generated by the strong tropospheric forcing. To …

When, How, And Why Did The West Antarctic Ice Sheet Retreat In The Ross Sea Since The Last Glacial Maximum Using Foraminiferal And Porewater Geochemistry, Matthew Decesare

LSU Doctoral Dissertations

The Antarctic Ice Sheets (AIS) began to retreat from their Last Glacial Maximum (LGM) position sometime after 19,000 years ago. However, the corrosive waters circulating around Antarctica has prevented the recovery of radiocarbon-dateable material, hindering the development of deglacial chronologies. During Expedition NBP1502B to the eastern Ross Sea, an unprecedented quantity of fossil foraminifera and bivalves were recovered. Radiocarbon-dated specimens have been used to constrain the timing of West-AIS retreat from Whales Deep basin and Ross Bank. Whales Deep samples show that the WAIS retreated from its LGM position on the continental shelf edge by 14,700 ± 400 calibrated radiocarbon …

Faust, Burton Sherwood, 1898-1967 (Mss 620), Manuscripts & Folklife Archives

Manuscript Collection Finding Aids

Finding aid only for Manuscripts Collection 620. Correspondence, research notes, drafts, photographs, reference works and bibliographic material of Burton S. Faust relating to his studies of the chemical, historical and cultural aspects of saltpetre and of spelean saltpetre mining in the United States.

Harnessing Wastewater For Renewable Energy (2013-2), Aaron Adalja, Chalida U-Tapao

Aaron Adalja

This case study explores the options for using wastewater to produce renewable energy in the context of a public wastewater treatment plant. It provides an opportunity for students to synthesize knowledge from resource economics, engineering, environmental science, agriculture, and public policy to develop a transdisciplinary approach to a socio-environmental issue. The case is designed for upper division undergraduate courses in resource economics or environmental engineering, but several modifications are provided graduate course applications. Students assume the role of a newly hired analyst at a consulting firm in Washington, DC, that specializes in renewable energy solutions. They are charged with proposing …

Spatio-Temporal Variation Of Benthic Metabolism In A Large Regulated River, Craig Irwin

Electronic Thesis and Dissertation Repository

Spatio-temporal patterns of benthic metabolism were measured to determine associations with substrate (cobble vs sand), channel location (main vs side channel), flow regulation (medium-head vs low-head) and temporal variability during the summer months. Benthic metabolism was estimated in two reaches of the Saint John River in New Brunswick, Canada using benthic chambers. General linear models indicated gross primary production (GPP) and community respiration (CR) was greater in cobble substrate in June, but only GPP was greater in July. CR differed between channel locations in July with greater rates in the side channel. Assessment of flow regulation showed greater GPP in …

Security Of The Internet Of Things (Iot), Tyler Williams, Jordan Frantsvog, Saeed Almalki

Posters-at-the-Capitol

The rapidly adopted idea of everyday devices being interconnected and being controllable from across the globe has come to be known as the Internet of Things (IoT). In every home or business there are now connected devices such as lights, locks, thermostats, and even medical devices which have created a much larger attack surface for every network and could increase the possibility of serious damage if they are compromised. Connected devices are even found in hospitals, power plants, and other secure facilities. Safety and security of networks are imperative not only for secure military installations or infrastructure sites, but also …

Assessing The Periodic Groundwater Flow Conditions Of A Perched Aquifer System In The Daniel Boone National Forest, Ethan Sweet

Posters-at-the-Capitol

Assessing the Periodic Groundwater Flow Conditions of a Perched Aquifer System in the Daniel Boone National Forest

Ethan Sweet and Jonathan Malzone

Eastern Kentucky University, Department of Geosciences

Natural ephemeral wetlands situated among the ridge-tops in the Daniel Boone National Forest serve as reservoirs that recharge a shallow groundwater system. Unique interactions between surface and groundwater in these isolated systems provide substantial support for the native ecosystem, serving as a breeding ground for amphibians and as source water for vegetation—especially in periods of drought. Currently it is not understood how groundwater could provide regional biodiversity, a drought buffer, or a …

The Firece Green Fire: Vol. 8 Issue 8, Wofford College Environmental Studies Program

The Fierce Green Fire

No abstract provided.

Evaluating Causes Of Error In Landmark-Based Data Collection Using Scanners, Brian M. Shearer, Siobhan B. Cooke, Lauren B. Halenar, Samantha L. Reber, Jeannette E. Plummer, Eric Delson, Melissa Tallman

Peer Reviewed Articles

In this study, we assess the precision, accuracy, and repeatability of craniodental landmarks (Types I, II, and III, plus curves of semilandmarks) on a single macaque cranium digitally reconstructed with three different surface scanners and a microCT scanner. Nine researchers with varying degrees of osteological and geometric morphometric knowledge landmarked ten iterations of each scan (40 total) to test the effects of scan quality, researcher experience, and landmark type on levels of intra- and interobserver error. Two researchers additionally landmarked ten specimens from seven different macaque species using the same landmark protocol to test the effects of the previously listed …

Microbial And Genomic Analysis Of Environmental Samples In Search Of Pathogenic Salmonella, Jorie L. Skutas

HCNSO Student Theses and Dissertations

Salmonellosis or “food poisoning” is a foodborne infection brought on by the pathogen Salmonella from the ingestion of the bacterium on contaminated foods such as vegetables. Infection from Salmonella leads to the highest incidence of hospitalizations and deaths each year, compared to any other bacterial foodborne illness. South Florida is the second largest agricultural winter vegetable producer in the United States, and contamination of vegetables is often observed in preharvest practices. A hardy bacterium, Salmonella, has been shown to live up to 6 weeks in soil and water up to 42°C without a host.

The Florida Everglades is a tropical …

Borges And The Subjective-Idealism In Relativity Theory And Quantum Mechanics, Victor Christianto, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This paper is intended to be a follow-up to our previous paper with title: "Reinterpreting Tlon, Uqbar, Orbis Tertius: On the antirealism tendency in modern physics." We will give more background for our propositions in the previous paper. Our message here is quite simple: allow us to remind fellow physicists and cosmologists to become more aware of Berkeley-idealism tendency, which can lead us to so many distractions instead of bringing us closer to the truth. We observe that much of the progress of modern physics in the last few decades only makes us as confused as before, but at a …

Flash Droughts: A Review And Assessment Of The Challenges Imposed By Rapid-Onset Droughts In The United States, Jason A. Otkin, Mark Svoboda, Eric D. Hunt, Trent W. Ford, Martha C. Anderson, Christopher Hain, Jeffrey B. Basara

Drought Mitigation Center: Faculty Publications

No abstract provided.

The Ability Of The U.S. Army Heat Strain Decision Aid (Hsda) To Predict A Limiting Heat Stress Exposure, Katelynn E. Glisson

USF Tampa Graduate Theses and Dissertations

Working below the threshold limit value (TLV) for heat stress is not always feasible. When work above the TLV is required, an exposure method is needed that can help protect workers from time limiting heat stress by calculating a safe time for work at certain heat exposures. The purpose of this paper is to determine whether the USARIEM Heat Strain Decision Aid (HSDA) can be used to predict time limiting heat stress exposure in an occupational setting.

Twelve adults participated in time limited heat stress exposures. A range of heat stress conditions were designed using three different ensembles and five …

Strong-Dism: A First Attempt To A Dynamically Typed Assembly Language (D-Tal), Ivory Hernandez

USF Tampa Graduate Theses and Dissertations

Dynamically Typed Assembly Language (D-TAL) is not only a lightweight and effective solution to the gap generated by the drop in security produced by the translation of high-level language instructions to low-level language instructions, but it considerably eases up the burden generated by the level of complexity required to implement typed assembly languages statically. Although there are tradeoffs between the static and dynamic approaches, focusing on a dynamic approach leads to simpler, easier to reason about, and more feasible ways to understand deployment of types over monomorphically-typed or untyped intermediate languages. On this occasion, DISM, a simple but powerful and …

The Cosm Aggregate, Georgia Southern University

COSM Aggregate (2017)

No abstract provided.

Predicting Hand Surface Area From A Two-Dimensional Hand Tracing, Myles O'Mara

USF Tampa Graduate Theses and Dissertations

Recent occupational health studies have focused on dermal exposure at the hands, but have been unable to accurately express dose without knowing the HSA. There is no standard method to calculate HSA, though some researchers have derived HSA formulas based on dimensions from a Taiwanese population. This research paper describes a shortcut method to estimate the hand surface area (HSA) of a human hand from a two-dimensional hand tracing, and repeated a Taiwanese HSA study in order to explore the viability of its HSA formula in an American university population. A sample of nine adult men and nine adult women, …

Computational Methods Of Lattice Boltzmann Mhd, Christopher Robert Flint

Dissertations, Theses, and Masters Projects

Lattice Boltzmann (LB) Methods are a somewhat novel approach to Computational Fluid Dynamics (CFD) simulations. These methods simulate Navier-Stokes and magnetohydrodynamics (MHD) equations on the mesoscopic (quasi-kinetic) scale by solving for a statistical distribution of particles rather than attempting to solve the nonlinear macroscopic equations directly. These LB methods allow for a highly parallelizable code since one replaces the difficult nonlinear convective derivatives of MHD by simple linear advection on a lattice. New developments in LB have significantly extended the numerical stability limits of its applicability. These developments include multiple relaxation times (MRT) in the collision operators, maximizing entropy to …

Automated Speech Recognition For Captioned Telephone Conversations, Jeff Adams Ceo, Kenneth Basye Phd, Alok Parlikar Phd, Andrew Fletcher Phd, Jangwon Kim Phd

Faculty Works

Internet Protocol Captioned Telephone Service is a service for people with hearing loss, allowing them to communicate effectively by having a human Communications Assistant transcribe the call and equipment that displays the transcription in near real time. The current state of the art for ASR is considered with regard to automating such service. Recent results on standard tests are examined and appropriate metrics for ASR performance in captioning are discussed. Possible paths for developing fully-automated telephone captioning services are examined and the effort involved is evaluated.

Self-Assembly Mechanisms Of Organosilanes And Porphyrins Investigated With Scanning Probe Microscopy, Phillip Charles Chambers Ii

LSU Doctoral Dissertations

This dissertation details the development of new fabrication strategies for the preparation of spatially selective surfaces by combining techniques of particle lithography and scanning probe microscopy (SPM). This combination of lithography and nanoscale surface characterization was applied to study the mechanisms of molecular level surface-assembly of organosilanes and porphyrin on surfaces of Si(111). Particle lithography was used to investigate the surface assembly of 4-chloromethylphenyltrichlorosilane (CMPS) within exposed sites of nanoholes in selected solvents and at selected temperatures to gain insight into the details of self-polymerization. Nanopillars of CMPS were generated under selected conditions of solvent and temperature and characterized with …

Automatic Loop-Invariant Generation And Refinement Through Selective Sampling, Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin

Research Collection School Of Computing and Information Systems

Automatic loop-invariant generation is important in program analysis and verification. In this paper, we propose to generate loop-invariants automatically through learning and verification. Given a Hoare triple of a program containing a loop, we start with randomly testing the program, collect program states at run-time and categorize them based on whether they satisfy the invariant to be discovered. Next, classification techniques are employed to generate a candidate loop-invariant automatically. Afterwards, we refine the candidate through selective sampling so as to overcome the lack of sufficient test cases. Only after a candidate invariant cannot be improved further through selective sampling, we …

Fib: Squeezing Loop Invariants By Interpolation Between Forward/Backward Predicate Transformers, Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sana, Henri Hansen

Research Collection School Of Computing and Information Systems

Loop invariant generation is a fundamental problem in program analysis and verification. In this work, we propose a new approach to automatically constructing inductive loop invariants. The key idea is to aggressively squeeze an inductive invariant based on Craig interpolants between forward and backward reachability analysis. We have evaluated our approach by a set of loop benchmarks, and experimental results show that our approach is promising.

Mining Implicit Design Templates For Actionable Code Reuse, Yun Lin, Guozhu Meng, Yinxing Yue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong

Research Collection School Of Computing and Information Systems

In this paper, we propose an approach to detecting project-specific recurring designs in code base and abstracting them into design templates as reuse opportunities. The mined templates allow programmers to make further customization for generating new code. The generated code involves the code skeleton of recurring design as well as the semi-implemented code bodies annotated with comments to remind programmers of necessary modification. We implemented our approach as an Eclipse plugin called MICoDe. We evaluated our approach with a reuse simulation experiment and a user study involving 16 participants. The results of our simulation experiment on 10 open source Java …

The Classification Of Infinite Abelian Groups With Partial Decomposition Bases In L∞Ω, Carol Jacoby, Peter Loth

Mathematics Faculty Publications

We consider the class of abelian groups with partial decomposition bases, which includes groups classified by Ulm, Warfield, Stanton and others. We define an invariant and classify these groups in the language L∞ω, or equivalently, up to partial isomorphism. This generalizes a result of Barwise and Eklof and builds on Jacoby's classification of local groups with partial decomposition bases in L∞ω.