Enantioselective formal total synthesis of the Dendrobatidae frog toxin, (+)-pumiliotoxin B, via O-directed alkyne free radical hydrostannation

Herein we describe our application of the O-directed free radical hydrostannation of disubstituted alkyl-acetylenes (with Ph3SnH and Et3B) to the (+)-pumiliotoxin B total synthesis problem. Specifically, we report on the use of this method in the synthesis of the Overman alkyne 8, and thereby demonstrate the great utility of this process in a complex natural product total synthesis setting for the very first time. We also report here on a new, stereocontrolled, and highly practical enantioselective pathway to Overman's pyrrolidine epoxide partner 9 for 8, which overcomes the previous requirement for use of preparative HPLC to separate the 1:1 mixture of diastereomeric epoxides that was obtained in the original synthesis of 9.

Chemoenzymatic formal synthesis of (-)- and (+)-epibatidine

The cis-dihydrocatechol, derived from enzymatic cis-dihydroxylation of bromobenzene using the microorganism Pseudomonas putida UV4, was converted into (-)-epibatidine in eleven steps with complete stereocontrol. In addition, an unprecedented palladium-catalysed disproportionation reaction gave the (+)-enantiomer of an advanced key intermediate employed in a previous synthesis of epibatidine.

British Constructions with Constitutions:The Formal and Informal Nature of 'Island' Relations on Montserrat and Gibraltar

This article explores social, economic and political relations on two British Dependent Territories (BDTs) -- Montserrat and Gibraltar. This article notes that though BDTs are British colonial constructions, created, sustained and modelled upon and by Britain, they differ from Britain in that they have political constitutions. They also exhibit an ambiguous dependence and independence upon and with Britain. This article goes on to look at social and economic relations on Montserrat and Gibraltar before comparing and contrasting the political climates on each BDT. Throughout this article, it is suggested that there is a dynamic tension between formal and informal aspects to managing life. Finally, this article concludes with a discussion about the suitability of the split between Executive and Legislative Councils in these two BDTs.

The role of formal structure in liking for popular music

The effect of restructuring the form of three unfamiliar pop/rock songs was investigated in two experiments. In the first experiment, listeners' judgements of the likely location of sections of novel popular songs were explored by requiring participants to place the eight sections (Intro - Verse 1 - Chorus 1 - Verse 2 - Chorus 2 - Bridge (solo) - Chorus 3 - Extro) of the songs into the locations they thought them most likely to occur within the song. Results revealed that participants were able to place the sections in approximately the right location with some accuracy, though they were unable to differentiate between choruses. In Experiment 2, three versions of each of the songs were presented in three different structures: intact (original form), medium restructured (the sections in a moderately changed order), and highly restructured (more severe restructuring). The results show that listeners' judgments of predictability and liking were largely uninfluenced by the restructuring of the songs, in line with findings for classical music. Moment-by-moment liking judgements of the songs demonstrated a change in liking judgements with repeated exposure, though the trend was downwards with repeated exposure rather than upwards. Detailed analysis of moment-by-moment judgements at the ends and beginnings of sections showed that listeners were able to respond quickly to intact songs, but not to restructured songs. The results suggest that concatenism prevails in listening to popular song at the expense of paying attention to larger structural features. © 2012 by the regents of the university of california all rights reserved.

Formal Analysis of MPI-based Parallel Programs

Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard © 2011 ACM.

Improving Patient Safety Through Formal and Informal Learning Networks

This paper explores a novel perspective on patient safety improvements, which draws on
contemporary social network and learning theories. A case study was conducted at a Portuguese
acute university hospital. Data collection followed a staged approach, whereby 46 interviews
were conducted involving 49 respondents from a broad array of departments and professional
backgrounds. This case study highlights the importance of two major interlinked factors in
contributing to patient safety improvements. The first of these is the crucial role of formal and
informal, internal and external social networks. The second is the importance and the possible
advantage of combining formal and informal learning. The analysis suggests that initiatives
rooted in formal learning approaches alone do not necessarily lead to the creation of long-term
grounded internal safety networks, and that patient safety improvements can crucially depend on
bottom-up initiatives of communities of practice and informal learning. Traditional research on
patient safety places a strong emphasis on top-down and managerialist approaches and is often
based on the assumption that „safety? learning is primarily formal and context-independent. This
paper suggests that bottom-up initiatives and a combination of formal and informal learning can
make a major contribute to patient safety improvements.

Digital loyalty card 'Big Data' and small business marketing: Formal versus informal or complementary?

This article proposes that a complementary relationship exists between the formalised nature of digital loyalty card data, and the informal nature of small business market orientation. A longitudinal, case-based research approach analysed this relationship in small firms given access to Tesco Clubcard data. The findings reveal a new-found structure and precision in small firm marketing planning from data exposure; this complemented rather than conflicted with an intuitive feel for markets. In addition, small firm owners were encouraged to include employees in marketing planning.

Formal calibration methodology for CFD models of naturally ventilated indoor environments

