- Table View
- List View
Advances in Emerging Trends and Technologies: Volume 1 (Advances in Intelligent Systems and Computing #1066)
by Miguel Botto-Tobar Joffre León-Acurio Angela Díaz Cadena Práxedes Montiel DíazThis book constitutes the proceedings of the 1st International Conference on Advances in Emerging Trends and Technologies (ICAETT 2019), held in Quito, Ecuador, on 29–31 May 2019, jointly organized by Universidad Tecnológica Israel, Universidad Técnica del Norte, and Instituto Tecnológico Superior Rumiñahui, and supported by SNOTRA. ICAETT 2019 brought together top researchers and practitioners working in different domains of computer science to share their expertise and to discuss future developments and potential collaborations. Presenting high-quality, peer-reviewed papers, the book discusses the following topics:Technology TrendsElectronicsIntelligent SystemsMachine VisionCommunicationSecuritye-Learninge-Businesse-Government and e-Participation
Advances in Emerging Trends and Technologies: Volume 2 (Advances in Intelligent Systems and Computing #1067)
by Miguel Botto-Tobar Joffre León-Acurio Angela Díaz Cadena Práxedes Montiel DíazThis book constitutes the proceedings of the 1st International Conference on Advances in Emerging Trends and Technologies (ICAETT 2019), held in Quito, Ecuador, on 29–31 May 2019, jointly organized by Universidad Tecnológica Israel, Universidad Técnica del Norte, and Instituto Tecnológico Superior Rumiñahui, and supported by SNOTRA. ICAETT 2019 brought together top researchers and practitioners working in different domains of computer science to share their expertise and to discuss future developments and potential collaborations. Presenting high-quality, peer-reviewed papers, the book discusses the following topics:Technology TrendsElectronicsIntelligent SystemsMachine VisionCommunicationSecuritye-Learninge-Businesse-Government and e-Participation
VipIMAGE 2019: Proceedings of the VII ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing, October 16–18, 2019, Porto, Portugal (Lecture Notes in Computational Vision and Biomechanics #34)
by João Manuel R. S. Tavares Renato Manuel Natal JorgeThis book gathers full papers presented at the VipIMAGE 2019—VII ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing—held on October 16-18, 2019, in Porto, Portugal. It discusses cutting-edge methods, findings, and applications related to 3D vision, bio- and medical imaging, computer-aided diagnosis, image enhancement, image processing and analysis, virtual reality, and also describes in detail advanced image analysis techniques, such as image segmentation and feature selection, as well as statistical and geometrical modeling. The book provides both researchers and professionals with extensive and timely insights into advanced imaging techniques for various application purposes.
Similarity Search and Applications: 12th International Conference, SISAP 2019, Newark, NJ, USA, October 2–4, 2019, Proceedings (Lecture Notes in Computer Science #11807)
by Giuseppe Amato Claudio Gennaro Vincent Oria Miloš RadovanovićThis book constitutes the refereed proceedings of the 12th International Conference on Similarity Search and Applications, SISAP 2019, held in Newark, NJ, USA, in October 2019. The 12 full papers presented together with 18 short and 3 doctoral symposium papers were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections named: Similarity Search and Retrieval; The Curse of Dimensionality; Clustering and Outlier Detection; Subspaces and Embeddings; Applications; Doctoral Symposium Papers.
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11815)
by Klaus-Dieter Schewe Neeraj Kumar SinghThis book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019.The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.
The Theory of Queuing Systems with Correlated Flows
by Alexander N. Dudin Valentina I. Klimenok Vladimir M. VishnevskyThis book is dedicated to the systematization and development of models, methods, and algorithms for queuing systems with correlated arrivals. After first setting up the basic tools needed for the study of queuing theory, the authors concentrate on complicated systems: multi-server systems with phase type distribution of service time or single-server queues with arbitrary distribution of service time or semi-Markovian service. They pay special attention to practically important retrial queues, tandem queues, and queues with unreliable servers. Mathematical models of networks and queuing systems are widely used for the study and optimization of various technical, physical, economic, industrial, and administrative systems, and this book will be valuable for researchers, graduate students, and practitioners in these domains.
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Lecture Notes in Computer Science #11757)
by Bernd Finkbeiner Leonardo MarianiThis 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.
Interval-Valued Intuitionistic Fuzzy Sets (Studies in Fuzziness and Soft Computing #388)
by Krassimir T. AtanassovThe book offers a comprehensive survey of interval-valued intuitionistic fuzzy sets. It reports on cutting-edge research carried out by the founder of the intuitionistic fuzzy sets, Prof. Krassimir Atanassov, giving a special emphasis to the practical applications of this extension. A few interesting case studies, such as in the area of data mining, decision making and pattern recognition, among others, are discussed in detail.The book offers the first comprehensive guide on interval-valued intuitionistic fuzzy sets. By providing the readers with a thorough survey and important practical details, it is expected to support them in carrying out applied research and to encourage them to test the theory behind the sets for new advanced applications. The book is a valuable reference resource for graduate students and researchers alike.
Special Topics in Information Technology (SpringerBriefs in Applied Sciences and Technology)
by Barbara PerniciThis open access book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico di Milano emphasizes this interdisciplinary nature, which is becoming more and more important in recent technological advances, in collaborative projects, and in the education of young researchers. Accordingly, the focus of advanced research is on pursuing a rigorous approach to specific research topics starting from a broad background in various areas of Information Technology, especially Computer Science and Engineering, Electronics, Systems and Controls, and Telecommunications. Each year, more than 50 PhDs graduate from the program. This book gathers the outcomes of the nine best theses defended in 2018-19 and selected for the IT PhD Award. Each of the nine authors provides a chapter summarizing his/her findings, including an introduction, description of methods, main achievements and future work on the topic. Hence, the book provides a cutting-edge overview of the latest research trends in Information Technology at Politecnico di Milano, presented in an easy-to-read format that will also appeal to non-specialists.
Financial Cryptography and Data Security: 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11598)
by Ian Goldberg Tyler MooreThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St. Kitts, St. Kitts and Nevis in February 2019.The 32 revised full papers and 7 short papers were carefully selected and reviewed from 179 submissions. The papers are grouped in the following topical sections: Cryptocurrency Cryptanalysis, Measurement, Payment Protocol Security, Multiparty Protocols, Off-Chain Mechanisms, Fraud Detection, Game Theory, IoT Security and much more.
Emerging Trends in Computing and Expert Technology (Lecture Notes on Data Engineering and Communications Technologies #35)
by D. Jude Hemanth V. D. Ambeth Kumar S. Malathi Oscar Castillo Bogdan PatrutThis book presents high-quality research papers that demonstrate how emerging technologies in the field of intelligent systems can be used to effectively meet global needs. The respective papers highlight a wealth of innovations and experimental results, while also addressing proven IT governance, standards and practices, and new designs and tools that facilitate rapid information flows to the user. The book is divided into five major sections, namely: “Advances in High Performance Computing”, “Advances in Machine and Deep Learning”, “Advances in Networking and Communication”, “Advances in Circuits and Systems in Computing” and “Advances in Control and Soft Computing”.
Healthcare and Artificial Intelligence
by Cédric Villani Bernard Nordlinger Daniela RusThis book provides an overview of the role of AI in medicine and, more generally, of issues at the intersection of mathematics, informatics, and medicine. It is intended for AI experts, offering them a valuable retrospective and a global vision for the future, as well as for non-experts who are curious about this timely and important subject. Its goal is to provide clear, objective, and reasonable information on the issues covered, avoiding any fantasies that the topic “AI” might evoke. In addition, the book seeks to provide a broad kaleidoscopic perspective, rather than deep technical details.
Information Technology in Disaster Risk Reduction: Third IFIP TC 5 DCITDRR International Conference, ITDRR 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20–21, 2018, Revised Selected Papers (IFIP Advances in Information and Communication Technology #550)
by Yuko Murayama Dimiter Velev Plamena ZlatevaThis volume constitutes the refereed post-conference proceedings of the Third IFIP TC 5 DCITDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2018, held as part of the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018.The 12 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers focus on various aspects and challenges of coping with disaster risk reduction. The main topics include areas such as natural disasters, big data, cloud computing, Internet of Things, mobile computing, emergency management, disaster information processing, and disaster risk assessment and management.
New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings (Communications in Computer and Information Science #1085)
by Christian Attiogbé Flavio Ferrarotti Sofian MaaboutThis book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019. The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 workshops: Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2019, Workshop on Data Science for Social Good in Africa, DSSGA 2019, and Workshop on Security and Privacy in Models and Data, TRIDENT 2019.
Simulation Tools and Techniques: 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #295)
by Houbing Song Dingde JiangThis volume constitutes the refereed post-conference proceedings of the 11th International Conference on Simulation Tools and Techniques, SIMUTools 2019, held in Chengdu, China, in August 2019. The 97 revised full papers were carefully selected from 156 submissions. The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part VI (Lecture Notes in Computer Science #11769)
by Ali Khan Dinggang Shen Tianming Liu Terry M. Peters Lawrence H. Staib Caroline Essert Sean Zhou Pew-Thian YapThe six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019, held in Shenzhen, China, in October 2019. The 539 revised full papers presented were carefully reviewed and selected from 1730 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: optical imaging; endoscopy; microscopy.Part II: image segmentation; image registration; cardiovascular imaging; growth, development, atrophy and progression.Part III: neuroimage reconstruction and synthesis; neuroimage segmentation; diffusion weighted magnetic resonance imaging; functional neuroimaging (fMRI); miscellaneous neuroimaging.Part IV: shape; prediction; detection and localization; machine learning; computer-aided diagnosis; image reconstruction and synthesis.Part V: computer assisted interventions; MIC meets CAI. Part VI: computed tomography; X-ray imaging.
Natural Language Processing and Chinese Computing: 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11838)
by Jie Tang Min-Yen Kan Dongyan Zhao Sujian Li Hongying ZanThis two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 short papers presented were carefully reviewed and selected from 492 submissions. They are organized in the following topical sections: Conversational Bot/QA/IR; Knowledge graph/IE; Machine Learning for NLP; Machine Translation; NLP Applications; NLP for Social Network; NLP Fundamentals; Text Mining; Short Papers; Explainable AI Workshop; Student Workshop: Evaluation Workshop.
Natural Language Processing and Chinese Computing: 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11839)
by Jie Tang Min-Yen Kan Dongyan Zhao Sujian Li Hongying ZanThis two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 short papers presented were carefully reviewed and selected from 492 submissions. They are organized in the following topical sections: Conversational Bot/QA/IR; Knowledge graph/IE; Machine Learning for NLP; Machine Translation; NLP Applications; NLP for Social Network; NLP Fundamentals; Text Mining; Short Papers; Explainable AI Workshop; Student Workshop: Evaluation Workshop.
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11764)
by Dinggang Shen Tianming Liu Terry M. Peters Lawrence H. Staib Caroline Essert Sean Zhou Pew-Thian Yap Ali KhanThe six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019, held in Shenzhen, China, in October 2019. The 539 revised full papers presented were carefully reviewed and selected from 1730 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: optical imaging; endoscopy; microscopy. Part II: image segmentation; image registration; cardiovascular imaging; growth, development, atrophy and progression. Part III: neuroimage reconstruction and synthesis; neuroimage segmentation; diffusion weighted magnetic resonance imaging; functional neuroimaging (fMRI); miscellaneous neuroimaging. Part IV: shape; prediction; detection and localization; machine learning; computer-aided diagnosis; image reconstruction and synthesis. Part V: computer assisted interventions; MIC meets CAI. Part VI: computed tomography; X-ray imaging.
Service Research and Innovation: 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers (Lecture Notes in Business Information Processing #367)
by Ho-Pun Lam Sajib MistryThis book constitutes revised selected papers from the Australasian Symposium on Service Research and Innovation, ASSRI 2018. The conference was held in two parts on September 6, 2018, in Sydney, Australia, and on December 14, 2018, in Wollongong, Australia. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from a total of 26 submissions, covering a variety of topics related to service-oriented computing and service science. The book also includes 3 keynote papers.
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11765)
by Ali Khan Pew-Thian Yap Dinggang Shen Terry M. Peters Tianming Liu Lawrence H. Staib Caroline Essert Sean ZhouThe six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019, held in Shenzhen, China, in October 2019. The 539 revised full papers presented were carefully reviewed and selected from 1730 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: optical imaging; endoscopy; microscopy. Part II: image segmentation; image registration; cardiovascular imaging; growth, development, atrophy and progression. Part III: neuroimage reconstruction and synthesis; neuroimage segmentation; diffusion weighted magnetic resonance imaging; functional neuroimaging (fMRI); miscellaneous neuroimaging. Part IV: shape; prediction; detection and localization; machine learning; computer-aided diagnosis; image reconstruction and synthesis. Part V: computer assisted interventions; MIC meets CAI. Part VI: computed tomography; X-ray imaging.
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11766)
by Ali Khan Pew-Thian Yap Dinggang Shen Terry M. Peters Tianming Liu Lawrence H. Staib Caroline Essert Sean ZhouThe six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019, held in Shenzhen, China, in October 2019. The 539 revised full papers presented were carefully reviewed and selected from 1730 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: optical imaging; endoscopy; microscopy. Part II: image segmentation; image registration; cardiovascular imaging; growth, development, atrophy and progression. Part III: neuroimage reconstruction and synthesis; neuroimage segmentation; diffusion weighted magnetic resonance imaging; functional neuroimaging (fMRI); miscellaneous neuroimaging. Part IV: shape; prediction; detection and localization; machine learning; computer-aided diagnosis; image reconstruction and synthesis. Part V: computer assisted interventions; MIC meets CAI. Part VI: computed tomography; X-ray imaging.
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV (Lecture Notes in Computer Science #11767)
by Dinggang Shen Tianming Liu Terry M. Peters Lawrence H. Staib Caroline Essert Sean Zhou Pew-Thian Yap Ali KhanThe six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019, held in Shenzhen, China, in October 2019. The 539 revised full papers presented were carefully reviewed and selected from 1730 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: optical imaging; endoscopy; microscopy. Part II: image segmentation; image registration; cardiovascular imaging; growth, development, atrophy and progression. Part III: neuroimage reconstruction and synthesis; neuroimage segmentation; diffusion weighted magnetic resonance imaging; functional neuroimaging (fMRI); miscellaneous neuroimaging. Part IV: shape; prediction; detection and localization; machine learning; computer-aided diagnosis; image reconstruction and synthesis. Part V: computer assisted interventions; MIC meets CAI. Part VI: computed tomography; X-ray imaging.
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part V (Lecture Notes in Computer Science #11768)
by Ali Khan Pew-Thian Yap Dinggang Shen Terry M. Peters Tianming Liu Lawrence H. Staib Caroline Essert Sean ZhouThe six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019, held in Shenzhen, China, in October 2019. The 539 revised full papers presented were carefully reviewed and selected from 1730 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: optical imaging; endoscopy; microscopy.Part II: image segmentation; image registration; cardiovascular imaging; growth, development, atrophy and progression.Part III: neuroimage reconstruction and synthesis; neuroimage segmentation; diffusion weighted magnetic resonance imaging; functional neuroimaging (fMRI); miscellaneous neuroimaging.Part IV: shape; prediction; detection and localization; machine learning; computer-aided diagnosis; image reconstruction and synthesis.Part V: computer assisted interventions; MIC meets CAI. Part VI: computed tomography; X-ray imaging.
Intelligent Distributed Computing XIII (Studies in Computational Intelligence #868)
by Igor Kotenko Costin Badica Vasily Desnitsky Didier El Baz Mirjana IvanovicThis book gathers research contributions on recent advances in intelligent and distributedcomputing. A major focus is placed on new techniques and applications for several highlydemanded research directions: Internet of Things, Cloud Computing and Big Data, Data Mining and Machine Learning, Multi-agent and Service-Based Distributed Systems, Distributed Algorithms and Optimization, Modeling Operational Processes, Social Network Analysis and Inappropriate Content Counteraction, Cyber-Physical Security and Safety, Intelligent Distributed Decision Support Systems, Intelligent Human-Machine Interfaces, VisualAnalytics and others. The book represents the peer-reviewed proceedings of the 13thInternational Symposium on Intelligent Distributed Computing (IDC 2019), which was held in St. Petersburg, Russia, from October 7 to 9, 2019.