Download or read book Proceedings of the Second International Conference on Innovations in Computing Research ICR 23 written by Kevin Daimi and published by Springer Nature. This book was released on 2023-06-16 with total page 460 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Second International Conference on Innovations in Computing Research (ICR’23) brings together a diverse group of researchers from all over the world with the intent of fostering collaboration and dissemination of the innovations in computing technologies. The conference is aptly segmented into six tracks: Data Science, Computer and Network Security, Health Informatics and Medical Imaging, Computer Science and Computer Engineering Education, Internet of Things, and Smart Cities/Smart Energy. These tracks aim to promote a birds-of-the-same-feather congregation and maximize participation. The Data Science track covers a wide range of topics including complexity score for missing data, deep learning and fake news, cyberbullying and hate speech, surface area estimation, analysis of gambling data, car accidents predication model, augmenting character designers’ creativity, deep learning for road safety, effect of sleep disturbances on the quality of sleep, deep learning-based path-planning, vehicle data collection and analysis, predicting future stocks prices, and trading robot for foreign exchange. Computer and Network Security track is dedicated to various areas of cybersecurity. Among these are decentralized solution for secure management of IoT access rights, multi-factor authentication as a service (MFAaaS) for federated cloud environments, user attitude toward personal data privacy and data privacy economy, host IP obfuscation and performance analysis, and vehicle OBD-II port countermeasures. The Computer Science and Engineering Education track enfolds various educational areas, such as data management in industry–academia joint research: a perspective of conflicts and coordination in Japan, security culture and security education, training and awareness (SETA), influencing information security management, engaging undergraduate students in developing graphical user interfaces for NSF funded research project, and emotional intelligence of computer science teachers in higher education. On the Internet of Things (IoT) track, the focus is on industrial air quality sensor visual analytics, social spider optimization meta-heuristic for node localization optimization in wireless sensor networks, and privacy aware IoT-based fall detection with infrared sensors and deep learning. The Smart Cities and Smart Energy track spans various areas, which include, among others, research topics on heterogeneous transfer learning in structural health monitoring for high-rise structures and energy routing in energy Internet using the firefly algorithm.

Download or read book ICCPS 2015 written by and published by . This book was released on 2015 with total page 269 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Engineering and Formal Methods written by Peter Csaba Ölveczky and published by Springer Nature. This book was released on 2019-09-09 with total page 550 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.

Download or read book Computational Science and Its Applications ICCSA 2019 written by Sanjay Misra and published by Springer. This book was released on 2019-06-29 with total page 786 pages. Available in PDF, EPUB and Kindle. Book excerpt: The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.

Download or read book Automated Technology for Verification and Analysis written by Deepak D'Souza and published by Springer. This book was released on 2017-10-03 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

Download or read book Security and Privacy in Communication Networks written by Xiaodong Lin and published by Springer. This book was released on 2018-04-21 with total page 865 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed roceedings of the 13th International Conference on Security and Privacy in Communications Networks, SecureComm 2017, held in Niagara Falls, ON, Canada, in October 2017.The 31 revised regular papers and 15 short papers were carefully reviewed and selected from 105 submissions. The topics range from security and privacy in machine learning to differential privacy, which are currently hot research topics in cyber security research.

Download or read book Selected Papers from the First International Symposium on Future ICT Future ICT 2019 in Conjunction with 4th International Symposium on Mobile Internet Security MobiSec 2019 written by Giovanni Pau and published by MDPI. This book was released on 2021-05-11 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: The International Symposium on Future ICT (Future-ICT 2019) in conjunction with the 4th International Symposium on Mobile Internet Security (MobiSec 2019) was held on 17–19 October 2019 in Taichung, Taiwan. The symposium provided academic and industry professionals an opportunity to discuss the latest issues and progress in advancing smart applications based on future ICT and its relative security. The symposium aimed to publish high-quality papers strictly related to the various theories and practical applications concerning advanced smart applications, future ICT, and related communications and networks. It was expected that the symposium and its publications would be a trigger for further related research and technology improvements in this field.

Download or read book Manufacturing Techniques for Materials written by T.S. Srivatsan and published by CRC Press. This book was released on 2018-04-09 with total page 790 pages. Available in PDF, EPUB and Kindle. Book excerpt: Manufacturing Techniques for Materials: Engineering and Engineered provides a cohesive and comprehensive overview of the following: (i) prevailing and emerging trends, (ii) emerging developments and related technology, and (iii) potential for the commercialization of techniques specific to manufacturing of materials. The first half of the book provides the interested reader with detailed chapters specific to the manufacturing of emerging materials, such as additive manufacturing, with a valued emphasis on the science, technology, and potentially viable practices specific to the manufacturing technique used. This section also attempts to discuss in a lucid and easily understandable manner the specific advantages and limitations of each technique and goes on to highlight all of the potentially viable and emerging technological applications. The second half of this archival volume focuses on a wide spectrum of conventional techniques currently available and being used in the manufacturing of both materials and resultant products. Manufacturing Techniques for Materials is an invaluable tool for a cross-section of readers including engineers, researchers, technologists, students at both the graduate level and undergraduate level, and even entrepreneurs.

