Uniting literary analysis, theories of emotion from the sciences and humanities, and a deeply archival account of Tudor history, Irish freshly examines how literature reflects and constructs the dynamics of emotional life in the Renaissance courtly sphere. Spanning the 16th century, this study argues that the dynamics of disgust, envy, rejection, and dread, as they are currently theorized in th…
This book examines technical aspects of industrial espionage and its impact in modern companies, organizations, and individuals while emphasizing the importance of intellectual property in the information era. The authors discuss the problem itself and then provide statistics and real world cases. The main contribution provides a detailed discussion of the actual equipment, tools and techniques…
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following t…
Smart cities are emerging worldwide, including economic, institutional, social, and technical concepts in interaction with existing infrastructure to achieve sustainability and increase quality of life. Additionally, digitalisation projects in the field of urban water infrastructure (UWI) aim to increase capacity of existing infrastructure to deal with future challenges caused by climate change…
The bicycle in Victorian Britain is often celebrated as a vehicle of women's liberation. But much less is known about another critical technology with which women forged new and mobile public lives – cycle wear. Despite its benefits, cycling was a material and ideological minefield for women. Conventional fashions were vastly inappropriate, with skirts catching in wheels and tangling in pedal…
Addresses the Challenges Associated with System-on-Chip Integration Network-on-Chip: The Next Generation of System-on-Chip Integration examines the current issues restricting chip-on-chip communication efficiency, and explores Network-on-chip (NoC), a promising alternative that equips designers with the capability to produce a scalable, reusable, and high-performance communication backbone by a…
While binaural technology applications gained in popularity in recent years, the majority of applications still use non-individual Head-Related Transfer Functions (HRTFs) from artificial heads. However, certain applications, for example research of spatial hearing or hearing attention, require an physically exact and realistic binaural signal. The limiting factor that prohibits the widespread u…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
This Brief presents a historical overview of the Förster-type nonradiative energy transfer and a compilation of important progress in FRET research, starting from Förster until today, along with a summary of the current state-of-the-art. Here the objective is to provide the reader with a complete account of important milestones in FRET studies and FRET applications as well as a picture of the…
Drawing on data generated by the EU’s Interests and Recruitment in Science (IRIS) project, this volume examines the issue of young people’s participation in science, technology, engineering and mathematics education. With an especial focus on female participation, the chapters offer analysis deploying varied theoretical frameworks, including sociology, social psychology and gender studies. …