Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus"

Cette thèse présente une théorie de la fonction formelle et de la structure des phrases dans la musique contemporaine, théorie qui peut être utilisée aussi bien comme outil analytique que pour créer de nouvelles œuvres. Deux concepts théoriques actuels aident à clarifier la structure des phrases : les projections temporelles de Christopher Hasty et la théorie des fonctions formelles de William Caplin, qui inclut le concept de l’organisation formelle soudée versus lâche (tight-knit vs. loose). Les projections temporelles sont perceptibles grâce à l’accent mis sur les paramètres secondaires, comme le style du jeu, l’articulation et le timbre. Des sections avec une organisation formelle soudée ont des projections temporelles claires, qui sont créées par la juxtaposition des motifs distincts, généralement sous la forme d'une idée de base en deux parties. Ces projections organisent la musique en phrases de présentation, en phrases de continuité et finalement, à des moments formels charnières, en phrases cadentielles. Les sections pourvues d’une organisation plus lâche tendent à présenter des projections et mouvements harmoniques moins clairs et moins d’uniformité motivique. La structure des phrases de trois pièces tardives pour instrument soliste de Pierre Boulez est analysée : Anthèmes I pour violon (1991-1992) et deux pièces pour piano, Incises (2001) et une page d’éphéméride (2005). Les idées proposées dans le présent document font suite à une analyse de ces œuvres et ont eu une forte influence sur mes propres compositions, en particulier Lucretia Overture pour orchestre et 4 Impromptus pour flûte, saxophone soprano et piano, qui sont également analysés en détail. Plusieurs techniques de composition supplémentaires peuvent être discernés dans ces deux œuvres, y compris l'utilisation de séquence mélodiques pour contrôler le rythme harmonique; des passages composés de plusieurs couches musicales chacun avec un structure de phrase distinct; et le relâchement de l'organisation formelle de matériels récurrents. Enfin, la composition de plusieurs autres travaux antérieurs a donné lieu à des techniques utilisées dans ces deux œuvres et ils sont brièvement abordés dans la section finale.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Estructura formal, textual y oral del discurso público

Estructura formal, textual y oral del discurso públicoExisten tres competencias comunicativas muy valoradas en la sociedad de la información. Primero, la búsqueda, selección y gestión de grandes cantidades de información. Segundo, la redacción de textos claros, concisos y rigurosos. Y en tercer lugar, la exposición y defensa oral de esta información en un discurso público. Tradicionalmente, los estudios de periodismo han abordado estas competencias de forma independiente. Pero actualmente, instituciones y empresas de ámbitos diferentes demandan un perfil profesional capaz de aplicarlas ante cualquier tipo de información y con objetivos diversos. Se propone un modelo integral en tres niveles estructurales basado en teorías, conceptos y estudios específicos de periodismo, oratoria, retórica… o comunicación, en los últimos años. Este modelo puede contribuir a encauzar las investigaciones de académicos y representa una herramienta de entrenamiento para profesionales.

Formal evolution and content in Asturian newspapers. From World War One to the Primo de Rivera Dictatorship

Between 1914 and 1923, and in general during the 1910s and 1920s, important changes occurred in the Asturian press that can be seen, for example, in the type of dailies which achieved certain readership levels. The form and number of pages evolved, images became more common, so-called citizen journalism was more freely practised, and there was a trend -when there was an opportunity- towards publishing articles which involved the author travelling to distant lands. Simultaneously, the consideration of sport as a show and the treatment given to other content both helped outline a new media scenario.

La fictohistoria o historiografía imaginaria en las literaturas románicas desde el siglo XIX: ensayo de tipología y panorama de un género formal insospechado (II)

