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.

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.

Pentecostais na política capixaba : representação parlamentar da Igreja Assembleia de Deus nas eleições (2002, 2006, 2010)

A presente dissertação pretendeu observar a presença de candidatos da Igreja Evangélica Assembleia de Deus no Estado do Espírito Santo no âmbito de sua representação parlamentar no legislativo estadual nas eleições de 2002, 2006 e 2010. Observou-se a relação entre religião e política ressaltando-se a expansão evangélica pentecostal, especificamente o caso da Assembleia de Deus. O estudo parte da ideia de que a escolha de líderes dentro das estruturas institucionais religiosas também pode influenciar escolhas no âmbito da estrutura social como, por exemplo, a escolha de lideranças políticas.

A representação social de prática profissional para psicólogos clínicos da Grande Vitória/ES

Ao longo dos últimos trinta anos, os profissionais da Psicologia têm buscado conhecer suas práticas profissionais. Tem-se feito estudos e discussões referentes aos paradigmas que sustentam a profissão, às práticas e crenças sobre o psicólogo e sua prática. Dentre eles, percebe-se a relevância e a importância da psicologia clínica, entretanto, poucos são os estudos realizados com os profissionais inseridos nessa área. A pesquisa teve por objetivo investigar e analisar a representação social de prática profissional para psicólogos clínicos da Grande Vitória/ES. Foi utilizada a Análise Dimensional e Dinâmica das Representações Sociais (Teoria das Representações Sociais) para investigar as noções que compõem a prática. Foram entrevistados 18 psicólogos clínicos atuantes em consultório. Utilizou-se o software ALCESTE na análise. Trabalhou-se com os elementos das classes identificadas pelo Alceste para compor as dimensões da representação social. Constatou-se que os entrevistados construíram informações sobre a psicologia clínica e sua prática antes da entrada no curso ou cedo na formação. As teorias utilizadas na clínica são aspectos importantes nessa aproximação. As atitudes frente à prática são extremamente favoráveis, sendo desfavoráveis quando comparadas às crenças da população ou às práticas médicas, tocando em aspectos identitários. Quanto ao campo, reconheceu-se uma imagem dividida em duas: 1) Imagem das atribuições e da prática clássicas do psicólogo clínico; 2) Imagem dos problemas, das mudanças e das dificuldades. Foi possível identificar a representação social de prática profissional para os psicólogos clínicos, levantando questões importantes para a área da psicologia clínica e para a teoria das representações sociais.

Representing organizational structures in enterprise architecture : an ontology-based approach

Arquitetura Corporativa promove o estabelecimento de uma visão holística da estrutura e forma de trabalho de uma organização. Um dos aspectos abordados em Arquitetura Corporativa está associada a "estrutura ativa" da organização, que diz respeito a “quem" realiza as atividades organizacionais. Várias abordagens têm sido propostas a fim de proporcionar um meio para a representação de Arquitetura Corporativa, entre as quais ARIS, RM-ODP, UPDM e ArchiMate. Apesar da aceitação por parte da comunidade, as abordagens existentes se concentram em propósitos diferentes, têm limitações de escopo e algumas não têm semântica de mundo real bem definida. Além das abordagens de modelagem, muitas abordagens de ontologias têm sido propostas, a fim de descrever o domínio de estrutura ativa, incluindo as ontologias de SUPER Project, TOVE, Enterprise Ontology e W3C Org Ontology. Embora especificadas para fundamentação semântica e negociação de significado, algumas das abordagens propostas têm fins específicos e cobertura limitada. Além disso, algumas das abordagens não são definidas usando linguagens formais e outras são especificadas usando linguagens sem semântica bem definida. Este trabalho apresenta uma ontologia de referência bem fundamentada para o domínio organizacional. A ontologia organizacional de referência apresentada abrange os aspectos básicos discutidos na literatura organizacional, tais como divisão do trabalho, relações sociais e classificação das unidades estruturais. Além disso, também abrange os aspectos organizacionais definidos em abordagens existentes, levando em consideração tanto abordagens de modelagem quanto abordagens ontológicas. A ontologia resultante é especificada em OntoUML e estende os conceitos sociais de UFO-C.

Metodologia de representação identitária do patrimônio territorial : a água como elemento de identidade em Linhares/ES

