Interacting software-agents to support a kind of expert supervision systems

Expert supervision systems are software applications specially designed to automate process monitoring. The goal is to reduce the dependency on human operators to assure the correct operation of a process including faulty situations. Construction of this kind of application involves an important task of design and development in order to represent and to manipulate process data and behaviour at different degrees of abstraction for interfacing with data acquisition systems connected to the process. This is an open problem that becomes more complex with the number of variables, parameters and relations to account for the complexity of the process. Multiple specialised modules tuned to solve simpler tasks that operate under a co-ordination provide a solution. A modular architecture based on concepts of software agents, taking advantage of the integration of diverse knowledge-based techniques, is proposed for this purpose. The components (software agents, communication mechanisms and perception/action mechanisms) are based on ICa (Intelligent Control architecture), software middleware supporting the build-up of applications with software agent features

Meta-analysis of studies analyzing the role of human papillomavirus in the development of bladder carcinoma

PURPOSE We aimed to ascertain the degree of association between bladder cancer and human papillomavirus (HPV) infection. MATERIALS AND METHODS We performed a meta-analysis of observational studies with cases and controls with publication dates up to January 2011. The PubMed electronic database was searched by using the key words "bladder cancer and virus." Twenty-one articles were selected that met the required methodological criteria. We implemented an internal quality control system to verify the selected search method. We analyzed the pooled effect of all the studies and also analyzed the techniques used as follows: 1) studies with DNA-based techniques, among which we found studies with polymerase chain reaction (PCR)-based techniques and 2) studies with non-PCR-based techniques, and studies with non-DNA-based techniques. RESULTS Taking into account the 21 studies that were included in the meta-analysis, we obtained a heterogeneity chi-squared value of Q(exp)=26.45 (p=0.383). The pooled odds ratio (OR) was 2.13 (95% confidence interval [CI], 1.54 to 2.95), which points to a significant effect between HPV and bladder cancer. Twenty studies assessed the presence of DNA. The overall effect showed a significant relationship between virus presence and bladder cancer, with a pooled OR of 2.19 (95% CI, 1.40 to 3.43). Of the other six studies, four examined the virus's capsid antigen and two detected antibodies in serum by Western blot. The estimated pooled OR in this group was 2.11 (95% CI, 1.27 to 3.51), which confirmed the relationship between the presence of virus and cancer. CONCLUSIONS The pooled OR value showed a moderate relationship between viral infection and bladder tumors.

Autonomía comunitaria y caciquismo: identidad étnica, control social y violencia en una comunidad mixe de Oaxaca

La etnografía de la comunidad mixe de Salto de la Tuxpana y del grave conflicto que se produjo entre 2005 y 2007 es el punto de partida del presente artículo. La investigación realizada arrojó como resultado más destacado el descubrimiento de un violento cacicazgo, legitimado ideológicamente en la autonomía comunitaria, la identidad étnica y el reclamo de una jurisdicción propia, y asentado firmemente sobre tres mecanismos de control social: protección a través de la Policía Comunitaria Armada, acceso a la tierra y acceso a los programas de «desarrollo». El caciquismo se define como el régimen político personalista, basado en estructuras clientelares, que monopoliza y controla recursos y votos. También se propone la hipótesis de que la mayor parte de la violencia desplegada por los caciques es el resultado del proceso de reproducción social del mismo sistema político, cuando se genera una faccionalización simétrica de la comunidad, después de un periodo de estabilidad complementaria.

Toward integrated management of cerebral aneurysms

In the last few years, some of the visionary concepts behind the virtual physiological human began to be demonstrated on various clinical domains, showing great promise for improving healthcare management. In the current work, we provide an overview of image- and biomechanics-based techniques that, when put together, provide a patient-specific pipeline for the management of intracranial aneurysms. The derivation and subsequent integration of morphological, morphodynamic, haemodynamic and structural analyses allow us to extract patient-specific models and information from which diagnostic and prognostic descriptors can be obtained. Linking such new indices with relevant clinical events should bring new insights into the processes behind aneurysm genesis, growth and rupture. The development of techniques for modelling endovascular devices such as stents and coils allows the evaluation of alternative treatment scenarios before the intervention takes place and could also contribute to the understanding and improved design of more effective devices. A key element to facilitate the clinical take-up of all these developments is their comprehensive validation. Although a number of previously published results have shown the accuracy and robustness of individual components, further efforts should be directed to demonstrate the diagnostic and prognostic efficacy of these advanced tools through large-scale clinical trials.

Rules or consequences? The role of ethical mindsets in moral dynamics

