Algorithms and data structures Books

Book SynopsisThis book is a French translation of seventeen papers by Donald E. Knuth on algorithms both in the field of analysis of algorithms and in the design of new algorithms. They cover fundamental concepts and techniques and numerous discrete problems such as sorting, searching, data compression, theorem-proving, and cryptography, as well as methods for controlling errors in numerical computations.

Read more less

Book SynopsisEigenvalue computations are ubiquitous in science and engineering. John Francis’s implicitly shifted QR algorithm has been the method of choice for small to medium sized eigenvalue problems since its invention in 1959. This book presents a new view of this classical algorithm. While Francis’s original procedure chases bulges, the new version chases core transformations, which allows the development of fast algorithms for eigenvalue problems with a variety of special structures. This also leads to a fast and backward stable algorithm for computing the roots of a polynomial by solving the companion matrix eigenvalue problem. The authors received a SIAM Outstanding Paper prize for this work.This book will be of interest to researchers in numerical linear algebra and their students.

Read more less

Book SynopsisHow do we understand the world around us? How do we solve problems? Often the answer to these questions follows a certain pattern, an algorithm if you wish. This is the case when our analytical left-brain side is at work. However, there are also elements in our behaviour where intelligence appears to follow a more elusive path, which cannot easily be characterised as a specific sequence of steps. Is Intelligence an Algorithm? offers an insight into intelligence as it functions in nature, like human or animal intelligence, but also sheds light on modern developments in the field of artificial intelligence, proposing further architectural solutions for the creation of a so-called global Webmind.

Read more less

Book Synopsis Geomatics is a field of science that has been intimately intertwined with our daily lives for almost 30 years, to the point where we often forget all the challenges it entails. Who does not have a navigation application on their phone or regularly engage with geolocated data? What is more, in the coming decades, the accumulation of geo-referenced data is expected to increase significantly. This book focuses on the notion of the imperfection of geographic data, an important topic in geomatics. It is essential to be able to define and represent the imperfections that are encountered in geographical data. Ignoring these imperfections can lead to many risks, for example in the use of maps which may be rendered inaccurate. It is, therefore, essential to know how to model and treat the different categories of imperfection. A better awareness of these imperfections will improve the analysis and the use of this type of data. Table of ContentsPart 1. Bases and Concepts 1. Imperfection and Geographic Information, François Pinet, Mireille Batton-Hubert and Eric Desjardin. 2. Imperfection of Geographic Information: Concepts and Terminologies, Rodolphe Devillers, Eric Desjardin and Cyril De Runz. 3. The Origins of Imperfection in Geographic Data, Jean-Michel Follin, Jean-François Girres, Ana-Maria Olteanu-Raimond and David Sheeren. 4. Integrity and Trust of Geographic Information, Clément Iphar, Benjamin Costé, Aldo Napoli, Cyril Ray and Rodolphe Devillers. Part 2. Representation 5. Formalisms and Representations of Imperfect Geographic Objects, Mireille Batton-Hubert and François Pinet. 6. Representing Diagrams of Imperfect Geographic Objects, François Pinet and Cyril De Runz. Part 3. Reasoning and Treatment 7. Algebraic Reasoning for Uncertain Data, Florence Le Ber. 8. Reasoning in Modal Logic for Uncertain Data, Elisabeth Gavignet and Nadine Cullot. 9. Reviewing the Qualifiers of Imperfection in Geographic Information, Giovanni Fusco and Andrea Tettamanzi. 10. The Features of Decision Aid and? Analysis Processes in Geography: How to Grasp Complexity, Uncertainty, and Risks?, Myriam Merad.

Read more less

Book SynopsisAlmost every month, a new optimization algorithm is proposed, often accompanied by the claim that it is superior to all those that came before it. However, this claim is generally based on the algorithm's performance on a specific set of test cases, which are not necessarily representative of the types of problems the algorithm will face in real life. This book presents the theoretical analysis and practical methods (along with source codes) necessary to estimate the difficulty of problems in a test set, as well as to build bespoke test sets consisting of problems with varied difficulties. The book formally establishes a typology of optimization problems, from which a reliable test set can be deduced. At the same time, it highlights how classic test sets are skewed in favor of different classes of problems, and how, as a result, optimizers that have performed well on test problems may perform poorly in real life scenarios.Table of Contents1. Some Definitions. 2. Difficulty of the Difficulty. 3. Landscape Typology. 4. LandGener. 5. Test Cases. 6. Difficulty vs Dimension. 7. Exploitation and Exploration vs Difficulty. 8. The Explo2 Algorithm. 9. Balance and Perceived Difficulty.

Read more less

Book SynopsisData structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines. A Textbook of Data Structures and Algorithms is a textbook that can be used as course material in classrooms, or as self-learning material. The book targets novice learners aspiring to acquire advanced knowledge of the topic. Therefore, the content of the book has been pragmatically structured across three volumes and kept comprehensive enough to help them in their progression from novice to expert. With this in mind, the book details concepts, techniques and applications pertaining to data structures and algorithms, independent of any programming language. It includes 181 illustrative problems and 276 review questions to reinforce a theoretical understanding and presents a suggestive list of 108 programming assignments to aid in the implementation of the methods covered.Table of ContentsPreface ix Acknowledgments xv Chapter 1. Introduction 1 1.1. History of algorithms 3 1.2. Definition, structure and properties of algorithms 4 1.2.1. Definition 4 1.2.2. Structure and properties 4 1.3. Development of an algorithm 5 1.4. Data structures and algorithms 6 1.5. Data structures -- definition and classification 7 1.5.1. Abstract data types 7 1.5.2. Classification 9 1.6. Algorithm design techniques 9 1.7. Organization of the book 11 Chapter 2. Analysis of Algorithms 13 2.1. Efficiency of algorithms 13 2.2. Apriori analysis 15 2.3. Asymptotic notations 17 2.4. Time complexity of an algorithm using the O notation 19 2.5. Polynomial time versus exponential time algorithms 20 2.6. Average, best and worst case complexities 21 2.7. Analyzing recursive programs 23 2.7.1. Recursive procedures 23 2.7.2. Apriori analysis of recursive functions 27 2.8. Illustrative problems 31 Chapter 3. Arrays 45 3.1. Introduction 45 3.2. Array operations 46 3.3. Number of elements in an array 46 3.3.1. One-dimensional array 46 3.3.2. Two-dimensional array 47 3.3.3. Multidimensional array 47 3.4. Representation of arrays in memory 48 3.4.1. One-dimensional array 49 3.4.2. Two-dimensional arrays 51 3.4.3. Three-dimensional arrays 52 3.4.4. N-dimensional array 53 3.5. Applications 54 3.5.1. Sparse matrix 54 3.5.2. Ordered lists 55 3.5.3. Strings 56 3.5.4. Bit array 58 3.6. Illustrative problems 60 Chapter 4. Stacks 71 4.1. Introduction 71 4.2. Stack operations 72 4.2.1. Stack implementation 73 4.2.2. Implementation of push and pop operations 74 4.3. Applications 76 4.3.1. Recursive programming 76 4.3.2. Evaluation of expressions 79 4.4. Illustrative problems 83 Chapter 5. Queues 101 5.1. Introduction 101 5.2. Operations on queues 102 5.2.1. Queue implementation 102 5.2.2. Implementation of insert and delete operations on a queue 103 5.2.3. Limitations of linear queues 105 5.3. Circular queues 106 5.3.1. Operations on a circular queue 106 5.3.2. Implementation of insertion and deletion operations in circular queue 109 5.4. Other types of queues 112 5.4.1. Priority queues 112 5.4.2. Deques 117 5.5. Applications 119 5.5.1. Application of a linear queue 119 5.5.2. Application of priority queues 120 5.6. Illustrative problems 125 Chapter 6. Linked Lists 143 6.1. Introduction 143 6.1.1. Drawbacks of sequential data structures 143 6.1.2. Merits of linked data structures 145 6.1.3. Linked lists -- structure and implementation 145 6.2. Singly linked lists 147 6.2.1. Representation of a singly linked list 147 6.2.2. Insertion and deletion in a singly linked list 149 6.3. Circularly linked lists 155 6.3.1. Representation 155 6.3.2. Advantages of circularly linked lists over singly linked lists 155 6.3.3. Disadvantages of circularly linked lists 156 6.3.4. Primitive operations on circularly linked lists 158 6.3.5. Other operations on circularly linked lists 159 6.4. Doubly linked lists 160 6.4.1. Representation of a doubly linked list 161 6.4.2. Advantages and disadvantages of a doubly linked list 162 6.4.3. Operations on doubly linked lists 163 6.5. Multiply linked lists 166 6.6. Unrolled linked lists 171 6.6.1. Retrieval of an element 172 6.6.2. Insert an element 172 6.6.3. Delete an element 173 6.7. Self-organizing lists 175 6.8. Applications 175 6.8.1. Addition of polynomials 176 6.8.2. Sparse matrix representation 178 6.9. Illustrative problems 182 Chapter 7. Linked Stacks and Linked Queues 201 7.1. Introduction 201 7.1.1. Linked stack 202 7.1.2. Linked queues 203 7.2. Operations on linked stacks and linked queues 203 7.2.1. Linked stack operations 203 7.2.2. Linked queue operations 204 7.2.3. Algorithms for Push/Pop operations on a linked stack 205 7.2.4. Algorithms for insert and delete operations in a linked queue 206 7.3. Dynamic memory management and linked stacks 209 7.4. Implementation of linked representations 214 7.5. Applications 216 7.5.1. Balancing symbols 216 7.5.2. Polynomial representation 218 7.6. Illustrative problems 222 References 241 Index 243 Summaries of other volumes 245

Read more less

Book SynopsisData structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines. A Textbook of Data Structures and Algorithms is a textbook that can be used as course material in classrooms, or as self-learning material. The book targets novice learners aspiring to acquire advanced knowledge of the topic. Therefore, the content of the book has been pragmatically structured across three volumes and kept comprehensive enough to help them in their progression from novice to expert. With this in mind, the book details concepts, techniques and applications pertaining to data structures and algorithms, independent of any programming language. It includes 181 illustrative problems and 276 review questions to reinforce a theoretical understanding and presents a suggestive list of 108 programming assignments to aid in the implementation of the methods covered.Table of ContentsPreface ix Acknowledgments xv Chapter 8 Trees and Binary Trees 1 8.1 Introduction 1 8.2 Trees: definition and basic terminologies 1 8.2.1 Definition of trees 1 8.2.2 Basic terminologies of trees 2 8.3 Representation of trees 3 8.4 Binary trees: basic terminologies and types 6 8.4.1 Basic terminologies 6 8.4.2 Types of binary trees 7 8.5 Representation of binary trees 8 8.5.1 Array representation of binary trees 8 8.5.2 Linked representation of binary trees 10 8.6 Binary tree traversals 11 8.6.1 Inorder traversal 12 8.6.2 Postorder traversal 16 8.6.3 Preorder traversal 19 8.7 Threaded binary trees 22 8.7.1 Linked representation of a threaded binary tree 24 8.7.2 Growing threaded binary trees 24 8.8 Applications 25 8.8.1 Expression trees 26 8.8.2 Traversals of an expression tree 27 8.8.3 Conversion of infix expression to postfix expression 27 8.8.4 Segment trees 31 8.9 Illustrative problems 42 Chapter 9 Graphs 61 9.1 Introduction 61 9.2 Definitions and basic terminologies 63 9.3 Representations of graphs 75 9.3.1 Sequential representation of graphs 76 9.3.2 Linked representation of graphs 80 9.4 Graph traversals 81 9.4.1 Breadth first traversal 81 9.4.2 Depth first traversal 83 9.5 Applications 87 9.5.1 Single source shortest path problem 87 9.5.2 Minimum cost spanning trees 90 9.6 Illustrative problems 97 Chapter 10 Binary Search Trees and AVL Trees 115 10.1 Introduction 115 10.2 Binary search trees: definition and operations 115 10.2.1 Definition 115 10.2.2 Representation of a binary search tree 116 10.2.3 Retrieval from a binary search tree 117 10.2.4 Why are binary search tree retrievals more efficient than sequential list retrievals? 118 10.2.5 Insertion into a binary search tree 120 10.2.6 Deletion from a binary search tree 122 10.2.7 Drawbacks of a binary search tree 125 10.2.8 Counting binary search trees 128 10.3 AVL trees: definition and operations 130 10.3.1 Definition 131 10.3.2 Retrieval from an AVL search tree 132 10.3.3 Insertion into an AVL search tree 133 10.3.4 Deletion from an AVL search tree 141 10.3.5 R category rotations associated with the delete operation 146 10.3.6 L category rotations associated with the delete operation 150 10.4 Applications 151 10.4.1 Representation of symbol tables in compiler design 151 10.5 Illustrative problems 154 Chapter 11 B Trees and Tries 175 11.1 Introduction 175 11.2 m-way search trees: definition and operations 176 11.2.1 Definition 176 11.2.2 Node structure and representation 176 11.2.3 Searching an m-way search tree 178 11.2.4 Inserting into an m-way search tree 178 11.2.5 Deleting from an m-way search tree 179 11.2.6 Drawbacks of m-way search trees 184 11.3 B trees: definition and operations 184 11.3.1 Definition 184 11.3.2 Searching a B tree of order m 186 11.3.3 Inserting into a B tree of order m 186 11.3.4 Deletion from a B tree of order m 190 11.3.5 Height of a B tree of order m 194 11.4 Tries: definition and operations 195 11.4.1 Definition and representation 195 11.4.2 Searching a trie 197 11.4.3 Insertion into a trie 197 11.4.4 Deletion from a trie 198 11.4.5 Some remarks on tries 200 11.5 Applications 200 11.5.1 File indexing 201 11.5.2 Spell checker 203 11.6 Illustrative problems 204 Chapter 12 Red-Black Trees and Splay Trees 215 12.1 Red-black trees 215 12.1.1 Introduction to red-black trees 215 12.1.2 Definition 216 12.1.3 Representation of a red-black tree 219 12.1.4 Searching a red-black tree 220 12.1.5 Inserting into a red-black tree 220 12.1.6 Deleting from a red-black tree 228 12.1.7 Time complexity of search, insert and delete operations on a red-black tree 236 12.2 Splay trees 236 12.2.1 Introduction to splay trees 236 12.2.2 Splay rotations 237 12.2.3 Some remarks on amortized analysis of splay trees 242 12.3 Applications 244 12.4 Illustrative problems 245 References 261 Index 263 Summaries of other volumes 265

