Buscar
Mostrando ítems 91-100 de 145
Modelo dinâmico de envelhecimento e risco
(Florianópolis, 2013)
Docência on-line: ser professor em cursos de turismo a distânciaTeaching online: being a teacher in Travel distance courses
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em EducaçãoCiências HumanasUFU, 2016)
Reconhecimento de expressões faciais utilizando estimação de movimento
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2018)
A preparação da performance do contrabaixo acústico e Live Electronics
(Universidade Estadual Paulista (Unesp), 2017-08-08)
Este trabalho discute a preparação para a performance do contrabaixo numa relação com dispositivos computacionais de interação em tempo real, dentro de vertentes conhecidas como Live Electronics e Live Looping. Para tal ...
Reasoning about functional programs by combining interactive and automatic proofs
(UR.FI., 2015)
We propose a new approach to computer-assisted verification of lazy
functional programs where functions can be defined by general
recursion. We work in first-order theories of functional programs
which are obtained by ...