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.

Management in distributed systems: A semi-formal approach

The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Ore notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Ore is particularly suited to this role as this type of management is essentially an orchestration activity. The Ore specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

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.

Aza-annulation of enaminones with crotonyl chloride - Formal reversal of regioselectivity.

The regiochemistry of aza-annulation of enaminones with alpha,beta-unsaturated acid chlorides bearing hydrogen atoms on the gamma-carbon is reversed when triethylamine is used as mediator. When the reaction was carried out at lower temperatures as 3-acyl beta,gamma-unsaturated compound could be isolated which cyclised to the desired product under thermal or basic conditions. The nature of this intermediate strongly suggests that a vinyl ketene is the active acylating agent. (C) 1997 Elsevier Science Ltd.

AVALIAR O IMPACTO DAS NOVAS MEDIDAS DE POLÍTICA EDUCATIVA PARA O 1º CICLO DO ENSINO BÁSICO E EDUCAÇÃO DE ADULTOS NA OFERTA LOCAL DOS AMBIENTES DE APRENDIZAGEM (Anos lectivos de 2004-2005 e 2006-2007) O CASO DO CONCELHO DE GAVIÃO

Tendo como principal fio condutor a pergunta de partida (Qual o impacto das novas medidas de política educativa para o 1º Ciclo do Ensino Básico e Educação de Adultos na oferta local dos ambientes de aprendizagem?) procuramos encontrar uma resposta para a problemática na qual se centra esta investigação. A partir desta questão inicial delineámos o corpo da dissertação em duas partes: a primeira referente ao enquadramento teórico e a segunda respeitante ao estudo empírico. No âmbito do enquadramento teórico, procedemos a uma reflexão cruzada entre educação e território, no sentido de perceber as suas potenciais (inter) ligações, bem como à análise de alguns dos normativos que dão suporte legal a esta problemática, finalizando com a apresentação do campo de estudo. Ao nível do estudo empírico, seguimos uma metodologia partilhada (qualitativa/ quantitativa), apoiada essencialmente numa aproximação conceptual ao estudo de caso. Os dados recolhidos, por meio de inquérito por questionários aplicados, permitiram-nos conceber várias leituras do território: Cartografia Institucional do Concelho de Gavião e Cartografia Educacional do Concelho de Gavião referente aos anos lectivos de 2004-2005 e 2006-2007, respectivamente, dado o estudo ter decorrido ao longo de um período de três anos lectivos. Da análise dos dados disponíveis, centramos as nossas conclusões em, pelo menos, duas dimensões totalmente opostas. Por um lado, o novo paradigma de “escola a tempo inteiro” assume, actualmente, neste território um papel preponderante, devolvendo aos ambientes formais de educação uma clara liderança no que concerne à quantidade e diversidade de aprendizagens desenvolvidas; por outro, assistimos a um claro abandono das aprendizagens realizadas em espaços não formais, as quais eram dirigidas quase exclusivamente às faixas etárias mais avançadas, que agora vêm as várias possibilidades de aprender, o que quer que seja, como uma oportunidade cada vez mais distante. Face à problemática em estudo, a nossa dissertação termina com a formulação das sugestões e recomendações que nos parecem mais oportunas.