The Generic Approximation Lemma

The approximation lemma is a simplification of the well-known take lemma, and is used to prove properties of programs that produce lists of values. We show how the approximation lemma, unlike the take lemma, can naturally be generalised from lists to a large class of datatypes, and present a generic approximation lemma that is parametric in the datatype to which it applies. As a useful by-product, we find that generalising the approximation lemma in this way also simplifies its proof.

A generic method of engagement to elicit regional coastal management options

Stakeholder engagement is important for successful management of natural resources, both to make effective decisions and to obtain support. However, in the context of coastal management, questions remain unanswered on how to effectively link decisions made at the catchment level with objectives for marine biodiversity and fisheries productivity. Moreover, there is much uncertainty on how to best elicit community input in a rigorous manner that supports management decisions. A decision support process is described that uses the adaptive management loop as its basis to elicit management objectives, priorities and management options using two case studies in the Great Barrier Reef, Australia. The approach described is then generalised for international interest. A hierarchical engagement model of local stakeholders, regional and senior managers is used. The result is a semi-quantitative generic elicitation framework that ultimately provides a prioritised list of management options in the context of clearly articulated management objectives that has widespread application for coastal communities worldwide. The case studies show that demand for local input and regional management is high, but local influences affect the relative success of both engagement processes and uptake by managers. Differences between case study outcomes highlight the importance of discussing objectives prior to suggesting management actions, and avoiding or minimising conflicts at the early stages of the process. Strong contributors to success are a) the provision of local information to the community group, and b) the early inclusion of senior managers and influencers in the group to ensure the intellectual and time investment is not compromised at the final stages of the process. The project has uncovered a conundrum in the significant gap between the way managers perceive their management actions and outcomes, and community's perception of the effectiveness (and wisdom) of these same management actions.

Young people with learning disabilities who sexually abuse: understanding, identifying and responding from within generic education and welfare services

This chapter will start by providing an overview of current knowledge about young people with learning disabilities who sexually abuse. Research cited will, unless otherwise indicated, be limited to UK studies since international variations in the definitions of both learning disability and sexual abuse make the use of a wider literature base problematic – particularly that relating to prevalence and incidence. It will then go on to report key findings from a recent study (Fyson et al, 2003; Fyson, 2005) which examined how special schools and statutory child protection and youth offending services in four English local authorities responded to sexually inappropriate or abusive behaviours exhibited by young people with learning disabilities. It will conclude by highlighting areas of current practice which give cause for concern, and suggest some pointers for future best practice.

Design and validation of a novel generic platform for the production of tetravalent IgG1-like bispecific antibodies

International audience

Description of a new species of skate of the genus Malacoraja Stehmann, 1970: the first species from the southwestern Atlantic Ocean, with notes on generic monophyly and composition (Chondrichthyes: Rajidae)

O primeiro registro para o Atlântico Sul ocidental de uma espécie do gênero Malacoraja Stehmann, 1970 é feita com base na descrição de Malacoraja obscura, espécie nova, proveniente do talude continental do Sudeste brasileiro dos estados do Espírito Santo e Rio de Janeiro em profundidades de 808-1105 m. A espécie nova é conhecida através de cinco exemplares e é distinta de seus congêneres pela sua coloração dorsal composta por numerosas manchas esbranquiçadas e pequenas na região do disco e nadadeiras pélvicas, por apresentar uma fileira irregular de espinhos ao longo da superfície dorsal mediana da cauda a qual persiste em espécimes maiores (desde a base da cauda até dois-terços do seu comprimento numa fêmea de 680 mm de comprimento total, CT) e uma região pequena desprovida de dentículos na base ventral da cauda (estendendo somente até a margem distal da nadadeira pélvica). Outros caracteres diagnósticos em combinação incluem a ausência de espinhos escapulares em indivíduos maiores, número elevado de fileiras dentárias (64/62 fileiras num macho subadulto de 505 mm de CT e 76/74 numa fêmea de 680 mm de CT) e de vértebras (27-28 Vtr, 68-75 Vprd), coloração ventral do disco uniformemente castanha escura, duas fenestras pós-ventrais na cintura escapular, fenestra pós-ventral posterior grande, forame magno circular e dois forames para a carótida interna na placa basal ventral do neurocrânio. Machos adultos não são conhecidos, porém uma descrição anatômica de M. obscura, sp. nov., é fornecida. Comparações são realizadas com todo o material conhecido de M. kreffti, com a literatura sobre M. senta e com material abundante de M. spinacidermis da África do Sul; M. obscura, sp. nov., assemelha-se mais a M. spinacidermis do Atlântico Sul oriental em esqueleto dérmico, coloração e tamanho. Malacoraja é monofilético devido à sua espinulação e apêndices rostrais conspícuos e é aparentemente composta por dois grupos de espécies, um para M. obscura e M. spinacidermis e outro para M. kreffti e M. senta, porém a elucidação das relações filogenéticas entre as espécies necessita de mais informações anatômicas, principalmente das duas últimas espécies.

