Résultats de recherche de titre
Articles 1 à 20 sur 4064
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.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.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.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.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.Solutions on Embedded Systems (Lecture Notes in Electrical Engineering #81)
Par 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)
Par 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.Statistical Tableau: How To Use Statistical Models And Decision Science In Tableau
Par Ethan Lang. 2024
In today's data-driven world, understanding statistical models is crucial for effective analysis and decision making. Whether you're a beginner or…
an experienced user, this book equips you with the foundational knowledge to grasp and implement statistical models within Tableau. Gain the confidence to speak fluently about the models you employ, driving adoption of your insights and analysis across your organization.As AI continues to revolutionize industries, possessing the skills to leverage statistical models is no longer optional—it's a necessity. Stay ahead of the curve and harness the full potential of your data by mastering the ability to interpret and utilize the insights generated by these models.Whether you're a data enthusiast, analyst, or business professional, this book empowers you to navigate the ever-evolving landscape of data analytics with confidence and proficiency. Start your journey toward data mastery today.In this book, you will learn:The basics of foundational statistical modeling with TableauHow to prove your analysis is statistically significantHow to calculate and interpret confidence intervalsBest practices for incorporating statistics into data visualizationsHow to connect external analytics resources from Tableau using R and PythonOpen-Set Text Recognition: Concepts, Framework, and Algorithms (SpringerBriefs in Computer Science)
Par Xu-Cheng Yin, Chun Yang, Chang Liu. 2024
In real-world applications, new data, patterns, and categories that were not covered by the training data can frequently emerge, necessitating…
the capability to detect and adapt to novel characters incrementally. Researchers refer to these challenges as the Open-Set Text Recognition (OSTR) task, which has, in recent years, emerged as one of the prominent issues in the field of text recognition. This book begins by providing an introduction to the background of the OSTR task, covering essential aspects such as open-set identification and recognition, conventional OCR methods, and their applications. Subsequently, the concept and definition of the OSTR task are presented encompassing its objectives, use cases, performance metrics, datasets, and protocols. A general framework for OSTR is then detailed, composed of four key components: The Aligned Represented Space, the Label-to-Representation Mapping, the Sample-to-Representation Mapping, and the Open-set Predictor. In addition,possible implementations of each module within the framework are discussed. Following this, two specific open-set text recognition methods, OSOCR and OpenCCD, are introduced. The book concludes by delving into applications and future directions of Open-set text recognition tasks.This book presents a comprehensive overview of the open-set text recognition task, including concepts, framework, and algorithms. It is suitable for graduated students and young researchers who are majoring in pattern recognition and computer science, especially interdisciplinary research.Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1 (Smart Innovation, Systems and Technologies #383)
Par António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy. 2024
This book features a collection of high-quality research papers presented at the International Conference on Tourism, Technology and Systems (ICOTTS…
2023), held at Anáhuac University, Bacalar, Mexico, from 2 to 4 November 2023. The book is divided into two volumes, and it covers the areas of technology in tourism and the tourist experience, generations and technology in tourism, digital marketing applied to tourism and travel, mobile technologies applied to sustainable tourism, information technologies in tourism, digital transformation of tourism business, e-tourism and tourism 2.0, big data and management for travel and tourism, geotagging and tourist mobility, smart destinations, robotics in tourism, and information systems and technologies.Information Technology Security: Modern Trends and Challenges (Springer Tracts in Electrical and Electronics Engineering)
Par Debasis Gountia, Dilip Kumar Dalei, Subhankar Mishra. 2024
This book focuses on current trends and challenges in security threats and breaches in cyberspace which have rapidly become more…
common, creative, and critical. Some of the themes covered include network security, firewall security, automation in forensic science and criminal investigation, Medical of Things (MOT) security, healthcare system security, end-point security, smart energy systems, smart infrastructure systems, intrusion detection/prevention, security standards and policies, among others. This book is a useful guide for those in academia and industry working in the broad field of IT security.Proceedings of International Joint Conference on Advances in Computational Intelligence: IJCACI 2023 (Algorithms for Intelligent Systems)
Par Mohammad Shorif Uddin, Jagdish Chand Bansal. 2024
This book gathers outstanding research papers presented at the 7th International Joint Conference on Advances in Computational Intelligence (IJCACI 2023),…
held in hybrid mode at South Asian University, New Delhi, India during October 14–15, 2023. IJCACI 2023 is jointly organized by Jahangirnagar University (JU), Bangladesh and South Asian University (SAU), India. The book presents the novel contributions in areas of computational intelligence and it serves as a reference material for advance research. The topics covered are collective intelligence, soft computing, optimization, cloud computing, machine learning, intelligent software, robotics, data science, data security, big data analytics, and signal and natural language processing.