Region Segmentation via Deformable Model-Guided Split and Merge

An improved method for deformable shape-based image segmentation is described. Image regions are merged together and/or split apart, based on their agreement with an a priori distribution on the global deformation parameters for a shape template. The quality of a candidate region merging is evaluated by a cost measure that includes: homogeneity of image properties within the combined region, degree of overlap with a deformed shape model, and a deformation likelihood term. Perceptually-motivated criteria are used to determine where/how to split regions, based on the local shape properties of the region group's bounding contour. A globally consistent interpretation is determined in part by the minimum description length principle. Experiments show that the model-based splitting strategy yields a significant improvement in segmention over a method that uses merging alone.

Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

Trophic role of small cetaceans and seals in Irish waters

Understanding the role of marine mammals in specific ecosystems and their interactions with fisheries involves, inter alia, an understanding of their diet and dietary requirements. In this thesis, the foraging ecology of seven marine mammal species that regularly occur in Irish waters was investigated by reconstructing diet using hard parts from digestive tracts and scats. Of the species examined, two (striped and Atlantic white-sided dolphin) can be considered offshore species or species inhabiting neritic waters, while five others usually inhabit more coastal areas (white-beaked dolphin, harbour porpoise, harbour seal and grey seal); the last species studied was the bottlenose dolphin whose population structure is more complex, with coastal and offshore populations. A total of 13,028 prey items from at least 81 different species (62 fish species, 14 cephalopods, four crustaceans, and a tunicate) were identified. 28% of the fish species were identified using bones other than otoliths, highlighting the importance of using all identifiable structures to reconstruct diet. Individually, each species of marine mammal presented a high diversity of prey taxa, but the locally abundant Trisopterus spp. were found to be the most important prey item for all species, indicating that Trisopterus spp. is probably a key species in understanding the role of these predators in Irish waters. In the coastal marine mammals, other Gadiformes species (haddock, pollack, saithe, whiting) also contributed substantially to the diet; in contrast, in pelagic or less coastal marine mammals, prey was largely comprised of planktivorous fish, such as Atlantic mackerel, horse mackerel, blue whiting, and mesopelagic prey. Striped dolphins and Atlantic white-sided dolphins are offshore small cetaceans foraging in neritic waters. Differences between the diet of striped dolphins collected in drift nets targeting tuna and stranded on Irish coasts showed a complex foraging behaviour; the diet information shows that although this dolphin forages mainly in oceanic waters it may occasionally forage on the continental shelf, feeding on available prey. The Atlantic white-sided dolphin diet showed that this species prefers to feed over the continental edge, where planktivorous fish are abundant. Some resource partitioning was found in bottlenose dolphins in Irish waters consistent with previous genetic and stable isotope analysis studies. Bottlenose dolphins in Irish waters appears to be generalist feeders consuming more than 30 prey species, however most of the diet comprised a few locally abundant species, especially gadoid fish including haddock/pollack/saithe group and Trisopterus spp., but the contribution of Atlantic hake, conger eels and the pelagic planktivorous horse mackerel were also important. Stomach content information suggests that three different feeding behaviours might occur in bottlenose dolphin populations in Irish waters; firstly a coastal behaviour, with animals feeding on prey that mainly inhabit areas close to the coast; secondly an offshore behaviour where dolphins feed on offshore species such as squid or mesopelagic fish; and a third more complex behaviour that involves movements over the continental shelf and close to the shelf edge. The other three coastal marine mammal species (harbour porpoise, harbour seal and grey seal) were found to be feeding on similar prey and competition for food resources among these sympatric species might occur. Both species of seals were found to have a high overlap (more than 80%) in their diet composition, but while grey seals feed on large fish (>110mm), harbour seals feed mostly on smaller fish (<110mm), suggesting some spatial segregation in foraging. Harbour porpoises and grey seals are potentially competing for the same food resource but some differences in prey species were found and some habitat partitioning might occur. Direct interaction (by catch) between dolphins and fisheries was detected in all species. Most of the prey found in the stomach contents from both stranded and by catch dolphins were smaller sizes than those targeted by commercial fisheries. In fact, the total annual food consumption of the species studied was found to be very small (225,160 tonnes) in comparison to fishery landings for the same area (~2 million tonnes). However, marine mammal species might be indirectly interacting with fisheries, removing forage fish. Incorporating the dietary information obtained from the four coastal species, an ECOPATH food web model was established for the Irish Sea, based on data from 2004. Five trophic levels were found, with bottlenose dolphins and grey and harbour seals occurring at the highest trophic level. A comparison with a previous model based on 1973 data suggests that while the overall Irish Sea ecosystem appears to be “maturing”, some indices indicate that the 2004 fishery was less efficient and was targeting fish at higher trophic levels than in 1973, which is reflected in the mean trophic level of the catch. Depletion or substantial decrease of some of the Irish Sea fish stocks has resulted in a significant decline in landings in this area. The integration of diet information in mass-balance models to construct ecosystem food-webs will help to understand the trophic role of these apex predators within the ecosystem.

