| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abnormality Diagnosis in Mammograms by Transfer Learning Based on ResNet18
|
Yu, Xiang
|
|
2019
|
|
2-4 |
p. 219-230
|
artikel
|
| 2 |
A Fuzzy Modal Logic for Belief Functions
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 127-146
|
artikel
|
| 3 |
A Modal Characterization of Nash Equilibrium
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 281-321
|
artikel
|
| 4 |
A Novel Two-stage Residual Learning Based Convolutional Neural Network for Image Super Resolution
|
Sharma, Shailza
|
|
2019
|
|
2-4 |
p. 335-351
|
artikel
|
| 5 |
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
|
Amat, Nicolas
|
|
|
|
2-4 |
p. 103-138
|
artikel
|
| 6 |
Classifying and Visualizing Emotions with Emotional DAN
|
Tautkutė, Ivona
|
|
2019
|
|
2-4 |
p. 269-285
|
artikel
|
| 7 |
Comixify: Transform Video Into Comics
|
Pęśko, Maciej
|
|
2019
|
|
2-4 |
p. 311-333
|
artikel
|
| 8 |
Computing Parameterized Invariants of Parameterized Petri Nets
|
Esparza, Javier
|
|
|
|
2-4 |
p. 197-243
|
artikel
|
| 9 |
Correctness Notions for Petri Nets with Identifiers
|
van der Werf, Jan Martijn E.M.
|
|
|
|
2-4 |
p. 159-207
|
artikel
|
| 10 |
Deep Learning Optimization Tasks and Metaheuristic Methods
|
Biedrzycki, Rafał
|
|
2019
|
|
2-4 |
p. 185-218
|
artikel
|
| 11 |
Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns
|
Mannel, Lisa L.
|
|
|
|
2-4 |
p. 109-158
|
artikel
|
| 12 |
Foreword
|
Skarbek, Wladyslaw
|
|
2019
|
|
2-4 |
p. i-ii
|
artikel
|
| 13 |
Formalizing Defeasible Logic in CAKE
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 193-213
|
artikel
|
| 14 |
From Rough Sets to Rough Knowledge Bases
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 215-246
|
artikel
|
| 15 |
From Tableaux to Automata for Description Logics
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 247-279
|
artikel
|
| 16 |
Graphs and Colorings for Answer Set Programming with Preferences
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 393-421
|
artikel
|
| 17 |
Human Face Expressions from Images
|
Pilarczyk, Rafał
|
|
2019
|
|
2-4 |
p. 287-310
|
artikel
|
| 18 |
Improvement of Cerebral Microbleeds Detection Based on Discriminative Feature Learning
|
Hong, Jin
|
|
2019
|
|
2-4 |
p. 231-248
|
artikel
|
| 19 |
Intelligent Execution Monitoring in Dynamic Environments
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 371-392
|
artikel
|
| 20 |
Introduction to Probabilistic Concurrent Systems
|
Abbes, Samy
|
|
|
|
2-4 |
p. 71-102
|
artikel
|
| 21 |
Method for Clustering of Brain Activity Data Derived from EEG Signals
|
Kurowski, Adam
|
|
2019
|
|
2-4 |
p. 249-268
|
artikel
|
| 22 |
Modal Probability, Belief, and Actions
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 323-344
|
artikel
|
| 23 |
Monitoring Agents using Declarative Planning
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 345-370
|
artikel
|
| 24 |
Preface
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. i-iii
|
artikel
|
| 25 |
Preface
|
Buchs, Didier
|
|
|
|
2-4 |
p. i-iii
|
artikel
|
| 26 |
Preface
|
Bernardinello, Luca
|
|
|
|
2-4 |
p. i-ii
|
artikel
|
| 27 |
Probabilistic Complex Actions in GOLOG
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 167-192
|
artikel
|
| 28 |
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
|
Alves, Gleifer V.
|
|
2011
|
|
2-4 |
p. 119-147
|
artikel
|
| 29 |
Quasi-Possibilistic Logic and its Measures of Information and Conflict
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 101-125
|
artikel
|
| 30 |
Skeleton Abstraction for Universal Temporal Properties
|
Wallner, Sophie
|
|
|
|
2-4 |
p. 245-272
|
artikel
|
| 31 |
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
|
Devillers, Raymond
|
|
|
|
2-4 |
p. 167-196
|
artikel
|
| 32 |
Symbolic Tensor Neural Networks for Digital Media – from Tensor Processing via BNF Graph Rules to CREAMS Applications
|
Skarbek, Władysław
|
|
2019
|
|
2-4 |
p. 89-184
|
artikel
|
| 33 |
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues
|
Devillers, Raymond
|
|
|
|
2-4 |
p. 139-165
|
artikel
|
| 34 |
Towards a Framework for Approximate Ontologies
|
Patrick Doherty
|
|
2004
|
|
2-4 |
p. 147-165
|
artikel
|
| 35 |
Waiting Nets: State Classes and Taxonomy
|
Hélouët, Loïc
|
|
|
|
2-4 |
p. 63-107
|
artikel
|
Tijdschrift beschrijving