- Table View
- List View
Foundations and Practice of Security
by Jean Luc Danger Mourad Debbabi Jean-Yves Marion Joaquin Garcia-Alfaro Nur Zincir HeywoodThis book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations and Practice of Security, FPS 2013, held in La Rochelle, France, in October 2013. The 25 revised full papers presented together with a keynote address were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on security protocols, formal methods, physical security, attack classification and assessment, access control, cipher attacks, ad-hoc and sensor networks, resilience and intrusion detection.
Foundations and Practice of Security: 12th International Symposium, FPS 2019, Toulouse, France, November 5–7, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12056)
by Joaquin Garcia-Alfaro Michel Barbeau Abdelmalek Benzekri Guang Gong Romain LabordeThis book constitutes the revised selected papers of the 12th International Symposium on Foundations and Practice of Security, FPS 2019, held in Toulouse, France, in November 2019.The 19 full papers and 9 short papers presented in this book were carefully reviewed and selected from 50 submissions. They cover a range of topics such as machine learning approaches; attack prevention and trustworthiness; and access control models and cryptography.
Foundations and Practice of Security
by Joaquin Garcia-Alfaro Evangelos Kranakis Guillaume BonfanteThis book constitutes the thoroughly refereedpost-conference proceedings of the 8th International Symposium on Foundationsand Practice of Security, FPS 2015, held in Clermont-Ferrand, France, inOctober 2015. The 12 revised full papers presented together with 8short papers and 2 keynote talks were carefully reviewed and selected from 58submissions. The papers are organized in topical sections on RFID, sensors andsecure computation; security policies and biometrics; evaluation of protocolsand obfuscation security; spam emails, botnets and malware.
Foundations and Practice of Security: 16th International Symposium, FPS 2023, Bordeaux, France, December 11–13, 2023, Revised Selected Papers, Part II (Lecture Notes in Computer Science #14552)
by Joaquin Garcia-Alfaro Nadia Tawbi Mohamed Mosbah Toufik Ahmed Florence Sèdes Nora Boulahia-CuppensThis book constitutes the refereed proceedings of the 16th International Symposium on Foundations and Practice of Security, FPS 2023, held in Bordeaux, France, during December 11–13, 2023.The 27 regular and 8 short papers presented in this book were carefully reviewed and selected from 80 submissions. The papers have been organized in the following topical sections:Part I: AI and cybersecurity, security analysis, phishing and social network, vulnerabilities and exploits, network and system threat, malware analysis.Part II : security design, short papers.
Foundations and Practice of Security: 16th International Symposium, FPS 2023, Bordeaux, France, December 11–13, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science #14551)
by Joaquin Garcia-Alfaro Nadia Tawbi Mohamed Mosbah Toufik Ahmed Florence Sèdes Nora Boulahia-CuppensThis book constitutes the refereed proceedings of the 16th International Symposium on Foundations and Practice of Security, FPS 2023, held in Bordeaux, France, during December 11–13, 2023. The 27 regular and 8 short papers presented in this book were carefully reviewed and selected from 80 submissions. The papers have been organized in the following topical sections:Part I: AI and cybersecurity, security analysis, phishing and social network, vulnerabilities and exploits, network and system threat, malware analysis.Part II : security design, short papers.
Foundations and Practice of Security
by Abdessamad Imine José M. Fernandez Jean-Yves Marion Luigi Logrippo Joaquin Garcia-AlfaroThis book constitutes revised selected papers from the 10th International Symposium on Foundations and Practice of Security, FPS 2017, held in Nancy, France in October 2017. The 20 papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers were organized in topical sections named: access control; formal verification; privacy; physical security; network security, encrypted DBs and blockchain; vulnerability analysis and deception systems; and defence against attacks and anonymity.
Foundations and Practice of Security: 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12–14, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13877)
by Guy-Vincent Jourdan Laurent Mounier Carlisle Adams Florence Sèdes Joaquin Garcia-AlfaroThis book constitutes the refereed proceedings of the 15th International Symposium on Foundations and Practice of Security, FPS 2022, held in Ottawa, ON, Canada, during December 12–14, 2022.The 26 regular and 3 short papers presented in this book were carefully reviewed and selected from 83 submissions. The papers have been organized in the following topical sections: Cryptography; Machine Learning; Cybercrime and Privacy; Physical-layer Security; Blockchain; IoT and Security Protocols; and Short Papers.
Foundations and Practice of Security: 13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1–3, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12637)
by Gabriela Nicolescu Assia Tria José M. Fernandez Jean-Yves Marion Joaquin Garcia-AlfaroThis book constitutes the revised selected papers of the 13th International Symposium on Foundations and Practice of Security, FPS 2020, held in Montréal, QC, Canada, in December 2020. The 11full papers and 1 short paper presented in this book were carefully reviewed and selected from 23 submissions. They cover a range of topics such as Analysis and Detection; Prevention and Efficiency; and Privacy by Design.
Foundations and Practice of Security: 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11358)
by Nur Zincir-Heywood Guillaume Bonfante Mourad Debbabi Joaquin Garcia-AlfaroThis book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018. The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud security and big data; IoT security; software security, malware analysis, and vulnerability detection; cryptography; cyber physical security and hardware security; and access control.
Foundations and Theoretical Perspectives of Distributed Team Cognition
by Michael D. McNeese; Eduardo Salas; Mica R. EndsleyThe background and interwoven streams of team cognition and distributed cognition fermenting together has wielded new nuances of exploration, which continue to be relevant for a theoretical understanding of team phenomena. Foundations and Theoretical Perspectives of Distributed Teams Cognition looks at fundamentals, theoretical concepts, and how theory informs perspectives of thinking for distributed team cognition. The chapters yield a broad understanding of the nature of diverse thinking and insights into technologies, foundations, and theoretical perspectives of distributed team cognition. Features Generates historical patterns and significance that compose developmental trajectories Explains multiple perspectives that incorporate an interdisciplinary understanding that specifies diverse theories Identifies and develops particular challenges resident within team simulation studies and then illustrates research frameworks Highlights and reviews how team simulations are used to produce dynamic experimental results Investigates and studies research variables within distributed team cognition
Foundations for Analytics with Python: From Non-Programmer to Hacker
by Clinton W. BrownleyIf you’re like many of Excel’s 750 million users, you want to do more with your data—like repeating similar analyses over hundreds of files, or combining data in many files for analysis at one time. This practical guide shows ambitious non-programmers how to automate and scale the processing and analysis of data in different formats—by using Python.After author Clinton Brownley takes you through Python basics, you’ll be able to write simple scripts for processing data in spreadsheets as well as databases. You’ll also learn how to use several Python modules for parsing files, grouping data, and producing statistics. No programming experience is necessary.Create and run your own Python scripts by learning basic syntaxUse Python’s csv module to read and parse CSV filesRead multiple Excel worksheets and workbooks with the xlrd modulePerform database operations in MySQL or with the mysqlclient moduleCreate Python applications to find specific records, group data, and parse text filesBuild statistical graphs and plots with matplotlib, pandas, ggplot, and seabornProduce summary statistics, and estimate regression and classification modelsSchedule your scripts to run automatically in both Windows and Mac environments
Foundations for Architecting Data Solutions: Managing Successful Data Projects
by Ted Malaska Jonathan SeidmanWhile many companies ponder implementation details such as distributed processing engines and algorithms for data analysis, this practical book takes a much wider view of big data development, starting with initial planning and moving diligently toward execution. Authors Ted Malaska and Jonathan Seidman guide you through the major components necessary to start, architect, and develop successful big data projects.Everyone from CIOs and COOs to lead architects and developers will explore a variety of big data architectures and applications, from massive data pipelines to web-scale applications. Each chapter addresses a piece of the software development life cycle and identifies patterns to maximize long-term success throughout the life of your project.Start the planning process by considering the key data project typesUse guidelines to evaluate and select data management solutionsReduce risk related to technology, your team, and vague requirementsExplore system interface design using APIs, REST, and pub/sub systemsChoose the right distributed storage system for your big data systemPlan and implement metadata collections for your data architectureUse data pipelines to ensure data integrity from source to final storageEvaluate the attributes of various engines for processing the data you collect
Foundations for Functional Modeling of Technical Artefacts (Design Research Foundations)
by Morten LindThis monograph provides a new framework for modelling goals and functions of control systems. It demonstrates how to use means-end concepts and various aspects of action to describe the relations between the structure, dispositions, functions, and goals of technical systems and with human action. The author developed this approach as part of his research on Multilevel Flow Modelling (MFM). He based the framework on concepts of action and means-end analysis drawing on existing theories from several areas of study, including philosophical logic, semiotics, and phenomenological approaches to social science. Here, he applies it to three modeling situations related to the interaction of technical artefacts and humans. One involves the relation between designer and artefact, another the relation between technical artefact and its user, and the third the relation between a natural object and its user. All three are relevant for modelling complex automated processes interacting with human operators. The book also discusses challenges when applying the foundations for modelling of technical artefacts. Overall, it provides a cross disciplinary integration of several fields of knowledge. These disciplines include intelligent process control, human machine interaction, and process and automation design. As a result, researchers and graduate students in computer science, engineering, and philosophy of technology will find it a valuable resource.
Foundations for the Future in Mathematics Education
by Richard A. Lesh; Eric Hamilton; James J. KaputThe central question addressed in Foundations for the Future in Mathematics Education is this: What kind of understandings and abilities should be emphasized to decrease mismatches between the narrow band of mathematical understandings and abilities that are emphasized in mathematics classrooms and tests, and those that are needed for success beyond school in the 21st century? This is an urgent question. In fields ranging from aeronautical engineering to agriculture, and from biotechnologies to business administration, outside advisors to future-oriented university programs increasingly emphasize the fact that, beyond school, the nature of problem-solving activities has changed dramatically during the past twenty years, as powerful tools for computation, conceptualization, and communication have led to fundamental changes in the levels and types of mathematical understandings and abilities that are needed for success in such fields. For K-12 students and teachers, questions about the changing nature of mathematics (and mathematical thinking beyond school) might be rephrased to ask: If the goal is to create a mathematics curriculum that will be adequate to prepare students for informed citizenship—as well as preparing them for career opportunities in learning organizations, in knowledge economies, in an age of increasing globalization—how should traditional conceptions of the 3Rs be extended or reconceived? Overall, this book suggests that it is not enough to simply make incremental changes in the existing curriculum whose traditions developed out of the needs of industrial societies. The authors, beyond simply stating conclusions from their research, use results from it to describe promising directions for a research agenda related to this question. The volume is organized in three sections: *Part I focuses on naturalistic observations aimed at clarifying what kind of “mathematical thinking” people really do when they are engaged in “real life” problem solving or decision making situations beyond school. *Part II shifts attention toward changes that have occurred in kinds of elementary-but-powerful mathematical concepts, topics, and tools that have evolved recently—and that could replace past notions of “basics” by providing new foundations for the future. This section also initiates discussions about what it means to “understand” the preceding ideas and abilities. *Part III extends these discussions about meaning and understanding—and emphasizes teaching experiments aimed at investigating how instructional activities can be designed to facilitate the development of the preceding ideas and abilities. Foundations for the Future in Mathematics Education is an essential reference for researchers, curriculum developers, assessment experts, and teacher educators across the fields of mathematics and science education.
Foundations for the Web of Information and Services: A Review of 20 Years of Semantic Web Research
by Dieter FenselIn the mid 1990s, Tim Berners-Lee had the idea of developing the World Wide Web into a "Semantic Web", a web of information that could be interpreted by machines in order to allow the automatic exploitation of data, which until then had to be done by humans manually. One of the first people to research topics related to the Semantic Web was Professor Rudi Studer. From the beginning, Rudi drove projects like ONTOBROKER and On-to-Knowledge, which later resulted in W3C standards such as RDF and OWL. By the late 1990s, Rudi had established a research group at the University of Karlsruhe, which later became the nucleus and breeding ground for Semantic Web research, and many of today's well-known research groups were either founded by his disciples or benefited from close cooperation with this think tank. In this book, published in celebration of Rudi's 60th birthday, many of his colleagues look back on the main research results achieved during the last 20 years. Under the editorship of Dieter Fensel, once one of Rudi's early PhD students, an impressive list of contributors and contributions has been collected, covering areas like Knowledge Management, Ontology Engineering, Service Management, and Semantic Search. Overall, this book provides an excellent overview of the state of the art in Semantic Web research, by combining historical roots with the latest results, which may finally make the dream of a "Web of knowledge, software and services" come true.
Foundations of 3D Computer Graphics
by Steven J. GortlerAn introduction to the basic concepts of 3D computer graphics that offers a careful mathematical exposition within a modern computer graphics application programming interface.Computer graphics technology is an amazing success story. Today, all of our PCs are capable of producing high-quality computer-generated images, mostly in the form of video games and virtual-life environments; every summer blockbuster movie includes jaw-dropping computer generated special effects. This book explains the fundamental concepts of 3D computer graphics. It introduces the basic algorithmic technology needed to produce 3D computer graphics, and covers such topics as understanding and manipulating 3D geometric transformations, camera transformations, the image-rendering process, and materials and texture mapping. It also touches on advanced topics including color representations, light simulation, dealing with geometric representations, and producing animated computer graphics. The book takes special care to develop an original exposition that is accessible and concise but also offers a clear explanation of the more difficult and subtle mathematical issues. The topics are organized around a modern shader-based version of OpenGL, a widely used computer graphics application programming interface that provides a real-time “rasterization-based” rendering environment. Each chapter concludes with exercises. The book is suitable for a rigorous one-semester introductory course in computer graphics for upper-level undergraduates or as a professional reference. Readers should be moderately competent programmers and have had some experience with linear algebra. After mastering the material presented, they will be on the path to expertise in an exciting and challenging field.
Foundations of Artificial Intelligence and Robotics: Volume 1 A Holistic View
by Wendell H. ChunArtificial intelligence (AI) is a complicated science that combines philosophy, cognitive psychology, neuroscience, mathematics and logic (logicism), economics, computer science, computability, and software. Meanwhile, robotics is an engineering field that compliments AI. There can be situations where AI can function without a robot (e.g., Turing Test) and robotics without AI (e.g., teleoperation), but in many cases, each technology requires each other to exhibit a complete system: having "smart" robots and AI being able to control its interactions (i.e., effectors) with its environment. This book provides a complete history of computing, AI, and robotics from its early development to state‑of‑the‑art technology, providing a roadmap of these complicated and constantly evolving subjects.Divided into two volumes covering the progress of symbolic logic and the explosion in learning/deep learning in natural language and perception, this first volume investigates the coming together of AI (the mind) and robotics (the body), and discusses the state of AI today.Key Features: Provides a complete overview of the topic of AI, starting with philosophy, psychology, neuroscience, and logicism, and extending to the action of the robots and AI needed for a futuristic society Provides a holistic view of AI, and touches on all the misconceptions and tangents to the technologies through taking a systematic approach Provides a glossary of terms, list of notable people, and extensive references Provides the interconnections and history of the progress of technology for over 100 years as both the hardware (Moore’s Law, GPUs) and software, i.e., generative AI, have advanced Intended as a complete reference, this book is useful to undergraduate and postgraduate students of computing, as well as the general reader. It can also be used as a textbook by course convenors. If you only had one book on AI and robotics, this set would be the first reference to acquire and learn about the theory and practice.
Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience
by Cali M. Fidopiastis Dylan D. SchmorrowThe 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human-Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social Computing, the 5th International Conference on Augmented Cognition, the Second International Conference on Digital Human Mod- ing, and the First International Conference on Human Centered Design. A total of 4,348 individuals from academia, research institutes, industry and gove- mental agencies from 73 countries submitted contributions, and 1,397 papers that were judged to be of high scientific quality were included in the program. These papers - dress the latest research and development efforts and highlight the human aspects of the design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.
Foundations of Augmented Cognition
by Dylan D. Schmorrow Cali M. FidopiastisThis book constitutes the proceedings of the 9th International Conference on the Foundations of Augmented Cognition, AC 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, which took place in Los Angeles, CA, USA, in August 2015. HCII 2015 received a total of 4843 submissions, of which 1462 papers and 246 posters were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The 78 papers presented in the AC 2015 proceedings address the following major topics: cognitive performance and work load, BCI and operational neuroscience, cognition, perception and emotion measurement, adaptive and tutoring training, applications of augmented cognition.
Foundations of Augmented Cognition: 9th International Conference, AC 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings (Lecture Notes in Computer Science #9183)
by Dylan D. Schmorrow Cali M. FidopiastisThis book constitutes the proceedings of the 9th International Conference on the Foundations of Augmented Cognition, AC 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, which took place in Los Angeles, CA, USA, in August 2015. HCII 2015 received a total of 4843 submissions, of which 1462 papers and 246 posters were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The 78 papers presented in the AC 2015 proceedings address the following major topics: cognitive performance and work load, BCI and operational neuroscience, cognition, perception and emotion measurement, adaptive and tutoring training, applications of augmented cognition.
Foundations of Average-Cost Nonhomogeneous Controlled Markov Chains (SpringerBriefs in Electrical and Computer Engineering)
by Xi-Ren CaoThis Springer brief addresses the challenges encountered in the study of the optimization of time-nonhomogeneous Markov chains. It develops new insights and new methodologies for systems in which concepts such as stationarity, ergodicity, periodicity and connectivity do not apply. This brief introduces the novel concept of confluencity and applies a relative optimization approach. It develops a comprehensive theory for optimization of the long-run average of time-nonhomogeneous Markov chains. The book shows that confluencity is the most fundamental concept in optimization, and that relative optimization is more suitable for treating the systems under consideration than standard ideas of dynamic programming. Using confluencity and relative optimization, the author classifies states as confluent or branching and shows how the under-selectivity issue of the long-run average can be easily addressed, multi-class optimization implemented, and Nth biases and Blackwell optimality conditions derived. These results are presented in a book for the first time and so may enhance the understanding of optimization and motivate new research ideas in the area.
Foundations of Blockchain: Theory and Applications (SpringerBriefs in Computer Science)
by Ahmed Imteaj M. Hadi Amini Panos M. PardalosThis book provides a comprehensive analysis of fundamental topics related to blockchain. Throughout, the authors explore different vital issues and specific areas of blockchain. For convenience, the authors present the elementary description, visualize the working procedure of blockchain paradigm, and highlight the areas it can be applied in real life. They explain the blockchain process from a diverse perspective i.e. distributed Internet of Things (IoT), interdependent networks, intelligent mining, etc. They also analyze the interconnection of a blockchain network and such novel research areas to show a pathway towards a new research direction. This book also holds the core challenges and open research issues of blockchain technology, considering existing applications. Chapters include consensus mechanisms of blockchain, blockchain applicability in centralized and decentralized internet of things, blockchain interoperability from the perspective of interdependent networks, and blockchain for resource-constrained devices.Specifies the importance of theoretical methods in dealing with problems in the context of blockchain for interdependent decision making;Provides a comprehensive investigation of blockchain algorithms and the recently developed methods based on this algorithm;Provides basics and mathematical foundations needed to learn and deploy blockchain.
Foundations of Blockchain: The pathway to cryptocurrencies and decentralized blockchain applications
by Koshik RajReaders should be comfortable with general security terms, but no knowledge of cryptography or decentralized application is assumed. Although the book begins with all the basic concepts, a hands-on python programming, and theoretical networking knowledge, would speed up the reading process.
Foundations of Coding
by Éric Tannier Jean-Guillaume Dumas Jean-Louis Roch Sébastien VarretteOffers a comprehensive introduction to the fundamentalstructures and applications of a wide range of contemporary codingoperationsThis book offers a comprehensive introduction to the fundamentalstructures and applications of a wide range of contemporary codingoperations. This text focuses on the ways to structure informationso that its transmission will be in the safest, quickest, and mostefficient and error-free manner possible. All coding operations arecovered in a single framework, with initial chapters addressingearly mathematical models and algorithmic developments which led tothe structure of code. After discussing the general foundations ofcode, chapters proceed to cover individual topics such as notionsof compression, cryptography, detection, and correction codes. Bothclassical coding theories and the most cutting-edge models areaddressed, along with helpful exercises of varying complexities toenhance comprehension. Explains how to structure coding information so that itstransmission is safe, error-free, efficient, and fastIncludes a pseudo-code that readers may implement in theirpreferential programming languageFeatures descriptive diagrams and illustrations, and almost 150exercises, with corrections, of varying complexity to enhancecomprehensionFoundations of Coding: Compression, Encryption,Error-Correction is an invaluable resource for understandingthe various ways information is structured for its secure andreliable transmission in the 21st-century world.
Foundations of Computational Linguistics
by Roland HausserThe central task of a future-oriented computational linguistics is the development of cognitive machines which humans can freely talk with in their respective natural language. In the long run, this task will ensure the development of a functional theory of language, an objective method of verification, and a wide range of practical applications. Natural communication requires not only verbal processing, but also non-verbal perception and action. Therefore the content of this textbook is organized as a theory of language for the construction of talking robots. The main topic is the mechanism of natural language communication in both the speaker and the hearer. In the third edition the author has modernized the text, leaving the overview of traditional, theoretical, and computational linguistics, analytic philosophy of language, and mathematical complexity theory with their historical backgrounds intact. The format of the empirical analyses of English and German syntax and semantics has been adapted to current practice; and Chaps. 22-24 have been rewritten to focus more sharply on the construction of a talking robot.