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 Ludtke 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 R. 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
- Nicolas N. Bisi, Vinicius Pazzini, Luciana Foss, Simone Andre 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 Andre da Costa Cavalheiro:
Graph Grammars: A Comparison between Verification Methods.
88-94
- Cicero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone Andre 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 Araujo:
Theoretical and Experimental Analysis of the Jurema Branch-and-Bound Method.
102-107
- R. S. Trindade, Guilherme Dhein, Felipe Martins Müller, Olinto César Bassi de Araujo:
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 Briao, 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
- Luis 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 Andre da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
Towards Developmental Turing Machines.
156-162
Last update Fri May 25 08:48:43 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