El doble aspecto documental y artístico de la escritura de la historia ha quedado prácticamente oculto por la insistencia en el carácter científico de la disciplina y su expulsión subsiguiente del canon literario desde el siglo XIX. El cultivo de la historiografía ficticia o imaginaria (fictohistoria) surgió entonces como un modo de salvar la literariedad de la historia, en su calidad de género formal, mediante el uso del discurso historiográfico como procedimiento retórico para conseguir un efecto de historicidad en textos que son, no obstante, claramente ficticios, y que tienen a menudo un carácter satírico o admonitorio. Esto no está reñido con el hecho de que la mayoría manifieste en primer lugar una reflexión sobre el devenir de la humanidad, es decir, sobre la Historia. Los ejemplos de este género son relativamente abundantes y se pueden clasificar en varias categorías temáticas. Esta segunda parte del estudio se centra en la historia prospectiva.

Formal Aspects in SDH for Children in Spanish Television: A Descriptive Study

The comprehension of a subtitle goes far beyond the understanding of the meaning of the words it comprises. Formal aspects of subtitles for the d/Deaf and the hard-of-hearing (SDH) can be crucial in the cognitive effort necessary to process the subtitle within its audiovisual context (Perego 2008). The present article studies common practices of formal aspects in SDH for children, focusing on three parameters: layout and positioning of the subtitle; orthotypographic conventions; and resources for the identification of characters in the three TV channels dedicated exclusively to the youngest audiences in Spain. The present piece of research was carried out by analysing and evaluating these three parameters in comparison with the current UNE Standard 153010 (AENOR 2012) and with previous theoretical studies in the field.

Formal and informal translation and interpretation for immigrants and asylum seekers

As of 2011 there were over 50,000 migrants, who speak a language other than English or Irish at home, residing in Northern Ireland. Many of these individuals do not possess adequate levels of English language proficiency in order to access services. Research funded by the Northern Ireland Inclusion and Diversity Service was conducted to determine the home-school connections of culturally and linguistically diverse families in Northern Ireland. It revealed that there are a wide variety of ways that translation and interpretation services are offered for families not fluent in English within the school settings. Drawing upon the findings from the research in Northern Ireland, this presentation provides an overview of the types of translation and interpretation taking place in Northern Ireland; the advantages and disadvantages of each; and recommendations for agencies utilizing both formal and informal translation and interpretation. The presentation also includes references to work in this area in other contexts, as well as specific guidelines for agencies using both formal and informal translation and interpretation. These guidelines help ensure that the translations are conducted in a professional manner for all agencies providing services.

Settlement Duration and Materiality:Formal Chronological Models for the Development of Barnhouse, a Grooved Ware Settlement in Orkney

Radiocarbon dating and Bayesian chronological modelling, undertaken as part of the investigation by the Times of Their Lives project into the development of Late Neolithic settlement and pottery in Orkney, has provided precise new dating for the Grooved Ware settlement of Barnhouse, excavated in 1985–91. Previous understandings of the site and its pottery are presented. A Bayesian model based on 70 measurements on 62 samples (of which 50 samples are thought to date accurately the deposits from which they were recovered) suggests that the settlement probably began in the later 32nd century cal bc (with Houses 2, 9, 3 and perhaps 5a), possibly as a planned foundation. Structure 8 – a large, monumental structure that differs in character from the houses – was probably built just after the turn of the millennium. Varied house durations and replacements are estimated. House 2 went out of use before the end of the settlement, and Structure 8 was probably the last element to be abandoned, probably during the earlier 29th century cal bc. The Grooved Ware pottery from the site is characterised by small, medium-sized, and large vessels with incised and impressed decoration, including a distinctive, false-relief, wavy-line cordon motif. A considerable degree of consistency is apparent in many aspects of ceramic design and manufacture over the use-life of the settlement, the principal change being the appearance, from c. 3025–2975 cal bc, of large coarse ware vessels with uneven surfaces and thick applied cordons, and of the use of applied dimpled circular pellets. The circumstances of new foundation of settlement in the western part of Mainland are discussed, as well as the maintenance and character of the site. The pottery from the site is among the earliest Grooved Ware so far dated. Its wider connections are noted, as well as the significant implications for our understanding of the timing and circumstances of the emergence of Grooved Ware, and the role of material culture in social strategies.

