Fault tolerant embedded systems design by multi-objective optimization

The design of fault tolerant systems is gaining importance in large domains of embedded applications where design constrains are as important as reliability. New software techniques, based on selective application of redundancy, have shown remarkable fault coverage with reduced costs and overheads. However, the large number of different solutions provided by these techniques, and the costly process to assess their reliability, make the design space exploration a very difficult and time-consuming task. This paper proposes the integration of a multi-objective optimization tool with a software hardening environment to perform an automatic design space exploration in the search for the best trade-offs between reliability, cost, and performance. The first tool is commanded by a genetic algorithm which can simultaneously fulfill many design goals thanks to the use of the NSGA-II multi-objective algorithm. The second is a compiler-based infrastructure that automatically produces selective protected (hardened) versions of the software and generates accurate overhead reports and fault coverage estimations. The advantages of our proposal are illustrated by means of a complex and detailed case study involving a typical embedded application, the AES (Advanced Encryption Standard).

Role of potassium orbitals in the metallic behavior of K3picene

Detailed electronic structure calculations of picene clusters doped by potassium modeling the crystalline K3picene structure show that while two electrons are completely transferred from potassium atoms to the lowest-energy unoccupied molecular orbital of pristine picene, the third one remains closely attached to both material components. Multiconfigurational analysis is necessary to show that many structures of almost degenerate total energies compete to define the cluster ground state. Our results prove that the 4s orbital of potassium should be included in any interaction model describing the material. We propose a quarter-filled two-orbital model as the most simple model capable of describing the electronic structure of K-intercalated picene. Precise solutions obtained by a development of the Lanczos method show low-energy electronic excitations involving orbitals located at different positions. Consequently, metallic transport is possible in spite of the clear dominance of interaction over hopping.

Gibbs Energy of Mixing Function: Topological Analysis in Azeotropic Systems

ESAT 2014. 27th European Symposium on Applied Thermodynamics, Eindhoven University of Technology, July 6-9, 2014.

Information systems contracts and relationships: A Spanish perspective

Despite the proliferation of academic research on information systems outsourcing, not many studies analyze the characteristics of outsourcing contracts. This research aims to provide an in-depth description of information systems outsourcing. An additional objective is to examine how these characteristics evolve over time. Finally, this study reports on the usefulness of measuring such characteristics over time to assess the maturity level of the information systems outsourcing. This study gathers the data from the responses of the information systems managers of the largest Spanish firms to a questionnaire. This longitudinal study covers 12 years of research and compares authors' previous research results with the results of this study.

Bifurcation Analysis of Reaction Diffusion Systems on Arbitrary Surfaces

In this article we present a computational framework for isolating spatial patterns arising in the steady states of reaction-diffusion systems. Such systems have been used to model many different phenomena in areas such as developmental and cancer biology, cell motility and material science. Often one is interested in identifying parameters which will lead to a particular pattern. To attempt to answer this, we compute eigenpairs of the Laplacian on a variety of domains and use linear stability analysis to determine parameter values for the system that will lead to spatially inhomogeneous steady states whose patterns correspond to particular eigenfunctions. This method has previously been used on domains and surfaces where the eigenvalues and eigenfunctions are found analytically in closed form. Our contribution to this methodology is that we numerically compute eigenpairs on arbitrary domains and surfaces. Here we present various examples and demonstrate that mode isolation is straightforward especially for low eigenvalues. Additionally we see that if two or more eigenvalues are in a permissible range then the inhomogeneous steady state can be a linear combination of the respective eigenfunctions. Finally we show an example which suggests that pattern formation is robust on similar surfaces in cases that the surface either has or does not have a boundary.

Increasing commuting by transit and ridesharing: many factors should be considered. Comptroller General's report to the Congress.

Mode of access: Internet.

Educational Systems for Maximizing Learning Online and in the Classroom

Thesis (Ph.D.)--University of Washington, 2016-06

Dynamic Models under Uncertainty for Large-Scale Enterprise Systems

Thesis (Ph.D.)--University of Washington, 2016-06

Proteome analysis of extracellular proteins regulated by the las and rhl quorum sensing systems in Pseudomonas aeruginosa PAO1

The las and rhl quorum sensing (QS) systems regulate the expression of several genes in response to cell density changes in Pseudomonas aeruginosa. Many of these genes encode surface-associated or secreted virulence factors. Proteins from stationary phase culture supernatants were collected from wild-type and P. aeruginosa PAO1 mutants deficient in one or more of the lasRI, rhIRI and vfr genes and analysed using two-dimensional gel electrophoresis. All mutants released significantly lower amounts of protein than the wild-type. Protein spot patterns from each strain were compared using image analysis and visible spot differences were identified using mass spectrometry. Several previously unknown OS-regulated proteins were characterized, including an aminopeptidase (PA2939), an endoproteinase (PrpL) and a unique 'hypothetical' protein (PA0572), which could not be detected in the culture supernatants of Delta/as mutants, although they were unaffected in Deltarhl mutants. Chitin-binding protein (CbpD) and a hypothetical protein (PA4944) with similarity to host factor I (HF-1) could not be detected when any of the lasRI or rhIRI genes were disrupted. Fourteen proteins were present at significantly greater levels in the culture supernatants of OS mutants, suggesting that QS may also negatively control the expression of some genes. Increased levels of two-partner secretion exoproteins (PA0041 and PA4625) were observed and may be linked to increased stability of their cognate transporters in a CS-defective background. Known QS-regulated extracellular proteins, including elastase (lasB), LasA protease (lasA) and alkaline metalloproteinase (aprA) were also detected.

