Generation of human computational models with machine learning

Services in smart environments pursue to increase the quality of people?s lives. The most important issues when developing this kind of environments is testing and validating such services. These tasks usually imply high costs and annoying or unfeasible real-world testing. In such cases, artificial societies may be used to simulate the smart environment (i.e. physical environment, equipment and humans). With this aim, the CHROMUBE methodology guides test engineers when modeling human beings. Such models reproduce behaviors which are highly similar to the real ones. Originally, these models are based on automata whose transitions are governed by random variables. Automaton?s structure and the probability distribution functions of each random variable are determined by a manual test and error process. In this paper, it is presented an alternative extension of this methodology which avoids the said manual process. It is based on learning human behavior patterns automatically from sensor data by using machine learning techniques. The presented approach has been tested on a real scenario, where this extension has given highly accurate human behavior models,

Formalizing operator task analysis

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.

Experimental chronic low-frequency resistance training produces skeletal muscle hypertrophy in the absence of muscle damage and metabolic stress markers

Volitional animal resistance training constitutes an important approach to modeling human resistance training. However, the lack of standardization protocol poses a frequent impediment to the production of skeletal muscle hypertrophy and the study of related physiological variables (i.e., cellular damage/inflammation or metabolic stress). Therefore, the purposes of the present study were: (1) to test whether a long-term and low frequency experimental resistance training program is capable of producing absolute increases in muscle mass; (2) to examine whether cellular damage/inflammation or metabolic stress is involved in the process of hypertrophy. In order to test this hypothesis, animals were assigned to a sedentary control (C, n = 8) or a resistance trained group (RT, n = 7). Trained rats performed 2 exercise sessions per week (16 repetitions per day) during 12 weeks. Our results demonstrated that the resistance training strategy employed was capable of producing absolute mass gain in both soleus and plantaris muscles (12%, p<0.05). Furthermore, muscle tumor necrosis factor (TNF-alpha) protein expression (soleus muscle) was reduced by 24% (p<0.01) in trained group when compared to sedentary one. Finally, serum creatine kinase (CK) activity and serum lactate concentrations were not affected in either group. Such information may have practical applications if reproduced in situations where skeletal muscle hypertrophy is desired but high mechanical stimuli of skeletal muscle and inflammation are not. Copyright (C) 2010 John Wiley & Sons, Ltd.

Birds in an Australian rainforest: Their attraction for visitors and visitors' ecological impacts

Lamington National Park in Queensland, Australia is noted for its rainforest and is part of the World Heritage listed property but prior to this work, no systematic study has been done of the importance of birds to its visitors. This study is based on data from survey forms handed to visitors at an important site in the park and completed by visitors following their visit. It yielded 622 useable responses. These enabled us to establish the comparative importance of birds as an attraction to this site for this sample of visitors. Furthermore, logit regression is used to target analysis and to identify factors that increase the likelihood of a visitor saying that birds are an important attraction. In addition, the relative importance to visitors of various attributes of birds at this site is established. These attributes include hearing birds, diversity of birds, seeing lots of birds, presence of rare birds, presence of brightly coloured birds and physical contact with birds. Logit regression analysis is used to isolate independent variables that increase or decrease the likelihood that visitors find diversity of birds, brightly coloured birds or physical contact with birds at this site to be important. For example, factors such as the level of education of visitors, their gender, knowledge of birds and conservation attitudes and statistically significant influences. As a result of the analysis potential conflicts between different types of park visitors in relation to human interaction with birds are identified. Some potential ecological implications of human interactions with birds are modelled and discussed, and their economic conservation and biodiversity consequences are considered

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Evaluation of the respiratory motion effect in small animal PET images with GATE Monte Carlo simulations

The rapid growth in genetics and molecular biology combined with the development of techniques for genetically engineering small animals has led to increased interest in in vivo small animal imaging. Small animal imaging has been applied frequently to the imaging of small animals (mice and rats), which are ubiquitous in modeling human diseases and testing treatments. The use of PET in small animals allows the use of subjects as their own control, reducing the interanimal variability. This allows performing longitudinal studies on the same animal and improves the accuracy of biological models. However, small animal PET still suffers from several limitations. The amounts of radiotracers needed, limited scanner sensitivity, image resolution and image quantification issues, all could clearly benefit from additional research. Because nuclear medicine imaging deals with radioactive decay, the emission of radiation energy through photons and particles alongside with the detection of these quanta and particles in different materials make Monte Carlo method an important simulation tool in both nuclear medicine research and clinical practice. In order to optimize the quantitative use of PET in clinical practice, data- and image-processing methods are also a field of intense interest and development. The evaluation of such methods often relies on the use of simulated data and images since these offer control of the ground truth. Monte Carlo simulations are widely used for PET simulation since they take into account all the random processes involved in PET imaging, from the emission of the positron to the detection of the photons by the detectors. Simulation techniques have become an importance and indispensable complement to a wide range of problems that could not be addressed by experimental or analytical approaches.

