A Procedure for Semantic Querying in the Adaptive Formalism

This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method`s applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Thermodynamic modelling of an Al(2)O(3)-MnO system using the ionic model

The thermodynamic assessment of an Al(2)O(3)-MnO pseudo-binary system has been carried out with the use of an ionic model. The use of the electro-neutrality principles in addition to the constitutive relations, between site fractions of the species on each sub-lattice, the thermodynamics descriptions of each solid phase has been determined to make possible the solubility description. Based on the thermodynamics descriptions of each phase in addition to thermo-chemical data obtained from the literature, the Gibbs energy functions were optimized for each phase of the Al(2)O(3)-MnO system with the support of PARROT(R) module from ThemoCalc(R) package. A thermodynamic database was obtained, in agreement with the thermo-chemical data extracted from the literature, to describe the Al(2)O(3)-MnO system including the solubility description of solid phases. (C) 2009 Elsevier Ltd. All rights reserved.

Redescription of Lasioseius floridensis Berlese, 1916 (Acari: Mesostigmata: Blattisociidae), with notes on closely related species

A redescription of Lasioseius floridensis Berlese, 1916 is presented based on examination with descriptive notes of primary type material in the Berlese Collection and on a study of specimens collected from gerbera leaves in Mogi das Cruzes, State of Sao Paulo, Brazil representing all postembryonic stages. This species was originally described from Lake City, Florida, USA, where it was collected from moss; it is considered a senior synonym of Lasioseius arboreus Chant, 1963 (new synonymy) and Lasioseius fimetorum Karg, 1971 (new synonymy), based on examination of primary type material of the latter two species. Examination of other primary type material also indicated that Lasioseius sugawarai Ehara, 1964 is a senior synonym of Lasioseius tridentatus Baker, Delfinado & Abbatiello, 1976 (new synonymy). Placement of L. floridensis among other of the ca 150 species of Lasioseius, based on available keys, and the need for more detailed descriptions of species of genera such as Lasioseius, confirmed by examination of their primary type material, are discussed.

Phylogenetic relationships among members of the Comamonadaceae, and description of Delftia acidovorans (den Dooren de Jong 1926 and Tamaoka et al. 1987) gen. nov., comb. nov.

The phylogenetic relationships among members of the family Comamonadaceae and several unclassified strains were studied by direct sequencing of their PCR-amplified 16S rRNA genes. Based on the 16S rRNA gene sequence analysis, members of the family formed a coherent group. The closest relatives are species of the Rubrivivax sub-group: Leptothrix discophora, Ideonella dechloratans and Rubrivivax gelatinosus. The genus Hydrogenophaga formed two subclusters, as did the species of Acidovorax, whereas the five species of the genus [Aquaspirillum] were polyphyletic. Comamonas acidovorans was phylogenetically distant from the type species of Comamonas, Comamonas terrigena. On the basis of this work and previous studies, Comamonas acidovorans is removed from the genus Comamonas and renamed as Delftia acidovorans gen. nov., comb, nov. Descriptions of the new genus Delftia and of the type species Delftia acidovorans, for which the type strain is ATCC 15668(T), are presented.

Traditional healers as tuberculosis treatment supervisors: precedent and potential

SETTING: Hlabisa, South Africa. OBJECTIVE: To determine precedent and potential for traditional healers to act as tuberculosis (TB) treatment supervisors. METHODS: Literature review to describe precedent for the involvement of traditional healers in TB treatment supervision. Interviews with 100 TB patients to determine use of healers and their acceptability as supervisors. Interviews with 24 healers in the project sub-district to determine willingness to act as supervisors. RESULTS: Despite extensive literature on the interaction between traditional healers and conventional health services, including descriptions of traditional understandings of TB, no published work was identified that reported supervision of TB patients by traditional healers. Of 100 patients interviewed, only 10% had used a healer as the first health provider for their illness, but 40% had attended a healer at some time prior to diagnosis. Although only 4% believe healers can cure TB, 84% would consider choosing a healer as a treatment supervisor. Of the 24 healers, 15 (63%) distinguished between two types of diagnosis made among patients with. symptoms suggestive of TB: TB and idliso. Idliso is poisoning or bewitching, and is said to be best cured by healers, while TB is infectious and cannot be cured by healers. Most healers (88%) reported having referred patients with possible TB to hospital in the past; all were keen to negotiate collaboration with health services, and 92% were willing to act as treatment supervisors. CONCLUSIONS: While there is little reported precedent for traditional healers to interact formally with tuberculosis treatment services, the potential for collaboration seems to be high, at least in our setting.

Disaggregation of polygons of surficial geology and soil maps using spatial modelling and legacy data

Examples from the Murray-Darling basin in Australia are used to illustrate different methods of disaggregation of reconnaissance-scale maps. One approach for disaggregation revolves around the de-convolution of the soil-landscape paradigm elaborated during a soil survey. The descriptions of soil ma units and block diagrams in a soil survey report detail soil-landscape relationships or soil toposequences that can be used to disaggregate map units into component landscape elements. Toposequences can be visualised on a computer by combining soil maps with digital elevation data. Expert knowledge or statistics can be used to implement the disaggregation. Use of a restructuring element and k-means clustering are illustrated. Another approach to disaggregation uses training areas to develop rules to extrapolate detailed mapping into other, larger areas where detailed mapping is unavailable. A two-level decision tree example is presented. At one level, the decision tree method is used to capture mapping rules from the training area; at another level, it is used to define the domain over which those rules can be extrapolated. (C) 2001 Elsevier Science B.V. All rights reserved.

Causes of communication problems at work: A qualitative analysis of supervisor-subordinate differences

This study provided information about how individual workers perceive, describe and interpret episodes of problematic communication. Sixteen full-time workers (5 males, 11 females) were interviewed in depth about specific incidents of problematic communication within their workplace. Their descriptions of the attributed causes of the incidents were coded using a categorisation scheme developed from Coupland, Wieman, and Giles' (1991) model of sources of problematic communication. Communication problems were most commonly attributed to individual deficiency and group membership, although there were differences depending on the direction of communication. The most negative attributions (to personality flaws, to lack of skills, and to negative stereotypes of the outgroup) were most commonly applied by individuals to their supervisors, whilst attributions applied to co-workers and subordinates tended to be less negative, or even positive in some instances (where individuals attributed the fault to themselves). Overall, results highlighted distinctions between the perceptions of communication problems with supervisors and with subordinates, and are interpreted with reference to social identity theory.

Revision of the larval morphology (Zoea I) of the family Hippolytidae (Decapoda, Caridea), with a description of the first stage of the shrimp Hippolyte obliquimanus Dana, 1852

The aim of this study was to summarize the available data on larval morphology of the first zoea of the family Hippolytidae and describe the first zoeal stage of H. obliquimanus from two geographically distinct populations, Brazilian and Caribbean in order to discuss inter- and intraspecific variability. Ovigerous females of Hippolyte obliquimanus were collected at Cahuita (Limon, Costa Rica) and at Ubatuba (Sao Paulo, Brazil). We compiled the published descriptions of all available hippolytid Zoea I (66 spp., 21%), and all zoeae share several characteristics. However, such morphological features cannot be used to distinguish the first zoeae of Hippolytidae from other caridean larvae. Historically, the presence of an exopodal seta at the maxillule and the absence of the anal spine/papilla have been considered as characteristic for the Zoea I of the genus Hippolyte. The results of our revision, however, did not support these conclusions: although H. obliquimanus showed an exopodal seta at the maxillule, four congeners did not bear such structure; moreover, H. obliquimanus as well as one other congener have an anal spine/papilla. All morphological characters observed in the first zoeal stage of H. obliquimanus are shared with others species of the family Hippolytidae. Intraspecific variability in Hippolyte obliquimanus was detected in one morphological aspect: the first zoea had four denticles on the ventral margin of the carapace in the Brazilian population, while specimens from the Costa Rican population had three.

On Reciprocal Illumination and Consilience in Biogeography

Biogeography deals with the combined analysis of the spatial and temporal components of the evolutionary process. To this purpose, biogeographical analysis should consider two extra steps: a reciprocal illumination step, and a consilience step. Even if the traditional challenges of biogeography were successfully handled, the obtained hypothesis is not necessarily meaningful in biogeographical terms--it needs continuous test in the light of external hypotheses. For this reason, a concept analogous to Hennig`s reciprocal illumination is valuable, as well as a sort of biogeographical consilience in Whewell`s sense. Firstly, through the search for different classes of evidence, information useful to improve the hypothesis can be accessed via reciprocal illumination. Following, a more general hypothesis would arise through a consilience process, when the hypothesis explains phenomena not contemplated during its construction, as the distribution of other taxa or the existence (or absence) of fossils. This procedure aims to evaluate the robustness of biogeographical hypotheses as scientific theories. Such theories are reliable descriptions of how life changes its form both in space and time, putting historical biogeography close to Croizat`s statement of evolution as a three dimensional phenomenon.

