Download or read book Machine Learning and Artificial Intelligence written by A.J. Tallón-Ballesteros and published by IOS Press. This book was released on 2020-12-15 with total page 482 pages. Available in PDF, EPUB and Kindle. Book excerpt: Machine learning and artificial intelligence are already widely applied to facilitate our daily lives, as well as scientific research, but with the world currently facing a global COVID-19 pandemic, their capacity to provide an important tool to support those searching for a way to combat the novel corona virus has never been more important. This book presents the proceedings of the International Conference on Machine Learning and Intelligent Systems (MLIS 2020), which was due to be held in Seoul, Korea, from 25-28 October 2020, but which was delivered as an online conference on the same dates due to COVID-19 restrictions. MLIS 2020 was the latest in a series of annual conferences that aim to provide a platform for exchanging knowledge about the most recent scientific and technological advances in the field of machine learning and intelligent systems. The annual conference also strengthens links within the scientific community in related research areas. The book contains 53 papers, selected from more than 160 submissions and presented at MLIS 2020. Selection was based on the results of review and scored on: originality, scientific/practical significance, compelling logical reasoning and language. Topics covered include: data mining, image processing, neural networks, human health, natural language processing, video processing, computational intelligence, expert systems, human-computer interaction, deep learning, and robotics. Offering a current overview of research and developments in machine learning and artificial intelligence, the book will be of interest to all those working in the field.

Download or read book Runtime Verification written by Lu Feng and published by Springer Nature. This book was released on 2021-10-05 with total page 339 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Download or read book Tests and Proofs written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2020-06-20 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Download or read book Intelligent Systems and Applications written by Kohei Arai and published by Springer Nature. This book was released on with total page 890 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Deployable Machine Learning for Security Defense written by Gang Wang and published by Springer Nature. This book was released on 2021-09-24 with total page 163 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes selected and extended papers from the Second International Workshop on Deployable Machine Learning for Security Defense, MLHat 2021, held in August 2021. Due to the COVID-19 pandemic the conference was held online. The 6 full papers were thoroughly reviewed and selected from 7 qualified submissions. The papers are organized in topical sections on machine learning for security, and malware attack and defense.

Download or read book Model Management and Analytics for Large Scale Systems written by Bedir Tekinerdogan and published by Academic Press. This book was released on 2019-09-14 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model Management and Analytics for Large Scale Systems covers the use of models and related artefacts (such as metamodels and model transformations) as central elements for tackling the complexity of building systems and managing data. With their increased use across diverse settings, the complexity, size, multiplicity and variety of those artefacts has increased. Originally developed for software engineering, these approaches can now be used to simplify the analytics of large-scale models and automate complex data analysis processes. Those in the field of data science will gain novel insights on the topic of model analytics that go beyond both model-based development and data analytics. This book is aimed at both researchers and practitioners who are interested in model-based development and the analytics of large-scale models, ranging from big data management and analytics, to enterprise domains. The book could also be used in graduate courses on model development, data analytics and data management. - Identifies key problems and offers solution approaches and tools that have been developed or are necessary for model management and analytics - Explores basic theory and background, current research topics, related challenges and the research directions for model management and analytics - Provides a complete overview of model management and analytics frameworks, the different types of analytics (descriptive, diagnostics, predictive and prescriptive), the required modelling and method steps, and important future directions

Download or read book Intelligent and Fuzzy Systems written by Cengiz Kahraman and published by Springer Nature. This book was released on 2022-07-01 with total page 781 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents recent research in intelligent and fuzzy techniques on digital transformation and the new normal, the state to which economies, societies, etc. settle following a crisis bringing us to a new environment. Digital transformation and the new normal-appearing in many areas such as digital economy, digital finance, digital government, digital health, and digital education are the main scope of this book. The readers can benefit from this book for preparing for a digital “new normal” and maintaining a leadership position among competitors in both manufacturing and service companies. Digitizing an industrial company is a challenging process, which involves rethinking established structures, processes, and steering mechanisms presented in this book. The intended readers are intelligent and fuzzy systems researchers, lecturers, M.Sc., and Ph.D. students studying digital transformation and new normal. The book covers fuzzy logic theory and applications, heuristics, and metaheuristics from optimization to machine learning, from quality management to risk management, making the book an excellent source for researchers.

Download or read book Enterprise Business Process and Information Systems Modeling written by Iris Reinhartz-Berger and published by Springer. This book was released on 2019-05-22 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of two events held at the CAiSE conference and relating to the areas of enterprise, business process and information systems modeling: The 20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019, and the 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019. The conferences took place in Rome, Italy, in June 2019. The 7 full and 2 short papers accepted for BPMDS were carefully reviewed and selected from a total of 20 submissions; for EMMSAD 15 full papers were accepted from 38 submissions. The papers were organized in topical sections named as follows: BPMDS: large and complex business process modeling and development; execution and understandability of declarative process models; novel approaches in enterprise modeling; transformative business process modeling, development, and support. EMMSAD: foundations of modeling and method engineering; enterprise process and capability modeling; information systems and requirements modeling; domain-specific and ontology modeling; and evaluation of modeling approaches.

