Abstract
ARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems in terms of architectural patterns. The language supports the specification of architectures and their reconfiguration. This paper introduces a language extension for precisely describing the structural design decisions that pattern instances must respect in their (re)configurations. The extension is a propositional modal logic with recursion and nominals referencing components, i.e., a hybrid mu-calculus. Its expressiveness allows specifying safety and liveness constraints, as well as paths and cycles over structures. Refinements of classic architectural patterns are specified.

Abstract
Further improvements in demand response programs implementation are needed in order to take full advantage of this resource, namely for the participation in energy and reserve market products, requiring adequate aggregation and remuneration of small size resources. The present paper focuses on SPIDER, a demand response simulation that has been improved in order to simulate demand response, including realistic power system simulation. For illustration of the simulator's capabilities, the present paper is proposes a methodology focusing on the aggregation of consumers and generators, providing adequate tolls for the demand response program's adoption by evolved players. The methodology proposed in the present paper focuses on a Virtual Power Player that manages and aggregates the available demand response and distributed generation resources in order to satisfy the required electrical energy demand and reserve. The aggregation of resources is addressed by the use of clustering algorithms, and operation costs for the VPP are minimized. The presented case study is based on a set of 32 consumers and 66 distributed generation units, running on 180 distinct operation scenarios.

Abstract
Multi-object astronomical adaptive optics (MOAO) is now a mature wide-field observation mode to enlarge the adaptive-optics-corrected field in a few specific locations over tens of arcminutes. The work-scope provided by open-loop tomography and pupil conjugation is amenable to a spatio-angular linear-quadratic-Gaussian (SA-LQG) formulation aiming to provide enhanced correction across the field with improved performance over static reconstruction methods and less stringent computational complexity scaling laws. Starting from our previous work [J. Opt. Soc. Am. A 31, 101 (2014)], we use stochastic time-progression models coupled to approximate sparse measurement operators to outline a suitable SA-LQG formulation capable of delivering near optimal correction. Under the spatio-angular framework the wavefronts are never explicitly estimated in the volume, providing considerable computational savings on 10-m-class telescopes and beyond. We find that for Raven, a 10-m-class MOAO system with two science channels, the SA-LQG improves the limiting magnitude by two stellar magnitudes when both the Strehl ratio and the ensquared energy are used as figures of merit. The sky coverage is therefore improved by a factor of similar to 5. (C) 2015 Optical Society of America

Abstract
In this paper, a multi-period integrated approach is developed for Generation Expansion Planning (GEP), Transmission Expansion Planning (TEP) and Natural Gas Grid Expansion Planning (NGGEP) problems for large scale systems. New nodal generation requirements, new transmission lines and Natural Gas (NG) pipelines are simultaneously obtained in a multi-period planning horizon. In order to solve the large scale mixed integer nonlinear problem, an approach is developed based on genetic algorithms. The proposed approach performance is investigated by applying it to a typical electric-NG combined grid. Moreover, in order to evaluate the effectiveness of the proposed approach for real-world systems, it has been applied to the Iranian power and NG system. The results indicate that the proposed approach is applicable for large scale systems.

Abstract
Understanding the functional consequences of genetic variation, and how it affects complex human disease and quantitative traits, remains a critical challenge for biomedicine. We present an analysis of RNA sequencing data from 1641 samples across 43 tissues from 175 individuals, generated as part of the pilot phase of the Genotype-Tissue Expression (GTEx) project. We describe the landscape of gene expression across tissues, catalog thousands of tissue-specific and shared regulatory expression quantitative trait loci (eQTL) variants, describe complex network relationships, and identify signals from genome-wide association studies explained by eQTLs. These findings provide a systematic understanding of the cellular and biological consequences of human genetic variation and of the heterogeneity of such effects among a diverse set of human tissues.

Abstract