The transformed-stationary approach: a generic and simplified methodology for non-stationary extreme value analysis

Statistical approaches to study extreme events require, by definition, long time series of data. In many scientific disciplines, these series are often subject to variations at different temporal scales that affect the frequency and intensity of their extremes. Therefore, the assumption of stationarity is violated and alternative methods to conventional stationary extreme value analysis (EVA) must be adopted. Using the example of environmental variables subject to climate change, in this study we introduce the transformed-stationary (TS) methodology for non-stationary EVA. This approach consists of (i) transforming a non-stationary time series into a stationary one, to which the stationary EVA theory can be applied, and (ii) reverse transforming the result into a non-stationary extreme value distribution. As a transformation, we propose and discuss a simple time-varying normalization of the signal and show that it enables a comprehensive formulation of non-stationary generalized extreme value (GEV) and generalized Pareto distribution (GPD) models with a constant shape parameter. A validation of the methodology is carried out on time series of significant wave height, residual water level, and river discharge, which show varying degrees of long-term and seasonal variability. The results from the proposed approach are comparable with the results from (a) a stationary EVA on quasi-stationary slices of non-stationary series and (b) the established method for non-stationary EVA. However, the proposed technique comes with advantages in both cases. For example, in contrast to (a), the proposed technique uses the whole time horizon of the series for the estimation of the extremes, allowing for a more accurate estimation of large return levels. Furthermore, with respect to (b), it decouples the detection of non-stationary patterns from the fitting of the extreme value distribution. As a result, the steps of the analysis are simplified and intermediate diagnostics are possible. In particular, the transformation can be carried out by means of simple statistical techniques such as low-pass filters based on the running mean and the standard deviation, and the fitting procedure is a stationary one with a few degrees of freedom and is easy to implement and control. An open-source MAT-LAB toolbox has been developed to cover this methodology, which is available at https://github.com/menta78/tsEva/(Mentaschi et al., 2016).

Towards a Generic Enterprise Systems Architecture Based on Cyber-Physical Systems Principles

Part 7: Cyber-Physical Systems

Levotiroxina e o problema da permutabilidade de drogas de estreito intervalo terapêutico

The exchange of a prescribed drug by other similar, by generic products and even by custom products has become common practice in our country, often ignoring basic tenets of bioequivalence, interchangeability, stability and characteristics of the pharmaceutical compounds. In the case of drugs of narrow therapeutic index, such as levothyroxine, these problems are intensified, putting the effectiveness of treatment and patient health at serious risk. We review the pertinent legislation, emphasizing the characteristics of levothyroxine and adverse effects that limit the interchangeability of the compound.

Avaliação da qualidade de vida e dos sintomas de stress em mulheres menopausadas com disfunção da articulação temporomandibular

Universidade Estadual de Campinas . Faculdade de Educação Física

Entre o fogo e o vento : as praticas de batuques e o controle das emoções

Universidade Estadual de Campinas . Faculdade de Educação Física

Estressores em Unidade de Terapia Intensiva: versão brasileira do The Environmental Stressor Questionnaire

Este estudo teve como objetivo realizar a adaptação cultural do The Environmental Stressor Questionnaire - (ESQ) para a língua portuguesa do Brasil e verificar sua confiabilidade e validade. Foram empregadas as etapas metodológicas recomendadas pela literatura para adaptação cultural. A versão brasileira do ESQ foi aplicada a 106 pacientes de Unidade de Terapia Intensiva (UTI) de dois hospitais, público e privado, do interior do Estado de São Paulo. A confiabilidade foi avaliada quanto à consistência interna e estabilidade (teste e reteste); a validade convergente foi verificada por meio da correlação entre o ESQ e questão genérica sobre estresse em UTI. A confiabilidade foi satisfatória com Alfa de Crombach=0,94 e Coeficiente de Correlação Intraclasse=0,861 (IC95% 0,723; 0,933). Constatou-se correlação entre o escore total do ESQ e a questão genérica sobre estresse (r=0,70), confirmando a validade convergente. A versão brasileira do ESQ mostrou-se uma ferramenta confiável e válida para avaliação de estressores em UTI.

