Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It gives a practical treatment of algorithmic complexity and guides readers in solving algorithmic problems.Divided into three parts, the book offers a comprehensive set of prob...

As discourses and programming to support diversity and inclusion across higher education are intensifying, Leaps of Faith: Stories from Working-Class Academics presents a collection of narratives that highlights the “on-the-ground” experiences of working-class students and scholars. These are stories of negotiation, transition, and challenge. These are stories of struggle. These are stories of beating the odds.The early works of Ryan and Sackrey (1984), Sennett and Cobb (1993), and...

This book is the first to provide an overview of variable capacity scheduling and how it helps balance the growth of computing with its increasing environmental impact by creating more resilient and efficient systems that adapt to the dynamic nature of resource availability, optimizing utilization and minimizing disruptions.The book covers all aspects of variable capacity scheduling from a technical and a societal perspective. It considers the new age of renewable power generation ...

This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018.The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, depe...

Educators often invoke the term care to describe why they entered the field and what compels them to continue. This book argues that care, as typically described and enacted, is not sufficient for leading schools, particularly those serving Black and Brown children. Instead, school leaders need to embrace radical care. Drawing from 20 years of researching and working in New York City public schools, Rosa Rivera-McCutchen outlines the five components of radical care: adopting an antiracist ...

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 application...

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully...

**2021 PROSE Award Finalist, Education Practice and Theory CategoryIn the thoroughly revised second edition of Start Where You Are, But Don’t Stay There, H. Richard Milner IV addresses the knowledge and insights required on the part of teachers and school leaders to serve students of color.** Milner focuses on a crucial issue in teacher training and professional education: the need to prepare teachers for the racially diverse student populations in their classrooms.

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyb...

Empower black boys to dream, believe, achieveSchools that routinely fail Black boys are not extraordinary. In fact, they are all-too ordinary. If we are to succeed in positively shifting outcomes for Black boys and young men, we must first change the way school is "done." That’s where the eight in ten teachers who are White women fit in . . . and this urgently needed resource is written specifically for them as a way to help them understand, respect and co...

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:Part I: AI verification; blockchain and Security; Concurrency; hardwa...

2022 PROSE Award FinalistDrawing on narratives from hundreds of Black, Latinx, and Indigenous individuals, Ebony Omotola McGee examines the experiences of underrepresented racially minoritized students and faculty members who have succeeded in STEM. Based on this extensive research, McGee advocates for structural and institutional changes to address racial discrimination, stereotyping, and hostile environments in an effort to make the field more in...