Modelling, control and supervision for a class of hybrid systems

The aim of this thesis is to narrow the gap between two different control techniques: the continuous control and the discrete event control techniques DES. This gap can be reduced by the study of Hybrid systems, and by interpreting as Hybrid systems the majority of large-scale systems. In particular, when looking deeply into a process, it is often possible to identify interaction between discrete and continuous signals. Hybrid systems are systems that have both continuous, and discrete signals. Continuous signals are generally supposed continuous and differentiable in time, since discrete signals are neither continuous nor differentiable in time due to their abrupt changes in time. Continuous signals often represent the measure of natural physical magnitudes such as temperature, pressure etc. The discrete signals are normally artificial signals, operated by human artefacts as current, voltage, light etc. Typical processes modelled as Hybrid systems are production systems, chemical process, or continuos production when time and continuous measures interacts with the transport, and stock inventory system. Complex systems as manufacturing lines are hybrid in a global sense. They can be decomposed into several subsystems, and their links. Another motivation for the study of Hybrid systems is the tools developed by other research domains. These tools benefit from the use of temporal logic for the analysis of several properties of Hybrid systems model, and use it to design systems and controllers, which satisfies physical or imposed restrictions. This thesis is focused in particular types of systems with discrete and continuous signals in interaction. That can be modelled hard non-linealities, such as hysteresis, jumps in the state, limit cycles, etc. and their possible non-deterministic future behaviour expressed by an interpretable model description. The Hybrid systems treated in this work are systems with several discrete states, always less than thirty states (it can arrive to NP hard problem), and continuous dynamics evolving with expression: with Ki ¡ Rn constant vectors or matrices for X components vector. In several states the continuous evolution can be several of them Ki = 0. In this formulation, the mathematics can express Time invariant linear system. By the use of this expression for a local part, the combination of several local linear models is possible to represent non-linear systems. And with the interaction with discrete events of the system the model can compose non-linear Hybrid systems. Especially multistage processes with high continuous dynamics are well represented by the proposed methodology. Sate vectors with more than two components, as third order models or higher is well approximated by the proposed approximation. Flexible belt transmission, chemical reactions with initial start-up and mobile robots with important friction are several physical systems, which profits from the benefits of proposed methodology (accuracy). The motivation of this thesis is to obtain a solution that can control and drive the Hybrid systems from the origin or starting point to the goal. How to obtain this solution, and which is the best solution in terms of one cost function subject to the physical restrictions and control actions is analysed. Hybrid systems that have several possible states, different ways to drive the system to the goal and different continuous control signals are problems that motivate this research. The requirements of the system on which we work is: a model that can represent the behaviour of the non-linear systems, and that possibilities the prediction of possible future behaviour for the model, in order to apply an supervisor which decides the optimal and secure action to drive the system toward the goal. Specific problems can be determined by the use of this kind of hybrid models are: - The unity of order. - Control the system along a reachable path. - Control the system in a safe path. - Optimise the cost function. - Modularity of control The proposed model solves the specified problems in the switching models problem, the initial condition calculus and the unity of the order models. Continuous and discrete phenomena are represented in Linear hybrid models, defined with defined eighth-tuple parameters to model different types of hybrid phenomena. Applying a transformation over the state vector : for LTI system we obtain from a two-dimensional SS a single parameter, alpha, which still maintains the dynamical information. Combining this parameter with the system output, a complete description of the system is obtained in a form of a graph in polar representation. Using Tagaki-Sugeno type III is a fuzzy model which include linear time invariant LTI models for each local model, the fuzzyfication of different LTI local model gives as a result a non-linear time invariant model. In our case the output and the alpha measure govern the membership function. Hybrid systems control is a huge task, the processes need to be guided from the Starting point to the desired End point, passing a through of different specific states and points in the trajectory. The system can be structured in different levels of abstraction and the control in three layers for the Hybrid systems from planning the process to produce the actions, these are the planning, the process and control layer. In this case the algorithms will be applied to robotics ¡V a domain where improvements are well accepted ¡V it is expected to find a simple repetitive processes for which the extra effort in complexity can be compensated by some cost reductions. It may be also interesting to implement some control optimisation to processes such as fuel injection, DC-DC converters etc. In order to apply the RW theory of discrete event systems on a Hybrid system, we must abstract the continuous signals and to project the events generated for these signals, to obtain new sets of observable and controllable events. Ramadge & Wonham¡¦s theory along with the TCT software give a Controllable Sublanguage of the legal language generated for a Discrete Event System (DES). Continuous abstraction transforms predicates over continuous variables into controllable or uncontrollable events, and modifies the set of uncontrollable, controllable observable and unobservable events. Continuous signals produce into the system virtual events, when this crosses the bound limits. If this event is deterministic, they can be projected. It is necessary to determine the controllability of this event, in order to assign this to the corresponding set, , controllable, uncontrollable, observable and unobservable set of events. Find optimal trajectories in order to minimise some cost function is the goal of the modelling procedure. Mathematical model for the system allows the user to apply mathematical techniques over this expression. These possibilities are, to minimise a specific cost function, to obtain optimal controllers and to approximate a specific trajectory. The combination of the Dynamic Programming with Bellman Principle of optimality, give us the procedure to solve the minimum time trajectory for Hybrid systems. The problem is greater when there exists interaction between adjacent states. In Hybrid systems the problem is to determine the partial set points to be applied at the local models. Optimal controller can be implemented in each local model in order to assure the minimisation of the local costs. The solution of this problem needs to give us the trajectory to follow the system. Trajectory marked by a set of set points to force the system to passing over them. Several ways are possible to drive the system from the Starting point Xi to the End point Xf. Different ways are interesting in: dynamic sense, minimum states, approximation at set points, etc. These ways need to be safe and viable and RchW. And only one of them must to be applied, normally the best, which minimises the proposed cost function. A Reachable Way, this means the controllable way and safe, will be evaluated in order to obtain which one minimises the cost function. Contribution of this work is a complete framework to work with the majority Hybrid systems, the procedures to model, control and supervise are defined and explained and its use is demonstrated. Also explained is the procedure to model the systems to be analysed for automatic verification. Great improvements were obtained by using this methodology in comparison to using other piecewise linear approximations. It is demonstrated in particular cases this methodology can provide best approximation. The most important contribution of this work, is the Alpha approximation for non-linear systems with high dynamics While this kind of process is not typical, but in this case the Alpha approximation is the best linear approximation to use, and give a compact representation.

