The Undecidability of Mitchell's Subtyping Relationship

Mitchell defined and axiomatized a subtyping relationship (also known as containment, coercibility, or subsumption) over the types of System F (with "→" and "∀"). This subtyping relationship is quite simple and does not involve bounded quantification. Tiuryn and Urzyczyn quite recently proved this subtyping relationship to be undecidable. This paper supplies a new undecidability proof for this subtyping relationship. First, a new syntax-directed axiomatization of the subtyping relationship is defined. Then, this axiomatization is used to prove a reduction from the undecidable problem of semi-unification to subtyping. The undecidability of subtyping implies the undecidability of type checking for System F extended with Mitchell's subtyping, also known as "F plus eta".

Computationally efficient sequential learning algorithms for direct link resource-allocating networks

Computionally efficient sequential learning algorithms are developed for direct-link resource-allocating networks (DRANs). These are achieved by decomposing existing recursive training algorithms on a layer by layer and neuron by neuron basis. This allows network weights to be updated in an efficient parallel manner and facilitates the implementation of minimal update extensions that yield a significant reduction in computation load per iteration compared to existing sequential learning methods employed in resource-allocation network (RAN) and minimal RAN (MRAN) approaches. The new algorithms, which also incorporate a pruning strategy to control network growth, are evaluated on three different system identification benchmark problems and shown to outperform existing methods both in terms of training error convergence and computational efficiency. (c) 2005 Elsevier B.V. All rights reserved.

On the solubilization of water with ethanol in hydrophobic hexafluorophosphate ionic liquids

The solubility of water in the hydrophobic 1-alkyl-3-methylimidazolium hexafluorophosphate (alkyl = butyl, hexyl, and octyl) ionic liquids, can be significantly increased in the presence of ethanol as a co-solute. 1-Hexyl-3-methylimidazolium hexafluorophosphate and 1-octyl-3-methylimidazolium hexafluorophosphate are completely miscible with ethanol, and immiscible with water, whereas 1-butyl-3-methylimidazolium hexafluorophosphate is totally miscible with aqueous ethanol only between 0.5-0.9 mole fraction ethanol at 25degreesC. At higher and lower mole fraction of ethanol, the aqueous and IL components are only partially miscible and a biphasic system is obtained upon mixing equal volumes of the IL and aqueous ethanol. The observation of a large range of total miscibility between water and the IL in the three-component system has important implications for purifications and separations from IL.

Temporal information and children's and adults' causal inferences

Three experiments examined whether children and adults would use temporal information as a cue to the causal structure of a three-variable system, and also whether their judgements about the effects of interventions on the system would be affected by the temporal properties of the event sequence. Participants were shown a system in which two events B and C occurred either simultaneously (synchronous condition) or in a temporal sequence (sequential condition) following an initial event A. The causal judgements of adults and 6-7-year-olds differed between the conditions, but this was not the case for 4-year-olds' judgements. However, unlike those of adults, 6-7-year-olds' intervention judgements were not affected by condition, and causal and intervention judgements were not reliably consistent in this age group. The findings support the claim that temporal information provides an important cue to causal structure, at least in older children. However, they raise important issues about the relationship between causal and intervention judgements.

Intracellular survival of Burkholderia cenocepacia in macrophages is associated with a delay in the maturation of bacteria-containing vacuoles

Strains of the Burkholderia cepacia complex (Bcc) are opportunistic bacteria that can cause life-threatening infections in patients with cystic fibrosis and chronic granulomatous disease. Previous work has shown that Bcc isolates can persist in membrane-bound vacuoles within amoeba and macrophages without bacterial replication, but the detailed mechanism of bacterial persistence is unknown. In this study, we have investigated the survival of the Burkholderia cenocepacia strain J2315 within RAW264.7 murine macrophages. Strain J2315 is a prototypic isolate of the widespread and transmissible ET12 clone. Unlike heat-inactivated bacteria, which reach lysosomes shortly after internalization, vacuoles containing live B. cenocepacia J2315 accumulate the late endosome/lysosome marker LAMP-1 and start fusing with lysosomal compartments only after 6 h post internalization. Using fluorescent fluid-phase probes, we also demonstrated that B. cenocepacia-containing vacuoles continued to interact with newly formed endosomes, and maintained a luminal pH of 6.4 +/- 0.12. In contrast, vacuoles containing heat-inactivated bacteria had an average pH of 4.8 +/- 0.03 and rapidly merged with lysosomes. Additional experiments using concanamycin A, a specific inhibitor of the vacuolar H+-ATPase, revealed that vacuoles containing live bacteria did not exclude the H+-ATPase. This mode of bacterial survival did not require type III secretion, as no differences were found between wild type and a type III secretion mutant strain. Collectively, our results suggest that intracellular B. cenocepacia cause a delay in the maturation of the phagosome, which may contribute to facilitate bacterial escape from the microbicidal activities of the host cell.

Characterization of the AtsR Hybrid Sensor Kinase Phosphorelay Pathway and Identification of Its Response Regulator in Burkholderia cenocepacia

AtsR is a membrane-bound hybrid sensor kinase of Burkholderia cenocepacia that negatively regulates quorum sensing and virulence factors such as biofilm production, type 6-secretion and protease secretion. Here, we elucidate the mechanism of AtsR phosphorelay by site-directed mutagenesis of predicted histidine and aspartic acid phosphoacceptor residues. We demonstrate by in vitro phosphorylation that histidine-245 and aspartic acid-536 are conserved sites of phosphorylation in AtsR, and we also identify the cytosolic response regulator AtsT (BCAM0381) as a key component of the AtsR phosphorelay pathway. Monitoring the function of AtsR and its derivatives in vivo by measuring extracellular protease activity and swarming motility confirmed the in vitro phosphorylation results. Together, we find that the AtsR receiver domain plays a fine-tuning role in determining the levels of phosphotransfer from its sensor kinase domain to the AtsT response regulator.

A statistical analysis of person–to–vehicle communications channels in an urban environment at 5.8 GHz

In recent years, the embracement of smart devices carried or worn by people have transformed how society interact with one another. This trend has also been observed in the advancement of vehicular networks. Here, developments in wireless technologies for vehicle-to-vehicle (V2V) and vehicle-to-roadside (V2R) communications are leading to a new generation of vehicular networks. A natural extension of both types of networks will be their eventual wireless integration. Both people and vehicles will undoubtedly form integral parts of future mobile networks of people and things. Central to this will be the person-to-vehicle (P2V) communications channel. As the P2V channel will be subject to different signal propagation characteristics than either type of communication system considered in isolation, it is imperative the characteristics of the wireless channel must first be fully understood. To the best of the author's knowledge, this is a topic which has not yet been addressed in the open literature. In this paper we will present our most recent research on the statistical characterization of the 5.8 GHz person-to-vehicle channel in an urban environment.

Observational Constraints on the Progenitors of Core-Collapse Supernovae: The Case for Missing High-Mass Stars

Over the last 15 years, the supernova community has endeavoured to directly identify progenitor stars for core-collapse supernovae discovered in nearby galaxies. These precursors are often visible as resolved stars in high-resolution images from space-and ground-based telescopes. The discovery rate of progenitor stars is limited by the local supernova rate and the availability and depth of archive images of galaxies, with 18 detections of precursor objects and 27 upper limits. This review compiles these results (from 1999 to 2013) in a distance-limited sample and discusses the implications of the findings. The vast majority of the detections of progenitor stars are of type II-P, II-L, or IIb with one type Ib progenitor system detected and many more upper limits for progenitors of Ibc supernovae (14 in all). The data for these 45 supernovae progenitors illustrate a remarkable deficit of high-luminosity stars above an apparent limit of log L/L-circle dot similar or equal to 5.1 dex. For a typical Salpeter initial mass function, one would expect to have found 13 high-luminosity and high-mass progenitors by now. There is, possibly, only one object in this time-and volume-limited sample that is unambiguously high-mass (the progenitor of SN2009ip) although the nature of that supernovae is still debated. The possible biases due to the influence of circumstellar dust, the luminosity analysis, and sample selection methods are reviewed. It does not appear likely that these can explain the missing high-mass progenitor stars. This review concludes that the community's work to date shows that the observed populations of supernovae in the local Universe are not, on the whole, produced by high-mass (M greater than or similar to 18 M-circle dot) stars. Theoretical explosions of model stars also predict that black hole formation and failed supernovae tend to occur above an initial mass of M similar or equal to 18 M-circle dot. The models also suggest there is no simple single mass division for neutron star or black-hole formation and that there are islands of explodability for stars in the 8-120 M-circle dot range. The observational constraints are quite consistent with the bulk of stars above M similar or equal to 18 M-circle dot collapsing to form black holes with no visible supernovae.

Intracellular survival of Burkholderia cepacia complex in phagocytic cells

Burkholderia cepacia complex (Bcc) species are a group of Gram-negative opportunistic pathogens that infect the airways of cystic fibrosis patients, and occasionally they infect other immunocompromised patients. Bcc bacteria display high-level multidrug resistance, and chronically persist in the infected host while eliciting robust inflammatory responses. Studies using macrophages, neutrophils and dendritic cells, combined with advances to genetically manipulate these bacteria have increased our understanding of the molecular mechanisms of virulence in these pathogens and the molecular details of cell-host responses triggering inflammation. This article discusses our current view of the intracellular survival of B. cenocepacia within macrophages.

Preparing to prescribe: How do clerkship students learn in the midst of complexity?

Prescribing tasks, which involve pharmacological knowledge, clinical decision-making and practical skill, take place within unpredictable social environments and involve interactions within and between endlessly changing health care teams. Despite this, curriculum designers commonly assume them to be simple to learn and perform. This research used mixed methods to explore how undergraduate medical students learn to prescribe in the 'real world'. It was informed by cognitive psychology, sociocultural theory, and systems thinking. We found that learning to prescribe occurs as a dynamic series of socially negotiated interactions within and between individuals, communities and environments. As well as a thematic analysis, we developed a framework of three conceptual spaces in which learning opportunities for prescribing occur. This illustrates a complex systems view of prescribing education and defines three major system components: the "social space", where the environmental conditions influence or bring about a learning experience; the "process space", describing what happens during the learning experience; and the intra-personal "cognitive space", where the learner may develop aspects of prescribing expertise. This conceptualisation broadens the scope of inquiry of prescribing education research by highlighting the complex interplay between individual and social dimensions of learning. This perspective is also likely to be relevant to students' learning of other clinical competencies.

Control of uncertain compartmental systems

Os sistemas compartimentais são frequentemente usados na modelação de diversos processos em várias áreas, tais como a biomedicina, ecologia, farmacocinética, entre outras. Na maioria das aplicações práticas, nomeadamente, aquelas que dizem respeito à administração de drogas a pacientes sujeitos a cirurgia, por exemplo, a presença de incertezas nos parâmetros do sistema ou no estado do sistema é muito comum. Ao longo dos últimos anos, a análise de sistemas compartimentais tem sido bastante desenvolvida na literatura. No entanto, a análise da sensibilidade da estabilidade destes sistemas na presença de incertezas tem recebido muito menos atenção. Nesta tese, consideramos uma lei de controlo por realimentação do estado com restrições de positividade e analisamos a sua robustez quando aplicada a sistemas compartimentais lineares e invariantes no tempo com incertezas nos parâmetros. Além disso, para sistemas lineares e invariantes no tempo com estado inicial desconhecido, combinamos esta lei de controlo com um observador do estado e a robustez da lei de controlo resultante também é analisada. O controlo do bloqueio neuromuscular por meio da infusão contínua de um relaxante muscular pode ser modelado como um sistema compartimental de três compartimentos e tem sido objecto de estudo por diversos grupos de investigação. Nesta tese, os nossos resultados são aplicados a este problema de controlo e são fornecidas estratégias para melhorar os resultados obtidos.

Soluções construtivas de fachadas em zinco

O presente trabalho foi realizado com o intuito de dar a conhecer, de um modo mais pormenorizado, os diferentes tipos de sistemas de revestimento de fachadas em zinco. Numa primeira fase abordou-se as características do metal zinco, assim como uma breve explicação do seu processo produtivo e a sua aplicação no campo da engenharia civil. O tema da sustentabilidade é também desenvolvido no que respeita à utilização do metal zinco na construção. Posteriormente serão especificadas certas propriedades do zinco laminado. É este tipo de zinco que será aplicado na envolvente exterior de edifícios. Numa fase posterior desenvolve-se a caracterização dos diversos tipos de sistemas construtivos de fachadas, com a respetiva descrição dos sistemas. São vários os sistemas disponíveis no mercado, sendo os mais utilizados em Portugal, os sistemas de junta agrafada, sistema de encaixe e sistema Camarinha. São ainda abordados os diversos suportes deste tipo de revestimento, as patologias que podem surgir e também as vantagens e limitações do zinco como material de revestimento. Por último é apresentado o estudo de um caso concreto, baseado num projeto de um edifício de habitação multifamiliar, e serão desenvolvidos aspetos como o tipo de sistema de fachada aplicado e o seu modo de execução, para além do estudo do desempenho térmico e acústico das fachadas e o seu custo de execução.

Investigations into the determinations of hydride-forming elements

Analytical methods for the determination of trace amounts of germanium, tin and arsenic were established using hydride generation coupled with direct current plasma atomic emission spectrometry. A continuous gas flowing batch system for the hydride generation was investigated and was applied to the determination of germanium(Ge), tin(Sn), antimony(Sb) and lead(Pb) (Preliminary results suggest that it is also applicable to arsenic)As) ). With this system, the reproducibility of signals was improved and the determination was speeded up, compared with the conventional batch type hydride generation system. Each determination was complete within one minute. Interferences from a number of transition metal ions, especially from Pd(II), Pt(IV), Ni(II), Cu(II), Co(II), and Fe(II, III), have proven to be very serious under normal conditions, in the determination of germanium, tin, and arsenic. These interference effects were eliminated or significantly reduced in the presence of L-cystine or L-cysteine. Thus, a 10-1000 fold excess of Ni(II), Cu(II), Co(II), Fe(II), Pt(IV), Pd(II), etc. can be tolerated without interference, In the presence of L-cystine or L-cysteine, compared with absence of interference reducing agent. The methods for the determination of Ge, Sn, and As were examined by the analyses of standard reference materials. Interference effects from the sample matrix, for example, in transition metal-rich samples, copper, iron and steel, were eliminated by L-cystine (for As and Sn) and by LI cysteine (for Ge). The analysis of a number of standard reference materials gave excellent results of As and Sn contents in agreement with the certified values, showing there was no systematic interference. The detection limits for both germanium and tin were 20 pg ml- I . Preliminary studies were carried out for the determination of antimony and lead. Antimony was found to react with NaBH4, remaInIng from the previous determinations, giving an analytical signal. A reversed injection manner, i.e., injection of the NaBH4 solution prior to the analyte solution was used to avoid uncertainty caused by residual NaBH4 present and to ensure that an excess of NaB H4 was available. A solution of 0.4% L-cysteine was found to reduce the interference from selected transition metal ions, Co(II), Cu(II), Ni(II) and Pt(IV). Hydrochloric acid - hydrogen peroxide, nitric acid - ammonium persulphate, and potassium dichromate malic acid reaction systems for lead hydride generation were compared. The potassium dichromate - malic acid reaction medium proved to be the best with respect to reproducibility and minimal interference. Cu(II), Ni(II), and Fe(II) caused strong interference In lead determinations, which was not reduced by L-cysteine or Lcystine. Sodium citrate, ascorbic acid, dithizone, thiosemicarbazide and penicillamine reduced interferences to some extent. Further interference reduction studies were carried out uSIng a number of amino acids, glycine, alanine, valine, leucine and histidine, as possible interference reducing agents in the determination of germanium. From glycine, alanine, valine to leucine, the interference reduction effect in germanium determinations decreased. Histidine II was found to be very promising In the reduction of interference. In fact, histidine proved more efficient than L-cystine and L-cysteine In the reduction of interference from Ni(II) in the determination of germanium. Signal enhancement by easily ionized elements (EIEs), usually regarded as an interference effect in analysis by DCP-AES, was studied and successfully applied to advantage in improving the sensitivity and detection limit in the determination of As, Ge, Sn, Sb, and Pb. The effect of alkali and alkaline-earth elements on the determination of the above five hydride forming elements was studied. With the appropriate EIE, a signal enhancement of 40-115% was achieved. Linear calibration and good reproducibility were also obtained in the presence of EIEs. III

The role of a minor party : a comparative study of the British Liberal Party and the Australian Country Party since 1918

and the Australian Country Party since 1918. 2. The thesis examines the proposition that the role of a minor party is determined, not by its total strength expressed as a percentage of the national vote, but by how its strength is concentrated. Australia and Britain were chosen for the comparison because of the many similarities in political culture and in the extent of class voting. Each country has a party - the Country Party in Australia and the Liberal Party in Britain - which has had a distinct impact on the political scene in their respective countries. In the period from 1918 to the present day neither party, at the national level, has ever held the largest number of seats in parliament let alone a majority of seats, and it is in this sense that they are herein defined as minor parties. In the thesis the constitutional background of and differences between Australia and Britain are reviewed, followed by a brief historical picture of each of the two parties being studied. The sources of supporc of the two parties are analysed and it is here that real differences emerge. The Country Party in Australia is a deliberately sectional party with a narrow rural base, whereas the British Liberal Party is more broadly based than either the Labour or Conservative Parties in Britain. 3. Party leadership and organisation are then discussed. Both parties have had outstanding leaders, Earle Page and McEwen for the Country Party; Asquith, Lloyd George and Grimond for the Liberal Party. Both parties have had relatively fewer leaders than their major party opponents. However, whereas the Country Party has been free of serious splits the Liberal Party was shattered on the leadership struggles of Asquith and Lloyd George. Both parties have been identified with decentralisation of state power, the Country Party through its support, albeit sometimes lukewarm of the New States Movement; the Liberal Party through its espousal of a federal system for Britain with separate Welsh, Scottish and regional assemblies. Unfortunately for the British Liberal Party the beneficiaries of their policies in this area have been relatively new nationalist parties in both Wales arid Scotland. The major part of the thesis is devoted to a study of how the electoral systems in the two countries have, in practice, worked to the advantage or disadvantage of the Country Party and the British Liberal Party. The Country Party has been as consistently over-represented in the House of Representatives as the Liberal Party has been under-represented in the British House of Commons. With the even distribution of its support the introduction of the single transferable vote, in itself, would bring little benefit to the British Liberal Party in terms of seats. Multimember urban constituencies combined with some type of list system are the only way the Liberals are likely to obtain House of Commons seats in proportion to their votes. 4. Finally, the relations of the two minor parties with their respective major parties are considered. In the conclusion the future of the two parties is reviewed. In general terms it appears that the Country Party is faced with a slow decline. Although the British Liberal Party made a major breakthrough, in terms of votes, in the February 1974 election, they were unable to maintain this momentum in the October election, even though they lost very little ground. In the long term they must make an inroad into Labour held seats if they are to progress further.

Étude de la biogenèse de l'autotransporteur AIDA-I d'Escherichia coli

Les autotransporteurs monomériques, appartenant au système de sécrétion de type V, correspondent à une famille importante de facteurs de virulence bactériens. Plusieurs fonctions, souvent essentielles pour le développement d’une infection ou pour le maintien et la survie des bactéries dans l’organisme hôte, ont été décrites pour cette famille de protéines. Malgré l’importance de ces protéines, notre connaissance de leur biogenèse et de leur mécanisme d’action demeure relativement limitée. L’autotransporteur AIDA-I, retrouvé chez diverses souches d’Escherichia coli, est un autotransporter multifonctionnel typique impliqué dans l’adhésion et l’invasion cellulaire ainsi que dans la formation de biofilm et d’agrégats bactériens. Les domaines extracellulaires d’autotransporteurs monomériques sont responsables de la fonctionnalité et possèdent pratiquement tous une structure caractéristique d’hélice β. Nous avons mené une étude de mutagenèse aléatoire avec AIDA-I afin de comprendre la base de la multifonctionnalité de cette protéine. Par cette approche, nous avons démontré que les domaines passagers de certains autotransporteurs possèdent une organisation modulaire, ce qui signifie qu’ils sont construits sous la forme de modules fonctionnels. Les domaines passagers d’autotransporteurs peuvent être clivés et relâchés dans le milieu extracellulaire. Toutefois, malgré la diversité des mécanismes de clivage existants, plusieurs protéines, telles qu’AIDA-I, sont clivées par un mécanisme qui demeure inconnu. En effectuant une renaturation in vitro d’AIDA-I, couplée avec une approche de mutagenèse dirigée, nous avons démontré que cette protéine se clive par un mécanisme autocatalytique qui implique deux acides aminés possédant un groupement carboxyle. Ces résultats ont permis la description d’un nouveau mécanisme de clivage pour la famille des autotransporteurs monomériques. Une des particularités d’AIDA-I est sa glycosylation par une heptosyltransférase spécifique nommée Aah. La glycosylation est un concept plutôt récent chez les bactéries et pour l’instant, très peu de protéines ont été décrites comme glycosylées chez E. coli. Nous avons démontré que Aah est le prototype pour une nouvelle famille de glycosyltransférases bactériennes retrouvées chez diverses espèces de protéobactéries. La glycosylation d’AIDA-I est une modification cytoplasmique et post-traductionnelle. De plus, Aah ne reconnaît pas une séquence primaire, mais plutôt un motif structural. Ces observations sont uniques chez les bactéries et permettent d’élargir nos connaissances sur la glycosylation chez les procaryotes. La glycosylation par Aah est essentielle pour la conformation d’AIDA-I et par conséquent pour sa capacité de permettre l’adhésion. Puisque plusieurs homologues d’Aah sont retrouvés à proximité d’autotransporteurs monomériques putatifs, cette famille de glycosyltranférases pourrait être importante, sinon essentielle, pour la biogenèse et/ou la fonction de nombreux autotransporteurs. En conclusion, les résultats présentés dans cette thèse apportent de nouvelles informations et permettent une meilleure compréhension de la biogenèse d’une des plus importantes familles de protéines sécrétées chez les bactéries Gram négatif.