Title search results
Showing 1 - 20 of 4735 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.Becoming a mother is rarely what you expect.Jane Roper never expected she'd have twins—or that they'd be such a spirited…
twosome. She didn't expect that finding the right balance of work and home would be so tricky. And she certainly didn't expect she'd grapple with a diagnosis of bipolar disorder during her daughters' toddler years. But she also didn't anticipate just how much joy, laughter and self-discovery motherhood would bring.Full of warmth, honesty, occasional advice, and a generous helping of humor, Double Time is a smart and engaging account of the first three years with multiples and a refreshingly candid and vulnerable look at clinical depression. It's a memoir that will resonate countless women—especially those parenting in double time.One Thing at a Time: 100 Simple Ways to Live Clutter-Free Every Day
By Cindy Glovinsky. 2004
Simple, effective ways to put things in their placeThose piles of papers, clothes, and other things you thought you'd successfully…
de-cluttered have returned, and this time they brought friends. What's the use of trying to fight the clutter? Is there a better way?This powerful and useful guide delivers solutions that work, no matter how overwhelmed you feel. The answer isn't an elaborate new system, or a solemn vow to start tomorrow. Instead, psychotherapist and organizer Cindy Glovinsky shares 100 simple strategies for tackling the problem the way it grows--one thing at a time. Here's a sampling of the tips explained in the book: *Declare a fix-it day*Purge deep storage areas first *Label it so you can read it*Get a great letter opener*Practice toy population planning *Leave it neater than you found itWritten in short takes and with a supportive tone, this is an essential, refreshing book that helps turn a hopeless struggle into a manageable part of life, one thing at a time.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.The Intelligent Conversationalist: 31 Cheat Sheets That Will Show You How to Talk to Anyone About Anything, Anytime
By Imogen Lloyd Webber. 2016
Have you ever been at a cocktail party when all of a sudden you feel like an outsider in the…
conversation because you have absolutely no idea what the person is talking about? You're standing around with a glass of wine and someone starts talking about how the stock market did that day leading to the career highs of Ben Bernanke and the best way to short a stock. You stand there completely silent because you know nothing about the stock market, let alone the history of economics. You're being pushed to the outside edge of the pack and there's no way to reach gracefully for your iPhone and Google. Fear not: Imogen Lloyd Webber is on a mission to make everyone as conversationally nimble as she has learned to be as a cable news pundit. Her solution: get a few cheat sheets and study up. Remember cheat sheets, those slips of paper filled with facts? As Imogen might say "Google is good, but a cheat sheet is forever..." In eight cheat sheets, Imogen takes you through the facts that come up in most conversations: the English language, math/economics, religion, history, politics, geography, biology and culture. From the history of money to who signed The Magna Carta, Imogen shows you how to get back in a conversation, win any argument and most importantly, how to pivot out of a tough conversational bind. Imogen Lloyd Webber's The Intelligent Conversationalist will help you talk with anyone about anything anytime.The Thin You Within You: Winning the Weight Game with Self-Esteem
By Abraham J. Twerski. 1985
Diets don't work. The pounds may slide off, but for too many dieters, once the food scales and calorie counters…
have been put away, the weight returns. Dr. Abraham Twerski, a specialist in addictive behavior, shows that it is not lack of willpower that leads to overeating but an absence of self-esteem. To develop healthy eating habits, a person must first develop a strong sense of self.With his characteristic upbeat style, Dr. Twerski explains: -The seemingly illogical compulsion of overeating and its connection to low self-esteem-The origins and evolutions of low self-esteem and how to identify common problems of a negative self-image-How to rely on yourself, instead of food, in times of stress, anger, and fear-How to deal with friends and family members who may contribute to and unhealthy self-image and eating habits -How to find the courage to change the life-long habits and where to get outside help in the form of therapy and support groupsWith Dr. Twerski's straightforward and honest approach, losing weight is redefined as gaining a sense of self and banishing diets forever.Images of Desire: A Return To Natural Sensuality (Images Ser. #1)
By Jaqueline Lapa Sussman. 2001
We all have secret images within us--as unique as our fingertips--which can transform us into the carefree sexual beings we…
were born to be. We can uncover those primary images in our own minds because natural sensuality can be self-taught. Images of Desire can unlock what you need to know to find the natural, primal, sensual you . . . and elicit the same sensuality from the person you love.Today, many people's images of sexuality have been shaped by television, magazines, fashion, and advertising, and so no longer arise naturally from their core selves. Eidetic images--the natural images encoded in the brain--have been buried under those imposed layers of false imagery.When used correctly, eidetic images can heal and enhance one's natural sensual abilities, allowing the true sensual self to flourish free of the images imposed on us by society. Images of Desire can reveal the sexual potential we have buried and free us to experience our most genuine emotions--joy, sensual pleasure, love, and passion.At the Publisher's request, this title is being sold without Digital Rights Management Software (DRM) applied.Have you ever wondered...Why am I so eaily discouraged?Why do I procrasinate?Why do I stare at myself in the mirror?Why…
do I keep people waiting?Why do I eat when I am not hungry?Why do I secretly hope other people will fail?Why do I feel alone even when I'm around other people?Why am I constantly misplacing my keys and other things?Why do I enjoy hearing the secrets and confessions of others?Why will I do a favor for someone I don't even like?Why am I so superstitious?Why do I have trouble asking for help?If any of these behavior, habit, and thoughts are keeping you from having the life you want, then you need to know that help has finally arrived in David J. Lieberman's Instant Analysis.Staying Strong: 365 Days a Year
By Demi Lovato. 2013
Demi Lovato wakes up each morning and affirms her commitment to herself—to her health, her happiness, her being. Those commitments…
are the bedrock of her recovery and her work helping other young people dealing with the issues she lives with every single day. Demi is a platinum-selling recording artist whose latest album—DEMI—is already a smash hit. She's about to embark on her second season as a judge on X-Factor, and just launched The Lovato Treatment Scholarship Program. And she is an outspoken advocate for young people everywhere. Demi is also a young woman finding her way in the world. She has dealt deftly with her struggles in the face of public scrutiny, and she has always relied, not just on friends and family, but daily affirmations of her self-worth and value. Affirmations that steady her days and strengthen her resolve. Those affirmations have grown into STAYING STRONG, a powerful 365-day collection of Demi's most powerful, honest, and hopeful insights. Each day will provide the readers with a quote, a personal reflection and a goal. These are Demi's words. Words she lives by and shares with the people she loves and total strangers alike. They are a powerful testament to a young woman standing up and fighting back.If you ever feel: cluttered, scattered, distracted, unfocused, disorganized, preoccupied, overwhelmed, out of control, out of your mind... you can…
change your life! ConZentrate shows you how to master the art of paying attention, in thirty-five clear, practical, simple ways. Whether it's how to focus on a tedious task when the office is buzzing around you, or how to stop procrastinating, or how to keep your home from being a place of overwhelming clutter-- or ever how to tackle the challenges of A.D.D.-- Sam Horn's user-friendly book will inspire you to learn how to conzentrate, and discover the key to peak performance.The Power of Slow: 101 Ways to Save Time in Our 24/7 World
By Christine Louise Hohlbaum. 2009
Overwhelmed by electronic gadgets? Buried under an avalanche of e-mails? Juggling too many tasks and responsibilities? Desperately in need of…
a deep breath and a time-out? For all of us who answer yes to any of these questions, help is on the way. Getting to the heart of our hassled and over-scheduled existence, Christine Louise Hohlbaum cheerfully investigates 101 ways to increase our quality of life and productivity by reevaluating how we perceive and use time. Everyone has their own personal bank account of time, and while we cannot control time itself, we can manage the activities with which we fill the time we have available to us. The Power of Slow gives readers practical, concise directions to change the relationship they have with time and debunks the myths of multitasking, speed, and urgency as the only ways to efficiency.Tips include:· When working on a project on your computer, close all the windows, with the exception of the one you need to do your job.· Learn to say no in a polite and constructive way to favors, invitations, and requests.· Manage your own expectations, as well as those of others, by clearly stating what is possible in the time frame given.· Declare gadget-free zones (both geographical and temporal) to really enjoy your leisure time.· Know when your plate is full.· Make commitments to difficult tasks in five-minute increments and gradually increase the increments.· Save your most favorite or the easiest tasks for last to avoid procrastination.The Power of Slow will help readers identify areas in need of improvement and show them how to become more efficient and less frazzled at work and at home---and live a better, more balanced life.