Electrochemical studies on small electron transfer proteins using membrane electrodes

Journal of Electroanalytical Chemistry 541 (2003) 153-162

Comuns: An Open-Data Provider, Explorer and Analytic Toolbox Based on FOSS

Contém resumo

Sylvatic triatominae: a new challenge in vector control transmission

Over the last 10 years, Uruguay, Chile and Brazil have been certified as being free from disease transmission by Triatoma infestans, the main domiciliated vector for Chagas disease in the Southern Cone countries. This demonstrates that programmes addressing the vector for the disease's transmission are effective. These programmes have resulted in a dramatic decrease in the incidence of Chagas disease in Latin America. Guatemala was certified a few months ago as being free from disease transmission by Rhodnius prolixus, the main domiciliated vector for Chagas disease in Central American countries. However, the main concern for different countries' current control programmes is the continuity and sustainability of future vector control actions. The prevalence and incidence figures for individuals infected by Trypanosoma cruzi in Mexico and Andean and Central American countries highlights the need for broadened strategies in the struggle against the disease and its vectors. A number of triatomine insects are parasite vectors, each with a different life history. Therefore, it is important that new vector control strategies be proposed, keeping in mind that some species are found in peridomiciliary areas and wild ecotopes. The only viable control strategy is to reduce human interactions with vector insects so that the re-infestation and re-colonisation of human habitats will not take place.

Interpreting marine benthic ecosystem functioning in coastal waters: validating the biological trait concept

Coastal areas harbour high biodiversity, but are simultaneously affected by rapid degradations of species and habitats due to human interactions. Such alterations also affect the functioning of the ecosystem, which is primarily governed by the characteristics or traits expressed by the organisms present. Marine benthic fauna is nvolved in numerous functions such as organic matter transformation and transport, secondary production, oxygen transport as well as nutrient cycling. Approaches utilising the variety of faunal traits to assess benthic community functioning have rapidly increased and shown the need for further development of the concept. In this thesis, I applied biological trait analysis that allows for assessments of a multitude of categorical traits and thus evaluation of multiple functional aspects simultaneously. I determined the functional trait structure, diversity and variability of coastal zoobenthic communities in the Baltic Sea. The measures were related to recruitment processes, habitat heterogeneity, large-scale environmental and taxonomic gradients as well as anthropogenic impacts. The studies comprised spatial scales from metres to thousands of kilometres, and temporal scales spanning one season as well as a decade. The benthic functional structure was found to vary within and between seagrass landscape microhabitats and four different habitats within a coastal bay, in papers I and II respectively. Expressions of trait categories varied within habitats, while the density of individuals was found to drive the functional differences between habitats. The findings in paper III unveiled high trait richness of Finnish coastal benthos (25 traits and 102 cateogries) although this differed between areas high and low in salinity and human pressure. In paper IV, the natural reduction in taxonomic richness across the Baltic Sea led to an overall reduction in function. However, functional richness in terms of number of trait categories remained comparatively high at low taxon richness. Changes in number of taxa within trait categories were also subtle and some individual categories were maintained or even increased. The temporal analysis in papers I and III highlighted generalities in trait expressions and dominant trait categories in a seagrass landscape as well as a “type organism” for the northern Baltic Sea. Some initial findings were made in all four papers on the role of common and rare species and traits for benthic community functioning. The findings show that common and rare species may not always express the same trait categories in relation to each other. Rare species in general did not express unique functional properties. In order to advance the understanding of the approach, I also assessed some issues concerning the limitations of the concept. This was conducted by evaluating the link between trait category and taxonomic richness using especially univariate measures. My results also show the need to collaborate nationally and internationally on safeguarding the utility of taxonomic and trait data. The findings also highlight the importance of including functional trait information into current efforts in marine spatial planning and biomonitoring.

Évaluation des niveaux d’éthanolémie résultant de l’exposition à l’éthanol par inhalation : études chez des volontaires et modélisation toxicocinétique

