BIRP: Software for interactive search and retrieval of image engineering data

Better Image Retrieval Programs (BIRP), a set of programs to interactively sort through and to display a database, such as engineering data for images acquired by spacecraft is described. An overview of the philosophy of BIRP design, the structure of BIRP data files, and examples that illustrate the capabilities of the software are provided

PowerAqua: fishing the semantic web

The Semantic Web (SW) offers an opportunity to develop novel, sophisticated forms of question answering (QA). Specifically, the availability of distributed semantic markup on a large scale opens the way to QA systems which can make use of such semantic information to provide precise, formally derived answers to questions. At the same time the distributed, heterogeneous, large-scale nature of the semantic information introduces significant challenges. In this paper we describe the design of a QA system, PowerAqua, designed to exploit semantic markup on the web to provide answers to questions posed in natural language. PowerAqua does not assume that the user has any prior information about the semantic resources. The system takes as input a natural language query, translates it into a set of logical queries, which are then answered by consulting and aggregating information derived from multiple heterogeneous semantic sources

Cauchy's infinitesimals, his sum theorem, and foundational paradigms

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy's proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy's proof closely and show that it finds closer proxies in a different modern framework. Keywords: Cauchy's infinitesimal; sum theorem; quantifier alternation; uniform convergence; foundational paradigms.Comment: 42 pages; to appear in Foundations of Scienc

Ten Misconceptions from the History of Analysis and Their Debunking

The widespread idea that infinitesimals were "eliminated" by the "great triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d'Alembert, Cauchy, and others.Comment: 46 pages, 4 figures; Foundations of Science (2012). arXiv admin note: text overlap with arXiv:1108.2885 and arXiv:1110.545

Analysis and Identification of Requirements for a System to Enhance Situational Awareness at Sea

This paper presents the research results of identifying and analyzing key requirements for the ESABALT system based on pre-defined user profile groups. These requirements have been identified through multiple sources, which include an electronic survey of potential users of the system, interviews with specialists in navigation, law and computer science, analysis of state-of-the-art in maritime safety procedures, and study of past R&D projects in this field. Finally, these requirements are classified into user level, domain level and system level requirements for easy interpretation while designing the system architecture and its function-al specifications. The presented system specification is discussed

Maritime Safety - Stakeholders in Information Exchange Process

This paper presents the methodology and research results on identification of potential users of the ESABALT system, which is targeted towards improving the situational awareness in the Baltic Sea region. We describe the technique of analysing the stakeholders involved in maritime sector processes, especially in maritime transport processes, while also taking into account their different classification criteria. The resulting list of stakeholders is used to identify system users and their classification into user profiles groups. This study will form the basis for the identification of user requirements of the ESABALT system

Cryptococcal Meningitis Screening and Community-based Early Adherence Support in People With Advanced Human Immunodeficiency Virus Infection Starting Antiretroviral Therapy in Tanzania and Zambia: A Cost-effectiveness Analysis

BACKGROUND: A randomized trial demonstrated that among people living with late-stage human immunodeficiency virus (HIV) infection initiating antiretroviral therapy, screening serum for cryptococcal antigen (CrAg) combined with adherence support reduced all-cause mortality by 28%, compared with standard clinic-based care. Here, we present the cost-effectiveness. METHODS: HIV-infected adults with CD4 count <200 cells/μL were randomized to either CrAg screening plus 4 weekly home visits to provide adherence support or to standard clinic-based care in Dar es Salaam and Lusaka. The primary economic outcome was health service care cost per life-year saved as the incremental cost-effectiveness ratio (ICER), based on 2017 US dollars. We used nonparametric bootstrapping to assess uncertainties and univariate deterministic sensitivity analysis to examine the impact of individual parameters on the ICER. RESULTS: Among the intervention and standard arms, 1001 and 998 participants, respectively, were enrolled. The annual mean cost per participant in the intervention arm was US$339 (95$331-$347), resulting in an incremental cost of the intervention of US$77 (95% CI, $66-$88). The incremental cost was similar when analysis was restricted to persons with CD4 count <100 cells/μL. The ICER for the intervention vs standard care, per life-year saved, was US$70 (95$43-$211) for all participants with CD4 count up to 200 cells/μL and US$91 (95% CI, $49-$443) among those with CD4 counts <100 cells /μL. Cost-effectveness was most sensitive to mortality estimates. CONCLUSIONS: Screening for cryptococcal antigen combined with a short period of adherence support, is cost-effective in resource-limited settings

The whole and its parts : why and how to disentangle plant communities and synusiae in vegetation classification

Most plant communities consist of different structural and ecological subsets, ranging from cryptogams to different tree layers. The completeness and approach with which these subsets are sampled have implications for vegetation classification. Non‐vascular plants are often omitted or sometimes treated separately, referring to their assemblages as “synusiae” (e.g. epiphytes on bark, saxicolous species on rocks). The distinction of complete plant communities (phytocoenoses or holocoenoses) from their parts (synusiae or merocoenoses) is crucial to avoid logical problems and inconsistencies of the resulting classification systems. We here describe theoretical differences between the phytocoenosis as a whole and its parts, and outline consequences of this distinction for practise and terminology in vegetation classification. To implement a clearer separation, we call for modifications of the International Code of Phytosociological Nomenclature and the EuroVegChecklist. We believe that these steps will make vegetation classification systems better applicable and raise the recognition of the importance of non‐vascular plants in the vegetation as well as their interplay with vascular plants