Redescription of Riethia truncatocaudata (Edwards, 1931) (Diptera: Chironomidae), with description of female, pupa and larva and generic diagnosis for Riethia

The discovery of the immature life history stages of Riethia truncatocaudata (Edwards, 1931) from South America allows diagnosis of Riethia Kieffer, 1917 in all stages, incorporating reared species from the complete austral range. Pseudochironomus truncatocaudata Edwards, 1931 is a senior synonym (syn. n.) of Pseudochironomus melanoides Edwards, 1931. We redescribe the male to complement the short original descriptions of R. truncatocaudata and R. melanoides. The species is congeneric with Australian Riethia stictoptera Kieffer, the type species of the genus Riethia. Extensive material available from the western Pacific (Australia, New Zealand and New Caledonia) confirms that the diagnosis extends to a gondwanan clade, likely sister group to the largely northern genus Pseudochironomus Kieffer.

Pathological gambling and primary antiphospholipid (Hughes) syndrome: a unique neuropsychiatric association

Neuropsychiatric conditions are common in patients with primary antiphospholipid syndrome (APS) with or without vascular thrombosis of the central nervous system. There are frequent descriptions of memory alterations, cognition and mood disorders, such as depression, anxiety, and even conditions of mania and psychosis preceding the diagnosis of primary APS. However, this study is the first to present primary or secondary APS associated with habit or impulse control disorders. The authors describe the case of a 53-year-old male patient who had been a pathological gambler since adulthood and who has had APS for more than 20 years. We describe the case and review its characteristics, criteria for diagnosis and treatment offered for patients with this specific subtype of impulse disorder. Lupus (2011) 20, 1086-1089.

