Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Ramos, Frederico"'
Autor:
Ramos, Frederico Augusto
O tema energia é considerado central e articulador dentro do ensino de Física, sendo essencial em praticamente todas as áreas dessa ciência, além de fazer parte também de outras áreas do conhecimento, como Biologia, Química, História, Educa
Autor:
Ramos, Frederico Roman
Publikováno v:
Repositório Institucional do FGVFundação Getulio VargasFGV.
Submitted by Frederico Ramos (fred.r.ramos@gmail.com) on 2014-03-21T12:51:39Z No. of bitstreams: 1 Frederico Ramos Tese 2014.pdf: 11399489 bytes, checksum: 7ef1919906b38915cc808aa43da9075b (MD5)
Approved for entry into archive by PAMELA BELTRAN
Approved for entry into archive by PAMELA BELTRAN
Externí odkaz:
http://hdl.handle.net/10438/11551
Publikováno v:
In Journal of Transport Geography February 2018 67:110-118
Autor:
Ramos, Frederico
Metadata262 - Computation VM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bf18269e628ac8697c349b49d1c2ff5
Autor:
Ramos, Frederico Roman1,2 (AUTHOR) f.ramosroman@uva.nl, Uitermark, Justus1 (AUTHOR)
Publikováno v:
PLoS ONE. 6/25/2021, Vol. 16 Issue 6, p1-19. 19p.
We introduce a new symbolic reflection API for implementing tool-independent summaries for the symbolic execution of C programs. We formalise the proposed API as a symbolic semantics and extend two state-of-the-art symbolic execution tools with suppo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e08b78c28e260cd81df2ab8a3a71a8a
The artifact contains the extended versions of the tools angr and AVD with support for the symbolic reflection API proposed in the paper. Additionally, the artifact contains the source code of SumBoundVerify, our novel tool for the bounded-verificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3397d6fb657a7750f7acc4f4d877f38c
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lucena-Silva,Norma, Assunção,Maria Elisa Lucena Sales de Melo, Ramos,Frederico Antônio Pereira, Azevedo,Fernanda, Lessa Junior,Ronaldo, Cordeiro,Marli Tenório, Brito,Carlos Alexandre Antunes de
Publikováno v:
Revista da Sociedade Brasileira de Medicina Tropical, Volume: 50, Issue: 3, Pages: 417-422, Published: JUN 2017
Revista da Sociedade Brasileira de Medicina Tropical v.50 n.3 2017
Revista da Sociedade Brasileira de Medicina Tropical
Sociedade Brasileira de Medicina Tropical (SBMT)
instacron:SBMT
Revista da Sociedade Brasileira de Medicina Tropical v.50 n.3 2017
Revista da Sociedade Brasileira de Medicina Tropical
Sociedade Brasileira de Medicina Tropical (SBMT)
instacron:SBMT
The symptoms of chikungunya virus (CHIKV) infection include fever, headache, muscle aches, skin rash, and polyarthralgia, characterized by intense pain, edema, and temporary functional impairment. This is the first report of encephalitis caused by CH
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14157402172f6b1c92c8a5fcbd5601ef
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0037-86822017000300417&lng=en&tlng=en
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0037-86822017000300417&lng=en&tlng=en
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.