Exotic vs endemic biocontrol agents: Would the real stratiolaelaps miles (Berlese) (Acari : Mesostigmata : Laelapidae), please stand up?

The ability of introduced organisms to invade undisturbed native habitats is a major concern in conservation biology and has resulted in a re-evaluation of the introduction of exotic biocontrol agents, especially of generalist predators. One such agent is Stratiolaelaps miles (Berlese), a predatory mite described from Italy, known from throughout the Holarctic, and apparently accidentally introduced to other areas of the world, including Australia. Initial investigations revealed that putative S. miles could be found in both disturbed and relatively pristine habitats in Queensland, Australia. However, analysis of the mitochondrial DNA of five populations showed most to be highly divergent genetically. Subsequent morphological analysis established two species groups: the lamington-group from cool-temperate to subtropical rainforests in Eastern Australia and the more eurytopic miles-group with a cosmopolitan distribution. We describe two new species from each of these complexes (Stratiolaelaps womersleyi, Stratiolaelaps lamington; Stratiolaelaps marilyn, Stratiolaelaps lorna, respectively), and resurrect Stratiolaelaps scimitus (Womersley), a species which often appears to have been confused with S. miles. Additionally, the large genetic distances among morphologically homogenous species in the miles-group suggest that the apparently cosmopolitan S. miles may be composed of a suite of cryptic species of potentially varying utility in biological control. (C) 2002 Elsevier Science (USA). All rights reserved.

An audit tool for intellectual property management: IP management in the Queensland Department of Primary Industries

Smart State is a Queensland Government initiative that recognises the central role of knowledge-based economic growth. In this context, the management of intellectual property (IP) within Queensland and Australian government research and development agencies has changed dramatically over recent years. Increasing expectations have been placed on utilising public sector IP to both underpin economic development and augment taxes by generating new revenues. Public sector research and development (R&D) management has come under greater scrutiny to commercialise and/or corporatise their activities. In a study of IP management issues in the Queensland Public Sector we developed a framework to facilitate a holistic audit of IP management in government agencies. In this paper we describe this framework as it pertains to one large public sector Agriculture R&D Agency, the Queensland Department of Primary Industries (QDPI). The four overlapping domains of the framework are: IP Generation; IP Rights; IP Uptake; and Corporate IP Support. The audit within QDPI, conducted in 2000 near the outset of Smart State, highlighted some well developed IP management practices within QDPI's traditional areas of focus of innovation (IP Generation) and IP ownership and licensing (IP Rights). However, further management practice developments are required to improve the domains of IP Uptake and Corporate IP Support.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

On continuous selection problems for multivalued mappings with the local intersection property in hyperconvex metric spaces

In the paper we present two continuous selection theorems in hyperconvex metric spaces and apply these to study xed point and coincidence point problems as well as variational inequality problems in hyperconvex metric spaces.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

O sentido de ser professor de Educação Física pelos “modos de ser sendo junto ao outro no mundo” perverso- fascista e democrático: a vivência real & no filme “Má Educação”

