تحسين النتائح
ترتيب حسب
من
الى
الصفحة 9
الصفحة 9
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Case-Based Approximate Reasoning
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology in the field of artificial intelligence. The key idea of CBR is to tackle new problems by referring to similar problems that have already been solved in the past. More precisely, CBR proceeds from individual experiences in the form of cases. The generalization beyond these experiences typically relies on a kind of regularity assumption demanding that 'similar problems have similar solutions'. Making use of different frameworks of approximate reasoning and reasoning under uncertainty, notably probabilistic and fuzzy set-based techniques, this book develops formal models of the above inference principle, which is fundamental to CBR. The case-based approximate reasoning methods thus obtained especially emphasize the heuristic nature of case-based inference and aspects of uncertainty in CBR. This way, the book contributes to a solid foundation of CBR which is grounded on formal concepts and techniques from the aforementioned fields. Besides, it establishes interesting relationships between CBR and approximate reasoning, which not only cast new light on existing methods but also enhance the development of novel approaches and hybrid systems.
Canadian Semantic Web
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range of topics includes languages, tools and methodologies for the semantic Web, semantic Web-based ontology management and engineering, semantic Web services, practical applications of the semantic Web techniques, artificial intelligence methods and tools for the semantic Web, software agents on the semantic Web, visualization and modeling of the semantic Web. The goal of this book is to provide a state-of-the-art review of the research as well as to introduce topics of interest to experts.
Boundary value problems, Weyl Functions, and differential operators
This book presents a comprehensive survey of modern operator techniques for boundary value problems and spectral theory, employing abstract boundary mappings and Weyl functions.
Boundary Representation Modelling Techniques
Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series of developments on which currently available systems are based, full details of which are only partially known. Ian Stroud’s thorough coverage of these developments puts this technology in perspective. Ian Stroud started working with boundary representation solid modelling in 1977. Since then he has researched and is researching a wide variety of topics in and around this field. The information in the book comes from the results of this research.
Botnet Detection : Countering the Largest Security Threat
Botnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based on the June 2006 ARO workshop on Botnets. This edited volume represents the state-of-the-art in research on Botnets. It provides botnet detection techniques and response strategies, as well as the latest results from leading academic, industry and government researchers.
Biomimetic neural learning for intelligent robots : Intelligent systems, cognitive robotics, and neuroscience
This book presents research performed as part of the EU project on biomimeticmultimodal learning in a mirror neuron-based robot (MirrorBot) and contribu-tions presented at the International AI-Workshop on NeuroBotics. The over-all aim of the book is to present a broad spectrum of current research intobiomimetic neural learning for intelligent autonomous robots. In this book we show the development of newtechniques using cell assemblies, associative neural networks, and Hebbian-typelearning in order to associate vision, language and motor concepts. We havedeveloped biomimetic multimodal learning and language instruction in a robotto investigate the task of searching for objects. As well as the research performedin this area for the MirrorBot project, the second part of this book incorporatessignificant contributions from other research in the field of biomimetic robotics.This second part of the book concentrates on the progress made in neuroscienceinspired robotic learning approaches (in short: NeuroBotics). We hope that this book stimulates and encourages new research in this in-teresting and dynamic area.
Biometric User Authentication for IT Security : From Fundamentals to Handwriting
Biometric User Authentication for IT Security: From Fundamentals to Handwriting conveys general principals of passive (physiological trait like fingerprint, iris, face) and active (learned and trained behavior like voice, handwriting and gait) biometric recognition techniques to the reader. This professional book, unlike other publications in this area which concentrate on passive schemes, reflects a more comprehensive analysis of one particular active biometric technique: handwriting. Aspects which are thoroughly discussed include sensor characteristic dependency, attack scenarios, and the generation of cryptographic keys from handwriting.
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Bioinformatics technologies
Solving modern biological problems requires advanced computational methods. Bioinformatics evolved from the active interaction of two fast-developing disciplines, biology and information technology. The central issue of this emerging field is the transformation of often distributed and unstructured biological data into meaningful information. This book describes the application of well-established concepts and techniques from areas like data mining, machine learning, database technologies, and visualization techniques to problems like protein data analysis, genome analysis and sequence databases. Chen has collected contributions from leading researchers in each area. The chapters can be read independently, as each offers a complete overview of its specific area, or, combined, this monograph is a comprehensive treatment that will appeal to students, researchers, and R&D professionals in industry who need a state-of-the-art introduction into this challenging and exciting young field.
Bioinformatics
In this textbook present mathematical models in bioinformatics and they describe the biological problems that inspire the computer science tools used to handle the enormous data sets involved. The first part of the book covers the mathematical and computational methods, while the practical applications are presented in the second part. The mathematical presentation is descriptive and avoids unnecessary formalism, and yet remains clear and precise. Emphasis is laid on motivation through biological problems and cross applications. Each of the four chapters in the first part is accompanied by exercises and problems to support an understanding of the techniques presented. Each of the six chapters of the second part is devoted to some specific application domain: sequence alignment, molecular phylogenetics and coalescence theory, genomics, proteomics, RNA, and DNA microarrays. Each chapter concludes with a problems and projects section, to deepen the reader's understanding and to allow for the design of derived methods. Many of the projects involve publicly available software and/or Web-based bioinformatics depositories. Finally, the book closes with a thorough bibliography, reaching from classic research results to very recent findings, providing many pointers for future research.Overall, this volume is ideally suited for a senior undergraduate or graduate course on bioinformatics, with a strong focus on its mathematical and computer science background.
Big data-enabled internet of things
Covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures and platforms to security and privacy issues, applications, and challenges as well as future directions. The fields of Big Data and the Internet of Things (IoT) have seen tremendous advances, developments, and growth in recent years. The IoT is the inter-networking of connected smart devices, buildings, vehicles and other items which are embedded with electronics, software, sensors and actuators, and network connectivity that enable these objects to collect and exchange data. The IoT produces a lot of data. Big data describes very large and complex data sets that traditional data processing application software is inadequate to deal with, and the use of analytical methods to extract value from data. This edited book covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures and platforms to security and privacy issues, applications, and challenges as well as future directions.
Big Data Recommender Systems ; Vol.2 : Application Paradigms
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts and methodologies for complex applications. It includes original scientific contributions in the form of theoretical foundations, comparative analysis, surveys, case studies, techniques and tools. First designed to generate personalized recommendations to users in the 90s, recommender systems apply knowledge discovery techniques to users’ data to suggest information, products, and services that best match their preferences. In recent decades, we have seen an exponential increase in the volumes of data, which has introduced many new challenges. recommender systems. Volume 2 covers a broad range of application paradigms for recommender systems over 22 chapters
Big Data Recommender Systems ; Vol.1 : Algorithms, Architectures, Big Data, Security and Trust
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts and methodologies for complex applications. It includes original scientific contributions in the form of theoretical foundations, comparative analysis, surveys, case studies, techniques and tools.
Bézier and Splines in image processing and machine vision
Digital image processing and machine vision have grown considerably during the last few decades. Of the various techniques, developed so far splines play a positive and significant role in many of them. This book deals with various image processing and machine vision problems efficiently with splines.
Benefit/Cost-Driven Software Development : With Benefit Points and Size Points
This book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also offers methods for monitoring how much of that estimated benefit is being achieved during projects. Readers can then use these benefit estimates together with cost estimates to create a benefit/cost index to help them decide which functionalities to send into construction and in what order. This allows them to focus on constructing the functionality that offers the best value for money at an early stage.
Beginning XSLT 2.0 : From novice to professional
This followup to Jeni Tennison's Beginning XSLT has been updated to accomodate the revised XSLT standard. Part one of this book introduces XML and XSLT at a comfortable pace, and gradually demonstrates techniques for generating HTML (plus other formats), from XML. In part two, Tennison applies theory to real-life XSLT capabilities—including generating graphics. Each chapter includes step-by-step examples (with code available online), plus review questions at the end, to help you grasp the discussed features. In fact, all of the examples and exercises revolve around an interesting common theme: making TV listings available online. This book lives up to its name, and will definitely take you from a novice to a professional, in no time!
Beginning VB 2008 Databases : From novice to professional
Beginning VB 2008 Databases teaches you everything you need to know about relational databases, SQL, and ADO.NET 2.0, giving you a sound start in developing console and Windows database applications. The book also includes chapters on the SQL Server XML data type and the LINQ enhancements to the next version of Visual Basic. In addition to teaching you database basics like using SQL to communicate with databases, this book provides you with detailed, code-practical techniques to access data in Visual Basic 2008 across a range of coding situations. Code-heavy and full of practical detail, this book has been fully revised and upgraded for .NET 3.5 and offers you the best contemporary practice in this core programming area, so that you'll find yourself using it in nearly all your .NET projects.
Beginning Object-Oriented Programming with VB 2005 : From novice to professional
Beginning Object-Oriented Programming with VB 2005 is a comprehensive resource of correct coding procedures. Author Daniel Clark takes you through all the stages of a programming project, including analysis, modeling, and development, all using object-oriented programming techniques and Visual Basic .NET. Clark explores the structure of classes and their hierarchies, as well as inheritance and interfaces. He also introduces the .NET Framework and the Visual Studio integrated development environment, or IDE. A real-world case study walks you through the design of a solution. You can then transform the design into a functional VB .NET application. The application includes a graphical user interface (GUI), a business logic class library, and integration with a back-end database. Throughout the book, you'll explore the fundamentals of software design, object-oriented programming, Visual Basic .NET 2.0, and the Unified Modeling Language (UML).
Beginning IntelliJ IDEA : Integrated development environment for Java programming
Shows you how to leverage IntelliJ’s tools to develop clean, efficient Java applications. The last portion of the book focuses on application testing and deployment, and language- and framework- specific guidelines. After reading this book and working through its freely available source code, you'll be up to speed with this powerful IDE for today's Java development. You will: Use IntelliJ IDEA to build Java applications / Set up your IDE and project / Work with source code / Extend your Java application to data science and other kinds of applications / Test and deploy your application and much more
