- Table View
- List View
Catatonia: A Practical Guide to a Clinical and Scientific Conundrum
by Georg Northoff Dusan HirjakCatatonia is a complex neuropsychiatric disorder characterized by motor, affective and cognitive-behavioral symptoms, presenting significant challenges for both psychiatrists and neurologists. It occurs in 5–18% of patients in inpatient psychiatric units and in 3.3% of those in neurology or neuropsychiatric tertiary care inpatient settings. Despite its relatively high prevalence, catatonia is often underdiagnosed and inadequately treated, which can lead to substantial disadvantages for patients and may be associated with potentially life-threatening conditions. This comprehensive guide is designed to assist clinicians, researchers, and students in understanding and treating catatonia. It navigates through the history of the condition, exploring its phenomenology, clinical manifestations and pathophysiology, before delving into effective treatment strategies. By providing a clear and thorough overview, this guide simplifies the recognition of catatonia and promotes prompt and accurate treatment, encouraging future research endeavours in catatonia.
Time and Governance in Fifteenth-Century Perpignan (Cambridge Studies in Medieval Life and Thought: Fourth Series)
by Philip DaileaderIn the fifteenth century, Renaissance humanists were not the only ones to think about time differently from previous generations. Time and Governance examines how and why late medieval townspeople – those who bought, sold, and manufactured for a living – reconceptualized time and applied their new understanding of it to politics and to economics. In doing so, this book reconstructs and analyses a place and time both unexpectedly familiar and deeply alien. Blending institutional history with the history of mentalities, Philip Daileader engages with issues of state building, finance, production, social conflict, national identity, and demography. He addresses the question of whether late medieval Europe deserves its often-grim reputation by recapturing and prioritizing the life experiences, thoughts, and opinions of those who lived then and there.
Islam and Pseudoscience (Elements in Islam and Science)
by Stefano BigliardiPseudoscience includes any practice or argument that is presented as scientific but systematically violates criteria that distinguish science, particularly experimental verification. This Element discusses, in critical fashion, different ideas and approaches that combine pseudoscience and Islam. It begins by historically reconstructing the debate on Islam-related pseudoscience developed by Muslim and non-Muslim critics. It then analyzes three areas which these critics have identified as pseudoscience: iʿjāz ʿilmī or the “miraculous scientific content of the Qur'an”; Islamic creationism; ideas and approaches related to hygiene, nutrition, health, and illness. Each area is dissected, identifying the exact reasons that characterize some of its versions as pseudoscientific. After a section discussing other malpractices and erroneous approaches, which do not strictly qualify as pseudoscience but accompany and foster it, the Element ends with the discussion of overarching questions constituting an agenda for future discussions of Islam-related pseudoscience.
Punctuated Equilibria and Sino-American Relations: Lulls and Lurches across the Pacific
by Steve ChanIn many areas of the natural and physical world, long periods of seeming stasis or small incremental changes are interrupted by large, sudden leaps. This book illustrates how similar processes characterize international relations. This book points to such occurrences, for example the collapse of the USSR, the unravelling of Napoleon's wartime alliance, and the possible future status of the US dollar; and it illustrates in greater detail the admission of China to the United Nations, the history of economic development of various countries, and the possible formation of a countervailing coalition against US primacy. Steve Chan investigates these instances and explains the dynamics governing these processes of lulls and lurches and illuminates how qualitative research can apply the Boolean logic to study systematically the danger of a possible future Sino-American conflict based on past episodes.
Hieratic: An Ancient Egyptian Cursive Script (Elements in Writing in the Ancient World)
by Fredrik HagenHieratic was the most widely used script in ancient Egypt, but is today relatively unknown outside Egyptology. Generally written with ink and a brush, it was the script of choice for most genres of text, in contrast to hieroglyphs which was effectively a monumental script. The surviving papyri, ostraca and writing boards attest to the central role of hieratic in Egyptian written culture, and suggest that the majority of literate people were first (and not infrequently only) trained in the cursive script. This Element traces the long history of hieratic from its decipherment in the nineteenth century back to its origins around 2500 BC, and explores its development over time, the different factors influencing its appearance, and the way it was taught and used.
Building the African Nation: The African Association and Pan-Africanism in Twentieth Century East Africa (African Identities: Past and Present)
by Ethan R. SandersHow did people in East Africa come to see themselves as 'Africans,' and where did these concepts originate from? Utilizing a global intellectual history lens, Ethan Sanders traces how ideas stemming from global black intellectuals of the Atlantic, and others, shaped the imaginations of East Africans in the early twentieth century. This study centers on the African Association, a trans-territorial pan-Africanist organization that promoted global visions of African unity. No mere precursor to anti-colonial territorial nationalism, the organization eschewed territorial thinking and sought to build a continental African nation from the 1920s to the 1940s, at odds with later forms of nationalism in Africa. Sanders explores in depth the thought of James Aggrey, Paul Sindi Seme, and Julius Nyerere, three major twentieth-century pan-Africanists. This book rethinks definitions of pan-Africanism, demonstrating how expressions of both practical and redemptive pan-Africanism inspired those who joined the African Association and embraced an African identity.
Redemption: MacArthur and the Campaign for the Philippines
by Peter R. MansoorRedemption is a sweeping new history of the largest and costliest campaign waged by US armed forces during the Pacific War. Peter Mansoor surveys the course of the Philippines campaign, from the Japanese invasion and the Filipino guerrilla operations which contested occupation to the US Army's return to Leyte and the subsequent battles of liberation. Central to the book is a re-evaluation of the leadership of General Douglas MacArthur, one of the most controversial military commanders in US history. At times brilliant, courageous, and politically astute, MacArthur was also egotistical, publicity hungry, often ignorant of conditions at the front, and self-certain to a fault. In their return to the Philippines, MacArthur and his forces liberated millions of Filipinos and severed a critical Japanese resource lifeline. But he also achieved something much rarer – redemption on the same ground and against the same enemy that defeated him earlier in the war.
The Boundaries of Blame: Towards a Universal Partial Defence for the Criminal Law
by Louise KennefickHow can our criminal law retain legitimacy in an era of growing awareness about the complexities of human vulnerability and the far-reaching harm of punitive attitudes? The Boundaries of Blame makes a fresh contribution to the evolving scholarship on the relationship between criminal responsibility and social justice. It challenges the constricted view of personhood underpinning doctrines of responsibility, encouraging new conversations about long-standing questions on the role of circumstances like deprivation and trauma in excusing wrongdoing. Testing entrenched boundaries can provoke resistance, but the book argues that pushing past these limits is essential to fostering a more just framework of state blame in our present time and place. To achieve this objective, Louise Kennefick proposes a bold yet pragmatic response in the form of a Universal Partial Defence, grounded in the Real Person Approach – a blueprint that offers a practical and humane pathway towards a fairer measure of criminal accountability.
Wittgenstein and Social Epistemology (Elements in the Philosophy of Ludwig Wittgenstein)
by Annalisa ColivaThe last twenty years have witnessed a 'social turn' in analytic philosophy. Social epistemology has been crucial to it. Social epistemology starts by repudiating the kind of individualistic epistemology, which, since Descartes' Meditations and through Kant's maxim 'Think for yourself', has dominated philosophy. It is a sign of the deep erasure of Wittgenstein's ideas from many debates in analytic philosophy that neither his views against fundamental tenets of individualistic epistemology, nor his positive contribution to key themes in social epistemology are considered. This Element on Wittgenstein and Social Epistemology is the first comprehensive study of the implications of the later Wittgenstein's ideas for key issues at the core of present-day social epistemology, such as the nature of common sense and its relations to common knowledge; testimony and trust; deep disagreements in connection with genealogical challenges; and the meaning of 'woman' and the role of self-identification in the determination of gender.
The Cambridge History of War: Volume 3, War and the Early Modern World (Cambridge History of War)
by David Parrott Gábor ÁgostonVolume III of The Cambridge History of War covers the early modern world, offering a four-hundred-year perspective from the last Eurasian nomadic empires to the advent of ironclad, steam-driven warships in the mid-nineteenth century. Together, the chapters cover the rise of professional armies and purpose-built warships in Europe; the evolution of military societies in the great Islamic empires; the vicissitudes of Ming and Qing military organization and that of their Asian neighbours; and the raising and maintaining of armies in Africa and the Americas. Numerous processes of imperial expansion, both on land of sea, are examined, as are the processes of global confrontation and interchange across different military systems. Technology, organization, finance, and military cultures are each explored from a broad perspective. Bringing together an impressive team of experts in their fields, the volume provides a comprehensive and accessible history of war from 1450–1850.
Reverse Engineering Armv8-A Systems: A practical guide to kernel, firmware, and TrustZone analysis
by Austin KimExplore reverse engineering in Armv8-A-based Arm devices, develop the skills to analyze binaries, and leverage cutting-edge security hardening features through hands-on techniques and expert insightsKey FeaturesMaster key aspects of Armv8-A, including register, exception handling, and TrustZoneBuild new reversing skills for kernel binaries, such as *.ko and vmlinux, for firmware analysisUnderstand Armv8-A's latest security featuresPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionUnlock the secrets hidden in binary code without needing the source! Written by a Linux kernel engineer and author with over 14 years of industry experience, this book lays a solid foundation in reverse engineering and takes you from curious analyst to expert. You’ll master advanced techniques to dissect kernel binaries, including kernel module files, vmlinux, and vmcore, giving you the power to analyze systems at their core. This practical, three-part journey starts with the essentials of reverse engineering, introducing the key features of Armv8-A processors and the ELF file format. The second part walks you through the reverse-engineering process, from Arm environment setup to using static and dynamic analysis tools, including innovative methods for analyzing kernel binaries and the powerful debugging tool uftrace. The final part covers security, exploring TrustZone and the latest security techniques to safeguard Arm devices at the hardware level. By the end of this reverse engineering book, you'll have comprehensive Armv8-A expertise and the practical skills to analyze any binary with confidence while leveraging advanced security features to harden your systems.What you will learnUnderstand the organization of Arm assembly instructionsDisassemble assembly code without using C codeWork with reverse engineering tools, such as GDB and binary utilityApply reversing techniques for both user space and kernel binariesGet to grips with static and dynamic binary analysis processesGet a solid understanding of the powerful debugging tool, uftraceAnalyze TrustZone and the advanced security features provided by Armv8-AWho this book is forThis book is for professionals and enthusiasts interested in reverse engineering and debugging on Armv8-A-based devices. It is especially useful for system software engineers, security consultants, and ethical hackers expanding their binary analysis expertise. To get the most out of this book, you should have a basic understanding of the C programming language. Familiarity with computer architecture, Linux systems, and security concepts will be a definite advantage.
Healing Hearts on Thistledown Lane PART #3: Fall in love with part three of this new uplifting and heartwarming story
by Holly Hepburn**PART THREE in the brand new series from Holly Hepburn, perfect for fans of Cathy Bramley and Katie Fforde** Maura has everything she ever wanted from life – a quirky cottage in Edinburgh&’s picturesque Dean Village, a thriving career as a potter, and a contented relationship with her childhood sweetheart, Jamie. Never mind that the cottage is damp, her pots aren&’t selling and Jamie prefers a night down the pub with his rugby mates to an evening in with her.But everyone wishes things were just a tiny bit better, right? When Maura reunites with Fraser Bell at a Hogmanay party, she&’s instantly transported back to her school days. And when he suggests she makes some ceramic ghosts to go with his city ghost tour business, she&’s tempted. At first, everything goes smoothly but it&’s not long before their new partnership causes problems that ripple through every aspect of Maura&’s life. The ghosts go viral, meaning she has more orders than she can fulfil, and Jamie is less than thrilled that she&’s spending all her time in her studio. But it&’s not until Edinburgh Castle shows an interest in Maura&’s work that things begin to spiral out of control.Can Maura really have it all or will she regret wishing for more?
Wild Magic: Journey of the Lost Elephant (Wild Magic)
by Abiola BelloDiscover your wild side! Join twins Misha and Ziggy on another magical wildlife adventure in the second book in the WILD MAGIC series. For fans of Leonora Bolt and Space Detectives.Misha and Ziggy are super excited to be joining their wildlife presenter father on a trip to India, where they&’ll be able to test their magical powers all over again. Misha can&’t wait to talk to all the fascinating animals she meets and Ziggy is eager to shapeshift into all the amazing animals he sees!When they plan to map the migration route of an elephant herd, they discover that the elephant calf has gone missing.Can Misha and Ziggy find the baby elephant and reunite it with its family before its lost forever?PRAISE FOR THE WILD MAGIC SERIES&‘Loveable and brilliant adventure-seeking characters . . . funny, gorgeously illustrated and full of heart. Perfect for young readers.&’ Swapna Haddow, author of Dave Pigeon series
How to Survive Camping: A gruesomely funny and addictive must-read horror
by Bonnie QuinnA campy, funny horror novel about a manager of a haunted campground just trying to get through the season, perfect for fans of Grady Hendrix, Welcome to Night Vale and You're Not Supposed to Die Tonight.WELCOME TO GOAT VALLEY. WE HOPE YOU SURVIVE YOUR STAY. Goat Valley Campground has been in Kate&’s family for generations. It draws campers year after year . . . as well as creatures from folklore that have made the land their home, their hunting ground, and their portal between worlds. As campground manager, Kate must do whatever she can to keep her campers alive and the monsters contained, including making some basic rules on how to survive your camping experience. Still, not everyone gets out alive. And now the threat of decapitated campers are the least of Kate&’s worries, as one of the most dangerous, insidious inhabitants of the campground is determined to claim the land for himself . . . Based on the popular r/nosleep reddit stories, The Man With No Shadow is the first novel in a horror series which will terrify you and make you laugh in equal measure.
The Origin of Language: How We Learned to Speak and Why
by Madeleine BeekmanIn a radical new story about the birth of our species, The Origin of Language argues that it was not hunting, fighting, or tool-making that forced early humans to speak, but the inescapable need to care for our children. Journeying to the dawn of Homo sapiens, evolutionary biologist Madeleine Beekman reveals the &“happy accidents&” hidden in our molecular biology—DNA, chromosomes, and proteins—that led to one of the most fateful events in the history of life on Earth: our giving birth to babies earlier in their development than our hominid cousins the Neanderthals and Denisovans. Faced with highly dependent infants requiring years of nurturing and protection, early human communities needed to cooperate and coordinate, and it was this unprecedented need for communication that triggered the creation of human language—and changed everything. Infused with cutting-edge science, sharp humour, and insights into the history of biology and its luminaries, Beekman weaves a narrative that&’s both enlightening and entertaining. Challenging the traditional theories of male luminaries like Chomksy, Pinker, and Harari, she invites us into the intricate world of molecular biology and its ancient secrets. The Origin of Language is a tour de force by a brilliant biologist on how a culture of cooperation and care have shaped our existence.
Bury Your Friends
by Benjamin DeanFrom bestselling and award-winning author Benjamin Dean comes a dark, decadent and deadly YA thriller following the perfectly privileged lives of spoilt rich kids and the messy, murderous things they'll do to get what they want. For fans of How to Die Famous, One of Us is Lying and Five Survive. Ten friends. One night. A classy celebration. A deranged killer. Lots of murder. Noah and his best friends are finally graduating from Woodthorn Academy with the world and all its promises laid out before them. To celebrate exam results day, they&’re hosting a party weekend at Black Stone, an opulent country estate, for the whole school to attend. But for one night only, the ten friends will have a low-key celebration – after all, it&’s how the upper echelons begin their futures. But things take a sinister turn when they find themselves in the crosshairs of a killer making one simple demand: every hour, one person must be evicted from the house or someone inside the house will die. With nowhere to run and a killer on the prowl, choices must be made. But, as people inside the house start to go missing too, it soon becomes clear that nobody is safe. By the time morning comes, who will have survived the night? And is the killer much closer than they realised . . . PRAISE FOR BENJAMIN DEAN &‘A scandalous thriller.&’ The Guardian &‘Benjamin Dean has written a royal triumph.&’ Juno Dawson, author of Clean &‘Scandalous, funny, and deliciously compelling!&’ Catherine Doyle, co-author of Twin Crowns &‘All hail this exquisitely twisty, delightfully queer mystery.&’ Chelsea Pitcher, author of This Lie Will Kill You &‘A compelling thriller that stays with you long after you&’ve finished reading.&’ Kathryn Foxfield, author of Good Girls Die First &‘More jaw-dropping, OMG-twists than even the most salacious tabloid journalist could create.&’ Erik J. Brown, author of All That's Left in the World &‘One page-burning scandal after another. Benjamin Dean is YA royalty.&’ Femi Fadugba, author of The Upper World &‘A scandalous, twisty mystery that had me on the edge of my seat gasping for more.&’ Kate Weston, author of Murder on a School Night &‘A twisty thriller that kept me guessing until the very end.&’ Lex Croucher, author of Gwen and Art are Not in Love &‘Addictive, compelling, and utterly delicious.&’ Simon James Green, author of Noah Can&’t Even
Dancefloor
by Victor JestinFrom the author of Heatwave, a Waterstones Book of the MonthFrom the translator of The Truth About the Harry Quebert Affair, Lullaby and HHhH 'The modern day successor to Francoise Sagan' Evening Standard The Beach is the only nightclub in town, a bright yellow cuboid on the docks. For most people it is a place to drink, flirt and hook up. Most people grow out of The Beach; they leave town, have families and pursue careers. Arthur is not most people. For Arthur The Beach is a sanctuary: a place where he can go every night to express himself, a place where he can make friends, a place where he can be somebody. By day, Arthur is a loner. Shy and awkward, he fails at relationships and doesn&’t even make the first rung of a career ladder. But by night, he is a star, electrifying the dancefloor and lighting up the night of those around him. But, as he nears 40, even those who work at The Beach start to worry about him. How long can he continue living the fantasy life of an adolescent? And, with nightclubs closing at an ever-increasing rate, will The Beach disappear before he is ready to leave it behind? In crystalline prose and with unmatched emotional acuity, Jestin examines the tension between society&’s expectations and 21st Century realities, while introducing the world to one of literature&’s great oddballs. 'A frightening talent' Le Figaro Magazine 'A dazzling second novel where his powerful words and his sense of rhythm make our intimate dance floors tremble.' Marie Claire'Victor Jestin keeps the reader in suspense, making him the best ally, almost the best friend of his lonely hero.' Le Monde des Livres
One More Shot: A sizzling second chance romance full of heat, heart and humour
by Anise Starre'Fun, fresh and always sexy – Anise Starre knows romance' HANNAH GRACE Third time&’s a charm. Two years ago Eliott Rayne nearly slept with Dane Clarke – and she&’d be happy to never see him again. But now he&’s barrelled back into her life as the best man at a wedding that she&’s been hired to photograph. Her first instinct is to run, cancel the job, and get as far away from Dane as possible. But Dane has other ideas. When Eliott reveals the embarrassing reason behind their failed night together, Dane is undeterred. Now he knows what went wrong two years ago, he&’s determined to make it work this time around. But Eliott isn't convinced.After their bumpy start transitions into a genuine friendship, will the two give each other one more shot or will what they have be over before it&’s really even begun?
Gloam
by Jack MackayIn a creaky old house on a small, damp island, someone – or something – is waiting… "Thrillingly scary and impossible to put down. Don't read it alone!" Jonathan Stroud, author of Lockwood & Co A grieving family. A decaying house. A babysitter with a monstrous secret. Nothing on Gloam Island is quite what it seems... Gwen doesn&’t need anyone to help her look after her younger siblings. And she isn&’t fooled by the beautiful babysitter with the hungry eyes and sharp teeth. But everyone else is. So if Gwen wants Esme Laverne gone, she&’ll have to handle it herself. As Esme&’s power grows, Gwen must embrace her deepest fears before she can defeat the monster in her home for good. Because as everyone knows, it&’s impossible to be brave unless you&’re already afraid.
Intelligent Automation with End-User Computing Solutions: A Guide to Empowering Efficiency
by Ajit Pratap KundanIntelligent Automation with End Computing Solutions" is a comprehensive book that delves into the intersection of intelligent automation and end computing, exploring the synergies between these two transformative technologies. This book addresses the fundamental concepts, applications, and implications of integrating intelligent automation with end computing solutions. The main topics covered in the book revolve around the integration of intelligent automation techniques, such as artificial intelligence (AI) and machine learning (ML), with end computing infrastructure. The book addresses this need by providing insights into how intelligent automation can be seamlessly integrated with end computing to create powerful and responsive systems. The authors also explore case studies and real-world examples where the integration of intelligent automation and end computing has led to significant improvements in various domains, such as manufacturing, healthcare, and smart cities. Readers will gain valuable knowledge about optimizing automation workflows, improving decision-making processes, and achieving operational excellence through the integration of intelligent automation with end computing solutions. In conclusion, "Intelligent Automation with End Computing Solutions" is a timely and essential resource for professionals, researchers, and decision-makers aiming to navigate the evolving landscape of automation and computing. The book equips its readers with the knowledge and tools necessary to harness the combined power of intelligent automation and end computing, paving the way for innovative and efficient solutions in the digital age. You Will: Learn fundamental concepts, applications, and implications of integrating intelligent automation with end computing solutions Optimizing automation workflows, improving decision-making processes, and achieving operational excellence through the integration of intelligent automation with end computing solutions. Learn through case studies and real-world examples from industries like manufacturing, healthcare, and smart cities, showcasing tangible benefits and transformative outcomes. · <p class="MsoNormal" style="ma
Metagrammar: Critical Thinking and Problem Solving in the Age of Artificial Intelligence
by Erik Camayd-FreixasThis book highlights the grammatical structure of thought and behavior as a blueprint for scientific discovery and innovation. It defines the new concept of metagrammar as the unnoticed transfer of linguistic functions and skills to and from our interaction with the world. Viewing grammar as language engineering, the author argues that metagrammar charts a new mode of reasoning central to critical thinking, problem solving and goal setting in all areas of human endeavor. He shows how metagrammatical structures and genres mediate in the conceptualization of phenomena, as well as in the production of plans, policies, systems and designs. This uniquely human capability is contrasted with mechanistic models in computers and AI that threaten to replace human agency and decision making. This book will be of interest to the educated reader who wants to keep abreast of transformational research in language and cognition as it applies to self and society, current events, digital media and emerging technologies, from artificial intelligence to autonomous systems, from a human-centered perspective. It will be particularly relevant to organizations such as the Modern Languages Association, for its focus on linguistic and narrative theory, cultural studies and critical theory.
Language and the World: Essays in Honor of Franson Manjali
by Saitya Brata DasThis book is a comprehensive and sustained engagement with the problematic of language. It addresses some of the most urgent questions of our contemporary times, such as Time and history, Violence and force, Law and justice, Ethics and politics, Metaphysics and technology, and Community and religion. It explores how language fosters the possibility of being with each other in non-totalizing ways. It presents a truly interdisciplinary approach, bringing together philosophers, social scientists, literary critics, and poets to offer fresh perspectives on the complexities of language. With contributions from scholars and thinkers worldwide, the scholarly volume is suitable for academics and researchers in the fields of linguistics, social sciences, philosophy, and contemporary culture studies.
Sustainable Digital Technology and Ethics in an Ever-Changing Environment: Volume 1 (Studies in Systems, Decision and Control #236)
by Muneer Al MubarakDigital technology contributes to sustainability as it positively impacts society and environment, improves efficiency, and minimizes waste. It is best functioned when ethics in technology and privacy are fully considered. Digital ethics deals with the impact of digital information on societies and the environment. Issues that are of concern include privacy, information overload, Internet addiction, and robotics. Digital ethics pays special attention to developing rules and moral guidelines that individuals and companies should follow when interacting with technology. Digital ethics gives guidelines on what is the right thing to do and wrong thing to avoid. No doubt that the emergence of digital technologies such as IoT and AI can improve people's life and organizations' efficiency but should be appropriately governed. Today's society places a growing emphasis on sustainability, and digital technologies as they are essential to attaining sustainable development. Digital technologies can be used to lessen negative environmental impact, conserve resources, and create communities that are more resilient. Digital technologies can help to promote sustainability through the utilization of renewable energy sources. Sustainable environmental practices can benefit from the transition to digital technology revolution. Sustainability solutions are developed and put into practice using a variety of technologies, including AI, big data analytics, IoT, social media, as well as mobile technology. To discover infections that occur in the river systems, for instance, smart water management systems, an AI-based technology, is being utilized. Data obtained from such technologies may be used to analyze the problem of water contamination and create and execute remedies. Additionally, through lowering waste and carbon emissions, AI, IoT, and Big Data analytics technologies improve the sustainability of corporate activities. Technology is an essential aspect of modern life, and it has transformed the way people communicate, work, and interact with each other drastically over the last few decades. While technology has brought many benefits, it has also created ethical challenges. Technology ethics is a field of study that seeks to understand and address the ethical challenges posed by the advancement and development of technology.
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings (Lecture Notes in Computer Science #15841)
by Philipp Rümmer Zhilin WuThis book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
China-GDR Relations from 1949 to 1989: The (Bad) Company You Keep (Contributions to International Relations)
by Axel BerkofskyThis book provides an in-depth and very lively analysis of relations between China and the German Democratic Republic (GDR) from 1949 to 1989. It is the first and only comprehensive and detailed analysis of East German-Chinese ties and interactions in English. Chinese-East German relations, which over the decades have experienced some "highs" but many more "lows". " Low points came to the fore in the early 1960s when the Soviet Union ordered its vassal state in East Berlin to treat its former socialist comrade and brother-in-arms in Beijing as an adversary and even an enemy. In fact, the "Sino-Soviet split" ensured that until the late 1980s East Berlin and Beijing were more likely to talk about each other than to talk to each other. The second revised and extended edition of the book draws on a wealth of East German archival material. These include documents and reports from the archives of the GDR's ruling Socialist Unity Party (SED), the notorious East German Ministry of State Security (Stasi), and the Ministry of Foreign Affairs. Together with extensive secondary literature and almost everything that was ever written about China in East German newspapers from the 1950s to 1990, this book examines selected issues and areas of East German and Chinese domestic and foreign policy, placing policies and interactions in their historical context. It offers very detailed and well-documented insights into the following aspects: 1. the bilateral "honeymoon period" from 1949 to the late 1950s, during which both sides supported and applauded each other's oppressive domestic economic policies, including Mao's Great Leap Forward and the Cultural Revolution; 2. the 1960s, when the "Sino-Soviet split" determined the quality and level of bilateral interactions and tensions; 3. the 1970s, when Beijing replaced socialist comradeship with East Berlin with trade and aid from the US and Germany; and 4. the resumption of bilateral relations in the 1980s. The 1970s, when Beijing replaced socialist comradeship with East Berlin with trade and aid from the US and West Germany; and 4. The resumption of Sino-German relations in the 1980s and the subsequent period up to the Tiananmen Square protests and the collapse of the GDR in 1989. The book will appeal to historians, political scientists and international relations scholars, as well as policymakers and diplomats interested in this under-researched area.