Well planned natural ventilation strategies and systems in the built environments may provide healthy and comfortable indoor conditions, while contributing to a significant reduction in the energy consumed by buildings. Computational Fluid Dynamics (CFD) is particularly suited for modelling indoor conditions in naturally ventilated spaces, which are difficult to predict using other types of building simulation tools. Hence, accurate and reliable CFD models of naturally ventilated indoor spaces are necessary to support the effective design and operation of indoor environments in buildings. This paper presents a formal calibration methodology for the development of CFD models of naturally ventilated indoor environments. The methodology explains how to qualitatively and quantitatively verify and validate CFD models, including parametric analysis utilising the response surface technique to support a robust calibration process. The proposed methodology is demonstrated on a naturally ventilated study zone in the library building at the National University of Ireland in Galway. The calibration process is supported by the on-site measurements performed in a normally operating building. The measurement of outdoor weather data provided boundary conditions for the CFD model, while a network of wireless sensors supplied air speeds and air temperatures inside the room for the model calibration. The concepts and techniques developed here will enhance the process of achieving reliable CFD models that represent indoor spaces and provide new and valuable information for estimating the effect of the boundary conditions on the CFD model results in indoor environments. © 2012 Elsevier Ltd.

Rigorous Specification and Low-Latency Implementation of Technical Market Indicators

Technical market indicators are tools used by technical an- alysts to understand trends in trading markets. Technical (market) indicators are often calculated in real-time, as trading progresses. This paper presents a mathematically- founded framework for calculating technical indicators. Our framework consists of a domain specific language for the un- ambiguous specification of technical indicators, and a run- time system based on Click, for computing the indicators. We argue that our solution enhances the ease of program- ming due to aligning our domain-specific language to the mathematical description of technical indicators, and that it enables executing programs in kernel space for decreased latency, without exposing the system to users’ programming errors.

Heterogeneity assumptions in the specification of bargaining models: a study of household level trade-offs between commuting time and salary

With many real world decisions being made in conjunction with other decision makers, or single agent decisions having an influence on other members of the decision maker's immediate entourage, there is strong interest in studying the relative weight assigned to different agents in such contexts. In the present paper, we focus on the case of one member of a two person household being asked to make choices affecting the travel time and salary of both members. We highlight the presence of significant heterogeneity across individuals not just in their underlying sensitivities, but also in the relative weight they assign to their partner, and show how this weight varies across attributes. This is in contrast to existing work which uses weights assigned to individual agents at the level of the overall utility rather than for individual attributes. We also show clear evidence of a risk of confounding between heterogeneity in marginal sensitivities and heterogeneity in the weights assigned to each member. We show how this can lead to misleading model results, and argue that this may also explain past results showing bargaining or weight parameters outside the usual [0,1] range in more traditional joint decision making contexts. In terms of substantive results, we find that male respondents place more weight on their partner's travel time, while female respondents place more weight on their partner's salary.

Adding metadata to Orc to support reasoning about grid programs

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

Mechanochemical interconversion between discrete complexes and coordination networks - formal hydration/dehydration by LAG

Using a small planetary ball mill, liquid-assisted grinding (LAG) of metal salts or oxides (ZnO, CdO, CdCO3, Cu(OAc)(2)center dot H2O, Co(OAc)(2)center dot 4H(2)O, Mn(OAc)(2)center dot 4H(2)O, Ni(OAc)(2)center dot 4H(2)O, FeSO4 center dot 7H(2)O) with two equivalents of isonicotinic acid (HINA) and small amounts of water ( up to 5.6 molar equivalents) gave discrete aquo complexes trans-[M(INA)(2)(OH2)(4)] (M = Zn, Cd, Cu, Fe, Co, Ni, Mn) efficiently within 30 min. For M = Zn, Cd and Cu these complexes readily undergo reversible formal dehydration to the extended network structures [M(INA)(2)] (M = Zn, Cu) or [Cd(INA)(2)(OH2)]center dot DMF by further LAG with non-aqueous liquids such as methanol or DMF. Overall, the mechanochemical dehydrations are more effective than heating or immersion in bulk solvents. The work demonstrates a two-step mechanochemical synthesis of coordination networks via discrete aquo complexes which may be preferable to single step reactions or grinding-annealing procedures in some cases. For example, the two step method was the only way to prepare [Cd(INA)(2)(OH2)]center dot DMF mechanochemically and the porous network Cu(INA)(2) could not be obtained from the aquo complex by heating.

Class Responsibility Assignment (CRA) for Use Case Specification to Sequence Diagrams (UC2SD)

Identifying responsibility for classes in object oriented software design phase is a crucial task. This paper proposes an approach for producing high quality and robust behavioural diagrams (e.g. Sequence Diagrams) through Class Responsibility Assignment (CRA). GRASP or General Responsibility Assignment Software Pattern (or Principle) was used to direct the CRA process when deriving behavioural diagrams. A set of tools to support CRA was developed to provide designers and developers with a cognitive toolkit that can be used when analysing and designing object-oriented software. The tool developed is called Use Case Specification to Sequence Diagrams (UC2SD). UC2SD uses a new approach for developing Unified Modelling Language (UML) software designs from Natural Language, making use of a meta-domain oriented ontology, well established software design principles and established Natural Language Processing (NLP) tools. UC2SD generates a well-formed UML sequence diagrams as output.