The purpose of this paper is to study the fundamental mechanism, humans use in argumentation, and to explore ways to implement this mechanism on computers. We do so by first developing a theory for argumentation whose central notion is the acceptability of arguments. Then we argue for the " correctness " or " appropriateness " of our theory with two strong… (More)
High-resolution topography data acquired with LIDAR (Light Detection and Ranging) remote sensing technology have emerged as a fundamental tool for Earth science research. Because these acquisitions are often undertaken with federal and state funds at significant cost, it is important to maximize the impact of these geospatial data by providing online access… (More)
Fe 3 O 4 were synthesized nanoparticles by thermal decomposition method with oleic acid as the surfactant, and to make them suitable for aqueous environments, dopamine ligand exchange was carried out on the particles. The nanoparticle size and phase was quantified by transmission electron microscopy ͑TEM͒ and x-ray diffraction ͑XRD͒, respectively.… (More)
Gastrointestinal stromal tumors (GISTs) are the most common mesenchymal tumors of the gastrointestinal tract and usually occur in the stomach and the small intestine. The pancreas is an extremely rare primary site for GISTs and there are 25 reported cases of pancreatic GIST with most being treated with surgical resection. We describe a 52-year-old… (More)
Leveraging service-oriented architectures and taking advantage of the high-performance compute resources provided by XSEDE, we have developed standards-based web services to address the challenges associated with processing large volumes of high resolution topography data. These web services make results from community software packages and other… (More)
The advising process plays an essential role in the success of a student's academic life, and should include mentoring and counseling offered by faculty advisors. Unfortunately, the limited advising time available is often spent on routine tasks such as course advising and approvals. In addition, faculty advisors spend a large proportion of advising time… (More)
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilities to execute its actions in dynamic environments and a repertoire of proof methods by which the correctness of an agent, relative to its capabilities , can be formally verified.
This paper examines whether the US decision during World War I to violate enemy-owned patents-through compulsory licensing-discouraged invention. Estimates from a new data set of German patents indicate a 28 percent increase in invention. Controls for patent quality suggest that only a small share of the increase was due to lower quality, strategic patents.… (More)