الصفحة 2
الصفحة 2
Introduction to Algorithms
Combines rigor and comprehensiveness. It covers a broad range of algorithms in depth, yet makes their design and analysis accessible to all levels of readers, with self-contained chapters and algorithms in pseudocode. Since the publication of the first edition, Introduction to Algorithms has become the leading algorithms text in universities worldwide as well as the standard reference for professionals. This fourth edition has been updated throughout.
Intelligent Systems for Sustainable Person-Centered Healthcare
This book establishes a dialog among the medical and intelligent system domains for igniting transition toward a sustainable and cost-effective healthcare. The Person-Centered Care (PCC) positions a person in the center of a healthcare system, instead of defining a patient as a set of diagnoses and treatment episodes. The book discusses intelligent systems and their applications for healthcare data analysis, decision making and process design tasks. The measurement systems and efficiency evaluation models analyze ability of intelligent healthcare system to monitor person health and improving quality of life.
Intelligent interactive multimedia systems for e-Healthcare applications
includes high-quality research on various aspects of intelligent interactive multimedia technologies in healthcare services. The topics covered in the book focus on state-of-the-art approaches, methodologies, and systems in the design, development, deployment, and innovative use of multimedia systems, tools, and technologies in healthcare. The volume provides insights into smart healthcare service demands. It presents all information about multimedia uses in e-healthcare applications. The book also includes case studies and self-assessment problems for readers and future researchers. This book proves to be a valuable resource to know how AI can be an alternative tool for automated and intelligent analytics for e-healthcare applications.
Information security and privacy ; 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings
A Few Thoughts on E-Commerce.- New CBC-MAC Forgery Attacks.- Cryptanalysis of a Public Key Cryptosystem Proposed at ACISP 2000.- Improved Cryptanalysis of the Self-Shrinking Generator.- Attacks Based on Small Factors in Various Group Structures.- On Classifying Conference Key Distribution Protocols.- Pseudorandomness of MISTY-Type Transformations and the Block Cipher KASUMI.- New Public-Key Cryptosystem Using Divisor Class Groups.- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields.- Practical Key Recovery Schemes.- Non-deterministic Processors.- Personal Secure Booting.- Evaluation of Tamper-Resistant Software Deviating from Structured Programming Rules.- A Strategy for MLS Workflow.- Condition-Driven Integration of Security Services.- SKETHIC: Secure Kernel Extension against Trojan Horses with Informat ion-Carrying Codes.- Secure and Private Distribution of Online Video and Some Related Cryptographic Issues.- Private Information Retrieval Based on the Subgroup Membership Problem.
Informatics in the Future ; Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which can be instantiated by software to any concrete problem-solving machine, changing its behavior in response to external and internal states, allowing for self-reflective and “intelligent” behavior. However, current phenomena such as the Web, cyber physical systems or the Internet of Things show us that we might already have gone beyond this idea, exemplifying a metamorphosis from a stand-alone calculator to the global operating system of our society.
Image Analysis ; 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings
This proceedings volume collects the scienti?c presentations of the Scandinavian Conference on Image Analysis, SCIA 2005, which was held at the University of Joensuu, Finland, June 19–22, 2005. The conference was the fourteenth in the series of biennial conferences started in 1980. The name of the series re?ects the fact that the conferences are organized in the Nordic (Scandinavian) countries, following the cycle Sweden, Finland, Denmark, and Norway. The event itself has always been international in its participants and presentations. Today there are many conferences in the ?elds related to SCIA. In this s- uation our goal is to keep up the reputation for the high quality and friendly environment of SCIA. We hope that participants feel that it’s worth attending the conference. Therefore, both the scienti?c and social program were designed to support the best features of a scienti?c meeting: to get new ideas for research and to have the possibility to exchange thoughts with fellow scientists.
Human motion : Understanding, modeling, capture and animation ; 2nd Workshop, HumanMotion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings
This LNCS volume contains the papers presented at the second Workshop on Human Motion Understanding, Modeling, Capture and Animation. The accepted papers re?ect the state of the art in the ?eld and cover various topicsrelatedto humanmotiontrackingandanalysis.Thepapersinthisvolume have been classi?ed into three categories based on the topics they cover: human motion capture and pose estimation, body and limb tracking and segmentation, and activity recognition.
Heavy-Tailed Time Series
This book aims to present a comprehensive, self-contained, and concise overview of extreme value theory for time series, incorporating the latest research trends alongside classical methodology.Additionally, the book incorporates complete proofs and exercises with solutions as well as substantive reference lists and appendices, featuring a novel commentary on the theory of vague convergence.
Fuzzy Equational Logic
The book deals with similarity relations defined on a set with functions. The functions are required to map similar elements to similar ones. The book presents basic mathematical properties of structures consisting of similarity-preserving functions and logics for reasoning about similarities. The presented text is self-contained. The notions and results are demonstrated through examples which are graphically illustrated. The book is useful for researchers, but it can also be used as a graduate text.
Fundamentals of pattern recognition and machine learning
Fundamentals of Pattern Recognition and Machine Learning is designed for a one or two-semester introductory course in Pattern Recognition or Machine Learning at the graduate or advanced undergraduate level. The book combines theory and practice and is suitable to the classroom and self-study.
Fundamentals and Methods of Machine and Deep Learning : Algorithms, Tools, and Applications
provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of methodology advances, and algorithm demonstrations with applications. In recent research studies, they are regarded as one of the disruptive technologies that will transform our future life, business, and the global economy. The recent explosion of digital data in a wide variety of domains, including science, engineering, Internet of Things, biomedical, healthcare, and many business sectors, has declared the era of big data, which cannot be analysed by classical statistics but by the more modern, robust machine learning and deep learning techniques. Since machine learning learns from data rather than by programming hard-coded decision rules, an attempt is being made to use machine learning to make computers that are able to solve problems like human experts in the field.
Fundamental approaches to software engineering ; 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
Fractal Dimensions of Networks
The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the major concepts in fractal dimensions originated in the study of sets, the book achieves this goal by first clearly presenting, with an abundance of examples and illustrations, the theory and algorithms for sets, and then showing how the theory and algorithms have been applied to networks. For example, the book presents the classical theory and algorithms for the box counting dimension for sets, and then presents the box counting dimension for networks. All the major fractal dimensions are studied, e.g., the correlation dimension, the information dimension, the Hausdorff dimension, the multifractal spectrum, as well as many lesser known dimensions. Algorithm descriptions are accompanied by worked examples, with many applications of the methods presented.
Foundations of learning classifier systems
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique combining Genetic Algorithms and Reinforcement Learning. It includes self-contained background chapters on related fields (reinforcement learning and evolutionary computation) tailored for a classifier systems audience and written by acknowledged authorities in their area - as well as a relevant historical original work by John Holland.
Foundation XML for Flash
XML is a completely platform-agnostic data medium. Flash is able to make use of XML data, which is very useful when creating rich Internet applications. It allows you to populate Flash web interfaces with data from almost any source that supports XML as a data medium, be it databases, raw XML files, or more excitingly, .NET applications, Web Services, and even Microsoft Office applications like Excel and Word! In this book, Sas Jacobs first introduces XML itself—what it is, its syntax, its associated technologies (such as CSS and XSLT,) and how to get XML out of your applications in a format Flash can use. Then, she shows how to use the XML object to stream XML data into Flash, and how to use the XMLConnector component and XML Sockets to build advanced Flash/XML applications.
Foundation models for natural language processing : pre-trained language models integrating media
Covers basic natural language processing models, pre-trained language models BERT, GPT, and sequence-to-sequence converters, as well as the concepts of self-attention and context-sensitive embedding. Various approaches to improving these models are then discussed, such as expanding the pre-training parameters, increasing the length of input texts, or incorporating additional knowledge. An overview of the best performing models is then provided for about twenty application areas, e.g., question answering, translation, story generation, dialogue systems, image generation from text, etc. For each application area, the strengths and weaknesses of existing models are discussed, and an overview of further developments is provided. In addition, links to freely available code are provided. The concluding chapter summarizes the economic opportunities, risk mitigation, and potential developments of AI.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Concept Analysis ; 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually analyzing data and kno- edge. The theory itselfstronglyreliesonorder and lattice theory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning , and, over the last years, the range of application shaskept growing. The mainreasonfor this comesfromthe fact that our modern society has turned into an “information” society. After years and years of using computers, companies realized they had stored gigantic amounts of data.
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.
Focused Access to XML Documents ; 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, held at Dagstuhl Castle, Germany, in December 2007.The 37 revised full papers presented were carefully reviewed and selected for presentation at the workshop from 50 initial submissions. The papers are organized in an ad hoc track and 6 topical sections on book search, XML-mining, entity ranking, interactive, link-the-wiki, and multimedia.