Determinantes sociais condicionantes das altas clínicas dos utentes da rede nas UCCI: um estudo de caso

Introdução: O adiamento das altas clínicas nas Unidades de Cuidados Continuados Integrados (UCCI) por motivos sociais é actualmente considerado um dos principais motivos que impedem a integração atempada de novos clientes na Rede Nacional de Cuidados Continuados, RNCC, daqui em diante designada como a REDE. Este atraso tem impacto ao nível da recuperação e estabilização dos utentes, bem como ao nível de eficiência e eficácia da UCCI, não podendo deixar de se considerarem os aspectos sociais e económicos. Objectivo Geral: Identificar os determinantes que influenciam as altas clínicas em UCCI. Métodos e População do Estudo: Este é um estudo de caso colectivo, em que os dados observacionais, transversais, são recolhidos por meio de questionário de auto-relato (por cada área de intervenção directa) e por análise dos processos de consulta de pacientes. O objecto desta pesquisa abrange dois grupos: o grupo de amostra composto por 70 profissionais de saúde que lidam directamente com os utentes e o grupo amostra composto de utentes internados na UCCI L Nostrum, com alta clínica entre 1/1/2011 e 31/12/2012, e que foram integrados através da REDE. Foram recolhidos os dados de 293 utentes sendo objecto de estudo os casos de 83 utentes integrados através da REDE e com prolongamento de internamento por motivos sociais. Resultados: Na percepção dos profissionais de saúde, as respostas institucionais apresentam-se como a condicionante mais indicada, tanto para os utentes em geral, com 22 indicações (88%) como para os utentes da REDE, com 10 indicações (40%). Relativamente aos motivos familiares há referência de 76% para os utentes em geral e de 36% para os utentes da REDE. Os motivos económicos também apresentam, para os profissionais inquiridos, um valor expressivo (68%) nos utentes em geral, estando nos da REDE este factor condicionante a par com os motivos familiares (36%). Os motivos estruturais têm menor expressão tanto nos utentes em geral (32%) como nos utentes da REDE (16%). “Outros” para os utentes em geral, refere-se a dependência funcional (4%). Nos motivos familiares, para os utentes em geral, 23 (92%) foi mais vezes indicada a insuficiência de suporte familiar, para os utentes da REDE, 13 (52%). A ausência de suporte familiar, para os utentes em geral, representa 48% das respostas, seguindo-se o suporte inadequado (28%) e a ausência de cuidadores (24%). Para os utentes da REDE, o suporte inadequado apresenta-se como segundo motivo (7%), seguindo-se a ausência de suporte familiar (16%). Na percepção dos profissionais, os utentes da REDE estão também condicionados pela distância geográfica (8%) da sua área residencial. Em termos estruturais, os motivos mais assinalados pelos profissionais para a generalidade dos utentes foram as barreiras físicas à mobilidade (80%) e a habitação sem condições básicas de habitabilidade (78%). Os mesmos motivos foram assinalados para os utentes da REDE, barreiras físicas à mobilidade (40%) e habitação sem condições de habitabilidade (28%). No entanto, relativamente aos utentes em geral, a ausência de habitação (29%) e a distância geográfica (4%) também foram motivos assinalados. Dos motivos económicos percebidos pelos profissionais, a insuficiência de rendimentos é o factor mais assinalado pela generalidade dos utentes (84%) e pelos da REDE (68%), seguida da percepção da capacidade de reposta limitada das instituições, 64% para a generalidade dos utentes e 28% para os da REDE e por fim os tipos de respostas insuficientes para as necessidades individuais dos utentes (20% dos utentes em geral e 12% da REDE). No total dos dois anos, 2011 e 2012, verificaram-se na UCCI L Nostrum 293 prorrogações (100%) das quais 210 (71,6%) foram consideradas dentro do prazo e justificadas com motivos clínicos, enquanto 83 (28,3%) foram efectivamente protelamentos por motivos sociais, tendo em conta que nestes casos os utentes já não tinham critérios clínicos que justificassem a sua permanência na UCCI. Das 210 prorrogações consideradas dentro do prazo e justificadas com motivos clínicos, 93 (44,3%) foram-no por tempo de espera para transferência de UCCI. Em 2011, dos 146 utentes com alta protelada (100%), 50 utentes (34,2%) permaneceram na UCCI por motivos sociais, enquanto em 2012 houve registo de 33 casos de protelamento (22,4%) em 147 (100%) altas prorrogadas. Conclusões: Dos factores identificados como motivo de protelamento nos 83 utentes, estritamente por motivos sociais, destaca-se o protelamento de alta por espera de integração em equipamento/resposta adequada, nomeadamente lar ou serviços de apoio domiciliário (79,5%), seguindo-se a insuficiência de rendimentos do utente/familiares para contratação de serviços ou resposta institucional (74,7%), a inexistência de condições habitacionais para regresso ao domicílio (63,9%) e a insuficiência de suporte familiar (54,2%). Regista-se também a inadequação do suporte familiar (31,3%), a inexistência de suporte familiar (28,9%) e, em menor percentagem, a ausência de condições estruturais (13,3%). A ausência de domicílio (sem abrigo) (8,4%) e a ausência de rendimentos (4,8%) também foram factores inibidores da alta clínica. Dos 293 utentes identificados que tiveram protelamento da alta por motivos sociais verificou-se que 144 (49,1%) dos utentes permaneceram unicamente pela existência de condicionantes institucionais e familiares/estruturais. Aspectos éticos: ao longo deste estudo, foram assegurados e respeitados, todos os procedimentos de garantia da confidencialidade e rigor na recolha dos dados, e a não interferência nas dinâmicas da instituição, dos utentes e dos profissionais.

