Quantum speed-up for unsupervised learning

We show how the quantum paradigm can be used to speed up unsupervised learning algorithms. More precisely, we explain how it is possible to accelerate learning algorithms by quantizing some of their subroutines. Quantization refers to the process that partially or totally converts a classical algorithm to its quantum counterpart in order to improve performance. In particular, we give quantized versions of clustering via minimum spanning tree, divisive clustering and k-medians that are faster than their classical analogues. We also describe a distributed version of k-medians that allows the participants to save on the global communication cost of the protocol compared to the classical version. Finally, we design quantum algorithms for the construction of a neighbourhood graph, outlier detection as well as smart initialization of the cluster centres.     

Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm

Baker and Cirinei (Lecture Notes in Computer Science, vol. 4878, Springer, pp. 62–75, 2007) have introduced an exact but naive algorithm, that consists in solving a state reachability problem in a finite automaton, to check whether a set of sporadic hard real-time tasks is schedulable on an identical multiprocessor platform. However, this algorithm suffers from poor performance due to the exponential size of the automaton relative to the size of the task set. In this paper, we build on the work of Baker and Cirinei, and rely on their formalism to characterise the complexity of this problem. We prove that it is PSpace-complete. In order to obtain an algorithm that is applicable in practice to systems of realistic sizes, we successfully apply techniques developed by the formal verification community, specifically antichain techniques (Doyen and Raskin in Lecture Notes in Computer Science, vol. 6015, Springer, pp. 2–22, 2010) to this scheduling problem. For that purpose, we define and prove the correctness of a simulation relation on Baker and Cirinei’s automaton. We show that our improved algorithm yields dramatically improved performance for the schedulability test and opens for many further improvements. This work is an extended and revised version of a previous conference paper by the same authors (Lindström et al., Proceedings of the 19th International Conference on Real-Time and Network Systems (RTNS 2011), pp. 25–34, 2011).     

Left invertibility,flatness and identifiability of switched linear dynamical systems: a framework for cryptographic applications

The purpose of this article is to illustrate the potential interest of the control theory framework for cryptographic applications. It is shown that under the properties of left invertibility and flatness, dynamical systems are structurally equivalent to some specific cryptographic primitives called self-synchronising stream ciphers. After having motivated the interest of considering hybrid systems for such ciphers, the development is particularised for the special class of switched linear systems. We also show that identifiability is a necessary condition for security, and we describe an identification procedure as a possible attack and assess its complexity.     

The MISTIGRI thermal infrared project: scientific objectives and mission specifications

This article presents the MISTIGRI project of a microsatellite developed by the French space agency Centre National d'Etudes Spatiales (CNES) in cooperation with Spain (Image Processing Laboratory of the University of Valencia and Centro para el Desarrollo Tecnológico Industrial (CDTI)). MISTIGRI is a mission that has the originality of combining a high spatial resolution (～50 m) with a daily revisit in the thermal infrared (TIR). MISTIGRI is an experimental mission devoted to demonstrate the potential of such TIR data for future operational missions. The scientific goals and expected applications of the mission are described: they encompass the monitoring of (i) agricultural areas and related hydrological processes, (ii) urban areas, and (iii) coastal areas and continental waters. Then, the specifications on spatial resolution, revisit frequency, overpass time, and spectral configuration are justified. The strategy of the mission is based on the combination with a network of long-term experimental sites. It will also make possible observing some areas facing rapid climatic change. The choice of the orbit is presented. Finally, we give rapid overviews of both the instrumental concept and the proposed mission architecture.     

Non-linear dynamic system identification: A multi-model approach

We are concerned with models which are able to describe multiple-input multiple-output (MIMO) non-linear dynamic systems. These models are represented in the form of rules and are known as Tagaki-Sugeno models. An identification algorithm for these models based on input and output data is presented. Parameter estimation is based on the calculation of model sensitivity functions with respect to their parameters. Some aspects of structure identification are also tackled, i.e. determination of local model orders and number of rules.     

Design of a General‐Purpose European Compound Screening Library for EU‐OPENSCREEN

