WEIT - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 57 from 57

2016

Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015Juliana Kaizer Vizzotto, editor, Volume 324 of Electronic Notes in Theoretical Computer Science, Elsevier, 2016. [doi]

2013

2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013IEEE Computer Society, 2013. [doi]

A New Way to Obtain the Initial Centroid Clusters in Fuzzy C-Means AlgorithmHeloina Alves Arnaldo, Benjamín René Callejas Bedregal. weit 2013: 139-144 [doi]

Aggregating Fuzzy QL-ImplicationsIbero Camilo Kreps Benitez, Renata Hax Sander Reiser, Adenauer C. Yamin, Benjamín René Callejas Bedregal. weit 2013: 121-128 [doi]

Linear Programming Modeling for Solving Fuzzy Zero-Sum GamesStephanie Loi Briao, Graçaliz Pereira Dimuro, Catia Maria Santos Machado. weit 2013: 84-91 [doi]

Quantum Monad Using Java ClosuresBruno Crestani Calegaro, Juliana Kaizer Vizzotto. weit 2013: 34-39 [doi]

Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic EducationTaina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone Andre da Costa Cavalheiro, Marilton Aguiar, Luciana Foss, Ana Pernas, Renata Reiser. weit 2013: 111-115 [doi]

Automatic Translation from UML to Simulink CAAM Using Graph GrammarsAndrei Costa, Vinicius Pazzini, Luciana Foss, Simone Andre da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner. weit 2013: 59-66 [doi]

A Domain Specific Language based on Monads for Distributed Transactional Memory in JavaJeronimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla. weit 2013: 172-174 [doi]

Toward a Formal Reconstruction of Kelsen's Theory of Legal SystemsAntonio Carlos da Rocha Costa. weit 2013: 165-171 [doi]

Graph Grammar Specification for the Populational Level of Multi-agent System OrganizationsAndre Moura de Mello, Luciana Foss, Simone Andre da Costa Cavalheiro. weit 2013: 97-104 [doi]

Specification of Models Based on Contexts using Graph GrammarsMarcos Antonio de Oliveira Junior, Leila Ribeiro, Lucio Mauro Duarte, Erika Cota. weit 2013: 129-134 [doi]

A Way to Obtain the Quality of a Partition by Adjusted Rand IndexRogerio Rodrigues de Vargas, Benjamín René Callejas Bedregal. weit 2013: 67-71 [doi]

Parallel Algorithm for the HP Protein Folding ProblemMatheus M. dos Santos, Mauricio G. Goulart, Giovana J. Gelatti, Karina S. Machado, Adriano Velasque Werhli, Odorico Machado Mendizabal. weit 2013: 72-77 [doi]

N-GraphML: Language and Formal Grammar for Proof-GraphsDaniel Vaz dos Santos, Lucas Fernando de Souza Castro, Gleifer Vaz Alves. weit 2013: 135-138 [doi]

Int-Haar: Improving Precision of the Haar Interval Wavelet ExtensionVinicius R. dos Santos, Maurício L. Pilla, Renata Reiser, Alice Kozakevicius. weit 2013: 92-96 [doi]

Behaviour Model Extraction from SoftwareLucio Mauro Duarte. weit 2013: 1-8 [doi]

The Computational Complexity of Random Variables with Uniform, Exponential and Pareto Distributions in Real and Interval FormsAlice Fonseca Finger, Aline Brum Loreto, Vinicius Signori Furlan. weit 2013: 79-83 [doi]

Using DCOP to Solve Virtual Network Allocation ProblemsAlexander Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti. weit 2013: 116-120 [doi]

Analysing Properties, Conjugate and Dual Constructions on Fuzzy s-X(N)or ConnectivesDiego Jaccottet, Renata Reiser, Adenauer C. Yamin, Benjamín René Callejas Bedregal. weit 2013: 78 [doi]

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through RodinLuiz Carlos Lemos Junior, Simone Andre da Costa Cavalheiro, Luciana Foss. weit 2013: 51-58 [doi]

Aggregation Operators on the Fuzzy e-Xor and e-XNor ClassesAlexandre Lemke, Renata Hax Sander Reiser, André Rauber Du Bois, Maurício Lima Pilla. weit 2013: 151-157 [doi]

An Introduction to Lambda Calculus and Functional ProgrammingRodrigo Machado. weit 2013: 26-33 [doi]

Programming Language Semantics with Isabelle/HOLAlfio Martini. weit 2013: 14-21 [doi]

Fuzzy a-Ideals of Product Operator on Bounded Fuzzy LatticesIvan Mezzomo, Benjamín René Callejas Bedregal, Regivan H. Nunes Santiago, Renata Hax Sander Reiser. weit 2013: 45-50 [doi]

Extension of Lattice-valued QL-implicationsEduardo Silva Palmeira, Benjamín René Callejas Bedregal. weit 2013: 158-164 [doi]