Quais são os “modos de ser sendo junto ao outro no mundo” professores de Educação Física da Prefeitura Municipal da Serra, ES, situados no que se denomina “real” e do professor de Educação Física padre José no filme “Má Educação” de Pedro Almodóvar situado no que se denomina “ficcional”? Que contribuições reflexivas podem trazer tais dados (analisados hermeneuticamente) para a Formação Continuada de professores de Educação Física [3]? OBJETIVO: Descrever os “modos de ser sendo junto ao outro no mundo” de [1] professores de Educação Física que trabalham em escolas públicas da Prefeitura Municipal da Serra, ES & do [2] padre José, personagem ficcional, professor de Educação Física no filme espanhol de 2004 “Má Educação” fazendo-o primeiramente através de uma pesquisa clássica (descritiva e hermenêutica) e depois uma literaturalizada e artística (hermenêutica). MARCO TEÓRICO: Trata-se de uma proposta discursiva (teórica) fenomenológica existencial de tendência marxista criada por Pinel; METODOLOGIA: Tratou-se de uma pesquisa fenomenológica existencial seguindo recomendações de Forghieri (2001) e Pinel (2006; 2012) - dentre outros. Os 29 professores de Educação Física foram provocados a mostrarem os seus “modos de ser sendo junto ao outro no mundo” do ofício professor de Educação Física. Depois essa mesma provocação foi feita ao personagem do filme. RESULTADOS & DISCUSSÃO: Descreveram-se [1] os “modos de ser sendo junto ao outro no mundo” dos professores de Educação Física na dimensão do real e do ficcional (cinema), e não se objetivou comparação por mais que isso tenha ficado evidente. Esses professores, em 2011/2012, experienciando uma democracia (im)perfeita brasileira [que tem até tendências neofascistas], mais ainda assim democracia - foram compreendidos sempre tomando um norte/ rumo/ direção em subjetivação pelos Guias de Sentido (GS – Pinel) democráticos reconhecimento [demanda do grupo em ser valorizado, reconhecido], em (im) potência [impotência e potencia possível de vir a lume sempre; a força e seu outro lado, a fragilidade de ser], afetando [o que se pratica e pensa/sente afeta a si mesmo, o outro e o mundo; o afetar produz mais subjetivações], sonhando [há demanda sempre de realizar projetos de vida; o projeto de ser sempre devir, em construção sempre; é uma precisão imprecisa], saudavelmente insano [o quão perto pode estar a experienciar a sanidade e a loucura e o quanto uma loucura é sã, pois criativa, inventiva, produtiva, opositora ao estabelecido] – eles mesmos junto ao outro no mundo tornando-se sujeitos. [2] Já o professor de Educação Física padre José da película almodovariana é um professor que de imediato pode ser apreendido como sólido e fixo na sua perversão fascista, ele como parte legitimadora do Estado espanhol de Franco, na década de 60, provavelmente em 1964, que é, na ficção, o espaço-tempo de José e suas ações pedagógicas e psicológicas (e de Educação Física). Mas não é apenas o fascismo que torna o fascista um criador de um cotidiano fascista, pois afinal, paralelamente a ele, no concreto e na ficção, haviam pessoas generosas, resistentes e resilientes que atuavam contra essas pressões quase na maioria das vezes advindas do todo (Estado) – eram pessoas democráticas individualmente e em pequenos e grandes grupos; eram exemplo de resistência contra o estabelecido pela ideologia dominante de então. José numa instituição fascista não conseguiu refletir e agir diferentemente, isto é, com mais saúde mental, escolhendo (na liberdade) ser fascista, ser menor (pouco) – optou não ser-mais. Finalmente os mesmos dados são apresentados em outra estética possível e sempre aberta, inconclusa, devir... As artes e a poesia (bem como a literatura) procuram cuidadosamente desvelar os “modos de ser junto ao outro no mundo” professor de Educação Física do mundo real e do imaginário (fílmico) desvelando muitas vezes indissociados. PÓSCRITO: O autor descreve as possíveis implicações do seu estudo para educação física pautado sempre em uma proposta de criar um discursso insubmisso focando na ideia de que uma pesquisa demanda narrar a vida, e literaturalizar a ciência.

Uma avaliação das metodologias de desagregação da exergia física para a modelagem termoeconômica de sistemas