This work describes a collaborative effort to define and apply a protocol for the rational selection of a general‐purpose screening library, to be used by the screening platforms affiliated with the EU‐OPENSCREEN initiative. It is designed as a standard source of compounds for primary screening against novel biological targets, at the request of research partners. Given the general nature of the potential applications of this compound collection, the focus of the selection strategy lies on ensuring chemical stability, absence of reactive compounds, screening‐compliant physicochemical properties, loose compliance to drug‐likeness criteria (as drug design is a major, but not exclusive application), and maximal diversity/coverage of chemical space, aimed at providing hits for a wide spectrum of drugable targets. Finally, practical availability/cost issues cannot be avoided. The main goal of this publication is to inform potential future users of this library about its conception, sources, and characteristics. The outline of the selection procedure, notably of the filtering rules designed by a large committee of European medicinal chemists and chemoinformaticians, may be of general methodological interest for the screening/medicinal chemistry community. The selection task of 200K molecules out of a pre‐filtered set of 1.4M candidates was shared by five independent European research groups, each picking a subset of 40K compounds according to their own in‐house methodology and expertise. An in‐depth analysis of chemical space coverage of the library serves not only to characterize the collection, but also to compare the various chemoinformatics‐driven selection procedures of maximal diversity sets. Compound selections contributed by various participating groups were mapped onto general‐purpose self‐organizing maps (SOMs) built on the basis of marketed drugs and bioactive reference molecules. In this way, the occupancy of chemical space by the EU‐OPENSCREEN library could be directly compared with distributions of known bioactives of various classes. This mapping highlights the relevance of the selection and shows how the consensus reached by merging the five different 40K selections contributes to achieve this relevance. The approach also allows one to readily identify subsets of target‐ or target‐class‐oriented compounds from the EU‐OPENSCREEN library to suit the needs of the diverse range of potential users. The final EU‐OPENSCREEN library, assembled by merging five independent selections of 40K compounds from various expert groups, represents an excellent example of a Europe‐wide collaborative effort toward the common objective of building best‐in‐class European open screening platforms.     

Human‐Finger Electronics Based on Opposing Humidity‐Resistance Responses in Carbon Nanofilms

Carbon nanomaterials have excellent humidity sensing properties. Here, it is demonstrated that multiwalled carbon‐nanotube (MWCNT)‐ and reduced‐graphene‐oxide (rGO)‐based conductive films have opposite humidity/electrical resistance responses: MWCNTs increase their electrical resistance (positive response) and rGOs decrease their electrical resistance (negative response). The authors propose a new phenomenology that describes a “net”‐like model for MWCNT films and a “scale”‐like model for rGO films to explain these behaviors based on contributions from junction resistances (at interparticle junctions) and intrinsic resistances (of the particles). This phenomenology is accordingly validated via a series of experiments, which complement more classical models based on proton conductivity. To explore the practical applications of the converse humidity/resistance responses, a humidity‐insensitive MWCNT/rGO hybrid conductive films is developed, which has the potential to greatly improve the stability of carbon‐based electrical device to humidity. The authors further investigate the application of such films to human‐finger electronics by fabricating transparent flexible devices consisting of a polyethylene terephthalate substrate equipped with an MWCNT/rGO pattern for gesture recognition, and MWCNT/rGO/MWCNT or rGO/MWCNT/rGO patterns for 3D noncontact sensing, which will be complementary to existing 3D touch technology.     

A new and fast method to determine mixing and conductive cooling of thermal waters in carbonate-evaporite environments

A method is proposed, for low-temperature geothermal systems, for calculating the aquifer temperature and relative proportions of mixed thermal and shallow groundwaters from carbonate-evaporite environments. The fluid is assumed to be in chemical equilibrium with anhydrite and chalcedony in the aquifer, and mixed with diluted waters during its ascent. An attempt has been made to establish a relationship between reservoir temperature, the aqueous sulfate and silica contents of the mixed fluid, the proportion of the thermal end-member and the temperature of the adiabatic mixture. The method calculates mineral solubilities in the field context, calibrated on representative thermal springs. The method also considers the effects of conductive cooling.     

Finance and the technology-trade nexus

This paper sketches the contours of the evolving international/monetary system and examines the various roles of the intemediation mechanisms. Then it examines the extent to which the financial system is independent from the “real economy” and the various ways in which it impacts it. The paper discusses some views in good currency on the dynamics of the technology-trade-finance nexus and shows how the financial system influences organization, location and technology choices in meso-innovation systems. The final section of the paper looks at the policy implications that might be derived from the analysis and suggests some directions for the future research.