Simultaneous ant colony optimisation algorithms for learning linguistic fuzzy rules

M. Galea and Q. Shen. Simultaneous ant colony optimisation algorithms for learning linguistic fuzzy rules. A. Abraham, C. Grosan and V. Ramos (Eds.), Swarm Intelligence in Data Mining, pages 75-99.

Home field effect and team performance: Evidence from English Premiership football

Thomas, Dennis, Carmichael, Fiona, 'Home field effect and team performance: Evidence from English Premiership football', Journal of Sports Economics (2005) 6(3) pp.264-281 RAE2008

The Jews in the Modern World : A History Since 1750

Rubinstein, William, et al., The Jews in the Modern World: A History Since 1750 (London: Hodder and Arnold, 2002), pp.xiv+449 RAE2008

Planning humanitarian projects with educational focus in Guinea rural areas

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Acção Humanitária, Cooperação e Desenvolvimento

An Historical and Theological Analysis of Campus Crusade for Christ's Evangelistic Practice in Two American University Contexts

This dissertation, an exercise in practical theology, consists of a critical conversation between the evangelistic practice of Campus Crusade for Christ in two American university contexts, Bryan Stone's ecclesiologically grounded theology of evangelism, and William Abraham's eschatologically grounded theology of evangelism. It seeks to provide these evangelizing communities several strategic proposals for a more ecclesiologically and eschatologically grounded practice of evangelism within a university context. The current literature on evangelism is long on evangelistic strategy and activity, but short on theological analysis and reflection. This study focuses on concrete practices, but is grounded in a thick description of two particular contexts (derived from qualitative research methods) and a theological analysis of the ecclesiological and eschatological beliefs embedded within their evangelistic activities. The dissertation provides an historical overview of important figures, ideas, and events that helped mold the practice of evangelism inherited by the two ministries of this study, beginning with the famous Haystack Revival on Williams College in 1806. Both ministries, Campus Crusade for Christ at Bowling Green State University (Ohio) and at Washington State University, inherited an evangelistic practice sorely infected with many of the classic distortions that both Abraham and Stone attempt to correct. Qualitative research methods detail the direction that Campus Crusade for Christ at Bowling Green State University (Ohio) and Washington State University have taken the practice of evangelism they inherited. Applying the analytical categories that emerge from a detailed summary of Stone and Abraham to qualitative data of these two ministries reveals several ways evangelism has morphed in a manner sympathetic to Stone's insistence that the central logic of evangelism is the embodied witness of the church. The results of this analysis reveal the subversive and pervasive influence of modernity on these evangelizing communities—an influence that warrants several corrective strategic proposals including: 1) re-situating evangelism within a reading of the biblical narrative that emphasizes the present, social, public, and realized nature of the gospel of the kingdom of God rather than simply its future, personal, private, and unrealized dimensions; 2) clarifying the nature of the evangelizing communities and their relationship to the church; and 3) emphasizing the virtues that characterize a new evangelistic exemplar who is incarnational, intentional, humble, and courageous.

Automated Placement of Cameras in a Floorplan to Satisfy Task-Specific Constraints

In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant solutions for some sensor location problem classes. Unfortunately, these solutions utilize unrealistic assumptions about the cameras' capabilities that make these algorithms unsuitable for many real-world computer vision applications: unlimited field of view, infinite depth of field, and/or infinite servo precision and speed. In this paper, the general camera placement problem is first defined with assumptions that are more consistent with the capabilities of real-world cameras. The region to be observed by cameras may be volumetric, static or dynamic, and may include holes that are caused, for instance, by columns or furniture in a room that can occlude potential camera views. A subclass of this general problem can be formulated in terms of planar regions that are typical of building floorplans. Given a floorplan to be observed, the problem is then to efficiently compute a camera layout such that certain task-specific constraints are met. A solution to this problem is obtained via binary optimization over a discrete problem space. In preliminary experiments the performance of the resulting system is demonstrated with different real floorplans.

Typability is Undecidable for F+Eta

System F is the well-known polymorphically-typed λ-calculus with universal quantifiers ("∀"). F+η is System F extended with the eta rule, which says that if term M can be given type τ and M η-reduces to N, then N can also be given the type τ. Adding the eta rule to System F is equivalent to adding the subsumption rule using the subtyping ("containment") relation that Mitchell defined and axiomatized [Mit88]. The subsumption rule says that if M can be given type τ and τ is a subtype of type σ, then M can be given type σ. Mitchell's subtyping relation involves no extensions to the syntax of types, i.e., no bounded polymorphism and no supertype of all types, and is thus unrelated to the system F≤("F-sub"). Typability for F+η is the problem of determining for any term M whether there is any type τ that can be given to it using the type inference rules of F+η. Typability has been proven undecidable for System F [Wel94] (without the eta rule), but the decidability of typability has been an open problem for F+η. Mitchell's subtyping relation has recently been proven undecidable [TU95, Wel95b], implying the undecidability of "type checking" for F+η. This paper reduces the problem of subtyping to the problem of typability for F+η, thus proving the undecidability of typability. The proof methods are similar in outline to those used to prove the undecidability of typability for System F, but the fine details differ greatly.

Safe Compositional Network Sketches: Tool & Use Cases

NetSketch is a tool that enables the specification of network-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system so as to retain sufficient enough details to enable future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis approach based on a strongly-typed, Domain-Specific Language (DSL) to specify network configurations at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we overview NetSketch, highlight its salient features, and illustrate how it could be used in applications, including the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications). In a companion paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity.

Studies on Formica lugubris Zetterstedt in Ireland (Hymenoptera, Formicidae)

This thesis is based on studies of Formica lugubris from 1972-1975. While this species' range is diminishing in Ireland, the nests are quite common in the State plantations of South Tipperary. It is not certain that the species is indigenous. Above-ground activity occurs from late-February to the end of October; foraging begins in April. Two territorial "spring-battles" between neighbouring nests are described. Most active nests produced alatae of both sexes and flights were observed on successive June mornings above l7.5°C air temperature. Both polygyny and polycaly seem to be rare. Where the nests occur commonly, the recorded densities are similar to those reported from the continent. Most nests persisted at the same site since 1973. The nest-sites are described by recording an array of nest, soil, tree, vegetation and location variables at each site. Pinus sylvestris is the most important overhead tree. Nests seem to be the same age as their surrounding plantation and reach a maximum of c. 30 years. Nearest-neighbour analysis suggests the sites are overdispersed. Forager route-fidelity was studied and long-term absence from the route, anaesthetization and "removal" of an aphid tree had little effect on this fidelity. There were no identifiable groups of workers specifically honeydew or prey-carriers. Size-duty relationships of workers participating in adult transport are described. Foraging rhythms were studied on representative days: the numbers foraging were linearly related to temperature. Route-traffic passed randomly and an average foraging trip lasted c. four hours. Annual food intake to a nest with 25 000 foragers was estimated at approximately 75 kg honeydew and 2 million prey-items. Forager-numbers and colony-size were estimated using the capture-mark - recapture method: paint marking was used for the forager estimate and an interval radiophosphorus mark, detected by autoradiography, was used for the colony-size estimate. The aphids attended by lugubris and the nest myrmecophiles are recorded.

Particulate allergens potentiate allergic asthma in mice through sustained IgE-mediated mast cell activation.

Allergic asthma is characterized by airway hyperresponsiveness, inflammation, and a cellular infiltrate dominated by eosinophils. Numerous epidemiological studies have related the exacerbation of allergic asthma with an increase in ambient inhalable particulate matter from air pollutants. This is because inhalable particles efficiently deliver airborne allergens deep into the airways, where they can aggravate allergic asthma symptoms. However, the cellular mechanisms by which inhalable particulate allergens (pAgs) potentiate asthmatic symptoms remain unknown, in part because most in vivo and in vitro studies exploring the pathogenesis of allergic asthma use soluble allergens (sAgs). Using a mouse model of allergic asthma, we found that, compared with their sAg counterparts, pAgs triggered markedly heightened airway hyperresponsiveness and pulmonary eosinophilia in allergen-sensitized mice. Mast cells (MCs) were implicated in this divergent response, as the differences in airway inflammatory responses provoked by the physical nature of the allergens were attenuated in MC-deficient mice. The pAgs were found to mediate MC-dependent responses by enhancing retention of pAg/IgE/FcεRI complexes within lipid raft–enriched, CD63(+) endocytic compartments, which prolonged IgE/FcεRI-initiated signaling and resulted in heightened cytokine responses. These results reveal how the physical attributes of allergens can co-opt MC endocytic circuitry and signaling responses to aggravate pathological responses of allergic asthma in mice.

Role of mast cells in inflammatory bowel disease and inflammation-associated colorectal neoplasia in IL-10-deficient mice.

BACKGROUND: Inflammatory bowel disease (IBD) is hypothesized to result from stimulation of immune responses against resident intestinal bacteria within a genetically susceptible host. Mast cells may play a critical role in IBD pathogenesis, since they are typically located just beneath the intestinal mucosal barrier and can be activated by bacterial antigens. METHODOLOGY/PRINCIPAL FINDINGS: This study investigated effects of mast cells on inflammation and associated neoplasia in IBD-susceptible interleukin (IL)-10-deficient mice with and without mast cells. IL-10-deficient mast cells produced more pro-inflammatory cytokines in vitro both constitutively and when triggered, compared with wild type mast cells. However despite this enhanced in vitro response, mast cell-sufficient Il10(-/-) mice actually had decreased cecal expression of tumor necrosis factor (TNF) and interferon (IFN)-gamma mRNA, suggesting that mast cells regulate inflammation in vivo. Mast cell deficiency predisposed Il10(-/-) mice to the development of spontaneous colitis and resulted in increased intestinal permeability in vivo that preceded the development of colon inflammation. However, mast cell deficiency did not affect the severity of IBD triggered by non-steroidal anti-inflammatory agents (NSAID) exposure or helicobacter infection that also affect intestinal permeability. CONCLUSIONS/SIGNIFICANCE: Mast cells thus appear to have a primarily protective role within the colonic microenvironment by enhancing the efficacy of the mucosal barrier. In addition, although mast cells were previously implicated in progression of sporadic colon cancers, mast cells did not affect the incidence or severity of colonic neoplasia in this inflammation-associated model.

Economics of new oncology drug development.

PURPOSE: Review existing studies and provide new results on the development, regulatory, and market aspects of new oncology drug development. METHODS: We utilized data from the US Food and Drug Administration (FDA), company surveys, and publicly available commercial business intelligence databases on new oncology drugs approved in the United States and on investigational oncology drugs to estimate average development and regulatory approval times, clinical approval success rates, first-in-class status, and global market diffusion. RESULTS: We found that approved new oncology drugs to have a disproportionately high share of FDA priority review ratings, of orphan drug designations at approval, and of drugs that were granted inclusion in at least one of the FDA's expedited access programs. US regulatory approval times were shorter, on average, for oncology drugs (0.5 years), but US clinical development times were longer on average (1.5 years). Clinical approval success rates were similar for oncology and other drugs, but proportionately more of the oncology failures reached expensive late-stage clinical testing before being abandoned. In relation to other drugs, new oncology drug approvals were more often first-in-class and diffused more widely across important international markets. CONCLUSION: The market success of oncology drugs has induced a substantial amount of investment in oncology drug development in the last decade or so. However, given the great need for further progress, the extent to which efforts to develop new oncology drugs will grow depends on future public-sector investment in basic research, developments in translational medicine, and regulatory reforms that advance drug-development science.

Outcomes of metallic stents for malignant ureteral obstruction.

PURPOSE: Malignant ureteral obstruction often necessitates chronic urinary diversion and is associated with high rates of failure with traditional ureteral stents. We evaluated the outcomes of a metallic stent placed for malignant ureteral obstruction and determined the impact of risk factors previously associated with increased failure rates of traditional stents. MATERIALS AND METHODS: Patients undergoing placement of the metallic Resonance® stent for malignant ureteral obstruction at an academic referral center were identified retrospectively. Stent failure was defined as unplanned stent exchange or nephrostomy tube placement for signs or symptoms of recurrent ureteral obstruction (recurrent hydroureteronephrosis or increasing creatinine). Predictors of time to stent failure were assessed using Cox regression. RESULTS: A total of 37 stents were placed in 25 patients with malignant ureteral obstruction. Of these stents 12 (35%) were identified to fail. Progressive hydroureteronephrosis and increasing creatinine were the most common signs of stent failure. Three failed stents had migrated distally and no stents required removal for recurrent infection. Patients with evidence of prostate cancer invading the bladder at stent placement were found to have a significantly increased risk of failure (HR 6.50, 95% CI 1.45-29.20, p = 0.015). Notably symptomatic subcapsular hematomas were identified in 3 patients after metallic stent placement. CONCLUSIONS: Failure rates with a metallic stent are similar to those historically observed with traditional polyurethane based stents in malignant ureteral obstruction. The invasion of prostate cancer in the bladder significantly increases the risk of failure. Patients should be counseled and observed for subcapsular hematoma formation with this device.

Delay activity of saccade-related neurons in the caudal dentate nucleus of the macaque cerebellum.

The caudal dentate nucleus (DN) in lateral cerebellum is connected with two visual/oculomotor areas of the cerebrum: the frontal eye field and lateral intraparietal cortex. Many neurons in frontal eye field and lateral intraparietal cortex produce "delay activity" between stimulus and response that correlates with processes such as motor planning. Our hypothesis was that caudal DN neurons would have prominent delay activity as well. From lesion studies, we predicted that this activity would be related to self-timing, i.e., the triggering of saccades based on the internal monitoring of time. We recorded from neurons in the caudal DN of monkeys (Macaca mulatta) that made delayed saccades with or without a self-timing requirement. Most (84%) of the caudal DN neurons had delay activity. These neurons conveyed at least three types of information. First, their activity was often correlated, trial by trial, with saccade initiation. Correlations were found more frequently in a task that required self-timing of saccades (53% of neurons) than in a task that did not (27% of neurons). Second, the delay activity was often tuned for saccade direction (in 65% of neurons). This tuning emerged continuously during a trial. Third, the time course of delay activity associated with self-timed saccades differed significantly from that associated with visually guided saccades (in 71% of neurons). A minority of neurons had sensory-related activity. None had presaccadic bursts, in contrast to DN neurons recorded more rostrally. We conclude that caudal DN neurons convey saccade-related delay activity that may contribute to the motor preparation of when and where to move.

Division of labor in frontal eye field neurons during presaccadic remapping of visual receptive fields.

Our percept of visual stability across saccadic eye movements may be mediated by presaccadic remapping. Just before a saccade, neurons that remap become visually responsive at a future field (FF), which anticipates the saccade vector. Hence, the neurons use corollary discharge of saccades. Many of the neurons also decrease their response at the receptive field (RF). Presaccadic remapping occurs in several brain areas including the frontal eye field (FEF), which receives corollary discharge of saccades in its layer IV from a collicular-thalamic pathway. We studied, at two levels, the microcircuitry of remapping in the FEF. At the laminar level, we compared remapping between layers IV and V. At the cellular level, we compared remapping between different neuron types of layer IV. In the FEF in four monkeys (Macaca mulatta), we identified 27 layer IV neurons with orthodromic stimulation and 57 layer V neurons with antidromic stimulation from the superior colliculus. With the use of established criteria, we classified the layer IV neurons as putative excitatory (n = 11), putative inhibitory (n = 12), or ambiguous (n = 4). We found that just before a saccade, putative excitatory neurons increased their visual response at the RF, putative inhibitory neurons showed no change, and ambiguous neurons increased their visual response at the FF. None of the neurons showed presaccadic visual changes at both RF and FF. In contrast, neurons in layer V showed full remapping (at both the RF and FF). Our data suggest that elemental signals for remapping are distributed across neuron types in early cortical processing and combined in later stages of cortical microcircuitry.