La responsabilidad estatal en la Constitución del Ecuador de 2008 (Tema Central)

La Constitución ecuatoriana promulgada el 20 de octubre de 2008 prescribe en el art. 11.9 que la responsabilidad estatal consiste en la reparación de las violaciones a los derechos por la falta o deficiente prestación de servicios públicos o por acciones u omisiones en el ejercicio de potestades públicas, reparación que es integral conforme el principio garantista de protección los derechos previsto en el art. 86.3. El presente estudio aborda aspectos generales de la naturaleza jurídica de la responsabilidad estatal –de la irresponsabilidad a la responsabilidad estatal–, su evolución –de la concepción civil indemnizatoria a la concepción reparadora integral–, y los denominados títulos jurídicos de imputación objetiva –falla del servicio, desequilibrio de las cargas públicas–, que serán de trascendental importancia para la comprensión de nuevo régimen, y cuyos aspectos específicos ameritarían un examen más amplio.

Tripleclouds: an efficient method for representing horizontal cloud inhomogeneity in 1D radiation schemes by using three regions at each height

Radiation schemes in general circulation models currently make a number of simplifications when accounting for clouds, one of the most important being the removal of horizontal inhomogeneity. A new scheme is presented that attempts to account for the neglected inhomogeneity by using two regions of cloud in each vertical level of the model as opposed to one. One of these regions is used to represent the optically thinner cloud in the level, and the other represents the optically thicker cloud. So, along with the clear-sky region, the scheme has three regions in each model level and is referred to as “Tripleclouds.” In addition, the scheme has the capability to represent arbitrary vertical overlap between the three regions in pairs of adjacent levels. This scheme is implemented in the Edwards–Slingo radiation code and tested on 250 h of data from 12 different days. The data are derived from cloud retrievals using radar, lidar, and a microwave radiometer at Chilbolton, southern United Kingdom. When the data are grouped into periods equivalent in size to general circulation model grid boxes, the shortwave plane-parallel albedo bias is found to be 8%, while the corresponding bias is found to be less than 1% using Tripleclouds. Similar results are found for the longwave biases. Tripleclouds is then compared to a more conventional method of accounting for inhomogeneity that multiplies optical depths by a constant scaling factor, and Tripleclouds is seen to improve on this method both in terms of top-of-atmosphere radiative flux biases and internal heating rates.

