Vol. 42 No. 2 (2018)

View Vol. 42 No. 2 (2018)

Published: 2018-07-30

Full Issue

PDF

Overview papers

Counterexamples in Model Checking - A survey

Hichem Debbi
- PDF

Regular papers

Evaluation of medical image algorithms on multicore processors

Damir M Demirović, Zekerijah Šabanović
- PDF
A modification of the Lasso method by using the Bahadur representation for the genome-wide association study

Lev V. Utkin, Yulia A. Zhuk
- PDF
PSO with crossover operator applied to feature selection problem in classification

Houassi Hichem, Mahdaoui Rafik, Maarouk Toufik Mesaaoud
- PDF
A Multi-Agent based Approach for Simulating the Impact of Human Behaviours on Air Pollution

Sabri Ghazi, Julie Dugdale, Tarek Khadir
- PDF
Fast Artificial Bee Colony for Clustering

Abba Suganda Girsang, Yohan Mulyono, Fanny Fanny
- PDF
A Pairing Free Secure Identity-based Aggregate Signature Scheme Under Random Oracle

Eman Abouelkheir, Jolanda G. Tromp
- PDF
Static and incremental overlapping clustering algorithms for large collections processing in GPU

Lázaro Janier González Soler, Airel Pérez Suárez, Leonardo Chang Fernández
- PDF
Weighted Density Center (WDC-LEACH-C) Clustering Protocol for Wireless Sensor Networks (WSN)

Amira Slimani, Mohammed Redjimi, Djamel Slimani
- PDF
Persistent Homology and Machine Learning

Primož Škraba
- PDF
Research on Intelligent English Oral Training System in Mobile Network

Fen Zhu
- PDF
Probability matrix decomposition based collaborative filtering recommendation algorithm

Yili Tan, Huijuan Zhao, Yourong Wang, Min Qiu
- PDF
The Decision Model for the Optimal Configuration Management of Knowledge Employees in Enterprises

Chunjiang Yang, Yujiang Yang, Xiuli Tan
- PDF

Student papers

Application for Viral Hepatitis Infection Risk Assessment - HEPY

Alen Ajanović, Andrej Ulčar, Ana Peterlin, Karolina Počivavšek, Gašper Fele-Žorž, Anton Gradišek, Matjaž Gams, Mojca Matičič
- PDF