Visions of Automation and Realities of Certification

Quite a lot of people envision automation as the solution to many of the problems in aviation and air transportation today, across all sectors: commercial, private, and military. This paper explains why some recent experiences with complex, highly-integrated, automated systems suggest that this vision will not be realized unless significant progress is made over the current state-of-the-practice in software system development and certification

Fourth NASA Langley Formal Methods Workshop

This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS

Sport, Gender and Development : Intersections, Innovations and Future Trajectories

The ebook edition of this title is Open Access, thanks to Knowledge Unlatched funding, and freely available to read online. In a context where striving for gender equity in relation to achieving the UN Sustainable Development Goals seems more pressing than ever before, Sport, Gender and Development: Intersections, Innovations and Future Trajectories bring together an exploration of sport feminisms to offer new approaches to research on Sport for Development and Peace (SDP) in global and local contexts. Including postcolonial and decolonial feminist lenses by drawing upon fieldwork with organizations and individuals in Afghanistan, Uganda, Nicaragua, and India, Sport, Gender and Development reveals the complexities of development and gender discourses and how they operate on and through researchers, practitioners, and participants\u27 bodies. Delving into a thoughtful engagement with the (dis)connections and comparisons across these diverging contexts, this book offers a critically reflexive account of what is transpiring in the transnational sport, gender, and development field, while remaining sensitive to the importance of community context and local iterations. Taking up emerging and contemporary feminist issues in sport-related international development, this book advances empirical, conceptual, and theoretical developments in the sport, gender, and development. Read the full book at https://www.emerald.com/insight/publication/doi/10.1108/9781838678630.https://digitalcommons.otterbein.edu/fac_bk/1006/thumbnail.jp

Biopedagogies and Indigenous knowledge: examining sport for development and peace for urban Indigenous young women in Canada and Australia

This paper uses transnational postcolonial feminist participatory action research (TPFPAR) to examine two sport for development and peace (SDP) initiatives that focus on Indigenous young women residing in urban areas, one in Vancouver, Canada, and one in Perth, Australia. We examine how SDP programs that target urban Indigenous young women and girls reproduce the hegemony of neoliberalism by deploying biopedagogies of neoliberalism to \u27teach\u27 Indigenous young women certain education and employment skills that are deemed necessary to participate in competitive capitalism. We found that activities in both programs were designed to equip the Indigenous girls and young women with individual attributes that would enhance their chances of future success in arenas valued by neoliberal capitalism: Eurocentric employment, post-secondary education and healthy active living. These forms of \u27success\u27 fall within neoliberal logic, where the focus is on the individual being able to provide for oneself. However, the girls and young women we interviewed argued that their participation in the SDP programs would help them change racist and sexist stereotypes about their communities and thereby challenged negative stereotypes. Thus, it is possible that these programs, despite their predominant use of neoliberal logic and biopedagogies, may help to prepare the participants to more successfully negotiate Eurocentric institutions, and through this assist them participants in contributing to social change. Nevertheless, based on our findings, we argue that SDP programs led by Indigenous peoples that are fundamentally shaped by Indigenous voices, epistemologies, concerns and standpoints would provide better opportunities to shake SDP\u27s current biopedagogical foundation. We conclude by suggesting that a more radical approach to SDP, one that fosters Indigenous self-determination and attempts to disrupt dominant relations of power, could have difficulty in attracting the sort of corporate donors who currently play such important roles in the current SDP landscape

Проблеми та можливості споживання енергії в Україні

Проаналізовано споживання енергії в різних секторах економіки й подано модель визначення потенціалу зниження споживання енергії в Україні. Ключові слова: енергоефективність, енергозбереження, енергоємність, енергоспоживання, потенціал зменшення споживання енергії.Проанализированы потребления энергии в различных секторах экономики и представлена модель определения потенциала снижения потребления энергии в Украине. Ключевые слова: энергоэффективность, энергосбережение, энергоемкость, энергопотребление, потенциал уменьшения потребления энергии.The paper analyses energy consumption in different economic sectors and presents the model of determining the potential of reducing energy consumption in Ukraine. Keywords: energy efficiency, energy saving, energy intensity, energy waste, energy consumption, potential of reducing energy consumption

A Note About HARP's State Trimming Method

This short note provides some additional insight into how the HARP program works. In some cases, it is possible for HARP to tdm away too many states and obtain an optimistic result. The HARP Version 7.0 manual warns the user that 'Unlike the ALL model, the SAME model can automatically drop failure modes for certain system models. The user is cautioned to insure that no important failure modes are dropped; otherwise, a non-conservative result can be given.' This note provides an example of where this occurs and a pointer to further documentation that gives a means of bounding the error associated with trimming these states

Current perspectives on recurrent pituitary adenoma: the role and timing of surgery vs adjuvant treatment

The clinical course of pituitary adenoma can be highly variable. Aggressive pituitary tumours may require multimodal therapy with multiple operations. Even standard pituitary adenomas exhibit relatively high long‐term recurrence rates and delayed intervention is often required. The indications for revision surgery in the endoscopic era are expanding for both functioning and nonfunctioning tumours, including access to the cavernous sinus and intracranial compartments. Although revision surgery can be challenging, it has been demonstrated to be both safe and effective. The question of the use of early radiotherapy in pituitary adenoma remains controversial. Our increasing understanding of pituitary tumour biology facilitates individualized treatment and surveillance protocols, with early intervention in high‐risk adenoma subtypes. In this review, we discuss the treatment options for recurring pituitary tumours and focus on the role of revision surgery