Un modèle pharmacocinétique à base physiologique (PBPK) d’exposition par inhalation à l’éthanol a antérieurement été développé en se basant sur des données provenant d’une étude chez des volontaires exposés par inhalation à plus de 5000 ppm. Cependant, une incertitude persiste sur la capacité du modèle PBPK à prédire les niveaux d’éthanolémie pour des expositions à de faibles concentrations. Ces niveaux sont fréquemment rencontrés par une large partie de la population et des travailleurs suite à l’utilisation de produits tels que les vernis et les solutions hydroalcooliques (SHA). Il est ainsi nécessaire de vérifier la validité du modèle existant et de déterminer l’exposition interne à l’éthanol dans de telles conditions. Les objectifs du mémoire sont donc 1) de documenter les niveaux d’éthanolémie résultant de l’exposition par inhalation à de faibles concentrations d’éthanol (i.e., ≤ 1000 ppm) et de valider/raffiner le modèle PBPK existant pour ces concentrations ; et 2) de déterminer les concentrations d’éthanol atmosphérique provenant d’utilisation de SHA et de vernis et de prédire les niveaux d’éthanolémie découlant de leur utilisation. Les données toxicocinétiques récoltées chez des volontaires nous suggèrent qu’il est insuffisant de limiter au foie la clairance métabolique de l’éthanol lors d’exposition à de faibles niveaux d’éthanol, contrairement aux expositions à de plus forts niveaux. De plus, il a clairement été démontré qu’un effort physique léger (50 W) influençait à la hausse (2-3 fois) l’éthanolémie des volontaires exposés à 750 ppm. L’ajout au modèle PBPK d’une clairance métabolique de haute affinité et de faible capacité associée aux tissus richement perfusés a permis de simuler plus adéquatement la cinétique de l’éthanolémie pour des expositions à des concentrations inférieures à 1000 ppm. Des mesures de concentrations d’éthanol dans l’air inhalé générées lors d’utilisation de SHA et de vernis ont permis de simuler des expositions lors de l’utilisation de ces produits. Pour l’utilisation de 1,5 g et 3 g de SHA dans un local peu ventilé, des concentrations sanguines maximales (Cmax) de 0.383 et 0.366 mg.L-1 ont été respectivement simulées. Dans un local bien ventilé, les Cmax simulées étaient de 0.264 et 0.414 mg.L-1. Selon les simulations, une application de vernis résulterait en une Cmax respectivement de 0.719 mg.L-1 et de 0.729 mg.L-1, chez les hommes et femmes. Les Cmax sanguines d’éthanol estimées suites aux différentes simulations sont inférieures à la concentration toxique pour les humains (100 mg.L-1). Ainsi, de telles expositions ne semblent pas être un danger pour la santé. Les résultats de cette étude ont permis de mieux décrire et comprendre les processus d’élimination de l’éthanol à faibles doses et permettront de raffiner l’évaluation du risque associé à l’inhalation chronique de faibles niveaux d’éthanol pour la population, particulièrement chez les travailleurs.

Les patterns de Christopher Alexander appliqués aux cuisines domiciliaires modernes

La présente recherche traite des conflits d’aménagement pouvant être décelés dans les cuisines domiciliaires modernes. L’ajout d’objets mécanisés au rituel alimentaire quotidien a su changer la dynamique du lieu. En effet, l’architecture des cuisines modernes en Occident présente de grandes contradictions. Basées sur des standards architecturaux, les cuisines modulaires ne reflètent pas la variété et l’unicité des aliments auxquels les cuisines sont dédiées. Les cuisines devraient être le miroir de la vivacité naturelle des aliments et des échanges humains que la nourriture génère à travers le plaisir et le partage. Dans l’espoir de proposer des outils afin de rééquilibrer la dynamique de cette pièce, un cadre théorique basé sur les théories architecturales de l’architecte et mathématicien anglais Christopher Alexander a été établi. Supportant la présente recherche, ces théories architecturales s’inspirent de la structure et de la composition des choses de la nature et des monuments anciens afin d’établir des balises d’aménagement simples et équilibrées (qualité de vie, patterns, configuration des événements, configurations de l’espace, ...). Ces théories ont aidé à concevoir une formule d’ateliers participatifs qui visent à outiller les occupants, qui sont très souvent des non-professionnels du domaine de l’architecture et du design. Ces ateliers proposent un cheminement bien encadré qui permet aux participants de retravailler leur espace de cuisine respectif selon leurs goûts et leurs besoins. En fournissant un plan de l’étage où se situe la cuisine, quelques crayons, règles et autres matériel de dessin, les participants ont pour tâche de réaménager leur cuisine en un espace de cuisine idéal. La deuxième étape, qui elle se réalise en équipe avec tous les occupants participants de la demeure, consiste à réduire l’ampleur des changements afin d’arriver à un résultat réaliste. L’enthousiasme noté tout au long de ce processus a ainsi permis de confirmer que les non-professionnels du domaine de l’architecture et du design peuvent développer un intérêt marqué pour l’amélioration de leurs interactions quotidiennes, avec l’espace et entre les occupants, lorsque bien accompagnés dans cette tâche. Grâce aux propos et aux plans recueillis durant les séances d’ateliers participatifs ainsi qu’à l’analyse de ces données, une série d’interprétations ont émergé. Les données ont notamment démontrées l’influence positive de l’utilisation des patterns d’Alexander. L’analyse permet, en outre, de noter les tendances d’aménagement ayant émergé de l’utilisation des patterns dans les espaces de cuisine : définitivement, les cuisines se sont transformées en espace de vie partagé et polyvalent. Finalement, la présente recherche se conclut grâce à une série de recommandations qui traitent de la structure des cuisines, des ateliers participatifs et des patterns. Tout d’abord, l’impact de ces notions sur les espaces retravaillés par les participants est impressionnant. Les espaces sont bien organisés, vastes et, surtout, reflètent les occupants qui y vivent au quotidien. De plus, ayant démontré la facilité d’utilisation et la polyvalence des patterns, il a été jugé que certains aspects devraient être améliorés tels que l’actualisation de certains patterns, le prolongement du processus d’ateliers, le perfectionnement de la méthode et la diffusion des résultats.

