Abstract
As higher education evolves into a multifaceted and complex activity, the incorporation of education management information systems (EMIS) that allows for the production of relevant, organized and structured information, becomes a necessity for both institutions and students. Despite the recognition of this requirement, existing literature does not focus on how EMIS might trigger students' success. With this in mind, an initial proposal of a multi-perspective EMIS success model is presented and a validation on the possible existence of linear correlations between the model contexts is described. Moderate correlations have been detected between the majority of the model contexts and a very strong correlation has been detected between students' satisfaction and the arise of net benefits associated with the use of EMIS.

Abstract
Vine culture is influenced by many factors, such as the weather, soil or topography, which are triggers to phytosanitary issues. Among them are some diseases, that are responsible for major economic losses that can, however, be managed with timely interventions in the field, viable of leading to effective results by preventing damage propagation. While not all symptoms might present a visible evidence, hyperspectral sensors can tackle this aspect with their ability for measuring hundreds of continuously sparse bands that range beyond the eye-perceptible spectrum. Having such research line in mind in this work, a hyperspectral sensor was applied to analyse the spectral status of vine leaves samples, collected in three chronologically distinct campaigns, while costly and destructive laboratory methods were used to track Flavescence Dorée (FD) in the same samples, for a ground truth information. Regarding data processing, machine learning approaches were used, in which several classifiers were selected to detect FD in vine leaves hyperspectral images. The goal was to evaluate and find most suitable classifier for this task. © 2019 International Society for Photogrammetry and Remote Sensing.

Abstract
Context-free languages are highly important in computer language processing technology as well as in formal language theory. The Pumping Lemma for Context-Free Languages states a property that is valid for all context-free languages, which makes it a tool for showing the existence of non-context-free languages. This paper presents a formalization, extending the previously formalized Lemma, of the fact that several well-known languages are not context-free. Moreover, we build on those results to construct a formal proof of the well-known property that context-free languages are not closed under intersection. All the formalization has been mechanized in the Coq proof assistant.

Abstract
Emerging markets contain the vast majority of the world's population. Despite the enormous number of inhabitants, these markets still lack a proper finance infrastructure. One of the main difficulties felt by customers is the access to loans. This limitation arises from the fact that most customers usually lack a verifiable credit history. As such, traditional banks are unable to provide loans. This paper proposes credit scoring modeling based on non-traditional-data, acquired from smartphones, for loan classification processes. We use Logistic Regression (LR) and Support Vector Machine (SVM) models which are the top linear models in traditional banking. Then we compared the transformation of the training datasets creating boolean indicators against the categorization using Weight of Evidence (WoE). Our models surpassed the performance of the manual loan application selection process, improving the approval rate and decreasing the overdue rate. Compared to the baseline, the loans approved by meeting the criteria of the SVM model presented a decreased overdue rate. At the same time, using the score generated by a SVM model we were able to grant more loans. This paper shows that credit scoring can be useful in emerging markets. The non-traditional data can be used to build robust algorithms that can identify good borrowers as in traditional banking.

Abstract
Petri nets play a central role in the formal modelling of a wide range of complex systems and scenarios. Their ability to handle with both concurrency and resource awareness justifies their spread in the current formal development practices. On the logic side, Dynamic Logics are widely accepted as the de facto formalisms to reason about computational systems. However, as usual, the application to new situations raises new challenges and issues. The ubiquity of failures in the execution of current systems, interpreted in these models as triggered events that are not followed by the corresponding transition, entails not only the adjustment of these structures to deal with this reality, but also the introduction of new logics adequate to this emerging phenomenon. This paper contributes to this challenge by exploring a combination of two previous works of the authors, namely the Propositional Dynamic Logic for Petri Nets [1] and a parametric construction of multi-valued dynamic logics presented in [13]. This exercise results in a new family of Dynamic Logics for Petri Nets suitable to deal with firing failures. © 2019, IFIP International Federation for Information Processing.

Abstract