الصفحة 15
الصفحة 15
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 XII ; 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007. The papers cover a range of ideas from underlying theoretical tools to industrial uses of surfaces.
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 of Program Construction ; 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Mathematics of Program Construction ; 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held at Kuressaare, Estonia, July 3-5, 2006, colocated with the 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006, July 5-8, 2006. TheMPCconferencesaimtopromotethedevelopmentofmathematicalpr- ciples and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.
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.
IPv6 in Practice: A Unixer's Guide to the Next Generation Internet
This book is a practical guide to IPv6 addressing Unix and network administrators with experience in TCP/IP(v4) but not necessarily any IPv6 knowledge. It focuses on reliable and efficient operation of IPv6 implementations available today rather than on protocol specifications. Consequently, it covers the essential concepts - using instructive and thoroughly tested examples - on how to configure, to administrate, and to debug IPv6 setups.
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 operations and management ; 7th IEEE International workshop, IPOM 2007 San José, USA, October 31 - November 2, 2007 Proceedings
This book constitutes the refereed proceedings of the 7th IEEE International Workshop on IP Operations and Management, IPOM 2007, held in the course of the 3rd International Week on Management of Networks and Services, Manweek 2007.
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.
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.
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets ; International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 2004 International Workshop on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, held in Dagstuhl Castle, Germany in March 2004. The 17 revised full papers presented together with an introductory overview have gone through two rounds of reviewing and revision. The papers are organized in topical sections on man-machine interface for intuitive knowledge access, intelligent pad and meme media, visualization and design of information access spaces, and semantics and narrative organization and access of knowledge.
Intrusion Detection Systems
Sٍheds new light on defense alert systems against computer and network intrusions. It also covers integrating intrusion alerts within security policy framework for intrusion response, related case studies and much more. This volume is presented in an easy-to-follow style while including a rigorous treatment of the issues, solutions, and technologies tied to the field.
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.
Introduction to Video Search Engines
Their book has a practical emphasis with the goal of bringing readers up to date on the state of the art in multimedia search technologies and systems. It explains the overall process of video content acquisition, indexing and retrieval with browsing, it provides overviews of constituent technologies such as information retrieval, Internet video systems, video and multimedia processing to extract index data, and it gives examples of research prototypes and existing commercial systems and describes their features.
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.
