• Trustworthy Orchestration of Container Based Edge Computing Using Permissioned Blockchain 

  El Ioini N; Pahl C (IEEE Press, 2018)

  The need to process the verity, volume and velocity of data generated by today's Internet of Things (IoT) devices has pushed both academia and the industry to investigate new architectural alternatives to support the new ...
• Predicting users' personality from instagram pictures: Using visual and/or content features? 

  Ferwerda B; Tkalcic M (ACM, 2018)

  Instagram is a popular social networking application that allows users to express themselves through the uploaded content and the different filters they can apply. In this study we look at personality prediction from ...
• Flexible and deflated variants of the block shifted GMRES method 

  Sun DL; Huang TZ; Carpentieri B; Jing YF (North-Holland, 2019)

  The solution of linear systems with multiple shifts and multiple right-hand sides given simultaneously is required in many large-scale scientific and engineering applications. In this paper we introduce new flexible and ...
• Exact learning of multivalued dependency formulas 

  Hermo M; Ozaki A (2018)

  The transformation of a relational database schema into fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study the learnability of ...
• Rich Coalitional Resource Games 

  Troquard N (AAAI Press, 2018)

  We propose a simple model of interaction for resource-conscious agents. The resources involved are expressed in fragments of Linear Logic. We investigate a few problems relevant to cooperative games, such as deciding whether ...
• A New Shifted Block GMRES Method with Inexact Breakdowns for Solving Multi-Shifted and Multiple Right-Hand Sides Linear Systems 

  Sun DL; Huang TZ; Carpentieri B; Jing YF (Springer US, 2018)

  We consider the efficient solution of linear systems with multiple shifts and multiple right-hand sides given simultaneously that arise frequently in large-scale scientific and engineering simulations. We introduce a new ...
• A spectrally preconditioned and initially deflated variant of the restarted block GMRES method for solving multiple right-hand sides linear systems 

  Sun DL; Carpentieri B; Huang TZ; Jing YF (Pergamon, 2018)

  The solution of large linear systems with multiple right-hand sides given simultaneously is required in many large-scale scientific and engineering applications modelled by either partial differential or boundary integral ...
• 

  Two applications of concept refinement 

  Confalonieri R; Troquard N; Galliani P; Kutz O; Peñaloza R; Porello D (CEUR-WS, 2018)

  We describe two applications of refinement operators that can generalise and specialise concepts expressed in the ALC description logic language. The first application addresses the problem of analysing the joint coherence ...
• Off-diagonal low-rank preconditioner for difficult PageRank problems 

  Shen ZL; Huang TZ; Carpentieri B; Wen C; Gu XM; Tan XY (North-Holland, 2019)

  PageRank problem is the cornerstone of Google search engine and is usually stated as solving a huge linear system. Moreover, when the damping factor approaches 1, the spectrum properties of this system deteriorate rapidly ...
• ExactLearner: A Tool for Exact Learning of EL Ontologies 

  Duarte R; Konev B; Ozaki A (AAAI Press, 2018)

  We present ExactLearner, a tool for exactly learning and teaching EL terminologies. The learning protocol follows An-gluin’s exact learning model, where an ontology engineer tries to identify an ontology by interacting ...
• Comparing Index Structures for Completeness Reasoning 

  Darari F; Nutt W; Razniewski S (IEEE, 2018)

  Data quality is a major issue in the devel- opment of knowledge graphs. Data completeness is a key factor in data quality pertaining to how broad and deep is information contained in knowledge graphs. As for large- scale ...
• 

  Querying Log Data with Metric Temporal Logic 

  Brandt S; Güzel Kalaycı E; Ryzhikov V; Xiao G; Zakharyaschev M (2018)

  We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We show that datalogMTL is EXPSPACE-complete even ...
• Attributed Description Logics: Reasoning on Knowledge Graphs 

  Krötzsch M; Marx M; Ozaki A; Thost V (AAAI Press, 2018)

  In modelling real-world knowledge, there often arises a need to represent and reason with meta-knowledge. To equip description logics (DLs) for dealing with such ontologies, we enrich DL concepts and roles with finite sets ...
• 

  Theoretical Characterization of Signal Diagnostic Processing Language 

  Savkovic O; Kharlamov E; Xiao G; Mehdi G; Güzel Kalayci E; Nutt W; Roshchin M; Horrocks I (CEUR Workshop Proceedings, 2018)

  In this paper we analyze the theoretical aspects of our semantic rule language, SDRL. Inspired with an industrial collaboration, SDRL is designed to process signals from sensors installed in industrial equipment by filtering, ...
• Harnessing a generalised user behaviour model for next-POI recommendation 

  Massimo D; Ricci F (ACM, 2018)

  Recommender Systems (RSs) are commonly used in web applications to support users in finding items of their interest. In this paper we propose a novel RS approach that supports human decision making by leveraging data ...
• Too long; didn't watch!: extracting relevant fragments from software development video tutorials 

  Ponzanelli L; Bavota G; Mocci M; Di Penta M; Oliveto R; Hasan A; Russo B; Haiduc S; Lanza M (ACM New York, 2019)

  When knowledgeable colleagues are not available, developers resort to offline and online resources, e.g., tutorials, mailing lists, and Q&A websites. These, however, need to be found, read, and understood, which takes its ...
• Eliciting pairwise preferences in recommender systems 

  Kalloori S; Ricci F; Gennari R (ACM, 2018)

  Preference data in the form of ratings or likes for items are widely used in many Recommender Systems. However, previous research has shown that even item comparisons, which generate pairwise preference data, can be used ...
• End-User Software Engineering in K-12 by Leveraging Existing Curricular Activities 

  Fronza I; Pahl C (SciTePress, 2018)

  In recent years, an increasing number of people (called “end-users”) have started to perform a range of activities related to software development, such as coding with domain-specific languages. The research in the area ...
• Bringing the benefits of Agile techniques inside the classroom: a practical guide 

  Fronza I; El Ioini N; Pahl C; Corral L (Springer, 2019)

  Besides professional programmers, many “end-user programmers” write code in their daily life. Given that so much of end-user-created software suffers from quality problems, Software Engineering (SE) is no longer solely ...
• Sparse prefix sums: Constant-time range sum queries over sparse multidimensional data cubes 

  Shekelyan M; Dignös A; Gamper J (2019)

  Prefix sums are a powerful technique to answer range-sum queries over multi-dimensional arrays in O(1) time by looking up a constant number of values in an array of size O(N), where N is the number of cells in the ...

View more