Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way."

"The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications."

"The aim of computer-aided surgery (CAS) is to advance the utilization of computers in the development of new technologies for medical services. The Asian Conference on Computer Aided Surgery (ACCAS) series provides a forum for academic researchers, clinical scientists, surgeons, and industrial partners to exchange new ideas, techniques, and the latest developments in the field. The ACCAS brings together researchers from all fields related to medical activity visualization, simulation and modeling, virtual reality for CAS, image-guided diagnosis and therapies, CAS for minimally invasive intervention, medical robotics and instrumentation, surgical navigation, clinical application of CAS, telemedicine and telesurgery, and CAS education. The ACCAS is also interested in promoting collaboration among people from different disciplines and different countries in Asia and the world. "

"This book constitutes the refereed proceedings of the 4th International Conference on Progress in Cultural Heritage Preservation, EuroMed 2012, held in Lemesos, Cyprus, in October/November 2012. The 95 revised full papers were carefully reviewed and selected from 392 submissions. The papers are organized in topical sections on digital data acquisition technologies and data processing in cultural heritage, 2D and 3D data capture methodologies and data processing in cultural heritage, 2D and 3D GIS in cultural heritage, virtual reality in archaeology and historical research, standards, metadata, ontologies and semantic processing in cultural heritage, data management, archiving and presentation of cultural heritage content, ICT assistance in monitoring and restoration, innovative topics related to the current and future implementation, use, development and exploitation of the EU CH identity card, innovative technologies to asses, monitor and adapt to climate change, digital data acquisition technologies and data processing in cultural heritage, 2D and 3D data capture methodologies and data processing in cultural heritage, on-site and remotely sensed data collection, reproduction techniques and rapid prototyping in cultural heritage, 2D and 3D GIS in cultural heritage, innovative graphics applications and techniques, libraries and archives in cultural heritage, tools for education, documentation and training in CH, standards, metadata, ontologies and semantic processing in cultural heritage, damage assessment, diagnoses and monitoring for the preventive conservation and maintenance of CH, information management systems in CH, European research networks in the field of CH, non-destructive diagnosis technologies for the safe conversation and traceability of cultural assets."

"This book represents the Proceedings of the 37th European Marine Biology Symposium, held in Reykjavík, Iceland, 5-9 August 2002. The main themes of the symposium were Migrations and Dispersal of Marine Organisms. These themes are highly relevant today. There is widespread man-aided dispersal (e.g. by ballast water) of marine plants and animals, which may have substantial effects on the regions receiving new species. The new introductions may result in reduced diversity of plants and animals and may affect natural resources in the countries receiving toxic algae and other foreign elements. Studies of changes in distribution and dispersal of marine animals and plants are also highly relevant with reference to the changing climate taking place. The study of dispersal has recently gained new impetus with the discovery of the remarkable communities found on isolated hydrothermal vents and cold water seeps in the world's oceans."