Filters








1,351 Hits in 3.6 sec

Second-Order Matching via Explicit Substitutions [chapter]

Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
2005 Lecture Notes in Computer Science  
Let X → k c 1 . . . c r ∈ γ. Then, we have P {X → k c 1 . . . c r } ∪ {(k c 1 . . . c r )[a 1 . · · · .a p . ↑ n ] < < ?  ...  If k > p then the problem reduces to P {X → k c 1 . . . c r } ∪ {k−p+n c 1 [a 1 . · · · .a p . ↑ n ] . . . c r [a 1 . · · · .a p . ↑ n ] < < ?  ... 
doi:10.1007/978-3-540-32275-7_29 fatcat:bfzqutroerhbtcdgys4mro6yei

Efeito de pontas de pulverização no controle químico da ferrugem da soja

João P. A. R. da Cunha, Eudes A. C. Moura, Jair L. da Silva Júnior, Flávio A. Zago, Fernando C. Juliatti
2008 Engenharia Agrícola  
pré-orifício e jato cônico vazio com e sem indução de ar), dois volumes de aplicação (150 e 200 L ha-1) e um tratamento adicional que não recebeu fungicida.  ...  Este trabalho teve o objetivo de avaliar o efeito da utilização de diferentes pontas de pulverização na aplicação de fungicida para o controle da ferrugem da soja.  ...  Na segunda, a temperatura variou de 26 a 27 °C, a umidade de 62 a 70% e a velocidade do vento de 5 a 7 km h -1 .  ... 
doi:10.1590/s0100-69162008000200009 fatcat:lukp4bat6vdilh3kftgly334oa

Verification of the Completeness of Unification Algorithms à la Robinson [chapter]

Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón
2010 Lecture Notes in Computer Science  
This work presents a general methodology for verification of the completeness of firstorder unification algorithmsà la Robinson developed in the higher-order proof assistant PVS. The methodology is based on a previously developed formalization of the theorem of existence of most general unifiers for unifiable terms over first-order signatures. Termination and soundness proofs of any unification algorithm are proved by reusing the formalization of this theorem and completeness should be proved
more » ... should be proved according to the specific way in that non unifiable inputs are treated by the algorithm.
doi:10.1007/978-3-642-13824-9_10 fatcat:ne54gywxnre4jpqld5mosc5fkm

AVALIAÇÃO PRELIMINAR DA ÁGUA CONSUMIDA NO LOTEAMENTO MARABAIXO III, MACAPÁ-AP

Flávio Augusto. F. Souto, José Maria L. do Rosário, Marcelo J. Oliveira, Roberto J. V. Sacasa, Helyelson P. Moura, Raimundo W. P. Aquino, Ana Lúcia de C. Ferreira, Willington L. Gomes
2004 Revista Águas Subterrâneas  
Entretanto, os valores de coliforme fecal são baixos, tendo em média 3,6 NMP/100ml de água.  ...  saneamento básico, constituindo fontes pontuais de contaminação.  ...  mês de junho de 2004.  ... 
doaj:ae636ca652254535b8206d742c2f40d4 fatcat:qtvfrqoq2zbztlxg7zli7yr63a

Validating Internal Control Genes for the Accurate Normalization of qPCR Expression Analysis of the Novel Model Plant Setaria viridis

Julia Lambret-Frotté, Leandro C. S. de Almeida, Stéfanie M. de Moura, Flavio L. F. Souza, Francisco S. Linhares, Marcio Alves-Ferreira, Manoj Prasad
2015 PLoS ONE  
This work is part of JLF's PhD thesis from Pós-Graduação em Genética (Universidade Federal do Rio de Janeiro).  ...  As template, 90 ng of gDNA and 1 μl of cDNA was used per reaction. Cycling started at 95°C for 5 minutes, following 32 cycles at 95°C, 58°C and 72°C for 30 seconds each temperature.  ...  (Invitrogen), in a total volume of 20 μl.  ... 
doi:10.1371/journal.pone.0135006 pmid:26247784 pmcid:PMC4527663 fatcat:jqaxdl25rjgbjo4qscqoi5lbwa

Trypanocidal activity of isolated naphthoquinones from Tabebuia and some heterocyclic derivatives: a review from an interdisciplinary study

Kelly C. G. De Moura, Flávio S. Emery, Cleverson Neves-Pinto, Maria do Carmo F. R. Pinto, Andrea P. Dantas, Kelly Salomão, Solange L. de Castro, Antônio V. Pinto
2001 Journal of the Brazilian Chemical Society  
Filho de Amparo à Pesquisa do Rio de Janeiro (FAPERJ), and Fundação Universitária José Bonifácio/UFRJ.  ...  This research was supported by grants from the Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Programa de Apoio à Pesquisa Estratégica em Saúde (PAPES/FIOCRUZ), Fundação Carlos Chagas  ...  De Moura et al. Scheme 3 . 3 Naphthoxazoles assayed 73, 82 .  ... 
doi:10.1590/s0103-50532001000300003 fatcat:zacrnnu2une2nbbvlfv2cwr3ay

On the Fate of Extracellular Hemoglobin and Heme in Brain

Flavio A Lara, Suzana A Kahn, Anna CC da Fonseca, Carlomagno P Bahia, João PC Pinho, Aurélio V Graca-Souza, Jean C Houzel, Pedro L de Oliveira, Vivaldo Moura-Neto, Marcus F Oliveira
2009 Journal of Cerebral Blood Flow and Metabolism  
Acknowledgements We thank Professor Roberto Lent, from Departamento de Histologia (UFRJ), for the use of stereotactic injection platform; Professor Rosalia Mendez Otero, from Instituto de Biofísica Carlos  ...  : (A and D) 10 mmol/L of hemoglobin; (B and E) 40 mmol/L of heme; (C) 10 mmol/L of albumin; (F) 1 mmol/L of staurosporine.  ...  Pascarelli, from Departamento de Patologia (FioCruz Foundation), for the use of confocal microscope platform and Professor Ulysses Lins, from Instituto de Microbiologia (UFRJ), for the use of differential  ... 
doi:10.1038/jcbfm.2009.34 pmid:19337276 fatcat:pcbjqzxftrg2vllhf2dyoatz2m

Epidemic establishment and cryptic transmission of Zika virus in Brazil and the Americas [article]

Nuno R. Faria, Josh Quick, Ingra Morales, Julien Theze, Jacqueline G. de Jesus, Marta Giovanetti, Moritz U. G. Kraemer, Sarah C. Hill, Allison Black, Antonio C. da Costa, Luciano C. Franco, Sandro P. Silva (+58 others)
2017 bioRxiv   pre-print
(95°C, 10 secs) and annealing-extension (60°C, 40 sec).  ...  We then find the values of T and l that provide the highest adjusted-R 2 by stepwise iterative optimisation.  ... 
doi:10.1101/105171 fatcat:kmtgejo6ebbzrexzscihyi4cte

A Congregação da Faculdade de Direito em 1941

O Editor
1941 Revista da Faculdade de Direito Universidade de São Paulo  
Flávio Mendes, secretário, e professores Sebastião Soares de Faria, José Soares de Melo, Basileu Garcia, J.  ...  C. de Ataliba Nogueira e Miguel Reale; e m baixo, sentados, professores Teotônio Monteiro de Barros Filho, M . F.  ... 
doi:10.11606/issn.2318-8235.v36i3p300-300 fatcat:f5czxx6yqbgqjasf32gazkdj3y

Relação (incompleta) dos correspondentes de Adolpho Lutz

2003 História, Ciências, Saúde: Manguinhos  
C. S. Moses, Arthur Alexandre Motta, Catarina da Silva Moulton, Dudley Moura, Carlos Moura, Nitia de Muhlens Muir, Ernest Müller, Lorenz Murce, Rocha Naderer, Karl Nakarai, S.  ...  Matta, Alfredo Augusto da Maurano, Flavio Mayr, Ernst Mazza, Salvador McBride, K. McClung, C. E. Mehra, H. R.  ... 
doi:10.1590/s0104-59702003000100013 fatcat:aucitkrogzaxbmdr6o2eio5osi

VIGILÂNCIA DE EPIZOOTIAS EM PRIMATAS NÃO HUMANOS EM NITERÓI, RJ, BRASIL

Flavio Fernando Batista Moutinho, Dylan Mendonça da Silva Correa, Nairedisa Marcanth, Viviane Moura Azevedo Nunes, Fábio Villas Boas Borges, Francisco De Faria Neto, Sávio Freire Bruno
2020 Hygeia : Revista Brasileira de Geografia Médica e da Saúde  
de Niterói, Rio de Janeiro, no período de 2017 a 2018.  ...  O presente artigo, de cunho descritivo, analítico e retrospectivo, utilizou dados da vigilância passiva de epizootias em PNH realizada pelo Centro de Controle de Zoonoses e Doenças de Transmissão Vetorial  ...  exemplares de C. jacchus e C. penicillata, nativos do Nordeste e do Centro-Oeste, respectivamente.  ... 
doi:10.14393/hygeia16050387 fatcat:aglzzzipvzeaxeqdujdbg4b224

INDUSCON 2021 Author Index

2021 2021 14th IEEE International Conference on Industry Applications (INDUSCON)  
Mo3Track C.2 Carvalho, Carminda Célia Moura de Moura....................................................................................................................  ...  Tu4Track B C Moura, Vinicius de Oliveira..............................................................................................................................................  ... 
doi:10.1109/induscon51756.2021.9529811 fatcat:2hcq3apckvbthichxwjecwy63m

Page 308 of Acta Amazonica Vol. 1-5, Issue CUMULATIVE INDEX [page]

1971 Acta Amazonica  
C.; MORAES, A. Alpande de; KOKETSU, M.; MOURA, L. Lannes & MAGALHAES, M. Taveira — Oleos essenciais de espécies do género Calyptranthes LIMA VASCONCELOS, M. N.; LEAO DA SILVA, M.; MAIA, J. G.  ...  VI PATOLOGIA TROPICAL 308 — ALMEIDA, Flavio Barbosa de — Triatomineos da Amazénia ALMEIDA, Flavio Barbosa de & MACHADO, Paulo de Almeida — Sdbre a infeccao do Panstrongylus geniculatus pelo Trypanosoma  ... 

[NO TITLE AVAILABLE]

Paulo de Tarso Zuquim Antas, Susana de Moura Lara-Resende
1982 Revista Brasileira de Zoologia  
Em menor escala foram utilizadas armadilhas de tela de arame modelo proposto por C. C. Olrog e modificado por Flávio Silva (Flávio Silva, com. pess.).  ...  Utll '" Ou IoI AIS RECUPERACOES DEPART4NENTO DE PARQuES NACIONAIS E RESERVAS EQUIVALENTES ANILHAMENTO NO BRASIL L OC AIS DE ANILHANENTO NO 8RAS I L EM 1980 E REC UPE CE JII ...  ... 
doi:10.1590/s0101-81751982000300013 fatcat:dghyv5g5iveevppdedo63wni7q

Evaluation of a preservative system in a gel containing hydroalcoholic extract of Schinus terebinthifolius

Túlio Flávio A. L. Moura, Fernanda N. Raffin, Ana Lourdes R. Santos
2011 Revista Brasileira de Farmacognosia  
L. Moura et al.  ...  L. Moura et al. Table 1 . 1 Gel formula containing the Schinus terebinthifolius Raddi, Anacardiaceae extract.  ... 
doi:10.1590/s0102-695x2011005000102 fatcat:3x5omrrdu5ahfpq5qi26xlqt3m
« Previous Showing results 1 — 15 out of 1,351 results