Abstract
We define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a probabilistic semantics to the classical part. We exercise it with the quantum coin toss program.

Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBMQ, of 5 qubits. We validate the results with the Haken-Strobl model and discuss the influence of environmental parameters on the efficiency of the energy transport.

Abstract
In the past few years, the first commercially available quantum computers have emerged, in an early stage of development, the so-called Noisy Intermediate-Scale Quantum (NISQ) era. Although these devices are still very prone to errors of different natures, they also have shown to deal successfully with small computational problems. Nowadays, one of the challenges in quantum computation is exactly to be able to show that quantum computers are useful, whereby mitigating the effects of the faulty hardware is pivotal. Recently, a wide range of quantum error mitigation techniques have been proposed and successfully implemented, alternative to quantum error correction codes. Herein, we discuss several types of noise in a quantum computer and techniques available to mitigate them, as well as their limitations and conditions of applicability. We also suggest an hierarchy for them, towards the conception of a layered software framework of error mitigation techniques, and implement some of them in a quantum simulation of the Heisenberg model on an IBM quantum computer, improving the fidelity of the simulation by 2.8x.

Abstract
As quantum computing approaches its first commercial implementations, quantum simulation emerges as a potentially ground-breaking technology for several domains, including biology and chemistry. However, taking advantage of quantum algorithms in quantum chemistry raises a number of theoretical and practical challenges at different levels, from the conception to its actual execution. We go through such challenges in a case study of a quantum simulation for the hydrogen (H-2) and lithium hydride (LiH) molecules, at an actual commercially available quantum computer, the IBM Q. The former molecule has always been a playground for testing approximate calculation methods in quantum chemistry, while the latter is just a little bit more complex, lacking the mirror symmetry of the former. Using the variational quantum eigensolver method, we study the molecule's ground state energy versus interatomic distance, under the action of stationary electric fields (Stark effect). Additionally, we review the necessary calculations of the matrix elements of the second quantization Hamiltonian encompassing the extra terms concerning the action of electric fields, using STO-LG-type atomic orbitals to build the minimal basis sets.

Abstract
With the rapidly increasing over 60 and over 80 age groups in society, greater emphasis will be put on technology to detect emergency situations, such as falls, in order to promote independent living. This paper describes the development and deployment of fall-detection, activity classification and energy expenditure algorithms, deployed in a tele-monitoring system. These algorithms were successfully tested in an end-user trial involving 9 elderly volunteers using the system for 28 days.

Abstract
The latest generation of smartphones are increasingly viewed as handheld computers rather than as phones, due to their powerful on-board computing capability, capacious memories, large screens and open operating systems that encourage application development. This paper provides a brief state-of-the-art overview of health and healthcare smartphone apps (applications) on the market today, including emerging trends and market uptake. Platforms available today include Android, Apple iOS, RIM BlackBerry, Symbian, and Windows (Windows Mobile 6.x and the emerging Windows Phone 7 platform). The paper covers apps targeting both laypersons/patients and healthcare professionals in various scenarios, e. g., health, fitness and lifestyle education and management apps; ambient assisted living apps; continuing professional education tools; and apps for public health surveillance. Among the surveyed apps are those assisting in chronic disease management, whether as standalone apps or part of a BAN (Body Area Network) and remote server configuration. We describe in detail the development of a smartphone app within eCAALYX (Enhanced Complete Ambient Assisted Living Experiment, 20092012), an EU-funded project for older people with multiple chronic conditions. The eCAALYX Android smartphone app receives input from a BAN (a patient-wearable smart garment with wireless health sensors) and the GPS (Global Positioning System) location sensor in the smartphone, and communicates over the Internet with a remote server accessible by healthcare professionals who are in charge of the remote monitoring and management of the older patient with multiple chronic conditions. Finally, we briefly discuss barriers to adoption of health and healthcare smartphone apps (e. g., cost, network bandwidth and battery power efficiency, usability, privacy issues, etc.), as well as some workarounds to mitigate those barriers.