Simulating the Quantum Fourier TransformFrancisco Revson Fernandes Pereira, Elloá Barreto Guedes, Francisco Marcos de Assis. weit 2013: 40-44 [doi]

Computational Thinking: Possibilities and ChallengesLeila Ribeiro, Daltro José Nunes, Marcia Kniphoff da Cruz, Ecivaldo de Souza Matos. weit 2013: 22-25 [doi]

qGMC-Analyzer - Quantum Simulation on Multicore ArchitecturesMurilo Schmalfuss, Renata Reiser, Maurício L. Pilla, Adriano Maron. weit 2013: 145-150 [doi]

Quantum Computing: State-of-Art and ChallengesJuliana Kaizer Vizzotto. weit 2013: 9-13 [doi]

Sensitivity and Dual Constructions on the Fuzzy f-Xor ClassRosana Medina Zanotelli, Renata Hax Sander Reiser, Simone Andre da Costa Cavalheiro, Luciana Foss. weit 2013: 105-110 [doi]

2011

2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011IEEE Computer Society, 2011. [doi]

Using Graph Grammars to Develop Embedded Systems Based on UML ModelsNicolas N. Bisi, Vinicius Pazzini, Luciana Foss, Simone Andre da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner. weit 2011: 81-87 [doi]

Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An OverviewStephanie Loi Briao, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa. weit 2011: 120-126 [doi]

Towards Developmental Turing MachinesSimone Andre da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro. weit 2011: 156-162 [doi]

On Fuzzy Probabilities in Bayesian GamesTiago da Cruz Asmus, Graçaliz Pereira Dimuro. weit 2011: 25-31 [doi]

Theoretical Computing Machines: A Systemic ApproachAntônio Carlos da Rocha Costa. weit 2011: 21 [doi]

Epistemic Relativism in Agent Societies: A Preliminary Semantic ModelAntônio Carlos da Rocha Costa. weit 2011: 149-155 [doi]

Hybrid Intelligent Systems: A Study on Genetic Algorithms and Fuzzy ApproachesLuis Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar. weit 2011: 138-144 [doi]

Graph Grammars: A Comparison between Verification MethodsAndre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone Andre da Costa Cavalheiro. weit 2011: 88-94 [doi]

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems OrganizationsRaquel de Miranda Barbosa, Antônio Carlos da Rocha Costa. weit 2011: 127-133 [doi]

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded ProgramsCicero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone Andre da Costa Cavalheiro. weit 2011: 95-101 [doi]

A Comparison between K-Means, FCM and ckMeans AlgorithmsRogerio R. de Vargas, Benjamín René Callejas Bedregal, Eduardo Silva Palmeira. weit 2011: 32-38 [doi]

A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity AnalysisJuliano Dertzbacher, Abraham Lincoln Rabelo de Sousa, Daltro J. Nunes. weit 2011: 74-80 [doi]

On Interval Fuzzy NumbersGraçaliz Pereira Dimuro. weit 2011: 3-8 [doi]

Cultural Algorithms: A Study of Concepts and ApproachesMurian dos Reis Ribeiro, Marilton Sanchotene de Aguiar. weit 2011: 145-148 [doi]

Conjugate and Dual Constructions on Interval FunctionsGesner Antonio Azevedo dos Reis, Lidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal. weit 2011: 53-59 [doi]

A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange TheoryGiovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa. weit 2011: 134-137 [doi]

Model CheckingAna Paula Ludtke Ferreira. weit 2011: 9-14 [doi]

Applications of Numerical Methods with Linear Complexity in Flood Forecasting in RiversAlice Finger, Aline Loreto. weit 2011: 113-119 [doi]

Theoretical and Experimental Analysis of the Jurema Branch-and-Bound MethodFelipe Martins Müller, Guilherme Dhein, Olinto César Bassi de Araujo. weit 2011: 102-107 [doi]

Specification and Analysis of Concurrent Systems Using Object-Based Graph GrammarsLeila Ribeiro, Fernando Luís Dotti. weit 2011: 15-20 [doi]

On Vector and Matrices of Fuzzy NumbersJorge Luis B. Ribes, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar. weit 2011: 39-45 [doi]

Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy LogicLeonardo Martins Rodrigues, Graçaliz Pereira Dimuro. weit 2011: 60-66 [doi]

Hand Skill Programming: Using Fuzzy Sets to Program Topobo Kinectis Memory DevicesMateus Madail Santin, Silvia Silva da Costa Botelho, Graçaliz Pereira Dimuro, Celso Luiz Lopes Rodrigues. weit 2011: 67-73 [doi]

Mixed Integer Linear Programming Models to Solve the Shisen-Sho PuzzleR. S. Trindade, Guilherme Dhein, Felipe Martins Müller, Olinto César Bassi de Araujo. weit 2011: 108-112 [doi]

Interval-Valued Intuitionistic Fuzzy ImplicationsLidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal. weit 2011: 46-52 [doi]

Sign in or sign up to see more results.

runs on WebDSL