Application description and policy model in collaborative environment for sharing of information on epidemiological and clinical research data sets.

BACKGROUND: Sharing of epidemiological and clinical data sets among researchers is poor at best, in detriment of science and community at large. The purpose of this paper is therefore to (1) describe a novel Web application designed to share information on study data sets focusing on epidemiological clinical research in a collaborative environment and (2) create a policy model placing this collaborative environment into the current scientific social context. METHODOLOGY: The Database of Databases application was developed based on feedback from epidemiologists and clinical researchers requiring a Web-based platform that would allow for sharing of information about epidemiological and clinical study data sets in a collaborative environment. This platform should ensure that researchers can modify the information. A Model-based predictions of number of publications and funding resulting from combinations of different policy implementation strategies (for metadata and data sharing) were generated using System Dynamics modeling. PRINCIPAL FINDINGS: The application allows researchers to easily upload information about clinical study data sets, which is searchable and modifiable by other users in a wiki environment. All modifications are filtered by the database principal investigator in order to maintain quality control. The application has been extensively tested and currently contains 130 clinical study data sets from the United States, Australia, China and Singapore. Model results indicated that any policy implementation would be better than the current strategy, that metadata sharing is better than data-sharing, and that combined policies achieve the best results in terms of publications. CONCLUSIONS: Based on our empirical observations and resulting model, the social network environment surrounding the application can assist epidemiologists and clinical researchers contribute and search for metadata in a collaborative environment, thus potentially facilitating collaboration efforts among research communities distributed around the globe.

Bioenergetic and ecological consequences of diet variability in Atlantic croaker Micropogonias undulatus

Atlantic croaker Micropogonias undulatus is a commercially and ecologically important bottom-associated fish that occurs in marine and estuarine systems from Cape Cod, MA to Mexico. I documented the temporal and spatial variability in the diet of Atlantic croaker in Chesapeake Bay and found that in the summer fish, particularly bay anchovies Anchoa mitchilli, make up at least 20% of the diet of croaker by weight. The use of a pelagic food source seems unusual for a bottom-associated fish such as croaker, but appears to be a crepuscular feeding habit that has not been previously detected. Thus, I investigated the bioenergetic consequences of secondary piscivory to the distribution of croaker, to the condition of individuals within the population and to the ecosystem. Generalized additive models revealed that the biomass of anchovy explained some of the variability in croaker occurrence and abundance in Chesapeake Bay. However, physical factors, specifically temperature, salinity, and seasonal dynamics were stronger determinants of croaker distribution than potential prey availability. To better understand the bioenergetic consequences of diet variability at the individual level, I tested the hypothesis that croaker feeding on anchovies would be in better condition than those feeding on polychaetes using a variety of condition measures that operate on multiple time scales, including RNA:DNA, Fulton's condition factor (K), relative weight (Wr), energy density, hepatosomatic index (HSI), and gonadosomatic index (GSI). Of these condition measures, several morphometric measures were significantly positively correlated with each other and with the percentage (by weight) of anchovy in croaker diets, suggesting that the type of prey eaten is important in improving the overall condition of individual croaker. To estimate the bioenergetic consequences of diet variability on growth and consumption in croaker, I developed and validated a bioenergetic model for Atlantic croaker in the laboratory. The application of this model suggested that croaker could be an important competitor with weakfish and striped bass for food resources during the spring and summer when population abundances of these three fishes are high in Chesapeake Bay. Even though anchovies made up a relatively small portion of croaker diet and only at certain times of the year, croaker consumed more anchovy at the population level than striped bass in all simulated years and nearly as much anchovy as weakfish. This indicates that weak trophic interactions between species are important in understanding ecosystem processes and should be considered in ecosystem-based management.

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

Model sensitivity and uncertainty analysis using roadside air quality measurements

Most of the air quality modelling work has been so far oriented towards deterministic simulations of ambient pollutant concentrations. This traditional approach, which is based on the use of one selected model and one data set of discrete input values, does not reflect the uncertainties due to errors in model formulation and input data. Given the complexities of urban environments and the inherent limitations of mathematical modelling, it is unlikely that a single model based on routinely available meteorological and emission data will give satisfactory short-term predictions. In this study, different methods involving the use of more than one dispersion model, in association with different emission simulation methodologies and meteorological data sets, were explored for predicting best CO and benzene estimates, and related confidence bounds. The different approaches were tested using experimental data obtained during intensive monitoring campaigns in busy street canyons in Paris, France. Three relative simple dispersion models (STREET, OSPM and AEOLIUS) that are likely to be used for regulatory purposes were selected for this application. A sensitivity analysis was conducted in order to identify internal model parameters that might significantly affect results. Finally, a probabilistic methodology for assessing urban air quality was proposed.

