Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

Controlled interfacial assembly of 2D curved colloidal crystals and jammed shells

Assembly of colloidal particles on fluid interfaces is a promising technique for synthesizing two-dimensional micro-crystalline materials useful in fields as diverse as biomedicine1, materials science2, mineral flotation3 and food processing4. Current approaches rely on bulk emulsification methods, require further chemical and thermal treatments, and are restrictive with respect to the materials employed5-9. The development of methods that exploit the great potential of interfacial assembly for producing tailored materials have been hampered by the lack of understanding of the assembly process. Here we report a microfluidic method that allows direct visualization and understanding of the dynamics of colloidal crystal growth on curved interfaces. The crystals are periodically ejected to form stable jammed shells, which we refer to as colloidal armour. We propose that the energetic barriers to interfacial crystal growth and organization can be overcome by targeted delivery of colloidal particles through hydrodynamic flows. Our method allows an unprecedented degree of control over armour composition, size and stability.Comment: 18 pages, 5 figure

Sociological and Communication-Theoretical Perspectives on the Commercialization of the Sciences

Both self-organization and organization are important for the further development of the sciences: the two dynamics condition and enable each other. Commercial and public considerations can interact and "interpenetrate" in historical organization; different codes of communication are then "recombined." However, self-organization in the symbolically generalized codes of communication can be expected to operate at the global level. The Triple Helix model allows for both a neo-institutional appreciation in terms of historical networks of university-industry-government relations and a neo-evolutionary interpretation in terms of three functions: (i) novelty production, (i) wealth generation, and (iii) political control. Using this model, one can appreciate both subdynamics. The mutual information in three dimensions enables us to measure the trade-off between organization and self-organization as a possible synergy. The question of optimization between commercial and public interests in the different sciences can thus be made empirical.Comment: Science & Education (forthcoming

"Open Innovation" and "Triple Helix" Models of Innovation: Can Synergy in Innovation Systems Be Measured?

The model of "Open Innovations" (OI) can be compared with the "Triple Helix of University-Industry-Government Relations" (TH) as attempts to find surplus value in bringing industrial innovation closer to public R&D. Whereas the firm is central in the model of OI, the TH adds multi-centeredness: in addition to firms, universities and (e.g., regional) governments can take leading roles in innovation eco-systems. In addition to the (transversal) technology transfer at each moment of time, one can focus on the dynamics in the feedback loops. Under specifiable conditions, feedback loops can be turned into feedforward ones that drive innovation eco-systems towards self-organization and the auto-catalytic generation of new options. The generation of options can be more important than historical realizations ("best practices") for the longer-term viability of knowledge-based innovation systems. A system without sufficient options, for example, is locked-in. The generation of redundancy -- the Triple Helix indicator -- can be used as a measure of unrealized but technologically feasible options given a historical configuration. Different coordination mechanisms (markets, policies, knowledge) provide different perspectives on the same information and thus generate redundancy. Increased redundancy not only stimulates innovation in an eco-system by reducing the prevailing uncertainty; it also enhances the synergy in and innovativeness of an innovation system.Comment: Journal of Open Innovations: Technology, Market and Complexity, 2(1) (2016) 1-12; doi:10.1186/s40852-016-0039-

Medication administration errors for older people in long-term residential care

Background Older people in long-term residential care are at increased risk of medication errors. The purpose of this study was to evaluate a computerised barcode medication management system designed to improve drug administrations in residential and nursing homes, including comparison of error rates and staff awareness in both settings. Methods All medication administrations were recorded prospectively for 345 older residents in thirteen care homes during a 3-month period using the computerised system. Staff were surveyed to identify their awareness of administration errors prior to system introduction. Overall, 188,249 attempts to administer medication were analysed to determine the prevalence of potential medication administration errors (MAEs). Error classifications included attempts to administer medication at the wrong time, to the wrong person or discontinued medication. Analysis compared data at residential and nursing home level and care and nursing staff groups. Results Typically each resident was exposed to 206 medication administration episodes every month and received nine different drugs. Administration episodes were more numerous (p < 0.01) in nursing homes (226.7 per resident) than in residential homes (198.7). Prior to technology introduction, only 12% of staff administering drugs reported they were aware of administration errors being averted in their care home. Following technology introduction, 2,289 potential MAEs were recorded over three months. The most common MAE was attempting to give medication at the wrong time. On average each resident was exposed to 6.6 potential errors. In total, 90% of residents were exposed to at least one MAE with over half (52%) exposed to serious errors such as attempts to give medication to the wrong resident. MAEs rates were significantly lower (p < 0.01) in residential homes than nursing homes. The level of non-compliance with system alerts was low in both settings (0.075% of administrations) demonstrating virtually complete error avoidance. Conclusion Potentially inappropriate administration of medication is a serious problem in long-term residential care. A computerised barcode system can accurately and automatically detect inappropriate attempts to administer drugs to residents. This tool can reliably be used by care staff as well as nurses to improve quality of care and patient safety

The plight of the sense-making ape

This is a selective review of the published literature on object-choice tasks, where participants use directional cues to find hidden objects. This literature comprises the efforts of researchers to make sense of the sense-making capacities of our nearest living relatives. This chapter is written to highlight some nonsensical conclusions that frequently emerge from this research. The data suggest that when apes are given approximately the same sense-making opportunities as we provide our children, then they will easily make sense of our social signals. The ubiquity of nonsensical contemporary scientific claims to the effect that humans are essentially--or inherently--more capable than other great apes in the understanding of simple directional cues is, itself, a testament to the power of preconceived ideas on human perception

Signatures of arithmetic simplicity in metabolic network architecture

Metabolic networks perform some of the most fundamental functions in living cells, including energy transduction and building block biosynthesis. While these are the best characterized networks in living systems, understanding their evolutionary history and complex wiring constitutes one of the most fascinating open questions in biology, intimately related to the enigma of life's origin itself. Is the evolution of metabolism subject to general principles, beyond the unpredictable accumulation of multiple historical accidents? Here we search for such principles by applying to an artificial chemical universe some of the methodologies developed for the study of genome scale models of cellular metabolism. In particular, we use metabolic flux constraint-based models to exhaustively search for artificial chemistry pathways that can optimally perform an array of elementary metabolic functions. Despite the simplicity of the model employed, we find that the ensuing pathways display a surprisingly rich set of properties, including the existence of autocatalytic cycles and hierarchical modules, the appearance of universally preferable metabolites and reactions, and a logarithmic trend of pathway length as a function of input/output molecule size. Some of these properties can be derived analytically, borrowing methods previously used in cryptography. In addition, by mapping biochemical networks onto a simplified carbon atom reaction backbone, we find that several of the properties predicted by the artificial chemistry model hold for real metabolic networks. These findings suggest that optimality principles and arithmetic simplicity might lie beneath some aspects of biochemical complexity

Lignin biomarkers as tracers of mercury sources in lakes water column

This study presents the role of specific terrigenous organic compounds as important vectors of mercury (Hg) transported from watersheds to lakes of the Canadian boreal forest. In order to differentiate the autochthonous from the allochthonous organic matter (OM), lignin derived biomarker signatures [Lambda, S/V, C/V, P/(V ? S), 3,5-Bd/V and (Ad/Al)v] were used. Since lignin is exclusively produced by terrigenous plants, this approach can give a non equivocal picture of the watershed inputs to the lakes. Moreover, it allows a characterization of the source of OM and its state of degradation. The water column of six lakes from the Canadian Shield was sampled monthly between June and September 2005. Lake total dissolved Hg concentrations and Lambda were positively correlated, meaning that Hg and ligneous inputs are linked (dissolved OM r2 = 0.62, p\0.0001; particulate OM r2 = 0.76, p\0.0001). Ratios of P/(V ? S) and 3,5-Bd/V from both dissolved OM and particulate OM of the water column suggest an inverse relationship between the progressive state of pedogenesis and maturation of the OM in soil before entering the lake, and the Hg concentrations in the water column. No relation was found between Hg levels in the lakes and the watershed flora composition—angiosperm versus gymnosperm or woody versus non-woody compounds. This study has significant implications for watershed management of ecosystems since limiting fresh terrestrial OM inputs should reduce Hg inputs to the aquatic systems. This is particularly the case for largescale land-use impacts, such as deforestation, agriculture and urbanization, associated to large quantities of soil OM being transferred to aquatic systems

New insights into the classification and nomenclature of cortical GABAergic interneurons.

A systematic classification and accepted nomenclature of neuron types is much needed but is currently lacking. This article describes a possible taxonomical solution for classifying GABAergic interneurons of the cerebral cortex based on a novel, web-based interactive system that allows experts to classify neurons with pre-determined criteria. Using Bayesian analysis and clustering algorithms on the resulting data, we investigated the suitability of several anatomical terms and neuron names for cortical GABAergic interneurons. Moreover, we show that supervised classification models could automatically categorize interneurons in agreement with experts' assignments. These results demonstrate a practical and objective approach to the naming, characterization and classification of neurons based on community consensus