Showing papers in "CTIT technical reports series in 2015"
Journal Article•
23 citations
Journal Article•
22 citations
TL;DR: In this paper, the authors compared the influence of India's external counterinsurgency approaches in Sri Lanka to their domestic approaches against the Naxalites, and found no evidence of counter-insurgence operations in Sri Lankan soil influencing future domestic counter-initiative operations against the Maoists.
Abstract: : India possesses a rich history of combating insurgencies throughout its country. The Naxalite movement originated when India gained its independence and now seventy years later presents the greatest insurgency threat. India also experienced a pivotal counterinsurgency experience as a third party actor in Sri Lanka. This research study sought to compare the influence of India's external counterinsurgency approaches in Sri Lanka to their domestic approaches against the Naxalites. The methodology for this research consists of analyzing each case study for the appearance or absence of twenty-four counterinsurgency approaches. This research found no evidence of counterinsurgency operations in Sri Lanka influencing future domestic counterinsurgency operations against the Naxalites. The major counterinsurgency findings include the necessity to enact political reform; to reduce insurgent support; to recruit, train, and employ local security forces; to co-opt the population; and to achieve unity of effort.
9 citations
Journal Article•
TL;DR: This document summarizes current capabilities, research and operational priorities, and plans for further studies that were established at the 2015 USGS workshop on quantitative hazard assessments of earthquake-triggered landsliding and liquefaction in the Central American region.
Abstract: ...........................................................................................................................
7 citations
Journal Article•
TL;DR: In this article, the authors propose a method to solve the problem of homonymity in homonym identification, i.e., homonym-of-individuals-with-individuality.
Abstract: ..............................................................................................................................
7 citations
Journal Article•
TL;DR: In this article, the authors provide a general conceptual model of the major processes controlling the production and attenuation of secondary water quality impacts (SWQI) in enhanced reductive bioremediation (ERB).
Abstract: : Electron donor (ED) addition can be very effective in stimulating enhanced reductive bioremediation (ERB) of a wide variety of groundwater contaminants. However, ERB can result Secondary Water Quality Impacts (SWQI) including decreased levels of dissolved oxygen (O2), nitrate (NO3-), and sulfate (SO42-), and elevated levels of dissolved manganese (Mn2+), dissolved iron (Fe2+), methane (CH4), organic carbon, and naturally occurring hazardous compounds(e.g., As). This report summarizes available information on processes controlling the production and natural attenuation of SWQI parameters and can be used as a guide in understanding the magnitude, areal extent and duration of SWQI in ERB treatment zones and the natural attenuation of SWQI parameters as the dissolved solutes migrate down gradient with ambient groundwater flow. This information was compiled from a wide variety of sources including a survey and statistical analysis of SWQI from 47 ERB sites, geochemical model simulations, field studies at sites where organic-rich materials have entered the subsurface (e.g., wastewater, landfill leachate and hydrocarbon plumes), and basic information on physical, chemical and biological processes in the subsurface. This information is then integrated to provide a general conceptual model of the major processes controlling the production and attenuation of SWQI production and attenuation.
4 citations
Journal Article•
TL;DR: The coalgebraic theory of nominal Kleene algebra is developed, including an alternative language-theoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulation-based decision procedure for the equational theory.
Abstract: We develop the coalgebraic theory of nominal Kleene algebra, including an alternative language-theoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulation-based decision procedure for the equational theory.
3 citations
Journal Article•
TL;DR: Current address: Resources management division, Hawai ì Volcanoes national park, p.o. box 44, Hawaì i national park.
Abstract: eric b. Spurr1, david foote2, gerald d. lindsey2,3, and Charlotte f. perry4,5 1landcare Research, p.o. box 40, lincoln 7640, new Zealand 2U.S. geological Survey, pacific island ecosystems Research Center, kīlauea field Station, p.o. box 44, Hawaì i national park, Hi 96718 31938-2001 4Hawaì i Cooperative Studies Unit, University of Hawaì i at Hilo, p.o. Box 44, Hawaì i national park, Hi 96718 5Current address: Resources management division, Hawai ì Volcanoes national park, p.o. box 52, Hawaì i national park, Hi 96718
2 citations
Journal Article•
TL;DR: Christina R. Leopold, Steven C. Hess, and Steve J. Kendall as mentioned in this paper proposed a method to detect the presence of lava in the Big Island National Wildlife Refuge Complex.
Abstract: Christina R. Leopold1, Steven C. Hess2, Steve J. Kendall3 1Hawai i Cooperative Studies Unit, University of Hawai i at Hilo, P.O. Box 44, Hawai i Volcanoes National Park, HI 96718 2U.S. Geological Survey, Pacific Island Ecosystems Research Center, Kīlauea Field Station, P.O. Box 44, Hawai i National Park, HI 96718 3Big Island National Wildlife Refuge Complex, 60 Nowelo Street, Suite 100, Hilo, Hawai‘i 96720
2 citations
Journal Article•
TL;DR: In this paper, the authors propose a method to solve the problem of homonymity in homonym identification, i.e., homonym-of-individuals-with-individuality.
Abstract: ..............................................................................................................................
2 citations
TL;DR: A new characterization of unsoundness of workflow graphs in terms of three structural error patterns is presented, i.e., graphical error patterns, and a polynomialtime algorithm that decides unsoundsness and returns for each unsound workflow graph is presented.
Abstract: A workflow graph is a classical flow graph extended by concurrent fork and join. Workflow graphs can be used to represent the main control-flow of e.g. business process models modeled in languages such as BPMN or UML activity diagrams. They can also be seen as compact representations of free-choice Petri nets with a unique start and a unique end. A workflow graph is said to be sound if it is free of deadlocks and exhibits no lack of synchronization, which correspond to liveness and safeness of a slightly modified version of the corresponding Petri net. We present a new characterization of unsoundness of workflow graphs in terms of three structural, i.e., graphical error patterns. We also present a polynomialtime algorithm that decides unsoundness and returns for each unsound workflow graph, one of the three structural error patterns as diagnostic information. An experimental evaluation on over 1350 workflow graphs derived from industrial business process models suggests that our technique performs well in practice.
Journal Article•
TL;DR: In this article, a general theory and approach to goodness of fit techniques based on U-processes for the accelerated failure time (AFT) model is presented, which is a generalization of that proposed in Lin et al.
Abstract: Goodness of fit procedures are essential tools for assessing model adequacy in statistics. In this work, we present a general theory and approach to goodness of fit techniques based on U-processes for the accelerated failure time (AFT) model. Many of the examples will focus on U-statistics of order 2. While many authors have proposed goodness of fit tests for U-statistics of order one, less has been developed for higher order U-statistics. In this paper, we propose goodness of fit tests for U-statistics of order 2 by using theoretical results from Nolan and Pollard (1987) and Nolan and Pollard (1988). We propose a resampling approach which is a generalization of that proposed in Lin et al. (1996). Simulation studies are used to illustrate the proposed methods.
Journal Article•
TL;DR: This study highlights the need to understand more fully the complex web of interactions between carboniferous strata and infectious disease that exists in the Kīlauea Ecosystem.
Abstract: Michelle H. Reynolds1, John M. Pearce2, Philip Lavretsky3, Jeffrey L. Peters3, Karen N. Courtot1, 4, and Pedro P. Seixas5 1U.S. Geological Survey, Pacific Island Ecosystems Research Center, Kīlauea Field Station, P.O. Box 44, Hawaì i National Park, HI 96718, USA 2U.S. Geological Survey, Alaska Science Center, 4210 University Drive, Anchorage, Alaska 99508, USA 3Wright State University, 3640 Colonel Glenn Hwy, Dayton, Ohio 45435, USA 4Hawaì i Cooperative Studies Unit, University of Hawai‘i at Hilo, P.O. Box 44, Hawaì i National Park, HI 96718 5Centro de Reprodução Anatideos, Rua Mário Pais da Costa, no53, 3515-174 Viseu, Portugal