Refine Results
Sort By
From
To
Page 14
Page 14
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.
Building a Data Warehouse : With Examples in SQL Server
The book is organized as follows. In the beginning of this book (chapters 1 through 6), you learn how to build a data warehouse, for example, defining the architecture, understanding the methodology, gathering the requirements, designing the data models, and creating the databases. Then in chapters 7 through 10, you learn how to populate the data warehouse, for example, extracting from source systems, loading the data stores, maintaining data quality, and utilizing the metadata. After you populate the data warehouse, in chapters 11 through 15, you explore how to present data to users using reports and multidimensional databases and how to use the data in the data warehouse for business intelligence, customer relationship management, and other purposes. Chapters 16 and 17 wrap up the book: After you have built your data warehouse, before it can be released to production, you need to test it thoroughly. After your application is in production, you need to understand how to administer data warehouse operation.
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.
Blockchain : Empowering Secure Data Sharing
The book explains the security architecture model and the practice of building data sharing from the blockchain infrastructure, allowing readers to understand the importance of data sharing security based on the blockchain framework, as well as the threats to security and privacy. Further, by presenting specific data sharing case studies, it offers insights into solving data security sharing problems in more practical fields. The book is intended for readers with a basic understanding of the blockchain infrastructure, consensus mechanisms, smart contracts, secure multiparty computing, homomorphic encryption and image retrieval technologies.
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.
Biometrics, Computer Security Systems and Artificial Intelligence Applications
This book presents the most recent achievements in some fascinating and rapidly developing fields within Computer Science. The scientific works presented in this book have been partitioned into three topical groups: Image Analysis and Biometrics, Computer Security Systems, and Artificial Intelligence and Applications. Image Analysis and Biometrics is the branch of Computer Science dealing with the very difficult task of artificial, visual perception of objects and surroundings, as well as the problems connected with it. Computer Security and Safety is at present a very important and intensively investigated branch of Computer Science because of the menacing activity of hackers and computer viruses.
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.
Biological and medical data analysis ; Vol. 3745 ; 6th International symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings
The 6th International Symposium on Biological and Medical Data Analysisaimed to become a place where researchersinvolved in these diverse but increas-ingly complementary areas could meet topresent and discuss their scientificresults.The papers in this volume discuss issues from statistical models to archi-tectures and applications to bioinformatics and biomedicine. They cover bothpractical experience and novel research ideas and concepts.
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. Mathematically demanding themes are put across to the reader by properly chosen representations with the aid of lots of illustrations.
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 Intelligence for Smart Applications
Presents the latest discoveries in the field of machine intelligence and big data Proposes many case studies and applications of computational and Big data Combines theory and practice so that readers of the few books (beginners or experts)
Big Data in Bioeconomy : Results from the European DataBio Project
This book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources.
Big data and artificial intelligence in digital finance : Increasing personalization and trust in digital finance using big data and AI
This book presents how cutting-edge digital technologies like Machine Learning, Artificial Intelligence (AI), and Blockchain are set to disrupt the financial sector. The book illustrates how recent advances in these technologies facilitate banks, FinTechs, and financial institutions to collect, process, analyze, and fully leverage the very large amounts of data that are nowadays produced and exchanged in the sector. To this end, the book also introduces some of the most popular Big Data, AI and Blockchain applications in the sector, including novel applications in the areas of Know Your Customer (KYC), Personalized Wealth Management and Asset Management, Portfolio Risk Assessment, as well as variety of novel Usage-based Insurance applications based on Internet-of-Things data.
Big data analysis of nanoscience bibliometrics, patent, and funding data (2000-2019)
Presents an evaluation of nanotechnologies outputs (academic outputs and patents) and their impact from 2000-2019. The evaluation uses Elsevier’s Scopus (the largest abstract and citation database of peer-reviewed literature), SciVal (a scientific research analysis platform), Funding Institutional (a funding database), and PatentSight (a patent analysis platform). It covers four key topics regarding nanoscience research, including: 1) An overview of nano-related scholarly output, 2) Nanoscience and its contribution to basic science, 3) Nanoscience and its impact on and collaboration with industry partners, and 4) Key factors that promote the development of nanoscience.
Bidding Strategies in Agent-Based Continuous Double Auctions
Presents a new bidding strategy for agents to adopt in CDAs and propose tools to enhance the performance of existing bidding strategies in CDAs. The superior performance of the new bidding strategy as well as the tools presented in this book are illustrated through extensive experiments.
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 XML with DOM and Ajax : From novice to professional
Don't waste time on 1,000-page tomes full of syntax; this book is all you need to get ahead in XML development. Renowned web developer Sas Jacobs presents an essential guide to XML. Beginning XML with DOM and Ajax is practical and comprehensive. It includes everything you need to know to get up to speed with XML development quickly and painlessly.
Beginning Web Development, Silverlight, and ASP.NET AJAX : From novice to professional
Beginning Web Development, Silverlight, and ASP.NET AJAX: From Novice to Professional aims to give you the skills you need to start building web applications with Microsoft's next–generation technology as quickly as possible. Whether you're interested in ASP.NET AJAX, Silverlight, or the technologies that support them (WPF, WCF, WF, etc.), this book is the starting point that you need. It adopts a “zero to hero” approach that concentrates on achieving practical results you can use in real projects rather than presenting a deep academic treatment that can't be immediately applied.
