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.

An evaluation of participatory planning at Mapoon Aboriginal community: Opportunities for inclusive local governance

The Queensland Government is increasingly using participatory planning as a means to improve infrastructure and service delivery to Indigenous settlements. In addition to technical and economic goals, participatory planning practice seeks also to achieve social development goals, including empowerment, capacity building, community control and ownership. This article presents the findings of an evaluation of one such planning project, conducted at Old Mapoon in 1995. Despite various efforts to follow participatory processes, the plan had mixed success in achieving social development goals. This suggests some misunderstandings between the practice of participatory planning and the workings of local governance. It also presents some opportunities for participatory planning methods to be integrated with more inclusive forms of governance.

Local colours for Indonesian National police

As a result of the local autonomy program that commenced in Indonesia in Jan 2001, there is a concern regarding the applicability of the formalized model of security & the possibility of that being replaced by a local community-based security model. This rather informal security model is then promoted to be the only form of security used between societies & the nation. However, this model does not solve the problem because of widespread corruption, collusion, & nepotism, & the many limitations of the Indonesian National Police (Polri), a police department that has a mediocre & generalized level of service. In relation to autonomy, the effort of empowering the police units from the regional police down will bridge the gap between the people's ability to protect themselves & the limitations of those that are sworn to uphold the law. 17 References. Adapted from the source document.

Biased EPR entanglement and its application to teleportation

We consider pure continuous variable entanglement with non-equal correlations between orthogonal quadratures. We introduce a simple protocol which equates these correlations and in the process transforms the entanglement onto a state with the minimum allowed number of photons. As an example we show that our protocol transforms, through unitary local operations, a single squeezed beam split on a beam splitter into the same entanglement that is produced when two squeezed beams are mixed orthogonally. We demonstrate that this technique can in principle facilitate perfect teleportation utilizing only one squeezed beam.

'Localizing the national' - The rediscovery and reshaping of local campaigning in Australia

Pippa Norris provides a schematic account of the evolution of campaigning through premodern, modern and postmodern stages. In particular she points to an emerging postmodern phase of electioneering characterized by a renewed emphasis upon direct forms of engagement which resonate with an earlier period in which campaigns were locally fought and largely dependent upon the canvassing efforts of party workers and volunteers. Norris's analysis offers a useful prism with which to view recent developments in electioneering in Australia. In the past several elections the rival Labor and Liberal parties have attempted to achieve a synergy between their centrally conducted and constituency-level campaigns by ensuring that their national campaigns are locally relevant and address local concerns. Their efforts to 'localize the national' meld the use of sophisticated software with elements of a traditional 'meet and greet' politics and suggest that local campaigning may now have a new shape and importance.

Leitura compartilhada de livros em local de trabalho

Este projeto refere-se ao desenvolvimento de um programa de leitura no local de trabalho, desenvolvido pela Assessoria de Planejamento e Gest??o da ECT - RJ. O programa se destina aos funcion??rios da Assessoria, mas ?? aberto a todos, sem o sentido de obrigatoriedade. Tem como finalidade desenvolver a compet??ncia profissional da equipe e a cultura do planejamento de m??dio e longo prazos, visando a obten????o de informa????es e subs??dios para a melhoria do desempenho da Diretoria Regional

??ndice de gest??o municipal em cultura

O objetivo deste trabalho ?? o de construir um ??ndice de gest??o municipal em cultura, com o potencial de servir de balizador para as a????es nesta ??rea tanto no ??mbito municipal quanto no das esferas estaduais e federal. Para tanto s??o utilizados dados do ???Perfil dos Munic??pios Brasileiros ??? Cultura 2006???, publicado pelo IBGE, o qual disp??e das respostas de 5.562 munic??pios sobre cultura e gest??o cultural. As respostas foram tabuladas e combinadas de forma a produzir vari??veis espec??ficas para a constru????o do ??ndice. O m??todo utilizado para a constru????o do ??ndice de Gest??o Municipal em Cultura (IGMC) foi o de an??lise de componentes principais, que permite ?? pr??pria amostra definir os pesos que cada vari??vel exercer?? na computa????o do ??ndice final. Al??m do IGMC geral, foram computados no processo tr??s sub??ndices, cada um deles procurando refletir um aspecto espec??fico da gest??o municipal em cultura, a saber: fortalecimento institucional e gest??o democr??tica, infraestrutura e recursos humanos, e a????o cultural. Os resultados obtidos permitem diversos tipos de compara????es intermunicipais e regionais, bem como a prescri????o de a????es locais na ??rea de gest??o que visem ?? melhoria da administra????o cultural dos munic??pios.