Read more less

Book SynopsisData structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines. A Textbook of Data Structures and Algorithms is a textbook that can be used as course material in classrooms, or as self-learning material. The book targets novice learners aspiring to acquire advanced knowledge of the topic. Therefore, the content of the book has been pragmatically structured across three volumes and kept comprehensive enough to help them in their progression from novice to expert. With this in mind, the book details concepts, techniques and applications pertaining to data structures and algorithms, independent of any programming language. It includes 181 illustrative problems and 276 review questions to reinforce a theoretical understanding and presents a suggestive list of 108 programming assignments to aid in the implementation of the methods covered.Table of ContentsPreface xi Acknowledgments xvii Chapter 13 Hash Tables 1 13.1 Introduction 1 13.1.1 Dictionaries 1 13.2 Hash table structure 2 13.3 Hash functions 4 13.3.1 Building hash functions 4 13.4 Linear open addressing 5 13.4.1 Operations on linear open addressed hash tables 8 13.4.2 Performance analysis 10 13.4.3 Other collision resolution techniques with open addressing 11 13.5 Chaining 13 13.5.1 Operations on chained hash tables 15 13.5.2 Performance analysis 17 13.6 Applications 18 13.6.1 Representation of a keyword table in a compiler 18 13.6.2 Hash tables in the evaluation of a join operation on relational databases 19 13.6.3 Hash tables in a direct file organization 22 13.7 Illustrative problems 23 Chapter 14 File Organizations 33 14.1 Introduction 33 14.2 Files 34 14.3 Keys 36 14.4 Basic file operations 38 14.5 Heap or pile organization 38 14.5.1 Insert, delete and update operations 39 14.6 Sequential file organization 39 14.6.1 Insert, delete and update operations 39 14.6.2 Making use of overflow blocks 40 14.7 Indexed sequential file organization 41 14.7.1 Structure of the ISAM files 41 14.7.2 Insert, delete and update operations for a naïve ISAM file 42 14.7.3 Types of indexing 43 14.8 Direct file organization 48 14.9 Illustrative problems 50 Chapter 15 k-d Trees and Treaps 61 15.1 Introduction 61 15.2 k-d trees: structure and operations 61 15.2.1 Construction of a k-d tree 65 15.2.2 Insert operation on k-d trees 69 15.2.3 Find minimum operation on k-d trees 70 15.2.4 Delete operation on k-d trees 72 15.2.5 Complexity analysis and applications of k-d trees 74 15.3 Treaps: structure and operations 76 15.3.1 Treap structure 76 15.3.2 Operations on treaps 77 15.3.3 Complexity analysis and applications of treaps 82 15.4 Illustrative problems 83 Chapter 16 Searching 93 16.1 Introduction 93 16.2 Linear search 94 16.2.1 Ordered linear search 94 16.2.2 Unordered linear search 94 16.3 Transpose sequential search 96 16.4 Interpolation search 98 16.5 Binary search 100 16.5.1 Decision tree for binary search 101 16.6 Fibonacci search 104 16.6.1 Decision tree for Fibonacci search 105 16.7 Skip list search 108 16.7.1 Implementing skip lists 112 16.7.2 Insert operation in a skip list 113 16.7.3 Delete operation in a skip list 114 16.8 Other search techniques 116 16.8.1 Tree search 116 16.8.2 Graph search 116 16.8.3 Indexed sequential search 116 16.9 Illustrative problems 118 Chapter 17 Internal Sorting 131 17.1 Introduction 131 17.2 Bubble sort 132 17.2.1 Stability and performance analysis 134 17.3 Insertion sort 135 17.3.1 Stability and performance analysis 136 17.4 Selection sort 138 17.4.1 Stability and performance analysis 140 17.5 Merge sort 140 17.5.1 Two-way merging 141 17.5.2 k-way merging 143 17.5.3 Non-recursive merge sort procedure 144 17.5.4 Recursive merge sort procedure 145 17.6 Shell sort 147 17.6.1 Analysis of shell sort 153 17.7 Quick sort 153 17.7.1 Partitioning 153 17.7.2 Quick sort procedure 156 17.7.3 Stability and performance analysis 158 17.8 Heap sort 159 17.8.1 Heap 159 17.8.2 Construction of heap 160 17.8.3 Heap sort procedure 163 17.8.4 Stability and performance analysis 167 17.9 Radix sort 167 17.9.1 Radix sort method 167 17.9.2 Most significant digit first sort 171 17.9.3 Performance analysis 171 17.10 Counting sort 171 17.10.1 Performance analysis 175 17.11 Bucket sort 175 17.11.1 Performance analysis 178 17.12 Illustrative problems 179 Chapter 18 External Sorting 197 18.1 Introduction 197 18.1.1 The principle behind external sorting 197 18.2 External storage devices 198 18.2.1 Magnetic tapes 199 18.2.2 Magnetic disks 200 18.3 Sorting with tapes: balanced merge 202 18.3.1 Buffer handling 204 18.3.2 Balanced P-way merging on tapes 205 18.4 Sorting with disks: balanced merge 206 18.4.1 Balanced k-way merging on disks 207 18.4.2 Selection tree 208 18.5 Polyphase merge sort 212 18.6 Cascade merge sort 214 18.7 Illustrative problems 216 Chapter 19 Divide and Conquer 229 19.1 Introduction 229 19.2 Principle and abstraction 229 19.3 Finding maximum and minimum 231 19.3.1 Time complexity analysis 232 19.4 Merge sort 233 19.4.1 Time complexity analysis 233 19.5 Matrix multiplication 234 19.5.1 Divide and Conquer-based approach to “high school” method of matrix multiplication 234 19.5.2 Strassen’s matrix multiplication algorithm 236 19.6 Illustrative problems 239 Chapter 20 Greedy Method 245 20.1 Introduction 245 20.2 Abstraction 245 20.3 Knapsack problem 246 20.3.1 Greedy solution to the knapsack problem 247 20.4 Minimum cost spanning tree algorithms 249 20.4.1 Prim’s algorithm as a greedy method 250 20.4.2 Kruskal’s algorithm as a greedy method 250 20.5 Dijkstra’s algorithm 251 20.6 Illustrative problems 251 Chapter 21 Dynamic Programming 261 21.1 Introduction 261 21.2 0/1 knapsack problem 263 21.2.1 Dynamic programming-based solution 264 21.3 Traveling salesperson problem 266 21.3.1 Dynamic programming-based solution 267 21.3.2 Time complexity analysis and applications of traveling salesperson problem 269 21.4 All-pairs shortest path problem 269 21.4.1 Dynamic programming-based solution 270 21.4.2 Time complexity analysis 272 21.5 Optimal binary search trees 272 21.5.1 Dynamic programming-based solution 274 21.5.2 Construction of the optimal binary search tree 276 21.5.3 Time complexity analysis 279 21.6 Illustrative problems 280 Chapter 22 P and NP Class of Problems 287 22.1 Introduction 287 22.2 Deterministic and nondeterministic algorithms 289 22.3 Satisfiability problem 292 22.3.1 Conjunctive normal form and Disjunctive normal form 294 22.3.2 Definition of the satisfiability problem 294 22.3.3 Construction of CNF and DNF from a logical formula 295 22.3.4 Transformation of a CNF into a 3-CNF 296 22.3.5 Deterministic algorithm for the satisfiability problem 297 22.3.6 Nondeterministic algorithm for the satisfiability problem 297 22.4 NP-complete and NP-hard problems 297 22.4.1 Definitions 298 22.5 Examples of NP-hard and NP-complete problems 300 22.6 Cook’s theorem 302 22.7 The unsolved problem P = NP 303 22.8 Illustrative problems 304 References 311 Index 313 Summaries of other volumes 317

Read more less

Book SynopsisThe primary aim of this book is to present a coherent introduction to graph theory, suitable as a textbook for advanced undergraduate and beginning graduate students in mathematics and computer science. It provides a systematic treatment of the theory of graphs without sacrificing its intuitive and aesthetic appeal. Commonly used proof techniques are described and illustrated. The book also serves as an introduction to research in graph theory.Trade Reviewdeveloped by Paul Seymour and Neil Robertson and followers), which certainly now deserves a monographic treatment of its own. Summing up: Recommended. Lower-division undergraduate through professional collections. CHOICE This book is a follow-on to the authors' 1976 text, Graphs with Applications. What began as a revision has evolved into a modern, first-class, graduate-level textbook reflecting changes in the discipline over the past thirty years... This text hits the mark by appearing in Springer’s Graduate Texts in Mathematics series, as it is a very rigorous treatment, compactly presented, with an assumption of a very complete undergraduate preparation in all of the standard topics. While the book could ably serve as a reference for many of the most important topics in graph theory, it fulfills the promise of being an effective textbook. The plentiful exercises in each subsection are divided into two groups, with the second group deemed "more challenging". Any exercises necessary for a complete understanding of the text have also been marked as such. There is plenty here to keep a graduate student busy, and any student would learn much in tackling a selection of the exercises... Not only is the content of this book exceptional, so too is its production. The high quality of its manufacture, the crisp and detailed illustrations, and the uncluttered design complement the attention to the typography and layout. Even in simple black and white with line art, it is a beautiful book. SIAM Book Reviews "A text which is designed to be usable both for a basic graph theory course … but also to be usable as an introduction to research in graph theory, by including more advanced topics in each chapter. There are a large number of exercises in the book … . The text contains drawings of many standard interesting graphs, which are listed at the end." (David B. Penman, Zentralblatt MATH, Vol. 1134 (12), 2008) MathSciNet Reviews "The present volume is intended to serve as a text for "advanced undergraduate and beginning graduate students in mathematics and computer science" (p. viii). It is well suited for this purpose. The writing is fully accessible to the stated groups of students, and indeed is not merely readable but is engaging… Even a complete listing of the chapters does not fully convey the breadth of this book… For researchers in graph theory, this book offers features which parallel the first Bondy and Murty book: it provides well-chosen terminology and notation, a multitude of especially interesting graphs, and a substantial unsolved problems section…One-hundred unsolved problems are listed in Appendix A, a treasure trove of problems worthy of study… (In short) this rewrite of a classic in graph theory stands a good chance of becoming a classic itself." "The present volume is intended to serve as a text for ‘advanced undergraduate and beginning graduate students in mathematics and computer science’ … . The writing is fully accessible to the stated groups of students, and indeed is not merely readable but is engaging. The book has many exercise sets, each containing problems … ." (Arthur M. Hobbs, Mathematical Reviews, Issue 2009 C) "A couple of fantastic features: Proof techniques: I love these nutshelled essences highlighted in bordered frames. They look like pictures on the wall and grab the view of the reader. Exercises: Their style, depth and logic remind me of Lovász’ classical exercise book. Also the fact that the name of the author is bracketed after the exercise…Figures: Extremely precise and high-tech…The book contains very recent results and ideas. It is clearly an up-to-date collection of fundamental results of graph theory…All-in-all, it is a marvelous book." (János Barát, Acta Scientiarum Mathematicarum, Vol. 75, 2009)Table of ContentsGraphs.- Subgraphs.- Connected Graphs.- Trees.- Nonseparable Graphs.- Tree-Search Algorithms.- Flows in Networks.- Complexity of Algorithms.- Connectivity.- Planar Graphs.- The Four-Colour Problem.- Stable Sets and Cliques.- The Probabilistic Method.- Vertex Colourings.- Colourings of Maps.- Matchings.- Edge Colourings.- Hamilton Cycles.- Coverings and Packings in Directed Graphs.- Electrical Networks.- Integer Flows and Coverings.

Read more less

Book SynopsisThe aim of the second edition of this book is to provide a comprehensive survey of the different algorithms and data structures useful for triangulation and meshing construction. In addition, several aspects are given full coverage, such as mesh modification tools, mesh evaluation criteria, mesh optimization, adaptive mesh construction and parallel meshing techniques. This new edition has been comprehensively updated and also includes a new chapter on mobile or deformable meshes.Table of ContentsChapter 1. General definitions. Chapter 2. Basic structures and algorithms. Chapter 3. A comprehensive survey of mesh generation methods. Chapter 4. Algebraic, PDE and multibloc methods. Chapter 5. Quadtree-octree-based methods. Chapter 6. Advancing front technique for mesh generation. Chapter 7. Delaunay-based mesh generation methods. Chapter 8. Other types of mesh generation methods. Chapter 9. Delaunay admissibility, media axis, mid-surface and other applications. Chapter 10. Quadratic forms and metrics. Chapter 11. Differential geometry. Chapter 12. Curve modeling. Chapter 13. Surface modeling. Chapter 14. Surface meshing and re-meshing. Chapter 15. Meshing implicit curves and surfaces. Chapter 16. Mesh modifications. Chapter 17. Mesh optimization. Chapter 18. Surface mesh optimization. Chapter 19. A touch of finite elements. Chapter 20. Mesh adaptation and h-methods. Chapter 21. Mesh adaptation and p or hp-methods. Chapter 22. Mobile or deformable meshes. Chapter 23. Parallel computing and meshing issues.

Read more less