Biochemical effects of the pesticide Chlorpyrifos on the fish Oreochromis mossambicus (Peters)

Man uses a variety of synthetic material for his comfortable materialistic life. Thus human interactions may become harmful for various terrestrial and aquatic lives. This is by contaminating their habitat and by becoming a threat to organisms itself. Thus the application and dispersal of several organic pollutants can lead to the development of several mutated forms of the species when exposed to sublethal concentrations of the pollutants. Otherwise, a decrease in number or extinction of these exposed species from earth's face may happen. Pesticides, we use for the benefit of crop yield, but its persistence may become havoc to non-target organism. Pesticides reaching a reservoir can subsequently enter the higher trophic levels. Organophosphorus compounds have replaced all other pesticides, due to its acute toxicity and non-persistent nature.Hence the present study has concentrated on the toxicity of the largest market-selling and multipurpose pesticide, chlorpyrifos on the commonly edible aquatic organism, fish. The euryhaline cichlid Oreochromis mossambicus was selected as animal model. The study has concentrated on investigating biochemical parameters like tissue-specific enzymes, antioxidant and lipid-peroxidation parameters, haematological and histological observations and pesticide residue analysis.Major findings of this work have indicated the possibility of aquatic toxicity to the fish on exposure to the insecticide chlorpyrifos. The insecticide was found as effective to induce structural alteration, depletion in protein content, decrease in different metabolic enzyme levels and to progress lipid peroxidation on a prolonged exposure of 21 days. The ion-transport mechanism was found to be adversely affected. Electrophoretic analysis revealed the disappearance of several protein bands after 21days of exposure to chlorpyrifos. Residue, analysis by gas chromatography explored the levels of chlorpyrifos retaining on the edible tissue portions during exposure period of 21days and also on a recovery period of 10 days.

Exploring business and IT alignment mechanisms: toward a learning perspective

Numerous studies have attempted to develop strategic alignment mechanisms. The strategic alignment mechanism is broken down into two categories namely: strategy process and strategy content. Our review shows that alignment research has been carried out in isolation. We see this as having had the effect of limiting the extent to which executives can understand elements of performance. We confer with a number of researchers in postulating that using a mechanism such as multilevel learning to combine strategy content and strategy process under one metaphor can greatly facilitate, through exploration and exploitation, the understanding not only of human interactions within a firm, but also of the interaction existent between a firm and its environment. The findings in this study further support the idea of integrating strategy process and content to have a better understating of alignment maturity and impact on business performance. It also elaborates the affect of misalignment in companies on performance.

A digital ecosystems model of assessment feedback on student learning

The term ecosystem has been used to describe complex interactions between living organisms and the physical world. The principles underlying ecosystems can also be applied to complex human interactions in the digital world. As internet technologies make an increasing contribution to teaching and learning practice in higher education, the principles of digital ecosystems may help us understand how to maximise technology to benefit active, self-regulated learning especially among groups of learners. Here, feedback on student learning is presented within a conceptual digital ecosystems model of learning. Additionally, we have developed a Web 2.0-based system, called ASSET, which incorporates multimedia and social networking features to deliver assessment feedback within the functionality of the digital ecosystems model. Both the digital ecosystems model and the ASSET system are described and their implications for enhancing feedback on student learning are discussed.