Abstract

Abstract
Many countries today are attempting to move into digital transformation to try to improve the efficiency of Government activities and reduce unnecessary costs. This is how the concept of the Digital Government has come to the fore. All agree on the need to guarantee the quality of digitalized services that are provided to the taxpayer. Based on this scenario, this work adapts a validation process for digitalized services, providing a systematic way for test case generation, to guarantee the quality of software products delivered to the public. Amongst the challenges met in this research work, we highlight the lack of requirements for the services analyzed and the impossibility of accessing their source code, which requires a black-box testing process. We observed, based on the results, that the adapted process allowed the validation activity to be done efficiently and systematically, given the peculiarities of the context involved. We report the experience gained after the use of the adapted test process when compared to the previous ad-hoc testing process. Moreover, based on our experience, we identified a subset of tours from exploratory testing more suitable to test web based services, considering the restrictions we have, for improving the quality in the process of digital transformation. Other lessons learned are also presented and we think the results can be useful for testing systems with similar constraints.

Abstract
The lack of physical activity and poor nutrition triggers various diseases, among them is diabetes. In this context, several researches seek ways that can mitigate these diseases to provide a better quality of life for people. Therefore, the present work aims to analyze the possible inhibitors of the enzyme Dipeptidil Peptidase 4 that hypotheses will be stipulated for the creation of new drugs through molecular docking techniques, that is, a computational simulation of combinations of drugs of the family of gliptins with other antidiabetics (metformin, glyburide and cucurbitacin). Among the results, it was observed that the antidiabetic cucurbitacin combined with the gliptines obtained greater energy during the process.

Abstract
This study presents innovative analysis at the time, frequency and phase domain for lower limb joint angular coordination assessment at sagittal plane on human vertical countermovement (CM), comparing long CM on countermovement jump (CMJ) and short CM on drop jump (DJ) from 40 cm step with squat jump (SJ) in the absence of CM. Lower limb CM and muscle stretch-shortening cycle has been pointed as playing a key role on human gait efficiency as well as on run and jump performance with an open issue on objective and quantitative measures for lower limb joint angle coordination assessment at different CM in comparison with no CM condition. Case study is considered from subject specific with 20 years old, 84 kg of body mass and 1.84 m height, selected according to best performance criteria of maximum vertical jump height during CMJ, DJ and SJ from a small sample of n = 6 sports and physical education degree students with (21.5 ± 1.4) years old, (76.7 ± 9.3) kg mass and (1.79 ± 0.06) m height, with no previous injuries, specific sport abilities or training. Calibrated image system with two digital video cameras JVC GR-VL9800 operating at 100 Hz and direct linear transformation (DLT-11) was used along with Simi Motion System and Dempster adapted model with 14 segments to track 3D coordinates of joint marks and obtain joint angles, angular velocities and accelerations at sagittal plane by inverse kinematics. Entire signal analysis was implemented on complementary time, frequency and phase domains for lower limb joint angle coordination assessment at sagittal plane on human vertical jump for comparison of long, short and without CM condition. Comprehensive signal analysis allowed detection of distinct coordination at CMJ from DJ and SJ as well from untrained tested subjects to those reported on trained subjects namely with lower coordination at untrained subjects associated to inaptitude to potentiate short CM and thus presenting lower DJ performance than trained subjects. © Springer Nature Switzerland AG 2019.

Abstract
The prevalence and availability of cloud infrastructures has made them the de facto solution for storing and archiving data, both for organizations and individual users. Nonetheless, the cloud's wide spread adoption is still hindered by dependability and security concerns, particularly in applications with large data collections where efficient search and retrieval services are also major requirements. This leads to an increased tension between security, efficiency, and search expressiveness, which current state of the art solutions try to balance through complex cryptographic protocols that tradeoff efficiency and expressiveness for near optimal security. In this paper we tackle this tension by proposing BISEN, a new provably-secure boolean searchable symmetric encryption scheme that improves these three complementary dimensions by exploring the design space of isolation guarantees offered by novel commodity hardware such as Intel SGX, abstracted as Isolated Execution Environments (IEEs). BISEN is the first scheme to enable highly expressive and arbitrarily complex boolean queries, with minimal information leakage regarding performed queries and accessed data, and verifiability regarding fully malicious adversaries. Furthermore, by exploiting trusted hardware and the IEE abstraction, BISEN reduces communication costs between the client and the cloud, boosting query execution performance. Experimental validation and comparison with the state of art shows that BISEN provides better performance with enriched search semantics and security properties.

Abstract