Open innovation in the performing arts. Examples from contemporary dance and theatre production

Scholarship on open innovation examines the different shades of opening up the innovation process of firms, where the most important feature is sourcing in knowledge. In this paper I examine the implications of adapting open innovation frames to a field where it was not investigated before: performing arts (contemporary dance and theatre). I draw on case studies and demonstrate that open innovation strategies are viable for artistic production. Independent companies purposefully mining out external knowledge in production, and commercializing on the spillovers of their body of knowledge, put themselves on the shelf of firms adopting and adapting to open innovation.

The geological and microbiological controls on the occurrence, mobility and concentration of Se and Te in coal and black shales

© 2016 Institute of Materials, Minerals and Mining and The AusIMM Published by Taylor & Francis on behalf of the Institute and The AusIMM

Los emigrantes en las áreas mineras y las ciudades de Hispania: religión, identidades y difusión cultural

En el presente artículo analizamos los desplazamientos de cultos indígenas hispanos desde distintas áreas de la Península Ibérica hacia los principales lugares de inmigración en Hispania: las áreas mineras y las ciudades. Proponemos que estos grupos de emigrantes rendían culto en su nueva residencia a las deidades que veneraban en sus regiones de procedencia como un medio de preservar su cohesión social y su identidad cultural. La dureza de la vida laboral en las áreas mineras reforzaba la necesidad de fortalecer los lazos culturales.

Dinâmica da regeneração natural de áreas em restauração pela transposição de solo superficial de cerrado e de floresta estacional

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Biológicas, Departamento de Ecologia, Programa de Pós-Graduação em Ecologia, 2015.

Geologia e geometalurgia dos minérios de fosfato na base do manto de intemperismo da mina do Barreiro, Araxá

Tese (doutorado)—Universidade de Brasília, Instituto de Geociências, Programa de Pós-Graduação em Geologia, 2015.

THE EFFECT OF EASTERN KENTUCKY COAL FIRES ON LOCAL AIR QUALITY AND PERSONAL HEALTH

The purpose of this project was to investigate student learning in the areas of earth science and environmental responsibility using the subject of coal fires. Eastern Kentucky, where this study was performed, has several coal fires burning that affect the local air quality and may also affect the health of people living near them. This study was conducted during the regular education of 9th grade Earth Science classroom in Russell Independent Schools, located in Russell, Kentucky. Students conducted internet research, read current articles on the subject of coal fire emissions and effect on local ecology, and demonstrated what they learned through summative assessments. There were several aspects of coalmines and coal fires that students studied. Students were able to take this knowledge and information and use it as a learning tool to gain a better understanding of their own environment. Using the local history and geology of coalmines, along with the long tradition of mine production, was a very beneficial starting point, allowing students to learn about environmental impact, stewardship of their local environment, and methods of preserving and protecting the ecosystem.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.