Download or read book Proceedings of the International Conference on Information Technology Systems ICITS 2018 written by Álvaro Rocha and published by Springer. This book was released on 2018-01-04 with total page 1170 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book includes a selection of articles from the 2018 International Conference on Information Technology & Systems (ICITS 18), held on January 10 – 12, 2018, at the Universidad Estatal Península de Santa Elena, Libertad City, Ecuador. ICIST is a global forum for researchers and practitioners to present and discuss recent findings and innovations, current trends, lessons learned and the challenges of modern information technology and systems research, together with their technological development and applications. The main topics covered include information and knowledge management; organizational models and information systems; software and systems modeling; software systems, architectures, applications and tools; multimedia systems and applications; computer networks, mobility and pervasive systems; intelligent and decision support systems; big data analytics and applications; human–computer interaction; ethics, computers & security; health informatics; and information technologies in education.

Download or read book Proceedings of International Joint Conference on Computational Intelligence written by Mohammad Shorif Uddin and published by Springer. This book was released on 2019-07-03 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers outstanding research papers presented at the International Joint Conference on Computational Intelligence (IJCCI 2018), which was held at Daffodil International University on 14–15 December 2018. The topics covered include: 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.

Download or read book Formal Techniques for Safety Critical Systems written by Cyrille Artho and published by Springer. This book was released on 2019-02-01 with total page 183 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

Download or read book Formal Modeling and Analysis of Timed Systems written by Étienne André and published by Springer Nature. This book was released on 2019-08-20 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.

Download or read book Formal Methods and Software Engineering written by Yamine Ait-Ameur and published by Springer Nature. This book was released on 2019-10-28 with total page 543 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

Download or read book Runtime Verification written by Bernd Finkbeiner and published by Springer Nature. This book was released on 2019-10-03 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Download or read book Applied Soft Computing and Communication Networks written by Sabu M. Thampi and published by Springer Nature. This book was released on 2021-07-01 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes thoroughly refereed post-conference proceedings of the International Applied Soft Computing and Communication Networks (ACN 2020) held in VIT, Chennai, India, during October 14–17, 2020. The research papers presented were carefully reviewed and selected from several initial submissions. The book is directed to the researchers and scientists engaged in various fields of intelligent systems.

Download or read book Reliability Safety and Security of Railway Systems Modelling Analysis Verification and Certification written by Simon Collart-Dutilleul and published by Springer. This book was released on 2019-05-28 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.

Download or read book Formal Methods and Software Engineering written by Shang-Wei Lin and published by Springer Nature. This book was released on 2020-12-18 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Download or read book Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems written by Yamine Ait-Ameur and published by Springer Nature. This book was released on 2020-07-27 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

Download or read book Proceedings of the 3rd International Conference on Separation Technology written by Muhammad Abbas Ahmad Zaini and published by Springer Nature. This book was released on 2021-05-24 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains papers presented in the 3rd International Conference on Separation Technology 2020 (ICoST 2020) held from 15 to 16th August 2020 at Johor, Malaysia. This proceeding contains papers presented by academics and industrial practitioners showcasing the latest advancements and findings in field of separation technology. The papers are categorized under the following tracks and topics of research: Environment Engineering Biotechnology Absorption and Adsorption Technology Wastewater Treatment ICoST 2020 covers multidisciplinary perspectives on separation research and aims to promote scientific information interchange between academics, researchers, graduates and industry professionals worldwide. This conference provides opportunities for the delegates to exchange new ideas and application experiences face to face, to establish business or research relations and to find global partners for future collaboration.

Download or read book Knowledge Engineering for Modern Information Systems written by Anand Sharma and published by Walter de Gruyter GmbH & Co KG. This book was released on 2022-01-19 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents an extensive collection of the recent findings and innovative research in the information system and knowledge engineering domain. Knowledge engineering is a field within artificial intelligence that develops in particular systems that use knowledge, rather than data, to solve many computing problems, that would usually require high levels of human expertise.

