Abstract
Bioinformatics Algorithms: Design and Implementation in Python provides a comprehensive book on many of the most important bioinformatics problems, putting forward the best algorithms and showing how to implement them. The book focuses on the use of the Python programming language and its algorithms, which is quickly becoming the most popular language in the bioinformatics field. Readers will find the tools they need to improve their knowledge and skills with regard to algorithm development and implementation, and will also uncover prototypes of bioinformatics applications that demonstrate the main principles underlying real world applications.

Abstract
Design-for-X (DfX) approaches are of great importance to support sustainable development of new products, since the goal of DfX practices is to improve life cycle cost, life cycle environmental performance, increase design flexibility, manufacturing efficiency, etc. Therefore DfX supports a better decision-making process whenever a new complex product is being developed. In this work the new Lean Design-for-X (LDfX) approach is presented embracing the principles of Lean Product Development and Modular Design, for a systematic applicability by design engineers and product managers, assessing the effectiveness and efficiency of a given product design. An LDfX index metric, ranging between 0-100%, and original scorecard were created for consistent decision support for the comparison of different design concepts or products, integrating different "X" domains. The approach was applied in a real design study of a machine tool (press-brake), integrating Ecodesign principles, Design for Structural Optimization and Modular Design. (C) 2018 The Authors. Published by Elsevier B.V.

Abstract
This paper investigates ac-dc-ac multilevel topologies for three-phase four-wire applications obtained from an interconnection of three-leg voltage-source converters. The topologies can be applied in line voltage regulators, universal active power filters, and uninterrupted power supplies. Operating principles, a pulsewidth modulation (PWM) technique, and an overall control strategy are developed. The PWM and control strategies are suitable to regulate the dc-link voltages and to reduce the harmonic distortion, switching stress, and power losses. Simulation results are used to compare the proposed configurations with a conventional solution in terms of harmonic distortion, semiconductor losses, and others characteristics. Experimental results are presented to validate the theoretical considerations and were obtained by using insulated-gate bipolar transistors with dedicated drives and a digital signal processor with appropriated plug-in boards and sensors.

Abstract
Despite great advances in computer-assisted proof systems, writing formal proofs using a traditional computer is still challenging due to mouse-and-keyboard interaction. This leads to scientists often resorting to pen and paper to write their proofs. However, when handwriting a proof, there is no formal guarantee that the proof is correct. In this paper we address this issue and present the initial steps towards a system that allows users to handwrite proofs using a pen-based device and that communicates with an external theorem prover to support the users throughout the proof writing process. We focus on calculational proofs, whereby a theorem is proved by a chain of formulae, each transformed in some way into the next. We present the implementation of a proof-of-concept prototype that can formally verify handwritten calculational proofs without the need to learn the specific syntax of theorem provers.

Abstract
Information Technology (IT) plays an increasingly important role for small and medium-sized enterprises. It has become fundamental for these companies to protect information and IT assets in relation to risks and threats that have grown in recent years. This study aims to understand the importance and structure of an information security policy, using a quantitative study that intends to identify the most important and least relevant elements of an information security policy document. The findings of this study reveal that the top three most important elements in the structure of a security policy are the asset management, security risk management and define the scope of the policy. On the other side, the three least relevant elements include the executive summary, contacts and manual inspection. Additionally, the study reveals that the importance given to each element of the security policy is slightly changed according to the sectors of activity. The elements that show the greatest variability are the review process, executive summary and penalties. On the other side, the purpose of the policy and the asset management present a stable importance for all sectors of activity.

Abstract
Most modern design suites include HLS tools that rise the design abstraction level and provide a fast and direct flow to programmable devices, getting rid of manually coding at the RTL. While HLS greatly reduces the design productivity gap, non-negligible problems arise. For instance, the co-simulation strategy may not provide trustworthy results due to the variable accuracy of simulation, especially when considering dynamic reconfiguration and access to system busses. This work proposes mechanisms aimed at improving the verification accuracy using a real device and a testing framework. One of the mechanisms is the inclusion of physical configuration macros (e.g., clock rate configuration macro) and test assertions based on physical parameters in the verification environment (e.g., timing assertions). In addition it is possible to change some of those parameters, such as clock speed rate, and check the behavior of a hardware component into an overclocking or underclocking scenario. Our on-board testing flow allows faster FPGA iterations to ensure the design intent and the hardware-design behavior match. This flow uses a real device to carry out the verification process and synthesizes only the DUT generating its partial bitstream in a few minutes.