Estudo de casos de pacientes portadores de onicomicose tratados com laser Nd : YAG 1.064 nm

Onicomicose é a doença ungueal mais frequente, com prevalência estimada entre 2 e 8% da população. As estratégias de tratamentos atuais incluem uso de antifúngicos tópicos e orais, ambos geralmente com baixos índices de cura. Os objetivos deste estudo foram avaliar a resposta terapêutica ao laser Nd:YAG 1.064 nm no tratamento da onicomicose, bem como o método de avaliação clínica dessa terapia e os possíveis efeitos colaterais de seu uso. Foram revisados prontuários de 20 pacientes submetidos à laserterapia. Ao todo, 34 unhas afetadas foram avaliadas de acordo com o Índice de Severidade de Onicomicose (ISO). Esse índice analisa a área de envolvimento da unha, a proximidade da doença com a matriz ungueal, a ocorrência de dermatofitoma e a presença de hiperqueratose subungueal > 2 mm, gerando uma pontuação que classifica a onicomicose como leve, moderada ou grave. A determinação do ISO foi realizada antes do tratamento e após um período de acompanhamento, em média, de oito meses. A comparação entre o ISO Inicial e o ISO Final nas 34 unhas submetidas à laserterapia mostrou diferença significativa, porém, com baixa associação entre essas variáveis. Com relação à área de envolvimento e à pontuação numérica referente ao ISO, houve, no geral, uma redução dessas medidas. Esses dados apontam para uma tendência à melhora da onicomicose por meio do tratamento com o laser Nd:YAG 1.064 nm. O ISO permitiu uma análise clínica adequada da resposta à laserterapia. Os efeitos colaterais locais apresentados durante a aplicação do laser não causaram desconforto acentuado na maioria dos pacientes, demonstrando que o procedimento é bem tolerado.

Perfil dos pacientes revascularizados do miocárdio no período de 2004 a 2008 em um Hospital Universitário do Espírito Santo

Objetivo: Caracterizar os pacientes submetidos à Revascularização do miocárdio (RM); descrever o perfil clínico dos pacientes submetidos a RM e descrever o fluxo intra e extra hospitalar no perioperatório desses pacientes. Métodos: Foi realizado um estudo descritivo analítico de dados secundários de 147 prontuários de pacientes submetidos a RM em Hospital de ensino, Vitória, Espírito Santo, Brasil, no período entre 2004 a 2008. Para a análise dos dados foi realizado o método descritivo. Resultados: A pesquisa apontou como perfil de maior incidência para RM a predominância do sexo masculino, com faixa etária entre 50 e 69, a maioria dos pacientes tinha de uma a duas doenças associadas. Ocorrência de óbito em 11,6%. O fluxo intra-hospitalar apresentou um tempo total de espera entre o CATE (cateterismo cardíaco) e a RM com mediana de 55 dias; Houve suspensão da RM por problemas relacionados à estrutura e administração e ao paciente. O motivo mais freqüente relacionada à estrutura foi a falta de leitos no Centro de Tratamento Intensivo (CTI). Conclusão: Percebeu-se que a análise das variáveis clínicas propostas apontou para resultados compatíveis com o panorama nacional nesta área. Contudo no aspecto da trajetória foi identificada a influência de questões relacionadas à gestão de recursos humanos e de estrutura para o desenvolvimento das atividades hospitalares, tendo como resultado, a dificuldade de atendimento da demanda pela capacidade instalada, assim como a fragmentação de atividades relacionadas ao planejamento assistencial, de registros e da organização dos prontuários. Com o estudo dessas variáveis foi possível a construção de uma ficha para a coleta de dados em RM, de forma que estes oferecem subsídios para a implantação de banco de dados construído pela autora e para a implementação de ações interdisciplinares no serviço de cirurgia cardíaca do local de estudo.

Padrões espaço-temporais da mortalidade por câncer de mama em mulheres no Estado do Espírito Santo - um estudo ecológico

