-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Tiago Da Cruz ASMUS; Jocivania PINHEIRO; Santos HELIDA; Eduardo Nunes BORGES et al.
2022.
On construction methods of (interval-valued) general grouping functions.
In:
Ipmu 2022 - national conference on information processing and management of uncertainty in knowledge-based systems ipmu 2022: information processing and management of uncertainty in knowledge-based systems.
Suiça.
-
Physical Sciences
Artificial Intelligence
Mikel Ferrero JAURRIETA; Zdenko TAKÁVC; Lubomíra HORANSKÁ; Graçaliz Pereira DIMURO; Javier FERNÁNDEZ et al.
2022.
Vectorial extensions of fuzzy integrals on sequential information fusion.
In:
19th international conference on information processing and management of uncertainty in knowledge-based systems (ipmu 2022).
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Iosu Rodríguez MARTÍNEZ; Pablo Aitor Lizarraga GUERRA; Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO; Herrera FRANCISCO et al.
2022.
Penalty-based pooling functions for feature reduction on convolutional neural networks .
In:
Ipmu 2022 the 19th international conference on information processing and management of uncertainty in knowledge-based systems.
Itália.
-
Physical Sciences
Artificial Intelligence
Wieczynski JONATA; Giancarlo LUCCA; Eduardo N BORGES; Mikel Ferrero JAURRIETA; Tiago Da Cruz ASMUS et al.
2022.
Application of the sugeno integral in fuzzy rule-based classification.
In:
Ipmu 2022 the 19th international conference on information processing and management of uncertainty in knowledge-based systems.
Itália.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Psychology (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Aquatic Science
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Giancarlo LUCCA; Bedregal BENJAMIN; Mesiar RADKO; José Antonio SANZ et al.
2021.
Generalizing $c_{f_1f_2}$-integrals.
In:
The 13th international workshop on fuzzy logic and applications - wilf 2021.
Itália.
-
Life Sciences
Neuroscience (miscellaneous)
Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO; José Antonio SANZ; Wieczynski JONATA; Giancarlo LUCCA et al.
2021.
General admissibly ordered interval-valued overlap functions.
In:
The 13th international workshop on fuzzy logic and applications - wilf 2021.
Itália.
-
Physical Sciences
Mathematics (miscellaneous)
Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO; José Antonio SANZ; Bedregal BENJAMIN; Javier FERNÁNDEZ et al.
2021.
General interval-valued overlap functions and n-dimensional admissibly ordered interval-valued overlap functions and its influence in interval-valued fuzzy rule-based classification systems.
In:
The 13th international workshop on fuzzy logic and applications - wilf 2021.
Itália.
-
Physical Sciences
Artificial Intelligence
Mikel Ferrero JAURRIETA; Graçaliz Pereira DIMURO; Taká ZDENKO; Regivan Hugo Nunes SANTIAGO; Javier FERNÁNDEZ et al.
2021.
Fuzzy sets complement-based gated recurrent unit.
In:
The 13th international workshop on fuzzy logic and applications - wilf 2021.
Itália.
-
Physical Sciences
Artificial Intelligence
Giancarlo LUCCA; Eduardo N BORGES; Rafael A BERRI; Leonardo EMMENDORFER; Graçaliz Pereira DIMURO et al.
2021.
On the generalizations of the choquet integral for application in frbcs.
In:
Brazilian conference on intelligent systems - bracis 2021.
Alemanha.
-
Life Sciences
Neuroscience (miscellaneous)
Javier FUMANAL; Martin PAPCO; Javier FERNÁNDEZ; Graçaliz Pereira DIMURO; Carmen VIDAURRE et al.
2021.
Optimizing feature importance in the decision making phase for motor imagery brain computer interfaces using automatic differentiation.
In:
Ifsa/eusflat 2021 - the 19th world congress of the international fuzzy systems association the 12th conference of the european society for fuzzy logic and technology jointly with the agop; ijcrs; and fqas conferences.
Eslováquia.
-
Physical Sciences
Computer Science Applications
Mikel Ferrero JAURRIETA; Taká ZDENKO; Lubomíra HORANSKÁ; Iosu Rodríguez MARTÍNEZ; Graçaliz Pereira DIMURO et al.
2021.
Sequential information fusion based in multidimensional choquet-like discrete integral.
In:
Ifsa/eusflat 2021 - the 19th world congress of the international fuzzy systems association the 12th conference of the european society for fuzzy logic and technology jointly with the agop; ijcrs; and fqas conferences.
Eslováquia.
-
Physical Sciences
Artificial Intelligence
Asier URIO; Humberto BUSTINCE; Laura De MIGUEL; Javier FERNÁNDEZ; Graçaliz Pereira DIMURO et al.
2021.
Modiffcation of the adaline using choquet integrals and their generalizations.
In:
Ifsa/eusflat 2021 - the 19th world congress of the international fuzzy systems association the 12th conference of the european society for fuzzy logic and technology jointly with the agop; ijcrs; and fqas conferences.
Eslováquia.
-
Life Sciences
Neuroscience (miscellaneous)
Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO; José Antonio SANZ; Wieczynski JONATA; Giancarlo LUCCA et al.
2021.
General admissibly ordered intervalvalued overlap functions.
In:
Ifsa/eusflat 2021 - the 19th world congress of the international fuzzy systems association the 12th conference of the european society for fuzzy logic and technology jointly with the agop; ijcrs; and fqas conferences.
Eslováquia.
-
Physical Sciences
Mathematics (miscellaneous)
Wieczynski JONATA; Giancarlo LUCCA; Eduardo N BORGES; Tiago Da Cruz ASMUS; Leonardo EMMENDORFER et al.
2021.
D-xc-integrals: on the generalization of the expanded form of the choquet integral by restricted dissimilarity functions.
In:
Ifsa/eusflat 2021 - the 19th world congress of the international fuzzy systems association the 12th conference of the european society for fuzzy logic and technology jointly with the agop; ijcrs; and fqas conferences.
Eslováquia.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Hélida SANTOS; Graçaliz Pereira DIMURO; Tiago Da Cruz ASMUS; Giancarlo LUCCA; Eduardo N BORGES et al.
2020.
General grouping functions.
In:
Information processing and management of uncertainty in knowledge-based systems - impu 2020.
Suiça.
-
Physical Sciences
Artificial Intelligence
Humberto BUSTINCE; Mesiar RADKO; Javier FERNÁNDEZ; Mikel GALAR; Daniel PATERNAIN et al.
2020.
Dissimilarity based choquet integrals.
In:
International conference on information processing and management of uncertainty in knowledge-based systems; ipmu 2020.
Suiça.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Mathematics (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Frederico B TIGGEMANN; Bryan G PERNAMBUCO; Giancarlo LUCCA; Eduardo N BORGES; Hélida SANTOS et al.
2020.
An alternative to power measure for fuzzy rule-based classification systems.
In:
Brazilian conference on intelligent systems.
Suiça.
-
Physical Sciences
Artificial Intelligence
Lucca GIANCARLO; Eduardo N BORGES; Hélida SANTOS; Graçaliz Pereira DIMURO; Tiago Da Cruz ASMUS et al.
2020.
A fuzzy reasoning method based on ensembles of generalizations of the choquet integral.
In:
Brazilian conference on intelligent systems.
Suiça.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Dias Camila ALVES; Bueno Jéssica C S; Eduardo N BORGES; Giancarlo LUCCA; Hélida SANTOS et al.
2019.
Simulating the behaviour of choquet-like (pre) aggregation functions for image resizing in the pooling layer of deep learning networks.
In:
Ifsa - world congress of international fuzzy systems association.
Suiça.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Hélida SANTOS; Bedregal BENJAMIN; Eduardo N BORGES; Eduardo Silva PALMEIRA et al.
2019.
On d-implications derived by grouping functions.
In:
Fuzzieee - ieee international conference on fuzzy systems.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Giancarlo LUCCA; José Antonio SANZ; Graçaliz Pereira DIMURO; Eduardo N BORGES; Hélida SANTOS et al.
2019.
Analyzing the performance of different fuzzy measures with generalizations of the choquet integral in classification problems.
In:
Fuzzieee - ieee international conference on fuzzy systems.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Taká ZDENKO; Javier FERNÁNDEZ; Javier FUMANAL; Marco Detchart CEDRIC; Inés COUSO et al.
2019.
Distances between interval-valued fuzzy sets taking into account the width of the intervals.
In:
Fuzzieee - ieee international conference on fuzzy systems.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Eduardo Silva PALMEIRA; Bedregal BENJAMIN; Graçaliz Pereira DIMURO.
2019.
E-operators on the extension of lattice-valued (u;n)-implications.
In:
Eusflat - conference of the european society for fuzzy logic and technology.
França.
-
Physical Sciences
Artificial Intelligence
Jéssica Camila Saldivia BUENO; Dias Camila ALVES; Graçaliz Pereira DIMURO; Hélida SANTOS; Eduardo N BORGES et al.
2019.
Aggregation functions based on the choquet integral applied to image resizing.
In:
Eusflat - conference of the european society for fuzzy logic and technology.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Humberto BUSTINCE; Graçaliz Pereira DIMURO.
2018.
Pre-aggregation functions and their role in fuzzy-rule based classification systems.
In:
14th international conference on fuzzy ser theory and applications - fsta 2018.
Eslováquia.
-
Social Sciences & Humanities
Education
Nelson De Farias TRAVERSI; Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Diana Francisa ADAMATTI.
2018.
Análise de dilemas em natyasastra: um sistema de resolução dramática para autorregulação de processos de trocas sociais em sistemas multiagentes.
In:
Workshop-escola de sistemas de agentes; seus ambientes e aplicações; wesaac 2108.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marco Detchart CEDRIC; Graçaliz Pereira DIMURO; Miquel Sesma SARA; A Castillo LOPES; Javier FERNÁNDEZ et al.
2018.
Consensus image feature extraction with ordered directionally monotone functions.
In:
Nafips 2018; 37th annual conference of the north american fuzzy information processing society.
Suiça.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Mesiar RADKO; Humberto BUSTINCE; Bedregal B; José Antonio SANZ et al.
2018.
Penalty-based functions defined by pre-aggregation functions.
In:
Ipmu 2018; 17th international conference on information processing and management of uncertainty in knowledge-based systems.
Suiça.
-
Physical Sciences
Mathematics (miscellaneous)
Hugo ZAPATA; Graçaliz Pereira DIMURO; Fernandez JAVIER; Humberto BUSTINCE.
2018.
T-overlap functions: a generalization of bivariate overlap functions by t-norms.
In:
Ipmu 2018: 17th international conference on information processing and management of uncertainty in knowledge-based systems.
Suiça.
-
Physical Sciences
Computer Science (miscellaneous)
Dias Camila ALVES; Bueno Jéssica C S; Eduardo N BORGES; Silvia Da Silva Costa BOTELHO; Graçaliz Pereira DIMURO et al.
2018.
Using the choquet integral in the pooling layer in deep learning networks.
In:
Nafips 2018; 37th north american fuzzy information processing society annual conference.
Suiça.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Mathematics (miscellaneous)
Jocivania PINHEIRO; Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO; Hélida SANTOS; Graçaliz Pereira DIMURO.
2018.
(t; n)-implications and some functional equations.
In:
Nafips 2018: north american fuzzy information processing society annual conference.
Suiça.
-
Life Sciences
Agricultural and Biological Sciences (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Everaldo De Avila Gomes JUNIOR; Odorico Machado MENDIZABAL; Graçaliz Pereira DIMURO.
2018.
Review of fuzzy job scheduling in cloud computing.
In:
Viii conferência sul em modelagem computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Education
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Giancarlo LUCCA; José Antonio SANZ; Graçaliz Pereira DIMURO; Bedregal B; Humberto BUSTINCE.
2017.
Analyzing the behavior of aggregation and pre-aggregation functions in fuzzy rule-based classification systems with data complexity measures.
In:
Eusflat-2017 ? the 10th conference of the european society for fuzzy logic and technology.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Humberto BUSTINCE; Javier FERNÁNDEZ; Mesiar RADKO; Anna KOLESÁROVÁ; Bedregal BENJAMIN et al.
2016.
The notion of pre-aggregation function.
In:
13th international conference on fuzzy set theory and applications - fsta 2016.
Eslováquia.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Humberto BUSTINCE; Javier FERNÁNDEZ; Laura De MIGUEL.
2016.
On fuzzy implications derived from overlap and grouping functions.
In:
13th international conference on fuzzy set theory and applications - fsta 2016.
Eslováquia.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Giancarlo LUCCA; José Antonio SANZ; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Humberto BUSTINCE.
2016.
Generalizing the choquet integral using copulas: an application to fuzzy rule-based classification systems.
In:
Xvii congreso español sobre tecnologías y lógica fuzzy (estylf).
Espanha.
-
Social Sciences & Humanities
General Social Sciences
Humberto BUSTINCE; Aranzazu JULIO; Daniel PATERNAIN; Mikel GALAR; Mikel ELKANI et al.
2016.
La noción de función pre-agregación.
In:
Xvii. congreso español sobre tecnologías y lógica fuzzy (estylf).
Espanha.
-
Social Sciences & Humanities
Education
Renata G WOTTER; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO; Lucas Tubino Bonifácio COSTA; Nelson De Farias TRAVERSI.
2016.
Um jogo dramático baseado na teoria do drama para autorregulação de processos de trocas sociais.
In:
X workshop-escola de sistemas de agentes; seus ambientes e aplicações ? x wesaac.
Brasil.
-
Physical Sciences
Computer Science Applications
Henrique Donâncio RODRIGUES; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO; Glenda Dimuro PETER; Esteban De Manuel JEREZ.
2016.
Modelo de reputação fuzzy aplicado a um sistema multiagente.
In:
X workshop-escola de sistemas de agentes; seus ambientes e aplicações ? x wesaac.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Humberto BUSTINCE; Javier FERNÁNDEZ; Giancarlo LUCCA et al.
2016.
New results on pre-aggregations functions.
In:
The 12th international flins conference.
Grã-Bretanha.
-
Social Sciences & Humanities
Visual Arts and Performing Arts
Renata G WOTTER; Lucas Tubino Bonifácio COSTA; Nelson De Farias TRAVERSI; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO.
2016.
A game of self-regulation of social exchange processes based in drama theory.
In:
Social simulation conference; ssc 2016.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Giancarlo LUCCA; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; José Antonio SANZ; Humberto BUSTINCE.
2016.
A copula-based generalization of the choquet integral for application in fuzzy rule-based classification systems: an alpha-genetic approach.
In:
Brazilian conference on intelligent systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Lucca GIANCARLO; Graçaliz Pereira DIMURO; José Antonio SANZ; Benjamín René Callejas BEDREGAL; Humberto BUSTINCE.
2016.
Pre-aggregation functions constructed by co-integrals applied in classication problems.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Life Sciences
Parasitology
Rodrigues Henrique Donâncio N; Adamatti DIANA; Graçaliz Pereira DIMURO; Glenda Dimuro PETER; Jerez Esteban De MANUEL.
2016.
Simulating reputation with regulatory policies: the case of san jerónimo vegetable garden; seville; spain.
In:
Paams 2016 - 14th international conference on practical applications of agents and multi-agent systems.
Alemanha.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Renata G WOTTER; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO.
2016.
Self-regulation of social exchange processes: a model based in drama theory.
In:
Paams 2016 - 14th international conference on practical applications of agents and multi-agent systems.
Alemanha.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Graçaliz Pereira DIMURO; Bedregal BENJAMÍN.
2015.
Fuzzy implications and the law of o-conditionality: the case of residual implications derived from overlap functions.
In:
M. baczynski; de baets and r. mesiar; eds.;8th international summer school on aggregation operators - agop 2015.
Polônia.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Hélida SANTOS; Lucélia LIMA; Bedregal BENJAMÍN; Graçaliz Pereira DIMURO; Marcus ROCHA et al.
2015.
Analyzing subdistributivity and superdistributivity on overlap and grouping functions.
In:
M. baczynski; . de baets and r. mesiar; eds.; 8th international summer school on aggregation operators - agop 2015.
Polônia.
-
Physical Sciences
Artificial Intelligence
Andressa Von LAER; Graçaliz Pereira DIMURO; Adamatti Diana F.
2015.
Analysing the influence of the cultural aspect in the self-regulation of social exchanges in mas societies: an evolutionary game-based approach.
In:
17th portuguese conference on artificial intelligence - epia 2015.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Stephanie Loi BRIÃO; Graçaliz Pereira DIMURO; Catia Maria Dos Santos MACHADO.
2015.
Interval fuzzy linear programming models to solve interval-valued fuzzy zero-sum games.
In:
6th world congress of the international fuzzy systems association (ifsa) and the 9th conference of the european society for fuzzy logic and technology (eusflat).
Alemanha.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Henrique Donâncio RODRIGUES; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO.
2015.
Modelagem de agentes bdi-fuzzy submetidos ao processo de reputação.
In:
Wesaac 2015 - workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Yunevda E Léon ROJAS; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO.
2015.
Transferência de confiança em trocas sociais entre tríades de agentes utilizando relações de dependência e reputação.
In:
Wesaac 2015 - workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Artificial Intelligence
Yunevda E Léon ROJAS; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO.
2015.
Trust transference on social exchanges among triads of agents based on dependence relations and reputation.
In:
2nd international workshop on smart simulation and modelling for complex systems (ssmcs2015)/ 24th international joint conference on artificial intelligence (ijcai 2015).
Argentina.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
-
Social Sciences & Humanities
Education
Andressa Von LAER; Graçaliz Pereira DIMURO; Diana Francisa ADAMATTI; Marilton Sanchotene De AGUIAR.
2014.
Autorregulação de processos de trocas sociais em sma: um modelo de sociedade de agentes bdi evolucionaários e culturais no contexto do jacamo.
In:
Oitavo workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Yunevda E Léon ROJAS; Graçaliz Pereira DIMURO; Diana Francisa ADAMATTI.
2014.
Trocas sociais em sistemas multiagentes: transferência de confiança com base na reputação e na relação de dependência.
In:
Oitavo workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Social Sciences & Humanities
Education
Henrique Donâncio RODRIGUES; Dimuro GLENDA; Graçaliz Pereira DIMURO; Adamatti Diana F; Esteban De Manuel JEREZ.
2014.
Trabalhando reputação em sma com a utilização de artefatos normativos.
In:
Oitavo workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Giancarlo LUCCA; José Antonio SANZ; Rogério VARGAS; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL et al.
2014.
Using t-norms for generalizing choquet integrals with an application to fuzzy rule-based classification systems.
In:
Iii cbsf - terceiro congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Giancarlo LUCCA; Rogério VARGAS; Graçaliz Pereira DIMURO; José Antonio SANZ; Humberto BUSTINCE et al.
2014.
Analysing some t-norm-based generalizations of the choquet integral for di↵erent fuzzy measures with an application to fuzzy rule-based classification systems.
In:
Encontro nacional de inteligência artificial e compitacional.
Brasil.
-
Physical Sciences
Energy Engineering and Power Technology
Fernanda Pinto MOTA; Felipe OMENA; Paulo CORDEIRO; Graçaliz Pereira DIMURO; Wagner ROSA et al.
2014.
Generating dierent scenarios of brazilian domestic electricity consumption using absslibrary tool.
In:
Bwss 2014: the fourth brazilian workshop on social simulation/5th world congress on social simulation (wcss 2014).
Brasil.
-
Physical Sciences
Computer Science Applications
Yunevda E Léon ROJAS; Henrique DONÂNCIO; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO.
2014.
Social exchange processes among triads of agents in multiagent systems.
In:
Bwss 2014: the fourth brazilian workshop on social simulation/5th world congress on social simulation (wcss 2014).
Brasil.
-
Physical Sciences
Artificial Intelligence
Thiago Fredes RODRIGUES; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2013.
A communication infrastructure based on artifacts for the jacamo platform.
In:
1st international workshop on engineering multi-agent systems (emas) at aamas 2013.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Leonardo Martins RODRIGUES; Denis FRANCO; José Carlos FACHINELLO; Graçaliz Pereira DIMURO.
2013.
An interval fuzzy logic-based system to predict pests in agriculture.
In:
Wcama 2013 - iv workshop de computação aplicada à gestão do meio ambiente e recursos naturais - 33o. congresso da sociedade brasileira de computação (csbc 2013).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Glenda Dimuro PETER; Esteban De Manuel JEREZ.
2013.
A bdi-fuzzy agent model for exchanges of non-economic services based on the social exchange theory.
In:
Vii workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Life Sciences
Ecology, Evolution, Behavior and Systematics
Flávia Cardoso Pereira Dos SANTOS; Henrique Donâncio RODRIGUES; Thiago Fredes RODRIGUES; Glenda Dimuro PETER; Diana Francisa ADAMATTI et al.
2013.
Integrating cartago artifacts for the simulation of the social production and management of urban ecosystems: the case of san jerónimo vegetable garden of seville; spain.
In:
Vii workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Life Sciences
Forestry
Henrique Donâncio RODRIGUES; Iverton SANTOS; Glenda Dimuro PETER; Graçaliz Pereira DIMURO; Diana Francisa ADAMATTI et al.
2013.
A mas for the simulation of normative policies of the urban vegetable garden of san jerónimo; seville; spain.
In:
Vii worshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
General Computer Science
Fernanda Pinto MOTA; Wagner ROSA; Silvia Da Silva Costa BOTELHO; Graçaliz Pereira DIMURO.
2013.
Simulating consumers energy profiles through multiagent systems.
In:
Vii workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Andressa Von LAER; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR.
2013.
Self-regulation of social exchange processes in mas: a cultural and evolutionary bdi agent society model.
In:
Vii workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Animal Science and Zoology
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Stephanie Loi BRIÃO; Graçaliz Pereira DIMURO; Catia Maria Dos Santos MACHADO.
2013.
Modelagem em programação linear para resolução de jogos fuzzy.
In:
Ii workshop-escola em informática teórica - weit 2013.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
-
Health Sciences
Psychiatry and Mental Health
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2012.
Regulation of social exchanges in open mas: the problem of reciprocal conversions between pomdps and hmms.
In:
Workshop on adaptive and learning agents - ala 2012 / aamas 2012 -11th international conference on autonomous agents and multiagent systems.
Espanha.
-
Social Sciences & Humanities
Education
Luís Felipe Kiesow De MACEDO; Murian RIBEIRO; Stephanie Loi BRIÃO; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO et al.
2012.
Simulação multiagente de uma abordagem evolutiva e espacial para o jogo do ultimato.
In:
Wesaac 2012 - vi workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Life Sciences
Ecology, Evolution, Behavior and Systematics
Flávia Cardoso Pereira Dos SANTOS; Glenda Dimuro PETER; Thiago Fredes RODRIGUES; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO et al.
2012.
Modelando a organização social de um sma para simulação dos processos de produção e gestão social de um ecossistema urbano: o caso da horta san jerónimo da cidade de sevilla; espanha.
In:
Wesaac 2012 - vi workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science Applications
Tauã M CABREIRA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
2012.
Planejamento de rotas de robôs móveis: estudo da viabilidade de uma abordagem baseada em algoritmos genéticos em um ambiente multiagente.
In:
Wesaac 2012 - vi workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Viviane Leite Dias MATTOS; Simone E ROSA; Graçaliz Pereira DIMURO.
2012.
Proposta de modelo de avaliação da satisfação de usuários de transporte público usando lógica fuzzy.
In:
Viii congresso nacional de excelência em gestão.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Antônio Carlos Da Rocha COSTA; Fernanda Pinto MOTA; Graçaliz Pereira DIMURO; Iverton SANTOS.
2012.
Um framework para simulação de políticas públicas aplicado ao caso da piracema; sob o olhar da teoria dos jogos.
In:
Encontro nacional de inteligência artificial - enia 2012.
Brasil.
-
Physical Sciences
Artificial Intelligence
Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO.
2012.
Uma ordem total para números fuzzy intervalares triangulares simétricos.
In:
Ii cbsf - segundo congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2012.
Um modelo de agente bdi-fuzzy para trocas de serviços não-econômicos baseado na teoria das trocas sociais de piaget.
In:
Ii cbsf - segundo congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Tauã M CABREIRA; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR.
2012.
Planejamento de rotas de robôs móveis em ambientes dinâmicos: uma abordagem utilizando algoritmos genéticos e lógica fuzzy.
In:
Ii cbsf - segundo congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Stephanie Loi BRIÃO; Graçaliz Pereira DIMURO.
2012.
Método de ordenação de números fuzzy intervalares: uma proposta.
In:
Ii cbsf - segundo congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO.
2012.
Uma ordem total para números fuzzy triangulares simétricos.
In:
Cnmac 2012 - xxxiv congresso brasileiro de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Jorge Luís Braga RIBES; Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO.
2012.
Sobre probabilidades fuzzy intervalares.
In:
Cnmac 2012 - xxxiv congresso brasileiro de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2012.
Um modelo de agentes bdi-fuzzy para trocas de serviços não-econômicos com base na teoria das trocas sociais.
In:
2012 conferência sul em modelagem computacional - mcsul.
Brasil.
-
Social Sciences & Humanities
Education
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2012.
Elementary social functions: concept and interrelation to social dependence relations.
In:
Bwss 2012 - the third brazilian workshop on social simulation.
Brasil.
-
Physical Sciences
Artificial Intelligence
Luís Felipe Kiesow De MACEDO; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Helder COELHO et al.
2012.
Analyzing the evolution of social exchange strategies in social preference-based mas through an evolutionary spatial approach of the ultimatum game.
In:
Bwss 2012 - the third brazilian workshop on social simulation.
Brasil.
-
Life Sciences
Ecology, Evolution, Behavior and Systematics
Flávia Cardoso Pereira Dos SANTOS; Thiago Fredes RODRIGUES; Glenda Dimuro PETER; Diana Francisa ADAMATTI; Graçaliz Pereira DIMURO et al.
2012.
Modeling role interactions in a social organization for the simulation of the social production and management of urban ecosystems: the case of san jerónimo vegetable garden of seville; spain.
In:
Bwss 2012 - the third brazilian workshop on social simulation.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Tauã M CABREIRA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
2012.
An evolutionary learning approach for robot path planning with fuzzy obstacle detection and avoidance in a multi-agent environment.
In:
Bwss 2012 - the third brazilian workshop on social simulation at bracis 2012.
Brasil.
-
Social Sciences & Humanities
Education
Simone E ROSA; Viviane Leite Dias MATTOS; Graçaliz Pereira DIMURO.
2012.
Um modelo conceitual fuzzy para análise do risco da avaliação de cursos de graduação.
In:
Ii cbsf - segundo congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Computer Networks and Communications
Leonardo Martins RODRIGUES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Leonardo EMMENDORFER.
2011.
Um modelo multiagente para carregamento compartilhado com prioridades em um terminal de conêineres: combinando o problema da mochila com pdms.
In:
V workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Social Sciences & Humanities
Social Sciences (miscellaneous)
Thiago Fredes RODRIGUES; Iverton SANTOS; Glenda Dimuro PETER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2011.
Modelando a organização social de um experimento de gestão social de hortas urbanas.
In:
V workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Mateus Madail SANTINI; Silvia Da Silva Costa BOTELHO; Fernanda Pinto MOTA; Celso Luiz Lopes RODRIGUES; Graçaliz Pereira DIMURO.
2011.
Interface experimental de fuzificação para o topobo.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Tiago Da Cruz ASMUS; Graçaliz Pereira DIMURO.
2011.
Probabilidade fuzzy em jogos bayesianos.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luís Felipe Kiesow De MACEDO; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
2011.
Sobre sistemas híbridos: algoritmos genéticos e abordagens fuzzy.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Simone A COSTA; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2011.
Towards developmental turing machines.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Stephanie Loi BRIÃO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2011.
Um estudo para uma proposta de modelos de tomada de decisão em interações estratégicas para sistemas multiagentes em ambientes de informação imperfeita.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Jorge Luís Braga RIBES; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR.
2011.
Um estudo sobre vetores e matrizes de números fuzzy.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2011.
Um modelo de agentes bdi-fuzzy para trocas de serviços não-econômicos com base na teoria das trocas sociais.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Leonardo Martins RODRIGUES; Graçaliz Pereira DIMURO.
2011.
Utilizando lógica fuzzy para avaliar a qualidade de uma compra via internet.
In:
Weit 2011 - workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Education
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2010.
Agentes bdi com percepção fuzzy na simulação de um modelo presa-predador fuzzy.
In:
Workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Social Sciences & Humanities
Education
Alexandre HÜBNER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Viviane Leite Dias MATTOS; Suélen HERNANDES et al.
2010.
Introdução da dimensão dialógica no moise+; com aplicação na modelagem de processos de gestão em uma universidade comunitária.
In:
Workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Biomedical Engineering
Carlos Eduardo SILVA; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2010.
Especificando rotinas organizacionais de sistemas multiagentes: detecção de desvios com base no conceito de expectativas.
In:
Workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Simone E ROSA; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2010.
Estendendo o modelo de organização de sistemas multiagentes poporg com unidades organizacionais recursivas.
In:
Workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2010.
Um modelo híbrido de agente bdi-fuzzy.
In:
Workshop-escola de sistemas de agentes; seus ambientes e aplicações.
Brasil.
-
Social Sciences & Humanities
Philosophy
Alexandre HÜBNER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Viviane Leite Dias MATTOS.
2010.
A dialogic dimension for the moise+ organizational model.
In:
The multi-agent logics; languages; and organisations federated workshops (mallow 2010)/languages; methodologies and development tools for multi-agent systems (lads 2010).
França.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2010.
Bdi agents with fuzzy perception for simulating decision making in environments with imperfect information.
In:
The multi-agent logics; languages; and organisations federated workshops (mallow 2010)/workshop on multi-agent systems and simulation (mas&s).
França.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2010.
Bdi agents with fuzzy perception.
In:
V workshop on msc dissertation and phd thesis in artificial intelligence/joint cinference sbia/sbrn/jri 2010.
Brasil.
-
Social Sciences & Humanities
Sociology and Political Science
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Luciano Vargas GONÇALVES.
2010.
Recognizing and learning observable social exchange strategies in open societies.
In:
Second brazilian workshop on social simulation (bwss 2010) at joint conferences xx sbia/xi sbrn/iv jri.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Luiz MUSSI.
2010.
Sobre números fuzzy intervalares.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2010.
An interactional characterization of social functions.
In:
Second brazilian workshop on social simulation - bwss 2010 at joint conference sbia/sbrn/jri 2010.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Leonardo Martins RODRIGUES; Graçaliz Pereira DIMURO.
2010.
Agentes compartilhando recursos utilizando processos de decisão de markov.
In:
4th southern conference on computational modeling/ix encontro regional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Ecology, Evolution, Behavior and Systematics
Thiago Fredes RODRIGUES; Glenda Dimuro PETER; Cibele Von GROL; Thiago Vinicius PINHEIRO; Graçaliz Pereira DIMURO et al.
2010.
Simulação baseada em agentes de processos de gestão social de ecossistemas urbanos: o caso das hortas urbanas da cidade de sevilla.
In:
4th southern conference on computational modeling/ix encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luís Felipe Kiesow De MACEDO; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Viviane Leite Dias MATTOS.
2010.
Uma proposta de modelo híbrido com agentes evolutivos bdi-fuzzy-intervalares.
In:
4th southern conference on computational modeling/ix encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Jorge Luís Braga RIBES; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Viviane Leite Dias MATTOS.
2010.
Tomando decisões em um ambiente de informação imperfeita: introdução de probabilidades fuzzy (intervalares) em um modelo híbrido de agente bdi-mdp.
In:
4th southern conference on computational modeling/ix encontro regional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2009.
Introducing social groups and group exchanges in the poporg model.
In:
The 8th international conference on autonomous agents and multiagent systems.
Hungria.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2009.
Toward a semantical model of organization growth for multiagent systems.
In:
Computability in europe 2009: mathematical theory and computational practice.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2009.
An approach to interval-valued r-implications and automorphisms.
In:
International fuzzy systems association world congress/european society for fuzzy logic and technonoly conference 2009.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; André Vinicius Dos SANTOS; Benjamín René Callejas BEDREGAL; Antônio Carlos Da Rocha COSTA.
2009.
Fuzzy evaluation of social exchanges between personality-based agents.
In:
14th portuguese conference on artificial intelligence - epia'2009/social simulation and modelling - ssm.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Julie DUGDALE; Yves DEMAZEAU.
2009.
A formal notion of objective expectations in the context of multiagent systems routines.
In:
14th portuguese conference on artificial intelligence - epia'2009/multi-agent systems: theory and applications - masta 2009.
Portugal.
-
Physical Sciences
Computer Networks and Communications
Luciano Vargas GONÇALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2009.
A integração de hmms e pomdps; com aplicação na simulação de trocas sociais em sistemas multiagentes.
In:
Xxxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO.
2009.
Analyzing the relations between interval-valued d-implications and interval-valued ql-implications.
In:
Xxxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Renata Luiz MUSSI; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL.
2009.
Números fuzzy intervalares.
In:
Xxxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Alexandre HÜBNER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2009.
Estendendo o modelo organizacional moise+ com a dimensão dialógica.
In:
The 3rd southern conference on computational modeling.
Brasil.
-
Physical Sciences
Computer Science Applications
Frederico SILVA; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR.
2009.
Um sistema fuzzy para auxílio ao diagnóstico da densidade mineral óssea.
In:
The 3rd southern conference on computational modeling.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2009.
Um modelo de percepção fuzzy para agentes bdi.
In:
The 3rd southern conference on computational modeling.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2008.
Introducing service schemes and systems organization in the theory of interactive computation.
In:
Fourth conference on computability in europe: logic and theory of algorithms.
Grécia.
-
Social Sciences & Humanities
Language and Linguistics
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO.
2008.
Interval valued d-implications.
In:
Xxxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Vinicius Dos SANTOS; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL.
2008.
Avaliação fuzzy de trocas sociais entre agentes baseados em personalidades.
In:
Xxxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Vinicius Dos SANTOS; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL.
2008.
Avaliação fuzzy de trocas sociais em sistemas multiagentes baseados em personalidades.
In:
Ii workshop-escola de sistemas de agentes para sistemas colaborativos.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Rodrigues PEREIRA; Luciano Vargas GONÇALVES; Graçaliz Pereira DIMURO.
2008.
Construção de planos bdi a partir de políticas ótimas de pomdps; com aplicação na programação em agentspeak usando o jason.
In:
Ii workshop escola de sistemas de agentes para ambientes colaborativos.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luciano Vargas GONÇALVES; Diego Rodrigues PEREIRA; Graçaliz Pereira DIMURO.
2008.
Auto-regulação de trocas sociais baseadas em personalidades em sistemas multiagentes.
In:
Ii workshop-escola de sistemas de agentes para ambientes colaborativos.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Benjamín René Callejas BEDREGAL; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2008.
Xor-implications and e-implications: classes of fuzzy implications based on fuzzy xor.
In:
Third workshop on logical and semantic frameworks; with applications.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO.
2008.
Analyzing the relations between interval-valued d-implications; ql-implications and automorphisms.
In:
13th gamm - imacs international symposium on scientific computing; computer arithmetic and verified numerical computations.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Rodrigues PEREIRA; Luciano Vargas GONÇALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2008.
Constructing bdi plans from optimal pomdp policies; with an application to agentspeak programming.
In:
(g. p. henning; m. r. galli y s. goneet; eds.) xxxiv conferência latinoamericano de informática.
Alemanha.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Diego Rodrigues PEREIRA; Luciano Vargas GONÇALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2008.
Contrasting two regulation mechanisms for personality-based social exchange processes.
In:
Sbia 2008 / bwss 2008 - 1st brazilian workshop on social simulation.
Brasil.
-
Social Sciences & Humanities
Education
André Vinicius Dos SANTOS; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL.
2008.
Valores de trocas sociais fuzzy em agentes com personalidades.
In:
Vii simpósio de informática da região centro do rs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Vinicius Dos SANTOS; Graçaliz Pereira DIMURO.
2008.
Avaliação fuzzy de trocas sociais em sistemas multiagentes baseados em personalidades.
In:
Iv workshop on msc dissertation and phd thesis in artificial intelligence (wtdia).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Rodrigues PEREIRA; Graçaliz Pereira DIMURO.
2008.
Building bdi plans from pomdp's optimal policies; with an application to the self-regulation of social exchanges in multi-agent systems.
In:
Vi best msc dissertation/phd thesis contest (ctdia).
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2007.
Towards a domain-theoretic model of developmental machines.
In:
Computation and logic in the real world - the third conference on computability in europe; cie 2007.
Itália.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2007.
The best interval representation of fuzzy s-implications and automorphisms.
In:
Fuzz- ieee 2007 - ieee international conference on fuzzy systems.
Estados Unidos.
-
Social Sciences & Humanities
Linguistics and Language
-
Physical Sciences
Artificial Intelligence
Diego Rodrigues PEREIRA; Graçaliz Pereira DIMURO.
2007.
Um algoritmo para extração de um plano bdi que obedece uma política mdp ótima.
In:
Workshop - escola de sistemas de agentes para ambientes colaborativos.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luciano Vargas GONÇALVES; Graçaliz Pereira DIMURO.
2007.
Mecanismo para regulação de interações entre agentes baseados em personalidades.
In:
Workshop - escola de sistemas de agentes para ambientes colaborativos.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO.
2007.
Analisando trocas sociais baseadas em personalidades através de cadeias de markov intervalares.
In:
Workshop - escola de sistemas de agentes para ambientes colaborativos.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2007.
On the notion of developmental computing machine.
In:
Xxxiv seminário integrado de software e hardware.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2007.
Sketching an abstract model of development for information processing mechanisms.
In:
Congresso ibero-americano de inovação tecnológica e áreas estratégicas; ii workshop em nanotecnologia e computação inspirada na biologia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Luciano Vargas GONÇALVES; Alexandre HÜBNER.
2007.
Interval-valued hidden markov models for recognizing personality traits in social exchanges in open multiagent systems.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Vinicius Dos SANTOS; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL.
2007.
Utilizando a lógica fuzzy na avaliação de trocas sociais.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Hélida SANTOS; Roberto Callejas BEGREGAL.
2007.
S-implications on bounded lattices and the interval constructor.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2007.
Semantical concepts for a formal structural dynamics of situated multiagent systems.
In:
Workshop on coordination; organization; institutions and norms in agent systems (coin) at mallow'007 multi-agent logics; languages; and organizations federated workshops.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Developmental and Educational Psychology
Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2007.
Interval valued r-implications and automorphisms.
In:
Second workshop on logical and semantic frameworks; with applications.
Holanda.
-
Physical Sciences
Computer Science (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2007.
Toward a model for the programming of quantum movements in nanosystems.
In:
2o. workshop-escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Rogério VARGAS; Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO.
2007.
Incerteza de dados em fluxo de carga: uma abordagem usando a matemática intervalar.
In:
Xxx congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alexandre HÜBNER; Graçaliz Pereira DIMURO.
2007.
Uma implementação em python de modelos ocultos de markov intervalares; para aplicação em simulação social.
In:
Xxx congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Parente FARIAS; Graçaliz Pereira DIMURO.
2007.
Utilizando cadeias de markov intervalares para analisar trocas sociais baseadas em personalidades em sistemas multiagentes.
In:
Xxx congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO.
2006.
Fluxo de potência com incerteza de carga e geração - uma abordagem baseada na matemática intervalar.
In:
Vii conferência internacional de aplicações industriais.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL.
2006.
Recognizing hand gestures using a fuzzy rule-based method; and representing them with hamnosys.
In:
Second workshop on the representation and processing of sign languages: lexicographic matters and didactic scenarios; the fifth international conference on language resources and evaluation; lrec 2006.
Itália.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2006.
Quantifying degrees of dependence in social dependence relations.
In:
Seventh international workshop on multi-agent-based simulation; mabs'06; at fifth joint international conference on autonomous agents and multiagent systemas; aamas 2006.
Japão.
-
Physical Sciences
Mathematics (miscellaneous)
Olga KOSHELEVA; Max SHPAK; Marcília Andrade CAMPOS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2006.
Computing linear and nonlinear normal modes under interval (and fuzzy) uncertainty.
In:
The north american fuzzy information processing society annual conference; nafips 2006.
Canadá.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Luciano Vargas GONÇALVES; Alexandre HÜBNER.
2006.
Centralized regulation of social exchanges between personality-based agents.
In:
Coordination; organization; institutions and norms in agent systems (coin 2006) at 17th european conference on artificial intelligence (ecai 2006).
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Pablo Souza GRIGOLETTI; Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA.
2006.
Módulo python para matemática intervalar.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Benjamín René Callejas BEDREGAL; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2006.
Fuzzy rule-based hand gestures recognition for sign language processing.
In:
Workshop on computacional intelligence in (wci'06) in international joint conference; 10th ibero-american artificial intelligence conference; 18th brazilian artificial intelligence symposium; 9th brazilian neural networks symposium; iberamia-sbia-sbrn.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Benjamín René Callejas BEDREGAL; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2006.
Hand gesture recognition in an interval fuzzy approach.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Luciano Vargas GONÇALVES; Alexandre HÜBNER.
2006.
Applying interval-valued hidden markov models for recognizing personality traits in multiagent systems.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Luciano Vitória BARBOZA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
2006.
Interval analysis of the load flow problem implemented in c-xsc.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Juliana Kaiser VIZZOTTO; Graçaliz Pereira DIMURO.
2006.
Introducing quantum graphs for the semantic modelling of quantum programs.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Regivan Hugo Nunes SANTIAGO; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2006.
Properties of fuzzy implications obtained via the interval constructor.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rafael Krolow Santos SILVA; Marilton Sanchotene De AGUIAR; César De ROSE; Graçaliz Pereira DIMURO.
2006.
An extension of the hpc-ictm geographical categorization model for grid computing.
In:
12th gamm - imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Alemanha.
-
Physical Sciences
Computer Networks and Communications
Luciano Vitória BARBOZA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
2006.
A c-xcs system for the interval analysis of the load flow problem.
In:
12th gamm - imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2006.
Interval fuzzy rule-based hand recognition.
In:
12th gamm - imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Regivan Hugo Nunes SANTIAGO.
2006.
Analysing some properties of fuzzy implications obtained via the interval constructor.
In:
12th gamm - imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Alemanha.
-
Physical Sciences
Mathematics (miscellaneous)
Antônio Carlos Da Rocha COSTA; Juliana Kaiser VIZZOTTO; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2006.
Introducing intervals and more complex geometrical objects into quantum computing.
In:
12th gamm - imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Luciano Vargas GONÇALVES; Alexandre HÜBNER; Luciano Vitória BARBOZA et al.
2006.
Interval-valued hidden markov models for recognizing personality traits in social exchanges in open multiagent systems.
In:
12th gamm - imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Juliana Kaiser VIZZOTTO; Renata Hax Sander REISER.
2006.
Towards a quantum computational geometry.
In:
Workshop-escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Life Sciences
Neuroscience (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2005.
Interactive computation: stepping stone in the pathway from classical to developmental computation.
In:
European joint conferences on theory and practice of software 2005/workshop on the foundations of interactive computation.
Escócia.
-
Social Sciences & Humanities
Developmental and Educational Psychology
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2005.
Interval mathematics applied to the load flow analysis.
In:
17th imacs world congress - scientific computation; applied mathematics and simulation.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2005.
Exchange values and self-regulation of exchanges in multi-agent systems: the provisory; centralized model.
In:
Fourth international joint conference on autonomous agents and multiagent systems/ws16 engeneering self-organization applications esoa 2005.
Holanda.
-
Physical Sciences
Mathematics (miscellaneous)
Svetoslav MARKOV; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2005.
On the relation inclusion of zonotopes in the plane.
In:
Thirty fourth spring conference of the union of bulgarian mathematicians.
Bulgária.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2005.
Qualitative markov decision processes and the coordination of social exchanges in multi-agent systems.
In:
Workshop on game theoretic and decision theoretic agents gtdt 2005/international joint conferences in artificial inteligence ijicai 2005.
Escócia.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Pablo Souza GRIGOLETTI; Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA; Renata Hax Sander REISER.
2005.
Análise intervalar de circuitos elétricos.
In:
Xxviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
André Vinicius Dos SANTOS; Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA et al.
2005.
Probabilidades intervalares em modelos ocultos de markov.
In:
Xxviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2005.
Objective degrees of dependence in social dependence relations.
In:
12th portuguese conference on artificial intelligence.
Portugal.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Vladik KREINOVICH.
2004.
Modelling measurements as timed information processes in simplex domains.
In:
10th imeko tc 7 international symposium advances on measurement science.
Rússia.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Marilton Sanchotene De AGUIAR.
2004.
The distributed version of the interval geometric machine.
In:
Workshop on state-of-the-art in scientific computing/mini-symposium on interval methods.
Dinamarca.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2004.
Interval-based markov decision processes for planning interactions in multi-agent systems.
In:
Workshop on state-of-the-art in scientific computing/mini-symposium on interval methods.
Dinamarca.
-
Physical Sciences
Computer Science (miscellaneous)
Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Rafael Krolow Santos SILVA; Vladik KREINOVICH.
2004.
Hpc-ictm: the interval categorizer tesselation-based model for high performance computing.
In:
Workshop on state-of-the-art in scientific computing/mini-symposium on interval methods.
Dinamarca.
-
Social Sciences & Humanities
Language and Linguistics
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Juliano Baldez De FREITAS.
2004.
A sign matching technique to support searches in sign language texts.
In:
4th international conference on language resources and evaluation/workshop on the representation and processing of sign languages.
Portugal.
-
Physical Sciences
Engineering (miscellaneous)
Pablo Souza GRIGOLETTI; Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA; Renata Hax Sander REISER; José Ubirajara Nunez De NUNES.
2004.
Fca: uma ferramenta livre para análise de circuitos elétricos.
In:
Workshop de software livre 2004.
Brasil.
-
Physical Sciences
Energy Engineering and Power Technology
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2004.
Towards interval analysis of the load uncertainty in power electric systems.
In:
8th international conference on probability methods applied to power systems.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
The case for using exchange values in the modelling of collaborative learning interactions.
In:
7th international conference on intelligent tutoring systems/2nd international workshop on designing computational models of collaborative learning interaction.
Brasil.
-
Social Sciences & Humanities
Statistics, Probability and Uncertainty
Vladik KREINOVICH; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Olga KOSHELEVA; Scott A STARKS et al.
2004.
From intervals to domains: a general description of validated uncertainty; with applications to geospacial and meteorological data.
In:
11th gamm-imacs international symposium on scientific computing; computer arithmetic; and validated numerics.
Japão.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
The quantum geometric machine model.
In:
11th gamm-imacs international symposium on scientific computing; computer arithmetic; and validated numerics.
Japão.
-
Social Sciences & Humanities
Education
Diego Lemos De SOUZA; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
Descrevendo as ferramentas disponíveis no ambiente de ensino ensinet.
In:
Xix taller internacional de software educativo.
Chile.
-
Life Sciences
Cognitive Neuroscience
Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Rafael Krolow Santos SILVA; Fábia Amorim Da COSTA et al.
2004.
The multi-layered interval categorizer tesselation-based model.
In:
Vi brazilian symposium geoinformatics.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Antônio Carlos Da Rocha COSTA; Juliana Kaiser VIZZOTTO; Graçaliz Pereira DIMURO.
2004.
Teoria dos domínios e computação quântica.
In:
Xxvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2004.
Markov decision processes based on interval mathematics and its applications.
In:
Xxvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
History and Philosophy of Science
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2004.
Information fusion processes under a domain approach.
In:
Xxvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luiz Antônio Moro PALAZZO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Fernando SCHIRMBECK.
2004.
Real-life learning in virtual communities of technology.
In:
Ifip information and communication technologies and real life learning.
Austrália.
-
Physical Sciences
Atomic and Molecular Physics, and Optics
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2003.
Fluxo de potência com incerteza de carga.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Especificando um ambiente visual para utlizar a programação funcional na máquina geométrica.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcília Andrade CAMPOS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2003.
Quantificando e qualificando a informação.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Vector coherence spaces.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2003.
Simplex and simplicial complex domains to model sensor data fusion.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA.
2003.
The distributed geometric machine.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2003.
The stochastic geometric machine.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Vieira PALAZZO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Proposta de um sistema de manipulação de valores de troca para o ambiente ensinet.
In:
Vii oficina de inteligência artificial.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Programação visual.
In:
Vii oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Diego Lemos De SOUZA; Antônio Carlos Da Rocha COSTA.
2003.
Uma ferramenta para criação de hipertextos na forma de cursos para a web.
In:
Vii oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Vladik KREINOVICH; Hung T NGUYEN; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Benjamín René Callejas BEDREGAL.
2003.
A new differential formalism for interval-valued functions and its potential use in detecting 1-d landscape features.
In:
International conference on intelligent technologies 2003.
Tailândia.
-
Social Sciences & Humanities
Language and Linguistics
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Signwriting and swml: paving the way to sign language processing.
In:
Traitement automatique des langues naturelles/workshop on natural language processing of minority languages and small languages.
França.
-
Social Sciences & Humanities
Education
Eduardo Nunes BASTOS; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Ensinet: uma solução software livre para apoio ao ensino semi-presencial utilizando a internet.
In:
Iv workshop de software livre.
Brasil.
-
Physical Sciences
General Computer Science
Rafael Krolow Santos SILVA; Fábia Amorim Da COSTA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2003.
Uma ferramenta baseada em autômatos celulares intervalares para para a categorização de áreas geográficas conforme a declividade do relevo.
In:
I workshop de tecnologia da informção aplicada ao meio ambiente/iii congresso brasileiro de computação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Marcos Borba CARDOSO.
2003.
Specifying the geometric machine visual language.
In:
The 2003 ieee symposium on visual languages and formal methods.
Nova Zelândia.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
A programming language for the interval geometric machine.
In:
10th wokshop on logic; language; information and computation.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rafael Krolow Santos SILVA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Fábia Amorim Da COSTA; Antônio Carlos Da Rocha COSTA.
2003.
Topo-ictm: uma ferramenta para categorização topográfica baseada no modelo de tesselação intervalar bidimensional.
In:
Xxix conferencia latinoamericana de informatica.
Bolívia.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Hax Sander REISER; Marcos Borba CARDOSO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Utilizando a programação visual no modelo de máquina geométrica.
In:
Xxi x conferência latinoamericana de informática.
Bolívia.
-
Physical Sciences
Artificial Intelligence
Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Fábia Amorim Da COSTA; Antônio Carlos Da Rocha COSTA.
2003.
An interval tesselation-based model for reliable topographic segmentation.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Graçaliz Pereira DIMURO; Luiz Antônio Moro PALAZZO; Antônio Carlos Da Rocha COSTA; Raquel M MIRANDA.
2002.
Sites internos adapatativos para o sistema ensinet.
In:
Iii workshop de software livre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2002.
Towards an automata-based navigational model for the specification of web sites.
In:
5th workshop on formal methods.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rafael TORCHELSEN; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
Editor para línguas de sinais escritos em sign writing.
In:
V symposium on human factors in computer systems.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
A bi-dimensional categorizer interval cellular automata model for the analysis of the declivity of topographical regions.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2002.
Probabilistic coherence spaces.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Physical Sciences
Artificial Intelligence
Marcília Andrade CAMPOS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
Interval probabilities with an application to interval markov chains.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2002.
The interval geometric machine model.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Social Sciences & Humanities
Education
Luiz Antônio Moro PALAZZO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Fernando SCHIRMBECK.
2002.
Comunidades virtuais de formação tecnológica: fundamentação pedagógica e metodologia de construção.
In:
Simpósio brasileiro de informática na educação.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
The interval geometric machine.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2002.
Introducing probabilistic coherence spaces.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2002.
Um modelo de autômato celular intervalar categorizador bi-dimensional para a análise da declividade de regiões topográficas.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Marcília Andrade CAMPOS; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
Towards interval markov models.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Gleifer Vaz ALVES; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
A theorem prover as an application example of monads.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Rafael TORCHELSEN; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
Editor em lingua de sinais escritos em signwriting.
In:
Xxviii conferencia latinoamericana de informática.
Uruguai.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Paulo L R SOUZA.
2002.
Modelos de markov e aplicações.
In:
Vi oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
Uma estrutura normativa para sistemas computacionais.
In:
Vi oficina de inteligência artificial.
Brasil.
-
Physical Sciences
General Physics and Astronomy
Rafael Krolow Santos SILVA; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
Implementação do modelo de autômatos celulares para análise da monotonicidade da declividade de áreas geofísicas.
In:
Encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Vieira PALAZZO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2002.
Um estudo sobre a representação de campos vetoriais com autômatos celulares.
In:
Encontro regional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
Supporting deaf sign languages in written form on the web.
In:
10th world wide web conference.
China.
-
Physical Sciences
Computer Science (miscellaneous)
Raquel Mello De MIRANDA; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
Um ambiente de suporte ao ensino integrado dos fundamentos matemáticos da ciência da computação utilizando o zope.
In:
Workshop de software livre 2001.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
Um editor de provas para a lógica proposicional.
In:
Xxvii conferência latinoamericana de informatica -.
Venezuela.
-
Physical Sciences
Mathematics (miscellaneous)
Rubia M DENARDI; Graçaliz Pereira DIMURO; Ana Amélia FAGUNDES; Marco Antônio F LESSA.
2001.
Laboratório computacional de física: uma experiência de ensino integrado de matemática numérica e física em engenharia.
In:
Xxvii conferencia latinoamericana de informatica.
Venezuela.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
Study of a theorem prover.
In:
Xxiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Marcília Andrade CAMPOS; Graçaliz Pereira DIMURO; João Francisco Fadrique ARAÚJO.
2001.
Probabilidade intervalar no maple.
In:
Xxiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele ISLABÃO; Daniel Lopes RODRIGUES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
Definição de uma linguagem de programação baseada no modelo de espaços coerentes para processos concorrentes.
In:
Xxiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
The geometric machine model.
In:
Xxiv congressos nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2001.
Um ambiente integrado para o ensino e pesquisa em matemática intervalar.
In:
Xxiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Raquel Mello De MIRANDA; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
Ensinet: um ambiente de suporte ao ensino integrado dos fundamentos matemáticos da computação.
In:
Xxiv congressos nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
Conceitos para um modelo de trocas para a análise da dinâmica das interações em ambienetes cooperativos.
In:
V oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Networks and Communications
Marcelo Da Silveira SIEDLER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
Criação do controle activex sw-control e sua utilização no software swmail.
In:
V oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Vieira PALAZZO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
Autômatos celulares: fundamentos e aplicações.
In:
V oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele ISLABÃO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
Definição de uma linguagem de programação baseada no modelo de espaços coerentes para processos concorrentes.
In:
V oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Vladik KREINOVICH; Antônio Carlos Da Rocha COSTA; Marcília Andrade CAMPOS.
2000.
A natural general approach to uncertainty (including interval uncertainty) and its relation to domain theory and simplicial complexes.
In:
9th gamm/imacs international symposium on scientific computing; computer arithmetic and validated numerics/international conference on interval methods in science and engineering.
Alemanha.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2000.
Coherent space semantics of interval computation processes.
In:
Scan 2000 - 9th gamm - imacs international symposium on scientific computing; computer arithmetic; and validated numerica - e interval 2000- international conference on interval methods in science and engineering.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Gleifer Vaz ALVES; Raquel Mello De MIRANDA; Márcia Häfele ISLABÃO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA et al.
2000.
Materiais didáticos interativos para o ensino integrado dos fundamentos da computação.
In:
Clei 2000 - conferencia latinoamericana de informatica.
México.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
A first attempt at giving a domain-theoretic model for machine development.
In:
Wait 2000 - workshop argentino de informática/xxix jornadas argentinas de informática e investigación operativa.
Argentina.
-
Physical Sciences
Computer Science (miscellaneous)
Gleifer Vaz ALVES; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Glaucius Décio DUARTE.
2000.
An interactive book and a proof editor for propositional logic.
In:
Xxiii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Glaucius Décio DUARTE.
2000.
Implementando um editor de provas para a lógica proposicional.
In:
Cricte 2000 - congresso regional de iniciação científica e tecnológica em engenharia.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Deriving descendant algebras from the unary system category.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Glaucius Décio DUARTE; Francisco De Paula Marques RODRIGUES; Dalcidio Moraes CLAUDIO et al.
1999.
Ensino integrado dos fundamentos matemáticos da ciência da computação.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER; Dalcidio Moraes CLAUDIO.
1999.
Representing r and ir in coherence spaces.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1999.
A construção de representações globais em espaços coerentes bi-estruturados; com aplicação em computação científica.
In:
Xxv conferencia latinoamericana de informatica.
Paraguai.
-
Physical Sciences
Computer Science (miscellaneous)
Gustavo Passos TOURINHO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Ensino integrado de algoritmos e programação via maple.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Trabalhando com polimorfismo e reuso de código na linguagem funcional haskell.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Uma implemetação dos operadores da lógica linear em haskell.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Giovani Pio MAXIMILA; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
O ensino de lógica formal para a computação usando a notação do sistema z.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Raquel Mello De MIRANDA; Márcia Häfele ISLABÃO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Ensino interativo de estruturas algébricas e ordenadas com a utilização do software maple.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Glaucius Décio DUARTE.
1999.
Uma ferramenta para a prova interativa na lógica proposicional.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Juliana Kaiser VIZZOTTO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Uma calculadora para aritmética real recursiva.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Mônica Xavier PY; Graçaliz Pereira DIMURO; Glaucius Décio DUARTE.
1999.
Álgebra linear: um enfoque computacional de integração.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
1999.
A biblioteca mat-int: utlizando a matemática intervalar no controle de erros.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1999.
A bi-structured coherence space for a global representation of the system ir of real intervals.
In:
International conference on information technology cit'99.
Índia.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Deriving mu-recursive functions from some categories of unary systems.
In:
Ii workshop on formal methods/ xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
André Rauber Du BOIS; Ederson M ARAUJO; Rubem Gerardo SCHNEIDER; Graçaliz Pereira DIMURO.
1998.
Comparando algoritmos funcionais e imperativos.
In:
V encontro regional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Jorge H P Pereira JUNIOR; Márcia Häfele ISLABÃO; Raquel M MIRANDA; Graçaliz Pereira DIMURO.
1998.
Estudo das técnicas de demonstração de teoremas.
In:
V encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Juliana K VIZZOTO; Maíra R RODRIGUES; Rubem G SCHNEIDER; Graçaliz Pereira DIMURO.
1998.
Um estudo sobre a definição recursiva da aritmética dos número naturais.
In:
V encontro regional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Rafael ACCORSI; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Lógica linear e espaços coerentes - procedimentos e algoritmos.
In:
V encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Juliana K VIZZOTO; Antônio Carlos Da Rocha COSTA; Rubem Gerardo S SCHNEIDER; Graçaliz Pereira DIMURO.
1998.
Um estudo sobre indução e recursão nos número naturais.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA; Rubem Gerardo S SCHNEIDER; Graçaliz Pereira DIMURO.
1998.
Listas em haskell.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Ederson M ARAÚJO; Antônio Carlos Da Rocha COSTA; Rubem Gerardo S SCHNEIDER; Graçaliz Pereira DIMURO.
1998.
Um estudo sobre a relação entre a lógica intervalar e o cálculo lâmbida.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
Indução e recursão na categoria dos sistemas unários.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Uma estrutura de medidas intervalares generalizada.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
Uma visão da computação como construção interativa.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Raquel M MIRANDA; J H P Pereira JR; Márcia Häfele ISLABÃO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Estudo das técnicas de demonstração de teoremas com aplicações no maple.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rafael ACCORSI; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Uma definição algoritmica para os operadores da lógica linear.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Simone A COSTA; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
Utilizando o maple na matemática intervalar.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele ISLABÃO; Maíra R RODRIGUES; Renata G WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Um estudo para implementação de construçãoe em espaços coerentes.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
A topological characterization for the bi-structured interval coherence space.
In:
I workshop brasileiro de métodos formais.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
A categorical study of primitive recursion on natural numbers.
In:
I workshop brasileiro de métodos formais.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1998.
A measure system for the bi-structured coherence space of rational intervals.
In:
Iv international conference on intervals methods and their application on global optimization.
China.
-
Physical Sciences
Artificial Intelligence
Rafael ACCORSI; Rubem G S SELLANES; Graçaliz Pereira DIMURO.
1997.
Lógica linear - uma visão computacional.
In:
Xx congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1997.
Bi-structured coherence spaces and global constructive representation of data types for scientific computation.
In:
I workshop sobre métodos formais e qualidade de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1997.
Uma caracterização topológica para os espaços coerente intervalar bi-estruturado.
In:
Xx congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Dalcidio Moraes CLAUDIO.
1997.
Representações de funções no espaço coerente bi-estruturado iiq.
In:
I workshop sobre métodos formais e qualidade de software.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1997.
Representação de funções em espaços coerentes bi-estruturados.
In:
Xx congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO; Renata Hax Sander REISER.
1997.
Representing data types for scientific computation using bi-structured coherence spaces.
In:
Iii workshop on computation and approximation.
Inglaterra.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1997.
Bi-structured coherence spaces and global constructive representation of r.
In:
First brazil joint usa workshop on formal foundations of software systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1997.
Global representation of second order ordered systems.
In:
Second brazil joint usa workshop on formal foundations of software systems.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Dalcidio Moraes CLAUDIO.
1997.
The recursive functions on bi-structured coherence spaces.
In:
Second brazil joint usa workshop on formal foundations of software systems.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1997.
A representation sysyem for functions in the category of bi-structured coherence spaces.
In:
First brazil joint usa workshop on formal foundations of software systems.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Rafael ACCORSI; Marilton Sanchotene De AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1996.
Um confronto entre métodos pontuais; intervalares e precondicionados usando a matriz de hilbert.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marilton Sanchotene De AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1996.
An object oriented library for intervalar linear algebra.
In:
Ii workshop on computer arithmetic; interval and symbolic computation.
Brasil.
-
Physical Sciences
Artificial Intelligence
André Rauber Du BOIS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1996.
Lógica intervalar.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1996.
Espaços coerentes e intervalos.
In:
I encontro de verão de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Dalcidio Moraes CLAUDIO; Graçaliz Pereira DIMURO.
1996.
The interval gauss-seidel iteration.
In:
Ii workshop on computer arithmetic; interval and symbolic computation.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1996.
A coherence space of rational intervals.
In:
Ii workshop on computer arithmetic; interval and symbolic computation.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1996.
Uma construção dos números reais computáveis utilizando espaços coerentes de intervalos racionais.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1996.
Estudo da linearidade das funções trigonométricas no espaço coerente de intervalos racionais.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marilton Sanchotene De AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1995.
Uma biblioteca matricial intervalar para o ambiente de técnicas intervalares.
In:
Xxvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO.
1995.
Espaços coerentes.
In:
Xvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Renata Hax Sander REISER; Dalcidio Moraes CLAUDIO; Graçaliz Pereira DIMURO.
1995.
Precondicionamento em selas intervalares.
In:
Xviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Dalcidio Moraes CLAUDIO.
1994.
A matemática intervalar como fundamentação para a análise numérica e computação científica.
In:
Xvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
1994.
Álgebra matricial intervalar.
In:
Xvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Noriel Chang REISSIG; Graçaliz Pereira DIMURO.
1994.
O ambiente de técnicas intervalares.
In:
Xx conferência latinoamericana de informática.
México.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Cláudia P SANTOS; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO.
1994.
As técnicas intervalares em substituição ao método clássico de estimativa de erro.
In:
Xvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Cristiano André Da COSTA.
1993.
Uma bibliotecal intervalar orientada a objetos para controle automático do erro em computação científica.
In:
Xvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA; Claudia P SANTOS.
1993.
A matemática intervalar em ciência e tecnologia - uma aplicação técnica segundo uma abordagem orientada a objetos.
In:
Xvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO.
1993.
Avaliação de funções intervalares racionais.
In:
Xvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO.
1992.
Por que o computador erra?.
In:
Xv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Information Systems
Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA.
1992.
A programação orientada a objetos na computação científica e sua aplicação na teoria dos domínios contínuos intervalares.
In:
Xv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Graçaliz Pereira DIMURO; B M ACIÓLY; Dalcidio Moraes CLAUDIO.
1991.
About range of functions - a domain approach.
In:
International amsze conference "information & systems".
China.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Graçaliz Pereira DIMURO; B M ACIÓLY; Dalcidio Moraes CLAUDIO.
1991.
The partial real interval domain.
In:
International symposium on computer arithmetic and scientific computation.
Escócia.
-
Physical Sciences
Mathematics (miscellaneous)
Graçaliz Pereira DIMURO; Dalcidio Moraes CLAUDIO.
1991.
Aritmética intervalar no domínio contínuo r dos intervalos reais parciais.
In:
Xiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
A COELHO; Leda CADORE; Graçaliz Pereira DIMURO.
1991.
Metodos computacionais intervalares para o cálculo de imagens de funções racionais.
In:
Xiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
B M ACIÓLY; Graçaliz Pereira DIMURO; Dalcidio Moraes CLAUDIO.
1991.
Toward a computational interval mathematics.
In:
International symposium on computer arithmetic and scientific computing.
Escócia.
-
Social Sciences & Humanities
Psychology (miscellaneous)
B M ACIÓLY; Graçaliz Pereira DIMURO; Dalcidio Moraes CLAUDIO.
1990.
Uma teoria da informação - uma abordagem para a teoria dos intervalos.
In:
Xiii congresso nacional de matemática aplicada e computacional.
Brasil.