Download or read book Research Innovation Forum 2019 written by Anna Visvizi and published by Springer Nature. This book was released on 2019-10-28 with total page 555 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book features research presented and discussed during the Research & Innovation Forum (Rii Forum) 2019. As such, this volume offers a unique insight into emerging topics, issues and developments pertinent to the fields of technology, innovation and education and their social impact. Papers included in this volume apply inter- and multi-disciplinary approaches to query such issues as technology-enhanced teaching and learning, smart cities,, information systems, cognitive computing and social networking. What brings these threads of the discussion together is the question of how advances in computer science – which are otherwise largely incomprehensible to researchers from other fields – can be effectively translated and capitalized on so as to make them beneficial for society as a whole. In this context, Rii Forum and Rii Forum proceedings offer an essential venue where diverse stakeholders, including academics, the think tank sector and decision-makers, can engage in a meaningful dialogue with a view to improving the applicability of advances in computer science. In brief, Rii Forum takes the imperative inherent in the 4th industrial revolution seriously, in that it identifies ways of making technology usable and therefore inclusive.

Download or read book Leveraging Applications of Formal Methods Verification and Validation Distributed Systems written by Tiziana Margaria and published by Springer. This book was released on 2018-10-30 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Download or read book Systems Software and Services Process Improvement written by Murat Yilmaz and published by Springer Nature. This book was released on 2020-08-10 with total page 851 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Düsseldorf, Germany, in September 2020*. The 50 full papers and 13 short papers presented were carefully reviewed and selected from 100 submissions. They are organized in topical sections on ​visionary papers, SPI manifesto and improvement strategies, SPI and emerging software and systems engineering paradigms, SPI and standards and safety and security norms, SPI and team performance & agile & innovation, SPI and agile, emerging software engineering paradigms, digitalisation of industry, infrastructure and e-mobility, good and bad practices in improvement, functional safety and cybersecurity, experiences with agile and lean, standards and assessment models, recent innovations, virtual reality. *The conference was partially held virtually due to the COVID-19 pandemic.

Download or read book Pattern and Data Analysis in Healthcare Settings written by Tiwari, Vivek and published by IGI Global. This book was released on 2016-07-22 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: Business and medical professionals rely on large data sets to identify trends or other knowledge that can be gleaned from the collection of it. New technologies concentrate on data’s management, but do not facilitate users’ extraction of meaningful outcomes. Pattern and Data Analysis in Healthcare Settings investigates the approaches to shift computing from analysis on-demand to knowledge on-demand. By providing innovative tactics to apply data and pattern analysis, these practices are optimized into pragmatic sources of knowledge for healthcare professionals. This publication is an exhaustive source for policy makers, developers, business professionals, healthcare providers, and graduate students concerned with data retrieval and analysis.

Download or read book Advances in Artificial Intelligence Software and Systems Engineering written by Tareq Z. Ahram and published by Springer. This book was released on 2018-06-28 with total page 573 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book focuses on emerging issues following the integration of artificial intelligence systems in our daily lives. It focuses on the cognitive, visual, social and analytical aspects of computing and intelligent technologies, highlighting ways to improve technology acceptance, effectiveness, and efficiency. Topics such as responsibility, integration and training are discussed throughout. The book also reports on the latest advances in systems engineering, with a focus on societal challenges and next-generation systems and applications for meeting them. It also discusses applications in smart grids and infrastructures, systems engineering education as well as defense and aerospace. The book is based on both the AHFE 2018 International Conference on Human Factors in Artificial Intelligence and Social Computing, Software and Systems Engineering, The Human Side of Service Engineering and Human Factors in Energy, July 21–25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA.

Download or read book Index of Conference Proceedings written by British Library. Document Supply Centre and published by . This book was released on 1996 with total page 860 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Design User Experience and Usability User Experience in Advanced Technological Environments written by Aaron Marcus and published by Springer. This book was released on 2019-07-10 with total page 538 pages. Available in PDF, EPUB and Kindle. Book excerpt: The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.

Download or read book International Books in Print written by and published by . This book was released on 1998 with total page 1294 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Semantic Web Engineering in the Knowledge Society written by Cardoso, Jorge and published by IGI Global. This book was released on 2008-10-31 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book lays the foundations for understanding the concepts and technologies behind the Semantic Web"--Provided by publisher.