Apresenta primeiramente o conceito de desenvolvimento local autossustentável dentro do enfoque territorialista. Mostra também o conceito de patrimônio territorial e o de representação identitária do território como instrumento de preservação do patrimônio, neste caso o territorial. O enfoque territorialista é adotado como base teórica para a construção do roteiro metodológico de representação identitária do território com vistas à preservação do patrimônio tendo como objeto empírico o município de Linhares/ES, que passa por um processo de intenso desenvolvimento de seu território e que apresenta um rico patrimônio, no que diz respeito aos recursos naturais, em especial o hídrico. Nos últimos anos tem-se registrado um crescimento forte dos instrumentos disponíveis para a produção de imagens do território, neste caso o uso da tecnologia de Sistemas de Informações Geográficas. Por meio deste recurso, adotado na Escola Territorialista Italiana, representa-se o patrimônio que constitui o território municipal, tendo como produtos finais o Atlas do patrimônio territorial no município de Linhares/ES e o Roteiro metodológico de representação identitária do patrimônio territorial.

A representação social da violência de gênero contra a mulher no Espírito Santo

O objetivo principal deste trabalho é analisar como os meios de comunicação ajudam a construir a representação social da violência de gênero contra a mulher no Espírito Santo, que lidera o ranking nacional de feminicídios, com taxa de 9,8 homicídios para cada 100 mil mulheres. Elegemos como corpus de pesquisa notícias sobre violência de gênero no ES, veiculadas no ano de 2013, nos jornais A Gazeta e A Tribuna. Em hipótese, acreditamos que essas notícias ajudam a construir representações sociais acerca da violência de gênero a partir da apresentação de estereótipos de vítima e agressor na sociedade, da individualização do problema da violência, da associação desse problema às classes sociais menos privilegiadas e da apresentação do crime de violência de gênero como crime passional. O estudo dessas notícias apresenta-se como algo complexo, do qual não participam apenas informações de ordem linguística, mas também de carácter social, histórico, cultural e cognitivo, uma vez que a análise discursiva não pode ser dissociada do contexto, dos atores sociais e das instituições envolvidas na produção da notícia, bem como das ideologias presentes nesse processo. Por esse motivo, assumimos como base teórica de nossa investigação uma proposta multidisciplinar: a Teoria Sociocognitiva de Teun A. van Dijk (1999a; 2011a; 2012; 2014b). Ademais, contamos com as contribuições dos estudos sobre gênero e discurso de Cameron (1985, 1997), Wodak (1997), West, Lazar e Kramarae (2000), Fernández Díaz (2003), Lazar (1993, 2005, 2007), Magalhães (2005; 2009), Heberle, Ostermann e Figueiredo (2006). Além das análises discursivo-analíticas, também utilizamos o programa de linguística de corpus WordSmith Tools para realizar análises quantitativas. Os resultados das análises nos levaram à confirmação das hipóteses iniciais: o discurso das notícias reforça estereótipos de vítima e agressor, típicos de uma estrutura social patriarcal, na qual é atribuída à vítima ou aos vícios (álcool e drogas) a responsabilidade da violência sofrida; além disso, a violência de gênero é apresentada como um problema individual e associada às classes sociais menos favorecidas; e, por último, o discurso das notícias apresenta grande parte dos crimes de violência de gênero como crimes passionais.

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.

Legitimidade, representação e tomada de decisão: o Parlamento Europeu e o Parlasul em perspectiva comparada

Este artigo destina-se a traçar qual a função cumprida pelo Parlamento do Mercosul (Parlasul) no Mercosul. Primeiramente, o trabalho discute a experiência europeia de fortalecimento da estrutura parlamentar. Em seguida, o trabalho analisa de que forma os atos produzidos pelos parlamentares do Parlasul influenciam na estratégia de fortalecimento da instituição.

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

A Representação de Personagens Virtuais: Como a Tecnologia Obriga à Criação de Estilos e Estéticas Interdisciplinares na Animação Contemporânea

The evolution of computer animation represents one of the most relevant andrevolutionary aspects in the rise of contemporary digital visual culture (Darlew,2000), in particular, phenomena such as cinema “spectacular “ (Ibidem) and videogames. This article analyzes the characteristics of this “culture of simulation” (Turkle, 1995:20) relating the multidisciplinary and spectrum of technical and stylistic choices to the dimension of virtual characters acting. The result of these hybrid mixtures and computerized human motion capture techniques - called virtual cinema, universal capture, motion capture, etc. - cosists mainly on the sophistication of “rotoscoping”, as a new interpretation and appropriation of the captured image. This human motion capture technology, used largely by cinema and digital games, is one of the reasons why the authenticity of the animation is sometimes questioned. It is in the fi eld of 3D computer animation visual that this change is more signifi cant, appearing regularly innovative techniques of image manipulation and “hyper-cinema” (Lamarre, 2006: 31) character’s control with deeper sense of emotions. This shift in the culture that Manovich (2006: 27) calls “photo-GRAPHICS” - and Mulvey (2007) argue that creates a new form of possessive relationship with the viewer, in that it can analyze in detail the image, it can acquire it and modify it - is one of the most important aspects in the rise of Cubbit’s (2007) “cinema of attraction”. This article delves intrinsically into the analyze of virtual character animation — particularly in the fi eld of 3D computer animation and human digital acting.

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.

