A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

A real symmetric Lanczos subspace implementation of quantum scattering using boundary inhomogeneities

We present an efficient and robust method for calculating state-to-state reaction probabilities utilising the Lanczos algorithm for a real symmetric Hamiltonian. The method recasts the time-independent Artificial Boundary Inhomogeneity technique recently introduced by Jang and Light (J. Chem. Phys. 102 (1995) 3262) into a tridiagonal (Lanczos) representation. The calculation proceeds at the cost of a single Lanczos propagation for each boundary inhomogeneity function and yields all state-to-state probabilities (elastic, inelastic and reactive) over an arbitrary energy range. The method is applied to the collinear H + H-2 reaction and the results demonstrate it is accurate and efficient in comparison with previous calculations. (C) 2002 Elsevier Science B.V. All rights reserved.

Chebyshev real wave packet propagation: H+O-2 (J=0) state-to-state reactive scattering calculations

In this paper we explore the relative performance of two recently developed wave packet methodologies for reactive scattering, namely the real wave packet Chebyshev domain propagation of Gray and Balint-Kurti [J. Chem. Phys. 108, 950 (1998)] and the Lanczos subspace wave packet approach of Smith [J. Chem. Phys. 116, 2354 (2002); Chem. Phys. Lett. 336, 149 (2001)]. In the former method, a modified Schrodinger equation is employed to propagate the real part of the wave packet via the well-known Chebyshev iteration. While the time-dependent wave packet from the modified Schrodinger equation is different from that obtained using the standard Schrodinger equation, time-to-energy Fourier transformation yields wave functions which differ only trivially by normalization. In the Lanczos subspace approach the linear system of equations defining the action of the Green operator may be solved via either time-dependent or time-independent methods, both of which are extremely efficient due to the simple tridiagonal structure of the Hamiltonian in the Lanczos representation. The two different wave packet methods are applied to three dimensional reactive scattering of H+O-2 (total J=0). State-to-state reaction probabilities, product state distributions, as well as initial-state-resolved cumulative reaction probabilities are examined. (C) 2002 American Institute of Physics.

Kinetics of baculovirus replication and release using real-time quantitative polymerase chain reaction

The study of viral-based processes is hampered by (a) their complex, transient nature, (b) the instability of products, and (c) the lack of accurate diagnostic assays. Here, we describe the use of real-time quantitative polymerase chain reaction to characterize baculoviral infection. Baculovirus DNA content doubles every 1.7 h from 6 h post-infection until replication is halted at the onset of budding. No dynamic equilibrium exists between replication and release, and the kinetics are independent of the cell density at the time of infection. No more than 16% of the intracellular virus copies bud from the cell. (C) 2002 John Wiley & Sons, Inc. Biotechnol Bioeng 77: 476-480, 2002; DOI 10.1002/bit.10126.

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.

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.

Sentidos da formação docente para a profissionalização - Na voz do professor do campo

O trabalho discute os sentidos da formação docente na profissionalização de professores do campo. Nasce do desassossego que interroga a prática da formação continuada, sobretudo, a especialização em educação do campo e os sentidos que são produzidos pelos sujeitos em interface com o trabalho docente nas experiências da Escola Família Agrícola, Escola do Movimento dos Trabalhadores Sem Terra e Escola Multisseriada. Têm nos estudos de Vigotski (2005), Benjamin (1994) e Larrosa (2002) as contribuições que fundamentam a compreensão de sentidos e experiência, estes como produção subjetiva, temporal e singular que ecoam das vozes dos sujeitos. As narrativas como perspectiva metodológica da pesquisa são aqui adotadas como as histórias de práticas em situação (BERTAUX, 2010) ou histórias de vida que pensam um projeto (JOSSO, 2002) e que por assim se constituírem tem como ponto motivador nos diálogos a formação e a profissão docente no campo. Trata-se, de uma narrativa de vida situada, a partir de um impulso que proporciona ao narrador e seu interlocutor o adentrar de uma história que se faz em meio a pessoas, memórias, sentimentos, conflitos, práticas e todo um contexto acerca do impulso de suas experiências de vida, formação e profissão. A partir da escuta em diálogo com as questões da pesquisa registramos a escrita dos sentidos produzidos, não como universais, mas como heterogêneos e simultaneamente singulares aos sujeitos. Nessa perspectiva, os sujeitos produzem diferentes sentidos na relação formação e profissionalização, estes amalgamados e relacionados às suas aspirações com a formação continuada e a carreira docente, imbricados nas itinerâncias dos movimentos sociais nos quais militam, bem como, nas memórias e trajetórias na educação. Pensar, portanto, em processos de formação continuada de professores do campo, à luz dessa discussão, é abrir-se aos diferentes contornos que esta assume a partir dos sentidos produzidos pelos sujeitos, desafiando-nos à construção de projetos que dialoguem com a diversidade da educação do campo e que se colocam como espaçostempos da reflexão do ser e/ou estar professor (a)-monitor (a)-educador (a) do campo.

O recurso da propaganda na valorização do produto imobiliário nos municípios de Vitória e Serra a partir da segunda metade do século XX

Este trabalho analisa a importância da propaganda no setor da construção imobiliária nos municípios de Vitória e Serra no Espírito Santo, localizados na Região Metropolitana da Grande Vitória (RMGV). Esse setor tem produzido uma série de transformações no espaço urbano da RMGV, onde a propaganda situa-se como parte destas estratégias, constituindo-se numa importante ferramenta. A partir de informações oriundas de entrevistas e de pesquisa bibliográfica e documental, investigamos por que a propaganda vai modificando-se com as formas diferenciadas de produção imobiliária e ganhando importância nos lançamentos de empreendimentos entre as décadas de 1950 a 2010, nos municípios de Vitória e Serra. Ao longo da pesquisa foi possível constatar que os mecanismos institucionais criados pelo Estado trouxeram modificações ao referido setor, o que acarretou na elaboração de estratégias de produção e criação de novos produtos. Tais modificações manifestaram-se na propaganda imobiliária, que atualmente ocupa um lugar de destaque na gestão de marketing implantada nas construtoras e incorporadoras capixabas. Os resultados mostram que ao longo das décadas o setor da construção imobiliária vem elaborando estratégias para criação de novas formas de distinção de seus produtos com intuito de apropriação do espaço urbano nos municípios estudados.

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.