Title search results
Showing 1 - 20 of 55908 items
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)
By 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)
By 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.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
By 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)
By 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.Transforming Public Services—Combining Data and Algorithms to Fulfil Citizen’s Expectations (Intelligent Systems Reference Library #252)
By 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)
By 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.Labor of Love: The Invention of Dating
By Moira Weigel. 2016
“Does anyone date anymore?” Today, the authorities tell us that courtship is in crisis. But when Moira Weigel dives into…
the history of sex and romance in modern America, she discovers that authorities have always said this. Ever since young men and women started to go out together, older generations have scolded them: That’s not the way to find true love. The first women who made dates with strangers were often arrested for prostitution; long before “hookup culture,” there were “petting parties”; before parents worried about cell phone apps, they fretted about joyrides and “parking.” Dating is always dying. But this does not mean that love is dead. It simply changes with the economy. Dating is, and always has been, tied to work. Lines like “I’ll pick you up at six” made sense at a time when people had jobs that started and ended at fixed hours. But in an age of contract work and flextime, many of us have become sexual freelancers, more likely to text a partner “u still up?” Weaving together over one hundred years of history with scenes from the contemporary landscape, Labor of Love offers a fresh feminist perspective on how we came to date the ways we do. This isn't a guide to “getting the guy.” There are no ridiculous “rules” to follow. Instead, Weigel helps us understand how looking for love shapes who we are—and hopefully leads us closer to the happy ending that dating promises.MacBook For Dummies
By 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.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.Left Turn: How Liberal Media Bias Distorts the American Mind
By Tim Groseclose. 2011
A leading political science professor provides scientific proof of media bias in this sure-to-be-controversial bookDr. Tim Groseclose, a professor of…
political science and economics at UCLA, has spent years constructing precise, quantitative measures of the slant of media outlets. He does this by measuring the political content of news, as a way to measure the PQ, or "political quotient" of voters and politicians. Among his conclusions are: (i) all mainstream media outlets have a liberal bias; and (ii) while some supposedly conservative outlets—such the Washington Times or Fox News' Special Report—do lean right, their conservative bias is less than the liberal bias of most mainstream outlets. Groseclose contends that the general leftward bias of the media has shifted the PQ of the average American by about 20 points, on a scale of 100, the difference between the current political views of the average American, and the political views of the average resident of Orange County, California or Salt Lake County, Utah. With Left Turn readers can easily calculate their own PQ—to decide for themselves if the bias exists. This timely, much-needed study brings fact to this often overheated debate.Girl Power: The Nineties Revolution in Music
By Marisa Meltzer. 2010
In the early nineties, riot grrrl exploded onto the underground music scene, inspiring girls to pick up an instrument, create…
fanzines, and become politically active. Rejecting both traditional gender roles and their parents' brand of feminism, riot grrrls celebrated and deconstructed femininity. The media went into a titillated frenzy covering followers who wrote "slut" on their bodies, wore frilly dresses with combat boots, and talked openly about sexual politics. The movement's message of "revolution girl-style now" soon filtered into the mainstream as "girl power," popularized by the Spice Girls and transformed into merchandising gold as shrunken T-shirts, lip glosses, and posable dolls. Though many criticized girl power as at best frivolous and at worst soulless and hypersexualized, Marisa Meltzer argues that it paved the way for today's generation of confident girls who are playing instruments and joining bands in record numbers. Girl Power examines the role of women in rock since the riot grrrl revolution, weaving Meltzer's personal anecdotes with interviews with key players such as Tobi Vail from Bikini Kill and Amy Ray of the Indigo Girls. Chronicling the legacy of artists such as Bratmobile, Sleater-Kinney, Alanis Morissette, Britney Spears, and, yes, the Spice Girls, Girl Power points the way for the future of women in rock.Mad Women: The Other Side of Life on Madison Avenue in the '60s and Beyond
By Jane Maas. 2012
"Breezy and salty." -The New York Times"Hilarious! Honest, intimate, this book tells it as it was." -Mary Wells Lawrence, author…
of A Big Life (In Advertising) and founding president of Wells Rich Greene "Breezy and engaging [though] ...The chief value of Mad Women is the witness it bears for younger women about the snobbery and sexism their mothers and grandmothers endured as the price of entry into mid-century American professional life." -The Boston Globe"A real-life Peggy Olson, right out of Mad Men." -Shelly Lazarus, Chairman, Ogilvy & MatherWhat was it like to be an advertising woman on Madison Avenue in the 60s and 70s - that Mad Men era of casual sex and professional serfdom? A real-life Peggy Olson reveals it all in this immensely entertaining and bittersweet memoir.Mad Women is a tell-all account of life in the New York advertising world by Jane Maas, a copywriter who succeeded in the primarily male jungle depicted in the hit show Mad Men. Fans of the show are dying to know how accurate it is: was there really that much sex at the office? Were there really three-martini lunches? Were women really second-class citizens? Jane Maas says the answer to all three questions is unequivocally "yes." Her book, based on her own experiences and countless interviews with her peers, gives the full stories, from the junior account man whose wife almost left him when she found the copy of Screw magazine he'd used to find "a date" for a client, to the Ogilvy & Mather's annual Boat Ride, a sex-and-booze filled orgy, from which it was said no virgin ever returned intact. Wickedly funny and full of juicy inside information, Mad Women also tackles some of the tougher issues of the era, such as unequal pay, rampant, jaw-dropping sexism, and the difficult choice many women faced between motherhood and their careers.Godzilla on My Mind: Fifty Years of the King of Monsters
By William Tsutsui. 1971
This year, to mark the fiftieth anniversary of his first appearance on the screen, the original, uncut version of Godzilla…
was released in American theaters to the delight of Sci-Fi and B-Movie fans everywhere. Ever since Godzilla (or, Gojira, as he is known in Japan) crawled out of his radioactive birthplace to cut a swath of destruction through Tokyo, he has claimed a place alongside King Kong and others in the movie monster pantheon. He is the third most recognizable Japanese celebrity in the United States, and his fan base continues to grow as children today prove his enduring appeal. Now, Bill Tsutsui, a life-long fan and historian, takes a light-hearted look at the big, green, radioactive lizard, revealing how he was born and how he became a megastar. With humorous anecdotes, Godzilla on My Mind explores his lasting cultural impact on the world. This book is sure to be welcomed by pop culture enthusiasts, fans, and historians alike.Solutions on Embedded Systems (Lecture Notes in Electrical Engineering #81)
By Massimo Conti, Simone Orcioni, Natividad Martínez Madrid, Ralf E.D. Seepold. 2011
Embedded systems have an increasing importance in our everyday lives. The growing complexity of embedded systems and the emerging trend…
to interconnections between them lead to new challenges. Intelligent solutions are necessary to overcome these challenges and to provide reliable and secure systems to the customer under a strict time and financial budget.Solutions on Embedded Systems documents results of several innovative approaches that provide intelligent solutions in embedded systems. The objective is to present mature approaches, to provide detailed information on the implementation and to discuss the results obtained.Research Challenges in Information Science: 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14–17, 2024, Proceedings, Part II (Lecture Notes in Business Information Processing #514)
By João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar. 2024
This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took…
place in Guimarães, Portugal, during May 2024. The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice. The 25 full papers, 12 Forum and 5 Doctoral Consortium papers included in these proceedings were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Part I: Data and information management; conceptual modelling and ontologies; requirements and architecture; business process management; data and process science; security; sustainability; evaluation and experience studies Part II: Forum papers; doctoral consortium papers.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.The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science…
and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.