الصفحة 23
الصفحة 23
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Augmented reality, virtual reality, and computer graphics ; 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
Augmented reality, virtual reality, and computer graphics ; 7th International conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I
he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
ASP.NET MVC Framework Preview
The ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity programming model, promotes cleaner code architecture, supports test–driven development, and provides powerful extensibility, combined with all the benefits of ASP.NET 3.5. ASP.NET MVC Framework Preview is a first look at this technology's main features, designed to give you a head start getting to grips with this powerful new technology.
Artificial neural networks in Pattern Recognition ; 9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2–4, 2020, Proceedings
This book constitutes the refereed proceedings of the 9th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2020, held in Winterthur, Switzerland, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 22 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers present and discuss the latest research in all areas of neural network-and machine learning-based pattern recognition. They are organized in two sections: learning algorithms and architectures, and applications.
Artificial neural networks in Pattern Recognition ; 2nd IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
This book constitutes the refereed proceedings of the Second IAPR Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2006, held in Ulm, Germany in August/September 2006. The 26 revised papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on unsupervised learning, semi-supervised learning, supervised learning, support vector learning, multiple classifier systems, visual object recognition, and data mining in bioinformatics
Artificial neural networks : Biological Inspirations – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial Neural Networks, ICANN 2005, held in Warsaw, Poland in September 2005. The over 600 papers submitted to ICANN 2005 were thoroughly reviewed and carefully selected for presentation. The first volume includes 106 contributions related to Biological Inspirations; topics addressed are modeling the brain and cognitive functions, development of cognitive powers in embodied systems spiking neural networks, associative memory models, models of biological functions, projects in the area of neuroIT, evolutionary and other biological inspirations, self-organizing maps and their applications, computer vision, face recognition and detection, sound and speech recognition, bioinformatics, biomedical applications, and information- theoretic concepts in biomedical data analysis.
Artificial life models in software
Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual and living forms, written by those who personally design and produce software, hardware and art installations in artificial life, simulated complex systems and virtual worlds. This timely volume offers a nearly exhaustive overview and original analysis of major non-profit artificial life software packages. The carefully selected topics include: · simulation of real and imaginary life forms and their evolution · self-organization · emergent behaviours · swarm intelligence · evolutionary robotics · agent-based simulations · adaptive, complex and biologically inspired ecosystems · creative computer art There has long been a need within the academic and research community for an informal introduction and guidance to modern software tools for modelling and simulation of life-like phenomena – Artificial Life Models in Software fills this gap and provides invaluable information to both professional and amateur readers, offering detailed reviews of contemporary software for artificial life.
Artificial intelligence in medicine ; 10th conference on artificial intelligence in medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 10th Conference on Artificial Intelligence in Medicine in Europe, AIME 2005, held in Aberdeen, UK in July 2005. The 35 revised full papers and 34 revised short papers presented together with 2 invited contributions were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on temporal representation and reasoning, decision support systems, clinical guidelines and protocols, ontology and terminology, case-based reasoning, signal interpretation, visual mining, computer vision and imaging, knowledge management, machine learning, knowledge discovery, and data mining.
Artificial intelligence in medicine
Provides a structured and analytical guide to the use of artificial intelligence in medicine. Covering all areas within medicine, the chapters give a systemic review of the history, scientific foundations, present advances, potential trends, and future challenges of artificial intelligence within a healthcare setting.
Artificial intelligence in image-based screening, diagnostics, and clinical care of cardiopulmonary diseases
In this Special Issue, “Artificial Intelligence in Image-Based Screening, Diagnostics, and Clinical Care of Cardiopulmonary Diseases”, we have highlighted exemplary primary research studies and literature reviews focusing on novel AI/ML methods and their application in image-based screening, diagnosis, and clinical management of cardiopulmonary diseases.
Artificial intelligence in education ; 21st International conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part II
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial Intelligence in Education, AIED 2020, held in Ifrane, Morocco, in July 2020.* The 49 full papers presented together with 66 short, 4 industry & innovation, 4 doctoral consortium, and 4 workshop papers were carefully reviewed and selected from 214 submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics as well as many domain-specific areas.
Artificial intelligence in education ; 21st International conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial Intelligence in Education, AIED 2020, held in Ifrane, Morocco, in July 2020.* The 49 full papers presented together with 66 short, 4 industry & innovation, 4 doctoral consortium, and 4 workshop papers were carefully reviewed and selected from 214 submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics as well as many domain-specific areas.
Artificial intelligence applications and innovations ; 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part I
This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020, held in Neos Marmaras, Greece, in June 2020.* The 70 full papers and 5 short papers presented were carefully reviewed and selected from 149 submissions. They cover a broad range of topics related to technical, legal, and ethical aspects of artificial intelligence systems and their applications
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Artificial intelligence and soft computing ; 19th International conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
Artificial intelligence and soft computing ; 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II
This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part I
This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.
