Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd WEIT 2013: Rio Grande, RS, Brazil
- 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3057-9
Invited Papers
- Lucio Mauro Duarte:
Behaviour Model Extraction from Software. 1-8 - Juliana Kaizer Vizzotto:
Quantum Computing: State-of-Art and Challenges. 9-13 - Alfio Martini:
Programming Language Semantics with Isabelle/HOL. 14-21 - Leila Ribeiro, Daltro José Nunes, Marcia E. J. Kniphoff da Cruz, Ecivaldo de Souza Matos
:
Computational Thinking: Possibilities and Challenges. 22-25 - Rodrigo Machado:
An Introduction to Lambda Calculus and Functional Programming. 26-33
Technical Papers
- Bruno Crestani Calegaro, Juliana Kaizer Vizzotto:
Quantum Monad Using Java Closures. 34-39 - Francisco Revson Fernandes Pereira, Elloá Barreto Guedes, Francisco Marcos de Assis:
Simulating the Quantum Fourier Transform. 40-44 - Ivan Mezzomo, Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser:
Fuzzy a-Ideals of Product Operator on Bounded Fuzzy Lattices. 45-50 - Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss:
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. 51-58 - Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner:
Automatic Translation from UML to Simulink CAAM Using Graph Grammars. 59-66 - Rogerio Rodrigues de Vargas, Benjamín René Callejas Bedregal:
A Way to Obtain the Quality of a Partition by Adjusted Rand Index. 67-71 - Matheus Machado dos Santos, Mauricio G. Goulart, Giovana J. Gelatti, Karina S. Machado, Adriano Velasque Werhli, Odorico Machado Mendizabal:
Parallel Algorithm for the HP Protein Folding Problem. 72-77 - Diego Jaccottet, Renata Reiser, Adenauer C. Yamin, Benjamín René Callejas Bedregal:
Analysing Properties, Conjugate and Dual Constructions on Fuzzy s-X(N)or Connectives. 78 - Alice Fonseca Finger, Aline Brum Loreto, Vinicius Signori Furlan:
The Computational Complexity of Random Variables with Uniform, Exponential and Pareto Distributions in Real and Interval Forms. 79-83 - Stephanie Loi Briao, Graçaliz Pereira Dimuro, Catia Maria dos Santos Machado:
Linear Programming Modeling for Solving Fuzzy Zero-Sum Games. 84-91 - Vinicius R. dos Santos, Maurício L. Pilla, Renata Reiser, Alice J. Kozakevicius:
Int-Haar: Improving Precision of the Haar Interval Wavelet Extension. 92-96 - Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro:
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. 97-104 - Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss:
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class. 105-110 - Taina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone André da Costa Cavalheiro, Marilton S. de Aguiar, Luciana Foss, Ana Marilza Pernas, Renata Reiser:
Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education. 111-115 - Alexander Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti:
Using DCOP to Solve Virtual Network Allocation Problems. 116-120 - Ibero Camilo Kreps Benitez, Renata Hax Sander Reiser, Adenauer C. Yamin, Benjamín René Callejas Bedregal:
Aggregating Fuzzy QL-Implications. 121-128 - Marcos Antonio de Oliveira Junior, Leila Ribeiro, Lucio Mauro Duarte, Érika F. Cota:
Specification of Models Based on Contexts using Graph Grammars. 129-134 - Daniel Vaz dos Santos, Lucas Fernando Souza de Castro, Gleifer Vaz Alves:
N-GraphML: Language and Formal Grammar for Proof-Graphs. 135-138 - Heloina Alves Arnaldo, Benjamín René Callejas Bedregal:
A New Way to Obtain the Initial Centroid Clusters in Fuzzy C-Means Algorithm. 139-144 - Murilo Schmalfuss, Renata Reiser, Maurício L. Pilla, Adriano Maron:
qGMC-Analyzer - Quantum Simulation on Multicore Architectures. 145-150 - Alexandre Lemke, Renata Hax Sander Reiser, André Rauber Du Bois, Maurício Lima Pilla:
Aggregation Operators on the Fuzzy e-Xor and e-XNor Classes. 151-157 - Eduardo Silva Palmeira, Benjamín René Callejas Bedregal:
Extension of Lattice-valued QL-implications. 158-164 - Antônio Carlos da Rocha Costa:
Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems. 165-171 - Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla:
A Domain Specific Language based on Monads for Distributed Transactional Memory in Java. 172-174
a service of 
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.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
