Future data and security engineering ; 7th International conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020, Proceedings
This book constitutes the proceedings of the 7th International Conference on Future Data and Security Engineering, FDSE 2020, which was supposed to be held in Quy Nhon, Vietnam, in November 2020, but the conference was held virtually due to the COVID-19 pandemic. The 24 full papers (of 53 accepted full papers) presented together with 2 invited keynotes were carefully reviewed and selected from 161 submissions. The other 29 accepted full and 8 short papers are included in CCIS 1306. The selected papers are organized into the following topical headings: security issues in big data; big data analytics and distributed systems; advances in big data query processing and optimization; blockchain and applications; industry 4.0 and smart city: data analytics and security; advanced studies in machine learning for security; and emerging data management systems and applications.
Future data and security engineering : Big data, security and privacy, smart city and industry 4.0 applications ; 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020, Proceedings
This book constitutes the proceedings of the 7th International Conference on Future Data and Security Engineering, FDSE 2020, held in Quy Nhon, Vietnam, in November 2020.* The 29 full papers and 8 short were carefully reviewed and selected from 161 submissions. The selected papers are organized into the following topical headings: big data analytics and distributed systems; security and privacy engineering; industry 4.0 and smart city: data analytics and security; data analytics and healthcare systems; machine learning-based big data processing; emerging data management systems and applications; and short papers: security and data engineering.
Funology : From usability to enjoyment
This book reflects the move in Human Computer Interaction studies from standard usability concerns towards a wider set of problems to do with fun, enjoyment, aesthetics and the experience of use. Traditionally HCI has been concerned with work and task based applications but as digital technologies proliferate in the home fun becomes an important issue. There is an established body of knowledge and a range of techniques and methods for making products and interfaces usable, but far less is known about how to make them enjoyable.
Fundamentals of the New Artificial Intelligence: Neural, Evolutionary, Fuzzy and More
The significantly updated second edition of Fundamentals of the New Artificial Intelligence thoroughly covers the most essential and widely employed material pertaining to neural networks, genetic algorithms, fuzzy systems, rough sets, and chaos. In particular, this unique textbook explores the importance of this content for real-world applications.
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 of manufacturing engineering using digital visualization
Offers a guide to core principles and practices of manufacturing engineering. It covers the design of, together with technological and measurement issues for, technical systems. Locating charts and setup schemes describing different machining processes are included. Concepts of product quality, with a focus on accuracy indicators, machining accuracy, roughness, and the impact of surface quality on exploitation properties are also explained. Furthermore, key machining methods, including turning, milling, hole machining, grinding, and gear machining, are analyzed in depth, covering their principles, applications, and techniques. The book is enriched by QR codes, linking to a mobile application presenting additional information about the content, for an interactive and extended learning experience. It also uses illustrations visualized with digital tools to promote a better understanding of the concepts.
Fundamentals of information systems security ; 3rd ed.
Provides a comprehensive overview of the essential concepts readers must know as they pursue careers in information systems security. The text opens with a discussion of the new risks, threats, and vulnerabilities associated with the transition to a digital world. Part 2 presents a high level overview of the Security+ Exam and provides students with information as they move toward this certification. The book closes with information on information security standards, education, professional certifications, and compliance laws. With its practical, conversational writing style and step-by-step examples, this text is a must-have resource for those entering the world of information systems security.
Fundamentals of information systems security ; 4th ed.
Provides a comprehensive overview of the concepts readers must know as they pursue careers in information systems security. The text opens with a discussion of emerging technologies and the risks, threats, and vulnerabilities associated with our digital world. Part II takes a deeper dive into the foundational knowledge areas and functions associated with a career in information security. The book closes with a survey of information security standards, professional certifications, and compliance laws. With its practical, conversational writing style and step-by-step examples, this text is a must-have resource for those entering the world of information systems security.
Fundamentals of computation theory ; 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The papers address all current topics in computation theory.
Fundamentals of computation theory ; 15th International symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT 2005, held in L]beck, Germany in August 2005. The 46 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on circuits, automata, complexity, approximability, computational and structural complexity, graphs and complexity, computational game theory, visual cryptography and computational geometry, query complexity, distributed systems, automata and formal languages, semantics, approximation algorithms, average case complexity, algorithms, graph algorithms, and pattern matching.
Fundamentals of Clinical Data Science
This book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical applications. Topics covered in the first section on data collection include: data sources, data at scale (big data), data stewardship (FAIR data) and related privacy concerns. Aspects of predictive modelling using techniques such as classification, regression or clustering, and prediction model validation will be covered in the second section. The third section covers aspects of (mobile) clinical decision support systems, operational excellence and value-based healthcare.
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments in AI such as Constraint Satisfaction Problems, Adversarial Search and Game Theory, Statistical Learning Theory, Automated Planning, Intelligent Agents, Information Retrieval, Natural Language & Speech Processing, and Machine Vision. The book features a wealth of examples and illustrations, and practical approaches along with the theoretical concepts. It covers all major areas of AI in the domain of recent developments. The book is intended primarily for students who major in computer science at undergraduate and graduate level but will also be of interest as a foundation to researchers in the area of AI.
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory.
Fundamental networking in Java
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. It covers 'everything you can do to a socket in Java' and explains when and why you might - or might not - want to do that. The book covers TCP and UDP using both blocking streams and non-blocking channels, and also SSL secure sockets in both blocking and non-blocking modes, unravelling the mysteries of the SSLEngine in the process. Particular attention is paid to the neglected topics of multi-homing and multicast. A unique chapter on client and server architectures uses a quantitative approach rather than the usual design-patterns approach, leading to architectures with predictable performance rather than just coding elegance.
Fundamental approaches to software engineering ; 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Fundamental approaches to software engineering ; 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.
Fundamental approaches to software engineering ; 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This book cover software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
Fundamental approaches to software engineering ; 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software Engineering, held in Thessaloniki, Greece, in April 2018, the volume contains regular research papers that cover a wide range of topics, such as program and system analysis, model transformations, configuration and synthesis, graph modeling and transformation,software product lines, test selection, as well as learning and inference.
Fundamental approaches to software engineering ; 10th International Conference, FASE 2007 Held as part of the joint European conference on theory and practice of software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software.
Functional Verification of Programmable Embedded Architectures : A Top-Down Approach
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric.



















