guo qiang zhang (22 Ergebnisse)

Zustand: New. In.

Zustand: New. 209 pp., Hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement.As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for ontological engineering and practice, particularly in uncovering unexpected'bugs' and content materials.The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic completeness. The book then turns to formal concept analysis, a classical approach used in the mathematical treatment of orders and lattices, as an ontological engineering principle, focusing on the structural property of ontologies with respect to its conformation to lattice or not (non-lattice). The book helpfully covers the development of more efficient algorithms for non-latticedetection and extraction required by exhaustive lattice/non-lattice analysis. The book goes on to highlight the power and utility of uncovering non-lattice structure for debugging ontologies and describes methods that leverage the linguistic information in concept names (labels) for ontological analysis. It also addresses visualization and performance evaluation issues before closing with an overview and forward-looking perspectives on the field.This book is intended for graduate students and researchers interested in biomedical ontologies and their applications. It can be a useful supplement for courses on knowledge representation and engineering and also provide readers with a reference for related scientific publications and literature to assist in identifying potential research topics. All mathematical concepts and notations used in this book can be found in standard discrete mathematics textbooks, and the appendix at the end of the book provides a list of key ontological resources, as well as annotated non-lattice and lattice examples that were discovered using the authors' methods, demonstrating how 'bugs are fixed' by converting non-lattices to lattices with minimal edit changes.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: Brand New. 259 pages. 9.45x6.61x0.59 inches. In Stock.

Zustand: New. In.

Zustand: New. In.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified biomedical knowledge in the most active and impactful areas where ontologies have a direct real-world impact. The book first introduces simple, yet formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic completeness. The authors then discuss formal concept analysis as an ontological engineering principle. The book goes on to highlight the power and utility of uncovering non-lattice structure for debugging ontologies. This Second Edition includes a new chapter that covers recent research on leveraging logical definitions for identifying ontological defects. The authors have also added a new chapter on the perspective of using large language models in the ontological analysis work.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Paperback. Zustand: Brand New. 273 pages. 9.45x6.30x0.66 inches. In Stock.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Zustand: New. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586. . 2001. Hardback. . . . . Books ship from the US and Ireland.

Zustand: New. In.

Gebunden. Zustand: New. Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 Domains are mathematical structures for information and approximation they combine order-theoretic, logical, and topological ideas and provide a natural fram.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

Hardcover. Zustand: Brand New. 1st edition. 208 pages. 9.50x6.25x0.50 inches. In Stock.

Hardcover. Zustand: Brand New. 1st edition. 447 pages. 9.25x6.25x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 197 pages. 9.25x6.10x0.48 inches. In Stock.

Buch. Zustand: Neu. Neuware - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01.

34.0 x 26.0cms 228pp colour illusts fine hardback & dustwrapper (ex-library with stamps This book covers; packages for painting & calligraphy; packages for stationery & treasures; packages for scriptures & implements; packages for daily use & recreation; packages of palace paintings of the Qing dynasty. Scarce title.