Recent research on the dynamics of moral behavior has documented two contrastingphenomena - moral consistency and moral balancing. Moral balancing refers to thephenomenon whereby behaving (un)ethically decreases the likelihood of doing so againat a later time. Moral consistency describes the opposite pattern - engaging in(un)ethical behavior increases the likelihood of doing so later on. Three studies supportthe hypothesis that individuals' ethical mindset (i.e., outcome-based versus rule-based)moderates the impact of an initial (un)ethical act on the likelihood of behaving ethicallyin a subsequent occasion. More specifically, an outcome-based mindset facilitates moralbalancing and a rule-based mindset facilitates moral consistency.

Cost system design and cost management in the Spanish public sector

Cost systems have been shown to have developed considerably in recent years andactivity-based costing (ABC) has been shown to be a contribution to cost management,particularly in service businesses. The public sector is composed to a very great extentof service functions, yet considerably less has been reported of the use of ABC tosupport cost management in this sector.In Spain, cost systems are essential for city councils as they are obliged to calculate thecost of the services subject to taxation (eg. waste collection, etc). City councils musthave a cost system in place to calculate the cost of services, as they are legally requirednot to profit , from these services.This paper examines the development of systems to support cost management in theSpanish Public Sector. Through semi-structured interviews with 28 subjects within oneCity Council it contains a case study of cost management. The paper contains extractsfrom interviews and a number of factors are identified which contribute to thesuccessful development of the cost management system.Following the case study a number of other City Councils were identified where activity-based techniques had either failed or stalled. Based on the factors identified inthe single case study a further enquiry is reported. The paper includes a summary usingstatistical analysis which draws attention to change management, funding and politicalincentives as factors which had an influence on system success or failure.

Testing calibrated general equilibrium models

This paper illustrates the philosophy which forms the basis of calibrationexercises in general equilibrium macroeconomic models and the details of theprocedure, the advantages and the disadvantages of the approach, with particularreference to the issue of testing ``false'' economic models. We provide anoverview of the most recent simulation--based approaches to the testing problemand compare them to standard econometric methods used to test the fit of non--lineardynamic general equilibrium models. We illustrate how simulation--based techniques can be used to formally evaluate the fit of a calibrated modelto the data and obtain ideas on how to improve the model design using a standardproblem in the international real business cycle literature, i.e. whether amodel with complete financial markets and no restrictions to capital mobility is able to reproduce the second order properties of aggregate savingand aggregate investment in an open economy.

Monetary policy and exchange rate volatility in a small open economy

We lay out a small open economy version of the Calvo sticky price model, and show how the equilibrium dynamics can be reduced to simple representation in domestic inflation and the output gap. We use the resulting framework to analyze the macroeconomic implications of three alternative rule-based policy regimes for the small open economy: domestic inflation and CPI-based Taylor rules, and an exchange rate peg. We show that a key difference amongthese regimes lies in the relative amount of exchange rate volatility that they entail. We also discuss a special case for which domestic inflation targeting constitutes the optimal policy, and where a simple second order approximation to the utility of the representative consumer can be derived and used to evaluate the welfare losses associated with the suboptimal rules.

Metaheuristics for the bus-driver scheduling problem

We present new metaheuristics for solving real crew scheduling problemsin a public transportation bus company. Since the crews of thesecompanies are drivers, we will designate the problem by the bus-driverscheduling problem. Crew scheduling problems are well known and severalmathematical programming based techniques have been proposed to solvethem, in particular using the set-covering formulation. However, inpractice, there exists the need for improvement in terms of computationalefficiency and capacity of solving large-scale instances. Moreover, thereal bus-driver scheduling problems that we consider can present variantaspects of the set covering, as for example a different objectivefunction, implying that alternative solutions methods have to bedeveloped. We propose metaheuristics based on the following approaches:GRASP (greedy randomized adaptive search procedure), tabu search andgenetic algorithms. These metaheuristics also present some innovationfeatures based on and genetic algorithms. These metaheuristics alsopresent some innovation features based on the structure of the crewscheduling problem, that guide the search efficiently and able them tofind good solutions. Some of these new features can also be applied inthe development of heuristics to other combinatorial optimizationproblems. A summary of computational results with real-data problems ispresented.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Land-use systems affect Archaeal community structure and functional diversity in western Amazon soils