A Formal Approach to Support Interoperability in Scientific Meta-workflows

Scientific workflows orchestrate the execution of complex experiments frequently using distributed computing platforms. Meta-workflows represent an emerging type of such workflows which aim to reuse existing workflows from potentially different workflow systems to achieve more complex and experimentation minimizing workflow design and testing efforts. Workflow interoperability plays a profound role in achieving this objective. This paper is focused at fostering interoperability across meta-workflows that combine workflows of different workflow systems from diverse scientific domains. This is achieved by formalizing definitions of meta-workflow and its different types to standardize their data structures used to describe workflows to be published and shared via public repositories. The paper also includes thorough formalization of two workflow interoperability approaches based on this formal description: the coarse-grained and fine-grained workflow interoperability approach. The paper presents a case study from Astrophysics which successfully demonstrates the use of the concepts of meta-workflows and workflow interoperability within a scientific simulation platform.

Formar professores em e para abordagens integradoras de contextos de educação formal e não formal de ciências

Tendo em conta que as orientações internacionais para a educação em ciências recomendam complementar o currículo de ciências com aprendizagens em contextos não formais. O estudo que aqui se relata consistiu na concepção, implementação e avaliação de um programa de formação continuada para professores do 1ºCEB sobre atividades integradas de educação em ciências (AIEC), a desenvolver em ambientes de educação formal e não formal. Após a implementação dessas AIEC, os professores manifestaram elevada satisfação com o empenho e motivação dos seus alunos e sentem-se muito mais motivados e seguros na exploração de temáticas de ciências em sala de aula.

The pathology of command and control: a formal synthesis

One of the most important theories in the study of environmental governance and policy is the pathology of command and control, which describes the negative consequences of top-down, technocratic governance of social and ecological systems. However, to date, this theory has been expressed somewhat inconsistently and informally in the literature, even by the seminal works that have established its importance and popularized it. This presents a problem for the sustainability science community if it cannot be sure of the precise details of one of its most important theories. Without such precision, applications and tests of various elements of the theory cannot be conducted reliably to advance the knowledge of environmental governance. I address this problem by synthesizing several seminal works to formalize this theory. The formalization involves the identification of the individual elements of the theory and a diagrammatic description of their relationships with each other that unfold in a series of semi-independent causal paths. Ideally, with such a formalization, scholars can use this theory more reliably and more meaningfully in their future work. I conclude by discussing the implications this theory has for the governance of natural resources.

Outorga onerosa do direito de construir e dinâmica do mercado imobiliário formal: planejamento e descaminhos na expansão urbana de Parnamirim RN (2008-2010)

The `Outorga Onerosa do Direito de Construir - OODC` (Public Concession of Building Rights), instrument instituted by The City Statute in 2001, has as main objective the recovery of urban property, seeking for a fair distribution the urbanization benefits. The possibility of usage of the OODC instrument is linked to the maximum utilization coefficient, determined to specific areas in accordance to existing infrastructure conditions, further taking into account the formal real estate market, expansion axis and crowding. Being an instrument which establishes values to be paid for a better use of land, it maintains a narrow relation to the real estate, incentivizing or discouraging the crowding in specific areas. The present study investigates the relationship between the criteria for the making of the Public Concession of Building Rights instrument and the dynamics of the formal real estate market. It takes as empiric universe Parnamirim (RN), part of the Natal Metropolitan Area (RN), focusing on the application of the OODC in the period of 2008-2010. It seeks to better understand the necessary basis for the formulation of the instrument, about how it works and its relation to the formal real estate market. It aims to depict the formal real estate market by presenting the production of urban space in Parnamirim in terms of intensity and nature of the real estate, furthermore identifying the licensed properties through the application of the municipality instrument. For the conclusion, it is discussed the criteria for the formation of OODC, its relationship to the dynamics of the formal real estate market and its influencing possibilities in the processes of usage and occupation of land in the context of urban planning