Talvez não seja nenhum exagero afirmar que há quase um consenso entre os praticantes da Termoeconomia de que a exergia, ao invés de só entalpia, seja a magnitude Termodinâmica mais adequada para ser combinada com o conceito de custo na modelagem termoeconômica, pois esta leva em conta aspectos da Segunda Lei da Termodinâmica e permite identificar as irreversibilidades. Porém, muitas vezes durante a modelagem termoeconômica se usa a exergia desagregada em suas parcelas (química, térmica e mecânica), ou ainda, se inclui a neguentropia que é um fluxo fictício, permitindo assim a desagregação do sistema em seus componentes (ou subsistemas) visando melhorar e detalhar a modelagem para a otimização local, diagnóstico e alocação dos resíduos e equipamentos dissipativos. Alguns autores também afirmam que a desagregação da exergia física em suas parcelas (térmica e mecânica) permite aumentar a precisão dos resultados na alocação de custos, apesar de fazer aumentar a complexidade do modelo termoeconômico e consequentemente os custos computacionais envolvidos. Recentemente alguns autores apontaram restrições e possíveis inconsistências do uso da neguentropia e deste tipo de desagregação da exergia física, propondo assim alternativas para o tratamento de resíduos e equipamentos dissipativos que permitem a desagregação dos sistemas em seus componentes. Estas alternativas consistem, basicamente, de novas propostas de desagregação da exergia física na modelagem termoeconômica. Sendo assim, este trabalho tem como objetivo avaliar as diferentes metodologias de desagregação da exergia física para a modelagem termoeconômica, tendo em conta alguns aspectos como vantagens, restrições, inconsistências, melhoria na precisão dos resultados, aumento da complexidade e do esforço computacional e o tratamento dos resíduos e equipamentos dissipativos para a total desagregação do sistema térmico. Para isso, as diferentes metodologias e níveis de desagregação da exergia física são aplicados na alocação de custos para os produtos finais (potência líquida e calor útil) em diferentes plantas de cogeração considerando como fluido de trabalho tanto o gás ideal bem como o fluido real. Plantas essas com equipamentos dissipativos (condensador ou válvula) ou resíduos (gases de exaustão da caldeira de recuperação). Porém, foi necessário que uma das plantas de cogeração não incorporasse equipamentos dissipativos e nem caldeira de recuperação com o intuito de avaliar isoladamente o efeito da desagregação da exergia física na melhoria da precisão dos resultados da alocação de custos para os produtos finais.

Os fundos de investimento imobiliário listados em bolsa e as variáveis que influenciam seus retornos

Os fundos de investimento imobiliário combinam características tanto do mercado imobiliário, fonte de seus rendimentos, quanto do mercado de capitais, ambiente em que são negociados. O impacto de cada um desses mercados subjacentes no comportamento, desempenho e risco dessa classe de ativos não é, no entanto, ainda claramente definida, sendo um dos grandes temas em análise, tanto na literatura acadêmica, quanto na indústria de fundos internacionais. Em face da significativa expansão dessa alternativa de investimento no mercado brasileiro, no presente estudo foram analisadas as variáveis que influenciam os retornos dos fundos imobiliários brasileiros para uma amostra de fundos listados em Bolsa de Valores de São Paulo, período de 2008-2013. Seguindo a metodologia de Clayton e Mackinnon (2003), os fatores explicativos dos retornos foram decompostos em quatro componentes principais, sendo três fatores de retorno de mercado (mercado de ações, mercado de renda fixa e mercado imobiliário) e risco idiossincrático. De acordo com a estatística descritiva, os fundos imobiliários da amostra apresentaram maior retorno em relação aos demais mercados, exceto em comparação com o mercado imobiliário, porém com menor risco. As análises de correlação, regressão e decomposição da variância indicam que o mercado de ações e o mercado imobiliário direto são, em geral, significativos no modelo, porém explicam apenas cerca de 15% da volatilidade dos retornos dos fundos da amostra. À luz da Moderna Teoria do Portfólio, esses resultados indicam que a inclusão de fundos imobiliários pode ter potencial diversificador numa carteira multi-ativo, seja aumentando o retorno total de uma carteira formada de ações e títulos de renda fixa, sem acréscimo em risco; ou mantendo o retorno dessa carteira, com diminuição da volatilidade, ampliando assim a fronteira eficiente da carteira. Esse efeito questiona o tradicional equilibrium fund de carteiras de investimentos formadas apenas de ações e renda fixa e aponta os fundos imobiliários como uma alternativa de investimento diversificadora, enquanto classe de ativo única. A análise de subamostras por tipologia indica, porém, que o papel diversificador dos fundos imobiliários está atrelado ao tipo de empreendimento que lastreia esse fundo, uma vez que os fatores explicativos e seus impactos nos retornos diferem de uma tipologia para outra. Esse resultado tem importantes implicações no critério de seleção a ser adotado tanto por investidores para seleção de ativos para uma carteira otimizada, como para gestores de fundos imobiliários na formatação e gestão desses produtos. Conclui-se também que os retornos dos fundos, de certo modo, refletem seu caráter híbrido, mas o modelo decomposto em 4 componentes não é suficiente para explicar os retornos dos fundos imobiliários, uma vez que o modelo estendido, demonstrou que outras variáveis, inclusive parâmetros desses próprios mercados, além de variáveis macroeconômicas e as características de cada fundo (eg. market-to-book, tamanho), podem ser responsáveis por explicar considerável parte da variância dos retornos dos FIIs.

