Systems Modelling and Management: First International Conference, Icsmm 2020, Bergen, Norway, June 25-26, 2020, Proceedings, Babur Цnder, Denil Joachim, Vogel-Heuser Birgit
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions.
Описание: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.- Mutation Testing of Smart Contracts at Scale.- Deductive Binary Code Verification Against Source-Code-Level Specifications.- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.- SAT Modulo Differential Equation Simulations.- Verified Runtime Assertion Checking for Memory Properties.- Testing for Race Conditions in Distributed Systems via SMT Solving.- SASA: a SimulAtor of Self-stabilizing Algorithms.- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
Описание: This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions.
Описание: This proceedings book gathers contributions presented at the First International Conference on Embankment Dams (1st ICED, Beijing, 5-7 June 2020), which was the inaugural conference of the International Society of Soil Mechanics and Geotechnical Engineering (ISSMGE) Technical Committee TC210 on Embankment Dams.
Описание: This proceedings book gathers contributions presented at the First International Conference on Embankment Dams (1st ICED, Beijing, 5-7 June 2020), which was the inaugural conference of the International Society of Soil Mechanics and Geotechnical Engineering (ISSMGE) Technical Committee TC210 on Embankment Dams.
Автор: Sumich, Jason (universitetet I Bergen, Norway) Название: The middle class in mozambique ISBN: 1108460712 ISBN-13(EAN): 9781108460712 Издательство: Cambridge Academ Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The growth of a middle class has been a feature of the `Africa Rising` narrative in recent years. Sumich sheds new light on this important topic by exploring the political, economic, and social origins of a middle class in Mozambique and the contradictions it faces.
Автор: Labelle, Brandon (bergen Academy Of Art And Design, Norway) Название: Acoustic justice ISBN: 1501368206 ISBN-13(EAN): 9781501368202 Издательство: Bloomsbury Academic Рейтинг: Цена: 13464.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Acoustic Justice engages issues of recognition and misrecognition by mobilizing an acoustic framework. From the vibrational intensities of common life to the rhythm of bodies in movement, and drawing from his ongoing work on sound and agency, Brandon LaBelle positions acoustics, and the broader experience of listening, as a dynamic means for fostering responsiveness, understanding, dispute, and the work of reorientation. As such, acoustic justice emerges as a compelling platform for engaging struggles over the right to speak and to be heard that extends toward a broader materialist and planetary view. This entails critically addressing questions of space, borders, community, and the acoustic norms defining capacities of listening, leading to what LaBelle terms “poetic ecologies of resonance.” Acoustic Justice works at issues of recognition and resistance, place and displacement, by moving across a range of pertinent references and topics, from social practices and sound art to the performativity of skin and the poetics of Deaf voice. Through such transversality, LaBelle pushes for acoustics as the basis for strategies of refusal and repair.
Автор: Labelle, Brandon (bergen Academy Of Art And Design, Norway) Название: Acoustic justice ISBN: 1501368214 ISBN-13(EAN): 9781501368219 Издательство: Bloomsbury Academic Рейтинг: Цена: 3800.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Acoustic Justice engages issues of recognition and misrecognition by mobilizing an acoustic framework. From the vibrational intensities of common life to the rhythm of bodies in movement, and drawing from his ongoing work on sound and agency, Brandon LaBelle positions acoustics, and the broader experience of listening, as a dynamic means for fostering responsiveness, understanding, dispute, and the work of reorientation. As such, acoustic justice emerges as a compelling platform for engaging struggles over the right to speak and to be heard that extends toward a broader materialist and planetary view. This entails critically addressing questions of space, borders, community, and the acoustic norms defining capacities of listening, leading to what LaBelle terms “poetic ecologies of resonance.” Acoustic Justice works at issues of recognition and resistance, place and displacement, by moving across a range of pertinent references and topics, from social practices and sound art to the performativity of skin and the poetics of Deaf voice. Through such transversality, LaBelle pushes for acoustics as the basis for strategies of refusal and repair.
Автор: Bergen Universitetet I., Museum Bergens Название: Rbok - Universitetet I Bergen ISBN: 1249650925 ISBN-13(EAN): 9781249650928 Издательство: Неизвестно Цена: 4655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