A importância da personagem virtual no contexto da animação 3D em tempo real

O desenvolvimento de personagens digitais tridimensionais1 na área da animação, a constante procura por soluções tecnológicas convincentes, aliado a uma estética própria, tem contribuído para o sucesso e afirmação da animação tridimensional, na indústria do entretenimento. Contudo, toda a obra que procura ou explora a vertente digital/3D, torna-se ‘vitima’ das limitações do render2 aplicado a uma sequência de imagens, devido ao aumento dos custos financeiros e humanos, assim como da influência e dificuldade implicadas no cumprimento dos objectivos e prazos. O tempo real tem assumido, cada vez mais, um papel predominante na indústria da animação interactiva. Com a evolução da tecnologia surgiu a necessidade de procurar a metodologia apropriada que sirva de alavanca para o desenvolvimento de animações 3D em tempo real, através de softwares open-source ou de baixo orçamento, para a redução de custos, que possibilite simultaneamente descartar qualquer dependência do render na animação 3D. O desenvolvimento de personagens em tempo real, possibilita o surgimento de uma nova abordagem: a interactividade na arte de animar. Esta possibilita a introdução de um vasto leque de novas aplicações e consequentemente, contribui para o aumento do interesse e curiosidade por parte do espectador. No entanto, a inserção, implementação e (ab)uso da tecnologia na área da animação, levanta questões atuais sobre qual o papel do animador. Esta dissertação procura analisar estes aspectos, dando apoio ao projecto de animação 3D em tempo real, denominado ‘PALCO’.

Evapotranspiração real diária em sub-bacias do Paracatu, utilizando produtos do sensor Modis

A evapotranspiração define a perda total de água do sistema solo-planta para a atmosfera. Nas áreas agrícolas, particularmente onde se pratica algum tipo de irrigação, a determinação da evapotranspiração, por via de sensoriamento remoto, vem ganhando cada vez mais importância, pois possibilita identificar a eficiência com que a água tem sido utilizada. Nesse contexto, este trabalho tem o objetivo de determinar a evapotranspiração real diária (ETr diária), com a utilização de produtos do sensor MODIS, nas sub-bacias do Ribeirão Entre Ribeiros e Rio Preto, que ficam entre os Estados de Goiás e Minas Gerais. O SEBAL (Surface Energy Balance Algorithm for Land) foi utilizado para a obtenção da ETr diária em quatro dias diferentes, no período de julho a outubro de 2007. Os resultados encontrados foram compatíveis com os citados em outras literaturas e a comparação entre a evapotranspiração, obtida pelo SEBAL, e a evapotranspiração da cultura (ETc) demonstraram que esse algoritmo pode ser utilizado como boa opção para determinar, com a utilização de produtos do sensor MODIS, a evapotranspiração diária nas condições das sub-bacias do ribeirão Entre Ribeiros e rio Preto.

Remote Patient Monitoring Based on ZigBee: Lessons from a Real-World Deployment

AIM: This work presents detailed experimental performance results from tests executed in the hospital environment for Health Monitoring for All (HM4All), a remote vital signs monitoring system based on a ZigBee® (ZigBee Alliance, San Ramon, CA) body sensor network (BSN). MATERIALS AND METHODS: Tests involved the use of six electrocardiogram (ECG) sensors operating in two different modes: the ECG mode involved the transmission of ECG waveform data and heart rate (HR) values to the ZigBee coordinator, whereas the HR mode included only the transmission of HR values. In the absence of hidden nodes, a non-beacon-enabled star network composed of sensing devices working on ECG mode kept the delivery ratio (DR) at 100%. RESULTS: When the network topology was changed to a 2-hop tree, the performance degraded slightly, resulting in an average DR of 98.56%. Although these performance outcomes may seem satisfactory, further investigation demonstrated that individual sensing devices went through transitory periods with low DR. Other tests have shown that ZigBee BSNs are highly susceptible to collisions owing to hidden nodes. Nevertheless, these tests have also shown that these networks can achieve high reliability if the amount of traffic is kept low. Contrary to what is typically shown in scientific articles and in manufacturers' documentation, the test outcomes presented in this article include temporal graphs of the DR achieved by each wireless sensor device. CONCLUSIONS: The test procedure and the approach used to represent its outcomes, which allow the identification of undesirable transitory periods of low reliability due to contention between devices, constitute the main contribution of this work.