| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract syntax driven approach for language composition
|
Chodarev, Sergej
|
|
2014
|
|
3 |
p. 107-117
|
artikel
|
| 2 |
Acceleration of ray tracing method using predictive evaluation and GPGPU technology
|
Sobota, Branislav
|
|
2014
|
|
3 |
p. 118-126
|
artikel
|
| 3 |
A formal framework for dependability and resilience from a software engineering perspective
|
Guelfi, Nicolas
|
|
2011
|
|
3 |
p. 294-328
|
artikel
|
| 4 |
Algorithm of traffic signs recognition based on the rapid transform
|
Gamec, Jan
|
|
2012
|
|
3 |
p. 236-244
|
artikel
|
| 5 |
Analyzing stereotypes of creating graphical user interfaces
|
Bačíková, Michaela
|
|
2012
|
|
3 |
p. 300-315
|
artikel
|
| 6 |
An innovative image fusion algorithm based on wavelet transform and discrete fast curvelet transform
|
Sumathi, T.
|
|
2011
|
|
3 |
p. 329-340
|
artikel
|
| 7 |
Automatic detection and inpainting of specular reflections for colposcopic images
|
Meslouhi, Othmane El
|
|
2011
|
|
3 |
p. 341-354
|
artikel
|
| 8 |
Categorical structures as expressing tool for differential calculus
|
Steingartner, William
|
|
2014
|
|
3 |
p. 96-106
|
artikel
|
| 9 |
Cognitive traveling in digital space: from keyword search through exploratory information seeking
|
Navrat, Pavol
|
|
2012
|
|
3 |
p. 170-182
|
artikel
|
| 10 |
Command and control information systems semantic interoperability using a canonical messaging approach
|
Galinec, Darko
|
|
2012
|
|
3 |
p. 316-330
|
artikel
|
| 11 |
Database reverse engineering based on meta-models
|
Ristić, Sonja
|
|
2014
|
|
3 |
p. 150-159
|
artikel
|
| 12 |
Digital preservation of historical buildings using virtual reality technologies
|
Hrozek, František
|
|
2012
|
|
3 |
p. 272-282
|
artikel
|
| 13 |
Efficient computer aided diagnosis of abnormal parts detection in magnetic resonance images using hybrid abnormality detection algorithm
|
Lakshmi Devasena, C.
|
|
2013
|
|
3 |
p. 117-128
|
artikel
|
| 14 |
Face identification under uncontrolled environment with LGFSV face representation technique
|
Singh, Kavita R.
|
|
2013
|
|
3 |
p. 129-148
|
artikel
|
| 15 |
Fitts’ law to the rescue: A comparison of graph tables
|
Hedman, Anna
|
|
2011
|
|
3 |
p. 280-293
|
artikel
|
| 16 |
Gaussian mixture models for semantic ranking in domain specific databases with application in radiology
|
Barb, Adrian S.
|
|
2011
|
|
3 |
p. 266-279
|
artikel
|
| 17 |
Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors
|
Müller, Dirk
|
|
2011
|
|
3 |
p. 253-265
|
artikel
|
| 18 |
General composition for high level Petri nets and its properties
|
Peťko, Ivan
|
|
2012
|
|
3 |
p. 222-235
|
artikel
|
| 19 |
Genetic evolution of programs
|
Kollár, Ján
|
|
2014
|
|
3 |
p. 160-170
|
artikel
|
| 20 |
Implementation and evaluation of scheduling algorithm based on PSO HC for elastic cluster criteria
|
Skrinarova, Jarmila
|
|
2014
|
|
3 |
p. 191-201
|
artikel
|
| 21 |
Intrusion detection system episteme
|
Mihályi, Daniel
|
|
2012
|
|
3 |
p. 214-221
|
artikel
|
| 22 |
Learning object-oriented paradigm by playing computer games: concepts first approach
|
Livovský, Jakub
|
|
2014
|
|
3 |
p. 171-182
|
artikel
|
| 23 |
Medical procedure breaches detection using a fuzzy clustering approach
|
Găceanu, Radu D.
|
|
2014
|
|
3 |
p. 127-140
|
artikel
|
| 24 |
Mining moving object data
|
Zendulka, Jaroslav
|
|
2012
|
|
3 |
p. 183-193
|
artikel
|
| 25 |
Modeling generalization and specialization with Extended Conceptual Graphs
|
Baksa-Varga, Erika
|
|
2012
|
|
3 |
p. 245-260
|
artikel
|
| 26 |
New approach to remote laboratory in regard to topology change and self-repair feature
|
Kleinová, Katarína
|
|
2012
|
|
3 |
p. 344-353
|
artikel
|
| 27 |
On building an object-oriented parallel virtual reality system
|
Sobota, Branislav
|
|
2012
|
|
3 |
p. 261-271
|
artikel
|
| 28 |
Overview and insight into the MONICA research group
|
Pekár, Adrián
|
|
2012
|
|
3 |
p. 331-343
|
artikel
|
| 29 |
Process models using hardware in simulation loop
|
Alexík, Mikuláš
|
|
2012
|
|
3 |
p. 354-366
|
artikel
|
| 30 |
Pruning algorithms of neural networks — a comparative study
|
Augasta, M. Gethsiyal
|
|
2013
|
|
3 |
p. 105-115
|
artikel
|
| 31 |
Satisfiability in composition-nominative logics
|
Nikitchenko, Mykola S.
|
|
2012
|
|
3 |
p. 194-213
|
artikel
|
| 32 |
Selected Papers from the International Scientific Conference INFORMATICS’2011
|
Novitzká, Valerie
|
|
2012
|
|
3 |
p. 169
|
artikel
|
| 33 |
Selected papers from the International Scientific Conference INFORMATICS’2013 — part I
|
Novitzká, Valerie
|
|
2014
|
|
3 |
p. 95
|
artikel
|
| 34 |
Speeding up simultaneous alignment and folding of RNA sequences
|
Šimalová, Mária
|
|
2014
|
|
3 |
p. 141-149
|
artikel
|
| 35 |
Supporting multiple configuration sources using abstraction
|
Nosáľ, Milan
|
|
2012
|
|
3 |
p. 283-299
|
artikel
|
| 36 |
Taxonomy of DoS attacks and their countermeasures
|
Ramanauskaite, Simona
|
|
2011
|
|
3 |
p. 355-366
|
artikel
|
| 37 |
Using algorithm visualizations in computer science education
|
Šimoňák, Slavomír
|
|
2014
|
|
3 |
p. 183-190
|
artikel
|
Tijdschrift beschrijving