Résultats de recherche de titre
Articles 41 à 60 sur 6567
Development of Safety-Critical Systems: Architecture and Software
Par Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya. 2023
This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects…
ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers.After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter.The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.Maia Toll&’s Wild Wisdom series—The Illustrated Herbiary, The Illustrated Bestiary, and The Illustrated Crystallary—introduced readers to the mystical energy of…
the animal, vegetable, and mineral kingdoms. In this capstone to the Wild Wisdom series, Maia Toll's Wild Wisdom Companion guides readers in developing a personalized earth-based spiritual practice using rituals, writing prompts, recipes, symbols, and reflections tied to each season. Organized into 12 chapters—Winter Solstice, Spring Equinox, Summer Solstice, Autumnal Equinox, plus early and late stages of each of the four seasons — the book features seasonal practices; exercises for the body and for writing and reflection; plant, animal, and mineral medicine; and symbolic explorations of the gifts and challenges that arise with seasonal change. Original illustrations by Kate O&’Hara illuminate the symbolic richness of the text, and 28 pop-out oracle cards plus four bound-in pocket pages enhance the invitation for readers to use this interactive guide as an ongoing tool for cultivating the sacred in their own lives.Artificial Intelligence in Cyber Security: Theories and Applications (Intelligent Systems Reference Library #240)
Par Steven Lawrence Fernandes, Tarun Kumar Sharma, Tushar Bhardwaj, Himanshu Upadhyay. 2023
This book highlights the applications and theory of artificial intelligence in the domain of cybersecurity. The book proposes new approaches…
and ideas to present applications of innovative approaches in real-time environments. In the past few decades, there has been an exponential rise in the application of artificial intelligence technologies (such as deep learning, machine learning, blockchain) for solving complex and intricate problems arising in the domain of cybersecurity. The versatility of these techniques has made them a favorite among scientists and researchers working in diverse areas. This book serves as a reference for young scholars, researchers, and industry professionals working in the field of Artificial Intelligence and Cybersecurity.Self-Alteration: How People Change Themselves across Cultures
Par Michael Jackson, Kathryn Rountree, Nigel Rapport, Banu Senay, Max Harwood, Gil Hizi, Muhammad Kavesh, Gisella Orsini, Jaap Timmer. 2024
Many of us feel a pressing desire to be different—to be other than who we are. Self-conscious, we anxiously perceive…
our shortcomings or insufficiencies, wondering why we are how we are and whether we might be different. Often, we wish to alter ourselves, to change our relationships, and to transform the person we are in those relationships. Not only a philosophical question about how other people change, self-alteration is also a practical care—can I change, and how? Self-Alteration: How People Change Themselves across Cultures explores and analyzes these apparently universal hopes and their related existential dilemmas. The essays here come at the subject of the self and its becoming through case studies of modes of transformation of the self. They do this with social processes and projects that reveal how the self acquires a non-trivial new meaning in and through its very process of alteration. By focusing on ways we are allowed to change ourselves, including through religious and spiritual traditions and innovations, embodied participation in therapeutic programs like psychoanalysis and gendered care services, and political activism or relationships with animals, the authors in this volume create a model for cross-cultural or global analysis of social-self change that leads to fresh ways of addressing the 'self' itself.Artificial Life and Evolutionary Computation: 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers (Communications in Computer and Information Science #1200)
Par Antonio Guerrieri, Clara Pizzuti, Giandomenico Spezzano, Franco Cicirelli, Andrea Vinci, Annalisa Socievole. 2020
This book constitutes the revised selected papers of the 14th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2019,…
held in Rende, Italy, in September 2019.The 13 full papers and 4 short paper presented were thoroughly reviewed and selected from 31 submissions. They are focused on the topics of information systems, design and analysis of algorithms, artificial intelligence, machine learning, cognitive science, modeling and simulation, collaborative and social computing, parallel computing, distributed computing. The chapter “Nestedness Temperature in the Agent-Artifact Space: Emergence of Hierarchical Order in the 2000-2014 Photonics Techno-Economic Complex System” is available open access under a CC BY 4.0 license.Mobile Web and Intelligent Information Systems: 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14–16, 2023, Proceedings (Lecture Notes in Computer Science #13977)
Par Muhammad Younas, Irfan Awan, Tor-Morten Grønli. 2023
This book constitutes the refereed proceedings of the 19th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2023,…
held in Marrakech, Morocco, during August 14–16, 2023.The 18 full papers and 1 short papers presented in this book were carefully reviewed and selected from 54 submissions. The papers are divided into the following topical sections: smart and intelligent systems; digital systems in healthcare services; SDN, IoT and edge computing; mobile interfaces and interactivity; machine learning and stochastic methods; and advanced mobile applications.Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence (Accounting, Finance, Sustainability, Governance & Fraud: Theory and Application)
Par Sezer Bozkuş Kahyaoğlu, Muharrem Kılıç. 2024
This book delves into the complex intersection between artificial intelligence and human rights violations, shedding light on the far-reaching implications…
within the framework of discrimination and the pivotal role equality bodies play in combatting these issues. Through a collaborative effort between the Human Rights and Equality Institution of Türkiye (HREIT) and Hasan Kalyoncu University, the groundbreaking "International Symposium on the Effects of Artificial Intelligence in the Context of the Prohibition of Discrimination" took place on March 30, 2022, in Gaziantep. This book is the outcome of this symposium, bringing attention to the alarming issues of "bias and discrimination" prevalent in the application of artificial intelligence. With a commitment to Sustainable Development Goal 8.10 of safeguarding human rights in the digital realm and countering the adverse effects of artificial intelligence, this work is an essential contribution to the Human Rights Action Plan. Comprising an array of insightful chapters, this book offers an in-depth exploration of artificial intelligence technologies, encompassing a broad spectrum of topics ranging from data protection to algorithmic discrimination, the deployment of artificial intelligence in criminal proceedings to combating hate speech, and from predictive policing to meta-surveillance. It aims to serve as a call to action, urging societies and policymakers to acknowledge the potential threats posed by AI and recognize the need for robust legislative frameworks and ethical principles to ensure that international standards on human rights are upheld in the face of technological advancements.This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023,…
held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.Advances in Quantitative Ethnography: 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8–12, 2023, Proceedings (Communications in Computer and Information Science #1895)
Par Golnaz Arastoopour Irgens, Simon Knight. 2023
This book constitutes the refereed proceedings of the 5th International Conference on Advances in Quantitative Ethnography, ICQE 2023, held in Melbourne,…
VIC, Australia, during October 8–12, 2023.The 33 full papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: understanding learners and learning; society, culture, identity, and justice; and advances in QE methodologies.Uncertainty and Imprecision in Decision Making and Decision Support - New Advances, Challenges, and Perspectives: Selected Papers from BOS/SOR-2022, Held on October 13-15, 2022, and IWIFSGN-2022, Held on October 13-14, 2022, in Warsaw, Poland (Lecture Not
Par Krassimir T. Atanassov, Janusz Kacprzyk, Sławomir Zadrożny, Jan W. Owsiński, Maciej Krawczak, Evdokia Sotirova, Eulalia Szmidt, Andrzej Kałuszko, Vassia Atanassova, Sotir S. Sotirov. 2023
This volume is composed of selected papers from two conferences held in Warsaw, Poland on October 13-15, 2022: the BOS/SOR’2022…
- National Conference on Operational and Systems Research, one of premiere conferences in the field of operational and systems research, and the Twentith International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN-2022, one of premiere conferences on fuzzy logic, notably on extensions of the traditional fuzzy sets, also comprising a considerable part on the Generalized Nets (GNs). A joint publication of selected papers from the two conferences follows a long tradition of such a joint organization, and – from a substantial point of view – combines systems modeling, systems analysis, broadly perceived operational research, notably optimization, decision making and decision support, with various aspects of uncertain and imprecise information and their related tools and techniques.Journal of Radical Permission: A Daily Guide for Following Your Soul's Calling
Par Adrienne Maree Brown, Sonya Renee Taylor. 2022
Bestselling authors adrienne maree brown and Sonya Renee Taylor create an unforgettable and transformational experience of journaling your way into…
your most authentic self.This journal (born from the Institute for Radical Permission) will help you claim permission to live your purpose. As you enjoy your journal, go to radicalpermission.org and hear straight from Sonya & adrienne about how they came to each of the journal's revelations. Be part of the journey they took to deepen their practice and watch videos from the many people who inspired them.Based on the bestselling philosophies of radical self-love, emergent strategy, and pleasure activism, this journal gives you permission to love yourself deeply as you are. Journaling to these prompts will help you surrender to your body's needs instead of forcing yourself into cramped disciplines. It will encourage you to become awed by the natural beauty of your divine self instead of being rampantly self-critical. It will aid you in embracing your shadows and accepting responsibility for your impact all while liberating you to just be.This structured journal provides six key practices, with prompts for each practice that center on curiosity, surrender, grace, and satisfaction. The daily prompts for self-inquiry can be used as part of your journey toward healing, or in tandem with the self-paced online learning course at radicalpermission.org.Learning Automata and Their Applications to Intelligent Systems
Par MengChu Zhou, JunQi Zhang. 2024
Comprehensive guide on learning automata, introducing two variants to accelerate convergence and computational update speed Learning Automata and Their Applications…
to Intelligent Systems provides a comprehensive guide on learning automata from the perspective of principles, algorithms, improvement directions, and applications. The text introduces two variants to accelerate the convergence speed and computational update speed, respectively; these two examples demonstrate how to design new learning automata for a specific field from the aspect of algorithm design to give full play to the advantage of learning automata. As noisy optimization problems exist widely in various intelligent systems, this book elaborates on how to employ learning automata to solve noisy optimization problems from the perspective of algorithm design and application. The existing and most representative applications of learning automata include classification, clustering, game, knapsack, network, optimization, ranking, and scheduling. They are well-discussed. Future research directions to promote an intelligent system are suggested. Written by two highly qualified academics with significant experience in the field, Learning Automata and Their Applications to Intelligent Systems covers such topics as: Mathematical analysis of the behavior of learning automata, along with suitable learning algorithms Two application-oriented learning automata: one to discover and track spatiotemporal event patterns, and the other to solve stochastic searching on a line Demonstrations of two pioneering variants of Optimal Computing Budge Allocation (OCBA) methods and how to combine learning automata with ordinal optimization How to achieve significantly faster convergence and higher accuracy than classical pursuit schemes via lower computational complexity of updating the state probabilityA timely text in a rapidly developing field, Learning Automata and Their Applications to Intelligent Systems is an essential resource for researchers in machine learning, engineering, operation, and management. The book is also highly suitable for graduate level courses on machine learning, soft computing, reinforcement learning and stochastic optimization.The Good Habit Workbook: A Practical Toolkit to Help You Change Your Life One Good Habit at a Time
Par Freya Stephens. 2023
Break away from bad habits and build healthy ones with this step-by-step workbook, which will help you make positive changes…
in your life. Including practical advice, effective tips and guided exercises, it will help you free yourself from negative cycles and replace them with positive, productive habits for long-term health and happiness.Proceedings of International Conference on Paradigms of Communication, Computing and Data Analytics: PCCDA 2023 (Algorithms for Intelligent Systems)
Par Anupam Yadav, Meng-Hiot Lim, Satyasai Jagannath Nanda. 2023
This book is a collection of selected high-quality research papers presented at International Conference on Paradigms of Communication, Computing and…
Data Analytics (PCCDA 2023), held at South Asian University, New Delhi, India, during 22–23 April 2023. It discusses cutting-edge research in the areas of advanced computing, communications and data science techniques. The book is a collection of latest research articles in computation algorithm, communication and data sciences, intertwined with each other for efficiency.Data Centric Artificial Intelligence: A Beginner’s Guide (Data-Intensive Research)
Par Parikshit N. Mahalle, Gitanjali R. Shinde, Yashwant S. Ingle, Namrata N. Wasatkar. 2023
This book discusses the best research roadmaps, strategies, and challenges in data-centric approach of artificial intelligence (AI) in various domains.…
It presents comparative studies of model-centric and data-centric AI. It also highlights different phases in data-centric approach and data-centric principles. The book presents prominent use cases of data-centric AI. It serves as a reference guide for researchers and practitioners in academia and industry.Health Information Science: 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23–24, 2023, Proceedings (Lecture Notes in Computer Science #14305)
Par Yan Li, Rui Zhou, Lu Chen, Zhisheng Huang, Manik Sharma. 2023
This book constitutes the refereed proceedings of the 12th International Conference on Health Information Science, HIS 2023, held in Melbourne, VIC, Australia, during October…
23–24, 2023.The 20 full papers and 9 short papers included in this book were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Depression & Mental Health, Data Security, Privacy & Healthcare Systems, Neurological & Cognitive Disease Studies, COVID-19 Impact Studies, Advanced Medical Data & AI Techniques, Predictive Analysis & Disease Recognition, Medical Imaging & Dataset Exploration, Elderly Care and Knowledge Systems.Intelligent Robotics and Applications: 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part III (Lecture Notes in Computer Science #14269)
Par Honghai Liu, Zhouping Yin, Huayong Yang, Lianqing Liu, Geng Yang, Jun Zou, Xiaoping Ouyang, Zhiyong Wang. 2023
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023,…
which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Provable and Practical Security: 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14217)
Par Mingwu Zhang, Man Ho Au, Yudi Zhang. 2023
This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023,…
held in Wuhan, China, during October 2023. The 20 full papers presented together with 3 short papers were carefully reviewed and selected from 71 submissions. The conference focuses on Fundamentals & Cryptographic Primitives; Cryptanalysis; Signature; Encryption; Privacy Preservation; and Blockchain Security.This book constitutes the refereed post-conference proceedings of the 19th International Conference on Computer Science and Education in Computer Science,…
CSECS 2023, held in June 2023 in Boston, MA, USA.The 23 full papers and 9 short papers were carefully reviewed and selected from 88 submissions. The papers cover many systems technologies, applications, and services as well as solutions. Multiple topics have been addressed including the theory of computation, models of computation, computational complexity and cryptography, logic, design, and analysis of algorithms, network architectures, performance evaluation, network services, software engineering, software creation, and management, applied computing, machine learning, and education.Artificial Intelligence: A Textbook
Par Charu C. Aggarwal. 2021
This textbook covers the broader field of artificial intelligence. The chapters for this textbook span within three categories:Deductive reasoning methods: These…
methods start with pre-defined hypotheses and reason with them in order to arrive at logically sound conclusions. The underlying methods include search and logic-based methods. These methods are discussed in Chapters 1through 5.Inductive Learning Methods: These methods start with examples and use statistical methods in order to arrive at hypotheses. Examples include regression modeling, support vector machines, neural networks, reinforcement learning, unsupervised learning, and probabilistic graphical models. These methods are discussed in Chapters~6 through 11. Integrating Reasoning and Learning: Chapters~11 and 12 discuss techniques for integrating reasoning and learning. Examples include the use of knowledge graphs and neuro-symbolic artificial intelligence.The primary audience for this textbook are professors and advanced-level students in computer science. It is also possible to use this textbook for the mathematics requirements for an undergraduate data science course. Professionals working in this related field many also find this textbook useful as a reference.