Page 22
Page 22
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
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.
Atomic Force Microscopy, Scanning Nearfield Optical Microscopy and Nanoscratching : Application to Rough and Natural Surfaces
Making a clear distinction is made between nano- and micro-mechanical testing for physical reasons, this monograph describes the basics and applications of the supermicroscopies AFM and SNOM, and of the nanomechanical testing on rough and technical natural surfaces in the submicron range down to a lateral resolution of a few nm. New or improved instrumentation, new physical laws and unforeseen new applications in all branches of natural sciences (around physics, chemistry, mineralogy, materials science, biology and medicine) and nanotechnology are covered as well as the sources for pitfalls and errors.
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 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 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.
