If we want to nurture students as informed, progressive agents of change, we need to adopt non-traditional, transdisciplinary approaches when teaching them about ethics and sustainability. This innovative book demonstrates the best pedagogical techniques and approaches to incorporate sustainability, corporate social responsibility, and ethics in business and law education. Experienced teachers discuss the use of techniques such as Responsible Management Learning (RML) and non-linear decision-making gameplay in education, and find that alternative teaching and learning methods can encourage deep learning, integrated thinking and a transformative consumer research perspective. Forward-thinking, this book emphasises the importance of infusing the values of the United Nation's 17 Sustainable Development Goals into future curriculums, and discusses the eco-centric, embedded, transdisciplinary and personally transformative learning and teaching required to achieve these. With illustrative case studies and real-life reflections from students, it will prove invaluable for researchers of sustainability, corporate social responsibility and business ethics. Its discussions of assessment methods and student wellbeing will also prove a vital resource for educators and policymakers working in higher education in both the UK and internationally.

The Routledge Handbook of Irish Criminology is the first edited collection of its kind to bring together the work of leading Irish criminologists in a single volume. While Irish criminology can be characterised as a nascent but dynamic discipline, it has much to offer the Irish and international reader due to the unique historical, cultural, political, social and economic arrangements that exist on the island of Ireland. The Handbook consists of 30 chapters, which offer original, comprehensive and critical reviews of theory, research, policy and practice in a wide range of subject areas. The chapters are divided into four thematic sections: Understanding crime examines specific offence types, including homicide, gangland crime and white-collar crime, and the theoretical perspectives used to explain them. Responding to crime explores criminal justice responses to crime, including crime prevention, restorative justice, approaches to policing and trial as well as post-conviction issues such as imprisonment, community sanctions and rehabilitation. Contexts of crime investigates the social, political and cultural contexts of the policymaking process, including media representations, politics, the role of the victim and the impact of gender. Emerging ideas focuses on innovative ideas that prompt a reconsideration of received wisdom on particular topics, including sexual violence and ethnicity. Charting the key contours of the criminological enterprise on the island of Ireland and placing the Irish material in the context of the wider European and international literature, this book is essential reading for those involved in the study of Irish criminology and international and comparative criminal justice.

This volume specifically examines current concerns about imprisoned fathers and highlights best practices with a group of children and parents who present significant vulnerabilities. It brings together contemporary works in this area, to share and consolidate knowledge, to encourage comparisons and collaborations across jurisdictions, and to stimulate debate, all with the aim of furthering knowledge and improving practice in this area. Although there is considerable focus on imprisoned mothers, there is limited knowledge or understanding of the needs, experiences, or effective responses to imprisoned fathers and their children, despite men making up the vast majority of the prison population. The ongoing and negative impact of parental incarceration on children is well documented, and includes emotional and behavioural consequences, marginalisation, and stigma, as well as financial and social stresses. However, understanding of these processes, and, importantly, what can assist children and families, is poor. This book seeks to add to the understanding of paternal imprisonment by providing an in-depth exploration of how the arrest, detention, and experiences of fathers during imprisonment can affect their ability to parent and meet the needs of their children. This book was originally published as a special issue of Child Care in Practice.

Upstream processing refers to the production of proteins by cells genetically engineered to contain the human gene which will express the protein of interest. The demand for large quantities of specific proteins is increasing the pressure to boost cell culture productivity, and optimizing bioreactor output has become a primary concern for most pharmaceutical companies. Each chapter in Cell Culture and Upstream Processing is taken from presentations at the highly acclaimed IBC conferences as well as meetings of the European Society for Animal Cell Technology (ESACT) and Protein Expression in Animal Cells (PEACe) and describes how to improve yield and optimize the cell culture production process for biopharmaceuticals, by focusing on safety, quality, economics and operability and productivity issues. Cell Culture and Upstream Processing will appeal to a wide scientific audience, both professional practitioners of animal cell technology as well as students of biochemical engineering or biotechnology in graduate or high level undergraduate courses at university.

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

