


default search action
1st WEIT 2011: Pelotas, Brazil
- 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0225-8

- Graçaliz Pereira Dimuro:

On Interval Fuzzy Numbers. 3-8 - Ana Paula Lüdtke Ferreira:

Model Checking. 9-14 - Leila Ribeiro, Fernando Luís Dotti

:
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. 15-20 - Antônio Carlos da Rocha Costa:

Theoretical Computing Machines: A Systemic Approach. 21 - Tiago da Cruz Asmus, Graçaliz Pereira Dimuro:

On Fuzzy Probabilities in Bayesian Games. 25-31 - Rogerio Rodrigues de Vargas, Benjamín René Callejas Bedregal, Eduardo Silva Palmeira:

A Comparison between K-Means, FCM and ckMeans Algorithms. 32-38 - Jorge Luis B. Ribes, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar

:
On Vector and Matrices of Fuzzy Numbers. 39-45 - Lidiane Visintin

, Renata Hax Sander Reiser
, Benjamín René Callejas Bedregal:
Interval-Valued Intuitionistic Fuzzy Implications. 46-52 - Gesner Antonio Azevedo dos Reis, Lidiane Visintin

, Renata Hax Sander Reiser
, Benjamín René Callejas Bedregal:
Conjugate and Dual Constructions on Interval Functions. 53-59 - Leonardo Martins Rodrigues

, Graçaliz Pereira Dimuro:
Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy Logic. 60-66 - Mateus Madail Santin, Silvia Silva da Costa Botelho

, Graçaliz Pereira Dimuro, Celso Luiz Lopes Rodrigues:
Hand Skill Programming: Using Fuzzy Sets to Program Topobo Kinectis Memory Devices. 67-73 - Juliano Dertzbacher, Abraham Lincoln Rabelo de Sousa, Daltro J. Nunes:

A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity Analysis. 74-80 - Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara

, Flávio Rech Wagner:
Using Graph Grammars to Develop Embedded Systems Based on UML Models. 81-87 - Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro:

Graph Grammars: A Comparison between Verification Methods. 88-94 - Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro:

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. 95-101 - Felipe Martins Müller, Guilherme Dhein, Olinto César Bassi de Araújo:

Theoretical and Experimental Analysis of the Jurema Branch-and-Bound Method. 102-107 - Renan Spencer Trindade

, Guilherme Dhein, Felipe Martins Müller, Olinto César Bassi de Araújo:
Mixed Integer Linear Programming Models to Solve the Shisen-Sho Puzzle. 108-112 - Alice Finger, Aline Loreto:

Applications of Numerical Methods with Linear Complexity in Flood Forecasting in Rivers. 113-119 - Stephanie Loi Brião

, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa:
Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview. 120-126 - Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa:

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. 127-133 - Giovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa:

A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory. 134-137 - Luís Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar

:
Hybrid Intelligent Systems: A Study on Genetic Algorithms and Fuzzy Approaches. 138-144 - Murian dos Reis Ribeiro, Marilton Sanchotene de Aguiar

:
Cultural Algorithms: A Study of Concepts and Approaches. 145-148 - Antônio Carlos da Rocha Costa:

Epistemic Relativism in Agent Societies: A Preliminary Semantic Model. 149-155 - Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:

Towards Developmental Turing Machines. 156-162

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














