Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy, in August 2012. The 19 revised selected papers presented were carefully reviewed and selected for inclusion in this book. In addition 4 papers of the workshop on bio and immune inspired algorithms and models for multi-level complex systems are included in this volume. Artificial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology, biology, medical science, computer science, physics, mathematics and engineering. The scope of AIS ranges from modelling and simulation of the immune system through to immune-inspired algorithms and in silico, in vitro and in vivo solutions."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 5 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP; multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 6 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP, multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."

"This book constitutes the thoroughly refereed proceedings of the 9th Theory of Cryptography Conference, TCC 2012, held in Taormina, Sicily, Italy, in March 2012. The 36 revised full papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on secure computation, (blind) signatures and threshold encryption, zero-knowledge and security models, leakage-resilience, hash functions, differential privacy, pseudorandomness, dedicated encryption, security amplification, and resettable and parallel zero knowledge."

"This book constitutes the proceedings of the 7th Hellenic Conference on Artificial Intelligence, SETN 2012, held in Lamia, Greece, in May 2012. The 47 contributions included in this volume were carefully reviewed and selected from 81 submissions. They deal with emergent topics of artificial intelligence and come from the SETN main conference as well as from the following special sessions on advancing translational biological research through the incorporation of artificial intelligence methodologies, artificial intelligence in bioinformatics, intelligent annotation of digital content, intelligent, affective, and natural interfaces, and unified multimedia knowledge representation and processing."

"This book gathers peer-reviewed papers presented at the 18th International Conference on Geometry and Graphics (ICGG), held in Milan, Italy, on August 3-7, 2018. The spectrum of papers ranges from theoretical research to applications, including education, in several fields of science, technology and the arts. The ICGG 2018 mainly focused on the following topics and subtopics: Theoretical Graphics and Geometry (Geometry of Curves and Surfaces, Kinematic and Descriptive Geometry, Computer Aided Geometric Design), Applied Geometry and Graphics (Modeling of Objects, Phenomena and Processes, Applications of Geometry in Engineering, Art and Architecture, Computer Animation and Games, Graphic Simulation in Urban and Territorial Studies), Engineering Computer Graphics (Computer Aided Design and Drafting, Computational Geometry, Geometric and Solid Modeling, Image Synthesis, Pattern Recognition, Digital Image Processing) and Graphics Education (Education Technology Research, Multimedia Educational Software Development, E-learning, Virtual Reality, Educational Systems, Educational Software Development Tools, MOOCs). Given its breadth of coverage, the book introduces engineers, architects and designers interested in computer applications, graphics and geometry to the latest advances in the field, with a particular focus on science, the arts and mathematics education."

"This book constitutes the refereed proceedings of the third International Joint Conference an Ambient Intelligence, AmI 2012, held in Pisa, Italy, in November 2012. The 18 revised full papers and 5 short papers presented were carefully reviewed and selected from 47 (full papers) respectively 14 (short papers) submissions. From a scientific point of view, the papers make a multidisciplinary approach covering fields like computer science, human computer interaction, electrical engineering, industrial design, behavioral sciences, aimed at enriching physical environments with a network of distributed devices, such as sensors, actuators, and computational resources, in order to support users in their everyday activities. "

"This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together with 13 short papers, 6 poster papers and 3 keynotes were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on understandability and cognitive approaches, conceptual modeling for datawarehousing and business intelligence, extraction, discovery and clustering, search and documents; data and process modeling, ontology based approaches, variability and evolution; adaptation, preferences and query refinement, queries, matching and topic search, and conceptual modeling in action."

"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."

"This book constitutes the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. The 17 papers presented were carefully reviewed and selected from 31 submissions during two rounds of reviewing and improvement. The papers present novel technical concepts, clinical needs and applications as well as hardware, software and systems and their validation. The main technological focus is on patient-specific modeling and its use in interventions, image-guided and robotic surgery, real-time tracking and imaging."