Abstract
In this paper, we identify a subset of types in the rank 2 intersection type system, where types do not contain positive occurrences of intersections. We extend the notion of pre-grammar of a type and address the type-inhabitation problem for types in this subset, as well as their intersections.

Abstract
Zooplankton plays a key -role on Earth's ecosystem, emerging in the oceans and rivers in great quantities and diversity, making it an important and rather common topic on scientific studies. Given the numbers of different species it is not only necessary to study their numbers but also their classification. In this paper a possible solution for the zooplankton in situ detection and classification problem in real-time is proposed using a portable deep learning approach based on Convolutional Neural Networks deployed on INESC TEC's MarinEye system. For detection a Single Shot Detection model with MobileNet was used, and ZooplanktoNet for classification. System portability is guaranteed with the use of MovidiusTMNeural Compute Stick as the deep learning motor.

Abstract

Abstract
The challenges of financial systems have immediate or medium-term social effects. The financial industry is constantly searching for measures to reduce these challenges, especially for those with little or no access to financial services. While current communication technologies make services more accessible through digital mobile platforms, there are still difficulties in establishing viable customer arrangements. In addition to the increased investment in financial technologies, nonbanking financial institutions have now expanded to offer more flexible services tailored to individual circumstances, especially those in isolated rural areas. This research outlines the network model of nonbanking financial institutions in Romania, as well as a microfinance model, based on the financial analysis of four national indicators of nonbanking financial institutions. Data used are presented in absolute values, from the annual numerical series for the reference period 2007-2017. The new initiatives and features incorporated in this Romanian model should be applicable elsewhere and will actively contribute to the expansion and sustainability of financial services, with a positive inclusive impact on society.

Abstract
This paper proposes a methodology to detect early signs of Parkinson's disease (PD) through free-speech in uncontrolled background conditions. The early detection mechanism uses signal and speech processing techniques integrated with machine learning algorithms. Three distinct speech databases containing patients' recordings at different stages of the PD are used for estimation of the parameters during the training and evaluation stages. The results reveal the potential in using Random Forest (RF) or Support Vector Machine (SVM) techniques. Once tuned, these algorithms provide a reliable computational method for estimating the presence of PD with a very high accuracy.

Abstract
This paper presents a virtual inertia and mechanical power-based control strategy to provide a stable operation of the power grid under high penetration of renewable energy sources (RESs). The proposed control technique is based on a new active and reactive power-based dynamic model with the permanent magnet synchronous generator (PMSG) swing equation, in which all PMSG features i.e., inertia and mechanical power are embedded within the controller as the main contribution of this paper. To present an accurate analysis of the virtual PMSG-based parameters, the desired zero dynamics of the grid angular frequency are considered to evaluate the effects of virtual mechanical power (VMP) on the active and reactive power sharing, as well as the investigation of virtual inertia variations for the grid angular frequency responses. Moreover, by considering various active power errors and virtual inertia, the impacts of active power error on reactive power in the proposed control technique, are precisely assessed. Simulation results are employed in Matlab/Simulink software to verify the stabilizing abilities of the proposed control technique.