| 2013 |
Trabalho em evento |
Método para verificação de propriedades de redes de Petri utilizando resolvedor SMT
Anderson NEVES; Fabiano SILVA; Marcos Alexandre CASTILHO; Luis Allan KUNZLE
X Encontro Nacional de Inteligência Artificial e Computacional
|
PS
Artificial Intelligence
|
| 2013 |
Trabalho em evento |
PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation
Ribas Bruno CESAR; Suguimoto Rubens MASSAYUKI; Montano Razer A N R; Silva FABIANO; Marcos Alexandre CASTILHO
2013 Brazilian Conference on Intelligent Systems (BRACIS)
DOI 10.1109/BRACIS.2013.41
ISBN 9780769550923
|
PS
Artificial Intelligence
|
| 2012 |
Capítulo de livro |
The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers
Schreiner Marcos A; Marcos Alexandre CASTILHO; Silva FABIANO; Kunzle Luis A
Lecture Notes in Computer Science
DOI 10.1007/978-3-642-34654-5_59
ISBN 9783642346538
|
PS
Artificial Intelligence
|
| 2012 |
Capítulo de livro |
On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints
Ribas Bruno CESAR; Suguimoto Rubens MASSAYUKI; Montaño Razer A N R; Silva FABIANO; Bona LUIS et al
Lecture Notes in Computer Science
DOI 10.1007/978-3-642-34654-5_37
ISBN 9783642346538
|
PS
Computer Science (miscellaneous)
|
| 2012 |
Capítulo de livro |
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability
Tavares De Oliveira RICARDO; Silva FABIANO; Ribas Bruno CESAR; Marcos Alexandre CASTILHO
Lecture Notes in Computer Science
DOI 10.1007/978-3-642-34654-5_39
ISBN 9783642346538
|
PS
Artificial Intelligence
|
| 2011 |
Trabalho em evento |
Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade
Razer Anthom Nizer Rojas MONTAÑO; Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KUNZLE
IX Encontro Nacional de Inteligência Artificial (CSBC 2011 - ENIA)
|
PS
Artificial Intelligence
|
| 2009 |
Capítulo de livro |
Repositórios institucionais confiáveis: repositório institucional como ferramenta para preservação digital
Cristiane Yanase Hirabara De CASTRO; Marcos Sfair SUNYE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO
Implantação e gestão de repositórios institucionais: políticas; memória; livre acesso e preservação
ISBN 9788523206550
|
SH
Library and Information Sciences
|
| 2009 |
Trabalho em evento |
Authoring Adaptive Tutoring Systems for Complex Visual Skills
Direne ALEXANDRE; Bona LUIS; Sunye Marcos SFAIR; Marcos Alexandre CASTILHO; Silva FABIANO et al
2009 Ninth IEEE International Conference on Advanced Learning Technologies (ICALT)
DOI 10.1109/ICALT.2009.166
|
PS
Mathematics (miscellaneous)
|
| 2009 |
Trabalho em evento |
SDI - Sistema de Diagnóstico Instantâneo
Diego PASQUALIN; Vinicius RUOSO; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Ribas Bruno CESAR et al
Workshop de Software Livre
|
HS
Medicine (miscellaneous)
|
| 2008 |
Trabalho em evento |
A user-interface environment solution as an educational tool for an online chess server on the web
Juliano PICUSSA; Laura Sanches GARCIA; Juliana BUENO; Márcia V R FERREIRA; Alexandre Ibrahim DIRENE et al
International Conference on Enterprise Information Systems (ICEIS)
ISBN 9789898111401
|
PS
Human-Computer Interaction
|
| 2008 |
Trabalho em evento |
A user-interface environment solution for an online educational chess server
Juliano PICUSSA; Laura Sanches GARCIA; Juliana BUENO; Márcia V R FERREIRA; Alexandre Ibrahim DIRENE et al
The IEEE Intl Conf on Research challenges in information science
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
Acquiring Expertise in Medical Radiology through Long-Term Interactions
Direne ALEXANDRE; Sunyé MARCOS; Marcos Alexandre CASTILHO; Silva FABIANO; Bona LUIS et al
2008 21st International Symposium on ComputerBased Medical Systems (CBMS)
DOI 10.1109/CBMS.2008.34
ISBN 9780769531656
|
PS
Biomedical Engineering
|
| 2008 |
Trabalho em evento |
Visualização de táticas para apoiar a aquisição de habilidades em jogos educacionais
Alexandre Ibrahim DIRENE; Andre Luiz Pires GUEDES; Fabiano SILVA; Luis Carlos Erpen De BONA; Laura Sanches GARCIA et al
Workshop sobre Informática na Escola (WIE)
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
Diálogos Adaptativos Para a Aprendizagem de Radiologia
Alexandre Ibrahim DIRENE; Marcos Sfair SUNYE; Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Carlos Erpen De BONA et al
Workshop de Informática Médica (WIM)
|
SH
Education
|
| 2008 |
Trabalho em evento |
Managing a Grid of Computer Laboratories for Educational Purposes
Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Daniel WEINGAERTNER; Fabiano SILVA; Marcos Sfair SUNYE et al
LAGrid08 - Latin American Grid
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
Uma abordagem dialógica alternativa para a aquisição de habilidades táticas em jogos educacionais
Hobmeier Neto ANTÔNIO; Alexandre Ibrahim DIRENE; Fabiano SILVA; Luis Carlos Erpen De BONA; Laura Sanches GARCIA et al
Simpósio Brasileiro de Informática na Educação (SBIE)
|
SH
Education
|
| 2008 |
Trabalho em evento |
Businness Intelligence nas Escolas Públicas do Paraná
Razer Anthom Nizer Rojas MONTAÑO; Márcio Roberto MIRANDA; Marcos Alexandre CASTILHO; Lúcio Foltran Da SILVA; Roberto HEXSEL
Workshop de Software Livre (WSL)
|
SH
Psychology (miscellaneous)
|
| 2008 |
Trabalho em evento |
Acesso de mídias removíveis em terminais thinclient sem disco
Ribas Bruno CESAR; Josiney De SOUZA; Fabiano SILVA; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO
Workshop de Software Livre (WSL)
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
A user-interface environment solution for an online educational Chess server
Picussa JULIANO; Garcia Laura S; Bueno JULIANA; Ferreira Marica V R; Direne Alexandre I et al
2008 Second International Conference on Research Challenges in Information Science (RCIS)
DOI 10.1109/RCIS.2008.4632106
ISBN 9781424416776
|
PS
Computer Science Applications
|
| 2007 |
Capítulo de livro |
Making Government Policies for Education Possible by means of Open Source Technology: a Successful Case
Marcos Alexandre CASTILHO; Marcos Sfair SUNYE; Et ALII
Open Source for Knowledge And Learning Management: Strategies beyond Tools
ISBN 1599041170
|
PS
Information Systems
|
| 2007 |
Trabalho em evento |
Planejamento aplicado a jogos de computador: uma implementao baseada em Redes de Tarefas Hierárquicas
Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Silvio Alexandre PORTO; Fabiano SILVA
VI ENIA - Encontro Nacional de Inteligncia Artificial
ISBN 9878576691
|
PS
Artificial Intelligence
|
| 2007 |
Trabalho em evento |
Planejamento como satisfatibilidade: uma abordagem no clausal
Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Razer Anthom Nizer Rojas MONTAÑO; Fabiano SILVA
VI ENIA - Encontro Nacional de Inteligncia Artificial
ISBN 9878576691
|
PS
Artificial Intelligence
|
| 2007 |
Trabalho em evento |
GAPNet: uma nova abordagem genética para o problema de planejamento em inteligência artificial
Cássio Soares CARVALHO; Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Fabiano SILVA
VI ENIA - Encontro Nacional de Inteligncia Artificial
ISBN 9878576691
|
PS
Artificial Intelligence
|
| 2007 |
Trabalho em evento |
Ferramentas e Métodos para Apoiar o Ensino de Xadrez na Fronteira entre os Fundamentos e a Perícia
Francisco Meira AGUIAR; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Fabiano SILVA; Marcos Alexandre CASTILHO et al
Workshop de Informática na Escola 2007 (WIE 2007)
ISBN 9878576691
|
SH
Education
|
| 2007 |
Trabalho em evento |
Laboratórios de Informática com Software Livre para Atender Políticas Estaduais do Ensino Escolar
Marcos Alexandre CASTILHO; Marcos Sfair SUNYE; Daniel WEINGAERTNER; Luis Carlos Erpen De BONA; Fabiano SILVA et al
Workshop de Informática na Escola 2007 (WIE 2007)
ISBN 9878576691
|
SH
Education
|