Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 23

Content of Issue 1
Functional Programming: Past, Present, and Future.
Contributions dedicated to
D. A. Turner on his 70th Birthday
R. Dueire Lins 1
Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday
P. Wadler 5
A Logical Reconstruction of Batcher's Mergers
Or: Bitonicity is a Red Herring
R. Hinze, C. Martin 21
Trees that Grow S. Najd, S.P. Jones 42
Higher Inductive Types in Programming H. Basold, H. Geuvers, N. van der Weide 63
A General Method for Defining Objects by Recursion over Syntax S. Thompson 89
First-Class Functions in an Imperative World R. Ierusalimschy 112
Content of Issue 2
Managing Editor's Column C. Gütl 127
Communication in Abstract State Machines E. Börger, K.-D. Schewe 129
A Method for Privacy-preserving Collaborative Filtering Recommendations C.K. Georgiadis, N. Polatidis, H. Mouratidis, E. Pimenidis 146
Design, Implementation and Evaluation of SPOCs at the Universidad Carlos III de Madrid P.J. Muñoz-Merino, E. Méndez Rodríguez, C. Delgado Kloos, J.A. Ruipérez-Valiente 167
Does the Users' Tendency to Seek Information Affect Recommender Systems' Performance? U. Panniello, L. Ardito, A. Messeni Petruzzelli 187
A Cost-Effective Approach for Procedural Training in Virtual Worlds M. Rico, J. Ramírez, D. Riofrío-Luzcando, M. Berrocal-Lobo 208
Content of Issue 3
Analyzing Political Discourse in On-line Social Networks A. Almeida, P. Orduña 233
Generating Politician Profiles based on Content Analysis of Social Network Datasets K. Grčić, M. Bagić Babac, V. Podobnik 236
Terrorism in the 2015 Election Period in Turkey: Content Analysis of Political Leaders' Social Media Activity A. Güneyli, M. Ersoy, Ş. Kıralp 256
On Predicting Election Results using Twitter and Linked Open Data: The Case of the UK 2010 Election E. Kalampokis, A. Karamanou, E. Tambouris, K. Tarabanis 280
Electoral Preferences Prediction of the YouGov Social Network Users Based on Computational Intelligence Algorithms S. Ortiz-Ángeles, Y. Villuendas-Rey, I. López-Yáñez, O. Camacho-Nieto, C. Yáñez-Márquez 304
Framework for Affective News Analysis of Arabic News: 2014 Gaza Attacks Case Study M. Al-Ayyoub, H. Al-Sarhan, M. Al-So'ud, M. Al-Smadi, Y. Jararweh 327
Content of Issue 4
Managing Editor's Column C. Gütl 352
Twister Generator of Arbitrary Uniform Sequences A.F. Deon, Y.A. Menyaev 353
Selecting a Software Elicitation Technique According to Layers of Knowledge and Preciseness: A Case Study M.-I. Sanchez-Segura, F. Medina-Dominguez, D.-M. Vásquez-Bravo, G. Illescas, C. García de Jesús 385
Contactless Vulnerability Analysis using Google and Shodan K. Simon, C. Moucha, J. Keller 404
Content of Issue 5
Managing Editor's Column C. Gütl 431
Computational Evaluation of Effects of Motivation Reinforcement on Player Retention D. Ašeriškis, R. Damaševičius 432
Steganography in VLC Systems G. Blinowski, K. Szczypiorski 454
Solving a Large Real-world Bus Driver Scheduling Problem with a Multi-assignment based Heuristic Algorithm A.A. Constantino, C.F.X. de Mendonca Neto, S.A. de Araujo, D. Landa-Silva, R. Calvi, A.F. dos Santos 479
A Comparative Study of Objective Video Quality Assessment Metrics C.A. Mello, M.M. Saraiva, D.P. Menor, R. Nishihara 505
Content of Issue 6
Managing Editor's Column C. Gütl 528
The Least ∑-jump Inversion Theorem for n-families M. Faizrahmanov, I. Kalimullin, A. Montalban, V. Puzarenko 529
Integrating Biomedical Sensor Data into a Simulation Learning Environment for Children Newly Diagnosed with Diabetes M.-B. Ibáñez, S. Escolar, R. Iskandar, K. Viera, C. Delgado-Kloos 539
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation M. Kapus-Kolar 560
Content of Issue 7
Theory and Application of Bio-inspired Intelligence and Methods X. Zhang, A. Rodríguez-Patón Aradas, X. Zeng, T. Song, P. Zheng 586
Stochastic Computing with Spiking Neural P Systems M.M. Wong, M.L.D. Wong 589
Selecting Parameters of an Improved Doubly Regularized Support Vector Machine based on Chaotic Particle Swarm Optimization Algorithm C. Qin, Z. Xue, Q. Feng, X. Huang 603
A Hybrid Social Spider Optimization Algorithm with Differential Evolution for Global Optimization J. Qiu, J. Xie, F. Cheng, X. Zhang, L. Zhang 619
Multi-Objective Evolutionary Algorithm Based on Decomposition for Energy-aware Scheduling in Heterogeneous Computing Systems S. Yuan, G. Deng, Q. Feng, P. Zheng, T. Song 636
An Adaptive Membrane Evolutionary Algorithm for Solving Constrained Engineering Optimization Problems J. Xiao, Y. Liu, S. Zhang, P. Chen 652
Adaptive Sharing Scheme Based Sub-Swarm Multi-Objective PSO Y. Sun, Z. Wang 673
Reversibility in Parallel Rewriting Systems B. Aman, G. Ciobanu 692
Content of Issue 8
Managing Editor's Column C. Gütl 704
An Anesthesia Alert System based on Dynamic Profiles Inferred through the Medical History of Patients J.L.V. Barbosa, B. Kucera Sempe, B. Mota, L.I. Dini 705
A Literature Survey: Is it Necessary to Develop a New Software Development Methodology for Virtual Reality Projects? U. Gulec, M. Yilmaz, V. Isler 725
Comparative Evaluation of Algorithms for Sentiment Analysis over Social Networking Services A. Krouska, C. Troussas, M. Virvou 755
Introducing an Architectural Conformance Process in Continuous Integration A.F. Pinto, R. Terra, E. Guerra, F. São Sabbas 769
Content of Issue 9
Managing Editor's Column C. Gütl 806
RESTful Services and Web-OS Middleware: a Formal Specification Approach M. Bravetti 808
A Framework towards Educational Scalability of Open Online Courses J. Kasch, P. van Rosmalen, M. Kalz 845
On the Sorting by Reversals and Transpositions Problem A. Rodrigues Oliveira, U. Dias, Z. Dias 868
Using Content to Identify Overlapping Communities in Question Answer Forums M. Shahriari, S. Haefele, R. Klamma 907
Contextualization and Recommendation of Annotations to Enhance Information Exchange in Assembly Assistance R. Alm 932
Content of Issue 10
Managing Editor's Column C. Gütl 952
PsiLight: a Lightweight Programming Language to Explore Multiple Program Execution and Data-binding in a Web-Client DSL Evaluation Engine E. Chavarriaga, F. Jurado, F. Díez 953
OnionSIP: Preserving Privacy in SIP with Onion Routing A. Fakis, G. Karopoulos, G. Kambourakis 969
Shortages and Challenges in Augmentative Communication through Tangible Interaction Using a User-centered Design and Assessment Process C. Sanz, V. Artola, A. Guisen, J. Marco, E. Cerezo, S. Baldassarri 992