- Table View
- List View
Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track At The Rsa Conference 2018, San Francisco, Ca, Usa, April 16-20, 2018, Proceedings (Lecture Notes in Computer Science #10808)
by Nigel P. SmartThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2018, CT-RSA 2018, held in San Francisco, CA, USA, in March 2018.The 26 papers presented in this volume were carefully reviewed and selected from 79 submissions. CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto- graphic protocols to primitives and their implementation security.
Topics in Cryptology – CT-RSA 2019: The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings (Lecture Notes in Computer Science #11405)
by Mitsuru MatsuiThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2019, CT-RSA 2019, held in San Francisco, CA, USA, in March 2019. The 28 papers presented in this volume were carefully reviewed and selected from 75 submissions. CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto- graphic protocols to primitives and their implementation security.
Topics in Cryptology – CT-RSA 2020: The Cryptographers’ Track at the RSA Conference 2020, San Francisco, CA, USA, February 24–28, 2020, Proceedings (Lecture Notes in Computer Science #12006)
by Stanislaw JareckiThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2020, CT-RSA 2020, held in San Francisco, CA, USA, in February 2020. The 28 papers presented in this volume were carefully reviewed and selected from 95 submissions. CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto-graphic protocols to primitives and their implementation security.
Topics in Cryptology – CT-RSA 2021: Cryptographers’ Track at the RSA Conference 2021, Virtual Event, May 17–20, 2021, Proceedings (Lecture Notes in Computer Science #12704)
by Kenneth G. PatersonThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2021, CT-RSA 2021, held in San Francisco, CA, USA, in May 2021.*The 27 full papers presented in this volume were carefully reviewed and selected from 100 submissions.CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto-graphic protocols to primitives and their implementation security.*The conference was held virtually.
Topics in Cryptology – CT-RSA 2022: Cryptographers’ Track at the RSA Conference 2022, Virtual Event, March 1–2, 2022, Proceedings (Lecture Notes in Computer Science #13161)
by Steven D. GalbraithThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2022, CT-RSA 2022, held in San Francisco, CA, USA, in February 2022.* The 24 full papers presented in this volume were carefully reviewed and selected from 87 submissions. CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto-graphic protocols to primitives and their implementation security. *The conference was held as a hybrid event.
Topics in Cryptology – CT-RSA 2023: Cryptographers’ Track at the RSA Conference 2023, San Francisco, CA, USA, April 24–27, 2023, Proceedings (Lecture Notes in Computer Science #13871)
by Mike RosulekThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2023, CT-RSA 2023, held in San Francisco, CA, USA, in April 2023. The 26 full papers presented in this volume were carefully reviewed and selected from 76 submissions. The conference presents papers on subjects such as Cryptographic Implementations, Quantum Cryptanalysis, Advanced Public-Key Encryption, Tools for Privacy-Enhancing Technologies, Symmetric Cryptanalysis, Multiparty Protocols, Digital Signatures, Fault Attacks and Side Channels, Heuristic Approaches, Symmetric-Key Constructions, and Key Agreement.
Topics in Cryptology – CT-RSA 2024: Cryptographers’ Track at the RSA Conference 2024, San Francisco, CA, USA, May 6–9, 2024, Proceedings (Lecture Notes in Computer Science #14643)
by Elisabeth OswaldThis book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2024, CT-RSA 2024, held in San Francisco, CA, USA, during May 6–9, 2024. The 18 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The conference presents papers on subjects such as public key cryptography; symmetric cryptography; signatures; homomorphic encryption; identity-based encryption; constructions; and threshold signatures and fault attacks.
Topics in Grammatical Inference
by Jeffrey Heinz José M. SempereThis book explains advanced theoretical andapplication-related issues in grammatical inference, a research area inside theinductive inference paradigm for machine learning. The first three chapters ofthe book deal with issues regarding theoretical learning frameworks; the nextfour chapters focus on the main classes of formal languages according toChomsky's hierarchy, in particular regular and context-free languages; and thefinal chapter addresses the processing of biosequences. The topics chosen are of foundational interest withrelatively mature and established results, algorithms and conclusions. The bookwill be of value to researchers and graduate students in areas such astheoretical computer science, machine learning, computational linguistics, bioinformatics,and cognitive psychology who are engaged with the study of learning, especiallyof the structure underlying the concept to be learned. Some knowledge ofmathematics and theoretical computer science, including formal language theory,automata theory, formal grammars, and algorithmics, is a prerequisite forreading this book.
Topics in Matroid Theory
by Leonidas S. PitsoulisTopics in Matroid Theory provides a brief introduction to matroid theory with an emphasis on algorithmic consequences. Matroid theory is at the heart of combinatorial optimization and has attracted various pioneers such as Edmonds, Tutte, Cunningham and Lawler among others. Matroid theory encompasses matrices, graphs and other combinatorial entities under a common, solid algebraic framework, thereby providing the analytical tools to solve related difficult algorithmic problems. The monograph contains a rigorous axiomatic definition of matroids along with other necessary concepts such as duality, minors, connectivity and representability as demonstrated in matrices, graphs and transversals. The author also presents a deep decomposition result in matroid theory that provides a structural characterization of graphic matroids, and show how this can be extended to signed-graphic matroids, as well as the immediate algorithmic consequences.
Topics in Medical Image Processing and Computational Vision
by Joao Manuel Tavares Renato M. Natal JorgeThe sixteen chapters included in this book were written by invited experts of international recognition and address important issues in Medical Image Processing and Computational Vision, including: Object Recognition, Object Detection, Object Tracking, Pose Estimation, Facial Expression Recognition, Image Retrieval, Data Mining, Automatic Video Understanding and Management, Edges Detection, Image Segmentation, Modelling and Simulation, Medical thermography, Database Systems, Synthetic Aperture Radar and Satellite Imagery. Different applications are addressed and described throughout the book, comprising: Object Recognition and Tracking, Facial Expression Recognition, Image Database, Plant Disease Classification, Video Understanding and Management, Image Processing, Image Segmentation, Bio-structure Modelling and Simulation, Medical Imaging, Image Classification, Medical Diagnosis, Urban Areas Classification, Land Map Generation. The book brings together the current state-of-the-art in the various multi-disciplinary solutions for Medical Image Processing and Computational Vision, including research, techniques, applications and new trends contributing to the development of the related areas.
Topics in Nonlinear Mechanics and Physics: Selected Papers from CSNDD 2018 (Springer Proceedings in Physics #228)
by Mohamed BelhaqThis book presents a selection of contributions from the 4th International Conference on Structural Nonlinear Dynamics and Diagnostics, reflecting diverse aspects of nonlinear and complex dynamics. Fifteen chapters discuss the latest findings and applications in active research areas in nonlinear mechanics and physics. These includes the dynamics of ships with liquid sloshing interaction, dynamics of drops and bubbles, nonlinear drying processes, suppression of time-delayed induced vibrations, dynamics of robotic systems, chaos detection in rolling element, dynamics of a planetary gear system with faults, vibro-impact systems, complex fractional moments for nonlinear systems, oscillations under hysteretic conditions, as well as topics in nonlinear energy harvesting and control.
Topics in Parallel and Distributed Computing: Introducing Concurrency In Undergraduate Courses
by Charles Weems Alan Sussman Arnold Rosenberg Anshul Gupta Sushil K. PrasadThis book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and distributed computing topics into the undergraduate curricula, including quality criteria for parallel algorithms and programs, scalability, parallel performance, fault tolerance, and energy efficiency analysis. The chapters designed for students serve as supplemental textual material for early computing core courses, which students can use for learning and exercises. The illustrations, examples, and sequences of smaller steps to build larger concepts are also tools that could be inserted into existing instructor material. The chapters intended for instructors are written at a teaching level and serve as a rigorous reference to include learning goals, advice on presentation and use of the material, within early and advanced undergraduate courses. Since Parallel and Distributed Computing (PDC) now permeates most computing activities, imparting a broad-based skill set in PDC technology at various levels in the undergraduate educational fabric woven by Computer Science (CS) and Computer Engineering (CE) programs as well as related computational disciplines has become essential. This book and others in this series aim to address the need for lack of suitable textbook support for integrating PDC-related topics into undergraduate courses, especially in the early curriculum. The chapters are aligned with the curricular guidelines promulgated by the NSF/IEEE-TCPP Curriculum Initiative on Parallel and Distributed Computing for CS and CE students and with the CS2013 ACM/IEEE Computer Science Curricula.
Topics in Quaternion Linear Algebra (Princeton Series in Applied Mathematics #45)
by Leiba RodmanQuaternions are a number system that has become increasingly useful for representing the rotations of objects in three-dimensional space and has important applications in theoretical and applied mathematics, physics, computer science, and engineering. This is the first book to provide a systematic, accessible, and self-contained exposition of quaternion linear algebra. It features previously unpublished research results with complete proofs and many open problems at various levels, as well as more than 200 exercises to facilitate use by students and instructors. Applications presented in the book include numerical ranges, invariant semidefinite subspaces, differential equations with symmetries, and matrix equations.Designed for researchers and students across a variety of disciplines, the book can be read by anyone with a background in linear algebra, rudimentary complex analysis, and some multivariable calculus. Instructors will find it useful as a complementary text for undergraduate linear algebra courses or as a basis for a graduate course in linear algebra. The open problems can serve as research projects for undergraduates, topics for graduate students, or problems to be tackled by professional research mathematicians. The book is also an invaluable reference tool for researchers in fields where techniques based on quaternion analysis are used.
Topics in Rough Set Theory: Current Applications to Granular Computing (Intelligent Systems Reference Library #168)
by Seiki Akama Yasuo Kudo Tetsuya MuraiThis book discusses current topics in rough set theory. Since Pawlak’s rough set theory was first proposed to offer a basis for imprecise and uncertain data and reasoning from data, many workers have investigated its foundations and applications. Examining various topical issues, including object-oriented rough set models, recommendation systems, decision tables, and granular computing, the book is a valuable resource for students and researchers in the field.
Topics in Theoretical Computer Science: Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings (Lecture Notes in Computer Science #12281)
by Luís S. Barbosa Mohammad Ali AbamThis book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They focus on novel and high-quality research in all areas of theoretical computer science, such as algorithms and complexity; logic, semantics, and programming theory; and more.
Topics in Theoretical Computer Science
by Mohammad Taghi Hajiaghayi Mohammad Reza MousaviThis book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1. 8 International Conferenceon Topics in Theoretical Computer Science, held in Tehran, Iran, in August2015. The 10 full papers presented together with 3invited talks were carefully reviewed and selected from 48 submissions. Thepapers feature novel and high-quality research in all areas of theoreticalcomputer science.
Topics in Theoretical Computer Science
by Mohammad Reza Mousavi Jiří SgallThis book constitutes the refereed proceedings of the Second IFIP WG 1. 8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
Topological Data Analysis: The Abel Symposium 2018 (Abel Symposia #15)
by Nils A. Baas Gunnar E. Carlsson Gereon Quick Markus Szymik Marius ThauleThis book gathers the proceedings of the 2018 Abel Symposium, which was held in Geiranger, Norway, on June 4-8, 2018. The symposium offered an overview of the emerging field of "Topological Data Analysis". This volume presents papers on various research directions, notably including applications in neuroscience, materials science, cancer biology, and immune response. Providing an essential snapshot of the status quo, it represents a valuable asset for practitioners and those considering entering the field.
Topological Dynamics in Metamodel Discovery with Artificial Intelligence: From Biomedical to Cosmological Technologies (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)
by Ariel FernándezThe leveraging of artificial intelligence (AI) for model discovery in dynamical systems is cross-fertilizing and revolutionizing both disciplines, heralding a new era of data-driven science. This book is placed at the forefront of this endeavor, taking model discovery to the next level. Dealing with artificial intelligence, this book delineates AI’s role in model discovery for dynamical systems. With the implementation of topological methods to construct metamodels, it engages with levels of complexity and multiscale hierarchies hitherto considered off limits for data science. Key Features: Introduces new and advanced methods of model discovery for time series data using artificial intelligence Implements topological approaches to distill "machine-intuitive" models from complex dynamics data Introduces a new paradigm for a parsimonious model of a dynamical system without resorting to differential equations Heralds a new era in data-driven science and engineering based on the operational concept of "computational intuition" Intended for graduate students, researchers, and practitioners interested in dynamical systems empowered by AI or machine learning and in their biological, engineering, and biomedical applications, this book will represent a significant educational resource for people engaged in AI-related cross-disciplinary projects.
Topological Methods in Data Analysis and Visualization III
by Peer-Timo Bremer Ingrid Hotz Valerio Pascucci Ronald PeikertThis collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world's leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine.
Topological Methods in Data Analysis and Visualization V: Theory, Algorithms, and Applications (Mathematics and Visualization)
by Hamish Carr Issei Fujishiro Filip Sadlo Shigeo TakahashiThis collection of peer-reviewed workshop papers provides comprehensive coverage of cutting-edge research into topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The book also addresses core research challenges such as the representation of large and complex datasets, and integrating numerical methods with robust combinatorial algorithms. In keeping with the focus of the TopoInVis 2017 Workshop, the contributions reflect the latest advances in finding experimental solutions to open problems in the sector. They provide an essential snapshot of state-of-the-art research, helping researchers to keep abreast of the latest developments and providing a basis for future work. Gathering papers by some of the world’s leading experts on topological techniques, the book represents a valuable contribution to a field of growing importance, with applications in disciplines ranging from engineering to medicine.
Topological Orders with Spins and Fermions: Quantum Phases and Computation (Springer Theses)
by Laura Ortiz MartínThis thesis deals with topological orders from two different perspectives: from a condensed matter point of view, where topological orders are considered as breakthrough phases of matter; and from the emerging realm of quantum computation, where topological quantum codes are considered the most appealing platform against decoherence. The thesis reports remarkable studies from both sides. It thoroughly investigates a topological order called the double semion model, a counterpart of the Kitaev model but exhibiting richer quasiparticles as excitations. A new model for symmetry enriched topological order is constructed, which adds an onsite global symmetry to the double semion model. Using this topological phase, a new example of topological code is developed, the semion code, which is non-CSS, additive, non-Pauli and within the stabiliser formalism.Furthermore, the thesis analyses the Rashba spin-orbit coupling within topological insulators, turning the helical edge states into generic edges modes with potential application in spinstronics. New types of topological superconductors are proposed and the novel properties of the correspondingly created Majorana fermions are investigated. These Majorana fermions have inherent properties enabling braiding and the performance of logical gates as fundamental blocks for a universsal quantum computator.
The Topological Weighted Centroid: Theory and Applications (Studies in Computational Intelligence #1095)
by Massimo Buscema Masoud Asadi-Zeydabadi Giulia Massini Weldon A. Lodwick Marco Breda Riccardo Petritoli Francis Newman Francesca Della TorreThis book introduces the Topological Weighed Centroid approach and describes some applications in the study of the dynamics of various spatial phenomena with a special emphasis on the spatial analysis of the relationship, influence, and dynamics of geographical phenomena. Offering a comprehensive introduction to the theory and illustrative examples from various kinds of geographical data, this book also takes an in-depth look at more complex case studies, such as the applications of the topological weighed centroid approach in the study of epidemic patterns, cultural processes, criminality, and environmental phenomena.
Topology- and Graph-Informed Imaging Informatics: First International Workshop, TGI3 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science #15239)
by Chao Chen Yash Singh Xiaoling HuThis book constitutes the proceedings of the First International Workshop on Topology- and Graph-Informed Imaging Informatics, TGI3 2024, held in conjunction with the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, in Marrakesh, Morocco in October 2024. The 13 full papers presented here were carefully reviewed and selected. These papers focus on the application of Topological Data Analysis (TDA) techniques, along with other computational techniques, for summarizing, analyzing, quantifying, and visualizing complex medical data for a more effective and efficient analysis.
Topology-Based Modeling of Textile Structures and Their Joint Assemblies: Principles, Algorithms And Limitations
by Yordan KyosevThis book presents the textile-, mathematical and mechanical background for the modelling of fiber based structures such as yarns, braided and knitted textiles. The hierarchical scales of these textiles and the structural elements at the different levels are analysed and the methods for their modelling are presented. The author reports about problems, methods and algorithms and possible solutions from his twenty year experience in the modelling and software development of CAD for textiles.