AUTOSIM: An automated repetitive software testing tool

AUTOSIM is a software tool which automates the repetitive run testing of software. This tool executes programming tasks previously performed by a programmer with one year of programming experience. Use of the AUTOSIM tool requires a knowledge base containing information about known faults, code fixes, and the fault diagnosis-correction process. AUTOSIM can be considered as an expert system which replaces a low level of programming expertise. Reference information about the design and implementation of the AUTOSIM software test tool provides flowcharts to assist in maintaining the software code and a description of how to use the tool

Spawning cycles and habitats for ballyhoo (Hemiramphus brasiliensis) and balao (H. balao) in south Florida

Two halfbeak species, ballyhoo (Hemiramphus brasiliensis) and balao (H. balao), are harvested as bait in south Florida waters, and recent changes in fishing effort and regulations prompted this investigation of the overlap of halfbeak fishing grounds and spawning grounds. Halfbeaks were sampled aboard commercial fishing vessels, and during fishery-independent trips, to determine spatial and temporal spawning patterns of both species. Cyclic patterns of gonadosomatic indices (GSIs) indicated that both species spawned during spring and summer months. Histological analysis demonstrated that specific stages of oocyte development can be predicted from GSI values; for example, female ballyhoo with GSIs >6.0 had hydrated oocytes that were 2.0−3.5 mm diameter. Diel changes in oocyte diameters and histological criteria demonstrated that final oocyte maturation occurred over a 30- to 36-hour period and that ballyhoo spawned at dusk. Hydration of oocytes began in the morning, and ovulation occurred at sunset of that same day; therefore females with hydrated oocytes were ready to spawn within hours. We compared maps of all locations where fish were collected to maps of locations where spawning females (i.e. females with GSIs >6.0) were collected to determine the degree of overlap of halfbeak fishing and spawning grounds. We also used geographic information system (GIS) data to describe the depth and bottom type of halfbeak spawning grounds. Ballyhoo spawned all along the coral reef tract of the Atlantic Ocean, inshore of the reef tract, and in association with bank habitats within Florida Bay. In the Atlantic Ocean, balao spawned along the reef tract and in deeper, more offshore waters than did ballyhoo; balao were not found inshore of the coral reef tract or in Florida Bay. Both halfbeak species, considered together, spawned throughout the fishing grounds of south Florida

Non-linear Pattern Matching with Backtracking for Non-free Data Types

Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\{a,b,b\}$ has two other equivalent but literally different forms $\{b,a,b\}$ and $\{b,b,a\}$. Pattern matching is known to provide a handy tool set to treat such data types. Although many studies on pattern matching and implementations for practical programming languages have been proposed so far, we observe that none of these studies satisfy all the criteria of practical pattern matching, which are as follows: i) efficiency of the backtracking algorithm for non-linear patterns, ii) extensibility of matching process, and iii) polymorphism in patterns. This paper aims to design a new pattern-matching-oriented programming language that satisfies all the above three criteria. The proposed language features clean Scheme-like syntax and efficient and extensible pattern matching semantics. This programming language is especially useful for the processing of complex non-free data types that not only include multisets and sets but also graphs and symbolic mathematical expressions. We discuss the importance of our criteria of practical pattern matching and how our language design naturally arises from the criteria. The proposed language has been already implemented and open-sourced as the Egison programming language

Synthesis of SnS nanocrystals by the solvothermal decomposition of a single source precursor

SnS nanocrystals (NCs) were synthesized from bis(diethyldithiocarbamato) tin(II) in oleylamine at elevated temperature. High-resolution transmission electron microscopy (HRTEM) investigation and X-ray diffraction (XRD) analysis showed that the synthesized SnS particles are monocrystalline with an orthorhombic structure. The shape and size tunability of SnS NCs can be achieved by controlling the reaction temperature and time, and the nature of the stabilizing ligands. The comparison between experimental optical band gap values shows evidence of quantum confinement of SnS NCs. Prepared SnS NCs display strong absorption in the visible and near-infrared (NIR) spectral regions making them promising candidates for solar cell energy conversion

Reclassification of ICD-9 Codes into Meaningful Categories for Oncology Survivorship Research

Background. The International Classification of Disease, ninth revision (ICD-9) is designed to code disease into categories which are placed into administrative databases. These databases have been used for epidemiological studies. However, the categories used in the ICD9-codes are not always the most effective for evaluating specific diseases or their outcomes, such as the outcomes of cancer treatment. Therefore a re-classification of the ICD-9 codes into new categories specific to cancer outcomes is needed. Methods. An expert panel comprised of two physicians created broad categories that would be most useful to researchers investigating outcomes and morbidities associated with the treatment of cancer. A Senior Data Coordinator with expertise in ICD-9 coding, then joined this panel and each code was re-classified into the new categories. Results. Consensus was achieved for the categories to go from the 17 categories in ICD-9 to 39 categories. The ICD-9 Codes were placed into new categories, and subcategories were also created for more specific outcomes. The results of this re-classification is available in tabular form. Conclusions. ICD-9 codes were re-classified by group consensus into categories that are designed for oncology survivorship research. The novel re-classification system can be used by those involved in cancer survivorship research

A principled approach to programming with nested types in Haskell

Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell