920 resultados para Curry-Howard
Resumo:
Executive summary Nature of the problem • Environmental problems related to nitrogen concern all economic sectors and impact all media: atmosphere, pedosphere, hydrosphere and anthroposphere. • Therefore, the integration of fluxes allows an overall coverage of problems related to reactive nitrogen (Nr) in the environment, which is not accessible from sectoral approaches or by focusing on specific media. Approaches • This chapter presents a set of high resolution maps showing key elements of the N flux budget across Europe, including N2 and Nr fluxes. • Comparative nitrogen budgets are also presented for a range of European countries, highlighting the most efficient strategies for mitigating Nr problems at a national scale. A new European Nitrogen Budget (EU-27) is presented on the basis of state-of-the-art Europe-wide models and databases focusing on different segments of Europe’s society. Key findings • From c. 18 Tg Nr yr −1 input to agriculture in the EU-27, only about 7 Tg Nr yr− 1 find their way to the consumer or are further processed by industry. • Some 3.7 Tg Nr yr−1 is released by the burning of fossil fuels in the EU-27, whereby the contribution of the industry and energy sectors is equal to that of the transport sector. More than 8 Tg Nr yr−1 are disposed of to the hydrosphere, while the EU-27 is a net exporter of reactive nitrogen through atmospheric transport of c. 2.3 Tg Nr yr−1. • The largest single sink for Nr appears to be denitrifi cation to N2 in European coastal shelf regions (potentially as large as the input of mineral fertilizer, about 11 Tg N yr–1 for the EU-27); however, this sink is also the most uncertain, because of the uncertainty of Nr import from the open ocean. Major uncertainties • National nitrogen budgets are diffi cult to compile using a large range of data sources and are currently available only for a limited number of countries. • Modelling approaches have been used to fill in the data gaps in some of these budgets, but it became obvious during this study that further research is needed in order to collect necessary data and make national nitrogen budgets inter-comparable across Europe. • In some countries, due to inconsistent or contradictory information coming from different data sources, closure of the nitrogen budget was not possible. Recommendations • The large variety of problems associated with the excess of Nr in the European environment,including adverse impacts, requires an integrated nitrogen management approach that would allow for creation and closure of N budgets within European environments. • Development of nitrogen budgets nationwide, their assessment and management could become an effective tool to prioritize measures and prevent unwanted side effects.
Resumo:
This is the first in a short series of articles that focus on what GPs should consider when monitoring and prescribing specialist-initiated palliative-care drugs. This first article summarises the key issues for patients receiving ketamine.
Resumo:
A thermoresponsive, supramolecular nanocomposite has been prepared by the addition of pyrenyl functionalized gold nanoparticles (AuNPs) to a polydiimide that contains receptor residues designed to form defined complexes with pyrene. The novel pyrenyl-functionalized AuNPs (P-AuNPs) were characterized by transmission electron microscopy, with surface functionalization confirmed by infrared and UV–visible spectroscopic analyses. Mixing solutions of the P-AuNPs and a π-electron-deficient polydiimide resulted in the formation of electronically complementary, chain-folded and π–π-stacked complexes, so affording a new supramolecular nanocomposite network which precipitated from solution. The P-AuNPs bind to the polydiimide via π–π stacking interactions to create supramolecular cross-links. UV–visible spectroscopic analysis confirmed the thermally reversible nature of the complexation process, and transmission electron microscopy (TEM), infrared spectroscopy (IR), and differential scanning calorimetry (DSC) were used to characterize the supramolecular-nanocomposite material. The supramolecular polymer network is insoluble at room temperature, yet may be dissolved at temperatures above 60 °C. The thermal reversibility of this system is maintained over five heat/cool cycles without diminishment of the network characteristics. In contrast to the individual components, the nanocomposite formed self-supporting films, demonstrating the benefit of the supramolecular network in terms of mechanical properties. Control experiments probing the interactions between a model diimide compound that can also form a π-stacked complex with the π-electron rich pyrene units on P-AuNPs showed that, while complexation was readily apparent, precipitation did not occur because a supramolecular cross-linked network system could not be formed with this system.
Resumo:
Above a critical chain length, where oligomers contain five or more recognition units, apparently infinite donor–acceptor polypseudorotaxanes are formed in the solid state. X-ray crystallographic analyses of three different examples have shown that although the oligomeric chains are undoubtedly discrete and monodisperse, they nevertheless appear to be infinite in the crystal.
Resumo:
Foot-and-mouth disease virus (FMDV) is a significant economically and distributed globally pathogen of Artiodactyla. Current vaccines are chemically inactivated whole virus particles that require large-scale virus growth in strict bio-containment with the associated risks of accidental release or incomplete inactivation. Non-infectious empty capsids are structural mimics of authentic particles with no associated risk and constitute an alternate vaccine candidate. Capsids self-assemble from the processed virus structural proteins, VP0, VP3 and VP1, which are released from the structural protein precursor P1-2A by the action of the virus-encoded 3C protease. To date recombinant empty capsid assembly has been limited by poor expression levels, restricting the development of empty capsids as a viable vaccine. Here expression of the FMDV structural protein precursor P1-2A in insect cells is shown to be efficient but linkage of the cognate 3C protease to the C-terminus reduces expression significantly. Inactivation of the 3C enzyme in a P1-2A-3C cassette allows expression and intermediate levels of 3C activity resulted in efficient processing of the P1-2A precursor into the structural proteins which assembled into empty capsids. Expression was independent of the insect host cell background and leads to capsids that are recognised as authentic by a range of anti-FMDV bovine sera suggesting their feasibility as an alternate vaccine.
Resumo:
OUP Abridged edition, based on the Howard & Paret translation. Includes my Introduction.
Resumo:
Aim: To develop a list of prescribing indicators specific for the hospital setting that would facilitate the prospective collection of high severity and/or high frequency prescribing errors, which are also amenable to electronic clinical decision support (CDS). Method: A three-stage consensus technique (electronic Delphi) was carried out with 20 expert pharmacists and physicians across England. Participants were asked to score prescribing errors using a 5-point Likert scale for their likelihood of occurrence and the severity of the most likely outcome. These were combined to produce risk scores, from which median scores were calculated for each indicator across the participants in the study. The degree of consensus between the participants was defined as the proportion that gave a risk score in the same category as the median. Indicators were included if a consensus of 80% or more was achieved. Results: A total of 80 prescribing errors were identified by consensus as being high or extreme risk. The most common drug classes named within the indicators were antibiotics (n=13), antidepressants (n=8), nonsteroidal anti-inflammatory drugs (n=6), and opioid analgesics (n=6).The most frequent error type identified as high or extreme risk were those classified as clinical contraindications (n=29/80). Conclusion: 80 high risk prescribing errors in the hospital setting have been identified by an expert panel. These indicators can serve as the basis for a standardised, validated tool for the collection of data in both paperbased and electronic prescribing processes, as well as to assess the impact of electronic decision support implementation or development.
Resumo:
This is the third in a short series of articles that focus on what GPs should consider when monitoring and prescribing specialist‐initiated palliative‐care drugs. Here, the authors summarise the key issues around the shortterm use of psychostimulants in palliative care.
Resumo:
It has long been supposed that preference judgments between sets of to-be-considered possibilities are made by means of initially winnowing down the most promising-looking alternatives to form smaller “consideration sets” (Howard, 1963; Wright & Barbour, 1977). In preference choices with >2 options, it is standard to assume that a “consideration set”, based upon some simple criterion, is established to reduce the options available. Inferential judgments, in contrast, have more frequently been investigated in situations in which only two possibilities need to be considered (e.g., which of these two cities is the larger?) Proponents of the “fast and frugal” approach to decision-making suggest that such judgments are also made on the basis of limited, simple criteria. For example, if only one of two cities is recognized and the task is to judge which city has the larger population, the recognition heuristic states that the recognized city should be selected. A multinomial processing tree model is outlined which provides the basis for estimating the extent to which recognition is used as a criterion in establishing a consideration set for inferential judgments between three possible options.
Resumo:
Self-complementary tweezer-molecules based on a naphthalenediimide core self-assemble into supramolecular dimers through mutual π–π-stacking and hydrogen bonding. The resulting motif is extremely stable in solution (Ka = 105 M−1), and its attachment to one terminal position of a poly(ethylene glycol) chain leads to a doubling of the polymer's apparent molecular weight.
Resumo:
This paper reports on a study investigating teachers’ views and beliefs about the relationship between second language (L2) research and practice. Although a gap has been frequently reported between the two, there is little empirical data to show what teachers’ views on this relationship are or how these views and beliefs influence their use of research. A total of 60 TESOL1 teachers in England responded to a questionnaire which sought both qualitative and quantitative data. Results of the data analysis suggest that although their views on research and its usefulness are positive, teachers are mainly sceptical about the practicality and relevance of L2 research. More importantly, they expect research to originate from rather than end in classrooms and maintain that the prime responsibility of bringing research and practice together is to be shared by teacher training programmes and educational policies of the institutions they work in. Our analysis of the data further implies that there are differences between teachers’ epistemological assumptions and the more established notions of research.
Resumo:
Hamiltonian dynamics describes the evolution of conservative physical systems. Originally developed as a generalization of Newtonian mechanics, describing gravitationally driven motion from the simple pendulum to celestial mechanics, it also applies to such diverse areas of physics as quantum mechanics, quantum field theory, statistical mechanics, electromagnetism, and optics – in short, to any physical system for which dissipation is negligible. Dynamical meteorology consists of the fundamental laws of physics, including Newton’s second law. For many purposes, diabatic and viscous processes can be neglected and the equations are then conservative. (For example, in idealized modeling studies, dissipation is often only present for numerical reasons and is kept as small as possible.) In such cases dynamical meteorology obeys Hamiltonian dynamics. Even when nonconservative processes are not negligible, it often turns out that separate analysis of the conservative dynamics, which fully describes the nonlinear interactions, is essential for an understanding of the complete system, and the Hamiltonian description can play a useful role in this respect. Energy budgets and momentum transfer by waves are but two examples.
Resumo:
Introgression in Festulolium is a potentially powerful tool to isolate genes for a large number of traits which differ between Festuca pratensis Huds. and Lolium perenne L. Not only are hybrids between the two species fertile, but the two genomes can be distinguished by genomic in situ hybridisation and a high frequency of recombination occurs between homoeologous chromosomes and chromosome segments. By a programme of introgression and a series of backcrosses, L. perenne lines have been produced which contain small F. pratensis substitutions. This material is a rich source of polymorphic markers targeted towards any trait carried on the F. pratensis substitution not observed in the L. perenne background. We describe here the construction of an F. pratensis BAC library, which establishes the basis of a map-based cloning strategy in L. perenne. The library contains 49,152 clones, with an average insert size of 112 kbp, providing coverage of 2.5 haploid genome equivalents. We have screened the library for eight amplified fragment length polymorphism (AFLP) derived markers known to be linked to an F. pratensis gene introgressed into L. perenne and conferring a staygreen phenotype as a consequence of a mutation in primary chlorophyll catabolism. While for four of the markers it was possible to identify bacterial artificial chromosome (BAC) clones, the other four AFLPs were too repetitive to enable reliable identification of locus-specific BACs. Moreover, when the four BACs were partially sequenced, no obvious coding regions could be identified. This contrasted to BACs identified using cDNA sequences, when multiple genes were identified on the same BAC.