Book SynopsisEvolutionary computation algorithms are employed to minimize functions with large number of variables. Biogeography-based optimization (BBO) is an optimization algorithm that is based on the science of biogeography, which researches the migration patterns of species. These migration paradigms provide the main logic behind BBO. Due to the cross-disciplinary nature of the optimization problems, there is a need to develop multiple approaches to tackle them and to study the theoretical reasoning behind their performance. This book explains the mathematical model of BBO algorithm and its variants created to cope with continuous domain problems (with and without constraints) and combinatorial problems.Table of ContentsChapter 1 The Science of Biogeography 1 1.1 Introduction 1 1.2 Island biogeography 3 1.3 Influence factors for biogeography 6 Chapter 2 Biogeography and Biological Optimization 11 2.1 A mathematical model of biogeography 11 2.2 Biogeography as an optimization process 16 2.3 Biological optimization 19 2.3.1 Genetic algorithms 19 2.3.2 Evolution strategies 20 2.3.3 Particle swarm optimization 21 2.3.4 Artificial bee colony algorithm 22 2.4 Conclusion 23 Chapter 3 A Basic BBO Algorithm 25 3.1 BBO definitions and algorithm 25 3.1.1 Migration 26 3.1.2 Mutation 27 3.1.3 BBO implementation 27 3.2 Differences between BBO and other optimization algorithms 35 3.2.1 BBO and genetic algorithms 35 3.2.2 BBO and other algorithms 36 3.3 Simulations 37 3.4 Conclusion 44 Chapter 4 BBO Extensions 45 4.1 Migration curves 45 4.2 Blended migration 49 4.3 Other approaches to BBO 51 4.4 Applications 56 4.5 Conclusion 59 Chapter 5 BBO as a Markov Process 61 5.1 Markov definitions and notations 61 5.2 Markov model of BBO 72 5.3 BBO convergence 79 5.4 Markov models of BBO extensions 90 5.5 Conclusions 99 Chapter 6 Dynamic System Models of BBO 103 6.1 Basic notation 103 6.2 Dynamic system models of BBO 105 6.3 Applications to benchmark problems 119 6.4 Conclusions 122 Chapter 7 Statistical Mechanics Approximations of BBO 123 7.1 Preliminary foundation 123 7.2 Statistical mechanics model of BBO 128 7.2.1 Migration 128 7.2.2 Mutation 134 7.3 Further discussion 141 7.3.1 Finite population effects 141 7.3.2 Separable fitness functions 142 7.4 Conclusions 143 Chapter 8 BBO for Combinatorial Optimization 145 8.1 Traveling salesman problem 147 8.2 BBO for the TSP 148 8.2.1 Population initialization 148 8.2.2 Migration in the TSP 150 8.2.3 Mutation in the TSP 157 8.2.4 Implementation framework 159 8.3 Graph coloring 163 8.4 Knapsack problem 165 8.5 Conclusion 167 Chapter 9 Constrained BBO 169 9.1 Constrained optimization 170 9.2 Constraint-handling methods 172 9.2.1 Static penalty methods 172 9.2.2 Superiority of feasible points 173 9.2.3 The eclectic evolutionary algorithm 174 9.2.4 Dynamic penalty methods 174 9.2.5 Adaptive penalty methods 176 9.2.6 The niched-penalty approach 177 9.2.7 Stochastic ranking 178 9.2.8 ε-level comparisons 178 9.3 BBO for constrained optimization 179 9.4 Conclusion 185 Chapter 10 BBO in Noisy Environments 187 10.1 Noisy fitness functions 188 10.2 Influence of noise on BBO 190 10.3 BBO with re-sampling 193 10.4 The Kalman BBO 196 10.5 Experimental results 199 10.6 Conclusion 201 Chapter 11 Multi-objective BBO 203 11.1 Multi-objective optimization problems 204 11.2 Multi-objective BBO 211 11.2.1 Vector evaluated BBO 211 11.2.2 Non-dominated sorting BBO 213 11.2.3 Niched Pareto BBO 216 11.2.4 Strength Pareto BBO 218 11.3 Real-world applications 223 11.3.1 Warehouse scheduling model 223 11.3.2 Optimization of warehouse scheduling 229 11.4 Conclusion 231 Chapter 12 Hybrid BBO Algorithms 233 12.1 Opposition-based BBO 234 12.1.1 Opposition definitions and concepts 234 12.1.2 Oppositional BBO 236 12.1.3 Experimental results 238 12.2 BBO with local search 240 12.2.1 Local search methods 240 12.2.2 Simulation results 245 12.3 BBO with other EAs 247 12.3.1 Iteration-level hybridization 247 12.3.2 Algorithm-level hybridization 250 12.3.3 Experimental results 254 12.4 Conclusion 256 Appendices 259 Appendix A Unconstrained Benchmark Functions 261 Appendix B Constrained Benchmark Functions 265 Appendix C Multi-objective Benchmark Functions 289 Bibliography 309 Index 325

Read more less

Book SynopsisThe Fourier transform is one of the most fundamental tools for computing the frequency representation of signals. It plays a central role in signal processing, communications, audio and video compression, medical imaging, genomics, astronomy, as well as many other areas. Because of its widespread use, fast algorithms for computing the Fourier transform can benefit a large number of applications. The fastest algorithm for computing the Fourier transform is the Fast Fourier Transform (FFT), which runs in near-linear time making it an indispensable tool for many applications. However, today, the runtime of the FFT algorithm is no longer fast enough especially for big data problems where each dataset can be few terabytes. Hence, faster algorithms that run in sublinear time, i.e., do not even sample all the data points, have become necessary.This book addresses the above problem by developing the Sparse Fourier Transform algorithms and building practical systems that use these algorithms to solve key problems in six different applications: wireless networks; mobile systems; computer graphics; medical imaging; biochemistry; and digital circuits.This is a revised version of the thesis that won the 2016 ACM Doctoral Dissertation Award.Table of Contents Preface 1. Introduction PART I: THEORY OF THE SPARSE FOURIER TRANSFORM 2. Preliminaries 3. Simple and Practical Algorithm 4. Optimizing Runtime Complexity 5. Optimizing Sample Complexity 6. Numerical Evaluation PART II: APPLICATIONS OF THE SPARSE FOURIER TRANSFORM 7. GHz-Wide Spectrum Sensing and Decoding 8. Faster GPS Synchronization 9. Light Field Reconstruction Using Continuous Fourier Sparsity 10. Fast In-Vivo MRS Acquisition with Artifact Suppression 11. Fast Multi-Dimensional NMR Acquisition and Processing 12. Conclusion

Read more less

Book SynopsisThe Fourier transform is one of the most fundamental tools for computing the frequency representation of signals. It plays a central role in signal processing, communications, audio and video compression, medical imaging, genomics, astronomy, as well as many other areas. Because of its widespread use, fast algorithms for computing the Fourier transform can benefit a large number of applications. The fastest algorithm for computing the Fourier transform is the Fast Fourier Transform (FFT), which runs in near-linear time making it an indispensable tool for many applications. However, today, the runtime of the FFT algorithm is no longer fast enough especially for big data problems where each dataset can be few terabytes. Hence, faster algorithms that run in sublinear time, i.e., do not even sample all the data points, have become necessary.This book addresses the above problem by developing the Sparse Fourier Transform algorithms and building practical systems that use these algorithms to solve key problems in six different applications: wireless networks; mobile systems; computer graphics; medical imaging; biochemistry; and digital circuits.This is a revised version of the thesis that won the 2016 ACM Doctoral Dissertation Award.Table of Contents Preface 1. Introduction PART I: THEORY OF THE SPARSE FOURIER TRANSFORM 2. Preliminaries 3. Simple and Practical Algorithm 4. Optimizing Runtime Complexity 5. Optimizing Sample Complexity 6. Numerical Evaluation PART II: APPLICATIONS OF THE SPARSE FOURIER TRANSFORM 7. GHz-Wide Spectrum Sensing and Decoding 8. Faster GPS Synchronization 9. Light Field Reconstruction Using Continuous Fourier Sparsity 10. Fast In-Vivo MRS Acquisition with Artifact Suppression 11. Fast Multi-Dimensional NMR Acquisition and Processing 12. Conclusion

Read more less

Book SynopsisParallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of algorithm design to allow the solutions developed to run efficiently under many different settings. This thesis addresses this challenge using a three-pronged approach consisting of the design of shared-memory programming techniques, frameworks, and algorithms for important problems in computing. The thesis provides evidence that with appropriate programming techniques, frameworks, and algorithms, shared-memory programs can be simple, fast, and scalable, both in theory and in practice. The results developed in this thesis serve to ease the transition into the multicore era.The first part of this thesis introduces tools and techniques for deterministic parallel programming, including means for encapsulating nondeterminism via powerful commutative building blocks, as well as a novel framework for executing sequential iterative loops in parallel, which lead to deterministic parallel algorithms that are efficient both in theory and in practice. The second part of this thesis introduces Ligra, the first high-level shared memory framework for parallel graph traversal algorithms. The framework allows programmers to express graph traversal algorithms using very short and concise code, delivers performance competitive with that of highly-optimized code, and is up to orders of magnitude faster than existing systems designed for distributed memory. This part of the thesis also introduces Ligra , which extends Ligra with graph compression techniques to reduce space usage and improve parallel performance at the same time, and is also the first graph processing system to support in-memory graph compression.The third and fourth parts of this thesis bridge the gap between theory and practice in parallel algorithm design by introducing the first algorithms for a variety of important problems on graphs and strings that are efficient both in theory and in practice. For example, the thesis develops the first linear-work and polylogarithmic-depth algorithms for suffix tree construction and graph connectivity that are also practical, as well as a work-efficient, polylogarithmic-depth, and cache-efficient shared-memory algorithm for triangle computations that achieves a 2–5x speedup over the best existing algorithms on 40 cores.This is a revised version of the thesis that won the 2015 ACM Doctoral Dissertation Award.Table of Contents Introduction Preliminaries and Notation Programming Techniques for Deterministic Parallelism Internally Deterministic Parallelism: Techniques and Algorithms Deterministic Parallelism in Sequential Iterative Algorithms A Deterministic Phase-Concurrent Parallel Hash Table Priority Updates: A Contention-Reducing Primitive for Deterministic Programming Large-Scale Shared-Memory Graph Analytics Ligra: A Lightweight Graph Processing Framework for Shared Memory Ligra : Adding Compression to Ligra Parallel Graph Algorithms Linear-Work Parallel Graph Connectivity Parallel and Cache-Oblivious Triangle Computations Parallel String Algorithms Parallel Cartesian Tree and Suffix Tree Construction Parallel Computation of Longest Common Prefixes Parallel Lempel-Ziv Factorization Parallel Wavelet Tree Construction Conclusion and Future Work Bibliography

Read more less

Book SynopsisParallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of algorithm design to allow the solutions developed to run efficiently under many different settings. This thesis addresses this challenge using a three-pronged approach consisting of the design of shared-memory programming techniques, frameworks, and algorithms for important problems in computing. The thesis provides evidence that with appropriate programming techniques, frameworks, and algorithms, shared-memory programs can be simple, fast, and scalable, both in theory and in practice. The results developed in this thesis serve to ease the transition into the multicore era.The first part of this thesis introduces tools and techniques for deterministic parallel programming, including means for encapsulating nondeterminism via powerful commutative building blocks, as well as a novel framework for executing sequential iterative loops in parallel, which lead to deterministic parallel algorithms that are efficient both in theory and in practice. The second part of this thesis introduces Ligra, the first high-level shared memory framework for parallel graph traversal algorithms. The framework allows programmers to express graph traversal algorithms using very short and concise code, delivers performance competitive with that of highly-optimized code, and is up to orders of magnitude faster than existing systems designed for distributed memory. This part of the thesis also introduces Ligra , which extends Ligra with graph compression techniques to reduce space usage and improve parallel performance at the same time, and is also the first graph processing system to support in-memory graph compression.The third and fourth parts of this thesis bridge the gap between theory and practice in parallel algorithm design by introducing the first algorithms for a variety of important problems on graphs and strings that are efficient both in theory and in practice. For example, the thesis develops the first linear-work and polylogarithmic-depth algorithms for suffix tree construction and graph connectivity that are also practical, as well as a work-efficient, polylogarithmic-depth, and cache-efficient shared-memory algorithm for triangle computations that achieves a 2–5x speedup over the best existing algorithms on 40 cores.This is a revised version of the thesis that won the 2015 ACM Doctoral Dissertation Award.Table of Contents Introduction Preliminaries and Notation Programming Techniques for Deterministic Parallelism Internally Deterministic Parallelism: Techniques and Algorithms Deterministic Parallelism in Sequential Iterative Algorithms A Deterministic Phase-Concurrent Parallel Hash Table Priority Updates: A Contention-Reducing Primitive for Deterministic Programming Large-Scale Shared-Memory Graph Analytics Ligra: A Lightweight Graph Processing Framework for Shared Memory Ligra : Adding Compression to Ligra Parallel Graph Algorithms Linear-Work Parallel Graph Connectivity Parallel and Cache-Oblivious Triangle Computations Parallel String Algorithms Parallel Cartesian Tree and Suffix Tree Construction Parallel Computation of Longest Common Prefixes Parallel Lempel-Ziv Factorization Parallel Wavelet Tree Construction Conclusion and Future Work Bibliography

Read more less

Book SynopsisThis practically-oriented textbook presents an accessible introduction to discrete mathematics through a substantial collection of classroom-tested exercises. Each chapter opens with concise coverage of the theory underlying the topic, reviewing the basic concepts and establishing the terminology, as well as providing the key formulae and instructions on their use. This is then followed by a detailed account of the most common problems in the area, before the reader is invited to practice solving such problems for themselves through a varied series of questions and assignments.Topics and features: provides an extensive set of exercises and examples of varying levels of complexity, suitable for both laboratory practical training and self-study; offers detailed solutions to many problems, applying commonly-used methods and computational schemes; introduces the fundamentals of mathematical logic, the theory of algorithms, Boolean algebra, graph theory, sets, relations, functions, and combinatorics; presents more advanced material on the design and analysis of algorithms, including asymptotic analysis, and parallel algorithms; includes reference lists of trigonometric and finite summation formulae in an appendix, together with basic rules for differential and integral calculus.This hands-on study guide is designed to address the core needs of undergraduate students training in computer science, informatics, and electronic engineering, emphasizing the skills required to develop and implement an algorithm in a specific programming language.Table of ContentsFundamentals of Mathematical Logic Set Theory Relations and Functions Combinatorics Graphs Boolean Algebra Complex Numbers Recurrence Relations Concept of an Algorithm, Correctness of Algorithms Turing Machine Asymptotic Analysis Basic Algorithms Parallel Algorithms

Read more less