A modernização do atraso : os fundamentos da urbanização de Vitória-1889-1930

Esta dissertação volta-se para a investigação da modernização da cidade de Vitória durante a passagem do século XIX ao XX. Trata-se, especificamente, da tentativa de compreender a modernização de Vitória no seu conteúdo arcaico, no sentido de, no conjunto das estratégias do poder, preservarem-se interesses de estruturas sociais anteriores, para um novo contexto econômico e sociopolítico. O referencial teórico de análise pressupôs apreender a cidade (seu espaço construído) articulada à estrutura econômica, enquanto condições urbanas necessárias à reprodução do capital. Para tal efeito, foi necessário compreender as implicações da metamorfose da riqueza, representada anteriormente pela propriedade do escravo e transferida para a propriedade da terra. Nessa tarefa, investigamos a hegemonia dos interesses da instância mercantil-exportadora do capital que dominou o aparelho de Estado e dirigiu o processo. A interferência dessa fração do capital no processo foi compreendida a partir da estruturação do poder no Espírito Santo processada na reorganização das bases da produção de café na transição do trabalho escravo para o livre. Através da modernização da cidade, foram criadas novas alternativas de valorização do capital por intermédio da construção da cidade (habitações, edifícios públicos, infraestrutura e serviços urbanos). Contudo, não se verificou de forma significativa desdobramento do excedente acumulado na esfera do comércio em atividades produtivas modernas (multiplicadoras da riqueza). Nesse processo, surge a perspectiva de a valorização da propriedade imobiliária como expressão do desenvolvimento das condições gerais da produção e da reprodução do trabalho possibilitar rendas futuras crescentes ao capital. O que indica uma urbanização fundamentalmente dominada pelos interesses mercantil-exportadores e patrimonialistas, revelando um forte traço de atraso da modernização da cidade em seu papel de centro comercial da economia regional.

Diferença entre características na formação do preço de venda e locação de imóveis na cidade de Vitória/ES

Essa dissertação estuda as características relevantes na formação do preço de venda e aluguel, analisando também as diferenças entre esses atributos para apartamentos na cidade de Vitória/ES, preenchendo uma lacuna ainda não desenvolvida, tendo em vista a possibilidade de comparação entre preços de aluguel e venda. O constructo teórico teve como fundamento abordagem de preços hedônicos, aplicada em estudos de Waugh (1928) e Court (1939), mas formalmente desenvolvida teoricamente por Lancaster (1966) e Rosen (1974), e aplicadas e discutidas por Palmquist (1984) e Sheppard (1999). A revisão de literatura mostra que existe impactos tanto em relação aos aspectos físicos dos imóveis, como características externas, como violência, facilidade de acesso, ou presença de estações de trens ou mercados no entorno, dentre outras. A amostra partiu de uma listagem de oferta de imóveis no site da Netimóveis durante os meses de maio e junho de 2014, contando com um número de 563 observações para venda e 185 para locação. Além dessas duas amostras, foram elaboradas análises com relação a subamostras que possuíam a variável valor do condomínio, buscando ampliar as variáveis explicativas coletadas. A análise dos resultados foi feita com utilização da estatística descritiva, correlação entre variáveis e regressão múltipla, sendo essa última aplicada nos 6 modelos propostos para cada amostra, posteriormente propondo um modelo final para venda e aluguel. No que tange as hipóteses utilizadas e aplicadas nos modelos, parte delas foram utilizadas tendo em base estudos prévios, e outras, como o sol da manhã, por exemplo, foram apresentadas como propostas. Dos resultados encontrados, muitos corroboraram com estudos anteriores, confirmando que variáveis como área, vagas na garagem, varanda, anda e posição de frente da unidade, piscina e localização em bairros nobres impactam positivamente no preço dos imóveis, independente se venda ou aluguel. Como diferenças, foi possível identificar que as variáveis presença de elevador, playground e valor do condomínio participam positivamente da explicação do preço de venda, enquanto, presença de quadra, mobília e sol da manhã explicam positivamente o valor do aluguel na amostra.

