الصفحة 12
الصفحة 12
Membrane Computing ; Vol. 3365 ; 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addresses various topics in the area of membrane computing, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics.
Medical imaging systems : An introductory guide
Gives a complete and comprehensive introduction to the fields of medical imaging systems, as designed for a broad range of applications. The authors of the book first explain the foundations of system theory and image processing, before highlighting several modalities in a dedicated chapter. The initial focus is on modalities that are closely related to traditional camera systems such as endoscopy and microscopy. This is followed by more complex image formation processes: magnetic resonance imaging, X-ray projection imaging, computed tomography, X-ray phase-contrast imaging, nuclear imaging, ultrasound, and optical coherence tomography.
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
Medical centers management system
The medical clinics management system (MCMS) is a system that manages a group of clinics distributed within different governorates and regions in Syria, as it manages data entry processes for each patient such as personal information, disease and accompanying symptoms in addition to doctors' information, and clinics through a web application. The system also performs mining algorithms on the current data for discovering new symptoms and diseases by analyzing patient, diseases and symptoms data available within the database, to subsequently notify the admins of the emergence of a new symptom or an increase in a disease in a given area. In addition to generating daily or weekly reports containing the number of visits and cases of recovery and other information.
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.
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible approach, Axler lays the foundations for further study by promoting a deep understanding of key results.
MDATA : A New Knowledge Representation Model: Theory, Methods and Applications
This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis). By modifying the representation of entities and relations in knowledge graphs, dynamic knowledge can be efficiently described with temporal and spatial characteristics. The MDATA model can be regarded as a high-level temporal and spatial knowledge graph model, which has strong capabilities for knowledge representation. This book introduces some key technologies in the MDATA model, such as entity recognition, relation extraction, entity alignment, and knowledge reasoning with spatiotemporal factors. The MDATA model can be applied in many critical applications and this book introduces some typical examples, such as network attack detection, social network analysis, and epidemic assessment.
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.
Mathematics for Computer Graphics
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical techniques required to solve problems and design computer programs for computer graphic applications. Each chapter explores a specific mathematical topic and takes you forward into more advanced areas until you are able to understand 3D curves and surface patches, and solve problems using vectors.
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 Software - ICMS 2006 ; 2nd International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. This congress was devoted to all aspects of mathematical software, whose appearance is — in our opinion — one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology.
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.
IP Networking over Next-Generation Satellite Systems ; International Workshop, Budapest, July 2007
Highlights the very latest research output of several EU satellite-related projects and addresses many unresolved issues in next-generation satellite systems, such as efficient deployment of IPv6 over satellites, working with WLAN and WiMax, QoS provisioning over multi-segment networks (including satellite networks), multicast networks and security.
IoT-enabled Smart Healthcare Systems, Services and Applications
In IoT-Enabled Smart Healthcare Systems, Services and Applications, an accomplished team of researchers delivers an insightful and comprehensive exploration of the roles played by cutting-edge technologies in modern healthcare delivery. The distinguished editors have included resources from a diverse array of learned experts in the field that combine to create a broad examination of a rapidly developing field.
IoT and AI Technologies for Sustainable Living : A Practical Handbook
Brings together all the latest methodologies, tools and techniques related to the Internet of Things and Artificial Intelligence in a single volume to build insight into their use in sustainable living. The areas of application include agriculture, smart farming, healthcare, bioinformatics, self-diagnosis systems, body sensor networks, multimedia mining, and multimedia in forensics and security. Provides a comprehensive discussion of modeling and implementation in water resource optimization, recognizing pest patterns, traffic scheduling, web mining, cyber security and cyber forensics. It will help develop an understanding of the need for AI and IoT to have a sustainable era of human living. The tools covered include genetic algorithms, cloud computing, water resource management, web mining, machine learning, block chaining, learning algorithms, sentimental analysis and Natural Language Processing (NLP).
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.
Introduction to the Tools of Scientific Computing
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike widely used standard approaches, it does not focus on any particular language but aims to explain the key underlying concepts. In general, new concepts are first introduced in the particularly user-friendly Python language and then transferred and expanded in various scientific programming environments from C / C ++, Julia and MATLAB to Maple. This includes different approaches to distributed computing.