Assessing the uncertainty associated with intermittent rainfall fields

[1] In many practical situations where spatial rainfall estimates are needed, rainfall occurs as a spatially intermittent phenomenon. An efficient geostatistical method for rainfall estimation in the case of intermittency has previously been published and comprises the estimation of two independent components: a binary random function for modeling the intermittency and a continuous random function that models the rainfall inside the rainy areas. The final rainfall estimates are obtained as the product of the estimates of these two random functions. However the published approach does not contain a method for estimation of uncertainties. The contribution of this paper is the presentation of the indicator maximum likelihood estimator from which the local conditional distribution of the rainfall value at any location may be derived using an ensemble approach. From the conditional distribution, representations of uncertainty such as the estimation variance and confidence intervals can be obtained. An approximation to the variance can be calculated more simply by assuming rainfall intensity is independent of location within the rainy area. The methodology has been validated using simulated and real rainfall data sets. The results of these case studies show good agreement between predicted uncertainties and measured errors obtained from the validation data.

Life and death in a civitas capital: metabolic disease and trauma in the children from late Roman Dorchester, Dorset

The impact that “Romanization” and the development of urban centers had on the health of the Romano-British population is little understood. A re-examination of the skeletal remains of 364 nonadults from the civitas capital at Roman Dorchester (Durnovaria) in Dorset was carried out to measure the health of the children living in this small urban area. The cemetery population was divided into two groups; the first buried their dead organized within an east–west alignment with possible Christian-style graves, and the second with more varied “pagan” graves, aligned north–south. A higher prevalence of malnutrition and trauma was evident in the children from Dorchester than in any other published Romano-British group, with levels similar to those seen in postmedieval industrial communities. Cribra orbitalia was present in 38.5% of the children, with rickets and/or scurvy at 11.2%. Twelve children displayed fractures of the ribs, with 50% of cases associated with rickets and/or scurvy, suggesting that rib fractures should be considered during the diagnosis of these conditions. The high prevalence of anemia, rickets, and scurvy in the Poundbury children, and especially the infants, indicates that this community may have adopted child-rearing practices that involved fasting the newborn, a poor quality weaning diet, and swaddling, leading to general malnutrition and inadequate exposure to sunlight. The Pagan group showed no evidence of scurvy or rib fractures, indicating difference in religious and child-rearing practices but that both burial groups were equally susceptible to rickets and anemia suggests a shared poor standard of living in this urban environment.

The politics of weddings at Athens: an iconographic assessment

Despite recent scholarship that has suggested that most if not all Athenian vases were created primarily for the symposium, vases associated with weddings constitute a distinct range of Athenian products that were used at Athens in the period of the Peloponnesian War and its immediate aftermath (430-390 BCE). Just as the subject matter of sympotic vases suggested stories or other messages to the hetaireia among whom they were used, so the wedding vases may have conveyed messages to audiences at weddings. This paper is an assessment of these wedding vases with particular attention to function: how the images reflect the use of vases in wedding rituals (as containers and/or gifts); how the images themselves were understood and interpreted in the context of weddings; and the post-nuptial uses to which the vases were put. The first part is an iconographic overview of how the Athenian painters depicted weddings, with an emphasis on the display of pottery to onlookers and guests during the public parts of weddings, important events in the life of the polis. The second part focuses on a large group of late fifth century vases that depict personifications of civic virtues, normally in the retinue of Aphrodite (Pandemos). The images would reinforce social expectations, as they advertised the virtues that would create a happy marriage—Peitho, Harmonia (Harmony), and Eukleia (Good Repute)—and promise the benefits that might result from adherence to these values—Eudaimonia and Eutychia (Prosperity), Hygieia (Health), and Paidia (Play or Childrearing). Civic personifications could be interpreted on the private level—as personal virtues—and on the public level—as civic virtues— especially when they appeared on vases that functioned both in public and private, at weddings, which were public acknowledgments of private changes in the lives of individuals within the demos.

Errors in "Wavefunctions for the methane molecule"

Two errors in my paper “Wave functions for the methane molecule” [1] are corrected. They concern my f-harmonic approximation to the wave-function in the equilibrium configuration, for which the final expression for the wave function, the energy lowering, and the density function were all in error.

Adaptive approximate Bayesian computation

Sequential techniques can enhance the efficiency of the approximate Bayesian computation algorithm, as in Sisson et al.'s (2007) partial rejection control version. While this method is based upon the theoretical works of Del Moral et al. (2006), the application to approximate Bayesian computation results in a bias in the approximation to the posterior. An alternative version based on genuine importance sampling arguments bypasses this difficulty, in connection with the population Monte Carlo method of Cappe et al. (2004), and it includes an automatic scaling of the forward kernel. When applied to a population genetics example, it compares favourably with two other versions of the approximate algorithm.

Cyclamen: time, sea and speciation biogeography using a temporally calibrated phylogeny

Aim The Mediterranean region is a species-rich area with a complex geographical history. Geographical barriers have been removed and restored due to sea level changes and local climatic change. Such barriers have been proposed as a plausible mechanism driving the high levels of speciation and endemism in the Mediterranean basin. This raises the fundamental question: is allopatric isolation the mechanism by which speciation occurs? This study explores the potential driving influence of palaeo-geographical events on the speciation of Cyclamen (Myrsinaceae), a group with most species endemic to the Mediterranean region. Cyclamen species have been shown experimentally to have few genetic barriers to hybridization. Location The Mediterranean region, including northern Africa, extending eastwards to the Black Sea coast. Methods A generic level molecular phylogeny of Myrsinaceae and Primulaceae is constructed, using Bayesian approximation, to produce a secondary age estimate for the stem lineage of Cyclamen. This estimate is used to calibrate temporally an infrageneric phylogeny of Cyclamen, built with nrDNA ITS, cpDNA trnL-F and cpDNA rps16 sequences. A biogeographical analysis of Cyclamen is performed using dispersal-vicariance analysis. Results The emergence of the Cyclamen stem lineage is estimated at 30.1-29.2 Ma, and the crown divergence at 12.9-12.2 Ma. The average age of Cyclamen species is 3.7 Myr. Every pair of sister species have mutually exclusive, allopatric distributions relative to each other. This pattern appears typical of divergence events throughout the evolutionary history of the genus. Main conclusions Geographical barriers, such as the varying levels of the Mediterranean Sea, are the most plausible explanation for speciation events throughout the phylogenetic history of Cyclamen. The genus demonstrates distributional patterns congruent with the temporally reticulate palaeogeography of the Mediterranean region.

A note on the accuracy of PAC-likelihood inference with microsatellite data

Stephens and Donnelly have introduced a simple yet powerful importance sampling scheme for computing the likelihood in population genetic models. Fundamental to the method is an approximation to the conditional probability of the allelic type of an additional gene, given those currently in the sample. As noted by Li and Stephens, the product of these conditional probabilities for a sequence of draws that gives the frequency of allelic types in a sample is an approximation to the likelihood, and can be used directly in inference. The aim of this note is to demonstrate the high level of accuracy of "product of approximate conditionals" (PAC) likelihood when used with microsatellite data. Results obtained on simulated microsatellite data show that this strategy leads to a negligible bias over a wide range of the scaled mutation parameter theta. Furthermore, the sampling variance of likelihood estimates as well as the computation time are lower than that obtained with importance sampling on the whole range of theta. It follows that this approach represents an efficient substitute to IS algorithms in computer intensive (e.g. MCMC) inference methods in population genetics. (c) 2006 Elsevier Inc. All rights reserved.

New scientific paradigms for probiotics and prebiotics

The inaugural meeting of the International Scientific Association for Probiotics and Prebiotics (ISAPP) was held May 3 to May 5 2002 in London, Ontario, Canada. A group of 63 academic and industrial scientists from around the world convened to discuss current issues in the science of probiotics and prebiotics. ISAPP is a non-profit organization comprised of international scientists whose intent is to strongly support and improve the levels of scientific integrity and due diligence associated with the study, use, and application of probiotics and prebiotics. In addition, ISAPP values its role in facilitating communication with the public and healthcare providers and among scientists in related fields on all topics pertinent to probiotics and prebiotics. It is anticipated that such efforts will lead to development of approaches and products that are optimally designed for the improvement of human and animal health and well being. This article is a summary of the discussions, conclusions, and recommendations made by 8 working groups convened during the first ISAPP workshop focusing on the topics of: definitions, intestinal flora, extra-intestinal sites, immune function, intestinal disease, cancer, genetics and genomics, and second generation prebiotics. Humans have evolved in symbiosis with an estimated 1014 resident microorganisms. However, as medicine has widely defined and explored the perpetrators of disease, including those of microbial origin, it has paid relatively little attention to the microbial cells that constitute the most abundant life forms associated with our body. Microbial metabolism in humans and animals constitutes an intense biochemical activity in the body, with profound repercussions for health and disease. As understanding of the human genome constantly expands, an important opportunity will arise to better determine the relationship between microbial populations within the body and host factors (including gender, genetic background, and nutrition) and the concomitant implications for health and improved quality of life. Combined human and microbial genetic studies will determine how such interactions can affect human health and longevity, which communication systems are used, and how they can be influenced to benefit the host. Probiotics are defined as live microorganisms which, when administered in adequate amounts confer a health benefit on the host.1 The probiotic concept dates back over 100 years, but only in recent times have the scientific knowledge and tools become available to properly evaluate their effects on normal health and well being, and their potential in preventing and treating disease. A similar situation exists for prebiotics, defined by this group as non-digestible substances that provide a beneficial physiological effect on the host by selectively stimulating the favorable growth or activity of a limited number of indigenous bacteria. Prebiotics function complementary to, and possibly synergistically with, probiotics. Numerous studies are providing insights into the growth and metabolic influence of these microbial nutrients on health. Today, the science behind the function of probiotics and prebiotics still requires more stringent deciphering both scientifically and mechanistically. The explosion of publications and interest in probiotics and prebiotics has resulted in a body of collective research that points toward great promise. However, this research is spread among such a diversity of organisms, delivery vehicles (foods, pills, and supplements), and potential health targets such that general conclusions cannot easily be made. Nevertheless, this situation is rapidly changing on a number of important fronts. With progress over the past decade on the genetics of lactic acid bacteria and the recent, 2,3 and pending, 4 release of complete genome sequences for major probiotic species, the field is now armed with detailed information and sophisticated microbiological and bioinformatic tools. Similarly, advances in biotechnology could yield new probiotics and prebiotics designed for enhanced or expanded functionality. The incorporation of genetic tools within a multidisciplinary scientific platform is expected to reveal the contributions of commensals, probiotics, and prebiotics to general health and well being and explicitly identify the mechanisms and corresponding host responses that provide the basis for their positive roles and associated claims. In terms of human suffering, the need for effective new approaches to prevent and treat disease is paramount. The need exists not only to alleviate the significant mortality and morbidity caused by intestinal diseases worldwide (especially diarrheal diseases in children), but also for infections at non-intestinal sites. This is especially worthy of pursuit in developing nations where mortality is too often the outcome of food and water borne infection. Inasmuch as probiotics and prebiotics are able to influence the populations or activities of commensal microflora, there is evidence that they can also play a role in mitigating some diseases. 5,6 Preliminary support that probiotics and prebiotics may be useful as intervention in conditions including inflammatory bowel disease, irritable bowel syndrome, allergy, cancer (especially colorectal cancer of which 75% are associated with diet), vaginal and urinary tract infections in women, kidney stone disease, mineral absorption, and infections caused by Helicobacter pylori is emerging. Some metabolites of microbes in the gut may also impact systemic conditions ranging from coronary heart disease to cognitive function, suggesting the possibility that exogenously applied microbes in the form of probiotics, or alteration of gut microecology with prebiotics, may be useful interventions even in these apparently disparate conditions. Beyond these direct intervention targets, probiotic cultures can also serve in expanded roles as live vehicles to deliver biologic agents (vaccines, enzymes, and proteins) to targeted locations within the body. The economic impact of these disease conditions in terms of diagnosis, treatment, doctor and hospital visits, and time off work exceeds several hundred billion dollars. The quality of life impact is also of major concern. Probiotics and prebiotics offer plausible opportunities to reduce the morbidity associated with these conditions. The following addresses issues that emerged from 8 workshops (Definitions, Intestinal Flora, Extra-Intestinal Sites, Immune Function, Intestinal Disease, Cancer, Genomics, and Second Generation Prebiotics), reflecting the current scientific state of probiotics and prebiotics. This is not a comprehensive review, however the study emphasizes pivotal knowledge gaps, and recommendations are made as to the underlying scientific and multidisciplinary studies that will be required to advance our understanding of the roles and impact of prebiotics, probiotics, and the commensal microflora upon health and disease management.

