HyLTL: a temporal logic for model checking hybrid systems

criticamente diversos instrumentos (D’AMBRÓSIO, 2009, p. O desenvolvimento dessas capacidades são extremamente importantes para o exercício da cidadania neste mundo onde as

Originariamente, Oxum, uma das esposas de Xangô, era a protetora das prostitutas, porém, na me- dida em que foi se acentuando o sincretis- mo com o Catolicismo e este Orixá passou

O sistema desenvolvido neste trabalho mostra que é possível a utilização de um aplicativo para auxiliar os turistas a obterem sua localização atual na cidade de Curitiba, que

Gráfico 13: Distribuição da freqüência das funções desempenhadas pelo profissional da informação...44.. Com a evolução das tecnologias, qualquer profissional deve

Na figura 29, podemos ver o carácter das intervenções onde se denota um número considerável de intervenções profundas no edificado do quarteirão. Denota-se também

The numerical results confirm that the models adopted (RC elements with non-linearity concentrated at their extremities and the proposed macro-model for the infill panels) are

Analisando cada ferramenta de forma pura e isolada, constata-se que o diagrama de Gantt é mais indicado quando se pretende monitorar e controlar o projeto e o

Resultados: dos participantes da pesquisa, 79,6% não são atendidos pela estratégia, destes 53,2% não sabem da existência da unidade de saúde da família e 46,8%