You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A study of the earliest extensive account of Chinese pulse diagnosis, focusing on a biography of Chunyu Yi.
The ten-volume set LNCS 14220, 14221, 14222, 14223, 14224, 14225, 14226, 14227, 14228, and 14229 constitutes the refereed proceedings of the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, which was held in Vancouver, Canada, in October 2023. The 730 revised full papers presented were carefully reviewed and selected from a total of 2250 submissions. The papers are organized in the following topical sections: Part I: Machine learning with limited supervision and machine learning – transfer learning; Part II: Machine learning – learning strategies; machine learning – explainability, bias, and uncertainty; Part III: Machine learnin...
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal...
The eight-volume set LNCS 13431, 13432, 13433, 13434, 13435, 13436, 13437, and 13438 constitutes the refereed proceedings of the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which was held in Singapore in September 2022. The 574 revised full papers presented were carefully reviewed and selected from 1831 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: Brain development and atlases; DWI and tractography; functional brain networks; neuroimaging; heart and lung imaging; dermatology; Part II: Computational (integrative) pathology; computational anatomy and physiology; op...
The eight-volume set LNCS 12901, 12902, 12903, 12904, 12905, 12906, 12907, and 12908 constitutes the refereed proceedings of the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021, held in Strasbourg, France, in September/October 2021.* The 531 revised full papers presented were carefully reviewed and selected from 1630 submissions in a double-blind review process. The papers are organized in the following topical sections: Part I: image segmentation Part II: machine learning - self-supervised learning; machine learning - semi-supervised learning; and machine learning - weakly supervised learning Part III: machine learning - advances in m...
None
This four-volume set of LNCS 12821, LNCS 12822, LNCS 12823 and LNCS 12824, constitutes the refereed proceedings of the 16th International Conference on Document Analysis and Recognition, ICDAR 2021, held in Lausanne, Switzerland in September 2021. The 182 full papers were carefully reviewed and selected from 340 submissions, and are presented with 13 competition reports. The papers are organized into the following topical sections: document analysis for literature search, document summarization and translation, multimedia document analysis, mobile text recognition, document analysis for social good, indexing and retrieval of documents, physical and logical layout analysis, recognition of tables and formulas, and natural language processing (NLP) for document understanding.
This Proceedings volume gathers outstanding papers submitted to the 19th Asia Pacific Automotive Engineering Conference & 2017 SAE-China Congress, the majority of which are from China – the largest car-maker as well as most dynamic car market in the world. The book covers a wide range of automotive topics, presenting the latest technical advances and approaches to help technicians solve the practical problems that most affect their daily work.
This book focuses on Chinese cases on the CISG decided by Chinese courts of all levels, mainly from 1990 to 2005. During this period, the number of cases grew gradually. The total number of cases remained low, the reasons of which might be the following: parties were not familiar with the CISG hence decided to opt out of it; the case collection and report systems in China at that time were not as developed as now rendering many cases inaccessible. This book deals with the cases in the early days of the development of the CISG in China. These cases reflect how People’s Court of all levels started to deal with various issues arising from the CISG and will help understand whether and how the People’s Courts change their approaches to the interpretation and application of the CISG in the future.