A real-time PCR assay for the detection of Neisseria gonorrhoeae by LightCycler

The detection of Neisseria gonorrhoeae by the polymerase chain reaction (PCR) is now recognized as a sensitive and specific method of diagnosing infection by the organism. In this Study 152 urine specimens were examined for N. gonorrhoeae by a real-time PCR method using the LightCycler platform and results were compared to an in-house PCR assay using an ELISA-based detection method. N. gonorrhoeae DNA was detected in 29 (19%) specimens by LightCycler PCR (LC-PCR) and in 31 (20%) specimens by the in house PCR method. The LightCycler assay proved to be specific and 94% sensitive when compared to the in house PCR method. These features combined with the rapid turn-around time for results makes the LC-PCR particularly suitable for the detection of N. gonorrhoeae in a routine clinical laboratory. (C) 2002 Elsevier Science Inc. All rights reserved.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

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.

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