O câncer de mama é a principal neoplasia maligna que acomete o sexo feminino no Brasil. O câncer de mama é hoje uma doença de extrema importância para a saúde pública nacional, motivando ampla discussão em torno das medidas que promova o seu diagnóstico precoce, a redução em sua morbidade e mortalidade. A presente pesquisa possui três objetivos, cujos resultados encontram-se organizados em artigos. O primeiro objetivo buscou analisar a completude dos dados do Sistema de Informação de Mortalidade sobre os óbitos por câncer de mama em mulheres no Espírito Santo, Sudeste e Brasil (1998 a 2007). Realizou-se um estudo descritivo analítico baseado em dados secundários, onde foi analisado o número absoluto e percentual de não preenchimento das variáveis nas declarações de óbitos. Adotou-se escore para avaliar os graus de não completude. Os resultados para as variáveis sexo e idade foram excelentes tanto para o Espírito Santo, Sudeste e Brasil. O preenchimento das variáveis raça/cor, grau de escolaridade e estado civil apresentam problemas no Espírito Santo. Enquanto no Sudeste e Brasil as variáveis raça/cor e escolaridade têm tendência decrescente para a não completude, no Espírito Santo a tendência se mantém estável. Para a variável estado civil, a não completude tem tendência crescente no Estado do Espírito Santo. O segundo objetivo foi analisar a evolução das taxas de mortalidade por câncer de mama, em mulheres no Espírito Santo no período de 1980 a 2007. Estudo de série temporal, cujos dados sobre óbitos foram obtidos do Sistema de Informação de Mortalidade e as estimativas populacionais segundo idade e anos-calendário, do Instituto Brasileiro Geografia e Estatística. Os coeficientes específicos 9 de mortalidade, segundo faixa etária, foram calculados anualmente. A análise de tendência foi realizada por meio da padronização das taxas de mortalidade pelo método direto, em que a população do senso IBGE-2000, foi considerada padrão. No período de estudo, ocorreram 2.736 óbitos por câncer de mama. O coeficiente de mortalidade neste período variou de 3,41 a 10,99 por 100.000 mulheres. Os resultados indicam que há tendência de mortalidade por câncer de mama ao longo da série (p=0,001 com crescimento de 75,42%). Todas as faixas etárias a partir de 30 anos apresentaram tendência de crescimento da mortalidade estatisticamente significante (p=0,001). Os percentuais de crescimento foram aumentando, segundo as idades mais avançadas, sendo 48,4% na faixa de 40 a 49 anos, chegando a 92,3%, na faixa de 80 anos e mais. O terceiro objetivo foi realizar a análise espacial dos óbitos em mulheres por câncer de mama no estado do Espírito Santo, nos anos de 2003 a 2007, com análise das correlações espaciais dessa mortalidade e componentes do município. O cenário foi o Estado do Espírito Santo, composto por 78 municípios. Para análise dos dados, utilizou-se a abordagem bayesiana (métodos EBest Global e EBest Local) para correção de taxas epidemiológicas. Calculou-se o índice I de Moran, para dependência espacial em nível global e a estatística Moran Local. As maiores taxas estão concentradas em 19 municípios pertencentes às Microrregiões: Metropolitana (Fundão, Vitória, Vila Velha, Viana, Cariacica e Guarapari), Metrópole Expandida Sul (Anchieta, Alfredo Chaves), Pólo Cachoeiro (Vargem Alta, Rio Novo do Sul, Mimoso do Sul, Cachoeiro de Itapemirim, Castelo, Jerônimo Monteiro, Bom Jesus do Norte, Apiacá e Muqui) e Caparaó (Alegre e São José do Calçado). Os resultados da Estimação Bayesiana (Índice de Moran) dos óbitos por câncer de mama em mulheres ocorridos no estado do Espírito Santo, segundo os dados brutos e 10 ajustados indicam a existência de correlação espacial significativa para o mapa Local (I = 0,573; p = 0,001) e Global (I = 0,118; p = 0,039). Os dados brutos não apresentam correlação espacial (I = 0,075; p = 0,142).

Cobertura permanente de solo com leguminosas herbáceas perenes no cultivo de bananeiras no médio Vale do Jequitinhonha

