On Compositional Modelling

Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. The construction of such mathematical models forms a difficult problem which is often left to the user of the problem solver. This void between problem solvers and the problems is studied by the eclectic field of automated modelling. Within this field, compositional modelling, a knowledge-based methodology for system modelling, has established itself as a leading approach. In general, a compositional modeller organises knowledge in a structure of composable fragments that relate to particular system components or processes. Its embedded inference mechanism chooses the appropriate fragments with respect to a given problem, instantiates and assembles them into a consistent system model. Many different types of compositional modeller exist, however, with significant differences in their knowledge representation and approach to inference. This paper examines compositional modelling. It presents a general framework for building and analysing compositional modellers. Based on this framework, a number of influential compositional modellers are examined and compared. The paper also identifies the strengths and weaknesses of compositional modelling and discusses some typical applications.

Coalition Formation through Motivation and Trust

Cooperation is the fundamental underpinning of multi-agent systems, allowing agents to interact to achieve their goals. Where agents are self-interested, or potentially unreliable, there must be appropriate mechanisms to cope with the uncertainty that arises. In particular, agents must manage the risk associated with interacting with others who have different objectives, or who may fail to fulfil their commitments. Previous work has utilised the notions of motivation and trust in engendering successful cooperation between self-interested agents. Motivations provide a means for representing and reasoning about agents' overall objectives, and trust offers a mechanism for modelling and reasoning about reliability, honesty, veracity and so forth. This paper extends that work to address some of its limitations. In particular, we introduce the concept of a clan: a group of agents who trust each other and have similar objectives. Clan members treat each other favourably when making private decisions about cooperation, in order to gain mutual benefit. We describe mechanisms for agents to form, maintain, and dissolve clans in accordance with their self-interested nature, along with giving details of how clan membership influences individual decision making. Finally, through some simulation experiments we illustrate the effectiveness of clan formation in addressing some of the inherent problems with cooperation among self-interested agents.

On Real-Time Monitoring And Control For Efficient Management Of Drinking Water Networks: Barcelona Case Study

Drinking water utilities in urban areas are focused on finding smart solutions facing new challenges in their real-time operation because of limited water resources, intensive energy requirements, a growing population, a costly and ageing infrastructure, increasingly stringent regulations, and increased attention towards the environmental impact of water use. Such challenges force water managers to monitor and control not only water supply and distribution, but also consumer demand. This paper presents and discusses novel methodologies and procedures towards an integrated water resource management system based on advanced ICT technologies of automation and telecommunications for largely improving the efficiency of drinking water networks (DWN) in terms of water use, energy consumption, water loss minimization, and water quality guarantees. In particular, the paper addresses the first results of the European project EFFINET (FP7-ICT2011-8-318556) devoted to the monitoring and control of the DWN in Barcelona (Spain). Results are split in two levels according to different management objectives: (i) the monitoring level is concerned with all the aspects involved in the observation of the current state of a system and the detection/diagnosis of abnormal situations. It is achieved through sensors and communications technology, together with mathematical models; (ii) the control level is concerned with computing the best suitable and admissible control strategies for network actuators as to optimize a given set of operational goals related to the performance of the overall system. This level covers the network control (optimal management of water and energy) and the demand management (smart metering, efficient supply). The consideration of the Barcelona DWN as the case study will allow to prove the general applicability of the proposed integrated ICT solutions and their effectiveness in the management of DWN, with considerable savings of electricity costs and reduced water loss while ensuring the high European standards of water quality to citizens.

Adaptive, Decentralized, And Real-Time Sampling Strategies For Resource Constrained Hydraulic And Hydrologic Sensor Networks

We discuss the development and performance of a low-power sensor node (hardware, software and algorithms) that autonomously controls the sampling interval of a suite of sensors based on local state estimates and future predictions of water flow. The problem is motivated by the need to accurately reconstruct abrupt state changes in urban watersheds and stormwater systems. Presently, the detection of these events is limited by the temporal resolution of sensor data. It is often infeasible, however, to increase measurement frequency due to energy and sampling constraints. This is particularly true for real-time water quality measurements, where sampling frequency is limited by reagent availability, sensor power consumption, and, in the case of automated samplers, the number of available sample containers. These constraints pose a significant barrier to the ubiquitous and cost effective instrumentation of large hydraulic and hydrologic systems. Each of our sensor nodes is equipped with a low-power microcontroller and a wireless module to take advantage of urban cellular coverage. The node persistently updates a local, embedded model of flow conditions while IP-connectivity permits each node to continually query public weather servers for hourly precipitation forecasts. The sampling frequency is then adjusted to increase the likelihood of capturing abrupt changes in a sensor signal, such as the rise in the hydrograph – an event that is often difficult to capture through traditional sampling techniques. Our architecture forms an embedded processing chain, leveraging local computational resources to assess uncertainty by analyzing data as it is collected. A network is presently being deployed in an urban watershed in Michigan and initial results indicate that the system accurately reconstructs signals of interest while significantly reducing energy consumption and the use of sampling resources. We also expand our analysis by discussing the role of this approach for the efficient real-time measurement of stormwater systems.

Winning the Accreditation Game: The Library as Key Player and Hidden Gold Mine

Libraries are a central hub of information resources supporting college and university curricula. Several library strategies, cross-campus collaborations, and philosophical considerations of electronic and print offerings led to successful accreditations in business and engineering programs.

Revising the Program Portfolio: Elevating Academic Program Performance and Strategic Alignment

At many institutions, program review is an underproductive exercise. Review of existing programs is often a check-the-box formality, with inconsistent criteria and little connection to institutional priorities or funding considerations. Decisions about where to concentrate resources across the portfolio can be highly politicized. This report profiles how academic planning exemplars use program review as a strategic tool, integrating data on academic quality, student demand, and resource utilization to improve the economics of challenged programs and prioritize programs for investment and expansion.

Serosurvey of selected avian pathogens in brazilian commercial Rheas (Rhea americana) and Ostriches (Struthio camelus)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Population structure and effects of inbreeding on milk yield and quality of Murrah buffaloes

To provide data for conservation, selection, and expansion programs of buffalo herds, this study evaluated the history of a population of Murrah buffaloes based on population structure and the effect of inbreeding on accumulated 305-d milk yield (MY), fat yield (FY), protein yield (PY), mozzarella production (MProd), and somatic cell score (SCS). The usefulness of including the individual inbreeding coefficient (F) or individual increase in inbreeding coefficient (Delta F) in the model to describe inbreeding depression was evaluated. Pedigree information from 8,054 animals born between 1976 and 2008 and 4,497 lactation records obtained from 12 herds were used. The realized effective population size was 40.10 +/- 1.27, and the mean F of the entire population was 2.14%. The ratio between the number of founders and ancestors demonstrated the existence of a bottleneck in the pedigree of this population, which may contribute to a reduction of genetic diversity. The effect of F on MY, FY, PY, MProd, and SCS was -1.005 kg, -0.299 kg, -0.246 kg, -1.201 kg, and -0.002 units, and the effect of Delta F transformed to equivalent F (%) for a mean of 2.57 equivalent generations was -4.287 kg, -0.581 kg, -0.383 kg, -2.001 kg, and -0.007 units, respectively. The inbreeding depression observed may have important economic repercussions for production systems. The Delta F can be considered the better of the two indicators of inbreeding depression due to its properties that prevent underestimation of this effect. A designed mating system to avoid inbreeding may be applied to this population to maintain genetic diversity.

Ecological efficiency and thermoeconomic analysis of a cogeneration system at a hospital

This work aims with an approach for cogeneration plants evaluation based on thermoeconomic functional diagram analysis. The second law of thermodynamics is used to develop a methodology to analyse cogeneration systems, based on exergoeconomics evaluation. The thermoeconomic optimisation method developed is applied to allow a better configuration of the cogeneration plant associated to a university hospital. Also ecological efficiency is evaluated. The method was efficient and contributes for thermoeconomics modelling and analysis and can be applied to any sort of thermal system, especially those with combined heat and power in thermal parity. (C) 2012 Elsevier Ltd. All rights reserved.

High levels of genetic differentiation and selfing in the Brazilian cerrado fruit tree Dipteryx alata Vog. (Fabaceae)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Socio-behavioral factors influence prevalence and severity of dental caries in children with primary dentition

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Fortran programs for the time-dependent Gross-Pitaevskii equation in a fully anisotropic trap

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Determination of jet energy calibration and transverse momentum resolution in CMS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Performance of tau-lepton reconstruction and identification in CMS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Analysis of floristic composition and structure as an aid to monitoring protected areas of dense rain forest in southeastern Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)