The study of the ecology of soil microbial communities at relevant spatial scales is primordial in the wide Amazon region due to the current land use changes. In this study, the diversity of the Archaea domain (community structure) and ammonia-oxidizing Archaea (richness and community composition) were investigated using molecular biology-based techniques in different land-use systems in western Amazonia, Brazil. Soil samples were collected in two periods with high precipitation (March 2008 and January 2009) from Inceptisols under primary tropical rainforest, secondary forest (5-20 year old), agricultural systems of indigenous people and cattle pasture. Denaturing gradient gel electrophoresis of polymerase chain reaction-amplified DNA (PCR-DGGE) using the 16S rRNA gene as a biomarker showed that archaeal community structures in crops and pasture soils are different from those in primary forest soil, which is more similar to the community structure in secondary forest soil. Sequence analysis of excised DGGE bands indicated the presence of crenarchaeal and euryarchaeal organisms. Based on clone library analysis of the gene coding the subunit of the enzyme ammonia monooxygenase (amoA) of Archaea (306 sequences), the Shannon-Wiener function and Simpson's index showed a greater ammonia-oxidizing archaeal diversity in primary forest soils (H' = 2.1486; D = 0.1366), followed by a lower diversity in soils under pasture (H' = 1.9629; D = 0.1715), crops (H' = 1.4613; D = 0.3309) and secondary forest (H' = 0.8633; D = 0.5405). All cloned inserts were similar to the Crenarchaeota amoA gene clones (identity > 95 %) previously found in soils and sediments and distributed primarily in three major phylogenetic clusters. The findings indicate that agricultural systems of indigenous people and cattle pasture affect the archaeal community structure and diversity of ammonia-oxidizing Archaea in western Amazon soils.

Fuzzy logic applied to the modeling of water dynamics in an Oxisol in northeastern Brazil

Modeling of water movement in non-saturated soil usually requires a large number of parameters and variables, such as initial soil water content, saturated water content and saturated hydraulic conductivity, which can be assessed relatively easily. Dimensional flow of water in the soil is usually modeled by a nonlinear partial differential equation, known as the Richards equation. Since this equation cannot be solved analytically in certain cases, one way to approach its solution is by numerical algorithms. The success of numerical models in describing the dynamics of water in the soil is closely related to the accuracy with which the water-physical parameters are determined. That has been a big challenge in the use of numerical models because these parameters are generally difficult to determine since they present great spatial variability in the soil. Therefore, it is necessary to develop and use methods that properly incorporate the uncertainties inherent to water displacement in soils. In this paper, a model based on fuzzy logic is used as an alternative to describe water flow in the vadose zone. This fuzzy model was developed to simulate the displacement of water in a non-vegetated crop soil during the period called the emergency phase. The principle of this model consists of a Mamdani fuzzy rule-based system in which the rules are based on the moisture content of adjacent soil layers. The performances of the results modeled by the fuzzy system were evaluated by the evolution of moisture profiles over time as compared to those obtained in the field. The results obtained through use of the fuzzy model provided satisfactory reproduction of soil moisture profiles.

La Regla d'extensió del Principi d'Indiferència per a sospesar el grau de veritat i de falsedat d'una mateixa hipòtesi

They present a Rule based in the Principle of Indifference to represent the formation of beliefs in conditions of uncertainty.

Applying machine learning methods to avalanche forecasting

Avalanche forecasting is a complex process involving the assimilation of multiple data sources to make predictions over varying spatial and temporal resolutions. Numerically assisted forecasting often uses nearest neighbour methods (NN), which are known to have limitations when dealing with high dimensional data. We apply Support Vector Machines to a dataset from Lochaber, Scotland to assess their applicability in avalanche forecasting. Support Vector Machines (SVMs) belong to a family of theoretically based techniques from machine learning and are designed to deal with high dimensional data. Initial experiments showed that SVMs gave results which were comparable with NN for categorical and probabilistic forecasts. Experiments utilising the ability of SVMs to deal with high dimensionality in producing a spatial forecast show promise, but require further work.

Application of text-mining for updating protein post-translational modification annotation in UniProtKB.

BACKGROUND: The annotation of protein post-translational modifications (PTMs) is an important task of UniProtKB curators and, with continuing improvements in experimental methodology, an ever greater number of articles are being published on this topic. To help curators cope with this growing body of information we have developed a system which extracts information from the scientific literature for the most frequently annotated PTMs in UniProtKB. RESULTS: The procedure uses a pattern-matching and rule-based approach to extract sentences with information on the type and site of modification. A ranked list of protein candidates for the modification is also provided. For PTM extraction, precision varies from 57% to 94%, and recall from 75% to 95%, according to the type of modification. The procedure was used to track new publications on PTMs and to recover potential supporting evidence for phosphorylation sites annotated based on the results of large scale proteomics experiments. CONCLUSIONS: The information retrieval and extraction method we have developed in this study forms the basis of a simple tool for the manual curation of protein post-translational modifications in UniProtKB/Swiss-Prot. Our work demonstrates that even simple text-mining tools can be effectively adapted for database curation tasks, providing that a thorough understanding of the working process and requirements are first obtained. This system can be accessed at http://eagl.unige.ch/PTM/.