Molecular systematics of Thorea (Rhodophyta, Thoreales) species in Brazil

This study aimed to evaluate species level taxonomy and phylogenetic relationship among Thorea species in Brazil and other regions of the world using two molecular markers - RUBISCO large subunit plastid gene (rbcL) and nuclear small-subunit ribosomal DNA (SSU rDNA). Three samples of Thorea from Brazil (states of Mato Grosso do Sul and São Paulo) and one sample from Dominican Republic (DR) were sequenced. Analyses based on partial sequences of rbcL (1,282 bp) and complete sequences of SSU (1,752 bp) were essentially congruent and revealed that Thoreales formed a distinct monophyletic clade, which had two major branches with high support, representing the genera Thorea and Nemalionopsis. Thorea clade had four main branches with high support for all analyses, each one representing the species: 1) T. gaudichaudii C. Agardh from Asia (Japan and Philippines) - this clade occurred only in the rbcL analyses; 2) T. violacea Bory from Asia (Japan) and North America (U.S.A. and DR); 3) T. hispida (Thore) Desvaux from Europe (England) and Asia (Japan); 4) a distinct group with the three Brazilian samples (sequence identity: rbcL 97.2%, 1,246 bp; SSU 96.0-98.1%, 1,699-1,720 bp). The Brazilian samples clearly formed a monophyletic clade based on both molecular markers and was interpreted as a separate species, for which we resurrected the name T. bachmannii Pujals. Morphological and molecular evidences indicate that the Thoreales is well-resolved at ordinal and generic levels. In contrast, Thorea species recognized by molecular data require additional characters (e.g. reproductive and chromosome numbers) to allow consistent and reliable taxonomic circumscription aiming at a world revision based on molecular and morphological evidences.

Thaptomys Thomas 1915 (Rodentia, Sigmodontinae, Akodontini) with karyotypes 2n = 50, FN = 48, and 2n = 52, FN = 52: two monophyletic lineages recovered by molecular phylogeny

A novel karyotype with 2n = 50, FN = 48, was described for specimens of Thaptomys collected at Una, State of Bahia, Brazil, which are morphologically indistinguishable from Thaptomys nigrita, 2n = 52, FN = 52, found in other localities. It was hence proposed that the 2n = 50 karyotype could belong to a distinct species, cryptic of Thaptomys nigrita, once chromosomal rearrangements observed, along with the geographic distance, might represent a reproductive barrier between both forms. Phylogenetic analyses using maximum parsimony and maximum likelihood based on partial cytochrome b sequences with 1077 bp were performed, attempting to establish the relationships among the individuals with distinct karyotypes along the geographic distribution of the genus; the sample comprised 18 karyotyped specimens of Thaptomys, encompassing 15 haplotypes, from eight different localities of the Atlantic Rainforest. The intra-generic relationships corroborated the distinct diploid numbers, once both phylogenetic reconstructions recovered two monophyletic lineages, a northeastern clade grouping the 2n = 50 and a southeastern clade with three subclades, grouping the 2n = 52 karyotype. The sequence divergence observed between their individuals ranged from 1.9% to 3.5%.

A new species of the genus Pimelerodius Vanin from the Amazon Region, with notes on the geografic distribution of Pimelerodius motacilla (Boheman) (Coleoptera, Curculionidae, Otidocephalini)

Pimelerodius punctiventris sp. nov. (type locality Brazil, Amazonas, Itacoatiara) is described and illustrated. The new taxon is compared with similar species, being distinguished from the other 12 known species of the genus by the presence of punctures in ventrite I. The available published key for identification of species of Pimelerodius is adapted to include the new species. A modification of the generic description of the aedeagus of Pimelerodius is provided, a necessity due to the differences observed in the aedeagus of the new species. The occurrence of P. motacilla (Boheman, 1843) in the Amazon Region, recorded in sympatry with P. punctiventris in Itacoatiara, AM, is discussed and confirmed, based on the study of 41 available specimens.