Hydraulic tracer studies in a pilot scale subsurface flow constructed wetland

Current design procedures for Subsurface Flow (SSF) Wetlands are based on the simplifying assumptions of plug flow and first order decay of pollutants. These design procedures do yield functional wetlands but result in over-design and inadequate descriptions of the pollutant removal mechanisms which occur within them. Even though these deficiencies are often noted, few authors have attempted to improve modelling of either flow or pollutant removal in such systems. Consequently the Oxley Creek Wetland, a pilot scale SSF wetland designed to enable rigorous monitoring, has recently been constructed in Brisbane, Australia. Tracer studies have been carried out in order to determine the hydraulics of this wetland prior to commissioning it with sealed sewage. The tracer studies will continue during the wetland's commissioning and operational phases. These studies will improve our understanding of the hydraulics of newly built SSF wetlands and the changes brought on by operational factors such as biological films and wetland plant root structures. Results to date indicate that the flow through the gravel beds is not uniform and cannot be adequately modelled by a single parameter, plug flow with dispersion, model. We have developed a multiparameter model, incorporating four plug flow reactors, which provides a better approximation of our experimental data. With further development this model will allow improvements to current SSF wetland design procedures and operational strategies, and will underpin investigations into the pollutant removal mechanisms at the Oxley Creek Wetland. (C) 1997 IAWQ. Published by Elsevier Science Ltd.

Heart transplantation experiences: a phenomenological approach

Aim. The aim of this study was to understand the heart transplantation experience based on patients` descriptions. Background. To patients with heart failure, heart transplantation represents a possibility to survive and improve their quality of life. Studies have shown that more quality of life is related to patients` increasing awareness and participation in the work of the healthcare team in the post-transplantation period. Deficient relationships between patients and healthcare providers result in lower compliance with the postoperative regimen. Method. A phenomenological approach was used to interview 26 patients who were heart transplant recipients. Patients were interviewed individually and asked this single question: What does the experience of being heart transplanted mean? Participants` descriptions were analysed using phenomenological reduction, analysis and interpretation. Results. Three categories emerged from data analysis: (i) the time lived by the heart recipient; (ii) donors, family and caregivers and (iii) reflections on the experience lived. Living after heart transplant means living in a complex situation: recipients are confronted with lifelong immunosuppressive therapy associated with many side-effects. Some felt healthy whereas others reported persistence of complications as well as the onset of other pathologies. However, all participants celebrated an improvement in quality of life. Health caregivers, their social and family support had been essential for their struggle. Participants realised that life after heart transplantation was a continuing process demanding support and structured follow-up for the rest of their lives. Conclusion. The findings suggest that each individual has unique experiences of the heart transplantation process. To go on living participants had to accept changes and adapt: to the organ change, to complications resulting from rejection of the organ, to lots of pills and food restrictions. Relevance to clinical practice. Stimulating a heart transplant patients spontaneous expression about what they are experiencing and granting them the actual status of the main character in their own story is important to their care.

Genus I. Chrysiogenes

This volume includes numerous introductory chapters on the basic concepts and practice of prokaryotic taxonomy in addition to detailed descriptions of the Archaea, phototrophic bacteria and some very deep bacterial phyla. Introductory chapters include the topics of classification of prokaryotes, the concept of bacterial speciation, numerical and polyphasic taxonomy, bacterial nomenclature and the etymology of prokaryotic names, nucleic acid probes and their application in environmental microbiology, culture collections, and the intellectual property of prokaryotes. The first Road Map to the prokaryotes is included as well as an overview of the phylogenetic backbone and taxonomic framework for prokaryotic systematics.