Proceedings of the 26th Project Integration Meeting

Progress made by the Flat-plate Solar Array (FSA) Project is described for the period July 1985 to April 1986. Included are reports on silicon sheet growth and characterization, silicon material, process development, high-efficienty cells, environmental isolation, engineering sciences, and reliability physics. Also included are technical and plenary presentations made at the 26th Project Integration Meeting (PIM) held on April 29 to 30 and May 1, 1986

Improving Hybrid Brainstorming Outcomes with Scripting and Group Awareness Support

Previous research has shown that hybrid brainstorming, which combines individual and group methods, generates more ideas than either approach alone. However, the quality of these ideas remains similar across different methods. This study, guided by the dual-pathway to creativity model, tested two computer-supported scaffolds – scripting and group awareness support – for enhancing idea quality in hybrid brainstorming. 94 higher education students,grouped into triads, were tasked with generating ideas in three conditions. The Control condition used standard hybrid brainstorming without extra support. In the Experimental 1 condition, students received scripting support during individual brainstorming, and students in the Experimental 2 condition were provided with group awareness support during the group phase in addition. While the quantity of ideas was similar across all conditions, the Experimental 2 condition produced ideas of higher quality, and the Experimental 1 condition also showed improved idea quality in the individual phase compared to the Control condition

Celebrating the crisis of representation: foregrounding conjunctive and disjunctive relations in painting and sound installation

Painting and multi-channel sound composition are combined in this practice-led PhD to generate installations that foreground an ongoing oscillation between conjunctive and disjunctive relations. While interactions between painting and sound practices have contributed to advances in their respective fields, the creation, analysis and curation of such work has often emphasised causal relationships. This study offers an expanded focus by bringing together painting and sound in ways that acknowledge equally the junctures and disjunctures between the mediums. The practical and theoretical considerations of this study have been framed by concepts drawn from the work of Friedrich Schlegel, Novalis and William James. Initially this study is informed by the Jena Romantics’ positive response to the crisis of representation brought about in Immanuel Kant’s work. Novalis’ proposition – to study foreign systems to better understand one’s own – is used to interpret conjunctive relations between painting and sound through the lens of transcription. Such conjunctive relationships are then rendered complex in installation, following Schlegel’s questioning of the possibility of representation and proposing instead endless deferral of resolution, ongoing contradiction and free play. Finally, James’ argument that experience consists of what he terms as both conjunctive and disjunctive relations, brings to prominence a complex understanding of the conceptual and the experienced in installations. This exegesis provides an overview of five key projects through which this practice-led research has developed. The philosophical and conceptual frameworks are used to interrogate these projects to allow consideration of sound and painting installation, informed by specific art historical and philosophical sources dealing with representation and experience. The practical contexts for the artworks are revealed through discussion of their relation to contemporary installation, painting and sound art practices. In developing a complex interplay and understanding of spatio-temporal and audio-visual fragments, this study seeks to celebrate the free play of experiencing suggested by the crisis of representation

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

2012 IMSAloquium, Student Investigation Showcase

Through SIR and its partnerships, IMSA students engage in rich opportunities to pursue compelling questions of interest, conduct investigations, engage with extraordinary advisors, communicate findings, and ultimately impact society.https://digitalcommons.imsa.edu/archives_sir/1004/thumbnail.jp

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

The world is what you make it: an application of virtual reality to the tourism industry

The tourism industry is a highly information intensive-industiy. In few other areas of activity are the generation, gathering, processing, application and communication of information as important for dayto- day operations as they are for the tourism industry (Buhalis 1994). Traditional sources of tourism information, images, text, sound, animation and video, provide potential tourists with short and often rather limited glimpses of tourism destinations which may be inadequate to enable them to make informed decisions (Cheong 1995). In addition, these sources of tourist information provide only a passive experience as they often possess little involvement on the part of the potential tourist. Virtual Reality (VR), on the other hand, enables potential tourists to interact with and experience each tourist destination in high detail and provides them with enough information to make a well-informed tourist decision. When considering its application within the tourism industry, VR will offer the ability not only to view a destination, but also, to participate in the activities offered at the destination. Through VR the tourist advances from being a passive observer to being an active participant (Williams & Hobson 1994). This thesis addresses issues associated with the design and evaluation of a VR application to the tourism industry that provides users with all the traditional types of tourist information along with allowing them to experience a multi-participant, realistic, interactive and real-time walkthrough of real-life tourist destinations. In order to develop these walkthroughs, the basic concepts of VR had first to be analysed. This was achieved by gaining hands-on experience of the different types of VR hardware and software available in conjunction with an in-depth literature review. Following the completion of this analysis, an overview of the tourism industry was developed. This overview identified certain properties of the tourism product that lend themselves readily to the application of VR Once this was completed the final stage of the research was concerned with the development of the walkthroughs and the elicitation of knowledge from the development of these walkthroughs. There were many conclusions uncovered by this research but the most important was that VR can indeed be applied successfully to the tourism industry. The main areas of application will be in the areas of tourism policy and planning and the marketing of the tourism product. Another conclusion that was drawn from this research was that VR applications can help to generate realistic impressions and expectations of what can be experienced at a tourism location. The final outstanding conclusion drawn from this research was that potential tourists viewed the VR application as a decision making tool that increases their desire to actually visit a tourist location and not as a tourism substitute

The 1992 4th NASA SERC Symposium on VLSI Design

Papers from the fourth annual NASA Symposium on VLSI Design, co-sponsored by the IEEE, are presented. Each year this symposium is organized by the NASA Space Engineering Research Center (SERC) at the University of Idaho and is held in conjunction with a quarterly meeting of the NASA Data System Technology Working Group (DSTWG). One task of the DSTWG is to develop new electronic technologies that will meet next generation electronic data system needs. The symposium provides insights into developments in VLSI and digital systems which can be used to increase data systems performance. The NASA SERC is proud to offer, at its fourth symposium on VLSI design, presentations by an outstanding set of individuals from national laboratories, the electronics industry, and universities. These speakers share insights into next generation advances that will serve as a basis for future VLSI design

Networks of Nature: Stories of Natural History Film-making at the BBC

In May 1953 the first natural history television programme was broadcast from Bristol by naturalist Peter Scott and radio producer Desmond Hawkins. By 1997 the BBC's Natural History Unit has established a global reputation for wildlife films, providing a keystone of the BBC's public service broadcasting charter, playing an important strategic role in television scheduling and occupying a prominent position in a competitive world film market. The BBC's blue-chip natural history programmes regularly bring images of wildlife from all over the globe to British audiences of over 10 million. This thesis traces the changing aesthetics, ethics and economics of natural history film-making at the BBC over this period. It uses archive material, interviews and participant observation to look at how shifting relationships between broadcasting values, scientific and film-making practices are negotiated by individuals within the Unit. Engaging with vocabularies from geography, media studies and science studies, the research contextualises these popular representations of nature within a history of post-war British attitudes to nature and explores the importance of technology, animals and conceptions of the public sphere as additional actors influencing the relationships between nature and culture. This history charts the construction of the actor networks of the Natural History Unit by film-makers and broadcasters as they seek to incorporate and exclude certain practices, technologies and discourses of nature. These networks provide the resources, values and constraints which members of the Unit negotiate to seek representation within the Unit, and present challenges as the Unit seeks to preserve its institutional identity as these networks shift. The thesis tells a series of stories of natural history film-making that reflect one institution's contributions and responses to the contemporary formations of nature, science, the media and modernity