default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Universal Computer Science, Volume 23
Volume 23, Number 1, 2017
- Rafael Dueire Lins:
Functional Programming: Past, Present, and Future. Contributions dedicated toD. A. Turner on his 70th Birthday. 1-4 - Philip Wadler:
Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday. 5-20 - Ralf Hinze, Clare Martin:
A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring. 21-41 - Shayan Najd, Simon Peyton Jones:
Trees that Grow. 42-62 - Henning Basold, Herman Geuvers, Niels van der Weide:
Higher Inductive Types in Programming. 63-88 - Simon Thompson:
A General Method for Defining Objects by Recursion over Syntax. 89-111 - Roberto Ierusalimschy:
First-Class Functions in an Imperative World. 112-126
Volume 23, Number 2, 2017
- Christian Gütl:
Managing Editor's Column. 127-128 - Egon Börger, Klaus-Dieter Schewe:
Communication in Abstract State Machines. 129-145 - Christos K. Georgiadis, Nikolaos Polatidis, Haralambos Mouratidis, Elias Pimenidis:
A Method for Privacy-preserving Collaborative Filtering Recommendations. 146-166 - Pedro J. Muñoz Merino, Eva M. Méndez Rodríguez, Carlos Delgado Kloos, José A. Ruipérez-Valiente:
Design, Implementation and Evaluation of SPOCs at the Universidad Carlos III de Madrid. 167-186 - Umberto Panniello, Lorenzo Ardito, Antonio Messeni Petruzzelli:
Does the Users' Tendency to Seek Information Affect Recommender Systems' Performance? 187-207 - Mariano Rico, Jaime Ramírez, Diego Riofrío-Luzcando, Marta Berrocal-Lobo:
A Cost-Effective Approach for Procedural Training in Virtual Worlds. 208-232
Volume 23, Number 3, 2017
- Aitor Almeida, Pablo Orduña:
Analyzing Political Discourse in On-line Social Networks. 233-235 - Klara Grcic, Marina Bagic Babac, Vedran Podobnik:
Generating Politician Profiles based on Content Analysis of Social Network Datasets. 236-255 - Ahmet Güneyli, Metin Ersoy, Sevki Kiralp:
Terrorism in the 2015 Election Period in Turkey: Content Analysis of Political Leaders' Social Media Activity. 256-279 - Evangelos Kalampokis, Areti Karamanou, Efthimios Tambouris, Konstantinos A. Tarabanis:
On Predicting Election Results using Twitter and Linked Open Data: The Case of the UK 2010 Election. 280-303 - Sonia Ortiz-Ángeles, Yenny Villuendas-Rey, Itzamá López-Yáñez, Oscar Camacho Nieto, Cornelio Yáñez-Márquez:
Electoral Preferences Prediction of the YouGov Social Network Users Based on Computational Intelligence Algorithms. 304-326 - Mahmoud Al-Ayyoub, Huda Al-Sarhan, Majd Al-So'ud, Mohammad Al-Smadi, Yaser Jararweh:
Framework for Affective News Analysis of Arabic News: 2014 Gaza Attacks Case Study. 327-352
Volume 23, Number 4, 2017
- Christian Gütl:
Managing Editor's Column. 352 - Aleksei F. Deon, Yulian A. Menyaev:
Twister Generator of Arbitrary Uniform Sequences. 353-384 - María Isabel Sánchez Segura, Fuensanta Medina-Domínguez, Diana-Marcela Vásquez-Bravo, Gustavo Illescas, Cynthya García de Jesús:
Selecting a Software Elicitation Technique According to Layers of Knowledge and Preciseness: A Case Study. 385-403 - Kai Simon, Cornelius Moucha, Jörg Keller:
Contactless Vulnerability Analysis using Google and Shodan. 404-430
Volume 23, Number 5, 2017
- Christian Gütl:
Managing Editor's Column. 431 - Darius Aseriskis, Robertas Damasevicius:
Computational Evaluation of Effects of Motivation Reinforcement on Player Retention. 432-453 - Grzegorz J. Blinowski, Krzysztof Szczypiorski:
Steganography in VLC Systems. 454-478 - Ademir Aparecido Constantino, Candido Ferreira Xavier de Mendonça Neto, Silvio Alexandre de Araujo, Dario Landa-Silva, Rogério Calvi, Allainclair Flausino dos Santos:
Solving a Large Real-world Bus Driver Scheduling Problem with a Multi-assignment based Heuristic Algorithm. 479-504 - Carlos A. B. Mello, Marília M. Saraiva, Diego P. A. Menor, Ricardo Nishihara:
A Comparative Study of Objective Video Quality Assessment Metrics. 505-527
Volume 23, Number 6, 2017
- Christian Gütl:
Managing Editor's Column. 528 - Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin, Antonio Montalbán, Vadim Puzarenko:
The Least ∑-jump Inversion Theorem for n-families. 529-538 - María-Blanca Ibáñez-Espiga, Soledad Escolar, Ricardo Iskandar, Karen Viera, Carlos Delgado Kloos:
Integrating Biomedical Sensor Data into a Simulation Learning Environment for Children Newly Diagnosed with Diabetes. 539-559 - Monika Kapus-Kolar:
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation. 560-585
Volume 23, Number 7, 2017
- Xingyi Zhang, Alfonso Rodríguez-Patón Aradas, Xiangxiang Zeng, Tao Song:
Theory and Application of Bio-inspired Intelligence and Methods. 586-588 - Ming Ming Wong, Mou Ling Dennis Wong:
Stochastic Computing with Spiking Neural P Systems. 589-602 - Chuandong Qin, Zhenxia Xue, Quanxi Feng, Xiaoyang Huang:
Selecting Parameters of an Improved Doubly Regularized Support Vector Machine based on Chaotic Particle Swarm Optimization Algorithm. 603-618 - Jianfeng Qiu, Juan Xie, Fan Cheng, Xuefeng Zhang, Lei Zhang:
A Hybrid Social Spider Optimization Algorithm with Differential Evolution for Global Optimization. 619-635 - Sisi Yuan, Gaoshan Deng, Quanxi Feng, Pan Zheng, Tao Song:
Multi-Objective Evolutionary Algorithm Based on Decomposition for Energy-aware Scheduling in Heterogeneous Computing Systems. 636-651 - Jianhua Xiao, Ying Liu, Shuai Zhang, Ping Chen:
An Adaptive Membrane Evolutionary Algorithm for Solving Constrained Engineering Optimization Problems. 652-672 - Yanxia Sun, Zenghui Wang:
Adaptive Sharing Scheme Based Sub-Swarm Multi-Objective PSO. 673-691 - Bogdan Aman, Gabriel Ciobanu:
Reversibility in Parallel Rewriting Systems. 692-703
Volume 23, Number 8, 2017
- Christian Gütl:
Managing Editor's Column. 704 - Jorge Luis Victória Barbosa, Bruno Kucera Sempe, Bruno Mota, Leandro Infantini Dini:
An Anesthesia Alert System based on Dynamic Profiles Inferred through the Medical History of Patients. 705-724 - Ulas Güleç, Murat Yilmaz, Veysi Isler:
A Literature Survey: Is it Necessary to Develop a New Software Development Methodology for Virtual Reality Projects? 725-754 - Akrivi Krouska, Christos Troussas, Maria Virvou:
Comparative Evaluation of Algorithms for Sentiment Analysis over Social Networking Services. 755-768 - Arthur F. Pinto, Ricardo Terra, Eduardo Guerra, Fernanda São Sabbas:
Introducing an Architectural Conformance Process in Continuous Integration. 769-805
Volume 23, Number 9, 2017
- Christian Gütl:
Managing Editor's Column. 806-807 - Mario Bravetti:
RESTful Services and Web-OS Middleware: a Formal Specification Approach. 808-844 - Julia Kasch, Peter van Rosmalen, Marco Kalz:
A Framework towards Educational Scalability of Open Online Courses. 845-867 - Andre Rodrigues Oliveira, Ulisses Dias, Zanoni Dias:
On the Sorting by Reversals and Transpositions Problem. 868-906 - Mohsen Shahriari, Sabrina Haefele, Ralf Klamma:
Using Content to Identify Overlapping Communities in Question Answer Forums. 907-931 - Rebekka Alm:
Contextualization and Recommendation of Annotations to Enhance Information Exchange in Assembly Assistance. 932-951
Volume 23, Number 10, 2017
- Christian Gütl:
Managing Editor's Column. 952 - Enrique Chavarriaga, Francisco Jurado, Fernando Díez:
PsiLight: a Lightweight Programming Language to Explore Multiple Program Execution and Data-binding in a Web-Client DSL Evaluation Engine. 953-968 - Alexandros Fakis, Georgios Karopoulos, Georgios Kambourakis:
OnionSIP: Preserving Privacy in SIP with Onion Routing. 969-991 - Cecilia Veronica Sanz, Verónica Artola, Andrea Guisen, Javier Marco, Eva Cerezo, Sandra Baldassarri:
Shortages and Challenges in Augmentative Communication through Tangible Interaction Using a User-centered Design and Assessment Process. 992-1016
Volume 23, Number 11, 2017
- Christian Gütl:
Managing Editor's Column. 1017 - Johanna Björklund, Loek Cleophas, My Karlsson:
An Evaluation of Structured Language Modeling for Automatic Speech Recognition. 1019-1034 - Giangiacomo Bravo, Mikko Laitinen, Magnus Levin, Welf Löwe, Göran Petersson:
Big Data in Cross-Disciplinary Research. 1035-1037 - Mikko Laitinen, Jonas Lundberg, Magnus Levin, Alexander Lakaw:
Utilizing Multilingual Language Data in (Nearly) Real Time: The Case of the Nordic Tweet Stream. 1038-1956 - Giangiacomo Bravo, Mike Farjam:
Prospects and Challenges for the Computational Social Sciences. 1057-1069 - Andreas Heberle, Welf Löwe, Anders Gustafsson, Örjan Vorrei:
Digitalization Canvas - Towards Identifying Digitalization Use Cases and Projects. 1070-1097 - Koraljka Golub, Joacim Hansson:
(Big) Data in Library and Information Science: A Brief Overview of Some Important Problem Areas. 1098-1108
Volume 23, Number 12, 2017
- Hüseyin Uzunboylu, Ergun Gide:
Mobile Learning and Instructional Mobile Applications. 1109-1112 - Murat Topaloglu, Dilek Kirar:
Developing a BYOD Scale to Measure the Readiness Level: Validity and Reliability Analyses. 1113-1131 - Murat Tezer, Fatih Soykan:
Acceptance Scale of Tablet Computers by Secondary Education Students: Validity and Reliability Study. 1132-1146 - Edgar Marçal, Rossana Maria de Castro Andrade, Windson Viana
:
Development and Evaluation of a Model-Driven System to Support Mobile Learning in Field Trips. 1147-1171 - Muna S. Al-Razgan:
Afaneen: The Design and Evaluation of an Interactive Mobile Game to Enhance Arabic Spelling. 1172-1199 - Teresa Magal Royo, Jesús García Laborda, Sara Price:
A New m-Learning Scenario for a Listening Comprehension Assessment Test in Second Language Acquisition [SLA]. 1200-1214 - Sara Osuna Acedo, Javier Gil-Quintana, Carmen Cantillo-Valero:
Open, Mobile and Collaborative Educational Experience. Case study: The European ECO Project. 1215-1237 - Eser Çeker, Hüseyin Uzunboylu:
A Dilemma on "Web-based/Mobile Assessment" by or for Teachers: A Content Analysis. 1238-1255 - Hasan Özdal, Fezile Ozdamli:
The Effect of Infographics in Mobile Learning: Case Study in Primary School. 1256-1275
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
