الصفحة 7
الصفحة 7
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 ; 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based on rigorous peer reviews. The first volume includes 127 papers related to medical image computing, segmentation, shape and statistics analysis, modeling, motion tracking and compensation, as well as registration. The second volume contains 131 contributions related to robotics and interventions, statistical analysis, segmentation, intervention, modeling, and registration.
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 ; 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based on rigorous peer reviews. The first volume includes 127 papers related to medical image computing, segmentation, shape and statistics analysis, modeling, motion tracking and compensation, as well as registration. The second volume contains 131 contributions related to robotics and interventions, statistical analysis, segmentation, intervention, modeling, and registration.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007; 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II
The 10th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI2007, washeldattheBrisbaneConventionandExhibition Centre, South Bank, Brisbane, Australia from 29th October to 2nd November 2007. MICCAI has become a premier international conference in this domain, with in-depth papers on the multidisciplinary ?elds of biomedical image computing, computer assisted intervention and medical robotics.
Medical image computing and computer-assisted intervention – MICCAI 2007 ; 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I
This title is part of a two-volume set that constitute the refereed proceedings of the 10th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2007.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 ; Vol. 4191; 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II
T MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of Medical Image Analysis and IEEE Transactions on Medical Imaging papers cite previous MICCAIs including the ?rst MICCAI conference in Cambridge, Massachusetts, 1998. It is obvious that the community requires the MICCAI papers as archive material. Therefore the proceedingsofMICCAIarefrom2005andhenceforthbeing indexedbyMedline. Acarefulreviewandselectionprocesswasexecutedinordertosecurethebest possible program for the MICCAI 2006 conference. We received 578 scienti?c papers from which 39 papers were selected for the oral program and 193 papers for the poster program.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 ; Vol. 4190 ; 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I
MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of Medical Image Analysis and IEEE Transactions on Medical Imaging papers cite previous MICCAIs including the ?rst MICCAI conference in Cambridge, Massachusetts, 1998. It is obvious that the community requires the MICCAI papers as archive material. Therefore the proceedingsofMICCAIarefrom2005andhenceforthbeing indexedbyMedline. Acarefulreviewandselectionprocesswasexecutedinordertosecurethebest possible program for the MICCAI 2006 conference. We received 578 scienti?c papers from which 39 papers were selected for the oral program and 193 papers for the poster program.
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape I -- Structural and Functional Brain Analysis -- Model-Based Image Analysis -- Image-Guided Intervention: Simulation, Modeling and Display -- Simulation and Modeling II -- Medical Image Computing -- Shape II -- Image Segmentation and Analysis II -- Image Registration III --
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. A morphological representation of the anatomy of interest is first obtained using highdimensional template warping, from which regions that display strong correlations between morphological measurements and the classification (clinical) variable are extracted using a watershed segmentation, taking into account the regional smoothness of the correlation map which is estimated by a crossvalidation strategy in order to achieve robustness to outliers. A Support Vector Machine-Recursive Feature Elimination (SVM-RFE) technique is then used to rank computed features from the extracted regions, according to their effect on the leave-one-out error bound. Finally, SVM classification is applied using the best set of features, and it is tested using leave-one-out. The results from a group of 61 brain images of female normal controls and schizophrenia patients demonstrate not only high classification accuracy (91.8%) and steep ROC curves, but also exceptional stability with respect to the number of selected features and the SVM kernel size
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Mechanisms, Symbols, and Models Underlying Cognition ; 1st International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005. This two-volume set contains papers that are related with the conceptual developments in the fields of Neurophysiology and cognitive science, and also to bioinspired programming strategies.
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.
Maturing Usability : Quality in Software, Interaction and Value
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, and how methods and models can be integrated into the development process to produce effective user interfaces. ‘Quality in Interaction’ addresses theoretical frameworks on the nature of interactions; techniques and metrics for evaluation interaction quality; and the transfer of concepts and methods from research to practice. Finally, ‘Quality in Value’ assesses the impact that a system has in the real world, focusing on increasing the value of usability practice for software development and on increasing value for the users.
Mathematics of Surfaces XI ; 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, UK in September 2005. Among the topics addressed are Voronoi diagrams, linear systems, curvatures on meshes, approximate parameterization, condition numbers, pythagorean hodographs, and more.
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications to data mining such as frequent item sets, clustering, decision trees also being discussed. More than 400 exercises are included and they form an integral part of the material. Some of the exercises are in reality supplemental material and their solutions are included. The reader is assumed to have a knowledge of elementary analysis.
Mathematical Morphology : 40 Years On ; Proceedings of the 7th International Symposium on Mathematical Morphology, April 18-20, 2005
Mathematical Morphology is a speciality in Image Processing and Analysis, which considers images as geometrical objects, to be analyzed through their interactions with other geometrical objects. It relies on several branches of mathematics, such as discrete geometry, topology, lattice theory, partial differential equations, integral geometry and geometrical probability. It has produced fast and efficient algorithms for computer analysis of images, and has found applications in bio-medical imaging, materials science, geoscience, remote sensing, quality control, document processing and data analysis. This book contains the 43 papers presented at the 7th International Symposium on Mathematical Morphology, held in Paris on April 18-20, 2005. It gives a lively state of the art of current research topics in this field. It also marks a milestone, the 40 years of uninterrupted development of this ever-expanding domain.
IP operations and management ; 8th IEEE International workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Constitutes the refereed proceedings of the 8th IEEE Workshop on IP Operations and Management, IPOM 2008, held on Samos Island, Greece, on September 22-26, 2008, as part of the 4th International Week on Management of Networks and Services, Manweek 2008. The 12 revised full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on network anomaly detection; traffic engineering, protection, and recovery; network measurements and applications; and network management and security.
Invited Lectures from the 13th International Congress on Mathematical Education
The book presents the Invited Lectures given at 13th International Congress on Mathematical Education (ICME-13). The papers present the work of prominent mathematics educators from all over the globe and give insight into the current discussion in mathematics education. The Invited Lectures cover a wide spectrum of topics, themes and issues and aim to give direction to future research towards educational improvement in the teaching and learning of mathematics education. This book is of particular interest to researchers, teachers and curriculum developers in mathematics education.
Inventive communication and computational technologies ; Proceedings of ICICCT 2020
This book gathers selected papers presented at the 4th International Conference on Inventive Communication and Computational Technologies (ICICCT 2020), held on 28–29 May 2020 at Gnanamani College of Technology, Tamil Nadu, India. The respective contributions highlight recent research efforts and advances in a new paradigm called ISMAC (IoT in Social, Mobile, Analytics and Cloud contexts). The topics covered include the Internet of Things, Social Networks, Mobile Communications, Big Data Analytics, Bio-inspired Computing and Cloud Computing. Given its scope, the book is chiefly intended for academics and practitioners working to resolve practical issues in this area.
Intrusion Detection and Correlation : Challenges and Solutions
Challenges and Solutions presents intrusion detection systems (IDSs) and addresses the problem of managing and correlating the alerts produced. This volume discusses the role of intrusion detection in the realm of network security with comparisons to traditional methods such as firewalls and cryptography. Challenges and Solutions analyzes the challenges in interpreting and combining (i.e., correlating) alerts produced by these systems. In addition, existing academic and commercial systems are classified; their advantage and shortcomings are presented, especially in the case of deployment in large, real-world sites. Challenges and Solutions is designed for a professional audience composed of researchers and practitioners in industry. This book is also suitable for graduate-level students in computer science.
Intrusion and Malware Detection and Vulnerability Assessment 2nd International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings
Represents an increase of approximately 25% compared with the n- ber of submissions last year. All submissions were carefully reviewed by at least three Program Committee members or external experts according to the cri- ria of scienti?c novelty, importance to the ?eld, and technical quality. The ?nal selection took place at a meeting held on March 18, 2005, in Zurich, Switz- land. Fourteen full papers were selected for presentation and publication in the conference proceedings. In addition, three papers were selected for presentation in the industry track of the conference. The program featured both theoretical and practical research results, which were grouped into six sessions. Philip Att?eld from the Northwest Security Institute gave the opening keynote speech. The slides presented by the authors are available on the DIMVA 2005 Web site at http://www.dimva.org/dimva2005 We sincerely thank all those who submitted papers as well as the Program Committee members and the external reviewers for their valuable contributions.