Computational model for prediction of particle degradation during dilute-phase pneumatic conveying: modeling of dilute-phase pneumatic conveying

A complete model of particle impact degradation during dilute-phase pneumatic conveying is developed, which combines a degradation model, based on the experimental determination of breakage matrices, and a physical model of solids and gas flow in the pipeline. The solids flow in a straight pipe element is represented by a model consisting of two zones: a strand-type flow zone immediately downstream of a bend, followed by a fully suspended flow region after dispersion of the strand. The breakage matrices constructed from data on 90° angle single-impact tests are shown to give a good representation of the degradation occurring in a pipe bend of 90° angle. Numerical results are presented for degradation of granulated sugar in a large scale pneumatic conveyor.

Policy-based techniques for self-managing parallel applications

This paper presents an empirical investigation of policy-based self-management techniques for parallel applications executing in loosely-coupled environments. The dynamic and heterogeneous nature of these environments is discussed and the special considerations for parallel applications are identified. An adaptive strategy for the run-time deployment of tasks of parallel applications is presented. The strategy is based on embedding numerous policies which are informed by contextual and environmental inputs. The policies govern various aspects of behaviour, enhancing flexibility so that the goals of efficiency and performance are achieved despite high levels of environmental variability. A prototype self-managing parallel application is used as a vehicle to explore the feasibility and benefits of the strategy. In particular, several aspects of stability are investigated. The implementation and behaviour of three policies are discussed and sample results examined.

A robust approach to subsequence matching

In terms of a general time theory which addresses time-elements as typed point-based intervals, a formal characterization of time-series and state-sequences is introduced. Based on this framework, the subsequence matching problem is specially tackled by means of being transferred into bipartite graph matching problem. Then a hybrid similarity model with high tolerance of inversion, crossover and noise is proposed for matching the corresponding bipartite graphs involving both temporal and non-temporal measurements. Experimental results on reconstructed time-series data from UCI KDD Archive demonstrate that such an approach is more effective comparing with the traditional similarity model based algorithms, promising robust techniques for lager time-series databases and real-life applications such as Content-based Video Retrieval (CBVR), etc.

Hybridization of a class of "second order" models of traffic flow

Despite the simultaneous progress of traffic modelling both on the macroscopic and microscopic front, recent works [E. Bourrel, J.B. Lessort, Mixing micro and macro representation of traffic flow: a hybrid model based on the LWR theory, Transport. Res. Rec. 1852 (2003) 193–200; D. Helbing, M. Treiber, Critical discussion of “synchronized flow”, Coop. Transport. Dyn. 1 (2002) 2.1–2.24; A. Hennecke, M. Treiber, D. Helbing, Macroscopic simulations of open systems and micro–macro link, in: D. Helbing, H.J. Herrmann, M. Schreckenberg, D.E. Wolf (Eds.), Traffic and Granular Flow ’99, Springer, Berlin, 2000, pp. 383–388] highlighted that one of the most promising way to simulate efficiently traffic flow on large road networks is a clever combination of both traffic representations: the hybrid modelling. Our focus in this paper is to propose two hybrid models for which the macroscopic (resp. mesoscopic) part is based on a class of second order model [A. Aw, M. Rascle, Resurection of second order models of traffic flow?, SIAM J. Appl. Math. 60 (2000) 916–938] whereas the microscopic part is a Follow-the Leader type model [D.C. Gazis, R. Herman, R.W. Rothery, Nonlinear follow-the-leader models of traffic flow, Oper. Res. 9 (1961) 545–567; R. Herman, I. Prigogine, Kinetic Theory of Vehicular Traffic, American Elsevier, New York, 1971]. For the first hybrid model, we define precisely the translation of boundary conditions at interfaces and for the second one we explain the synchronization processes. Furthermore, through some numerical simulations we show that the waves propagation is not disturbed and the mass is accurately conserved when passing from one traffic representation to another.

Validation of the CDC Biofilm Reactor as a Dynamic Model for Assessment of Encrustation Formation on Urological Device Materials

Contemporary medical science is reliant upon the rational selection and utilization of devices, and therefore, an increasing need has developed for in vitro systems aimed at replicating the conditions to which urological devices will be subjected to during their use in vivo. We report the development and validation of a novel continuous flow encrustation model based on the commercially available CDC biofilm reactor. Proteus mirabilis-induced encrustation formation on test biomaterial sections under varying experimental parameters was analyzed by X-ray diffraction, infrared- and Raman spectroscopy and by scanning electron microscopy. The model system produced encrusted deposits similar to those observed in archived clinical samples. Results obtained for the system are highly reproducible with encrustation being rapidly deposited on test biomaterial sections. This model will have utility in the rapid screening of encrustation behavior of biomaterials for use in urological applications. (C) 2010 Wiley Periodicals. Inc. J Biomed Mater Res Part B: Appl Biomater 93B: 128-140, 2010

Firms and Innovative Conflict Management Systems in Ireland

This article examines the practices adopted by firms in the Republic of Ireland to manage conflict involving groups of employees, focusing in particular on the uptake of 'alternative dispute resolution practices'. The article reveals that conflict management practices take the form of 'systems', and it estimates the incidence of innovative conflict management systems, incorporating alternative dispute resolution (ADR) practices, as involving about 30 per cent of firms. A series of influences are shown to be associated with innovative, ADR-based conflict management systems, especially commitment-oriented HRM practices and whether unions are recognized. © Blackwell Publishing Ltd/London School of Economics 2010.

Response characteristics of optical sensors for oxygen: models based on a distribution in tau(o) or kappa(q)

The features of two popular models used to describe the observed response characteristics of typical oxygen optical sensors based on luminescence quenching are examined critically. The models are the 'two-site' and 'Gaussian distribution in natural lifetime, tau(o),' models. These models are used to characterise the response features of typical optical oxygen sensors; features which include: downward curving Stern-Volmer plots and increasingly non-first order luminescence decay kinetics with increasing partial pressures of oxygen, pO(2). Neither model appears able to unite these latter features, let alone the observed disparate array of response features exhibited by the myriad optical oxygen sensors reported in the literature, and still maintain any level of physical plausibility. A model based on a Gaussian distribution in quenching rate constant, k(q), is developed and, although flawed by a limited breadth in distribution, rho, does produce Stern-Volmer plots which would cover the range in curvature seen with real optical oxygen sensors. A new 'log-Gaussian distribution in tau(o) or k(q)' model is introduced which has the advantage over a Gaussian distribution model of placing no limitation on the value of rho. Work on a 'log-Gaussian distribution in tau(o)' model reveals that the Stern-Volmer quenching plots would show little degree in curvature, even at large rho values and the luminescence decays would become increasingly first order with increasing pO(2). In fact, with real optical oxygen sensors, the opposite is observed and thus the model appears of little value. In contrast, a 'log-Gaussian distribution in k(o)' model does produce the trends observed with real optical oxygen sensors; although it is technically restricted in use to those in which the kinetics of luminescence decay are good first order in the absence of oxygen. The latter model gives a good fit to the major response features of sensors which show the latter feature, most notably the [Ru(dpp)(3)(2+)(Ph4B-)(2)] in cellulose optical oxygen sensors. The scope of a log-Gaussian model for further expansion and, therefore, application to optical oxygen sensors, by combining both a log-Gaussian distribution in k(o) with one in tau(o) is briefly discussed.

High-pressure volumetric properties of imidazolium-based ionic liquids: Effect of the anion

The densities of five imidazolium-based ionic liquids (ILs) (1-butyl-3-methylimidazolium tetrafluoroborate, [CiC4-Im][BF 4]; 1-butyl-3-methylimidazolium hexafluorophosphate, [CiC 4Im][PF6]; 1-butyl-3-methylimidazolium bis{(trifluoromethyl)sulfonyl}imide, [C1C4Im][Tf 2N]; 1-ethyl-3-methylimidazoliumbis{(trifluoromethyl)sulfonyl}-imide, [C1C2Im][Tf2N]; l-ethyl-3-methylimidazolium ethylsulfate, [C1C2Im][EtSO4]) were measured as a function of temperature from (293 to 415) K and over an extended pressure range from (0.1 to 40) MPa using a vibratingtube densimeter. Knowledge of the variation of the density with temperature and pressure allows access to the mechanical coefficients: thermal expansion coefficient and isothermal compressibility. The effects of the anion and of the length of the alkyl chain on the imidazolium ring on the volumetric properties were particularly examined. The mechanical coefficients were compared with those of common organic solvents, water and liquid NaCl. Finally, a prediction model, based on an "ideal" volumetric behavior of the ILs, is proposed to allow calculation of the molar volume of imidazolium-based ionic liquids as a function of temperature. ©2007 American Chemical Society.