| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Practical Semi-External Memory Method for Approximate Pattern Matching
|
Nogueira Nunes, Daniel Saad
|
|
2016
|
324 |
C |
p. 107-122
16 p.
|
artikel
|
| 2 |
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic
|
de Barros Santos, Jefferson
|
|
2016
|
324 |
C |
p. 165-179
15 p.
|
artikel
|
| 3 |
Defining Effectiveness Using Finite Sets A Study on Computability
|
Macedo, Hugo D.
|
|
2016
|
324 |
C |
p. 91-106
16 p.
|
artikel
|
| 4 |
Elements for a Formal Model of Intentional Systems
|
da Rocha Costa, Antônio Carlos
|
|
2016
|
324 |
C |
p. 51-66
16 p.
|
artikel
|
| 5 |
FJQuantum – A Quantum Object Oriented Language
|
Feitosa, Samuel S.
|
|
2016
|
324 |
C |
p. 67-77
11 p.
|
artikel
|
| 6 |
Formal Verification of Health Assessment Tools: a Case Study
|
Bezerra, Jonas Santos
|
|
2016
|
324 |
C |
p. 31-50
20 p.
|
artikel
|
| 7 |
Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators
|
Reiser, Renata
|
|
2016
|
324 |
C |
p. 135-150
16 p.
|
artikel
|
| 8 |
Preface
|
Vizzotto, Juliana K.
|
|
2016
|
324 |
C |
p. 1-
1 p.
|
artikel
|
| 9 |
Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study
|
Reiser, Renata
|
|
2016
|
324 |
C |
p. 151-164
14 p.
|
artikel
|
| 10 |
Statistical Correction of the Result of Weather Forecast by Applying the Model Output Calibration
|
Hölbig, Carlos Amaral
|
|
2016
|
324 |
C |
p. 79-90
12 p.
|
artikel
|
| 11 |
Towards Multi-Level Semantics for Multi-Agent Systems
|
Panisson, Alison R.
|
|
2016
|
324 |
C |
p. 123-134
12 p.
|
artikel
|
| 12 |
Týr: A Dependent Type System for Spatial Memory Safety in LLVM
|
De Araújo, Vítor Bujés Ubatuba
|
|
2016
|
324 |
C |
p. 3-13
11 p.
|
artikel
|
| 13 |
Translating Controlled Graph Grammars to Ordinary Graph Grammars
|
Bertei, Alex
|
|
2016
|
324 |
C |
p. 15-30
16 p.
|
artikel
|
Tijdschrift beschrijving