Perspex machine XI: topology of the transreal numbers

The transreal numbers are a total number system in which even, arithmetical operation is well defined even-where. This has many benefits over the real numbers as a basis for computation and, possibly, for physical theories. We define the topology of the transreal numbers and show that it gives a more coherent interpretation of two's complement arithmetic than the conventional integer model. Trans-two's-complement arithmetic handles the infinities and 0/0 more coherently, and with very much less circuitry, than floating-point arithmetic. This reduction in circuitry is especially beneficial in parallel computers, such as the Perspex machine, and the increase in functionality makes Digital Signal Processing chips better suited to general computation.

Semi-automatic knowledge extraction, representation and context-sensitive intelligent retrieval of video content using collateral context modelling with scalable ontological networks

Automatic indexing and retrieval of digital data poses major challenges. The main problem arises from the ever increasing mass of digital media and the lack of efficient methods for indexing and retrieval of such data based on the semantic content rather than keywords. To enable intelligent web interactions, or even web filtering, we need to be capable of interpreting the information base in an intelligent manner. For a number of years research has been ongoing in the field of ontological engineering with the aim of using ontologies to add such (meta) knowledge to information. In this paper, we describe the architecture of a system (Dynamic REtrieval Analysis and semantic metadata Management (DREAM)) designed to automatically and intelligently index huge repositories of special effects video clips, based on their semantic content, using a network of scalable ontologies to enable intelligent retrieval. The DREAM Demonstrator has been evaluated as deployed in the film post-production phase to support the process of storage, indexing and retrieval of large data sets of special effects video clips as an exemplar application domain. This paper provides its performance and usability results and highlights the scope for future enhancements of the DREAM architecture which has proven successful in its first and possibly most challenging proving ground, namely film production, where it is already in routine use within our test bed Partners' creative processes. (C) 2009 Published by Elsevier B.V.

Backward elimination model construction for regression and classification using leave-one-out criteria

A fundamental principle in practical nonlinear data modeling is the parsimonious principle of constructing the minimal model that explains the training data well. Leave-one-out (LOO) cross validation is often used to estimate generalization errors by choosing amongst different network architectures (M. Stone, "Cross validatory choice and assessment of statistical predictions", J. R. Stast. Soc., Ser. B, 36, pp. 117-147, 1974). Based upon the minimization of LOO criteria of either the mean squares of LOO errors or the LOO misclassification rate respectively, we present two backward elimination algorithms as model post-processing procedures for regression and classification problems. The proposed backward elimination procedures exploit an orthogonalization procedure to enable the orthogonality between the subspace as spanned by the pruned model and the deleted regressor. Subsequently, it is shown that the LOO criteria used in both algorithms can be calculated via some analytic recursive formula, as derived in this contribution, without actually splitting the estimation data set so as to reduce computational expense. Compared to most other model construction methods, the proposed algorithms are advantageous in several aspects; (i) There are no tuning parameters to be optimized through an extra validation data set; (ii) The procedure is fully automatic without an additional stopping criteria; and (iii) The model structure selection is directly based on model generalization performance. The illustrative examples on regression and classification are used to demonstrate that the proposed algorithms are viable post-processing methods to prune a model to gain extra sparsity and improved generalization.