- Table View
- List View
Computational Linguistics and Intelligent Text Processing: 16th International Conference, Cicling 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9041)
by Alexander GelbukhThe two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016. The total of 89 papers presented in the two volumes was carefully reviewed and selected from 298 submissions. The book also contains 4 invited papers and a memorial paper on Adam Kilgarriff’s Legacy to Computational Linguistics. The papers are organized in the following topical sections: Part I: In memoriam of Adam Kilgarriff; general formalisms; embeddings, language modeling, and sequence labeling; lexical resources and terminology extraction; morphology and part-of-speech tagging; syntax and chunking; named entity recognition; word sense disambiguation and anaphora resolution; semantics, discourse, and dialog. Part II: machine translation and multilingualism; sentiment analysis, opinion mining, subjectivity, and social media; text classification and categorization; information extraction; and applications.
Computational Linguistics and Intelligent Text Processing: 16th International Conference, Cicling 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9041)
by Alexander GelbukhThe two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016. The total of 89 papers presented in the two volumes was carefully reviewed and selected from 298 submissions. The book also contains 4 invited papers and a memorial paper on Adam Kilgarriff’s Legacy to Computational Linguistics. The papers are organized in the following topical sections: Part I: In memoriam of Adam Kilgarriff; general formalisms; embeddings, language modeling, and sequence labeling; lexical resources and terminology extraction; morphology and part-of-speech tagging; syntax and chunking; named entity recognition; word sense disambiguation and anaphora resolution; semantics, discourse, and dialog. Part II: machine translation and multilingualism; sentiment analysis, opinion mining, subjectivity, and social media; text classification and categorization; information extraction; and applications.
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part I (Lecture Notes in Computer Science #10761)
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: 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: 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #13451)
by Alexander GelbukhThe two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected from 335 submissions. The book also contains 3 invited papers. The papers are organized in the following topical sections: General, Information extraction, Information retrieval, Language modeling, Lexical resources, Machine translation, Morphology, sintax, parsing, Name entity recognition, Semantics and text similarity, Sentiment analysis, Speech processing, Text categorization, 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 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: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings (Lecture Notes in Computer Science #13004)
by Martijn Mes Eduardo Lalla-Ruiz Stefan VoßThis 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 Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings (Lecture Notes in Computer Science #11756)
by Carlos Paternina-Arboleda Stefan VoßThis 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 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 Yoshiyuki Kawazoe Keivan Esfarjani Kaoru OhnoThis 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 Wenjian Qin Nazar Zaki Fa Zhang Jia Wu Fan YangThis 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 Wenjian Qin Nazar Zaki Fa Zhang Jia Wu Fan Yang Chao LiThis 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 Jia Wu Wenjian Qin Chao Li 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.
The Computational Mechanics of Bone Tissue: Biological Behaviour, Remodelling Algorithms and Numerical Applications (Lecture Notes in Computational Vision and Biomechanics #35)
by Jorge Belinha Maria-Cristina Manzanares-Céspedes António M. G. CompletoThis book offers a timely snapshot of computational methods applied to the study of bone tissue. The bone, a living tissue undergoing constant changes, responds to chemical and mechanical stimuli in order to maximize its mechanical performance. Merging perspectives from the biomedical and the engineering science fields, the book offers some insights into the overall behavior of this complex biological tissue. It covers three main areas: biological characterization of bone tissue, bone remodeling algorithms, and numerical simulation of bone tissue and adjacent structures. Written by clinicians and researchers, and including both review chapters and original research, the book offers an overview of the state-of-the-art in computational mechanics of bone tissue, as well as a good balance of biological and engineering methods for bone tissue analysis. An up-to-date resource for mechanical and biomedical engineers seeking new ideas, it also promotes interdisciplinary collaborations to advance research in the field.
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 Daniel Belavy Yunliang Cai Shuo LiThis 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.