Download or read book Security Privacy and Applied Cryptography Engineering written by Lejla Batina and published by Springer Nature. This book was released on 2022-12-06 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2022 held in Jaipur, India, during December 9–12, 2022. The 18 full papers included in this book were carefully reviewed and selected from 61 submissions. They were organized in topical sections as follows: symmetric cryptography; public-key cryptography, post-quantum cryptography, zero knowledge proofs; hardware security and AI; and network security, authentication, and privacy.

Download or read book Safe Autonomous and Intelligent Vehicles written by Huafeng Yu and published by Springer. This book was released on 2018-11-14 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions.

Download or read book Intelligent Systems and Applications written by Kohei Arai and published by Springer Nature. This book was released on 2022-08-31 with total page 859 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a remarkable collection of chapters covering a wide domain of topics related to artificial intelligence and its applications to the real world. The conference attracted a total of 494 submissions from many academic pioneering researchers, scientists, industrial engineers, and students from all around the world. These submissions underwent a double-blind peer-reviewed process. Of the total submissions, 176 submissions have been selected to be included in these proceedings. It is difficult to imagine how artificial intelligence has become an inseparable part of our life. From mobile phones, smart watches, washing machines to smart homes, smart cars, and smart industries, artificial intelligence has helped to revolutionize the whole globe. As we witness exponential growth of computational intelligence in several directions and use of intelligent systems in everyday applications, this book is an ideal resource for reporting latest innovations and future of AI. Distinguished researchers have made valuable studies to understand the various bottlenecks existing in different arenas and how they can be overcome with the use of intelligent systems. This book also provides new directions and dimensions of future research work. We hope that readers find the volume interesting and valuable.

Download or read book Energy Security and Sustainability written by Amritanshu Shukla and published by CRC Press. This book was released on 2016-10-03 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: There has been ever increasing interest in understanding the various aspects of available resources and production, in terms of need and supply, conservation and environmental impacts and so on. From the current energy scenario, it is very clear that there are serious challenges related in achieving energy sustainability and security worldwide. The aim of this book is to present an overview of progress made towards energy sustainability addressing concerns regarding carbon emission and clean energy resources. Keeping this in mind, the book has chapters on all major energy sources which are being utilized at present, along with those having potential prospects for future.

Download or read book Hard Real Time Computing Systems written by Giorgio Buttazzo and published by Springer Nature. This book was released on with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Collaborative Networks and Digital Transformation written by Luis M. Camarinha-Matos and published by Springer Nature. This book was released on 2019-09-12 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, held in Turin, Italy, in September 2019. The 56 revised full papers were carefully reviewed and selected from 141 submissions. They provide a comprehensive overview of major challenges and recent advances in various domains related to the digital transformation and collaborative networks and their applications with a strong focus on the following areas related to the main theme of the conference: collaborative models, platforms and systems for digital revolution; manufacturing ecosystem and collaboration in Industry 4.0; big data analytics and intelligence; risk, performance, and uncertainty in collaborative networked systems; semantic data/service discovery, retrieval, and composition in a collaborative networked world; trust and sustainability analysis in collaborative networks; value creation and social impact of collaborative networks on the digital revolution; technology development platforms supporting collaborative systems; collective intelligence and collaboration in advanced/emerging applications; and collaborative manufacturing and factories of the future, e-health and care, food and agribusiness, and crisis/disaster management.

Download or read book Software Verification written by Maria Christakis and published by Springer Nature. This book was released on 2020-12-05 with total page 239 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

Download or read book Formal Methods written by Marieke Huisman and published by Springer Nature. This book was released on 2021-11-10 with total page 801 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

Download or read book Advances in Automotive Production Technology Towards Software Defined Manufacturing and Resilient Supply Chains written by Niklas Kiefl and published by Springer Nature. This book was released on 2023-06-04 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume of the series ARENA2036 compiles the outcome of the 2nd Stuttgart Conference on Automotive Production (SCAP2022). The peer-reviewed contributions in this book are arranged thematically in three parts and cover a wide variety of topics: (A) Software-defined Manufacturing, (B) Data-driven Technologies, and (C) Advanced Manufacturing and Sustainability. SCAP2022 was organized by ARENA2036 in close collaboration with the Institute for Control Engineering of Machine Tools and Manufacturing Units of the University of Stuttgart. The Conference took place on site from November 16 - 18, 2022 and provided the opportunity for national and international scientists to present their latest research results. The conference has taken another big step in becoming an established forum for topics related to the production of the future. The great success of this year's conference will be continued with the next SCAP in 2024 with new forward-looking topics. This is an open access book.