The world is becoming an ever smaller place-through globalization, finance and economics, technology, media, and the many global issues that transcend borders. As a result, undergraduates studying Global Politics and International Relations need a more integrated, applied, and practical approach for making sense of the world around them. In Global Politics: Applying Theory to a Complex World, authors Mark Boyer, Natalie Hudson, and Michael Butler have developed an approach to the subject that integrates historical context where necessary in the discussion of global issues and integrates the mainstream theoretical approaches within every chapter to provide students a rich and meaningful way to understand and critically analyze what is happening in the world today. Global Politics covers all of the standard topics in the undergraduate level IR/Global Politics course, and also provides more robust coverage of global ecology; gender and race; the different security challenges of our day that go beyond armed conflict; IPE coverage that highlights the divergent paths of the Global North and South; and the growing reliance upon international law, international organizations, and global and regional governance. Utilizing a familiar organization and emphasis of topics, the authors have developed a compelling narrative and features to captivate students who are both "worldly" and "naive" at the same time.

The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri?cation and re?nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University.

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.

The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.

The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency.

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

Longlisted, 2018 International DUBLIN Literary AwardLong-shortlisted, 2017 ReLit Awards1593. Queen Elizabeth reigns from the throne while two rival spymasters - Sir Robert Cecil and the Earl of Essex - plot from the shadows. Their goal? To control succession upon the aged queen's death. The man on which their schemes depend? Christopher Marlowe, a cobbler's son from Canterbury who has defied expectations and become an accomplished poet and playwright. Now that the plague has closed theatres, Marlowe must resume the work for which he was originally recruited: intelligence and espionage. Fighting to stay one step ahead in a dizzying game that threatens the lives of those he holds most dear, Marlowe comes to question his allegiances and nearly everything he once believed. As tensions mount, he is tossed into an impossible bind. He must choose between paths that lead either to wretched guilt and miserable death or to love and honour. An historical novel with a contemporary edge, This Marlowe measures the weight of the body politic, the torment of the flesh, and the state of the soul.

The Routledge Handbook of Irish Criminology is the first edited collection of its kind to bring together the work of leading Irish criminologists in a single volume. While Irish criminology can be characterised as a nascent but dynamic discipline, it has much to offer the Irish and international reader due to the unique historical, cultural, political, social and economic arrangements that exist on the island of Ireland. The Handbook consists of 30 chapters, which offer original, comprehensive and critical reviews of theory, research, policy and practice in a wide range of subject areas. The chapters are divided into four thematic sections: Understanding crime examines specific offence types, including homicide, gangland crime and white-collar crime, and the theoretical perspectives used to explain them. Responding to crime explores criminal justice responses to crime, including crime prevention, restorative justice, approaches to policing and trial as well as post-conviction issues such as imprisonment, community sanctions and rehabilitation. Contexts of crime investigates the social, political and cultural contexts of the policymaking process, including media representations, politics, the role of the victim and the impact of gender. Emerging ideas focuses on innovative ideas that prompt a reconsideration of received wisdom on particular topics, including sexual violence and ethnicity. Charting the key contours of the criminological enterprise on the island of Ireland and placing the Irish material in the context of the wider European and international literature, this book is essential reading for those involved in the study of Irish criminology and international and comparative criminal justice.

