Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 31-40 of 456 (Search time: 0.012 seconds).
Item hits:
Issue DateTitleAuthor(s)
28-Jan-2017Improving biometrics authentication with a multi-factor approach based on optical interference and chaotic mapsSouza, Daniel; Bulamarqui, Aquiles Medeiros Filgueira; Souza Filho, Guido
2018Mechanizing focused linear logic in coqXavier, Bruno; Vega, Carlos Alberto Olarte; Reis, Giselle; Nigam, Vivek
31-Jul-2019E-Dialogic: a proposal of a system for the production of dialogic didactic materialSantos, Erivaldo da Silva; Burlamaqui, Akynara Aglaé Rodrigues Santos da Silva; Burlamaqui, Aquiles Medeiros Filgueira
1-Feb-2020Automation method of the concrete redosage process in concrete business unitTorres, Raphael José Rodrigues; Carvalho, Zulmara Virginia de; Burlamaqui, Aquiles Medeiros Filgueira
2015Verification of spatial and temporal modalities in biochemical systemsFalaschi, Moreno; Hermith, Diana; Chiarugi, Davide; Vega, Carlos Alberto Olarte
28-Feb-2019A collaborative system architecture for developing digital electronic gamesRaulino, Filipe de Carvalho Pinto; Martins, Raiane dos Santos; Burlamaqui, Akynara Aglaé Rodrigues Santos da Silva; Burlamaqui, Aquiles Medeiros Filgueira
2015Modelling non-Markovian dynamics in biochemical reactionsChiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Vega, Carlos Alberto Olarte; Torella, Luca
2017From cut-free calculi to automated deduction: the case of bounded contractionCiabattoni, Agata; Lellmann, Bjorn; Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
24-Oct-2016Brazilian Robotics Olympiad: A successful paradigm for science and technology disseminationAroca, Rafael V.; Pazelli, Tatiana FPAT; Tonidandel, Flavio; CA Filho, Azamor; Simes, Alexandre S.; Colombini, Ester L.; Burlamaqui, Aquiles Medeiros Filgueira; Gonçalvez, Luiz Marcos Garcia
2017Hybrid and subexponential linear logicsDespeyroux, Joelle; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte