-
Physical Sciences
General Chemical Engineering
-
Physical Sciences
Artificial Intelligence
Bruna BAZALUK; Flavio Soares Correa Da SILVA; Maristela HOLANDA; Dilma Da SILVA.
2023.
Source code plagiarism in computer science courses: facts and impressions.
In:
Workshop sobre educação em computação (wei).
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Flavio Soares Correa Da SILVA; Geoff NITSCHKE; Bilal ASLAN.
2023.
A computational method to support chemical product design based on multi-objective optimisation and graph transformers.
In:
Alife 2023: ghost in the machine.
Japão.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA.
2020.
Positive artificial intelligence.
In:
The 19th international conference of the italian association for artificial intelligence.
Itália.
-
Physical Sciences
Artificial Intelligence
-
Health Sciences
Radiology, Nuclear Medicine and Imaging
E SANTANA; Frederico P COSTA; Y SETOGUTE; L CARVALHO; P LIMA et al.
2019.
Exposure to low energy amplitude modulated radiofrequency electromagnetic fields (emf) is associated with rapid improvement in quality of life (qol) status in patients with advanced hepatocellular carcinoma (hcc); using various analyses of eortc-c30.
In:
European society for medical oncology congress 2019.
Espanha.
-
Life Sciences
Neuroscience (miscellaneous)
Arlindo Flavio Da CONCEICAO; Flavio Soares Correa Da SILVA; Vladimir ROCHA; Angela LOCORO; Joao Marcos De Mattos BARGUIL.
2018.
Eletronic health records using blockchain technology.
In:
Anais do i workshop em blockchain: teoria; tecnologias e aplicações (wblockchain - sbrc 2018).
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Stefania BANDINI; Luca CROCIANI; Giuseppe VIZZARI; Flavio Soares Correa Da SILVA; Andrea GORRINI.
2017.
The role of compliance in heterogeneous interacting agents: data from observations.
In:
Aamas 2017 - workshop agent based modeling for urban systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; Paul CHUNG; Marcelo Knorich ZUFFO; Petros PAPAPANAGIOTOU; David Stuart ROBERTSON et al.
2017.
Hazard identication for uavs based on soft institutions.
In:
Aamas 2017 - workshop coordination; organisations; institutions and norms.
Brasil.
-
Physical Sciences
Computer Science Applications
Pablo Calcina CCORI; Laisa Caroline Costa De BIASE; Marcelo Knorich ZUFFO; Geovane FREDRECHESKI; John ESQUIAGOLA et al.
2017.
Agile servient integration with the swarm: automatic code generation for nodes in the internet of things.
In:
International conference on future networks and distributed systems.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Carlos VIEIRA; Flavio Soares Correa Da SILVA.
2016.
Assessment of fun from the analysis of facial expressions to support video game design.
In:
Artificial intelligence and simulation of behaviour 2016.
Brasil.
-
Physical Sciences
Artificial Intelligence
Erika Guetti SUCA; Flavio Soares Correa Da SILVA.
2016.
A logical approach for preserving confidentiality in shared knowledge bases.
In:
Ontobras - seminário de pesquisa em ontologias do brasil.
Brasil.
-
Social Sciences & Humanities
Education
Adalberto Bosco Castro PEREIRA; Stela Conceição Bertholo PICONEZ; Flavio Soares Correa Da SILVA.
2016.
Mathematics experiences: pedagogical implications with the use of digital games; m-learning and social networks.
In:
Xi conferencia latinoamericana de objetos y tecnologias de aprendizaje.
Costa Rica.
-
Physical Sciences
Computer Science (miscellaneous)
Pablo Calcina CCORI; Laisa Caroline Costa De BIASE; Marcelo Knorich ZUFFO; Flavio Soares Correa Da SILVA.
2016.
Device discovery strategies for the iot.
In:
International symposium on consumer electronics.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Tunazzina SULTANA; Angela LOCORO; Flavio Soares Correa Da SILVA.
2016.
Time accounting system: validating a socio-technical solution for service exchange in local communities.
In:
Xiii conference of the italian chapter of the ais.
Itália.
-
Social Sciences & Humanities
Education
Adalberto Bosco Castro PEREIRA; Flavio Soares Correa Da SILVA; Stela Conceição Bertholo PICONEZ; Josete Maria ZIMMER.
2016.
Jogos digitais no desenvolvimento de conceitos matemáticos sob perspectiva byod e abordagem m-learning na escola pública.
In:
Workshop de informática na escola - congresso brasileiro de informática na educação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Neuroscience (miscellaneous)
Flavio Soares Correa Da SILVA; Luiz Carlos VIEIRA; Stefania BANDINI.
2015.
Engagement mechanisms for social machines.
In:
Games and learning alliance conference - games for health workshop.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Carlos VIEIRA; Flavio Soares Correa Da SILVA.
2015.
Assessment of fun in interactive systems: a survey.
In:
10th international brazilian meeting on cognitive science.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Luiz Carlos VIEIRA; Flavio Soares Correa Da SILVA.
2014.
Understanding fun.
In:
Videojogos 2014.
Portugal.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Flavio Soares Correa Da SILVA; David Stuart ROBERTSON; Wamberto VASCONCELOS.
2013.
Experimental interaction science.
In:
Aisb 2013 - british symposium of artificial intelligence and simulation of behaviour.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
André Luiz Satoshi KAWAMOTO; Flavio Soares Correa Da SILVA.
2013.
Utilização de dispositivos de interfaces naturais de usuário em aplicações de realidade aumentada.
In:
Tendências e técnicas em realidade virtual e aumentada.
Brasil.
-
Social Sciences & Humanities
Library and Information Sciences
Mirtha Lina Fernandez VENERO; Claudia Josimar Abrao De ARAUJO; David Diego MIRA; Flavio Soares Correa Da SILVA; Ana Goncalves MAGALHAES.
2013.
Openmuseum: a framework for collaboration between cultural heritage institutions.
In:
Simpósio brasileiro de sistemas de informação.
Brasil.
-
Physical Sciences
Artificial Intelligence
Fernández Venero Mirtha LINA; Flavio Soares Correa Da SILVA.
2013.
On the use of spin for studying the behavior of nested petri nets.
In:
16th brazilian symposium on formal methods.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Erika Guetti SUCA; Flavio Soares Correa Da SILVA.
2013.
An ontology for portability and interoperability digital documents.
In:
5th international conference on knowledge management and information sharing.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Mirtha Lina Fernandez VENERO; Flavio Soares Correa Da SILVA.
2013.
Modelling and simulating interaction protocols using nested petri nets.
In:
Workshop on formal methods in the development of software.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Silvano Orita De ALMEIDA; Flavio Soares Correa Da SILVA.
2013.
A systematic review of game design methods and tools.
In:
12th international conference on entertainment computing; icec 2013.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Luiz Satoshi KAWAMOTO; Valeria Fazinatto MARTINS; Flavio Soares Correa Da SILVA.
2013.
Usability evaluation of an application designed for the older adults.
In:
12th international conference on entertainment computing; icec 2013.
Brasil.
-
Physical Sciences
Artificial Intelligence
Pierre Yves ANDREWS; Flavio Soares Correa Da SILVA.
2013.
Using parliamentary open data to improve participation.
In:
International conference on theory and practice of electronic governance.
Coréia Do Sul.
-
Physical Sciences
Human-Computer Interaction
André Luiz KAWAMOTO; Valéria Farinazzo MARTINS; Flávio Soares Corrêa Da SILVA.
2013.
Guidelines for the development of gestural interface games for the older adults.
In:
Xii brazilian symposium on games and digital entertainment.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Silvano Orita De ALMEIDA; Flavio Soares Correa Da SILVA.
2013.
Towards a library of game components.
In:
Simpósio brasileiro de games.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Silvano Orita De ALMEIDA; Flavio Soares Correa Da SILVA.
2013.
Requirements for game design tools.
In:
Simpósio brasileiro de games.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Silvano Orita De ALMEIDA; Rogerio A GONCALVES; Lucio G VALENTIN; Flavio Soares Correa Da SILVA.
2013.
Towards a game design patterns suggestion tool.
In:
Simpósio brasileiro de games.
Brasil.
-
Physical Sciences
Artificial Intelligence
Walter CARNIELLI; Juliana Bueno SOLER; Flavio Soares Correa Da SILVA.
2011.
The king of reasonshire: a computer game to practice critical thinking.
In:
Third international congress on tools for teaching logic.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Claudia Josimar Abrao De ARAUJO; Flavio Soares Correa Da SILVA.
2011.
A software platform for governmental virtual institutions.
In:
The 4th international conference on ubi-media computing (u-media 2011).
Brasil.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; Ary Fagundes Bressane NETO.
2011.
Affective agents for empathic interactions.
In:
International conference on entertainment computing.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
Erika Guetti SUCA; Flavio Soares Correa Da SILVA.
2011.
Interoperabilidade e portabilidade de documentos digitais usando ontologias.
In:
Ontobras-most.
Brasil.
-
Social Sciences & Humanities
Education
Ary Fagundes Bressane NETO; Flavio Soares Correa Da SILVA.
2010.
On the construction of synthetic characters with personality and emotion.
In:
Brazilian symposium of artificial intelligence.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Jaume AGUSTI; Flavio Soares Correa Da SILVA.
2009.
Experimental information and experiential knowledge.
In:
European conference on philosophy and computing.
Espanha.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Ary Fagundes Bressane NETO; Flavio Soares Correa Da SILVA.
2009.
Synthetic characters with personality and emotion.
In:
Intelligent virtual agents.
Holanda.
-
Social Sciences & Humanities
General Social Sciences
Claudia Josimar Abrao De ARAUJO; Flavio Soares Correa Da SILVA.
2009.
Governmental virtual institutions.
In:
International conference on theory and practice of electronic governance.
Colômbia.
-
Physical Sciences
Computer Science (miscellaneous)
Giuseppe VIZZARI; Giorgio PIZZI; Flavio Soares Correa Da SILVA.
2008.
A framework for execution and 3d visualization of situated cellular agent based crowd simulations.
In:
23rd acm sympusium on applied computing - special track on advances on computer simulation.
Brasil.
-
Social Sciences & Humanities
Education
Flavio Soares Correa Da SILVA.
2008.
Knowledge-based modality selection for information presentation in a mobile system for primary homecare.
In:
Artificial intelligence and simulation of behaviour - workshop on multimodal output generation.
Grã-Bretanha.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; Giuseppe VIZZARI; Alessandro MOSCA.
2008.
Coupled mmass: a formal model for non-deterministic multi-agent simulations.
In:
Artificial intelligence and simulation of behaviour - workshop of logic and the simulation of interaction and reasoning.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Crhistian Alberto Noriega GUERRA; Flavio Soares Correa Da SILVA.
2008.
Semantic web services for intelligent responsive environments.
In:
Artificial intelligence and simulation of behaviour - workshop on intelligent agents and services for smart environments.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Crhistian Alberto Noriega GUERRA; Flavio Soares Correa Da SILVA.
2008.
A middleware for smart environments.
In:
Artificial intelligence and simulation of behaviour - workshop on intelligent agents and services for smart environments.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Giuseppe VIZZARI; Andrea BONOMI; Flavio Soares Correa Da SILVA.
2008.
A framework for executing and visualizing situated cellular agent based crowd simulations.
In:
European meeting on cybernetics and systems research.
Austria.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel Moisés Gonzales CLUA; Vivian Dorat BERTONI; Roosevelt Alves Da SILVA.
2007.
Vida - jogo de simulação de vida e evolução utilizando.
In:
Xi encontro latino americano de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Judith MASTHOFF; Wamberto VASCONCELOS; Chris AITKEN; Flavio Soares Correa Da SILVA.
2007.
Agent-based group modelling for ambient intelligence.
In:
International symposium on affective smart environments.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Giuseppe VIZZARI; Giorgio PIZZI; Flavio Soares Correa Da SILVA.
2007.
A framework for interactive situated agents in virtual environments.
In:
Worshop "from objects to agents" - woa.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Giuseppe VIZZARI; Giorgio PIZZI; Flavio Soares Correa Da SILVA.
2007.
A framework for situated crowd behavior in virtual environments.
In:
Sbgames - simpósio brasileiro de jogos de computador.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Shigueo YAMAMOTO; Flavio Soares Correa Da SILVA.
2006.
Ambientes virtuais contextualizáveis baseados em jogos de computador em educação.
In:
Xiv workshop sobre educação em computação - wei.
Brasil.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; Wamberto VASCONCELOS.
2006.
Rule schemata for game artificial intelligence.
In:
Sbia/iberamia - simpósio brasileiro de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Soares Correa Da SILVA; Wamberto VASCONCELOS.
2005.
Agent based management of responsive environments.
In:
Congress of the italian association of artificial intelligence.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Felipe Werndl TREVISAN; Leliane Nunes De BARROS; Flavio Soares Correa Da SILVA.
2005.
Low cost experiments in cognitive robotics for planning in hostile environments with incomplete information.
In:
Caepia 2005 - conferencia de la asociacion espanola para la inteligencia artificial.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Sérgio Haruo NAKANISHI; Flavio Soares Correa Da SILVA.
2005.
Game-engine as an educational tool in software engineering courses.
In:
Wjogos 2005.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Shigueo YAMAMOTO; Flavio Soares Correa Da SILVA.
2005.
Ambientes virtuais contextualizáveis para validação de técnicas de inteligência artificial.
In:
Wjogos 2005.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Soares Correa Da SILVA; Tiago Motta JORGE.
2005.
Towards complex reasoning agents for action games.
In:
Wjogos 2005.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Filipe Correa Lima Da SILVA; Flavio Soares Correa Da SILVA.
2005.
Um ambiente virtual baseado em jogos para o aprendizado de inteligência artificial.
In:
Wjogos 2005.
Brasil.
-
Physical Sciences
Computer Science Applications
Marcelo FINGER; Ana Cristina Vieira De MELO; Flavio Correa Da SILVA; Renata WASSERMANN; Leliane Nunes De BARROS.
2005.
Intelligent mobile multi-robotic systems: some challenges and possible solutions.
In:
2nd international conference on informatics in control; automation and robotics.
Espanha.
-
Physical Sciences
Computer Science Applications
Fernando IAZZETTA; Fabio KON; Marcelo Gomes De QUEIROZ; Flavio Soares Correa Da SILVA; Marcio De Avelar GOMES.
2004.
Acmus: computational tools for measurement; analysis and simulation of room acoustics.
In:
Iv congresso iberoamericano de acústica.
Portugal.
-
Social Sciences & Humanities
Linguistics and Language
Flavio Soares Correa Da SILVA; Eudenia Xavier MENESES.
2002.
Expressing systems capabilities for knowledge coordination.
In:
Agents architectures and multi-agent systems.
Itália.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA.
2002.
Towards a logic of perishable propositions.
In:
Workcomp.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Soares Correa Da SILVA; Eudenia Xavier MENESES; Ana Cristina Vieira De MELO.
2002.
Capabilities in formal knowledge coordination for business integration.
In:
Workshop - oopsla.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Eudenia Xavier MENESES; Flavio Soares Correa Da SILVA.
2001.
Um modelo para cooperação entre sistemas baseados em conhecimento baseado em capacidades.
In:
Enia - encontro nacional de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Fernando IAZZETTA; Fábio KON; Flavio Soares Correa Da SILVA.
2001.
Acmus: design and simulation of music listening environments.
In:
Eighth brazilian symposium of computer music.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Soares Correa Da SILVA; Ana Cristina Vieira De MELO; Jaume AGUSTI; Roberto Cassio De ARAUJO.
2000.
Knowledge sharing between a probabilistic logic and a bayesian belief network.
In:
International conference of information processing and management of uncertainty in knowledge-based systems.
Espanha.
-
Physical Sciences
Computer Science Applications
Flavio Soares Correa Da SILVA; David Stuart ROBERTSON; Jaume AGUSTI; Wamberto Weber VASCONCELOS; Ana Cristina Vieira De MELO.
2000.
A lightweight capability communication mechanism.
In:
International conference on industrial and engineering applications of artificial intelligence and expert systems.
Estados Unidos.
-
Social Sciences & Humanities
Linguistics and Language
Flavio Soares Correa Da SILVA; Sirley Ambrosia VITORINO.
2000.
Remarks on reasoning with progressively obsolete information.
In:
Sbia/iberamia.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Flavio Soares Correa Da SILVA; Jefferson ZANUTTO.
2000.
Calculo de equivalencia de operadores morfologicos via sistemas de re-escrita de termos.
In:
Laptec 2000.
Brasil.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA.
1999.
Formalisations of uncertain reasoning.
In:
International conference on industrial and engg applications of artificial intelligence and expert systs.
Egito.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; Wamberto Weber VASCONCELOS; David Stuart ROBERTSON; Jaume AGUSTI; Ana Cristina Vieira De MELO.
1999.
Why ontologies are not enough for knowledge sharing.
In:
International conference on industrial and engg applications of artificial intelligence and expert systs.
Egito.
-
Physical Sciences
Computer Science Applications
Flavio Soares Correa Da SILVA; Wamberto Weber VASCONCELOS; David Stuart ROBERTSON.
1998.
Cooperation between knowledge based systems.
In:
International congress on expert systems.
México.
-
Physical Sciences
Artificial Intelligence
Marcelo FINGER; Flavio Soares Correa Da SILVA.
1998.
Data obsolescence: modelling problems.
In:
International workshop on temporal representations and reasoning.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Marcus Vinicius TOLENTINO; Paulo Eduardo SANTOS; Márcio RILLO; Flavio Soares Correa Da SILVA.
1996.
Actions as prolog programs.
In:
Ieee joint symposia on intelligence and systems.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA.
1996.
On reasoning with and reasoning about uncertainty in artificial intelligence.
In:
European summer meeting of the association of symbolic logic.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Flavio Soares Correa Da SILVA; Fábio KON.
1995.
Stylistic musical choices via preference rules.
In:
International fuzzy systems association congress.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Flavio Soares Correa Da SILVA; Fábio KON.
1995.
Categorial grammar and harmonic analysis.
In:
Brazilian symposium on computer music.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Flavio Soares Correa Da SILVA; Jair Minoru ABE; Márcio RILLO.
1995.
Paraconsistent logics of knowledge and belief.
In:
International congress on logic; methodology and philosophy of science.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Junior BARRERA; Flavio Soares Correa Da SILVA; Gerald BANON.
1994.
Automating programming of binary morphological machines.
In:
International symposium on optics; imaging and instrumentation.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Renata WASSERMAN; Flavio Soares Correa Da SILVA.
1994.
Towards efficient modelling of distributed knowledge using equational and order-sorted logic.
In:
Brazilian symposium of artificial intelligence.
Brasil.
-
Social Sciences & Humanities
Education
Flavio Soares Correa Da SILVA; Hugo PIETRANTONIO.
1993.
Analise do conhecimento e inferencia em um sistema especialista para seguranca viaria.
In:
Anpet.
Brasil.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; David Stuart ROBERTSON; Jane HESKETH.
1992.
Automated reasoning with uncertainties.
In:
Applied logic conference.
Holanda.
-
Physical Sciences
Artificial Intelligence
Flavio Soares Correa Da SILVA; David Stuart ROBERTSON; Paul CHUNG.
1991.
Automated reasoning about an uncertain domain.
In:
Ecsqaru.
França.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Flavio Soares Correa Da SILVA; Alan BUNDY.
1990.
On some equivalence relations between incidence calculus and the dempster-shafer theory of evidence.
In:
Uncertainty in artificial intelligence.
Estados Unidos.