{"id":724,"date":"2019-06-06T19:47:44","date_gmt":"2019-06-06T22:47:44","guid":{"rendered":"https:\/\/wp.ufpel.edu.br\/weit\/?page_id=724"},"modified":"2019-06-06T20:54:46","modified_gmt":"2019-06-06T23:54:46","slug":"programacao","status":"publish","type":"page","link":"https:\/\/wp.ufpel.edu.br\/weit\/weit2011\/programacao\/","title":{"rendered":"Programa\u00e7\u00e3o"},"content":{"rendered":"\n\n\n\n\n\n\n\n\n\n\n\n\n
QUARTA-FEIRA, 24 de Agosto de 2011<\/span><\/td>\n<\/tr>\n
SAL\u00c3O NOBRE DA AGRONOMIA<\/span><\/td>\n<\/tr>\n
08:30 10:00<\/td>\nCredenciamento<\/b><\/td>\n<\/tr>\n
10:00 10:30<\/td>\nAbertura<\/b><\/td>\n<\/tr>\n
10:30 11:30<\/td>\n Tutorial<\/span>
\nConjuntos Fuzzy<\/a><\/u><\/b><\/p>\n
Neste tutorial, ser\u00e3o apresentadas as no\u00e7\u00f5es b\u00e1sicas de conjuntos fuzzy e da \u00e1lgebra dos conjuntos fuzzy, assim como infer\u00eancia fuzzy e sistemas fuzzy. Ser\u00e3o analisados exemplos de aplica\u00e7\u00f5es.<\/div>\n

Profa. Dra. Gra\u00e7aliz Pereira Dimuro<\/a><\/u><\/i><\/p>\n

11:30 12:10<\/td>\nSess\u00e3o T\u00e9cnica 1: Conjuntos e L\u00f3gica Fuzzy – Parte 1<\/span>
\nProbabilidade Fuzzy em Jogos Bayesianos<\/b>
\nTiago C. Asmus, Gra\u00e7aliz P. Dimuro<\/i>
\nUm comparativo entre os algoritmos de Agrupamento de Dados FCM e ckMeans<\/b>
\nRog\u00e9rio R. Vargas, Benjam\u00edn C. Bedregal e Eduardo S. Palmeira<\/i><\/td>\n<\/tr>\n
12:10 14:00<\/td>\nAlmo\u00e7o<\/b><\/td>\n<\/tr>\n
14:00 15:30<\/td>\n Palestra 1<\/span>
\nModel-Checking<\/a><\/u><\/b><\/p>\n
Verifica\u00e7\u00e3o de modelos (ou model checking) \u00e9 uma t\u00e9cnica utilizada quando se quer garantir que um sistema de hardware ou software possui determinada propriedade. Essa t\u00e9cnica \u00e9 particularmente interessante para sistemas concorrentes, quando as t\u00e9cnicas de teste de software tradicionalmente aplicadas n\u00e3o funcionam. Na verifica\u00e7\u00e3o de modelos, um sistema \u00e9 descrito por um modelo finito de estados, gerado a partir de uma linguagem de especifica\u00e7\u00e3o e as propriedades s\u00e3o especificadas por meio de alguma l\u00f3gica temporal. O verificador de modelos \u00e9 um algoritmo que percorre o espa\u00e7o de estados do modelo, assegurando que em nenhum estado a propriedade especificada \u00e9 violada; caso isso ocorra, o verificador apresenta um contra-exemplo para a propriedade, correspondente ao tra\u00e7o de execu\u00e7\u00e3o no sistema que violou a propriedade. A automatiza\u00e7\u00e3o do processo de verifica\u00e7\u00e3o tem o atrativo de n\u00e3o demandar conhecimentos especializados de provas matem\u00e1ticas formais; por outro lado, tem a limita\u00e7\u00e3o do espa\u00e7o de estados ter que ser finito. Neste curso veremos diferentes abordagens existentes para a verifica\u00e7\u00e3o de modelos, ferramentas dispon\u00edveis e como elas podem auxiliar na constru\u00e7\u00e3o de sistemas corretos do ponto de vista de sua especifica\u00e7\u00e3o.<\/div>\n

Profa. Dra. Ana Paula L\u00fcdtke Ferreira<\/a><\/u><\/i><\/p>\n

15:30 16:00<\/td>\nCoffee-break<\/b><\/td>\n<\/tr>\n
16:00 16:40<\/td>\nSess\u00e3o T\u00e9cnica 2: Aplica\u00e7\u00f5es de Sistemas Fuzzy<\/span>
\nUtilizando L\u00f3gica Fuzzy para Avaliar a Qualidade de uma Compra Via Internet<\/b>
\n Leonardo M. Rodrigues e Gra\u00e7aliz Dimuro<\/i>
\nInterface Experimental de Fuzifica\u00e7\u00e3o para o TOPOBO<\/b>
\nMateus Santin, Silvia Botelho, Fernanda Mota, Celso Rodrigues e Gra\u00e7aliz Dimuro. <\/i><\/td>\n<\/tr>\n
16:45 17:40<\/td>\nSess\u00e3o T\u00e9cnica 3: Modelagem e Desenvolvimento de Software<\/span>
\nUm Modelo de Simulador para Ambientes de Desenvolvimento de Processos de Software Utilizando a An\u00e1lise da Sensibilidade <\/b>
\nJuliano Dertzbacher, Abraham Sousa, Ivan Tierno e Daltro J. Nunes<\/i>
\nUtilizando Gram\u00e1tica de Grafos para o Desenvolvimento de Sistemas Embarcados Baseado em Modelos UML <\/b>
\nN\u00edcolas Bisi, Vinicius Pazzini, Luciana Foss, Simone Costa e Lisane Brisolara<\/i>
\nM\u00f4nadas em Java (trabalho resumido)<\/b>
\nRafael L. Bandeira, Andre R. Du Bois, Mauricio Pilla e Juliana K. Vizzotto<\/i><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n

 <\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n
QUINTA-FEIRA, 25 de Agosto de 2011<\/span><\/td>\n<\/tr>\n
SAL\u00c3O NOBRE DA AGRONOMIA<\/span><\/td>\n<\/tr>\n
08:30 09:30<\/td>\n Palestra 2<\/span>
\nModelos de Computa\u00e7\u00e3o: uma abordagem sist\u00eamica<\/a><\/u><\/b><\/p>\n
Inicialmente, analisam-se os modelos da Teoria da Computa\u00e7\u00e3o Cl\u00e1ssica (especialmente a m\u00e1quina de Turing) desde o ponto de vista sist\u00eamico, isto \u00e9, desde o ponto de vista que considera os sistemas computacionais como sistemas reais, funcionando no contexto do ambiente em que est\u00e3o inseridos. Caracterizam-se, ent\u00e3o, os modelos da computa\u00e7\u00e3o cl\u00e1ssica como sistemas fechados, n\u00e3o interativos, com computa\u00e7\u00f5es limitadas \u00e0 realiza\u00e7\u00e3o computacional de mapeamentos entre dados de entrada e sa\u00edda. A seguir, analisam-se os modelos da Teoria da Computa\u00e7\u00e3o Interativa (especialmente a m\u00e1quina de Turing persistente) do ponto de vista sist\u00eamico, mostrando de que forma eles se caracterizam como sistemas abertos cujas computa\u00e7\u00f5es realizam a troca interativa de informa\u00e7\u00f5es com o ambiente. Em seguida, considera-se a perspectiva de estender os modelos da Teoria da Computa\u00e7\u00e3o Interativa para incluir a possibilidade de o sistema trocar n\u00e3o apenas informa\u00e7\u00e3o, mas tamb\u00e9m mat\u00e9ria e energia com o seu ambiente. Nessa perspectiva, procura-se indicar as caracter\u00edsticas gerais que se esperaria de sistemas computacionais com caracter\u00edsticas desenvolvimentais, isto \u00e9, de sistemas computacionais capazes de se modificar material e operacionalmente enquanto funcionam e interagem com o ambiente. Para concluir, consideram-se as poss\u00edveis consequ\u00eancias pr\u00e1ticas e te\u00f3ricas da disponibilidade de sistemas computacionais com caracter\u00edsticas desenvolvimentais.<\/div>\n

Prof. Dr. Ant\u00f4nio Carlos da Rocha Costa<\/a><\/u><\/i><\/p>\n

09:30 10:00<\/td>\nCoffee-break<\/b><\/td>\n<\/tr>\n
10:00 12:00<\/td>\n Minicurso 1 (Parte 1) <\/span>
\nGram\u00e1tica de Grafos<\/a><\/u><\/b><\/p>\n
Este curso tem por objetivos oferecer uma vis\u00e3o geral da \u00e1rea de m\u00e9todos formais para especifica\u00e7\u00e3o de sistemas e dar uma introdu\u00e7\u00e3o ao m\u00e9todo de gram\u00e1ticas de grafos. Este m\u00e9todo de especifica\u00e7\u00e3o pode ser utilizado para especificar uma grande variedade de sistemas complexos, incluindo sistemas concorrentes e distribu\u00eddos. A descri\u00e7\u00e3o utilizando grafos para representar estados e transforma\u00e7\u00f5es de grafos para representar mudan\u00e7as de estados \u00e9 bastante intuitiva e ao mesmo tempo poderosa. Neste curso ser\u00e3o discutidas v\u00e1rias aplica\u00e7\u00f5es de gram\u00e1ticas de grafos. Aten\u00e7\u00e3o especial ser\u00e1 dada \u00e0 especifica\u00e7\u00e3o de sistemas concorrentes e distribu\u00eddos, que podem ser modelados de forma simples e elegante usando gram\u00e1tica de grafos.<\/div>\n

Profa. Dra. Leila Ribeiro<\/a><\/u><\/i> e Prof. Dr. Fernando Luis Dotti<\/a><\/u><\/i><\/p>\n

Leila Ribeiro: Possui gradua\u00e7\u00e3o em Ci\u00eancias da Computa\u00e7\u00e3o pela Universidade Federal do Rio Grande do Sul (1988), mestrado em Ci\u00eancias da Computa\u00e7\u00e3o pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Informtica – Technische Universitat Berlin (1996). Atualmente \u00e9 pesquisadora n\u00edvel 2 do Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico e professor associado da Universidade Federal do Rio Grande do Sul. \u00c9 membro do IFIP Working Group 1,3 (Foundations of System Specification). Tem experi\u00eancia na \u00e1rea de Ci\u00eancia da Computa\u00e7\u00e3o, com \u00eanfase em M\u00e9todos Formais, atuando principalmente nos seguintes temas: especifica\u00e7\u00e3o e sem\u00e2ntica formal, bioinform\u00e1tica, verificacao formal e modelos de computa\u00e7\u00e3o.<\/div>\n
Fernando Lu\u00eds Dotti: possui gradua\u00e7\u00e3o e mestrado em Ci\u00eancia da Computa\u00e7\u00e3o pela Universidade Federal do Rio Grande do Sul (1988 e 1991), e doutorado em Ci\u00eancia da Computa\u00e7\u00e3o pela Universidade T\u00e9cnica de Berlim (1997). De agosto de 2008 a julho de 2009 esteve em est\u00e1gio p\u00f3s-doutoral em visita \u00e0s Universidades de Newcastle e York, Inglaterra. Desde 1998 \u00e9 professor em tempo integral na Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul, onde atua como orientador no Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o. Tem experi\u00eancia em redes de computadores e sistemas distribu\u00eddos, aplicando t\u00e9cnicas de especifica\u00e7\u00e3o, verifica\u00e7\u00e3o e an\u00e1lise quantitativa de protocolos de comunica\u00e7\u00e3o e algoritmos distribu\u00eddos. Durante o est\u00e1gio p\u00f3s-doutoral investigou t\u00e9cnicas de especifica\u00e7\u00e3o formal e an\u00e1lise aplicadas a sistemas tolerantes a falhas. Atualmente \u00e9 Coordenador do Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o da PUCRS.<\/div>\n<\/td>\n<\/tr>\n
12:00 13:45<\/td>\nAlmo\u00e7o<\/b><\/td>\n<\/tr>\n
13:45 15:15<\/td>\n Minicurso 1 (Parte 2)<\/span>
\nGram\u00e1tica de Grafos<\/a><\/u><\/b><\/p>\n
Este curso tem por objetivos oferecer uma vis\u00e3o geral da \u00e1rea de m\u00e9todos formais para especifica\u00e7\u00e3o de sistemas e dar uma introdu\u00e7\u00e3o ao m\u00e9todo de gram\u00e1ticas de grafos. Este m\u00e9todo de especifica\u00e7\u00e3o pode ser utilizado para especificar uma grande variedade de sistemas complexos, incluindo sistemas concorrentes e distribu\u00eddos. A descri\u00e7\u00e3o utilizando grafos para representar estados e transforma\u00e7\u00f5es de grafos para representar mudan\u00e7as de estados \u00e9 bastante intuitiva e ao mesmo tempo poderosa. Neste curso ser\u00e3o discutidas v\u00e1rias aplica\u00e7\u00f5es de gram\u00e1ticas de grafos. Aten\u00e7\u00e3o especial ser\u00e1 dada \u00e0 especifica\u00e7\u00e3o de sistemas concorrentes e distribu\u00eddos, que podem ser modelados de forma simples e elegante usando gram\u00e1tica de grafos.<\/div>\n

Profa. Dra. Leila Ribeiro<\/a><\/u><\/i> e Prof. Dr. Fernando Luis Dotti<\/a><\/u><\/i><\/p>\n

Leila Ribeiro: Possui gradua\u00e7\u00e3o em Ci\u00eancias da Computa\u00e7\u00e3o pela Universidade Federal do Rio Grande do Sul (1988), mestrado em Ci\u00eancias da Computa\u00e7\u00e3o pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Informtica – Technische Universitat Berlin (1996). Atualmente \u00e9 pesquisadora n\u00edvel 2 do Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico e professor associado da Universidade Federal do Rio Grande do Sul. \u00c9 membro do IFIP Working Group 1,3 (Foundations of System Specification). Tem experi\u00eancia na \u00e1rea de Ci\u00eancia da Computa\u00e7\u00e3o, com \u00eanfase em M\u00e9todos Formais, atuando principalmente nos seguintes temas: especifica\u00e7\u00e3o e sem\u00e2ntica formal, bioinform\u00e1tica, verificacao formal e modelos de computa\u00e7\u00e3o.<\/div>\n
Fernando Lu\u00eds Dotti: possui gradua\u00e7\u00e3o e mestrado em Ci\u00eancia da Computa\u00e7\u00e3o pela Universidade Federal do Rio Grande do Sul (1988 e 1991), e doutorado em Ci\u00eancia da Computa\u00e7\u00e3o pela Universidade T\u00e9cnica de Berlim (1997). De agosto de 2008 a julho de 2009 esteve em est\u00e1gio p\u00f3s-doutoral em visita \u00e0s Universidades de Newcastle e York, Inglaterra. Desde 1998 \u00e9 professor em tempo integral na Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul, onde atua como orientador no Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o. Tem experi\u00eancia em redes de computadores e sistemas distribu\u00eddos, aplicando t\u00e9cnicas de especifica\u00e7\u00e3o, verifica\u00e7\u00e3o e an\u00e1lise quantitativa de protocolos de comunica\u00e7\u00e3o e algoritmos distribu\u00eddos. Durante o est\u00e1gio p\u00f3s-doutoral investigou t\u00e9cnicas de especifica\u00e7\u00e3o formal e an\u00e1lise aplicadas a sistemas tolerantes a falhas. Atualmente \u00e9 Coordenador do Programa de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o da PUCRS.<\/div>\n<\/td>\n<\/tr>\n
15:20 16:00<\/td>\nSess\u00e3o T\u00e9cnica 4: Gram\u00e1tica de Grafos e Aplica\u00e7\u00f5es<\/span>
\nUma Gram\u00e1tica para a Transforma\u00e7\u00e3o de DAGs em Grafos Descrevendo Programas Multithreaded <\/b>
\nC\u00edcero Camargo, Gerson Cavalheiro, Luciana Foss e Simone Costa<\/i>
\nGram\u00e1tica de Grafos: um comparativo de m\u00e9todos de verifica\u00e7\u00e3o<\/b>
\nAndr\u00e9 Mello, Luiz Lemos, Simone Costa e Luciana Foss<\/i><\/td>\n<\/tr>\n
16:00 16:30<\/td>\nCoffee-break<\/b><\/td>\n<\/tr>\n
16:30 17:50<\/td>\nSess\u00e3o T\u00e9cnica 5: M\u00e9todos Num\u00e9ricos e de Otimiza\u00e7\u00e3o<\/span>
\nAn\u00e1lise te\u00f3rica e experimental do m\u00e9todo branch and bound Jurema<\/b>
\nFelipe M\u00fcller, Guilherme Dhein e Olinto Ara\u00fajo<\/i>
\nM\u00e9todo das Diferen\u00e7as Finitas no Dom\u00ednio do Tempo e algoritmo de Yee: uma proposta para simula\u00e7\u00e3o do funcionamento de antenas microstrip<\/b>
\nLizandro Oliveira<\/i>
\nModelos de Programa\u00e7\u00e3o Linear Inteira Mista para Resolu\u00e7\u00e3o do Jogo Shisen-Sho<\/b>
\nRenan Trindade, Guilherme Dhein, Olinto De Ara\u00fajo e Felipe M\u00fcller<\/i>
\nAplica\u00e7\u00f5es de M\u00e9todos Num\u00e9ricos com Complexidade Linear na Previs\u00e3o de Enchentes de Rios<\/b>
\nAlice Finger e Aline Loreto<\/i><\/td>\n<\/tr>\n
20:30<\/td>\nJantar de Confraterniza\u00e7\u00e3o<\/b><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
SEXTA-FEIRA, 26 de Agosto de 2011<\/span><\/td>\n<\/tr>\n
SAL\u00c3O NOBRE DA AGRONOMIA<\/span><\/td>\n<\/tr>\n
08:30 10:00<\/td>\n Minicurso 2 (Parte 1) <\/span>
\nRedes de Petri<\/a><\/u><\/b><\/p>\n
A medida que os paradigmas de desenvolvimento voltam-se para ambientes distribu\u00eddos, seja fisicamente ou conceitualmente, metodologias que permitam a descri\u00e7\u00e3o de sistemas deste tipo de forma natural e intuitiva ganham aten\u00e7\u00e3o. Nesse sentido, a Rede de Petri, como uma ferramenta gr\u00e1fica e matem\u00e1tica de modelagem e an\u00e1lise, se adapta a um grande n\u00famero de aplica\u00e7\u00f5es em que as no\u00e7\u00f5es de eventos e de evolu\u00e7\u00f5es simult\u00e2neas s\u00e3o importantes. O objetivo com esta palestra \u00e9 apresentar os modelos b\u00e1sicos de Redes de Petri (bin\u00e1ria\/ordin\u00e1ria) e dar uma introdu\u00e7\u00e3o aos chamados modelos de alto-n\u00edvel (coloridas, objeto, entre outras). Finalmente, ser\u00e1 apresentado um modelo desenvolvido especificamente para o desenvolvimento de sistemas multiagentes e seus agentes.<\/div>\n

Prof. Dr. Eder Gon\u00e7alves<\/a><\/u><\/i><\/p>\n

10:00 10:30<\/td>\nCoffee-break<\/b><\/td>\n<\/tr>\n
10:30 12:00<\/td>\n Minicurso 2 (Parte 2)<\/span>
\nRedes de Petri<\/a><\/u><\/b><\/p>\n
A medida que os paradigmas de desenvolvimento voltam-se para ambientes distribu\u00eddos, seja fisicamente ou conceitualmente, metodologias que permitam a descri\u00e7\u00e3o de sistemas deste tipo de forma natural e intuitiva ganham aten\u00e7\u00e3o. Nesse sentido, a Rede de Petri, como uma ferramenta gr\u00e1fica e matem\u00e1tica de modelagem e an\u00e1lise, se adapta a um grande n\u00famero de aplica\u00e7\u00f5es em que as no\u00e7\u00f5es de eventos e de evolu\u00e7\u00f5es simult\u00e2neas s\u00e3o importantes. O objetivo com esta palestra \u00e9 apresentar os modelos b\u00e1sicos de Redes de Petri (bin\u00e1ria\/ordin\u00e1ria) e dar uma introdu\u00e7\u00e3o aos chamados modelos de alto-n\u00edvel (coloridas, objeto, entre outras). Finalmente, ser\u00e1 apresentado um modelo desenvolvido especificamente para o desenvolvimento de sistemas multiagentes e seus agentes.<\/div>\n

Prof. Dr. Eder Gon\u00e7alves<\/a><\/u><\/i><\/p>\n

12:00 13:45<\/td>\nAlmo\u00e7o<\/b><\/td>\n<\/tr>\n
13:45 14:40<\/td>\nSess\u00e3o T\u00e9cnica 6: Modelos de Agentes e Sistemas Multiagentes<\/span>
\nUm Estudo para uma Proposta de Modelos de Tomada de Decis\u00e3o em Intera\u00e7\u00f5es Estrat\u00e9gicas para Sistemas Multiagentes em Ambientes de Informa\u00e7\u00e3o Imperfeita<\/b>
\nStephanie Bri\u00e3o, Gra\u00e7aliz P. Dimuro e Ant\u00f4nio C. R. Costa<\/i>
\nUso de RSL para a Especifica\u00e7\u00e3o Formal de Organiza\u00e7\u00f5es de SMAs baseadas em PopOrg <\/b>
\nRaquel M. Barbosa e Ant\u00f4nio C. R. Costa<\/i>
\nUm Modelo de Agentes BDI-Fuzzy para Trocas de Servi\u00e7os N\u00e3o-Econ\u00f4micos com Base na Teoria das Trocas Sociais (trabalho resumido)<\/b>
\nGiovani Farias, Gra\u00e7aliz Dimuro e Ant\u00f4nio C. R. Costa<\/i><\/td>\n<\/tr>\n
14:45 15:25<\/td>\nSess\u00e3o T\u00e9cnica 7: Algoritmos Gen\u00e9ticos e Culturais<\/span>
\nSobre Sistemas H\u00edbridos: Algoritmos Gen\u00e9ticos e Abordagens Fuzzy <\/b>
\nLu\u00eds Macedo, Marilton Aguiar e Gra\u00e7aliz Dimuro
\nSobre Algoritmos Culturais: Conceitos e Abordagens (trabalho resumido)<\/b>
\nMurian Ribeiro e Marilton Aguiar<\/i><\/td>\n<\/tr>\n
15:25 15:55<\/td>\nCoffee-break<\/b><\/td>\n<\/tr>\n
15:55 16:55<\/td>\nSess\u00e3o T\u00e9cnica 8: Conjuntos e L\u00f3gica Fuzzy – Parte 2<\/span>
\nUm Estudo Sobre Vetores e Matrizes de N\u00fameros Fuzzy<\/b>
\nJorge L. B. Ribes, Gra\u00e7aliz P. Dimuro e Marilton S. Aguiar<\/i>
\nImplica\u00e7\u00f5es Fuzzy Intuicionistas Valoradas Intervalarmente<\/b>
\nLidiane Visintin, Renata Reiser e Benjam\u00edn Bedregal<\/i>
\nConjugate and Dual Constructions on Interval Functions<\/b>
\nGesner Reis, Lidiane Visintin, Benjam\u00edn Bedregal e Renata Reiser<\/i><\/td>\n<\/tr>\n
17:00 17:40<\/td>\nSess\u00e3o T\u00e9cnica 9: Modelos de Computa\u00e7\u00e3o<\/span>
\nRelativismo Epist\u00eamico em Sociedades de Agentes: Uma Modelagem Sem\u00e2ntica Preliminar <\/b>
\nAntonio C. R. Costa<\/i>
\nTowards Developmental Turing Machines <\/b>
\nSimone Costa, Ant\u00f4nio C. R. Costa e Gra\u00e7aliz Dimuro<\/i><\/td>\n<\/tr>\n
17:40<\/td>\nEncerramento<\/b><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n

Tempo de apresenta\u00e7\u00e3o dos trabalhos:<\/p>\n

    \n
  • Trabalho Resumido (7 p\u00e1ginas): 10 min + 5 min para perguntas<\/li>\n
  • Trabalho Longos (13 p\u00e1ginas): 15 min + 5 min para perguntas<\/li>\n
  • Importante:<\/b> Recomenda-se a utiliza\u00e7\u00e3o do computador oferecido na sala do evento para realizar a apresenta\u00e7\u00e3o dos trabalhos. Os apresentadores devem comparecer 10 minutos antes do in\u00edcio das sess\u00f5es da manh\u00e3 e da tarde, para copiarem suas apresenta\u00e7\u00f5es neste computador ou informar que usar\u00e3o seus pr\u00f3prios recursos.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"

    QUARTA-FEIRA, 24 de Agosto de 2011 SAL\u00c3O NOBRE DA AGRONOMIA 08:30 10:00 Credenciamento 10:00 10:30 Abertura 10:30 11:30 Tutorial Conjuntos Fuzzy Neste tutorial, ser\u00e3o apresentadas as no\u00e7\u00f5es b\u00e1sicas de conjuntos fuzzy e da \u00e1lgebra dos conjuntos fuzzy, assim como infer\u00eancia fuzzy e sistemas fuzzy. Ser\u00e3o analisados exemplos de aplica\u00e7\u00f5es. Profa. Dra. Gra\u00e7aliz Pereira Dimuro Possui […]<\/p>\n","protected":false},"author":234,"featured_media":0,"parent":635,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-724","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/724","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/comments?post=724"}],"version-history":[{"count":2,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/724\/revisions"}],"predecessor-version":[{"id":775,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/724\/revisions\/775"}],"up":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/635"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/media?parent=724"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}