Impactos da desvalorização do real sobre o comércio entre o Brasil e a Argentina

O texto analisa os impactos da desvalorização do real sobre o comércio bilateral Argentina-Brasil e, também, sobre o Mercosul. Ademais, aborda também questões relativas a perspectivas futuras desse comércio.

Collecting system percutaneous access using real-time tracking sensors: first pig model in vivo experience

Purpose: Precise needle puncture of the renal collecting system is an essential but challenging step for successful percutaneous nephrolithotomy. We evaluated the efficiency of a new real-time electromagnetic tracking system for in vivo kidney puncture. Materials and Methods: Six anesthetized female pigs underwent ureterorenoscopy to place a catheter with an electromagnetic tracking sensor into the desired puncture site and ascertain puncture success. A tracked needle with a similar electromagnetic tracking sensor was subsequently navigated into the sensor in the catheter. Four punctures were performed by each of 2 surgeons in each pig, including 1 each in the kidney, middle ureter, and right and left sides. Outcome measurements were the number of attempts and the time needed to evaluate the virtual trajectory and perform percutaneous puncture. Results: A total of 24 punctures were easily performed without complication. Surgeons required more time to evaluate the trajectory during ureteral than kidney puncture (median 15 seconds, range 14 to 18 vs 13, range 11 to 16, p ¼ 0.1). Median renal and ureteral puncture time was 19 (range 14 to 45) and 51 seconds (range 45 to 67), respectively (p ¼ 0.003). Two attempts were needed to achieve a successful ureteral puncture. The technique requires the presence of a renal stone for testing. Conclusions: The proposed electromagnetic tracking solution for renal collecting system puncture proved to be highly accurate, simple and quick. This method might represent a paradigm shift in percutaneous kidney access techniques

Real-time 3D interactive segmentation of echocardiographic data through user-based deformation of B-spline explicit active surfaces

Image segmentation is an ubiquitous task in medical image analysis, which is required to estimate morphological or functional properties of given anatomical targets. While automatic processing is highly desirable, image segmentation remains to date a supervised process in daily clinical practice. Indeed, challenging data often requires user interaction to capture the required level of anatomical detail. To optimize the analysis of 3D images, the user should be able to efficiently interact with the result of any segmentation algorithm to correct any possible disagreement. Building on a previously developed real-time 3D segmentation algorithm, we propose in the present work an extension towards an interactive application where user information can be used online to steer the segmentation result. This enables a synergistic collaboration between the operator and the underlying segmentation algorithm, thus contributing to higher segmentation accuracy, while keeping total analysis time competitive. To this end, we formalize the user interaction paradigm using a geometrical approach, where the user input is mapped to a non-cartesian space while this information is used to drive the boundary towards the position provided by the user. Additionally, we propose a shape regularization term which improves the interaction with the segmented surface, thereby making the interactive segmentation process less cumbersome. The resulting algorithm offers competitive performance both in terms of segmentation accuracy, as well as in terms of total analysis time. This contributes to a more efficient use of the existing segmentation tools in daily clinical practice. Furthermore, it compares favorably to state-of-the-art interactive segmentation software based on a 3D livewire-based algorithm.