الصفحة 6
الصفحة 6
Deep Learning, Machine Learning and IoT in Biomedical and Health Informatics : Techniques and Applications
Examines and demonstrates state-of-the-art approaches for IoT and Machine Learning based biomedical and health related applications. This book aims to provide computational methods for accumulating, updating and changing knowledge in intelligent systems and particularly learning mechanisms that help us to induce knowledge from the data. It is helpful in cases where direct algorithmic solutions are unavailable, there is lack of formal models, or the knowledge about the application domain is inadequately defined. In the future IoT has the impending capability to change the way we work and live. These computing methods also play a significant role in design and optimization in diverse engineering disciplines. With the influence and the development of the IoT concept, the need for AI (artificial intelligence) techniques has become more significant than ever.
Deep learning and computer vision in remote sensing-II
Computer vision (CV) have seen a massive rise in popularity in the remote sensing field over the last few years. This success is mostly due to the effectiveness of deep learning (DL) algorithms. However, remote sensing data acquisition and annotation, as well as information extraction from massive remote sensing data, are still challenging. This reprint collected novel developments in the field of deep learning and computer vision methods for remote sensing. Papers dealing with fundamental theoretical analyses, as well as those demonstrating their application to real-world problems, have been published. With practical examples and real-world case studies, this reprint provides a valuable resource for researchers, professionals, and students seeking to harness the power of deep learning in the field of remote sensing.
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
Assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scientists from various fields such as control, machinery, mathematics, and automation engineering. Combining the diagnosis algorithms and application cases, this book establishes a basic framework for this topic and implements various statistical analysis methods for process monitoring.
Data Quality and Record Linkage Techniques
This book helps practitioners gain a deeper understanding, at an applied level, of the issues involved in improving data quality through editing, imputation, and record linkage. The first part of the book deals with methods and models. Here, we focus on the Fellegi-Holt edit-imputation model, the Little-Rubin multiple-imputation scheme, and the Fellegi-Sunter record linkage model. Brief examples are included to show how these techniques work. In the second part of the book, the authors present real-world case studies in which one or more of these techniques are used. They cover a wide variety of application areas. These include mortgage guarantee insurance, medical, biomedical, highway safety, and social insurance as well as the construction of list frames and administrative lists.
Data communications and network technologies
Aims to help readers master the basics of network communications and use Huawei network devices to set up enterprise LANs and WANs, wired networks, and wireless networks, ensure network security for enterprises, and grasp cutting-edge computer network technologies. The content of this book includes: network communication fundamentals, TCP/IP protocol, Huawei VRP operating system, IP addresses and subnetting, static and dynamic routing, Ethernet networking technology, ACL and AAA, network address translation, DHCP server, WLAN, IPv6, WAN PPP and PPPoE protocol, typical networking architecture and design cases of campus networks, SNMP protocol used by network management, operation and maintenance, network time protocol NTP, SND and NFV, programming, and automation.
Data augmented design : Embracing new data for sustainable urban planning and design
This book offers an essential introduction to a new urban planning and design methodology called Data Augmented Design (DAD) and its evolution and progresses, highlighting data driven methods, urban planning and design applications and related theories. The authors draw on many kinds of data, including big, open, and conventional data, and discuss cutting-edge technologies that illustrate DAD as a future-oriented design framework in terms of its focus on multi-data, multi-method, multi-stage and multi-scale sustainable urban planning. In four sections and ten chapters, the book presents case studies to address the core concepts of DAD, the first type of applications of DAD that emerged in redevelopment-oriented planning and design, the second type committed to the planning and design for urban expansion, and the future-oriented applications of DAD to advance sustainable technologies and the future structural form of the built environment. The book is geared towards a broad readership, ranging from researchers and students of urban planning, urban design, urban geography, urban economics, and urban sociology, to practitioners in the areas of urban planning and design.
Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools
This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current technological gap between software management paradigms and cybersecurity models, the latter still lacking orchestration and agility to effectively address the dynamicity of the former. This book provides a comprehensive review of the main concepts, architectures, algorithms, and non-technical aspects developed during three years of investigation; the description of the Smart Mobility use case developed at the end of the project gives a practical example of how the GUARD platform and related technologies can be deployed in practical scenarios.
Current aopics in artificial intelligence ; 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.
Cooperative design, visualization, and engineering ; Vol. 3675 : 2nd international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2005, held in Palma de Mallorca, Spain, in September 2005. The 28 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover all current issues in cooperative design, visualization, engineering, and other cooperative applications. Topics addressed are such as constraint maintenance, decision support, and security enforcement for CDVE. Case studies and application specific developments are among the cooperative visualization papers. Along the line of cooperative engineering, knowledge management, reconfigurability, and concurrency control are major issues addressed.
Convex functions and their applications : A contemporary approach ; 2nd ed.
This second edition provides a thorough introduction to contemporary convex function theory with many new results. A large variety of subjects are covered, from the one real variable case to some of the most advanced topics. The new edition includes considerably more material emphasizing the rich applicability of convex analysis to concrete examples. Chapters 4, 5, and 6 are entirely new, covering important topics such as the Hardy-Littlewood-Pólya-Schur theory of majorization, matrix convexity, and the Legendre-Fenchel-Moreau duality theory.
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
Conceptual Structures: Knowledge Architectures for Smart Applications ; 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The book covers computer science, information technology,artificial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social benefits. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, desion making, the creation of intelligent software systems and the exploration of implicit structures.
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer Processing of Oriental Languages. Beyond the Orient : The Research Challenges Ahead ; 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006.The papers are organized in topical sections on information retrieval, document classification, questions and answers, summarization, machine translation, word segmentation, chunking, abbreviation expansion, writing-system issues, parsing, semantics, and lexical resources.
Computer Aided Systems Theory – EUROCAST 2005 ; 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Selected papers were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational
Computational methods in systems biology ; 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.* The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
