- Table View
- List View
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science #10762)
by Alexander GelbukhThe two-volume set LNCS 10761 + 10762 constitutes revised selected papers from the CICLing 2017 conference which took place in Budapest, Hungary, in April 2017. The total of 90 papers presented in the two volumes was carefully reviewed and selected from numerous submissions. In addition, the proceedings contain 4 invited papers.The papers are organized in the following topical sections:Part I: general; morphology and text segmentation; syntax and parsing; word sense disambiguation; reference and coreference resolution; named entity recognition; semantics and text similarity; information extraction; speech recognition; applications to linguistics and the humanities. Part II: sentiment analysis; opinion mining; author profiling and authorship attribution; social network analysis; machine translation; text summarization; information retrieval and text classification; practical applications.
Computational Linguistics and Intelligent Text Processing: 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part I (Lecture Notes in Computer Science #13396)
by Alexander GelbukhThe two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018.The total of 68 papers presented in the two volumes was carefully reviewed and selected from 181 submissions. The focus of the conference was on following topics such as computational linguistics and intelligent text and speech processing and others. The papers are organized in the following topical sections: General, Author profiling and authorship attribution, social network analysis, Information retrieval, information extraction, Lexical resources, Machine translation, Morphology, syntax, Semantics and text similarity, Sentiment analysis, Syntax and parsing, Text categorization and clustering, Text generation, and Text mining.
Computational Linguistics and Intelligent Text Processing: 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part II (Lecture Notes in Computer Science #13397)
by Alexander GelbukhThe two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018.The total of 68 papers presented in the two volumes was carefully reviewed and selected from 181 submissions. The focus of the conference was on following topics such as computational linguistics and intelligent text and speech processing and others. The papers are organized in the following topical sections: General, Author profiling and authorship attribution, social network analysis, Information retrieval, information extraction, Lexical resources, Machine translation, Morphology, syntax, Semantics and text similarity, Sentiment analysis, Syntax and parsing, Text categorization and clustering, Text generation, and Text mining.
Computational Linguistics: 14th International Conference of the Pacific Association for Computational Linguistics, PACLING 2015, Bali, Indonesia, May 19-21, 2015, Revised Selected Papers (Communications in Computer and Information Science #593)
by Kôiti Hasida Ayu PurwariantiThis bookconstitutes the refereed proceedings of the 14th International Conference of the PacificAssociation for Computational Linguistics, PACLING 2015, held in Bali,Indonesia, in May 2015. The 18revised full papers presented were carefully reviewed and selected from 45papers. The papers are organized around the following topics: syntax andsyntactic analysis; semantics and semantic analysis; spoken language anddialogue; corpora and corpus-based language processing; text and messageunderstanding; information extraction and text mining; information retrievaland question answering; language learning; machine translation.
Computational Linguistics: 15th International Conference Of The Pacific Association For Computational Linguistics, Pacling 2017, Yangon, Myanmar, August 16-18, 2017, Revised Selected Papers (Communications In Computer And Information Science #781)
by Kôiti Hasida Win Pa PaThis book constitutes the refereed proceedings of the 15th International Conference of the Pacific Association for Computational Linguistics, PACLING 2017, held in Yangon, Myanmar, in August 2017.The 28 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on semantics and semantic analysis; statistical machine translation; corpora and corpus-based language processing; syntax and syntactic analysis; document classification; information extraction and text mining; text summarization; text and message understanding; automatic speech recognition; spoken language and dialogue; speech pathology; speech analysis.
Computational Linguistics: 16th International Conference of the Pacific Association for Computational Linguistics, PACLING 2019, Hanoi, Vietnam, October 11–13, 2019, Revised Selected Papers (Communications in Computer and Information Science #1215)
by Kôiti Hasida Satoshi Tojo Le-Minh Nguyen Xuan-Hieu PhanThis book constitutes the refereed proceedings of the 16th International Conference of the Pacific Association for Computational Linguistics, PACLING 2019, held in Hanoi, Vietnam, in October 2019. The 28 full papers and 14 short papers presented were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on text summarization; relation and word embedding; machine translation; text classification; web analyzing; question and answering, dialog analyzing; speech and emotion analyzing; parsing and segmentation; information extraction; and grammar error and plagiarism detection.
Computational Literacy for the Humanities: Mathematics and Programming in Context
by Zef Segal Nurit MelnikComputational Literacy for the Humanities provides an introduction to mathematics and programming that is specifically designed for use by those engaged in the humanities. Linking mathematical concepts and computational skills, the chapters in this book explore humanistic questions from diverse fields, such as art, history and literature.The book helps to advance computational and digital literacy by showing that each mathematical concept has a history, and each technique has a meaning. Rather than viewing mathematics and computer programming as purely instrumental, they are integrated into the process of achieving greater understanding of humanistic phenomena. Algorithms, data, statistics and networks are taught critically within the book, whilst the authors also make a concerted effort to expose the internal biases of these tools. They also demonstrate the applicability of quantification and computation for the promotion of diversification and inclusivity within the humanities. All exercises are designed as an opportunity to gain hands-on mathematical and computational experience, whilst critically exploring and interpreting humanistic phenomena.Computational Literacy for the Humanities shows readers how to engage with data in a way that is challenging, yet meaningful and empowering. It will be of interest to scholars and students working across the humanities and should be of particular interest to those working in digital humanities.
Computational Logic and Human Thinking
by Robert KowalskiThe practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Texts in Computer Science)
by Martin Davis Domenico Cantone Jacob T. Schwartz Eugenio G. OmodeoThis must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.
Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings (Lecture Notes in Computer Science #11756)
by Stefan Voß Carlos Paternina-ArboledaThis book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019, held in Barranquilla, Colombia, in September/October 2019. The 27 papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections named: freight transportation and urban logistics; maritime and port logistics; vehicle routing problems; network design and distribution problems; and selected topics in decision support systems and ICT tools.
Computational Logistics: 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings (Lecture Notes in Computer Science #12433)
by Stefan Voß Eduardo Lalla-Ruiz Martijn MesThis book constitutes the proceedings of the 11th International Conference on Computational Logistics, ICCL 2020, held in Enschede, The Netherlands, in September 2020.The 49 papers included in this book were carefully reviewed and selected from 73 submissions. They were organized in topical sections named: maritime and port logistics; vehicle routing and scheduling; freight distribution and city logistics; network design and scheduling; and selected topics in logistics.Due to the Corona pandemic ICCL 2020 was held as a virtual event.
Computational Logistics: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings (Lecture Notes in Computer Science #13004)
by Stefan Voß Eduardo Lalla-Ruiz Martijn MesThis book constitutes the refereed proceedings of the 12th International Conference on Computational Logistics, ICCL 2021, held in September 2021. Due to COVID-19 pandemic the conference was held virtually.The 42 full papers were carefully reviewed and selected from 111 submissions. They detail the interface of complex logistics systems and advanced computational methods from the fields of operations research, business analytics, and artificial intelligence. The papers are organized in topical sections named maritime and port logistics; supply chain and production management; urban transport and collaborative logistics; routing, dispatching, and scheduling; air logistics and multi-modal transport.
Computational Logistics: 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings (Lecture Notes in Computer Science #9855)
by Ana Paias Mario Ruthmair Stefan VoßThis book constitutes the refereed proceedings of the 7th International Conference on Computational Logistics, ICCL 2016, held in Lisbon, Portugal, in September 2016. The 29 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: container terminals and maritime transportation; intermodal transport; location and routing; (general) logistics and supply chain management.
Computational Management: Applications of Computational Intelligence in Business Management (Modeling and Optimization in Science and Technologies #18)
by Vipul Jain Srikanta Patnaik Kayhan TajeddiniThis book offers a timely review of cutting-edge applications of computational intelligence to business management and financial analysis. It covers a wide range of intelligent and optimization techniques, reporting in detail on their application to real-world problems relating to portfolio management and demand forecasting, decision making, knowledge acquisition, and supply chain scheduling and management.
Computational Materials Science: From Ab Initio To Monte Carlo Methods (Springer Series In Solid-state Sciences Ser. #129)
by Kaoru Ohno Keivan Esfarjani Yoshiyuki KawazoeThis textbook introduces modern techniques based on computer simulation to study materials science. It starts from first principles calculations enabling to calculate the physical and chemical properties by solving a many-body Schroedinger equation with Coulomb forces. For the exchange-correlation term, the local density approximation is usually applied. After the introduction of the first principles treatment, tight-binding and classical potential methods are briefly introduced to indicate how one can increase the number of atoms in the system. In the second half of the book, Monte Carlo simulation is discussed in detail. Problems and solutions are provided to facilitate understanding. Readers will gain sufficient knowledge to begin theoretical studies in modern materials research. This second edition includes a lot of recent theoretical techniques in materials research. With the computers power now available, it is possible to use these numerical techniques to study various physical and chemical properties of complex materials from first principles. The new edition also covers empirical methods, such as tight-binding and molecular dynamics.
Computational Mathematics Modeling in Cancer Analysis: First International Workshop, CMMCA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science #13574)
by Fan Yang Fa Zhang Jia Wu Nazar Zaki Wenjian QinThis book constitutes the proceedings of the First Workshop on Computational Mathematics Modeling in Cancer Analysis (CMMCA2022), held in conjunction with MICCAI 2022, in Singapore in September 2022. Due to the COVID-19 pandemic restrictions, the CMMCA2022 was held virtually. DALI 2022 accepted 15 papers from the 16 submissions that were reviewed. A major focus of CMMCA2022 is to identify new cutting-edge techniques and their applications in cancer data analysis in response to trends and challenges in theoretical, computational and applied aspects of mathematics in cancer data analysis.
Computational Mathematics Modeling in Cancer Analysis: Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings (Lecture Notes in Computer Science #14243)
by Fan Yang Chao Li Fa Zhang Jia Wu Nazar Zaki Wenjian QinThis volume LNCS 14243 constitutes the refereed proceedings of the Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, on October 8, 2023, in Vancouver, BC, Canada. The 17 full papers presented were carefully reviewed and selected from 25 submissions. The conference focuses on the discovery of cutting-edge techniques addressing trends and challenges in theoretical, computational, and applied aspects of mathematical cancer data analysis.
Computational Mathematics Modeling in Cancer Analysis: Third International Workshop, CMMCA 2024, Marrakesh, Morocco, October 6, 2024, Proceedings (Lecture Notes in Computer Science #15181)
by Chao Li Jia Wu Wenjian Qin Boklye KimThis book constitutes the refereed proceedings of Third International Workshop on Computational Mathematics Modeling in Cancer Analysis, CMMCA 2024, held in Marrakesh, Morocco, on October 6, 2024, in conjunction with MICCAI 2024. The 12 full papers presented in this book were carefully reviewed and selected from 14 submissions. CMMCA serves as a platform for collaboration among professionals in mathematics, engineering, computer science, and medicine, focusing on innovative mathematical methods for analyzing complex cancer data.
Computational Mechanics and Applied Mathematics: GIMC SIMAI Young 2024 (Lecture Notes in Mechanical Engineering)
by Francesco Marmo Salvatore Cuomo Arsenio CutoloThis book collects the latest advances and innovations in the field of applied mathematics and computational mechanics, as presented at the 2nd Workshop GIMC SIMAI YOUNG, held in Naples, Italy, on July 10–12, 2024. The workshop was the joint effort of Computational Mechanics Group of the Italian Association of Theoretical and Applied Mechanics -AIMETA (GIMC) and Italian Society of Applied and Industrial Mathematics (SIMAI) and was meant to highlight the works of young researchers in the field. Topics include mathematical models for socio-epidemiological dynamics, efficient numerical methods for evolutionary PDEs, multi-scale approaches and machine learning techniques in material modelling, nonlinear material behaviour, computational methods for shells and spatial structures, assessment, monitoring, and design of masonry structures, particles in numerical simulations, non-Newtonian complex fluids, mathematical modelling in mechanobiology and oncology, mechanics of biological systems and bioinspired materials, computational approaches for complex dynamical systems, optimization methods for classical and data-driven approaches. The contributions, which were selected by means of a rigorous peer-review process, present a wealth of exciting ideas that will open novel research directions and foster multidisciplinary collaboration.
Computational Mechanics with Deep Learning: An Introduction (Lecture Notes on Numerical Methods in Engineering and Sciences)
by Genki Yagawa Atsuya OishiThis book is intended for students, engineers, and researchers interested in both computational mechanics and deep learning. It presents the mathematical and computational foundations of Deep Learning with detailed mathematical formulas in an easy-to-understand manner. It also discusses various applications of Deep Learning in Computational Mechanics, with detailed explanations of the Computational Mechanics fundamentals selected there. Sample programs are included for the reader to try out in practice. This book is therefore useful for a wide range of readers interested in computational mechanics and deep learning.
Computational Mechanics with Neural Networks (Lecture Notes on Numerical Methods in Engineering and Sciences)
by Genki Yagawa Atsuya OishiThis book shows how neural networks are applied to computational mechanics. Part I presents the fundamentals of neural networks and other machine learning method in computational mechanics. Part II highlights the applications of neural networks to a variety of problems of computational mechanics. The final chapter gives perspectives to the applications of the deep learning to computational mechanics.
Computational Medicine in Data Mining and Modeling
by Veljko Milutinović Goran Rakocevic Tijana Djukic Nenad FilipovicThis book presents an overview of a variety of contemporary statistical, mathematical and computer science techniques which are used to further the knowledge in the medical domain. The authors focus on applying data mining to the medical domain, including mining the sets of clinical data typically found in patient's medical records, image mining, medical mining, data mining and machine learning applied to generic genomic data and more. This work also introduces modeling behavior of cancer cells, multi-scale computational models and simulations of blood flow through vessels by using patient-specific models. The authors cover different imaging techniques used to generate patient-specific models. This is used in computational fluid dynamics software to analyze fluid flow. Case studies are provided at the end of each chapter. Professionals and researchers with quantitative backgrounds will find Computational Medicine in Data Mining and Modeling useful as a reference. Advanced-level students studying computer science, mathematics, statistics and biomedicine will also find this book valuable as a reference or secondary text book.
Computational Methods and Clinical Applications for Spine Imaging: 5th International Workshop and Challenge, CSI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11397)
by Guoyan Zheng Shuo Li Daniel Belavy Yunliang CaiThis book constitutes the refereed proceedings of the 5th International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018. The 8 full papers presented together with 8 short papers and 1 keynote were carefully reviewed and selected for inclusion in this volume. Papers on novel methodology and clinical research, and also papers which demonstrate the performance of methods on the provided challenges, the aim is to cover both theoretical and very practical aspects of computerized spinal imaging.
Computational Methods and Clinical Applications for Spine Imaging: 6th International Workshop and Challenge, CSI 2019, Shenzhen, China, October 17, 2019, Proceedings (Lecture Notes in Computer Science #11963)
by Guoyan Zheng Shuo Li Yunliang Cai Liansheng Wang Michel AudetteThis book constitutes the proceedings of the 7th International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2019, which was held in conjunction with MICCAI on October 17, 2019, in Shenzhen, China. All submissions were accepted for publication; the book contains 5 peer-reviewed regular papers, covering topics of vertrebra detection, spine segmentation and image-based diagnosis, and 9 challenge papers, investigating (semi-)automatic spinal curvature estimation algorithms and providing a standard evaluation framework with a set of x-ray images.
Computational Methods and Clinical Applications in Musculoskeletal Imaging: 5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10734)
by Tomaž Vrtovec Jianhua Yao Ben Glocker Alejandro Frangi Guoyan ZhengThis book constitutes the refereed proceedings of the 5th International Workshop and Challenge on Computational Methods and Clinical Applications for Musculoskeletal Imaging, MSKI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 13 workshop papers were carefully reviewed and selected for inclusion in this volume. Topics of interest include all major aspects of musculoskeletal imaging, for example: clinical applications of musculoskeletal computational imaging; computer-aided detection and diagnosis of conditions of the bones, muscles and joints; image-guided musculoskeletal surgery and interventions; image-based assessment and monitoring of surgical and pharmacological treatment; segmentation, registration, detection, localization and visualization of the musculoskeletal anatomy; statistical and geometrical modeling of the musculoskeletal shape and appearance; image-based microstructural characterization of musculoskeletal tissue; novel techniques for musculoskeletal imaging.