Book SynopsisThis must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of information in individual objects. The text covers both the fundamental concepts and the most important practical applications, supported by a wealth of didactic features.This thoroughly revised and enhanced fourth edition includes new and updated material on, amongst other topics, the Miller-Yu theorem, the Gács-Kučera theorem, the Day-Gács theorem, increasing randomness, short lists computable from an input string containing the incomputable Kolmogorov complexity of the input, the Lovász local lemma, sorting, the algorithmic full Slepian-Wolf theorem for individual strings, multiset normalized information distance and normalized web distance, and conditional universal distribution.Topics and features: describes the mathematical theory of KC, including the theories of algorithmic complexity and algorithmic probability; presents a general theory of inductive reasoning and its applications, and reviews the utility of the incompressibility method; covers the practical application of KC in great detail, including the normalized information distance (the similarity metric) and information diameter of multisets in phylogeny, language trees, music, heterogeneous files, and clustering; discusses the many applications of resource-bounded KC, and examines different physical theories from a KC point of view; includes numerous examples that elaborate the theory, and a range of exercises of varying difficulty (with solutions); offers explanatory asides on technical issues, and extensive historical sections; suggests structures for several one-semester courses in the preface.As the definitive textbook on Kolmogorov complexity, this comprehensive and self-contained work is an invaluable resource for advanced undergraduate students, graduate students, and researchers in all fields of science.Table of ContentsPreliminaries Algorithmic Complexity Algorithmic Prefix Complexity Algorithmic Probability Inductive Reasoning The Incompressibility Method Resource-Bounded Complexity Physics, Information, and Computation

Read more less

Book SynopsisModern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, medical-record keeping, government affairs, social media etc. - are based on sophisticated mathematics and algorithms that in implementation involve much computer arithmetic. And for speed it is necessary that the arithmetic be realized at the hardware (chip) level. This book is an introduction to the implementation of cryptosystems at that level.The aforementioned arithmetic is mostly the arithmetic of finite fields, and the book is essentially one on the arithmetic of prime fields and binary fields in the context of cryptography. The book has three main parts. The first part is on generic algorithms and hardware architectures for the basic arithmetic operations: addition, subtraction, multiplication, and division. The second part is on the arithmetic of prime fields. And the third part is on the arithmetic of binary fields. The mathematical fundamentals necessary for the latter two parts are included, as are descriptions of various types of cryptosystems, to provide appropriate context.This book is intended for advanced-level students in Computer Science, Computer Engineering, and Electrical and Electronic Engineering. Practitioners too will find it useful, as will those with a general interest in "hard" applications of mathematics.Table of Contents1 Basic Computer Arithmetic.- 2 Mathematical Fundamentals I: Number Theory.- 3 Modular-Arithmetic Cryptosystems.- 4 Modular Reduction.- 5 Modular Addition and Multiplication.- 6 Modular Exponentiation, Inversion, and Division.- 7 Mathematical Fundamentals II: Abstract Algebra.- 8 Elliptic-Curve Basics.- 9 Elliptic-Curve Cryptosystems.- 10 Polynomial-basis arithmetic.- 11 Normal-basis arithmetic.- A Mathematical Proofs.- Index.

Read more less

Book SynopsisIs everything Information? This is a tantalizing question which emerges in modern physics, life sciences, astronomy and in today’s information and technology-driven society. In Powers of Two expert authors undertake a unique expedition - in words and images - throughout the world (and scales) of information. The story resembles, in a way, the classic Powers of Ten journeys through space: from us to the macro and the micro worlds . However, by following Powers of Two through the world of information, a completely different and timely paradigm unfolds. Every power of two, 1, 2, 4, 8…. tells us a different story: starting from the creation of the very first bit at the Big Bang and the evolution of life, through 50 years of computational science, and finally into deep space, describing the information in black holes and even in the entire universe and beyond…. All this to address one question: Is our universe made of information? In this book, we experience the Information Universe in nature and in our society and how information lies at the very foundation of our understanding of the Universe.From the Foreword by Robbert Dijkgraaf: This book is in many ways a vastly extended version of Shannon’s one-page blueprint. It carries us all the way to the total information content of the Universe. And it bears testimony of how widespread the use of data has become in all aspects of life. Information is the connective tissue of the modern sciences. […] Undoubtedly, future generations will look back at this time, so much enthralled by Big Data and quantum computers, as beholden to the information metaphor. But that is exactly the value of this book. With its crisp descriptions and evocative illustrations, it brings the reader into the here and now, at the very frontier of scientific research, including the excitement and promise of all the outstanding questions and future discoveries.Message for the e-reader of the book Powers of Two The book has been designed to be read in two-page spreads in full screen mode. For optimal reader experience in a downloaded .pdf file we strongly recommend you use the following settings in Adobe Acrobat Reader: - Taskbar: View > Page Display > two page view - Taskbar: View > Page Display > Show Cover Page in Two Page View - Taskbar: ^ Preferences > Full Screen > deselect " Fill screen with one page at a time" - Taskbar: View > Full screen mode or ctrl L (cmd L on a Mac) ***** Note: for reading the previews on Spinger link (and on-line reading in a browser), the full screen two-page view only works with these browsers: Firefox - Taskbar: on top of the text, at the uppermost right you will see then >> (which is a drop-down menu) >> even double pages - Fullscreen: F11 or Control+Cmd+F with Mac Edge - Taskbar middle: Two-page view and select show cover page separatelyTrade Review“The book … a very unusual collection of some facts about the relationship between the immaterial world represented by bits and the real physical world described by fundamental physical equations. This book continues the very categorical point of view of J. A. Wheeler … . The book presents short articles on various areas of modern science … in which it is shown that in these areas in some mysterious way there is a connection with the theory of information.” (Vladimir Dzhunushaliev, zbMATH 1479.83004, 2022)Table of ContentsForeword by Robbert DijkgraafChapter 0: IntroductionJoy-riding the Universe – by the authorWorking as an astronomer, data scientist and professor of astro-informatics for nearly fifty years, Edwin Valentijn has witnessed and first-hand engineered the dawn of the era of Big Data in science and society. Throughout his career, he became increasingly aware of the role of information in our world: in computers, in our society, and even in nature and in the Universe itself.The Information UniverseFollowing the increasing powers of two, the story paints a journey through the whole world of information, both in society and in nature. Each step opens a door into a new world: from the first bits with the Big Bang and the dawn of life, going through fifty years of human technology, all the way up to the information content of the whole Universe.What is Information? - Item pageThe basics of information are introduced.Chapter 1: The beginningSpace-time foam – Ti (0 bit: 20 =1)The very first power of two: 20, corresponds to the value one. This identifies the single, eternal, indistinguishable state: the primordial sea from which our Universe emerged – sometimes called the Space-time foam. I call this Ti, the reverse of It. This is one of the miraculous new notions in the story of the Powers of Two.Multiverse: Anthropic principle (Item page)From Ti, the primordial space-time foam, countless universes arise with widely different characteristics: the Multiverse. The Anthropic Principle is a philosophical consideration which states that we, people, will find ourselves in a universe that is suitable for intelligent life to emerge. Therefore, this Principle demonstrates that conditions in our Universe are not “fine-tuned” to the existence of human life and a “creator” doesn’t exist.Big bang (1 bit: 21 =2 states)At the Big Bang the first bit is created. From the indistinguishable unity of the primordial foam Ti, “the zeros were separated from the 1’s”: the first bit corresponds to two possible states. This bit is the first step on our journey to capture the ever-increasing complexity of our expanding Universe in terms of information, through the increasing powers of two.What is a bit? (Item page)The bit is at the core of the concept of information. A bit is any system that can have two states. Humans assign meanings to these states, which are illustrated with the concept of the traffic light: red or green, stop or go. The combination of multiple bits creates an exponentially increasing number of possible states, and hence meanings.Multicellular life (2 bit: 22 =4 states) / (4 bit: 24 =16 states)?Life started with exchanging information between cells. This is fundamental for the evolution of any kind of life. It took at least two billion years for uni-cellular to evolve into multi-cellular organisms around 600 million years ago, and to start the exchange of information between their different cells. By exchanging information, cells collaborate and act as a unified whole: life.The game of life (Item page)The characteristic features of life (or any complex system in the Universe) can be created from information. A simple computer game is all you need to demonstrate this concept. A famous example is Conway's Game of Life, which is full of visuals of living, growing, moving and dying objects. This game was already made on the computers of the early 70's with just a few lines of code.Chapter 2: People's Information UniverseASCII (7 bit: 27 =128 states)There is currently no physical theory how the digital world connects to the human consciousness. In the world of Information Technology (IT) all information exchange is based on agreements between people. For instance, ASCII, a simple list relating each letter of the alphabet to a 7-bit string, connects the digital world to the human consciousness. Machu Picchu (8 bit: 28 =256, 1 byte)The Intiwatana stone, a giant rock carved by the Inca's of ancient Machu Picchu in Peru, can be considered as a first 8-bit hard disk. Why so? As the sunrays lit the different surfaces of this huge rock throughout the year, it triggered the Inca's activities: sowing, harvesting, celebrating and praying.This ancient stone dissolves both the boundaries between heaven and earth, and those between the digital and natural Information Universe. In fact, the stone represents an ultimate picture of the cross-over between the in vivo and the in vitro Information Universe - a main theme of the book. In vitro being the man made technology to handle information and in vivo being the information built in nature, in this case the orbit and the light rays of the sun.First computers (16 bit: 216 =65.536, 2 byte)When computers emerged in the 1970's, astronomers first adopted them to steer their telescopes. Back then, a maximal effort to understand the mathematics of the problem was needed to squeeze the solution into the small computer memory. Nowadays, with large amounts of computing power and machine learning at their disposal, scientists and computer programmers often do the reverse.Star Peace vs. Star Wars (Item page)King Juan Carlos adored the harmony of galaxies as a source of inspiration for people on earth, in those days when Ronald Reagan was promoting his Star-wars programme. With this adoration in mind, in 1985, he gave an inspiring speech at the Royal inauguration of the international astronomical observatory on La Palma, Canary Islands. The inauguration was attended by, for those days, an unprecedented large crowd of European royals and government officials despite the great threat of terrorist attacks by the ETA. (the next and later spreads on facts vs fakes elucidate the relevance of this spread in the story line).Pre-internet Facts and Fakes (Item page)“Edwin Valentijn saved the life of the Dutch Queen Beatrix by catching her just before falling off a cliff at the inauguration on La Palma”, according to the headlines in Dutch newspapers. Fake news-stories are at all times alike and can only be dispelled by tracing links of information to their source, links or associations being a fundamental property of the Information Universe. Later, I discuss the less innocent case of overdrawing attention to terrorist attacks in the past decade.Hard disk (24 bit: 224 =1.6*107, 2 Mb)Only sixty years ago, a 5 MB hard disk weighed over five tons, and had to be loaded onto an aeroplane by using a truck. Now, we carry a thousand times more information in our trouser pocket. This demonstrates the amazing advance of information technology over the past decades. (Picture: first IBM hard disk loaded onto a plane).The telephone (Item page) As a precursor of the Internet, the telephone offered many of the same advantages and dangers, and was heavily discussed at its introduction. Whether telephone or the Internet, it all revolves around communication or copying of information. The telephone, as example of it, is one of the major discoveries of the 20th century. DNA (32 bit: 232 = 4*109, 500 Mb) – Guest author: Charley Lineweaver The information in the DNA creates life. All base pairs of the human DNA can be stored on a 500 Mb drive. How is this information communicated? How does a cell know it has to build part of a liver and not an eye, while they all have the same DNA? Apoptosis and the role of information exchange.Where does biological Information come from? (Item page) – Guest author: Charley Lineweaver Charley Lineweaver, expert on evolutionary biology, exoplanetology and astrobiology, will expand on the role of information in the evolution of life.Lifelines (Item page) – Guest author: Morris SwertzWhat is the role of nature versus that of nurture? A key question in modern health research. In Lifesciences, this question is addressed now using Big Data, like the astronomers who acquire huge data volumes to address the same question on the nature of galaxies. In Lifelines, a cohort of 165.000 people is studied over a period of 30 years using hospital data, blood samples and DNA scans.DVD (33 bit: 233 =9*109, 1 Gb)It’ s amazing how fast the digital image revolution went since 1989.30 years ago, Philips lab approached me since they had made a big discovery: it was possible to store many digital images on a CD. They were chasing me for digital images. While NASA had less than a thousand, I had 32.000 galaxy images obtained by scanning photographic plates from the European Southern Observatory – the first large digital image collection.Human Brain (36 bit: 236 =7*1010, 9 Gb) – Guest author: Katrin Amunts- JulichIn the large EU human brain project, the activities of the human brain are simulated in computers. This is a very difficult mission since the transistors in computers consume 100.000 billion times more energy than the synapsis of neurons. Our brains consist of 1011 neurons, corresponding to 9 Gb of data.Thinking of Karlheinz Meier, coordinator of the Human Brain Project in Heidelberg, Katrin Amunts will author two spreads on the role of information in the human brain.Neuromorphic computing – Guest author: Katrin AmuntsCurrently, it takes a hundred years of a supercomputer’s time to compete with the learning power of only a single day of the human brain. “Neuromorphic computing” researchers design electronic systems inspired by the human brain, in order to make computers many times faster and more energy efficient.CT scan (38 bit: 238 =3*1011, 34 Gb) – Guest author: Anders YnnermanNow it is possible to look inside animal and human bodies on touchscreens. Forensic investigations on, for instance, corpses of victims can be done with touch-screen tables. You can look inside, rotate, scroll and zoom animal and human bodies using tens of gigabytes of CT scan data. Prof. Anders Ynnerman explains how he does it.Terabytes (45 bit: 245 =4.4*1012, 1 Tb) - The largest (astronomical) datasetsDark energy and dark matter: two mysterious constituents of our Universe. How do astronomers get and handle the data from the VLT Survey Telescope on a high mountain top in Chile to shed lights on these ‘still too dark’ topics. This Telescope surveys the sky every hour at night generating Terabytes of astronomical data.Gravity as a lens (Item page) – Guest author: Margot BrouwerWhen light rays are bent by the gravity of a heavy object, this object acts as a lens. This effect can be used to map dark matter, which is invisible but constitutes 80% of the matter in our visible Universe. In 1915, Albert Einstein posed that gravity is equivalent to the curvature of the fabric of space and time itself, leading to the lensing effect.Weak gravitational lensing surveys – Guest author: Margot BrouwerTerabytes of astronomical data are reduced to a few numbers, describing how dark matter behaves and what is its true nature. https://www.youtube.com/watch?v=ZCyYGWqCmFw&t=23sEntering the Petabyte regime (53 bit: 253 =1*1015, 1 Pb)How do we technically acquire and deal with Petabytes of data?Dark Matter maps (Item page)A first dark matter map projected on the night sky. An ultimate encounter between the digital world of modern astronomical observations, and nature: the mysterious dark matter mapped on top of the everyday “night” stellar sky. A visualization that condenses Terabytes of astronomical data to a simple map.Metadata for Peta-data (62 bit: 262 =6*1017, 600 Pb)With pointers, one can connect everything in the Information Universe. Pointers are often inserted in Metadata (data about data) - an ultimate tool for dealing with Big Data. It is possible to create unique pointers to hundreds of Petabytes of data, using a string of less than 64 bits. This is what makes pointers so powerful and indispensable in current and future stages of the big data era; not only for astronomical research, but also for companies like Google, Amazon and Facebook.Downloading the Universe (Item page)The universe can be seen as a spreadsheet, certainly in the way we map it on our computers (in vitro), but also in nature (in vivo). Perceiving the Universe as a spreadsheet links bit to It.Meta data (Item page)A visualisation of the enormous complexity of data models which trace all pointers between data items. (picture: thrilling still from a full dome animation of a data model)Future (astronomical) datasets (item page)While current telescopes collect astronomical datasets of Terabytes, future telescopes such as the LSST and the Euclid satellite, instead, will collect Petabytes. These enormous amounts of data need a whole new approach to data management. For the Euclid satellite my “Universe as a spreadsheet” approach has been adopted.The Euclid satellite (Item page) – Guest author: Margot BrouwerEuclid is ESA’s new space mission to map the Dark Universe. At a distance of 1.5 million kilometres from Earth, this telescope will observe billions of galaxies. Its goal: to shed light on the nature of Dark Matter and Dark Energy, which make up 95% of our Universe. Dr. Margot Brouwer, Dutch scientific communication officer for Euclid, will explain more.The Information Universe (Item page)The resemblance of the overall structure of the real observed Universe (in vivo) with the simulated universe (in vitro), based on the concurrent cosmological model, gave a lot of credit to the latter. When we zoom out the Universe, we see billions of galaxies forming a web-like structure. Amazingly, astronomers can now compute and simulate these structures with very large supercomputers.The lost boy (Item page)Information is timeless, and knows no boundaries. It crosses over the in vivo and the in vitro Information Universe. This concept is well illustrated through daily life stories involving time. At the age of five, a boy loses sight of his older brother on a train in India, and eventually gets lost on the streets of Mumbai. Twenty years later, after being adopted by a family in Australia, he is able to find his natural mother (in vivo) through only searching on Google maps (in vitro).Qbits (50 qbit: 250 =1.1*1015 qbit, 1 Pbit) – Guest author: Lieven VandersypenUsing fundamental particles (quanta, such as electrons) to perform calculations and build computers, is one of the most exciting cross-overs between the in vivo and the in vitro Information Universe. Prof. Lieven Vandersypen, who leads a Quantum Computing group at TU Delft in the Netherlands, will explain how this technology will change the way we compute.Quantum entanglement (Item page) – Guest author: Lieven VandersypenThe states of two particles can be intimately linked (entangled), no matter how far they are separated. What Einstein famously dismissed as “spooky action at a distance”, can now be established on demand at TU Delft in the Netherlands. Prof. Vandersypen will explain how his research group, for the first time ever, both create and apply this entanglement in laboratory.Entanglement (item page) - EVThe Square Kilometre Array (64 bit: 264 =1.3*1018, 1 Eb) – Guest author: TBAThe Square Kilometre Telescope will collect data at the rate of the global internet traffic of 2013, in its endeavour to answer fundamental questions about the origin and evolution of the Universe, and its search for extra-terrestrial life.Cryptography (128 bit: 2128 =3.4*1038) – Guest author Tanja LangeEncrypted messages should not be decoded by adversaries, be they criminals or hostile countries. Cryptography enables secure communications and is one of the few applications which require 128-bit numbers. A guest author will explain more.Chapter 3: Deep spaceThe Desert (128-256 bit) Theoretical physics is not progressing much in the last decennia – some call it a crisis. Likely, an observational breakthrough is out of reach: the highest man-made information density on earth is produced by the high energy accelerators at CERN. But these accelerators have to be 1013 -1015 more powerful to reach the fundamental unit of information, which is probably at the same level of the Planck length. Unfortunately, there is no way to reach this unit of information with these instruments. This enormous gap in reaching all the domains in the Information Universe is illustrated in a figure and in a very sobering, but instructive table in the Appendix.Black holes (128-256 bit?) – Guest author: Manus VisserCan information disappear into a black hole? The Information paradox. Stephen Hawking wondered it and started a field in which space and time are described in terms of information. Dr. Manus Visser, expert on gravity and space-time, will explain more.Observing a Black Hole: Event Horizon Telescope – Guest author: Heino FalckeThe first image of a black hole. Prof. Heino Falcke, chair of the Event Horizon Telescope Science Council, will explain how information from a world-wide network of telescopes was combined using atomic clocks, to create the first ever image of a black hole. (Picture: first image of a black hole)Cogwheels: a deeper level – Guest author: Gerard 't HooftNobel laureate ‘t Hooft explains his views on cogwheels, carrying the fundamental information in the Universe.Gravitational waves – Guest author: Chris van den BroeckLinks: The Universe as a spreadsheetLinks, joins, references, URLs, blockchain, associations and even entanglement in physics are all different words for the same building block, forming the connections in the Information Universe.Cosmic Microwave Background – Guest author: Margot BrouwerParticles of light created in the hot and dense state of the Universe after the Big Bang are still flying through the Universe today. Together, these 1077 photons contain the largest amount of information known in the Universe. This information can still be accessed through telescopes, and brings us invaluable information about the dawn of our Universe.Emergent Gravity – Guest author: Erik VerlindeProf. Erik Verlinde, professor of theoretical physics at the University of Amsterdam, won the Spinoza prize for his new theory explaining gravity. In his theory, all matter, space and time consist of information and are all connected by entanglement. If this theory is correct, the information content of the entire Universe is 2399. This is the highest power described in this book, and actually, in physics.Chapter 4: It from BitOne big information processing machine – Guest author: Gerard 't Hooft (TBC)t Hooftt Hooft: : ““there is something happening at a different level of nature”there is something happening at a different level of nature”..On the origin of physical information. – Guest author: Stefano GottardiThe ear In the ear information is copied a dozen times!The eye – on the visual perception of data- climate change. Links to - facts and fakes- the system of ScienceThe System of ScienceHow does this system work? Discussing Hegel’s system of science, logic, technology, Nature, life, physics, consciousness.Artificial IntelligenceThe machine learning and the data-base oriented communities are still living on different planets. I discuss and revisit Tegmark’s recent book Life 3.0 by comparing 3 crosscuts through the Information Universe: i) the classical computer centric view ii) the data centric view iii) the artificial intelligence view.Information densityThe average information density of the universe can be compared to that of written text.Black Body radiation On the information aspects of the third big physical breakthrough of the 20th century (next to General relativity and quantum mechanics).EntropyDiscussing Shannon’s work and identifying that “Information only exists in relation to its environment”. Examples will be given.Cosmic information, cosmogenesis and dark energy by PadmanabhanCosmic information connects the cosmological constant to cosmogenesisIt from BitIs the Universe one big information processing machine?ConsciousnessVery little is known about the consciousness and I refrain from addressing the consciousness per se. A relevant list of about 5 facts we do know are listed. Any view on the relation between the consciousness and the Information Universe should at least deal with this list.Somnium – Musician Jacco Gardner performing at DOTLiveplanetarium at Eurosonic 2019 show case music festival- Inspired by Kepler’s Somnium – directed by EV The Information UniverseAn overview.Facts and fakesHow is all this related to the current facts and fakes issues on the Internet? How do you make sure that what you are reading is accurate and comes from a reliable source?The link between Open Science, FAIR and reliability of data.