A região da Caatinga é caracterizada pelas altas temperaturas durante o ano e má distribuição das chuvas. Em virtude desses fatores de clima regional, tem-se a necessidade de adoção por práticas que elevem à eficiência e sustentabilidade agrícola local. Assim, objetivou-se avaliar a aptidão de leguminosas herbáceas perenes como cobertura permanente de solo no cultivo de bananeira. Foram conduzidos três experimentos, para avaliação das leguminosas, utilizou-se um delineamento experimental em blocos casualizados, com quatro repetições, em esquema de parcelas subdivididas no espaço e para algumas variáveis, sub-subdividida no tempo, sendo: Fator “A” os dois diferentes ambientes de plantio: municípios de Itaobim/MG e Virgem da Lapa/MG; Fator “B”, nas subparcelas, dois manejos de cobertura do solo e para algumas variáveis, três manejos, constituídos pelas leguminosas: cudzu tropical (Pueraria phaseoloides) calopogônio (Calopogonium mucunoides) e solo descoberto (solo capinado); Fator “C” épocas de coleta de dados. Para avaliação das bananeiras, foram dois experimentos em blocos casualizados, com quatro repetições, em esquema de parcelas sudivididas no espaço, sendo: nas parcelas, fator “A” constituído por três manejos de cobertura do solo, pelas leguminosas: cudzu tropical e o calopogônio, e solo descoberto (solo capinado); fator “B”, nas subparcelas, plantas de bananeiras em três idades morfofisiológicas (diferentes ciclos e tamanhos); Para algumas variáveis que foram submetidas a coletas periódicas, utilizou-se o esquema de parcelas subsubdivididas no tempo, acrescentando-se o fator “C”, datas das coletas nas sub-subparcelas, tendo como referência os dias após semeadura (DAS) das leguminosas. Foram avaliadas as seguintes variáveis: taxa de cobertura do solo; potencial de deposição de folhas e a ciclagem de nutrientes; capacidade de inibição da vegetação espontânea; conservação da temperatura e promoção da retenção de umidade do solo. Também foi avaliado o crescimento vegetativo e produtividade das bananeiras. Como resultados principais, notou-se que as leguminosas proporcionaram eficiente cobertura do solo, o calopogônio apresentou o maior acúmulo de N, P, K, e Ca, via deposição de material senescente, tal como maior inibição das plantas espontâneas nos pomares de bananeiras. Essa cobertura também promoveu uma eficiente redução da temperatura do solo, possibilitando menor variação térmica nas camadas de maior concentração radicular da bananeira, e consequentemente, obtendo maior acúmulo de umidade no solo. As bananeiras cultivadas sobre coberturas vivas de solo apresentaram aumento gradativo no crescimento e peso de cacho. Os resultados reforçam o potencial uso dessas espécies na fruticultura, principalmente em regiões de severas restrições hídricas, como forma de adubação e otimização de diversos processos biológicos em seu ambiente de cultivo.

Moravia : das lógicas da informalidade às lógicas da formalidade

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Arquitetura e Urbanismo, Programa de Pós-Graduação em Arquitetura e Urbanismo, 2016.

Paradigma da disseminação local do carcinoma epidermóide da base de língua

OBJETIVO: Analisar o padrão de disseminação local através da delimitação clínica da extensão da lesão primária assim como os subsítios invadidos. FORMA DE ESTUDO: Clínico retrospectivo. MATERIAL E MÉTODO: Foram analisados os prontuários de 290 pacientes com carcinoma epidermóide de base de língua no Departamento de Cirurgia de Cabeça e Pescoço e Otorrinolaringologia do Hospital Heliópolis, Hosphel, São Paulo - Brasil, de 1977 a 2000, sendo estadiados pelo TNM da UICC, e os resultados analisados pelo teste do Quiquadrado para tabelas Z x N (Cochran) para estudo da associação dos sítios e dimensão da neoplasia em relação à invasão da linha média. RESULTADOS: Com predomínio dos homens (8:1) e da 6ª década de vida (41,0%), 83,8% eram etilistas e tabagistas e em 4,7% os hábitos estavam ausentes. Quanto aos sintomas, odinofagia (37,6%), linfonodo (21,7%) e a média de tempo entre o 1º sintoma e o diagnóstico de 6 meses (62,0%). Quanto ao estadiamento, tivemos T1-T2 (18,3%), T3 (32,4%), T4(50,7%). Quanto à disseminação local, em direção à valécula (25,3%), epiglote (18,7%), glote (2,7%), anteriormente para o v lingual em (22,4%) e póstero lateralmente para a prega faringloepiglótica (6,6%) e seio piriforme (2,2%). Quanto a ultrapassagem da linha média, isso ocorreu em 66,2% dos casos, sendo 42,2% (T2), 54,2% (T3) e 82,9% (T4). CONCLUSÃO: o carcinoma epidermóide no estádio T4 ultrapassa a linha média da base da língua em 82,9%.