Résultats de recherche de titre
Articles 1 à 20 sur 7875
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms…
for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.Advances in Electrical Systems and Innovative Renewable Energy Techniques: The Proceedings of the International Conference on Electrical Systems and Automation (Volume 1) (Advances in Science, Technology & Innovation)
Par Mohamed Bendaoud, Amine El Fathi, Farhad Ilahi Bakhsh, Siano Pierluigi. 2024
This edited book on “Advances in Electrical Systems and Innovative Renewable Energy Techniques” is an outcome of the selected papers…
presented at the International Conference on Electrical Systems & Automation, (ICESA 2023) held from 29 to 30, May 2023 at the Faculty of Sciences and technologies, Al Hoceïma, Morocco.This edited book is divided into 2 volumes. This volume will be divided into 3 parts, each devoted to distinct yet interconnected aspects of the subject matter.The first part focuses on various advancements in renewable energy techniques. It explores topics ranging from biomass combustion characteristics and hydrogen production using photovoltaics to the assessment of wave energy potential and the performance evaluation of solar collectors. These research papers not only shed light on the current state-of-the-art technologies but also offer valuable insights into their implementation, efficiency, and potential impact on the energy landscape.The second part focuses on interdisciplinary approaches between electrical and renewable energy systems and includes research chapters on photovoltaic (PV) energy, wind energy, and microgrid systems.For PV systems, several topics and issues are addressed such as modeling of PV systems using single diode model and double diode model; analytical and numerical methods for extraction of PV parameters; extraction of maximum power from PV system using integral SMC strategy, sun-pointing orientation, SuDoKu, and ANN algorithms; and fault detection and classification based on metaheuristic technique, and feedforward neural network.For the wind system, its modeling is first discussed, and then the control of the wind system using direct power, PI, fuzzy logic, sliding mode, and time delay strategies is analyzed.In the third part, the chapters focus on efficient energy management, optimization of microgrids, and the use of advancedtechnologies to improve energy performance. Researchers present innovative solutions to address the challenges of energy efficiency, grid responsiveness, and the integration of new energy sources.Digitale Plattformen im industriellen Mittelstand: Strategien, Methoden, Umsetzungsbeispiele (Intelligente Technische Systeme – Lösungen aus dem Spitzencluster it’s OWL)
Par Daniel Beverungen, Roman Dumitrescu, Arno Kühn, Christoph Plass. 2024
Dieses Buch stellt neue Strategien, Methoden und Umsetzungsbeispiele vor, mit denen digitale Plattformen zur Realisierung erfolgreicher Geschäftsstrategien im industriellen Mittelstand…
eingesetzt werden. Digitale Plattformen sind Erfolgsgaranten für viele Weltmarktführer im Konsumgüterbereich. Aber auch der industrielle Mittelstand kann mit ihrer Hilfe neue Geschäftsfelder erschließen und Wettbewerbsvorteile realisieren. In diesem Band zeigen wir auf, warum sich produzierende Unternehmen schon heute in diesem Wettbewerbsumfeld positionieren müssen und welche strategischen Handlungsoptionen existieren. Ein strukturierter Transformationspfad zeigt, wie der industrielle Mittelstand über die Etablierung digitaler Dienstleistungen den Sprung in die Plattformökonomie schaffen kann. Innovative Methoden und Werkzeuge bieten konkrete Hilfestellung, um diesen Transformationsprozess strategisch zu planen und umzusetzen. Zwei ausgewählte Praxisbeispiele zeigen schließlich auf, wie der Einstieg in die Plattformökonomie erfolgreich gelingt.Punk, Ageing and Time (Palgrave Studies in the History of Subcultures and Popular Music)
Par Laura Way, Matt Grimes. 2024
To date there has been no plotting of punk scholarship which speaks to ‘time’, yet there are some clear bodies…
of work pertaining to particular issues relevant to it, including ageing and/or the life course and punk, memory and/or nostalgia and punk, ‘punk history’, and archiving and punk. Punk, Ageing and Time is therefore a timely (pun intended) book. What this edited collection does for the first time is bring together contemporary investigations and discussions specifically around punk and ageing and/or time, covering areas such as: punk and ageing; the relationship between temporality and particular concepts relevant to punk (such as authenticity, DIY, identity, resistance, spatiality, style); and punk memory, remembering and/or forgetting. Multidisciplinary in nature, this book considers areas which have received very little to no academic attention previously.This book constitutes revised selected papers from the thoroughly refereed proceedings of the 7th International Conference on Space Information Network,…
SINC 2023, held in Wuhan, China, during October 12–13, 2023. The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 73 submissions. The papers present the latest research in the fields of space information networks.Human-Centered Services Computing for Smart Cities: IEICE Monograph
Par Yohei Murakami, Kosaku Kimura. 2024
This open-access book compiles seven monographs from researchers at the forefront of services computing and artificial intelligence for smart cities.…
This is structured into three thematic parts: service composition, big data analysis, and service integration for smart cities.The first part describes service compositions for smart cities, where interaction between services and the physical world, including humans, is paramount, unlike services on the Web and clouds. The second part addresses the challenges of big data analytics in smart cities, with a focus on privacy-preserving methodologies. The third part reports human-centered service integration for applications in smart cities.Advances in Design, Simulation and Manufacturing: Proceedings of the International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2018, June 12-15, 2018, Sumy, Ukraine (Lecture Notes in Mechanical Engineering)
Par Vitalii Ivanov, Yiming Rong, Justyna Trojanowska, Joachim Venus, Oleksandr Liaposhchenko, Jozef Zajac, Ivan Pavlenko, Milan Edl, Dragan Perakovic. 2019
This book reports on topics at the interface between manufacturing, mechanical and chemical engineering. It gives a special emphasis to…
CAD/CAE systems, information management systems, advanced numerical simulation methods and computational modeling techniques, and their use in product design, industrial process optimization and in the study of the properties of solids, structures and fluids. Control theory, ICT for engineering education as well as ecological design and food technologies are also among the topics discussed in the book. Based on the International Conference on Design, Simulation, Manufacturing: The Innovation Exchange (DSMIE-2018), held on June 12-15, 2018, in Sumy, Ukraine, the book provides academics and professionals with a timely overview and extensive information on trends and technologies behind current and future developments of Industry 4.0, innovative design and renewable energy generation.Subjected to 22 hours of interrogation, torture and beating by South African police on September 6, 1977, Steve Biko died…
six days later. Donald Woods, Biko's close friend and a leading white South African newspaper editor, exposed the murder helping to ignite the black revolution.Transforming Public Services—Combining Data and Algorithms to Fulfil Citizen’s Expectations (Intelligent Systems Reference Library #252)
Par Christophe Gaie, Mayuri Mehta. 2024
This book provides a precise portrayal of the current trends and future perspectives of e-Government. It outlines new approaches that…
optimize public services across diverse sectors. Going beyond traditional boundaries, it offers mathematical models for public services supported by convincing case studies. This book significantly enhances various government services, such as education, healthcare, safety, security, and culture. It also strongly emphasizes safeguarding citizens' personal data, ensuring privacy, and obtaining explicit consent. Tailored for students and academics, the book is an invaluable reference for teaching graduate courses in e-Government, Process Modelling, or Artificial Intelligence. Its impact extends beyond the classroom; civil servants from all domains can find practical insights to navigate the ongoing modernization of public services. Even citizens curious about the transformation in their public services can find this book enlightening. Researchers working in the area of e-Governance can use this book to discover the recent developments in e-Government.Geomorphic Risk Reduction Using Geospatial Methods and Tools (Disaster Risk Reduction)
Par Raju Sarkar, Sunil Saha, Basanta Raj Adhikari, Rajib Shaw. 2024
This book explores the use of advanced geospatial techniques in geomorphic hazards modelling and risk reduction. It also compares the…
accuracy of traditional statistical methods and advanced machine learning methods and addresses the different ways to reduce the impact of geomorphic hazards.In recent years with the development of human infrastructures, geomorphic hazards are gradually increasing, which include landslides, flood and soil erosion, among others. They cause huge loss of human property and lives. Especially in mountainous, coastal, arid and semi-arid regions, these natural hazards are the main barriers for economic development. Furthermore, human pressure and specific human actions such as deforestation, inappropriate land use and farming have increased the danger of natural disasters and degraded the natural environment, making it more difficult for environmental planners and policymakers to develop appropriate long-term sustainability plans. The most challenging task is to develop a sophisticated approach for continuous inspection and resolution of environmental problems for researchers and scientists. However, in the past several decades, geospatial technology has undergone dramatic advances, opening up new opportunities for handling environmental challenges in a more comprehensive manner.With the help of geographic information system (GIS) tools, high and moderate resolution remote sensing information, such as visible imaging, synthetic aperture radar, global navigation satellite systems, light detection and ranging, Quickbird, Worldview 3, LiDAR, SPOT 5, Google Earth Engine and others deliver state-of-the-art investigations in the identification of multiple natural hazards. For a thorough examination, advanced computer approaches focusing on cutting-edge data processing, machine learning and deep learning may be employed. To detect and manage various geomorphic hazards and their impact, several models with a specific emphasis on natural resources and the environment may be created.Few stories in the annals of American counterculture are as intriguing or dramatic as that of the Brotherhood of Eternal…
Love.Dubbed the "Hippie Mafia," the Brotherhood began in the mid-1960s as a small band of peace-loving, adventure-seeking surfers in Southern California. After discovering LSD, they took to Timothy Leary's mantra of "Turn on, tune in, and drop out" and resolved to make that vision a reality by becoming the biggest group of acid dealers and hashish smugglers in the nation, and literally providing the fuel for the psychedelic revolution in the process.Just days after California became the first state in the union to ban LSD, the Brotherhood formed a legally registered church in its headquarters at Mystic Arts World on Pacific Coast Highway in Laguna Beach, where they sold blankets and other countercultural paraphernalia retrieved through surfing safaris and road trips to exotic locales in Asia and South America. Before long, they also began to sell Afghan hashish, Hawaiian pot (the storied "Maui Wowie"), and eventually Colombian cocaine, much of which the Brotherhood smuggled to California in secret compartments inside surfboards and Volkswagen minibuses driven across the border.They also befriended Leary himself, enlisting him in the goal of buying a tropical island where they could install the former Harvard philosophy professor and acid prophet as the high priest of an experimental utopia. The Brotherhood's most legendary contribution to the drug scene was homemade: Orange Sunshine, the group's nickname for their trademark orange-colored acid tablet that happened to produce an especially powerful trip. Brotherhood foot soldiers passed out handfuls of the tablets to communes, at Grateful Dead concerts, and at love-ins up and down the coast of California and beyond. The Hell's Angels, Charles Mason and his followers, and the unruly crowd at the infamous Altamont music festival all tripped out on this acid. Jimi Hendrix even appeared in a film starring Brotherhood members and performed a private show for the fugitive band of outlaws on the slope of a Hawaiian volcano.Journalist Nicholas Schou takes us deep inside the Brotherhood, combining exclusive interviews with both the group's surviving members as well as the cops who chased them. A wide-sweeping narrative of sex, drugs, and rock 'n' roll (and more drugs) that runs from Laguna Beach to Maui to Afghanistan, Orange Sunshine explores how America moved from the era of peace and free love into a darker time of hard drugs and paranoia.Born to Kvetch: Yiddish Language and Culture in All Its Moods
Par Michael Wex. 2005
As the main spoken language of the Jews for more than a thousand years, Yiddish has had plenty to lament,…
plenty to conceal. Its phrases, idioms, and expressions paint a comprehensive picture of the mind-set that enabled the Jews of Europe to survive a millennium of unrelenting persecution: they never stopped kvetching---about God, gentiles, children, food, and everything (and anything) else. They even learned how to smile through their kvetching and express satisfaction in the form of complaint.In Born to Kvetch, Michael Wex looks at the ingredients that went into this buffet of disenchantment and examines how they were mixed together to produce an almost limitless supply of striking idioms and withering curses (which get a chapter all to themselves). Born to Kvetch includes a wealth of material that's never appeared in English before. You'll find information on the Yiddish relationship to food, nature, divinity, and humanity. There's even a chapter about sex.This is no bobe mayse (cock-and-bull story) from a khokhem be-layle (idiot, literally a "sage at night" when no one's looking), but a serious yet fun and funny look at a language that both shaped and was shaped by those who spoke it. From tukhes to goy,meshugener to kvetch, Yiddish words have permeated and transformed English as well. Through the idioms, phrases, metaphors, and fascinating history of this kvetch-full tongue, Michael Wex gives us a moving and inspiring portrait of a people, and a language, in exile.Grand Improvisation: America Confronts the British Superpower, 1945–1957
Par Derek Leebaert. 2018
A new understanding of the post World War II era, showing what occurred when the British Empire wouldn’t step aside…
for the rising American superpower—with global insights for today.An enduring myth of the twentieth century is that the United States rapidly became a superpower in the years after World War II, when the British Empire—the greatest in history—was too wounded to maintain a global presence. In fact, Derek Leebaert argues in Grand Improvisation, the idea that a traditionally insular United States suddenly transformed itself into the leader of the free world is illusory, as is the notion that the British colossus was compelled to retreat. The United States and the U.K. had a dozen abrasive years until Washington issued a “declaration of independence” from British influence. Only then did America explicitly assume leadership of the world order just taking shape. Leebaert’s character-driven narrative shows such figures as Churchill, Truman, Eisenhower, and Kennan in an entirely new light, while unveiling players of at least equal weight on pivotal events. Little unfolded as historians believe: the Truman Doctrine and the Marshall Plan; the Korean War; America’s descent into Vietnam. Instead, we see nonstop U.S. improvisation until America finally lost all caution and embraced obligations worldwide, a burden we bear today.Understanding all of this properly is vital to understanding the rise and fall of superpowers, why we’re now skeptical of commitments overseas, how the Middle East plunged into disorder, why Europe is fracturing, what China intends—and the ongoing perils to the U.S. world role.Castro's Secrets: Cuban Intelligence, the CIA, and the Assassination of John F. Kennedy
Par Brian Latell. 2012
In CASTRO'S SECRETS, highly acclaimed author and intelligence expert Brian Latell offers a strikingly original view of Fidel Castro in…
his role as Cuba's supreme spymaster. Based on interviews with high level defectors from Cuba's powerful intelligence and security services, long-buried secrets of Fidel's nearly 50-year reign are exposed for the first time. They include numerous assassinations and attempted ones carried out on Castro's orders, some against foreign leaders. More than a dozen ranking Cuban secret agents embraced by the CIA and FBI speak in these pages; some have never told their stories on the record before. Latell also probes dispassionately into the CIA's most deplorable plots against Cuba - including previously obscure schemes to assassinate Castro - and presents shocking new conclusions about what Fidel actually knew of Lee Harvey Oswald prior to the assassination of John F. Kennedy.The Ruin of Kasch
Par Roberto Calasso. 1994
A brilliant new translation of a classic work on violence and revolution as seen through mythology and artThe Ruin of…
Kasch takes up two subjects—“the first is Talleyrand, and the second is everything else,” wrote Italo Calvino when the book first appeared in 1983. Hailed as one of those rare books that persuade us to see our entire civilization in a new light, its guide is the French statesman Charles-Maurice de Talleyrand, who knew the secrets of the ancien régime and all that came after, and was able to adapt the notion of “legitimacy” to the modern age. Roberto Calasso follows him through a vast gallery of scenes set immediately before and after the French Revolution, making occasional forays backward and forward in time, from Vedic India to the porticoes of the Palais-Royal and to the killing fields of Pol Pot, with appearances by Goethe and Marie Antoinette, Napoleon and Marx, Walter Benjamin and Chateaubriand. At the center stands the story of the ruin of Kasch, a legendary kingdom based on the ritual killing of the king and emblematic of the ruin of ancient and modern regimes. Offered here in a new translation by Richard Dixon, The Ruin of Kasch is, as John Banville wrote, “a great fat jewel-box of a book, gleaming with obscure treasures.”MacBook For Dummies
Par Mark L. Chambers. 2024
Discover the best tips and tricks for using your new Mac laptop For years, MacBook For Dummies has been making…
it easy to learn new technology. This new edition keeps the easy-to-follow instructions coming. Learn the basics of customizing your Dock and using desktop widgets. Then, figure out how to go on the internet, stream music, send instant messages, and more. Expert author Mark Chambers will show you how to navigate the macOS operating system and personalize your MacBook to your liking. And you'll learn your way around features like Stage Manager, Continuity Camera, SharePlay, and Handoff. Is this your first new computer in a while? MacBook For Dummies gives you the rundown on how to exist without an internal DVD drive. Whether you're a newbie or a Mac veteran looking for insider tips, this is the quick start guide for you. Learn the features and productivity tools from macOS Stay protected by making the most of the built-in Mac security features Organize your life with Mac's multitasking feature, Stage Manager Discover how to stream music, edit videos, and share media content online MacBook beginners and upgraders alike will graduate to power users of the MacBook Pro and MacBook Air models, thanks to this trusted Dummies title.The Routledge Handbook of the Byzantine City: From Justinian to Mehmet II (ca. 500 - ca.1500) (Routledge History Handbooks)
Par Nikolas Bakirtzis, Luca Zavagno. 2024
The Byzantine world contained many important cities throughout its empire. Although it was not ‘urban’ in the sense of the…
word today, its cities played a far more fundamental role than those of its European neighbors. This book, through a collection of twenty-four chapters, discusses aspects of, and different approaches to, Byzantine urbanism from the early to late Byzantine periods. It provides both a chronological and thematic perspective to the study of Byzantine cities, bringing together literary, documentary, and archival sources with archaeological results, material culture, art, and architecture, resulting in a rich synthesis of the variety of regional and sub-regional transformations of Byzantine urban landscapes. Organized into four sections, this book covers: Theory and Historiography, Geography and Economy, Architecture and the Built Environment, and Daily Life and Material Culture. It includes more specialized accounts that address the centripetal role of Constantinople and its broader influence across the empire. Such new perspectives help to challenge the historiographical balance between ‘margins and metropolis,’ and also to include geographical areas often regarded as peripheral, like the coastal urban centers of the Byzantine Mediterranean as well as cities on islands, such as Crete, Cyprus, and Sicily which have more recently yielded well-excavated and stratigraphically sound urban sites. The Routledge Handbook of the Byzantine City provides both an overview and detailed study of the Byzantine city to specialist scholars, students, and enthusiasts alike and, therefore, will appeal to all those interested in Byzantine urbanism and society, as well as those studying medieval society in general.This hands-on survival manual will give you the tools to confidently prepare for and respond to a system outage. Key…
Features Proven methods for keeping your website running A survival guide for incident response Written by an ex-Google SRE expert Book Description Real-World SRE is the go-to survival guide for the software developer in the middle of catastrophic website failure. Site Reliability Engineering (SRE) has emerged on the frontline as businesses strive to maximize uptime. This book is a step-by-step framework to follow when your website is down and the countdown is on to fix it. Nat Welch has battle-hardened experience in reliability engineering at some of the biggest outage-sensitive companies on the internet. Arm yourself with his tried-and-tested methods for monitoring modern web services, setting up alerts, and evaluating your incident response. Real-World SRE goes beyond just reacting to disaster—uncover the tools and strategies needed to safely test and release software, plan for long-term growth, and foresee future bottlenecks. Real-World SRE gives you the capability to set up your own robust plan of action to see you through a company-wide website crisis. The final chapter of Real-World SRE is dedicated to acing SRE interviews, either in getting a first job or a valued promotion. What you will learn Monitor for approaching catastrophic failure Alert your team to an outage emergency Dissect your incident response strategies Test automation tools and build your own software Predict bottlenecks and fight for user experience Eliminate the competition in an SRE interview Who this book is for Real-World SRE is aimed at software developers facing a website crisis, or who want to improve the reliability of their company's software. Newcomers to Site Reliability Engineering looking to succeed at interview will also find this invaluable.Understanding and coding advanced deep learning algorithms with the most intuitive deep learning library in existenceKey FeaturesExplore the most advanced…
deep learning techniques that drive modern AI resultsImplement deep neural networks, autoencoders, GANs, VAEs, and deep reinforcement learningA wide study of GANs, including Improved GANs, Cross-Domain GANs, and Disentangled Representation GANsBook DescriptionRecent developments in deep learning, including Generative Adversarial Networks (GANs), Variational Autoencoders (VAEs), and Deep Reinforcement Learning (DRL) are creating impressive AI results in our news headlines - such as AlphaGo Zero beating world chess champions, and generative AI that can create art paintings that sell for over $400k because they are so human-like. Advanced Deep Learning with Keras is a comprehensive guide to the advanced deep learning techniques available today, so you can create your own cutting-edge AI. Using Keras as an open-source deep learning library, you'll find hands-on projects throughout that show you how to create more effective AI with the latest techniques. The journey begins with an overview of MLPs, CNNs, and RNNs, which are the building blocks for the more advanced techniques in the book. You’ll learn how to implement deep learning models with Keras and TensorFlow 1.x, and move forwards to advanced techniques, as you explore deep neural network architectures, including ResNet and DenseNet, and how to create autoencoders. You then learn all about GANs, and how they can open new levels of AI performance. Next, you’ll get up to speed with how VAEs are implemented, and you’ll see how GANs and VAEs have the generative power to synthesize data that can be extremely convincing to humans - a major stride forward for modern AI. To complete this set of advanced techniques, you'll learn how to implement DRL such as Deep Q-Learning and Policy Gradient Methods, which are critical to many modern results in AI.What you will learnCutting-edge techniques in human-like AI performanceImplement advanced deep learning models using KerasThe building blocks for advanced techniques - MLPs, CNNs, and RNNsDeep neural networks – ResNet and DenseNetAutoencoders and Variational Autoencoders (VAEs)Generative Adversarial Networks (GANs) and creative AI techniquesDisentangled Representation GANs, and Cross-Domain GANsDeep reinforcement learning methods and implementationProduce industry-standard applications using OpenAI GymDeep Q-Learning and Policy Gradient MethodsWho this book is forSome fluency with Python is assumed. As an advanced book, you'll be familiar with some machine learning approaches, and some practical experience with DL will be helpful. Knowledge of Keras or TensorFlow 1.x is not required but would be helpful.The Last Voyage of the Andrea Doria: The Sinking of the World's Most Glamorous Ship
Par Greg King, Penny Wilson. 2020
In the tradition of Erik Larson's Dead Wake comes The Last Voyage of the Andrea Doria, about the sinking of…
the glamorous Italian ocean liner, including never-before-seen photos of the wreck today.In 1956, a stunned world watched as the famous Italian ocean liner Andrea Doria sank after being struck by a Swedish vessel off the coast of Nantucket. Unlike the tragedy of the Titanic, this sinking played out in real time across radios and televisions, the first disaster of the modern age. Audiences witnessed everything that ensued after the unthinkable collision of two modern vessels equipped with radar: perilous hours of uncertainty; the heroic rescue of passengers; and the final gasp as the pride of the Italian fleet slipped beneath the Atlantic, taking some fifty lives with her. Her loss signaled the end of the golden age of ocean liner travel.Now, Greg King and Penny Wilson offer a fresh look at this legendary liner and her tragic fate. Andrea Doria represented the romance of travel, the possibility of new lives in the new world, and the glamour of 1950s art, culture, and life. Set against a glorious backdrop of celebrity and La Dolce Vita, Andrea Doria's last voyage comes vividly to life in a narrative tightly focused on her passengers – Cary Grant's wife; Philadelphia's flamboyant mayor; the heiress to the Marshall Field fortune; and many brave Italian emigrants – who found themselves plunged into a desperate struggle to survive. The Last Voyage of the Andrea Doria follows the effect this trauma had on their lives, and brings the story up-to-date with the latest expeditions to the wreck.Drawing on in-depth research, interviews with survivors, and never-before-seen photos of the wreck as it is today, The Last Voyage of the Andrea Doria is a vibrant story of fatal errors, shattered lives, and the triumph of the human spirit.