Systems for assessing the effectiveness of management in protected areas

Since the mid-1990s, numerous methodologies have been developed to assess the management effectiveness of protected areas, many tailored to particular regions or habitats. Recognizing the need for a generic approach, the World Commission on Protected Areas (WCPA) developed an evaluation framework allowing specific evaluation methodologies to be designed within a consistent overall approach. Twenty-seven assessment methodologies were analyzed in relation to this framework. Two types of data were identified: quantitative data derived from monitoring and qualitative data derived from scoring by managers and stakeholders. The distinction between methodologies based on data types reflects different approaches to assessing management. Few methodologies assess all the WCPA framework elements. More useful information for adaptive management will come from addressing all six elements. The framework can be used to adapt existing methodologies or to design new, more comprehensive methodologies for evaluation, using quantitative monitoring data, qualitative scoring data, or a combination of both.

Improving supportive care for women with breast cancer in Australia: The challenge of modifying health systems

Although the benefits of many psychosocial support strategies in improving well being in women with breast cancer have been demonstrated, few women receive these programs as part of routine care. This paper provides some recommendations, based on experience in Australia, about how access to evidence-based supportive care strategies might be improved through modification of health systems. It demonstrates the paucity of research about the costs and health service implications of psychosocial support strategies, which is vital to health planning and service delivery change. It outlines the systematic approach taken in Australia to improving psychosocial support nationally by: the development of research reviews; preparation of guidelines about supportive care, implementation of programs to foster the adoption of guidelines through modification of policy, health service delivery and clinician training; and monitoring programs. Coalitions of government, health care professionals and consumers are key to effective lobbying for change. If all women with breast cancer are to receive better supportive care, there is a need for approaches which: refocus the research effort in psycho-oncology; develop more strategic approaches to generating change in health systems and health policy and foster partnerships to advocate for improved resources. Copyright (C) 2003 John Wiley Sons, Ltd.

Does terrestrial epidemiology apply to marine systems?

Most of epidemiological theory has been developed for terrestrial systems, but the significance of disease in the ocean is now being recognized. However, the extent to which terrestrial epidemiology can be directly transferred to marine systems is uncertain. Many broad types of disease-causing organism occur both on land and in the sea, and it is clear that some emergent disease problems in marine environments are caused by pathogens moving from terrestrial to marine systems. However, marine systems are qualitatively different from terrestrial environments, and these differences affect the application of modelling and management approaches that have been developed for terrestrial systems. Phyla and body plans are more diverse in marine environments and marine organisms have different life histories and probably different disease transmission modes than many of their terrestrial counterparts. Marine populations are typically more open than terrestrial ones, with the potential for long-distance dispersal of larvae. Potentially, this might enable unusually rapid propagation of epidemics in marine systems, and there are several examples of this. Taken together, these differences will require the development of new approaches to modelling and control of infectious disease in the ocean.

Applying ontologies to business and systems modelling techniques and perspectives: Lessons learned

For many years in the area of business systems analysis and design, practitioners and researchers alike have been searching for some comprehensive basis on which to evaluate, compare, and engineer techniques that are promoted for use in the modelling of systems' requirements. To date, while many frameworks, factors, and facets have been forthcoming, none appear to be based on a sound theory. In light of this dilemma, over the last 10 years, attention has been devoted by researchers to the use of ontology to provide some theoretical basis for the advancement of the business systems modelling discipline. This paper outlines how we have used a particular ontology for this purpose over the last five years. In particular we have learned that the understandability and the applicability of the selected ontology must be clear for IS professionals, the results of any ontological evaluation must be tempered by economic efficiency considerations of the stakeholders involved, and ontologies may have to be focused for the business purpose and type of user involved in the modelling situation.

Gelatinization of starch in mixed sugar systems

Sugars affect the gelatinization of starch, with the effect varying significantly between sugars. Since many food products contain a mixture of sugar sources, it is important to understand how their mixtures affect starch gelatinization. In a Rapid Visco Analyser study of maize starch gelatinization, changing proportions in binary mixtures of refined sugars saw a largely proportionate change in starch gelatinization properties. However, binary mixture of pure sugars and honey, or a model honey system (the main sugars in honey) and honey responded differently. Generally, replacing 25% or 50% of the refined sugar or model honey system with honey gave a large change in starch gelatinization properties, while further increases in honey level had little further effect. Differences between honey and buffered model honey system (either gluconic acid, or a mixture of citric acid and di-sodium phosphate) showed the sensitivity of starch gelatinization to the composition of the nonsaccharide component. (c) 2004 Swiss Society of Food Science and Technology. Published by Elsevier Ltd. All rights reserved.

Quantum phase-space simulations of fermions and bosons

We introduce a unified Gaussian quantum operator representation for fermions and bosons. The representation extends existing phase-space methods to Fermi systems as well as the important case of Fermi-Bose mixtures. It enables simulations of the dynamics and thermal equilibrium states of many-body quantum systems from first principles. As an example, we numerically calculate finite-temperature correlation functions for the Fermi Hubbard model, with no evidence of the Fermi sign problem. (c) 2005 Elsevier B.V. All rights reserved.