There is a distinct lack of theoretical innovation in the cybersecurity industry. This is not to say that innovation is lacking, as new technologies, services, and solutions (as well as buzzwords) are emerging every day. This book will be the first cybersecurity text aimed at encouraging abstract and intellectual exploration of cybersecurity from the philosophical and speculative perspective. Technological innovation is certainly necessary, as it furthers the purveying of goods and services for cybersecurity producers in addition to securing the attack surface of cybersecurity consumers where able. The issue is that the industry, sector, and even academia are largely technologically focused. There is not enough work done to further the trade-the craft of cybersecurity. This book frames the cause of this and other issues, and what can be done about them. Potential methods and directions are outlined regarding how the industry can evolve to embrace theoretical cybersecurity innovation as it pertains to the art, as much as to the science. To do this, a taxonomy of the cybersecurity body of work is laid out to identify how the influences of the industry's past and present constrain future innovation. Then, cost-benefit analysis and right-sizing of cybersecurity roles and responsibilities-as well as defensible experimentation concepts-are presented as the foundation for moving beyond some of those constraining factors that limit theoretical cybersecurity innovation. Lastly, examples and case studies demonstrate future-oriented topics for cybersecurity theorization such as game theory, infinite-minded methodologies, and strategic cybersecurity implementations. What you'll learn The current state of the cybersecurity sector and how it constrains theoretical innovation How to understand attacker and defender cost benefit The detect, prevent, and accept paradigm How to build your own cybersecurity box Supporting cybersecurity innovation through defensible experimentation How to implement strategic cybersecurity Infinite vs finite game play in cybersecurity Who This Book Is For This book is for both practitioners of cybersecurity and those who are required to, or choose to, employ such services, technology, or capabilities.

A brand new core text for organisational behaviour modules.About the Book Introduction to Organisational Behaviour is a print and electronic learning package for introductory modules. It includes a textbook full of learning features and a comprehensive set of online resources and video clips.Key Features Integrated multimedia package with videoed practitioner interviews, key skills video clips and author interviews The first text to explicitly and systematically link OB and key skills Tailored range of electronic resources with an area targeted at lecturers who have just started teaching OB and an area targeted at those who have taught OB before. 'Take your Learning Further' boxes in each chapter with suggestions of seminal books and articles to read Focus on future employability with key skills boxes and video clips Market / Audience Undergraduate students taking a module in organisational behaviour.

Longlisted, 2018 International DUBLIN Literary AwardLong-shortlisted, 2017 ReLit Awards"Complex, lyrical, and with a profound sense of a world long passed and humanity's eternal motivations." -- Quill & Quire"In Butler Hallett's hands, Kit comes off as a fascinating and contradictory figure, part martyred freethinker and part unscrupulous opportunist." -- Winnipeg Review"Perfectly paced and gracefully wrought." -- Toronto Star1593. Queen Elizabeth still reigns but grows old. Two rival spymasters -- Sir Robert Cecil and the Earl of Essex -- plot from the shadows. Their goal: to control succession upon the aged queen's death. The man on which their schemes depend: Christopher Marlowe ("Kit" to his friends), a cobbler's son from Canterbury who has defied expectations and become an accomplished poet and playwright. And spy. As the novel opens, Kit Marlowe, fresh from betraying the target of his espionage, is himself betrayed. Fighting to stay one step ahead in a dizzying game that threatens the lives of those he holds most dear, including his beloved Tom Kyd, he comes to question his allegiances and nearly everything he once believed. In this psychological thriller, Michelle Butler Hallett fleshes out the historical record with insight and the rigor of authenticity. Her 16th-century England, surprising and fresh, offers historical figures both famous and obscure, casual descriptions of quotidian life, and vivid representations of cruelty and violence that reverberate with echoes of our own time. But it's Kit, the fascinating Marlowe, an endless source of brilliance, passion and defiance, that brings the novel to life. Writes playwright Robert Chafe, "History's Marlowe becomes [Butler Hallet's] own, offering us his wit and wisdom and seemingly new lessons about faith, ambition, loyalty, and yes, love."

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.

This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.

Nurses working within the expanded role of prescriber will frequently be faced with prescribing decisions. This text provides easily accessible information upon which to base these decisions, ensuring safe and effective prescribing practices. Each chapter examines the preparations available to nurses in the extended formulary and their effects on the human body. Information including product dosage, contraindications, side effects, drug interactions, and specific nursing points is presented in detail. This text provides key background information from the relevant life sciences, as it applies to modern clinical practice. The authors have brought together widely available information in the form of a single, easy to use, practice-based text, which, in conjunction with the BNF, Drug Tariff and manufacturers' product information sheets, provides an essential guide to nurse prescribing.