Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 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."

"This book constitutes the refereed proceedings of the International Workshop MUSCLE 2011 on Computational Intelligence for Multimedia Understanding, organized by the ERCIM working group in Pisa, Italy on December 2011. The 18 revised full papers were carefully reviewed and selected from over numerous submissions. The papers cover the following topics: multisensor systems, multimodal analysis, crossmodel data analysis and clustering, mixed-reality applications, activity and object detection and recognition, text and speech recognition, multimedia labelling, semantic annotation, and metadata, multimodal indexing and searching in very large data-bases; and case studies."

"The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies."

"The book reports on advanced topics in the areas of neurorehabilitation research and practice. It focuses on new methods for interfacing the human nervous system with electronic and mechatronic systems to restore or compensate impaired neural functions. Importantly, the book merges different perspectives, such as the clinical, neurophysiological, and bioengineering ones, to promote, feed and encourage collaborations between clinicians, neuroscientists and engineers. Based on the 2018 International Conference on Neurorehabilitation (ICNR 2018) held on October 16-20, 2018, in Pisa, Italy,, this book covers various aspects of neurorehabilitation research and practice, including new insights into biomechanics, brain physiology, neuroplasticity, and brain damages and diseases, as well as innovative methods and technologies for studying and/or recovering brain function, from data mining to interface technologies and neuroprosthetics. In this way, it offers a concise, yet comprehensive reference guide to neurosurgeons, rehabilitation physicians, neurologists, and bioengineers. Moreover, by highlighting current challenges in understanding brain diseases as well as in the available technologies and their implementation, the book is also expected to foster new collaborations between the different groups, thus stimulating new ideas and research directions."

"This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial"

"This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics, program abstraction and logics, data structures and synthesis, security, (non) termination and automata, program verification, theorem prover development, reasoning about program execution, and prover infrastructure and modeling styles."

"This book constitutes the refereed proceedings of the 5th International Conference on Hybrid Learning, ICHL 2012, held in Guangzhou, China, in August 2012. The 32 contributions presented in this volume were carefully reviewed and selected from numerous submissions. In addition two keynote talks are included in this book. The topics covered are computer supported collaborative learning, experiences in hybrid learning, electronic learning, pedagogical and psychological issues, hybrid learning systems, and organizational frameworks for hybrid learning."

"This book constitutes the refereed proceedings of the 13 International Conference on Product-Focused Software Process Improvement, PROFES 2012, held in Madrid, Spain, in June 2012. The 21 revised full papers presented together with 3 short papers and 4 workshop and tutorial papers were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on process focused software process improvement, open-source agile and lean practices, product and process measurements and estimation, distributed and global software development, quality assessment, and empirical studies."