Zobrazeno 1 - 10
of 159
pro vyhledávání: '"Leonardo de Moura"'
Autor:
Sebastian Ullrich, Leonardo de Moura
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022)
In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing reusable abstractions in libraries. Most ITPs support suc
Externí odkaz:
https://doaj.org/article/b4dcaab759cc431f85cce39544d7d3ec
Autor:
André Villas-Bôas, Rodrigo Junqueira, Marcelo Salazar, Augusto Postigo, Jeferson Straatmann, Cristina Velásquez, Juan Doblas, Edione Goveia, Maria Augusta Torres, Victor Cabreira Lima, Fabíola Andressa Moreira da Silva, Leonardo de Moura, Roberto Rezende
Publikováno v:
Desenvolvimento e Meio Ambiente, Vol 48, Iss 0 (2018)
As reservas extrativistas, um dos legados do movimento organizado dos seringueiros do qual Chico Mendes foi um dos grandes protagonistas, foram idealizadas como proposta de desenvolvimento para Amazônia e para os povos da floresta, alternativa ao mo
Externí odkaz:
https://doaj.org/article/e7343c0db7ec43a6825a0202990c8253
Autor:
Djalma Felipe da Silva Menéndez, Leonardo de Moura Sousa Júnior, Iuri Santana Neville, Wellingson Silva Paiva, Almir Ferreira de Andrade, Manoel Jacobsen Teixeira
Publikováno v:
Brazilian Neurosurgery, Vol 33, Iss 02, Pp 132-138 (2014)
A embolia gordurosa é constituída pela presença de glóbulos de gordura dentro da microcirculação periférica e pulmonar, com ou sem quadro clínico. Há uma fase precoce, representada por uma obstrução mecânica, e uma fase tardia, representa
Externí odkaz:
https://doaj.org/article/adae7b418280480fbbed071055549af6
Autor:
Leonardo de Moura Sousa Júnior, Iuri Santana Neville, Djalma Felipe da Silva Menendez, Malebranche Berardo Carneiro da Cunha Neto, Rafael Loch Batista, Eberval Gadelha Figueiredo, Almir Ferreira de Andrade, Manoel Jacobsen Teixeira
Publikováno v:
Brazilian Neurosurgery, Vol 32, Iss 02, Pp 74-79 (2013)
O traumatismo cranioencefálico (TCE) corresponde a uma das principais causas de morte em adultos jovens. Alguns pacientes com TCE podem ser vítimas de várias alterações hormonais decorrentes do trauma. Algumas são facilmente reconhecíveis, com
Externí odkaz:
https://doaj.org/article/fb9c6bbc4b654f21950ddf1e8972378e
Autor:
Maíla de Lima Claro, Leonardo de Moura Santos, Wallinson Lima e Silva, Flávio Henrique Duarte de Araújo, Nayara Holanda de Moura, André Macedo Santana
Publikováno v:
CLEI Electronic Journal, Vol 19, Iss 2 (2016)
The use of digital image processing techniques is prominent in medical settings for the automatic diagnosis of diseases. Glaucoma is the second leading cause of blindness in the world and it has no cure. Currently, there are treatments to prevent vis
Externí odkaz:
https://doaj.org/article/8a14fef9b00c45f2a2a2d54d11c5e8d2
Publikováno v:
Pesquisa Agropecuária Tropical, Vol 29, Iss 2, Pp 141-144 (2007)
No município de Edéia (GO), muitos dos produtores que aderiram ao sistema de plantio direto se queixaram dos elevados gastos com o controle de plantas daninhas. Diante deste problema, este estudo procurou quantificar a emergência de plântulas no
Externí odkaz:
https://doaj.org/article/baa202830887426cb85a324340961c9d
Autor:
Poliana Lima Bastos, Jorge Machado Caram, Marcelo de Melo Quintela, Almir Lima Junior, Leonardo de Moura Batista, Millena Teles, Guilherme Salles Ottoboni, Wil Magalhães
Publikováno v:
Sleep Science, Vol 8, Iss 4, p 233 (2015)
Externí odkaz:
https://doaj.org/article/4f358c0e452a4852824215c58d958a73
Autor:
Poliana Lima Bastos, Jorge Machado Caram, Marcelo de Melo Quintela, Almir Lima Junior, Leonardo de Moura Batista, Guilherme Salles Ottoboni
Publikováno v:
Sleep Science, Vol 8, Iss 4, p 182 (2015)
Externí odkaz:
https://doaj.org/article/b314d2641e064a60a6bbb13f7f483e16
Autor:
Leonardo de Moura Perdigão Pamplona, Marcos Pereira Estellita Lins, Angela Estellita Lins, Karina Lyra
Publikováno v:
International Transactions in Operational Research. 30:1366-1386
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b2b290549c7eecd3a5c3d4b155ca82c
https://doi.org/10.1111/itor.12975
https://doi.org/10.1111/itor.12975
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Introdução: A hipertensão intracraniana é uma condição frequente na prática neurocirúrgica, sendo o diagnóstico precoce importante para definição de tratamento. Modelos experimentais de hipertensão intracraniana podem ser utilizados para
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48f6a93456e9aac34ef9bcd2c7996703