Read more less

Book SynopsisSecurity Policies and Access Control.- Public key encryption, digital signatures.- Number theory, primality tests, discrete log, factorisation.- Public-key cryptography, hardware, physical attacks.- Implementation aspects of cryptographic algorithms.- Hardware attacks.- Multi-party computation, voting schemes, digital signature schemes.- Web security.- DBMS and Application Security.- Biometrics.- Software Security.- Network Security.- Formal Methods and Assurance.- Sensor and Ad Hoc Networks.- DOS.- Privacy-preserving data mining.- Private information retrieval.- Privacy metrics and data protection.- Wireless Security.- Broadcast channel, secret sharing, threshold schemes, subliminal channels.- Risk management and organizational security and privacy.- Usable/user-centric privacy.- Less-constrained biometrics.- Access and Query Privacy.- Cryptocurrencies.- Encryption-Based Access Control Based on Public Key Cryptography.- Cyber-physical systems and infrastructure: security andprivacy.- Location privacy and privacy in locations-based applications.- Privacy in emerging scenarios.- Privacy and security in social networks.- Economics of security and privacy.- Key management.- Elliptic curve cryptography.- Sequences, Boolean functions, stream ciphers.- Secure multiparty computations.- Human Aspects in Security and Privacy.- Trustworthy Computing, Physical/Hardware Security.- AI approaches for security and privacy.- Privacy and anonymity in communication networks.- Privacy laws and directives.

Read more less

Book SynopsisThis textbook offers an algorithmic introduction to the field of computer algebra. A leading expert in the field, the author guides readers through numerous hands-on tutorials designed to build practical skills and algorithmic thinking. This implementation-oriented approach equips readers with versatile tools that can be used to enhance studies in mathematical theory, applications, or teaching. Presented using Mathematica code, the book is fully supported by downloadable sessions in Mathematica, Maple, and Maxima. Opening with an introduction to computer algebra systems and the basics of programming mathematical algorithms, the book goes on to explore integer arithmetic. A chapter on modular arithmetic completes the number-theoretic foundations, which are then applied to coding theory and cryptography. From here, the focus shifts to polynomial arithmetic and algebraic numbers, with modern algorithms allowing the efficient factorization of polynomials. The final chapters offer extensions into more advanced topics: simplification and normal forms, power series, summation formulas, and integration. Computer Algebra is an indispensable resource for mathematics and computer science students new to the field. Numerous examples illustrate algorithms and their implementation throughout, with online support materials to encourage hands-on exploration. Prerequisites are minimal, with only a knowledge of calculus and linear algebra assumed. In addition to classroom use, the elementary approach and detailed index make this book an ideal reference for algorithms in computer algebra.Trade Review“Strong interplay between the abstract exposition, which includes the relevant theorems as well as their proofs, and the practical utilization of those concepts in Mathematica is certainly a remarkable feature of this textbook. … Overall, the book is very well written and the approach to provide examples as actual Mathematica sessions is commendable.” (Andreas Maletti, zbMATH 1484.68004, 2022)Table of Contents

Read more less

Book SynopsisThis book provides empirical evidence and statistical analyses to uncover answers to some of the most debated questions in the NBA. The sports world lives and breathes off of debates on who deserves an MVP award, and which athletes should be considered all-stars. This book provides some statistics-backed perspectives to some of these debates that are specific to the NBA. Was LeBron snubbed of an MVP in the 2010-2011 season? Why has the G.O.A.T. debate turned into LeBron vs. Jordan….Did Kobe get overlooked? How come Klay Thompson didn’t get All-NBA honors in the 2018-2019 season? This book explores these questions and many more with empirical evidence. This book is invaluable for any undergraduate or masters level course in sport analytics, sports marketing, or sports management. It will also be incredibly useful for scouts, recruiters, and general managers in the NBA who would like to use analytics in their work.Table of ContentsIntroduction.- 1. Da Real MVP.- 2. A Tribe of Goats.- 3. The Myth of the Superteam.- 4. Hey Now, You're an All-Star...But Are You All-NBA?- 5. Small Ball in a Big Man's Game.- 6.Is the Clutch Gene Real.- 7. Offense Wins Games, But Does Defense Win Championships? - 8. Strategic Implications of the Findings in This Book.- 9. Debates the Future Work Should Consider.

Read more less

Book SynopsisThis book addresses controversies concerning the epistemological foundations of data science: Is it a genuine science? Or is data science merely some inferior practice that can at best contribute to the scientific enterprise, but cannot stand on its own? The author proposes a coherent conceptual framework with which these questions can be rigorously addressed. Readers will discover a defense of inductivism and consideration of the arguments against it: an epistemology of data science more or less by definition has to be inductivist, given that data science starts with the data. As an alternative to enumerative approaches, the author endorses Federica Russo’s recent call for a variational rationale in inductive methodology. Chapters then address some of the key concepts of an inductivist methodology including causation, probability and analogy, before outlining an inductivist framework. The inductivist framework is shown to be adequate and useful for an analysis of the epistemological foundations of data science. The author points out that many aspects of the variational rationale are present in algorithms commonly used in data science. Introductions to algorithms and brief case studies of successful data science such as machine translation are included. Data science is located with reference to several crucial distinctions regarding different kinds of scientific practices, including between exploratory and theory-driven experimentation, and between phenomenological and theoretical science. Computer scientists, philosophers and data scientists of various disciplines will find this philosophical perspective and conceptual framework of great interest, especially as a starting point for further in-depth analysis of algorithms used in data science. Trade Review“Readers are taken on a journey where they will discover step-by-step methodologies for data-driven research. Judiciously, each key concept of data science is concisely defined, and examples and the when, why, and how to use them are provided. … I fully recommend it.” (Thierry Edoh, Computing Reviews, February 7, 2023)Table of ContentsPreface.- Chapter 1. Introduction.- Chapter 2. Inductivism.- Chapter 3. Phenomenological Science.- Chapter 4. Variational Induction.- Chapter 5. Causation As Difference Making.- Chapter 6. Evidence.- Chapter 7. Concept Formation.- Chapter 8. Analogy.- Chapter 9. Causal Probability.- Chapter 10. Conclusion.- Index.

Read more less

Book SynopsisIn this monograph, the authors develop a methodology that allows one to construct and substantiate optimal and suboptimal algorithms to solve problems in computational and applied mathematics. Throughout the book, the authors explore well-known and proposed algorithms with a view toward analyzing their quality and the range of their efficiency. The concept of the approach taken is based on several theories (of computations, of optimal algorithms, of interpolation, interlination, and interflatation of functions, to name several). Theoretical principles and practical aspects of testing the quality of algorithms and applied software, are a major component of the exposition. The computer technology in construction of T-efficient algorithms for computing ε-solutions to problems of computational and applied mathematics, is also explored. The readership for this monograph is aimed at scientists, postgraduate students, advanced students, and specialists dealing with issues of developing algorithmic and software support for the solution of problems of computational and applied mathematics.Table of Contents-Preface.- Introduction.- List of symbols and abbreviations.- 1. Elements of the computing theory.- 2. Theories of computational complexity.- 3. Interlination of functions.- 4. Interflatation of functions.- 5. Cubature formulae using interlanation functions.- 6. Testing the quality of algorithm programs.- 7. Computer technologies of solving problems of computational and applied mathematics with fixed values of quality characteristics.- Bilbiography.- Index.- About the Authors.

Read more less

Book SynopsisThis book is devoted to intelligent models and algorithms as the core components of cyber-physical systems. The complexity of cyber-physical systems developing and deploying requires new approaches to its modelling and design. Presents results in the field of modelling technologies that leverage the exploitation of artificial intelligence, including artificial general intelligence (AGI) and weak artificial intelligence. Provides scientific, practical, and methodological approaches based on bio-inspired methods, fuzzy models and algorithms, predictive modelling, computer vision and image processing. The target audience of the book are practitioners, enterprises representatives, scientists, PhD and Master students who perform scientific research or applications of intelligent models and algorithms in cyber-physical systems for various domains.Table of ContentsBio-inspired modelling.- Fuzzy models and algorithms.- Predictive modelling.- Computer Vision and Image Processing.

Read more less

Book SynopsisThis book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, parameter settings for controlling different processes, transportation problems, machine scheduling, air pollution modeling, solving multiple integrals and systems of differential and integral equations which describe real processes, solving engineering and financial problems.It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming Monte Carlo method and others. This research demonstrates how some real-world problems arising in engineering, economics and other domains can be formulated as optimization problems.Table of ContentsLearning to Optimize.- Optimal seating assignment in the COVID-19 era via Quantum Computing.- Hybrid Ant Colony Optimization Algorithms – Behaviour Investigation Based on Intuitionistic Fuzzy Logic.- Scheduling algorithms for single machine problem with release and delivery times.- Key Performance Indicators to Improve e-Mail Service Quality through ITIL Framework.- Contemporary Bioprocesses Control Algorithms for Educational Purposes.- Monitoring a Fleet of Autonomous Vehicles through A* like Algorithms and Reinforcement Learning.- Rather "good in, good out" than "garbage in, garbage out": A comparison of various discrete subsampling algorithms using COVID-19 data without a response variable.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, held in Halifax, NS, Canada, in June 2022. The 39 full papers presented together with 7 short papers were selected from 113 submissions. The papers are grouped in topical sections on knowledge-based system; machine learning; medical image processing; predictive modeling; natural language processing.Table of ContentsKnowledge-Based Systems Explainable Decision Support Using Task Network Models in Notation.- Computerizing Lipid Management Clinical Guidelines as Interactive Task Networks.- Towards an AI planning-based pipeline for the management of multimorbid patients.- A Knowledge Graph Completion Method Applied to Literature-Based Discovery for Predicting Missing Links Targeting Cancer Drug Repurposing.- Ontological Representation of Causal Relations for a Deep Understanding of Associations between Variables in Epidemiology.- Explainable Clinical Decision Support: Towards Patient-Facing Explanations for Education and Long-term Behavior Change.- Machine Learning Assessing Knee Biomechanical Osteoarthritis Severity and Biomechanical Changes After Total Knee Arthroplasty Using Self-Organizing Maps.- NeuralSympCheck: A Symptom Checking and Disease Diagnostic Neural Model with Extracting Surrogate Decision Trees from Black-box Models to Explain the Temporal Importance of Clinical Features in Predicting Kidney Graft Survival.- Recurrence and Self-Attention vs the Transformer for Time-Series Classification: A Comparative Study.- Integrating Graph Convolutional Neural Networks and Long Short-Term Memory for Efficient Diagnosis of Autism.- Hierarchical Deep Multi-task learning for Classification of Patient Diagnoses.- TTS-GAN: A Transformer-based Time-Series Generative Adversarial Network.- Predicting Next Kidney Offer for Transplant Candidate Declining Current One.- Wrist Ultrasound Segmentation by Deep Learning.- Early Detection and Classification of Patient-Ventilator Asynchrony using Machine Learning.- On graph construction for classification of clinical trials protocols using Graph Neural Networks.- Medical Image Processing Malignant Mesothelioma Subtyping of Tissue Images via Sampling Driven Multiple Instance Prediction.- Calibrating Histopathology Image Classifiers using Label Smoothing.- InvUNET: Involuted UNET for Breast Tumor Segmentation from Ultrasound.- MRI reconstruction with LassoNet and compressed sensing.- Predictive Modeling A 3-window-based framework for the discovery of predictive functional dependencies from clinical data.- When can I expect the mHealth user to return? Prediction meets time series with gaps.- A novel survival analysis approach to predict the need for intubation in intensive care units.- Awareness of being tested and its effect on reading behaviour.- Natural Language Processing Generating extremely short summaries from the scientific literature to support decisions in primary healthcare: a human evaluation study.- A Russian Medical Language Understanding Benchmark.- Biomedical Semantic Textual Similarity: Evaluation of Sentence Representations Enhanced With Principal Component Reduction and Word Frequency Weighting.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.Table of ContentsTheoretical Advances.- Application Domains.- Tool Presentation.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022. The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions. 8 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Read more less

Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022. The conference was originally planned to take place in Guangzhou, China, but changed to a virtual event due to the COVID-19 pandemic.The 41 regular papers included in this book were carefully reviewed and selected from 59 submissions. Table of ContentsAn improvement of the bound on the odd chromatic number of 1-planar graphs.- AoI Minimizing of Wireless Rechargeable Sensor Network based on Trajectory Optimization of Laser-Charged UAV.- Monotone k-Submodular Knapsack Maximization: An Analysis of the Greedy+Singleton Algorithm.- The constrained parallel-machine scheduling problem with divisible processing times and penalties.- Energy-constrained Geometric Covering Problem.- Fast searching on $k$-combinable graphs.- Three Algorithms for Converting Control Flow Statements from Python to XD-M.- Class Ramsey numbers involving induced graphs.- An Approximation Algorithm for the Clustered Path Travelling Salesman Problem.- Hyperspectral Image Reconstruction for SD-CASSI systems based on Residual Attention Network.- Improved Approximation Algorithm for the Asymmetric Prize-Collecting TSP.- Injective edge coloring of power graphs and necklaces.- Guarantees for Maximization of $k$-Submodular Functions with a Knapsack and a Matroid Constraint.- Incremental SDN Deployment to Achieve Load Balance in ISP Networks.- Approximation scheme for single-machine rescheduling with job delay and rejection.- Defense of Scapegoating Attack in Network Tomography.- A Binary Search Double Greedy Algorithm for Non-monotone DR-submodular Maximization.- Streaming Adaptive Submodular Maximization.- Constrained Stochastic Submodular Maximization with State-Dependent Costs.- Online early work maximization problem on two hierarchical machines with buffer or rearrangements.- Polynomial time algorithm for k-vertex-edge dominating problem in interval graphs.- Adaptive Competition-based Diversified-profit Maximization with Online Seed Allocation.- Collaborative Service Caching in Mobile Edge Nodes.- A Decentralized Auction Framework with Privacy Protection in Mobile Crowdsourcing.- On-line single machine scheduling with release dates and submodular rejection penalties.- Obnoxious Facility Location Games with Candidate Locations.- Profit Maximization for Multiple Products in Community-based Social Networks.- MCM: A Robust Map Matching Method by Tracking Multiple Road Candidates.- Security on Ethereum: Ponzi Scheme Detection in Smart Contract.- Cyclically orderable generalized Petersen graphs.- The r-dynamic chromatic number of planar graphs without special short cycles.- Distance Labeling of the Halved Folded $n$-Cube.- Signed network embedding based on muti-attention mechanism.- Balanced Graph Partitioning based on Mixed 0-1 Linear Programming and Iteration Vertex Relocation Algorithm.- Partial inverse min-max spanning tree problem under the weighted bottleneck Hamming distance.- Mixed Metric Dimension of Some Plane Graphs.- The Optimal Dynamic Rationing Policy in the Stock-Rationing Queue.- Pilot Pattern Design with Branch and Bound in PSA-OFDM System.- Bicriteria Algorithms for Maximizing the Difference Between Submodular Function and Linear Function under Noise.- On the Transversal Number of k-Uniform Connected Hypergraphs.- Total coloring of planar graphs without some adjacent cycles.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Münster, Germany, in September 2022. The 22 papers included in this book were carefully reviewed and selected from 98 submissions. They were organized in topical sections as follows: task mining; design methods; process mining; process mining practice; analytics; and systems. The book also includes one keynote talk in full-paper length and 5 tutorial papers. Table of ContentsKeynote.- Advancing Business Process Science via the Co-Evolution of Substantive and Methodological Knowledge.- Tutorials.- BPM in Digital Transformation: New Tools and Productivity Challenges.- Multi-Dimensional Process Analysis.- Theory and Practice - What, With What and How Is Business Process Management Taught at German Universities.-How to Leverage Process Mining in Organizations - Towards Process Mining Capabilities.- Mastering Robotic Process Automation with Process Mining.- Task Mining.- A Reference Data Model for Process-Related User Interaction Logs.- Analysing Variable Human Actions for Robotic Process Automation.- The SWORD is Mightier than the Interview: A Framework for Semi-automatic WORkaround Detection.- Design Methods.- Back to the Roots – Investigating the Theoretical Foundations of Business Process Maturity Models.- Applying Process Mining in Small and Medium sized IT Enterprises – Challenges and Guidelines.- A Process Mining Success Factors Model.- Process Mining.- No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining.- A Purpose-Guided Log Generation Framework.- Conformance Checking with Uncertainty via SMT.- Process Mining Practice.- The Dark Side of Process Mining. How Identifiable Are Users Despite Technologically Anonymized Data? A Case Study From the Health Sector.- Analyzing How Process Mining Reports Answer Time Performance Questions.- Process Mining of Knowledge-Intensive Processes: An Action Design Research Study in Manufacturing.- Process Mining Practices: Evidence from Interviews.- Analytics.- Measuring Inconsistency in Declarative Process Specifications.- Understanding and Decomposing Control-Flow Loops in Business Process Models.- Reasoning on Labelled Petri Nets and their Dynamics in a Stochastic Setting.- Incentive Alignment through Secure Computations.- Business Process Simulation with Differentiated Resources: Does it Make a Difference.- Uncovering Object-centric Data in Classical Event Logs for the Automated Transformation from XES to OCEL.- Systems.- Why Companies Use RPA: A Critical Reflection of Goals.- A trustworthy decentralized change propagation mechanism for declarative choreographies.- Architecture of decentralized Process Management Systems.

Read more less

Book SynopsisThis book gives a detailed information of various real-life applications from various fields using nature inspired optimization techniques. These techniques are proven to be efficient and robust in many difficult problems in literature. The authors provide detailed information about real-life problems and how various nature inspired optimizations are applied to solve these problems. The authors discuss techniques such as Biogeography Based Optimization, Glow Swarm Optimization, Elephant herd Optimization Algorithm, Cuckoo Search Algorithm, Ant Colony Optimization, and Grey Wolf Optimization etc. These algorithms are applied to a wide range of problems from the field of engineering, finance, medicinal etc. As an important part of the Women in Science and Engineering book series, the work highlights the contribution of women leaders in nature inspired optimization, inspiring women and men, girls and boys to enter and apply themselves to the field.Table of Contents1) AN OVERVIEW OF SWARM INTELLIGENCE BASED ALGORITHMS2) Particle Swarm Optimization and its Applications in the Manufacturing Industry3) Role of Machine Learning in Bioprocess Engineering: Current Perspectives and Future Directions 4) Advanced Selection Operation for Differential Evolution Algorithm 5) Profit Optimization of Two-Unit Briquetting System using grey wolf Optimization algorithm 6) Solving Portfolio optimization using Sine-cosine Algorithm embedded mutation operations7) Detecting Group Shilling Profiles in Recommender Systems: A Hybrid Clustering and Grey Wolf Optimizer Technique8) SINGLE IMAGE REFLECTION REMOVAL USING DEEP LEARNING 9) Social media analysis: A tool for popularity prediction using machine learning classifiers

Read more less

Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.The 37 full papers in this book were reviewed and selected from 67 submissions. Another 10 demonstrations papers were selected from 11 submissions are presented here as short papers. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

Read more less

Book SynopsisThis book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area. Table of ContentsJURISIN 2022.- Differential-aware Transformer for Partially Amended Sentence Translation.- On Complexity and Generality of Contrary Prioritized Defeasible Theory.- Mapping Similar Provisions between Japanese and Foreign Laws.- COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment.- JNLP team: Deep Learning Approaches for Tackling Long and Ambiguous Legal Documents in COLIEE 2022.- Semantic-based Classification of Relevant Case Law.- nigam@COLIEE-22: Legal Case Retrieval and Entailment using Cascading of Lexical and Semantic-based models.- HUKB at the COLIEE 2022 Statute Law Task.- Using Textbook Knowledge for Statute Retrieval and Entailment Classification.- Legal Textual Entailment using Ensemble of Rule-based and BERT-based method with Data Augmentation by Related Article Generation.- Less is Better: Constructing Legal Question Answering System by Weighing Longest Common Subsequence of Disjunctive Union Text.- JSAI 2022 International Session.- Proposal for Turning Point Detection Method using Financial Text and Transformer.- Product Portfolio Optimization for LTV Maximization.- An Examination of Eating Experiences in Relation to Psychological States, Loneliness, and Depression Using BERT.- Objective Detection of High-risk Tackle in Rugby by Combination of Pose Estimation and Machine Learning.- Incremental informational value of floorplans for rent price prediction - Applications of modern computer vision techniques in real-estate.- Transaction Prediction by Using Graph Neural Network and Textual Industry Information.- Overfitting Problem in the Approximate Bayesian Computation Method Based on Maxima Weighted Isolation Kernel.

Read more less

Book SynopsisThis book constitutes the joint refereed proceedings of the 22nd International Conference on Internet of Things, Smart Spaces, and Next Generation Networks and Systems, NEW2AN 2022, held in Tashkent, Uzbekistan, in December 2022.The 58 regular papers presented in this volume were carefully reviewed and selected from 282 submissions. The papers of NEW2AN address various aspects of next-generation data networks, while special attention is given to advanced wireless networking and applications. In particular, the authors have demonstrated novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and machine learning. It is also worth mentioning the rich coverage of the Internet of Things, optics, signal processing, as well as digital economy and business aspects.Table of ContentsTangential shear stress in an oscillatory flow of a viscoelastic fluid in a flat channel.- Comparison of Finite Difference Schemes of Different Orders of Accuracy for the Burgers Wave Equation Problem.- Numerical solution of the combustion process using the computer package ANSYS fluent.- Simulation Modeling of Reliability of Packet Switching Unit.- Analytical Model for Assessing the Reliability of the Functioning of the Adaptive Switching Node.- Artificial intelligence software architecture in the field of cardiology and application in the cardio vessel project using CJM and customer development methods.- Using discretization and numerical methods of problem 1d-3d-1d model for blood vessel walls with Navier-Stokes.- Numerical simulation of a flow in a two-dimensional channel on the basis of a two-liquid turbulence model.- Application fuzzy neural network methods to detect cryptoattacks on financial information systems based on blockchain technology.- Method authentication of objects information communication systems.- TEDCTSSA: Trust Enabled Data Collection Technique based Sparrow Search Algorithm for WSN-based Applications.- ISTOA: An improved Sooty Tern Optimization Algorithm for multilevel threshold image segmentation.- Implementing digital transformation in the logistics system of Uzbekistan.- Numerical modeling of vertical axis wind turbines using ANSYS FLUENT software.- "i’ll wait 4 ur answr!” A Study on Modern Style of Cyber-Writing and User Reactions.- Improvement of information support in intelligent information energy systems.- The Assessment of the Effectiveness of the Development of Digital Technologies in Commercial Banks in Uzbekistan.- The Study of the Impact of the Digital Economy on the Growth of E-Government Services in Uzbekistan.- Deep learning algorithm for classifying dilated cardiomyopathy and hypertrophy cardiomyopathy in transport workers.- eCommerce benchmarking: theoretical background, variety of types, and application of competitive-integration benchmarking.- Cryptocurrencies as the money of the future.- A Data Security Technique Combining Asymmetric Cryptography and Compressive Sensing for IoT Enabled Wireless Sensor Networks.- Energy Efficient and Secure Scheme based Compressive Sensing method for Internet of Vehicles.- Impact of digital technologies on women’s employment.- The impact of digitalisation on the safe development of individuals in society.- Econometric Evaluation of the Efficiency of the Management of theEnterprise through the Supply of Raw Materials in Oil Enterprises in the Conditions of the Digital Economy.- The impact of digital infrastructure, foreign direct investment and trade openness on economic growth: In the case of Uzbekistan.- The impact of the financial ratios on the financial performance. A caseof Chevron Corporation (CVX).- The impact of the digitalisation of payment systems on the profitabilityof commercial banks.- The main aspects and benefits of digital transformation of business entities.- The influence of the capital structure of state enterprises on the profitability of the enterprise.- Exploring the development of China’s digital trade in the context of the domestic and international double cycle.- A systematic mapping study of using the cutting-edge technologies in marketing: the state of the art of four key new-age technologies.- Social Media Marketing for Educational Purposes: Goals, Objectivesand Content of the Training Course.- Digital Marketing and Smart Technology Marketing Systems as thefuture of metaverse.- The impact of the digital economy on the development of higher education.- What is the state-of-the-art contribution of the higher education system to the digital economy: a systematic mapping study on changes and challenges.- Innovating primary education of promoting students’ languagecompetencies through mobile assisted language learning approach: Selection framework of innovative digital technologies.- Econometric assessment of the dynamics of development of the export authority of small business and private business subjects in the conditions of the digital economy.- The significance of the Internet of Things for ensuring the smooth operation of network functions in fintech.- Impact of E-government on Poverty Rate: a Cross- Country Empirical Assessment.- An empirical investigation of the relationship between e-government development and multidimensional poverty.- On Digital Twin Software and Cyber Threats.- On local services based on non-standard Wi-Fi Direct usage model.- Compatibility analysis between 5G NR and ultra-wideband devices in the 6425-7125 MHz frequency band.- 6 GHz band sharing study for FWA base stations and GEO satellite receivers.- Federated Learning Strategies Over Wireless Channels.- Data Routing in UAV Networks with Multiple Data Sources using Steiner Tree.- Reduced complexity distributed arithmetic architecture for FIR filters.- Blockchain-driven Hybrid Model for IoT Authentication.- An Heuristic Approach for Mapping of Service Function Chains in Softwarized 5G Networks.- Multi-threshold hysteresis-Based Congestion Control for UAV-based Detection Sensor Network.- Analysis of the capacity gain of Probability Shaping QAM.- LoRa Mesh Network for Image Transmission: An Experimental Study.- Blockchain Technology – Innovation for Better Collaboration and Increased Efficieny. The U.S. Logistics and Trucking Industry Case.- Econometric Study of the Impact of the Digital Economy on the Gross Product in Anti-monopoly Conditions.- Predictive models for effective management of e- commerce in New Uzbekistan.- The role of IT on transportation, logistics and the economic growth among Central Asian countries.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13–16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.Table of ContentsUnifying Gathering Strategies for Swarms of Mobile Robots.- The Complexity of Secure RAMs.- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models.- The power of the Binary Value Principle.- Independent Set under a Change Constraint from an Initial Solution.- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model.- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time.- How Vulnerable is an Undirected Planar Graph with respect to Max Flow.- Maximum Flows in Parametric Graph Templates.- Dynamic Coloring on Restricted Graph Classes.- Enumeration of Minimal Tropical Connected Sets.- Dynamic Flows with Time-Dependent Capacities.- On One-Sided Testing Affine Subspaces.- Stable Scheduling in Transactional Memory.- Parameterizing Path Partitions.- Maintaining Triconnected Components under Node Expansion.- Approximating Power Node-Deletion Problems.- Phase transition in count approximation by Count-Min sketch with conservative updates.- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane.- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond.- Broadcasting in Split Graphs.- Partitioning Subclasses of Chordal Graphs with Few Deletions.- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision.- Improved Deterministic Leader Election in Diameter-Two Networks.- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues.- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves.- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree.- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems. Table of ContentsInvited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.- Model Checking.- Bounded Model Checking for Asynchronous Hyperproperties.- Model Checking Linear Dynamical Systems under Floating-point Rounding.- Efficient Loop Conditions for Bounded Model Checking Hyperproperties.- Reconciling Preemption Bounding with DPOR.- Optimal Stateless Model Checking for Causal Consistency.- Symbolic Model Checking for TLA+ Made Faster.- AutoHyper: Explicit-State Model Checking for HyperLTL.- Machine Learning/Neural Networks.- Feature Necessity & Relevancy in ML Classifier Explanations.- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.- Neural Network-Guided Synthesis of Recursive List Functions.- Automata.- Modular Mix-and-Match Complementation of Buechi automata.- Validating Streaming JSON Documents With Learned VPAs.- Antichains Algorithms for the Inclusion Problem Between ω -VPL.- Stack-Aware Hyperproperties.- Proofs.- Propositional Proof Skeletons.- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers.- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format.- Constraint Solving/Blockchain.- The Packing Chromatic Number of the Infinite Square Grid is 15.- Active Learning for SAT Solver Benchmarking.- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.- Inferring Needless Write Memory Accesses on Ethereum Bytecode.- Markov Chains/Stochastic Control.- A Practitioner’s Guide to MDP Model Checking Algorithms.- Correct Approximation of Stationary Distributions.- Robust Almost-Sure Reachability in Multi-Environment MDPs.- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.- Verification.- A Formal CHERI-C Semantics for Verification.- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm.- Parameterized Verification under TSO with Data Types.- Verifying Learning-Based Robotic Navigation Systems: A Case Study.- Make flows small again: revisiting the flow framework.- ALASCA: Reasoning in Quantified Linear Arithmetic.- A Matrix-Based Approach to Parity Games.- A GPU Tree Database for Many-Core Explicit State Space Exploration.

Read more less

Book SynopsisThis book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23–26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim of the workshop was understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs.Table of ContentsCorrecting for Granularity Bias in Modularity-Based Community Detection Methods.- The emergence of a giant component in one-dimensional inhomogeneous networks with long-range effects.- Unsupervised Framework for Evaluating Structural Node Embeddings of Graphs.- Modularity Based Community Detection in Hypergraphs.- Establishing Herd Immunity is Hard Even in Simple Geometric Networks.- Multilayer hypergraph clustering using the aggregate similarity matrix.- The Myth of the Robust-Yet-Fragile Nature of Scale-Free Networks: An Empirical Analysis.- A Random Graph Model for Clustering Graphs.- Topological Analysis of Temporal Hypergraphs.- PageRank Nibble on the sparse directed stochastic block model.- A simple model of influence.- The Iterated Local Transitivity Model for Tournaments.

Read more less

Book SynopsisThis book explores the rich history of the keyword from its earliest manifestations (long before it appeared anywhere in Google Trends or library cataloging textbooks) in order to illustrate its implicit and explicit mediation of human cognition and communication processes. The author covers the concept of the keyword from its deictic origins in primate and proto-speech communities, through its development within oral traditions, to its initial appearances in numerous graphical forms and its workings over time within a variety of indexing traditions and technologies. The book follows the history all the way to its role in search engine optimization and social media strategies and its potential as an element in the slowly emerging semantic web, as well as in multiple voice search applications. The author synthesizes different perspectives on the significance of this often-invisible intermediary, both in and out of the library and information science context, helping readers to understand how it has come to be so embedded in our daily life.This book: Provides a thorough history of the keyword, from primate and proto-speech communities to current times Explains how the concept of the keyword relates to human cognition and communication processes Highlights the applications of the keyword, both in and out of the library and information science context Table of ContentsChapter 1 - Representation, Reference, Relevance, and Retention.- Chapter 2 - Signals, Semiotics.- Chapter 3 - Proto-Words, Proto-Signs.- Chapter 4 - Philologies, Philosophies, Pragmatics.- Chapter 5 - Rites, Religions.- Chapter 6 - Writing, Indexing.- Chapter 7 - Progress, Public.- Chapter 8 - Discovery, Retrieval.- Chapter 9 - Databases, Search Engines.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12–16, 2023.The 19 contributed papers presented in this book were carefully reviewed and selected from 28 submissions. In addition, the volume also contains 3 invited papers. WORDS is the main conference series devoted to combinatorics on words. This area is connected to several topics from computer science and mathematics, including string algorithms, automated proofs, discrete dynamics, number theory and, of course, classical combinatoricsTable of Contents​Invited Papers: Minimal Complexities for Infinite Words Written with d Letters.- Alternate Base Numeration Systems.- On the number of distinct squares in finite sequences: some old and new results. Contributed Papers: Ranking and Unranking k-Subsequence Universal Words.- Longest common subsequence with gap constraints.- On Substitutions Preserving their Return Sets.- Recurrence and frequencies.- Sturmian and infinitely desubstitutable words accepted by an ω-automaton.- String attractors for factors of the Thue-Morse word.- Critical exponent of Arnoux-Rauzy sequences.- On a class of 2-balanced sequences.- Order conditions for languages.- On Sensitivity of Compact Directed Acyclic Word Graphs.- Smallest and Largest Block Palindrome Factorizations.- String attractors of fixed points of k-bonacci-like morphisms.- Magic Numbers in Periodic Sequences.- Dyck Words, Pattern Avoidance, and Automatic Sequences.- Rudin-Shapiro Sums Via Automata Theory and Logic.- Automaticity and Parikh-collinear morphisms.- On the solution sets of entire systems of word equations.- On arch factorization and subword universality for words and compressed words.- Characteristic sequences of the sets of sums of squares as columns of cellular automata.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2–8, 2023. The 28 full papers and 1 short paper included in this book were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: Mathematical programming and applications; discrete and combinatorial optimization; stochastic optimization; scheduling; game theory; and optimal control and mathematical economics. The book also contains one invited talk in full paper length. Table of Contents​Invited papers.- General equilibrium models in production networks with substitution of inputs.- Mathematical programming and applications.- On decentralized nonsmooth optimization.- Byzantine-robust loopless stochastic variance-reduced gradient.- Semi-supervised k-means clustering via DC programming approach.- On the uniqueness of identification the thermal conductivity and heat capacit of substance.- On the uniqueness of identification the thermal conductivity and heat capacity of substance.- Discrete and combinatorial optimization.- Constant-factor approximation algorithms for some maximin multiclustering problems.- Aggregation tree construction using hierarchical structures.- Enumeration and unimodular equivalence of empty delta-modular simplices.- PTAS for p-means q-medoids r-given clustering problem.- Nested (2,3)-instances of the Cutting Stock Problem.- Stochastic optimization.- On the resource allocation problem to increase reliability of transport systems.- Distributionally robust optimization by probability criterion for estimating a bounded signal.- Scheduling.- Approximation algorithms for two-machine proportionate routing open shop on a tree.- MIP heuristics for a resource constrained project scheduling problem with workload stability constraints.- Hybrid evolutionary algorithm with optimized operators for total weighted tardiness problem.- Game theory.- Equilibrium arrivals to preemptive queueing system with fixed reward for completing request.- On optimal positional strategies in fractional optimal control problems.- On a single-type differential game of retention in a ring.- Harmonic numbers in Gambler’s Ruin Problem.- Exploitation and recovery periods in dynamic resource management problem.- Trade-off mechanism to sustain cooperation in pollution reduction.- Communication restriction-based characteristic function in differential games on networks.- Optimal control and mathematical economics.- Guaranteed expectation of the flock position with random distribution of items.- Method for solving a differential inclusion with a subdifferentiable support function of the right-hand side.- Approximate solution of small-time control synthesis problem based on linearization.- A Priori Estimates of the Objective Function in the Speed-in-Action Problem for a Linear Two-Dimensional Discrete-Time System.- An approach to solving input reconstruction problems in stochastic differential equations: dynamic algorithms and tuning their parameters.- Mathematical modeling of the household behavior on the labor market.- Visual positioning of a moving object using multi-objective control algorithm.

Read more less

Book SynopsisThis book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021. The 26 full papers were carefully selected from 86 submissions. The papers are organized in the volume according to the following workshops: 15th International Workshop on Juris-Informatics, JURISIN 2021; 18th Workshop on Logic and Engineering of Natural Language Semantics, LENLS 18, 5th International Workshop on SCIentific DOCument Analysis, SCI-DOCA 2021; Workshop on Artificial Affective (Kansei) Intelligence, KANSEI-AI 2021; 5th Workshop on Artificial Intelligence of and for Business, AI-Biz 2021.Table of ContentsJURISIN 2021.- LENLS 18.- SCIDOCA 2021.- KANSEIAI 2021.- AI-Biz 2021.

Read more less

Book SynopsisThis book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023.The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.Table of Contents​PAAMS 2023 - MAIN TRACK.- Brain waves classification using a single-channel dry EEG headset: an application for controlling an intelligent wheelchair.- AJAN: An Engineering Framework for Semantic Web-Enabled Agents and Multi-Agent Systems.- Adaptive consumption by continuous negotiation.- When Extrinsic Payoffs meet Intrinsic Expectations.- Multi-Agent Reinforcement Learning for Structured Symbolic Music Generation.- A multi-level density-based crowd simulation architecture.- Resolving the Dilemma of Responsibility in Multi-Agent Flow Networks.- Lessons Learned on the Design of a Predictive Agent for LoRaWAN Network Planning.- A solution concept with an exploration bias for repeated stochastic coalitional games.- Governing online forum interactions with multi-agent system: A Reddit use case with the JaCaMo platform.- Fuzzy Hyperplane based Twin-KSVC and Its Applications to Stock Price Movement Direction Prediction Based on News Articles.- Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization.- A Decentralized Resource Allocation Protocol in Social Networks.- Multi-agent learning of causal networks in the Internet of Things.- Investigation of Integrating Solution Techniques for Lifelong MAPD Problem Considering Endpoints.- Towards Norm Entrepreneurship in Agent Societies.- Velluscinum: A Middleware for Using Digital Assets in Multi-Agent Systems.- Parking Problem with Multiple Gates.- UAV Swarm Control and Coordination Using Jason BDI Agents on top of ROS.- Traffic Assignment Optimization using Flow-based Multi-Maps.- A Monitoring Agent for Advancing Elderly Care through Mobile Health Technology.- Extrinsic Emotion Regulation by Intelligent Agents: A computational model based on Arousal-Valence dimensions.- Optimization of Complex Systems in Photonics by Multi-Agent Robotic Control.- GTG-CoL: A new Decentralized Federated Learning based on Consenssus for dynamic networks.- A novel framework for multi-agent knowledge-based federated learning systems.- Exploring Planner-Guided Swarms Running on Real Robots.- Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents.- A Multi-Agent Based Dynamic Network Slice Tarification Framework.- An IDE to Support the Development of Embedded Multi-Agent Systems. Bioinspired Artificial Cockroach Colony Strategy combined with 2-type Fuzzy Logic for the Priority-Based Sanitization of Railway Stations.- Embedding Autonomous Agents into Low-Power Wireless Sensor Networks.- Safe Autonomous Decision-Making with vGOAL.- PAAMS 2023 - DEMONSTRATIONS.- Towards Exception Handling in the SARL Agent Platform.- Multi-Agent Path Finding for Indoor Quadcopters.- Energy community integration of a smart home based on an open source multiagent system.- Cognitive Assistant for Enhanced eHealth Monitoring.- Extended Green Cloud - Modeling Cloud Infrastructure with Green Energy Sources.

Read more less

Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsKnowledge Engineering Research and Applications.- Knowing before Seeing: Incorporating Post-Retrieval Information into Pre-Retrieval Query Intention Classification.- LSRN: Live-Streaming Identification Based on Reasoning Network with Core Traffic Set.- Implicit Offensive Speech Detection Based on Multi-feature Fusion.- SIE-YOLOv5: Improved YOLOv5 for Small Object Detection in Drone-Captured-Scenarios.- Learning-based Dichotomy Graph Sketch for Summarizing Graph Streams with High Accuracy.- SNAFA-Net: Squared Normalization Attention and Feature Alignment for Visible-Infrared Person Re-identification.- A comparative study of chatbot response generation: traditional approaches versus large language models.- Investigating the Impact of Product Contours on User Perception of Product Attributes.- Conf-UNet: A model for speculation on unknown Oracle Bone Characters.- An Efficient One-Shot Network and Robust Data Associations in Multi-Pedestrian Tracking.- Sampling Spatial-Temporal Attention Network for Traffic Forecasting.- ST-MAN: Spatio-Temporal Multimodal Attention Network for Traffic Prediction.- Sparse-view CT Reconstruction via Implicit Neural Intensity Functions.- Tennis action recognition based on multi-branch mixed attention.- Cascade Sampling via Dual Uncertainty for Active Entity Alignment.- Template Shift and Background Suppression for Visual Object Tracking.- Reversible Data Hiding in Encrypted Images Based on A Multi-Granularity Adaptive Classification Mechanism.- Enhanced Entity Interaction Modeling for Multi-modal Entity Alignment.- Monte Carlo Medical Volume Rendering Denoising via Auxiliary Feature Guided Self-Attention and Convolution Integrated.- View Distribution Alignment with Progressive Adversarial Learning for UAV Visual Geo-Localization.- HBay: Predicting Human Mobility via Hyperspherical Bayesian Learning.- Spatial-Temporal Diffusion Probabilistic Learning for Crime Prediction.- DBA: An Efficient Approach to Boost Transfer-based Adversarial Attack Performance through Information Deletion.- A Graph Partitioning Algorithm Based on Graph Structure and Label Propagation for Citation Network Prediction.- Hybrid Heterogeneous Graph Neural Networks for Fund Performance Prediction.- WGCN: A Novel Wavelet Graph Neural Network for Metro Ridership Prediction.- GMiRec: A Multi-image Visual Recommendation Model based on a Gated Neural Network.- Semi-supervised entity alignment via noisy student-based self training.- Modeling Chinese Ancient Book Catalog.- JOINT EXTRACTION OF NESTED ENTITIES AND RELATIONS BASED ON MULTI-TASK LEARNING.- A Grasping System with Structured Light 3D Machine Vision Guided Strategy Optimization.- A Cognitive Knowledge Enriched Joint Framework for Social Emotion and Cause Mining.- TKSP: Long-term Stance Prediction for Social Media Users by Fusing Time Series Features and Event Dynamic Evolution Knowledge.- A Cross-Document Coreference Resolution Approach to Low-Resource Languages.- Network Flow Based IoT Anomaly Detection Using Graph Neural Network.- Disentangled Multi-factor Graph Neural Network for Non-coding RNA-drug Resistance Association Prediction.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exeter, UK, during October 31–November 2, 2022.The 15 full papers were carefully reviewed and selected from 18 submissions. The papers cover a wide range of topics in the field of artificial evolution, including, but not limited to: evolutionary computation, evolutionary optimization, coevolution, artificial life, population dynamics, theory, algorithmic and modeling, implementations.Table of ContentsOn the Active Use of an ND-Tree-Based Archive for Multi-Objective Optimisation.- HyTEA: Hybrid Tree Evolutionary Algorithm.- A Game Theoretic Decision Tree for Binary Classification.- Evaluating a New Genetic Algorithm for Automated Machine Learning in Positive-Unlabelled Learning.- Neural Network-based Virtual Analog Modeling.- Defining a Quality Measure Within Crossover: An Electric Bus Scheduling Case Study.- Maximizing the Number of Satisfied Charging Demands in Electric Vehicle Charging Scheduling Problem.- Fine-Grained Cooperative Coevolution in a Single Population: Between Evolution and Swarm Intelligence.- One-Class Ant-Miner: Selection of Majority Class Rules for Binary Rule-based Classification.- Towards a Many-Objective Optimiser for University Course Timetabling.- Empirical Investigation of MOEAs for Multi-objective Design of Experiments.- Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks.- Designing Attention based Convolutional Neural Network (CNN) Architectures for Medical Image Classification using Genetic Algorithm based on Variable Length-encoding Scheme.- A Multi-objective 3D Offline UAV Path Planning Problem with Variable Flying Altitude.- An Elitist Non-dominated Heuristic Resolution for the Dynamic Asset Protection Problem.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023. The 17 full papers were carefully reviewed and selected from 33 submissions. The papers focus on the latest research that leverages the understanding of key principles, processes, and mechanisms in biological systems for development of novel information and communications technologies (bio-inspired ICT). BICT 2023 will also highlight innovative research and technologies being developed for biomedicine that are inspired by ICT (ICT-inspired biomedicine).Table of ContentsElectromagnetic-induced Calcium signal with network coding for molecular communications.- Smart Farm Teaching Aids based on STEM concepts.- Reinforcement Learning for Multifocal Tumour Targeting.- Automatic Soil Testing Device for Agriculture.- A Novel Visualization Method of Vessel Network for tumour Targeting: A Vessel Matrix Approach.- Heterogeneous Group of Fish Response to Escape Reaction.- Modeling and Simulation of a Bio-inspired Nanorobotic Drug Delivery System.- Cooperative Relaying in Multi-Hop Mobile Molecular Communication via Diffusion.- Covid-19 Versus Monkeypox-2022: The Silent Struggle of Global Pandemics.- Monte Carlo Simulation of Arbitrium and the Probabilistic Behavior of Bacteriophages.- Instant Messaging Application for 5G Core Network.- Genetic Algorithm-based Fair Order Assignment Optimization of Food Delivery Platform.- Preliminary Considerations on Non-Invasive Home-Based Bone Fracture Healing Monitoring.- Features of Audio Frequency Content of Respiration to Distinguish Inhalation from Exhalation.- Management of the medical file in case of emergency.- A Novel Durable Fat Tissue Phantom for Microwave Based Medical Monitoring Applications.- ISI Mitigation with Molecular Degradation in Molecular Communication.- Signal Transmission Through Human Body Via Human Oxygen Saturation Detection.- Simple ISI-Avoiding and Rate-Increasing Modulation for Diffusion-base Molecular Communications.- Range Expansion in Neuro-spike Synaptic Communication: Error Performance Analysis.- [Extended Abstract] Collective Bio-nanomachine Rotation via Chemical and Physical Interactions: A Three- dimensional Model.- Wearable Vibration Device to Assist with Ambulation for the Visually Impaired.- Development of Capacitive Sensors to Detect and Quantify Fluids in the Adult Diaper.- Energy Cyber Attacks to Smart Healthcare Devices: A Testbed.- [Extended Abstract] Wet-laboratory Experiments and Computer Simulation of Interacting Cell Spheroids.- Ensembles of Heuristics and Computational Optimisation In Highly Flexible Manufacturing System.- A Intelligent Nanorobots Fish Swarm Strategy for Tumor Targetting.- [Extended abstract] Design and Implementation of A General-purpose Multicellular Molecular Communication Simulator.

Read more less

Book SynopsisThis book constitutes the proceedings of the 11th Ecuadorian Conference on Information and Communication Technologies, TICEC 2023, held in Cuenca, Ecuador, during October 18–20, 2023.The 31 full papers presented were carefully reviewed and selected from 120 submissions. The papers cover a great variety of topics, such as internet of things, cyber-physical systems, human-machine interface, artificial Intelligence, e-Learning, smart healthcare, smart healthcare and others. The papers are organized in the following topical sections: data science and machine learning; ICTs and their applications; and software development.Table of Contents​Data Science and Machine Learning: Uncovering the Effects of the Russia-Ukraine Conflict on Cryptocurrencies: A Data-driven Analysis with Clustering and Biplot Techniques.- Human Trafficking in Social Networks: A Review of Machine Learning Techniques.- Exploring the Performance of Deep Learning in High-Energy Physics.- Human actions recognition system based on Neural Networks.- Big Data Architecture for Air Pollution Spatial Visualization: Quito, Ecuador.- The Role of Twitter in Media Coverage during Humanitarian Crises. Data mining from International News Agencies.- Applied Metaheuristics in International Trading: A Systematic Review.- Finding an Integrated Ultraviolet Radiation Index Using Fuzzy Logic Techniques.- Forecasting the Consumer Price Index of Ecuador using Classical and Advanced Time Series Models.- Forecasting PM2.5 concentrations in ambient air using a transformer based neural network.- Machine Learning Applied to the Analysis of Glacier Masses.- Profit vs Accuracy: Balancing the Impact on Users Introduced by Profit-Aware Recommender Systems.- Augmenting Data with DCGANs to Improve Skin Lesions Classification.- Unraveling the power of 4D residual blocks and transfer learning in violence detection.- ICTs and their Applications: Brainwaves communication system for people with reduced mobility and verbal impairment.- Advanced metrics to evaluate autistic children's attention and emotions from facial characteristics using a human-robot-game interface.- Performance analysis of You Only Look Once, RetinaNet, and Single Shot Detector applied to vehicle detection and counting.- Tumor kidney segmentation from CT images using residual U-net architecture.- Classification of Alzheimer disease’s Severity Using Support Vector Machine and Deep Feature Extraction of Convolutional Neural Networks: a Contrasting of Methodologies.- Creation of an alert device for early detection of epilepsy using an EEG signal power threshold.- Optimal location of the electric vehicle charging stands using multi-objective evolutionary algorithms: Cuenca city as a case study.- Detecting Parkinson’s Disease with Convolutional Neural Networks: Voice Analysis and Deep Learning.- Hyperparameter Tuning in a Dual Channel U-Net for Medical Image Segmentation.- Vitreous Hemorrhage Segmentation in Fundus Images by using an Efficient-UNet Network.- A non-invasive portable solution to estimate hemoglobin levels in the blood.- Mask R-CNN and YOLOv8 comparison to perform tomato maturity recognition task.- Software Development.- Development of a distributed hydrological model of continuous generation, in a GIS environment.- A Domain-Specific Language and Model-Based Engine for Implementing IoT Dash- board Web Applications.- Feasibility of using serious MIDI-AM videogames as resources in early childhood education.- Search and Visualization of Researcher Networks: Co-authorship in Ecuador.- Visualization Models Applied to Atmospheric Pollutants and Meteorological Variables: A Systematic Literature Review.

Read more less