Download or read book Proceedings of International Conference on Recent Trends in Machine Learning IoT Smart Cities and Applications written by Vinit Kumar Gunjan and published by Springer Nature. This book was released on 2020-10-17 with total page 998 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers selected research papers presented at the International Conference on Recent Trends in Machine Learning, IOT, Smart Cities & Applications (ICMISC 2020), held on 29–30 March 2020 at CMR Institute of Technology, Hyderabad, Telangana, India. Discussing current trends in machine learning, Internet of things, and smart cities applications, with a focus on multi-disciplinary research in the area of artificial intelligence and cyber-physical systems, this book is a valuable resource for scientists, research scholars and PG students wanting formulate their research ideas and find the future directions in these areas. Further, it serves as a reference work anyone wishing to understand the latest technologies used by practicing engineers around the globe.

Download or read book New Perspectives in Software Engineering written by Jezreel Mejia and published by Springer Nature. This book was released on 2022-10-29 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the proceedings of the CIMPS Conference held on October 19-21, 2022, Hipócrates University, Acapulco de Juárez, Guerrero, México, that is dedicated to Software Engineering, in particular, software processes improvement, computer security and communication technology, artificial intelligence and data analysis (big data) with a focus on innovation and/or entrepreneurship, bringing together the academic sectors, governmental and industrial that promote the comprehensive development of a culture of research, innovation and competitiveness of organizations dedicated to and/or that make use of Information and Communication Telecommunications. This book presents software engineering with impact in a combination of different fields: Organizational Models, Standards and Methodologies, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies, Information security, Artificial intelligence, Data Analysis. It is used in different domains in which a broad scope of audience is interested in: • Software engineers • Analyst • Project management • Consultant • Professors in academia • Students • Corporate heads of firms • Senior general managers • Managing directors • Board directors • Academics and researchers in the field both in universities and business schools • Information technology directors and managers • Quality managers and directors • Libraries and information centres serving the needs of the above This book contents are also useful for Ph.D. students, master’s and undergraduate students of IT-related degrees such as Computer Science, Information Systems.

Download or read book Logic Computation and Rigorous Methods written by Alexander Raschke and published by Springer Nature. This book was released on 2021-06-04 with total page 367 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.

Download or read book Applied Technologies written by Miguel Botto-Tobar and published by Springer Nature. This book was released on 2021-03-31 with total page 713 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the Second International Conference on Applied Technologies, ICAT 2020, held in Quito, Ecuador, in December 2020. Due to the COVID-19 pandemic the conference was held online. The 53 papers were carefully reviewed and selected from 145 submissions. The papers are organized according to the following topics: communication; computing; e-government and e-participation; e-learning; electronics; intelligent systems; machine vision; security; technology trends.

Download or read book Sentimental Analysis and Deep Learning written by Subarna Shakya and published by Springer Nature. This book was released on 2021-10-25 with total page 1023 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers selected papers presented at the International Conference on Sentimental Analysis and Deep Learning (ICSADL 2021), jointly organized by Tribhuvan University, Nepal; Prince of Songkla University, Thailand; and Ejesra during June, 18–19, 2021. The volume discusses state-of-the-art research works on incorporating artificial intelligence models like deep learning techniques for intelligent sentiment analysis applications. Emotions and sentiments are emerging as the most important human factors to understand the prominent user-generated semantics and perceptions from the humongous volume of user-generated data. In this scenario, sentiment analysis emerges as a significant breakthrough technology, which can automatically analyze the human emotions in the data-driven applications. Sentiment analysis gains the ability to sense the existing voluminous unstructured data and delivers a real-time analysis to efficiently automate the business processes. Meanwhile, deep learning emerges as the revolutionary paradigm with its extensive data-driven representation learning architectures. This book discusses all theoretical aspects of sentimental analysis, deep learning and related topics.