Computer science Books

Book SynopsisThis anthology of essays from the inventor of literate programming is a survey of Donald Knuth's papers on computer science. Donald Knuth's influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. One of the foremost figures in the field of mathematical sciences, his papers are widely referenced and stand as milestones of development over a wide range of topics. This collection focuses on Professor Knuth's published science papers that serve as accessible surveys of their subject matter. It includes articles on the history of computing, algorithms, numerical techniques, computational models, typesetting, and more. This book will be appreciated by students and researchers from a wide range of areas within computer science and mathematics.Trade Review'This book should be a necessary asset of any library dealing with Computer Science and related subjects, representing a major piece of culture in Computer Science. Every reader will acquire a sound understanding of the foundation for some key issues in the field ... Knuth is a grand scientific author, whose dissertations on deep and abstract issues are lively and captivating pieces of reading.' David Rozier, Mathematics Today'This book contains everything Knuth has written on computer science for the non-specialist ... It is a lovely read. What - in sum - can one say, of our delightful discipline and of this delightful book? Enjoy.' Adrian Larner, The Computer JournalTable of Contents1. Von Neumann's first computer program; 2. Ancient Babylonian algorithms; 3. George Forsythe and the development of computer science; 4. Computer science and its relation to mathematics; 5. Algorithms; 6. Mathematics and computer science: Coping with finiteness; 7. Algorithms in modern mathematics and computer science; 8. The IBM 650: an appreciation from the field; 9. Theory and practice; 10. Algorithm and program; information and data; 11. Are toy problems useful?; 12. Theory and practice; 13. Algorithmic themes; 14. Typesetting concrete mathematics; 15. Computer programming and computer science; 16. This week's citation classic: artistic programming.

Read more less

Book SynopsisExploring how to conduct information system (IS) research using various approaches that are grounded in proven scientific methods, this book is primarily for consumers of IS research and for individuals involved in any type of academic research across various disciplines. It has been designed to enable IS researchers and consumers to make more professional and scientific decisions about evaluating, locating, reading, and critiquing the findings of scientific research. It has been shown that many IS research community lacks its own scientific theories and models. It has also been shown that workable research problem, purpose, method, design, instruments, samples, population, data collection, and processing used in other fields are also applicable to research in IS. Thus, the stages of scientific research from problem conception to analysis and interpretation will be discussed in the context of IS research.

Read more less

Book SynopsisThis book covers the fundamentals of digital signal processing (DSP) in a concise format, accessible to anyone with a technical background, enabling the reader for further DSP training, research, and development. The authors explore many subjects, including discrete time (digital) signals and systems, with emphasis on linear shift invariant (LSI) systems; Fourier and the z transforms; signal sampling and analog-to-digital (A/D) conversion. The book ends with examples of DSP techniques applications to practical problems from several areas.

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 SynopsisThis book celebrates Michael Stonebraker's accomplishments that led to his 2014 ACM A.M. Turing Award "for fundamental contributions to the concepts and practices underlying modern database systems."The book describes, for the broad computing community, the unique nature, significance, and impact of Mike's achievements in advancing modern database systems over more than forty years. Today, data is considered the world's most valuable resource, whether it is in the tens of millions of databases used to manage the world's businesses and governments, in the billions of databases in our smartphones and watches, or residing elsewhere, as yet unmanaged, awaiting the elusive next generation of database systems. Every one of the millions or billions of databases includes features that are celebrated by the 2014 Turing Award and are described in this book.Why should I care about databases? What is a database? What is data management? What is a database management system (DBMS)? These are just some of the questions that this book answers, in describing the development of data management through the achievements of Mike Stonebraker and his over 200 collaborators. In reading the stories in this book, you will discover core data management concepts that were developed over the two greatest eras (so far) of data management technology.The book is a collection of 36 stories written by Mike and 38 of his collaborators: 23 world-leading database researchers, 11 world-class systems engineers, and 4 business partners. If you are an aspiring researcher, engineer, or entrepreneur you might read these stories to find these turning points as practice to tilt at your own computer-science windmills, to spur yourself to your next step of innovation and achievement.Table of Contents Data Management Technology Kairometer: The Historical Context Foreword Preface Introduction PART I 2014 ACM A.M. TURING AWARD PAPER AND LECTURE The Land Sharks Are on the Squawk Box PART II MIKE STONEBRAKER'S CAREER 1. Make it Happen: The Life of Michael Stonebraker PART III MIKE STONEBRAKER SPEAKS OUT: AN INTERVIEW WITH MARIANNE WINSLETT 2. Mike Stonebraker Speaks Out: An Interview PART IV THE BIG PICTURE 3. Leadership and Advocacy 4. Perspectives: The 2014 ACM Turing Award 5. Birth of an Industry: Path to the Turing Award 6. A Perspective of Mike from a 50-Year Vantage Point PART V STARTUPS 7. How to Start a Company in Five (Not So) Easy Steps 8. How to Create and Run a Stonebraker Startup-- The Real Story 9. Getting Grownups in the Room: A VC Perspective PART VI DATABASE SYSTEMS RESEARCH 10. Where Good Ideas Come From and How to Exploit Them 11. Where We Have Failed 12. Stonebraker and Open Source 13. The Relational Database Management Systems Genealogy PART VII CONTRIBUTIONS BY SYSTEM 14. Research Contributions of Mike Stonebraker: An Overview PART VII.A RESEARCH CONTRIBUTIONS BY SYSTEM 15. The Later Ingres Years 16. Looking Back at Postgres 17. Databases Meet the Stream Processing Era 18. C-Store: Through the Eyes of a Ph.D. Student 19. In-Memory, Horizontal, and Transactional: The H-Store OLTP DBMS Project 20. Scaling Mountains: SciDB and Scientific Data Management 21. Data Unification at Scale: Data Tamer 22. The BigDAWG Polystore System 23. Data Civilizer: End-to-End Support for Data Discovery, Integration, and Cleaning PART VII.B CONTRIBUTIONS FROM BUILDING SYSTEMS 24. The Commercial Ingres Codeline 25. The Postgres and Illustra Codelines 26. The Aurora/Borealis/SteamBase Codelines: A Tale of Three Systems 27. The Vertica Codeline 28. The VoltDB Codeline 29. The SciDB Codeline: Crossing the Chasm 30. The Tamr Codeline 31. The BigDAWG Codeline PART VIII PERSPECTIVES 32. IBM Relational Database Code Bases 33. Aurum: A Story about Research Taste 34. Nice: Or What It Was Like to Be Mike's Student 35. Michael Stonebraker: Competitor, Collaborator, Friend 36. The Changing of the Database Guard PART IX SEMINAL WORKS OF MICHAEL STONEBRAKER AND HIS COLLABORATORS OTLP Through the Looking Glass, and What We Found There ""One Size Fits All"": An Idea Whose Time Has Come and Gone The End of an Architectural Era (It's Time for a Complete Rewrite) C-Store: A Column-Oriented DBMS The Implementation of POSTGRES The Design and Implementation of INGRES The Collected Works of Michael Stonebraker References Index Biographies

Read more less

Book SynopsisThis book celebrates Michael Stonebraker's accomplishments that led to his 2014 ACM A.M. Turing Award "for fundamental contributions to the concepts and practices underlying modern database systems."The book describes, for the broad computing community, the unique nature, significance, and impact of Mike's achievements in advancing modern database systems over more than forty years. Today, data is considered the world's most valuable resource, whether it is in the tens of millions of databases used to manage the world's businesses and governments, in the billions of databases in our smartphones and watches, or residing elsewhere, as yet unmanaged, awaiting the elusive next generation of database systems. Every one of the millions or billions of databases includes features that are celebrated by the 2014 Turing Award and are described in this book.Why should I care about databases? What is a database? What is data management? What is a database management system (DBMS)? These are just some of the questions that this book answers, in describing the development of data management through the achievements of Mike Stonebraker and his over 200 collaborators. In reading the stories in this book, you will discover core data management concepts that were developed over the two greatest eras (so far) of data management technology.The book is a collection of 36 stories written by Mike and 38 of his collaborators: 23 world-leading database researchers, 11 world-class systems engineers, and 4 business partners. If you are an aspiring researcher, engineer, or entrepreneur you might read these stories to find these turning points as practice to tilt at your own computer-science windmills, to spur yourself to your next step of innovation and achievement.Table of Contents Data Management Technology Kairometer: The Historical Context Foreword Preface Introduction PART I 2014 ACM A.M. TURING AWARD PAPER AND LECTURE The Land Sharks Are on the Squawk Box PART II MIKE STONEBRAKER'S CAREER 1. Make it Happen: The Life of Michael Stonebraker PART III MIKE STONEBRAKER SPEAKS OUT: AN INTERVIEW WITH MARIANNE WINSLETT 2. Mike Stonebraker Speaks Out: An Interview PART IV THE BIG PICTURE 3. Leadership and Advocacy 4. Perspectives: The 2014 ACM Turing Award 5. Birth of an Industry: Path to the Turing Award 6. A Perspective of Mike from a 50-Year Vantage Point PART V STARTUPS 7. How to Start a Company in Five (Not So) Easy Steps 8. How to Create and Run a Stonebraker Startup-- The Real Story 9. Getting Grownups in the Room: A VC Perspective PART VI DATABASE SYSTEMS RESEARCH 10. Where Good Ideas Come From and How to Exploit Them 11. Where We Have Failed 12. Stonebraker and Open Source 13. The Relational Database Management Systems Genealogy PART VII CONTRIBUTIONS BY SYSTEM 14. Research Contributions of Mike Stonebraker: An Overview PART VII.A RESEARCH CONTRIBUTIONS BY SYSTEM 15. The Later Ingres Years 16. Looking Back at Postgres 17. Databases Meet the Stream Processing Era 18. C-Store: Through the Eyes of a Ph.D. Student 19. In-Memory, Horizontal, and Transactional: The H-Store OLTP DBMS Project 20. Scaling Mountains: SciDB and Scientific Data Management 21. Data Unification at Scale: Data Tamer 22. The BigDAWG Polystore System 23. Data Civilizer: End-to-End Support for Data Discovery, Integration, and Cleaning PART VII.B CONTRIBUTIONS FROM BUILDING SYSTEMS 24. The Commercial Ingres Codeline 25. The Postgres and Illustra Codelines 26. The Aurora/Borealis/SteamBase Codelines: A Tale of Three Systems 27. The Vertica Codeline 28. The VoltDB Codeline 29. The SciDB Codeline: Crossing the Chasm 30. The Tamr Codeline 31. The BigDAWG Codeline PART VIII PERSPECTIVES 32. IBM Relational Database Code Bases 33. Aurum: A Story about Research Taste 34. Nice: Or What It Was Like to Be Mike's Student 35. Michael Stonebraker: Competitor, Collaborator, Friend 36. The Changing of the Database Guard PART IX SEMINAL WORKS OF MICHAEL STONEBRAKER AND HIS COLLABORATORS OTLP Through the Looking Glass, and What We Found There ""One Size Fits All"": An Idea Whose Time Has Come and Gone The End of an Architectural Era (It's Time for a Complete Rewrite) C-Store: A Column-Oriented DBMS The Implementation of POSTGRES The Design and Implementation of INGRES The Collected Works of Michael Stonebraker References Index Biographies

Read more less

Book SynopsisNash equilibrium is the central solution concept in Game Theory.Since Nash's original paper in 1951, it has found countless applications in modeling strategic behavior of traders in markets, (human) drivers and (electronic) routers in congested networks, nations in nuclear disarmament negotiations, and more. A decade ago, the relevance of this solution concept was called into question by computer scientists, who proved (under appropriate complexity assumptions) that computing a Nash equilibrium is an intractable problem. And if centralized, specially designed algorithms cannot find Nash equilibria, why should we expect distributed, selfish agents to converge to one? The remaining hope was that at least approximate Nash equilibria can be efficiently computed.Understanding whether there is an efficient algorithm for approximate Nash equilibrium has been the central open problem in this field for the past decade. In this book, we provide strong evidence that even finding an approximate Nash equilibrium is intractable. We prove several intractability theorems for different settings (two-player games and many-player games) and models (computational complexity, query complexity, and communication complexity). In particular, our main result is that under a plausible and natural complexity assumption ("Exponential Time Hypothesis for PPAD"), there is no polynomial-time algorithm for finding an approximate Nash equilibrium in two-player games.The problem of approximate Nash equilibrium in a two-player game poses a unique technical challenge: it is a member of the class PPAD, which captures the complexity of several fundamental total problems, i.e., problems that always have a solution; and it also admits a quasipolynomial time algorithm. Either property alone is believed to place this problem far below NP-hard problems in the complexity hierarchy; having both simultaneously places it just above P, at what can be called the frontier of intractability. Indeed, the tools we develop in this book to advance on this frontier are useful for proving hardness of approximation of several other important problems whose complexity lies between P and NP: Brouwer's fixed point, market equilibrium, CourseMatch (A-CEEI), densest k-subgraph, community detection, VC dimension and Littlestone dimension, and signaling in zero-sum games.Table of Contents Preface Part I: Overview The Frontier of Intractability Preliminaries Part II: Communication Complexity Communication Complexity of Approximate Nash Equilibrium Brouwer's Fixed Point Part III: PPAD PPAD-Hardness of Approximation The Generalized Circuit Problem Many-Player Games Bayesian Nash Equilibrium Market Equilibrium CourseMatch Part IV: Quasi-Polynomial Time Birthday Repetition Densest k-Subgraph Community Detection VC and Littlestone's Dimensions Signaling Part V: Approximate Nash Equilibrium2-Player Approximate Nash Equilibrium References Index Author Biography

Read more less

Book SynopsisNash equilibrium is the central solution concept in Game Theory.Since Nash's original paper in 1951, it has found countless applications in modeling strategic behavior of traders in markets, (human) drivers and (electronic) routers in congested networks, nations in nuclear disarmament negotiations, and more. A decade ago, the relevance of this solution concept was called into question by computer scientists, who proved (under appropriate complexity assumptions) that computing a Nash equilibrium is an intractable problem. And if centralized, specially designed algorithms cannot find Nash equilibria, why should we expect distributed, selfish agents to converge to one? The remaining hope was that at least approximate Nash equilibria can be efficiently computed.Understanding whether there is an efficient algorithm for approximate Nash equilibrium has been the central open problem in this field for the past decade. In this book, we provide strong evidence that even finding an approximate Nash equilibrium is intractable. We prove several intractability theorems for different settings (two-player games and many-player games) and models (computational complexity, query complexity, and communication complexity). In particular, our main result is that under a plausible and natural complexity assumption ("Exponential Time Hypothesis for PPAD"), there is no polynomial-time algorithm for finding an approximate Nash equilibrium in two-player games.The problem of approximate Nash equilibrium in a two-player game poses a unique technical challenge: it is a member of the class PPAD, which captures the complexity of several fundamental total problems, i.e., problems that always have a solution; and it also admits a quasipolynomial time algorithm. Either property alone is believed to place this problem far below NP-hard problems in the complexity hierarchy; having both simultaneously places it just above P, at what can be called the frontier of intractability. Indeed, the tools we develop in this book to advance on this frontier are useful for proving hardness of approximation of several other important problems whose complexity lies between P and NP: Brouwer's fixed point, market equilibrium, CourseMatch (A-CEEI), densest k-subgraph, community detection, VC dimension and Littlestone dimension, and signaling in zero-sum games.Table of Contents Preface Part I: Overview The Frontier of Intractability Preliminaries Part II: Communication Complexity Communication Complexity of Approximate Nash Equilibrium Brouwer's Fixed Point Part III: PPAD PPAD-Hardness of Approximation The Generalized Circuit Problem Many-Player Games Bayesian Nash Equilibrium Market Equilibrium CourseMatch Part IV: Quasi-Polynomial Time Birthday Repetition Densest k-Subgraph Community Detection VC and Littlestone's Dimensions Signaling Part V: Approximate Nash Equilibrium2-Player Approximate Nash Equilibrium References Index Author Biography

Read more less

Book SynopsisAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible.Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.

Read more less

Book SynopsisAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible.Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.

Read more less

Book SynopsisAda’s Legacy illustrates the depth and diversity of writers, thinkers, and makers who have been inspired by Ada Lovelace, the English mathematician and writer. The volume, which commemorates the bicentennial of Ada’s birth in December 1815, celebrates Lovelace’s many achievements as well as the impact of her life and work, which reverberated widely since the late nineteenth century. In the 21st century we have seen a resurgence in Lovelace scholarship, thanks to the growth of interdisciplinary thinking and the expanding influence of women in science, technology, engineering and mathematics. Ada’s Legacy is a unique contribution to this scholarship, thanks to its combination of papers on Ada’s collaboration with Charles Babbage, Ada’s position in the Victorian and Steampunk literary genres, Ada’s representation in and inspiration of contemporary art and comics, and Ada’s continued relevance in discussions around gender and technology in the digital age.With the 200th anniversary of Ada Lovelace’s birth on December 10, 2015, we believe that the timing is perfect to publish this collection of papers. Because of its broad focus on subjects that reach far beyond the life and work of Ada herself, Ada’s Legacy will appeal to readers who are curious about Ada’s enduring importance in computing and the wider world.Table of Contents Introduction Part 1: Ada's Legacy in Computing Charles Babbage, Ada Lovelace, and the Bernoulli Numbers Sketch of the Analytical Engine invented by Charles Babbage, Esq. Ada: Past, Present, Future The Ada Programming Language The Rise, Fall, and Persistence of Ada Part 2: Ada's Legacy in Literature "I shall in due time be a poet": Ada Lovelace's Poetical Science in its Literary Context "A Different Sort of Bird": Ada Lovelace in History and Steampunk Ada Bright and Dark: Steampunk Representations of the Enchantress of Numbers Part 3: Ada's Legacy in the Digital Age Oracle: The Engine Weaves "Genderless" Online Discourse in the 1970s: Muted Group Theory in Early Social Computing Rebooting the Ada Lovelace Mythos

Read more less

Book SynopsisThe past few years have seen a major change in computing systems, as growing data volumes and stalling processor speeds require more and more applications to scale out to clusters. Today, a myriad data sources, from the Internet to business operations to scientific instruments, produce large and valuable data streams. However, the processing capabilities of single machines have not kept up with the size of data. As a result, organizations increasingly need to scale out their computations over clusters. At the same time, the speed and sophistication required of data processing have grown. In addition to simple queries, complex algorithms like machine learning and graph analysis are becoming common. And in addition to batch processing, streaming analysis of real-time data is required to let organizations take timely action. Future computing platforms will need to not only scale out traditional workloads, but support these new applications too.This book, a revised version of the 2014 ACM Dissertation Award winning dissertation, proposes an architecture for cluster computing systems that can tackle emerging data processing workloads at scale. Whereas early cluster computing systems, like MapReduce, handled batch processing, our architecture also enables streaming and interactive queries, while keeping MapReduce's scalability and fault tolerance. And whereas most deployed systems only support simple one-pass computations (e.g., SQL queries), ours also extends to the multi-pass algorithms required for complex analytics like machine learning. Finally, unlike the specialized systems proposed for some of these workloads, our architecture allows these computations to be combined, enabling rich new applications that intermix, for example, streaming and batch processing.We achieve these results through a simple extension to MapReduce that adds primitives for data sharing, called Resilient Distributed Datasets (RDDs). We show that this is enough to capture a wide range of workloads. We implement RDDs in the open source Spark system, which we evaluate using synthetic and real workloads. Spark matches or exceeds the performance of specialized systems in many domains, while offering stronger fault tolerance properties and allowing these workloads to be combined. Finally, we examine the generality of RDDs from both a theoretical modeling perspective and a systems perspective.This version of the dissertation makes corrections throughout the text and adds a new section on the evolution of Apache Spark in industry since 2014. In addition, editing, formatting, and links for the references have been added.Table of Contents Preface 1. Introduction 2. Resilient Distributed Datasets 3. Models Built over RDDs 4. Discretized Streams 5. Generality of RDDs 6. Conclusion References Author's Biography

Read more less

Book SynopsisThe past few years have seen a major change in computing systems, as growing data volumes and stalling processor speeds require more and more applications to scale out to clusters. Today, a myriad data sources, from the Internet to business operations to scientific instruments, produce large and valuable data streams. However, the processing capabilities of single machines have not kept up with the size of data. As a result, organizations increasingly need to scale out their computations over clusters. At the same time, the speed and sophistication required of data processing have grown. In addition to simple queries, complex algorithms like machine learning and graph analysis are becoming common. And in addition to batch processing, streaming analysis of real-time data is required to let organizations take timely action. Future computing platforms will need to not only scale out traditional workloads, but support these new applications too.This book, a revised version of the 2014 ACM Dissertation Award winning dissertation, proposes an architecture for cluster computing systems that can tackle emerging data processing workloads at scale. Whereas early cluster computing systems, like MapReduce, handled batch processing, our architecture also enables streaming and interactive queries, while keeping MapReduce's scalability and fault tolerance. And whereas most deployed systems only support simple one-pass computations (e.g., SQL queries), ours also extends to the multi-pass algorithms required for complex analytics like machine learning. Finally, unlike the specialized systems proposed for some of these workloads, our architecture allows these computations to be combined, enabling rich new applications that intermix, for example, streaming and batch processing.We achieve these results through a simple extension to MapReduce that adds primitives for data sharing, called Resilient Distributed Datasets (RDDs). We show that this is enough to capture a wide range of workloads. We implement RDDs in the open source Spark system, which we evaluate using synthetic and real workloads. Spark matches or exceeds the performance of specialized systems in many domains, while offering stronger fault tolerance properties and allowing these workloads to be combined. Finally, we examine the generality of RDDs from both a theoretical modeling perspective and a systems perspective.This version of the dissertation makes corrections throughout the text and adds a new section on the evolution of Apache Spark in industry since 2014. In addition, editing, formatting, and links for the references have been added.Table of Contents Preface 1. Introduction 2. Resilient Distributed Datasets 3. Models Built over RDDs 4. Discretized Streams 5. Generality of RDDs 6. Conclusion References Author's Biography

Read more less

Book SynopsisThe Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces— user input involving new media (speech, multi-touch, gestures, writing) embedded in multimodal-multisensor interfaces. These interfaces support smart phones, wearables, in-vehicle and robotic applications, and many other areas that are now highly competitive commercially. This edited collection is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this and related areas. This first volume of the handbook presents relevant theory and neuroscience foundations for guiding the development of high-performance systems. Additional chapters discuss approaches to user modeling and interface designs that support user choice, that synergistically combine modalities with sensors, and that blend multimodal input and output. This volume also highlights an in-depth look at the most common multimodal-multisensor combinations—for example, touch and pen input, haptic and non-speech audio output, and speech-centric systems that co-process either gestures, pen input, gaze, or visible lip movements. A common theme throughout these chapters is supporting mobility and individual differences among users. These handbook chapters provide walk-through examples of system design and processing, information on tools and practical resources for developing and evaluating new systems, and terminology and tutorial support for mastering this emerging field. In the final section of this volume, experts exchange views on a timely and controversial challenge topic, and how they believe multimodal-multisensor interfaces should be designed in the future to most effectively advance human performance.Table of Contents Introduction Theory and Neuroscience Foundations Theoretical Foundations of Multimodal Interfaces and Systems The Impact of Multimodal-Multisensory Learning on Human Performance and Brain Activation Patterns Approaches to Design and User Modeling Multisensory Haptic Interactions: Understanding the Sense and Designing for It A Background Perspective on Touch as a Multimodal Understanding and Supporting Modality Choices Using Cognitive Models to Understand Multimodal Processes: The Case for Speech and Gesture Production Multimodal Feedback in HCI: Haptics, Non-Speech Audio, and Their Applications Multimodal Technologies for Seniors: Challenges and Opportunities Common Modality Combinations Gaze Informed Multimodal Interaction Multimodal Speech and Pen Interfaces Multimodal Gesture Recognition Audio and Visual Modality Combination in Speech Processing Applications Multidisciplinary Challenge Topic: Perspectives on Learning with Multimodal Technology Contributors’ Brief Biographies: Editors, Authors and Challenge Discussants Index

Read more less

Book SynopsisThe Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces— user input involving new media (speech, multi-touch, gestures, writing) embedded in multimodal-multisensor interfaces. These interfaces support smart phones, wearables, in-vehicle and robotic applications, and many other areas that are now highly competitive commercially. This edited collection is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this and related areas. This first volume of the handbook presents relevant theory and neuroscience foundations for guiding the development of high-performance systems. Additional chapters discuss approaches to user modeling and interface designs that support user choice, that synergistically combine modalities with sensors, and that blend multimodal input and output. This volume also highlights an in-depth look at the most common multimodal-multisensor combinations—for example, touch and pen input, haptic and non-speech audio output, and speech-centric systems that co-process either gestures, pen input, gaze, or visible lip movements. A common theme throughout these chapters is supporting mobility and individual differences among users. These handbook chapters provide walk-through examples of system design and processing, information on tools and practical resources for developing and evaluating new systems, and terminology and tutorial support for mastering this emerging field. In the final section of this volume, experts exchange views on a timely and controversial challenge topic, and how they believe multimodal-multisensor interfaces should be designed in the future to most effectively advance human performance.Table of Contents Introduction Theory and Neuroscience Foundations Theoretical Foundations of Multimodal Interfaces and Systems The Impact of Multimodal-Multisensory Learning on Human Performance and Brain Activation Patterns Approaches to Design and User Modeling Multisensory Haptic Interactions: Understanding the Sense and Designing for It A Background Perspective on Touch as a Multimodal Understanding and Supporting Modality Choices Using Cognitive Models to Understand Multimodal Processes: The Case for Speech and Gesture Production Multimodal Feedback in HCI: Haptics, Non-Speech Audio, and Their Applications Multimodal Technologies for Seniors: Challenges and Opportunities Common Modality Combinations Gaze Informed Multimodal Interaction Multimodal Speech and Pen Interfaces Multimodal Gesture Recognition Audio and Visual Modality Combination in Speech Processing Applications Multidisciplinary Challenge Topic: Perspectives on Learning with Multimodal Technology Contributors’ Brief Biographies: Editors, Authors and Challenge Discussants Index

Read more less

Book SynopsisThe Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces: user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces that often include biosignals. This edited collection is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this and related areas. This second volume of the handbook begins with multimodal signal processing, architectures, and machine learning. It includes recent deep learning approaches for processing multisensorial and multimodal user data and interaction, as well as context-sensitivity. A further highlight is processing of information about users' states and traits, an exciting emerging capability in next-generation user interfaces. These chapters discuss real-time multimodal analysis of emotion and social signals from various modalities, and perception of affective expression by users. Further chapters discuss multimodal processing of cognitive state using behavioral and physiological signals to detect cognitive load, domain expertise, deception, and depression. This collection of chapters provides walk-through examples of system design and processing, information on tools and practical resources for developing and evaluating new systems, and terminology and tutorial support for mastering this rapidly expanding field. In the final section of this volume, experts exchange views on the timely and controversial challenge topic of multimodal deep learning. The discussion focuses on how multimodal-multisensor interfaces are most likely to advance human performance during the next decade.Table of Contents 1. Multimodal Machine Learning 2. Classifying Multimodal Data 3. Learning for Multimodal and Context-sensitive Interfaces 4. Deep Learning for Multisensorial and Multimodal Interaction 5. Multimodal User State and Trait Recognition 6. Multimodal-Multisensor Affect Detection 7. Multimodal Analysis of Social Signals 8. Real-time Sensing of Affect and Social Signals in a Multimodal Framwork 9. How do Users Perceive Multimodal Expressions of Affects? 10. Multimodal Behavior and Physiological Signals as Indicators of Cognitive Load 11. Multimodal Learning Analytics 12. Multimodal Assessment of Depression and Related Disorders Based on Behavioral Signals 13. Multimodal Deception Detection 14. Perspectives on Strategic Fusion 15. Perspectives on Predictive Power of Multimodal Deep Learning

Read more less

Book SynopsisThe Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces: user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces that often include biosignals. This edited collection is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this and related areas. This second volume of the handbook begins with multimodal signal processing, architectures, and machine learning. It includes recent deep learning approaches for processing multisensorial and multimodal user data and interaction, as well as context-sensitivity. A further highlight is processing of information about users' states and traits, an exciting emerging capability in next-generation user interfaces. These chapters discuss real-time multimodal analysis of emotion and social signals from various modalities, and perception of affective expression by users. Further chapters discuss multimodal processing of cognitive state using behavioral and physiological signals to detect cognitive load, domain expertise, deception, and depression. This collection of chapters provides walk-through examples of system design and processing, information on tools and practical resources for developing and evaluating new systems, and terminology and tutorial support for mastering this rapidly expanding field. In the final section of this volume, experts exchange views on the timely and controversial challenge topic of multimodal deep learning. The discussion focuses on how multimodal-multisensor interfaces are most likely to advance human performance during the next decade.Table of Contents 1. Multimodal Machine Learning 2. Classifying Multimodal Data 3. Learning for Multimodal and Context-sensitive Interfaces 4. Deep Learning for Multisensorial and Multimodal Interaction 5. Multimodal User State and Trait Recognition 6. Multimodal-Multisensor Affect Detection 7. Multimodal Analysis of Social Signals 8. Real-time Sensing of Affect and Social Signals in a Multimodal Framwork 9. How do Users Perceive Multimodal Expressions of Affects? 10. Multimodal Behavior and Physiological Signals as Indicators of Cognitive Load 11. Multimodal Learning Analytics 12. Multimodal Assessment of Depression and Related Disorders Based on Behavioral Signals 13. Multimodal Deception Detection 14. Perspectives on Strategic Fusion 15. Perspectives on Predictive Power of Multimodal Deep Learning

Read more less

Book SynopsisThe Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces-user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces.This three-volume handbook is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this and related areas.This third volume focuses on state-of-the-art multimodal language and dialogue processing, including semantic integration of modalities. The development of increasingly expressive embodied agents and robots has become an active test bed for coordinating multimodal dialogue input and output, including processing of language and nonverbal communication. In addition, major application areas are featured for commercializing multimodal-multisensor systems, including automotive, robotic, manufacturing, machine translation, banking, communications, and others. These systems rely heavily on software tools, data resources, and international standards to facilitate their development. For insights into the future, emerging multimodal-multisensor technology trends are highlighted in medicine, robotics, interaction with smart spaces, and similar areas. Finally, this volume discusses the societal impact of more widespread adoption of these systems, such as privacy risks and how to mitigate them. The handbook chapters provide a number of walk-through examples of system design and processing, information on practical resources for developing and evaluating new systems, and terminology and tutorial support for mastering this emerging field. In the final section of this volume, experts exchange views on a timely and controversial challenge topic, and how they believe multimodal-multisensor interfaces need to be equipped to most effectively advance human performance during the next decade.Table of Contents Preface Figure Credits Introduction: Toward the Design, Construction, and Deployment of Multimodal-Multisensor Interfaces MULTIMODAL LANGUAGE AND DIALOGUE PROCESSING Multimodal Integration for Interactive Conversational Systems Multimodal Conversational Interaction with Robots Situated Interaction Software Platforms and Toolkits for Building Multimodal Systems and Applications Challenge Discussion: Advancing Multimodal Dialogue Nonverbal Behavior in Multimodal Performances MULTIMODAL BEHAVIOR Ergonomics for the Design of Multimodal Interfaces Early Integration for Movement Modeling in Latent Spaces Standardized Representations and Markup Languages for Multimodal Interaction Multimodal Databases EMERGING TRENDS AND APPLICATIONS Medical and Health Systems Automotive Multimodal Human-Machine Interface Embedded Multimodal Interfaces in Robotics: Applications, Future Trends, and Societal Implications Multimodal Dialogue Processing for Machine Translation Commercialization of Multimodal Systems Privacy Concerns of Multimodal Sensor Systems Index Biographies Volume 3 Glossary

Read more less

Book SynopsisThe Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces-user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces.This three-volume handbook is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this and related areas.This third volume focuses on state-of-the-art multimodal language and dialogue processing, including semantic integration of modalities. The development of increasingly expressive embodied agents and robots has become an active test bed for coordinating multimodal dialogue input and output, including processing of language and nonverbal communication. In addition, major application areas are featured for commercializing multimodal-multisensor systems, including automotive, robotic, manufacturing, machine translation, banking, communications, and others. These systems rely heavily on software tools, data resources, and international standards to facilitate their development. For insights into the future, emerging multimodal-multisensor technology trends are highlighted in medicine, robotics, interaction with smart spaces, and similar areas. Finally, this volume discusses the societal impact of more widespread adoption of these systems, such as privacy risks and how to mitigate them. The handbook chapters provide a number of walk-through examples of system design and processing, information on practical resources for developing and evaluating new systems, and terminology and tutorial support for mastering this emerging field. In the final section of this volume, experts exchange views on a timely and controversial challenge topic, and how they believe multimodal-multisensor interfaces need to be equipped to most effectively advance human performance during the next decade.Table of Contents Preface Figure Credits Introduction: Toward the Design, Construction, and Deployment of Multimodal-Multisensor Interfaces MULTIMODAL LANGUAGE AND DIALOGUE PROCESSING Multimodal Integration for Interactive Conversational Systems Multimodal Conversational Interaction with Robots Situated Interaction Software Platforms and Toolkits for Building Multimodal Systems and Applications Challenge Discussion: Advancing Multimodal Dialogue Nonverbal Behavior in Multimodal Performances MULTIMODAL BEHAVIOR Ergonomics for the Design of Multimodal Interfaces Early Integration for Movement Modeling in Latent Spaces Standardized Representations and Markup Languages for Multimodal Interaction Multimodal Databases EMERGING TRENDS AND APPLICATIONS Medical and Health Systems Automotive Multimodal Human-Machine Interface Embedded Multimodal Interfaces in Robotics: Applications, Future Trends, and Societal Implications Multimodal Dialogue Processing for Machine Translation Commercialization of Multimodal Systems Privacy Concerns of Multimodal Sensor Systems Index Biographies Volume 3 Glossary

Read more less

Book SynopsisCommunities of Computing is the first book-length history of the Association for Computing Machinery (ACM), founded in 1947 and with a membership today of 100,000 worldwide. It profiles ACM's notable SIGs, active chapters, and individual members, setting ACM's history into a rich social and political context. The book's 12 core chapters are organized into three thematic sections. ""Defining the Discipline"" examines the 1960s and 1970s when the field of computer science was taking form at the National Science Foundation, Stanford University, and through ACM's notable efforts in education and curriculum standards. "Broadening the Profession" looks outward into the wider society as ACM engaged with social and political issues - and as members struggled with balancing a focus on scientific issues and awareness of the wider world.Chapters examine the social turbulence surrounding the Vietnam War, debates about the women's movement, efforts for computing and community education, and international issues including professionalization and the Cold War. "Expanding Research Frontiers" profiles three areas of research activity where ACM members and ACM itself shaped notable advances in computing, including computer graphics, computer security, and hypertext.Featuring insightful profiles of notable ACM leaders, such as Edmund Berkeley, George Forsythe, Jean Sammet, Peter Denning, and Kelly Gotlieb, and honest assessments of controversial episodes, the volume deals with compelling and complex issues involving ACM and computing. It is not a narrow organizational history of ACM committees and SIGS, although much information about them is given. All chapters are original works of research. Many chapters draw on archival records of ACM's headquarters, ACM SIGs, and ACM leaders. This volume makes a permanent contribution to documenting the history of ACM and understanding its central role in the history of computing.Table of Contents 1. ACM and the Computing Revolution (Thomas J. Misa) Theme 1: Defining the Discipline 2. From Handmaiden to 'Proper Intellectual Discipline': Creating a Scientific Identity for Computer Science in 1960s America (Janet Abbate) 3. George Forsythe, the ACM, and the Creation of Computer Science As We Know It (Joseph November) 4. Solving a Career Equation: The First Doctoral Women in Computer Science (Irina Nikivincze) 5. The History and Purpose of Computing Curricula (1960s to 2000s) (Sebastian Dziallas) Theme 2: Broadening the Profession 6. 'Deeply Political and Social Issues': Debates within ACM 1965-1985 (Janet Toland) 7. Organized Advocacy for Professional Women in Computing: Comparing Histories of the AWC and the ACM-W (Amy Sue Bix) 8. The Development of Computer Professionalization in Canada (Scott Campbell) 9. The Anatomy of an Encounter: Transnational Mediation and Discipline Building in Cold War Computer Science (Ksenia Tatarchenko) 10. Concern for the 'Disadvantaged': ACM's Role in Training and Education for Communities of Color 1958-1975 (R. Arvid Nelsen) Theme 3: Expanding Research Frontiers 11. Other Places of Invention: Computer Graphics at the University of Utah (Jacob Gaboury) 12. Framing Computer Security and Privacy, 1967-1992 (Rebecca Slayton) 13. Hypertext, Digital Libraries, and Beyond: A History of SIGWEB (Inna Kouper) Bibliography

Read more less

Book SynopsisCommunities of Computing is the first book-length history of the Association for Computing Machinery (ACM), founded in 1947 and with a membership today of 100,000 worldwide. It profiles ACM's notable SIGs, active chapters, and individual members, setting ACM's history into a rich social and political context. The book's 12 core chapters are organized into three thematic sections. "Defining the Discipline" examines the 1960s and 1970s when the field of computer science was taking form at the National Science Foundation, Stanford University, and through ACM's notable efforts in education and curriculum standards. "Broadening the Profession" looks outward into the wider society as ACM engaged with social and political issues - and as members struggled with balancing a focus on scientific issues and awareness of the wider world.Chapters examine the social turbulence surrounding the Vietnam War, debates about the women's movement, efforts for computing and community education, and international issues including professionalization and the Cold War. "Expanding Research Frontiers" profiles three areas of research activity where ACM members and ACM itself shaped notable advances in computing, including computer graphics, computer security, and hypertext.Featuring insightful profiles of notable ACM leaders, such as Edmund Berkeley, George Forsythe, Jean Sammet, Peter Denning, and Kelly Gotlieb, and honest assessments of controversial episodes, the volume deals with compelling and complex issues involving ACM and computing. It is not a narrow organizational history of ACM committees and SIGS, although much information about them is given. All chapters are original works of research. Many chapters draw on archival records of ACM's headquarters, ACM SIGs, and ACM leaders. This volume makes a permanent contribution to documenting the history of ACM and understanding its central role in the history of computing.Table of Contents 1. ACM and the Computing Revolution (Thomas J. Misa) Theme 1: Defining the Discipline 2. From Handmaiden to 'Proper Intellectual Discipline': Creating a Scientific Identity for Computer Science in 1960s America (Janet Abbate) 3. George Forsythe, the ACM, and the Creation of Computer Science As We Know It (Joseph November) 4. Solving a Career Equation: The First Doctoral Women in Computer Science (Irina Nikivincze) 5. The History and Purpose of Computing Curricula (1960s to 2000s) (Sebastian Dziallas) Theme 2: Broadening the Profession 6. 'Deeply Political and Social Issues': Debates within ACM 1965-1985 (Janet Toland) 7. Organized Advocacy for Professional Women in Computing: Comparing Histories of the AWC and the ACM-W (Amy Sue Bix) 8. The Development of Computer Professionalization in Canada (Scott Campbell) 9. The Anatomy of an Encounter: Transnational Mediation and Discipline Building in Cold War Computer Science (Ksenia Tatarchenko) 10. Concern for the 'Disadvantaged': ACM's Role in Training and Education for Communities of Color 1958-1975 (R. Arvid Nelsen) Theme 3: Expanding Research Frontiers 11. Other Places of Invention: Computer Graphics at the University of Utah (Jacob Gaboury) 12. Framing Computer Security and Privacy, 1967-1992 (Rebecca Slayton) 13. Hypertext, Digital Libraries, and Beyond: A History of SIGWEB (Inna Kouper) Bibliography

Read more less

Book SynopsisThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of ""what"" to do rather than ""how"" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically.Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling.For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren’s Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving.LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning.The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.Table of Contents Preface PART I THEORY 1. Datalog: Concepts, History, and Outlook 2. An Introduction to the Stable and Well-Founded Semantics of Logic Programs 3. A Survey of Probabilistic Logic Programming PART II SYSTEMS 4. WAM for Everyone: A Virtual Machine for Logic Programming 5. Predicate Logic as a Modeling Language: The IDP System 6. SolverBlox: Algebraic Modeling in Dialog PART III APPLICATIONS 7. Exploring Life: Answer Set Programming in Bioinformatics 8. State-Space Search with Tabled Logic Programs 9. Natural Language Processing with (Tabled and Constraint) Logic Programming 10. Logic Programming Applications: What Are the Abstractions and Implementations? Index Biographies

Read more less

Book SynopsisThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of "what" to do rather than "how" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically.Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling.For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren’s Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving.LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning.The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.Table of Contents Preface PART I THEORY 1. Datalog: Concepts, History, and Outlook 2. An Introduction to the Stable and Well-Founded Semantics of Logic Programs 3. A Survey of Probabilistic Logic Programming PART II SYSTEMS 4. WAM for Everyone: A Virtual Machine for Logic Programming 5. Predicate Logic as a Modeling Language: The IDP System 6. SolverBlox: Algebraic Modeling in Dialog PART III APPLICATIONS 7. Exploring Life: Answer Set Programming in Bioinformatics 8. State-Space Search with Tabled Logic Programs 9. Natural Language Processing with (Tabled and Constraint) Logic Programming 10. Logic Programming Applications: What Are the Abstractions and Implementations? Index Biographies

Read more less

Book SynopsisThis textbook presents the elementary aspects of quantum computing in a mathematical form. It is intended as core or supplementary reading for physicists, mathematicians, and computer scientists taking a first course on quantum computing. It starts by introducing the basic mathematics required for quantum mechanics, and then goes on to present, in detail, the notions of quantum mechanics, entanglement, quantum gates, and quantum algorithms, of which Shor's factorisation and Grover's search algorithm are discussed extensively. In addition, the algorithms for the Abelian Hidden Subgroup and Discrete Logarithm problems are presented and the latter is used to show how the Bitcoin digital signature may be compromised. It also addresses the problem of error correction as well as giving a detailed exposition of adiabatic quantum computing. The book contains around 140 exercises for the student, covering all of the topics treated, together with an appendix of solutions.Table of ContentsIntroduction.- Basic Notions of Quantum Mechanics.- Tensor Products and Composite Systems.- Entanglement.- Quantum Gates and Circuits for Elementary Calculations.- On the Use of Entanglement.- Error Correction.- Adiabatic Quantum Computing.- Epilogue Appendices: A Elementary Probability Theory.- B Elementary Arithmetic Operations.- C LANDAU Symbols.- D Modular Arithmetic.- E Continued Fractions.- F Some Group Theory.- G Proof of a Quantum Adiabatic Theorem.- Solutions to Exercises.

Read more less

Book SynopsisThis unique book presents the story of the pioneering manufacturing company Ferranti Ltd. – producer of the first commercially-available computers – and of the nine end-user organisations who purchased these machines with government help in the period 1951 to 1957. The text presents personal reminiscences from many of the diverse engineers, programmers and marketing staff who contributed to this important episode in the emergence of modern computers, further illustrated by numerous historical photographs. Considerable technical details are also supplied in the appendices.Topics and features: provides the historical background to the Ferranti Mark I, including the contributions of von Neumann and Turing, and the prototype known as The Baby; describes the transfer of technologies from academia to industry and the establishment of Ferranti’s computer production resources; reviews Ferranti’s efforts to adapt their computers for sale to business and commercial markets, and to introduce competitive new products; covers the use of early Ferranti computers for defence applications in different government establishments in the UK, including GCHQ Cheltenham; discusses the installation and applications of Ferranti computers at universities in the UK, Canada, and Italy; presents the story of the purchase of a Ferranti Mark I* machine by the Amsterdam Laboratories of the Shell company; details the use of Ferranti Mark I* computers in the UK’s aerospace industry and compares this with the American scene; relates the saga of Ferranti’s journey from its initial success as the first and largest British computer manufacturer to its decline and eventual bankruptcy.This highly readable text/reference will greatly appeal to professionals interested in the practical development of early computers, as well as to specialists in computer history seeking technical material not readily available elsewhere. The educated general reader will also find much to enjoy in the photographs and personal anecdotes that provide an accessible insight into the early days of computing.Table of ContentsThe Small Seeds of Innovation Academic/Industrial Collaboration: from Chorlton-on-Medlock to Moston, and Back Canada Calling: Toronto Gets a Mark I A Star is Born: Ideas and Upgrades Into the Market The AVRO Mark I* Installation at Chadderton The Mark I* at Armstrong Siddeley, Ansty, Coventry The Ferranti Mark I* Installation in Amsterdam The Ferranti Mark I* Installation in Rome GCHQ Cheltenham’s Mark I* The Mark I* at the Armaments Research Development Establishment, Fort Halstead The Mark I* at the Atomic Weapons Research Establishment, Aldermaston What Came Next? Appendix A: Baby’s Conception: the Back Story Appendix B: Mark I and Mark I* Software Details Appendix C: Mark I and Mark I* Hardware Details Appendix D: Naming Names Appendix E: Performance, Cost and Delivery Details of Other Computers

Read more less

Book SynopsisThis invaluable textbook presents a self-contained introduction to the field of bioinformatics. Providing a comprehensive breadth of coverage while remaining accessibly concise, the text promotes a deep understanding of the field, supported by basic mathematical concepts, an emphasis on biological knowledge, and a holistic approach that highlights the connections unifying bioinformatics with other areas of science. The thoroughly revised and enhanced fourth edition features new chapters focusing on regulation and control networks, the origins of life, evolution, statistics and causation, viruses, the microbiome, single cell analysis, drug discovery and forensic applications. This edition additionally includes new and updated material on the ontology of bioinformatics, data mining, ecosystems, and phenomics. Also covered are new developments in sequencing technologies, gene editing methods, and modelling of the brain, as well as state-of-the-art medical applications. Of specialtopicality is a new chapter on bioinformatics aspects of the coronavirus pandemic. Topics and features:Explains the fundamentals of set theory, combinatorics, probability, likelihood, causality, clustering, pattern recognition, randomness, complexity, systems, and networksDiscusses topics on ontogeny, phylogeny, genome structure, and regulation, as well as aspects of molecular biologyCritically examines the most significant practical applications, offering detailed descriptions of both the experimental process and the analysis of the dataProvides a varied selection of problems throughout the book, to stimulate further thinkingEncourages further reading through the inclusion of an extensive bibliographyThis classic textbook builds upon the successful formula of previous editions with coverage of the latest advances in this exciting and fast-moving field. With its interdisciplinary scope, this unique guide will prove to be an essential study companion to a broad audience of undergraduate and beginning graduate students, spanning computer scientists focusing on bioinformatics, students of the physical sciences seeking a helpful primer on biology, and biologists desiring to better understand the theory underlying important applications of information science in biology. Dr. Jeremy Ramsdenis Hon. Prof. of Nanotechnology in the Department of Biomedical Research at the University of Buckingham, UK.

Read more less

Book SynopsisThis edited book presents scientific results of the 20th IEEE/ACIS International Summer Semi-Virtual Conference on Computer and Information Science (ICIS 2021) held on June 23–25, 2021 in Shanghai, China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 13 of the conference’s most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science. Table of ContentsThe Effect of Online Investor Sentiment on Stock Movements: An LSTM Approach.- A Framework and Decision Algorithm to Determine the Best Feature Extraction Technique for Supporting Machine Learning-Based Hate Speech Detection.- Sentiment Analysis of Stock Market Investors and Its Correlation with Stock Price Using Maximum Entropy.- Intrusion Detection for Modern DDos Attacks Classification Based on Convolutional Neural Networks.- A Study on the Recognition of Hangeul through Transitional Learning in Handwritten Application.- Study on Partial Image Detection for Drawing- Focus on Unstructured Images Included in the Main Image.- Factors affecting the Intention to Use Artificial Intelligence-based Recruitment System: A Structural Equation Modeling (SEM) approach.- A Comparative Study of Vectorization Approaches for Detecting Inconsistent Method Names.- Heart Sound Segmentation Based On A Joint HSMM Method.- A Novel Authenticity of Artwork System based on Blockchain.- Image Steganography using GANs.- Coverage-Guided Fairness Testing.

Read more less

Book SynopsisThe topics in this book cover a broad range of research interests: from business engineering and its application in corporate and business networking contexts to design science research as well as applied topics, where those research methods have been employed for modeling, data warehousing, information systems management, enterprise architecture management, management of large and complex projects, and enterprise transformation. The book is a Festschrift for Robert Winter in order to appreciate his work and to honor him as a personality with a high reputation in the information systems community. To this end, many professional colleagues or long-time companions both from the Institute of Information Management at the University of St. Gallen as well as from the international research community dedicated articles on topics related to Robert’s research. They reflect his ambition to uncompromisingly conduct high-class research that fuels the research community and at the same time contributes to improved industrial practice. The book is organized in three major parts: Part I “Business Engineering and Beyond” focuses on the methodology strongly shaped by Robert in St. Gallen with a focus on research being applied in corporate contexts. Part II “Design Science Research” spans from reflections on the practice of design science research to perspectives on design science research methodologies and eventually up to considerations to teach design science research methodology. Part III “Applied Fields” combines various applications of design science and related research methodologies with practical problems and future research topics. Table of ContentsPart I: Business Engineering and Beyond.- From Business Engineering to Life Engineering.- Management of Artificial Intelligence: Feasibility, Desirability and Viability.- How Fair Is IS Research?.- From Business Engineering to Digital Engineering: The Role of Metamodeling in Digital Transformation.- From Business Engineering to Digital Engineering: The Role of Metamodeling in Digital Transformation.- On Model-Based Coordination of Change in Organizations.- Part II: Design Science Research.- Reflections on the Practice of Design Science in Information Systems.- Design Science Research of High Practical Relevance.- Design Pattern as a Bridge Between Problem-Space and Solution-Space.- Incremental Accumulation of Information Systems Design Theory.- Assessing the Temporal Validity of Design Knowledge.- Pedagogy for Doctoral Seminars in Design Science Research.- Part III: Applied Fields.- Management of Enterprise-Wide Information Systems.- The Competence Center Health Network Engineering: A Retrospective.- A Research Agenda for Studying Platform Ecosystems.- A Concept for an IT-Supported Integrated Earnings and Risk Management to Strengthen the Resilience of Companies in Times of Crisis.- Data Vault as a Modeling Concept for the Data Warehouse.- Evaluating a Forward-Looking Maturity Model for Enterprise Performance Management.- The Evolution of IT Management Standards in Digital Transformation: Current Status and Research Implications.- Towards Conscious Enterprises: The Role of Enterprise Engineering in Realizing Living Sciences Paradigms into Management Sciences.- Digital Resilience to Normal Accidents in High-Reliability Organizations.- Mind the Gap: Why There Is a Gap Between Information Systems Research and Practice, and How to Manage It.- The Connection Between Winter and Information Systems.

Read more less

Book SynopsisScience fiction is the playground of the imagination. If you are interested in science or fascinated with the future then science fiction is where you explore new ideas and let your dreams and nightmares duke it out on the safety of the page or screen. But what if we could use science fiction to do more than that? What if we could use science fiction based on science fact to not only imagine our future but develop new technologies and products? What if we could use stories, movies and comics as a kind of tool to explore the real world implications and uses of future technologies today? Science Fiction Prototyping is a practical guide to using fiction as a way to imagine our future in a whole new way. Filled with history, real world examples and conversations with experts like best selling science fiction author Cory Doctorow, senior editor at Dark Horse Comics Chris Warner and Hollywood science expert Sidney Perkowitz, Science Fiction Prototyping will give you the tools you need to begin designing the future with science fiction. The future is Brian David Johnson’s business. As a futurist at Intel Corporation, his charter is to develop an actionable vision for computing in 2021. His work is called “future casting”—using ethnographic field studies, technology research, trend data, and even science fiction to create a pragmatic vision of consumers and computing. Johnson has been pioneering development in artificial intelligence, robotics, and reinventing TV. He speaks and writes extensively about future technologies in articles and scientific papers as well as science fiction short stories and novels (Fake Plastic Love and Screen Future: The Future of Entertainment, Computing and the Devices We Love). He has directed two feature films and is an illustrator and commissioned painter. Table of Contents: Preface / Foreword / Epilogue / Dedication / Acknowledgments / 1. The Future Is in Your Hands / 2. Religious Robots and Runaway Were-Tigers: A Brief Overview of the Science and the Fiction that Went Into Two SF Prototypes / 3. How to Build Your Own SF Prototype in Five Steps or Less / 4. I, Robot: From Asimov to Doctorow: Exploring Short Fiction as an SF Prototype and a Conversation With Cory Doctorow / 5. The Men in the Moon: Exploring Movies as an SF Prototype and a Conversation with Sidney Perkowitz / 6. Science in the Gutters: Exploring Comics as an SF Prototype and a Conversation With Chris Warner / 7. Making the Future: Now that You Have Developed Your SF Prototype, What’s Next? / 8. Einstein’s Thought Experiments and Asimov’s Second Dream / Appendix A: The SF Prototypes / Notes / Author BiographyTable of ContentsPreface.- Foreword.- Epilogue.- Dedication.- Acknowledgments.- 1. The Future Is in Your Hands.- 2. Religious Robots and Runaway Were-Tigers: A Brief Overview of the Science and the Fiction that Went Into Two SF Prototypes.- 3. How to Build Your Own SF Prototype in Five Steps or Less.- 4. I, Robot: From Asimov to Doctorow: Exploring Short Fiction as an SF Prototype and a Conversation With Cory Doctorow.- 5. The Men in the Moon: Exploring Movies as an SF Prototype and a Conversation with Sidney Perkowitz.- 6. Science in the Gutters: Exploring Comics as an SF Prototype and a Conversation With Chris Warner.- 7. Making the Future: Now that You Have Developed Your SF Prototype, What’s Next?.- 8. Einstein’s Thought Experiments and Asimov’s Second Dream.- Appendix A: The SF Prototypes.- Notes.- Author Biography.

Read more less

Book SynopsisThis book contains contributions presented at the 13th International Conference on Complex Networks (CompleNet), April 19–22, 2022. CompleNet is an international conference on complex networks that brings together researchers and practitioners from diverse disciplines—from sociology, biology, physics, and computer science—who share a passion to better understand the interdependencies within and across systems. CompleNet is a venue to discuss ideas and findings about all types of networks, from biological to technological and to informational and social. It is this interdisciplinary nature of complex networks that CompleNet aims to explore and celebrate.Table of ContentsThis cannot be provided at this point because the editors have not yet finished the selection of the works. However, we can expect at least a theoretical part and an applied part for the table of contents. Specific topics of interest include (but are not limited to):​​Applications of Network Science Human Behaviour & Social Influence Community Structure Social Cohesion and Group Dynamics Biological Systems Dynamics on and of Networks Ecological Networks Urban Systems and Networks Networks in Politics Online Social Network Sensing Network Topology and Geometry Infrastructure Networks (Power grids, water systems, etc.) Impact Performance and Success Prediction Human Mobility and Networks Social Media Social Networks Disease Spread in Populations and Social Networks Algorithms Network Metrics Brain Networks Multiplex and Temporal Networks Network Controllability and Resilience Science of Science Networked Medicine Network Visualisation Generative Network Models Financial Networks Criminal Networks

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​Computational methods for porous geomaterials (CompPor 2023).- Simulation of two-phase flow in models with micro-porous material.- Numerical dispersion mitigation neural network with the model-based training dataset optimization.- Frequency domain numerical dispersion mitigation network.- Field-split iterative solver for quasi-static Biot equation.- Seismic monitoring of hydrocarbon deposits using a viscoelastic medium model based on deep learning.- Adaptive data-based optimization of the training dataset for the NDM-net.- Numerical evaluating the permeability of rocks based on correlation dependence on geometry.- Modeling of Temperature-Dependent Wavefields in Porous Media.- Optimal time-step for coupled CFD-DEM model in sand production.- genDer Equity/equaLity In transport And mobility (DELIA 2023).- Urban and social policies for the borderless city.- A two-step analysis of the accessibility of the local public transport service by university students residing in Enna.- International Workshop on Defense Technology and Security (DTS 2023).- Anti-tampering process for the protection of weapon systems technology in Korea.- BTIMFL: A Blockchain-based Trust Incentive Mechanism in Federated Learning.- Area-Efficient Accelerator for the Full NTRU-KEM Algorithm.- PrinterLeak: Exfiltration from Air-Gapped Networks by Exploiting Printer Display Panels.- Design of an integrated cyber defense platform for communication network security of intelligent smart units.- Evaluating Inner Areas Potentials (EIAP 2023).- PROJECTS AND FUNDING IN ITALIAN INNER AREAS: LEARNING FROM THE 2014-2020 PROGRAMMING OF THE SNAI NATIONAL STRATEGY.- TThe SAVV+P method: integrating qualitative and quantitative analyses to evaluate the territorial potential.- A stakeholder analysis to support resilient strategies in the Alta Valsesia inner area.- Emerging trends in the territorial and rural vulnerability-vibrancy evaluation. A bibliometric analysis.- sustainablE mobiLity Last mIle lOgisTic (ELLIOT 2023).- A bi-objective routing problem with trucks and drones: minimizing mission time and energy consumption.- Pick-up point location optimisation using a two-level multi-objective approach: the Enna case study.- Freight distribution in urban area: estimating the impact of commercial vehicles on traffic congestion.- The role of city logistics in pursuing the goals of Agenda 2030.- Urban Air Mobility: Multi-objective Mixed Integer Programming Model for solving the Drone Scheduling Problem.- Econometrics and Multidimensional Evaluation of Urban Environment (EMEUE 2023).- Urban slum upgrading: a model for expeditious estimation of the cost of interventions.- Blockchain and the General Data Protection Regulation: Healthcare Data Processing.- A spatial statistical approach for the analysis of urban poverty.- Short-Term Island: Sharing Economy, Real Estate Market and Touristification Interplay in Capri (Italy).- The One-Stop Shop business model for improving building energy efficiency: analysis and applications.- Creative Culture-led Strategies for Sustainable Innovations: The Multidimensional Valorisation Project of the Pioppi Living Museum of the Sea, Italy.- Regenerating the landscape through the co-production of complex values.- An evaluation methodology to support the definition of temporal priorities lists for urban redevelopment projects.- The Strategic Planning for the Promotion of Cultural Tourism in a Wide Area of Calabria: The Armeni Valley.- Assessment of public health performance in relation to hospital energy demand, socio-economic efficiency and quality of services: an Italian case study.- Comparing Environmental Values and CO2 Values in Geographical contexts.- Ecosystem Services in Spatial Planning for resilient urban and rural areas (ESSP 2023).- Living Labs as a method of knowledge value transfer in a natural area.- Refining the use of ecosystem services to increase sustainability and resilience in tropical agriculture.- The analysis of the urban open spaces system for resilient and pleasant historical districts.- Monitoring recent afforestation interventions as relevant issue for urban planning.- Fragmentation tool to develop ecological network from the local to the municipal scale. A Roadmap for green infrastructure planning and design.- Preventing Urban Floods by Optimized Modeling: A Comparative Evaluation of Alternatives in Izmir (Türkiye).- The evolution of Natural Capital Accounting: from origins to System of Environmental-Economic Accounting.- Assessing the relation between land take and landslide hazard. Evidence from Sardinia, Italy.- GeoAI approach for analyzing territorial specialization in Ecosystem Services provisioning.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023.The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​Integrated methods for the ecosystem-services accounting in urban decision process (Ecourbn 2023).- Research, development and innovation projects for territorial cohesion in inland marginal areas: economic analysis of social and cultural benefits.- The role of Renewable Energy Communities in the sustainable urban development.- The infrastructure sector sustainability: using of the Deterministic Frontier Analysis for performance-accounting measurement.- Unveiling the potential use of Euler Equations in the Utility Additive Analysis for mass appraisal.- Evaluation Aspects in the Strategic Planning of a Reticular DMO for the Promotion of Inner Areas of Calabria.- Integrating ecosystem services value in the economic assessment of urban projects. Proposal of an analytical-operative approach.- Ethical AI applications for a human-centered cyber society (EthicAI 2023).- Ethical Artificial Intelligence in Telerehabilitation of Neurodevelopmental Disorders: A position paper.- Natural Language Processing Techniques for Hate Speech Evaluation for Brazilian Portuguese.- From Black Box to Glass Box: Advancing Transparency in Artificial Intelligence Systems for Ethical and Trustworthy AI.- 13th International Workshop on Future Computing System Technologies and Applications (FiSTA 2023).- Towards a Dynamic Computation Offloading Mechanism with Twin Delayed DDPG in Edge Computing.- Data-flow Visual Programming Environment for Small IoT Devices.- Tweets Sentiment Analysis of Putin's Participation at the G20 Summit in Indonesia.- Droneways: Definition of Unmanned Aircraft Vehicles Airways and Traffic Management for Urban and Interurban Environments - A Survey.- Geomatics for Resource Monitoring and Management (GRMM 2023).- Integration of Copernicus data and services to assess local aridity conditions in the Apulian context: the case of Marina di Ginosa.- Integrated use of geomatic methodologies for monitoring an instability phenomenon.- Crowdsensing close-range photogrammetry for accurately reconstructing a digital twin of a Cultural Heritage building using a Smartphone and a compact camera.- Landsat 9 satellite images potentiality in extracting Land Cover classes in GEE environment using an index-based approach: the case study of Savona city.- Collaborative Planning and Designing for the Future with Geospatial Applications (GeoCollab 2023).- Geodesign Education: Case Studies from the US, Brazil and Italy.- Geomatics in Agriculture and Forestry: new advances and perspectives (GeoForAgr 2023).- Enhanced map composition and diachronic land cover classification of Landsat data in Google Earth Engine.- Intra-network analysis based on the comparison between the graph theory approach and Pathwalker.- MEDALUS model evolutions and prospects Case study Sicily.- Predictive Modelling of Maize Yield Using Sentinel 2 data.- UAV LiDAR survey for forest structure metrics estimation in planning scenario. A case study on a laricio pine forest in the Sila mountains (southern Italy).- Palm Tree Dataset Construction with Plant Height Estimation and Plant Counting Tasks.- Geographical Analysis, Urban Modeling, Spatial Statistics (Geog-An-Mod 2023).- Grid-based generalisation of area polygons for automated application in small-scale statistical maps.- Natural Fracture Network Model using Machine Learning Approach.- Indicators engineering for land use changes analysis. A study on the Mediterranean coastal strip.- Agricultural crops and spatial distribution of migrants: case studies in Campania Region (Southern Italy).- Agricultural crops and spatial distribution of migrants: case studies in Campania Region (Southern Italy).- Mapping political extremism on Twitter in Brazil.- Increasing urban Sustainability designing vertical garden: the experience of Pisticci Municipality (Southern Italy).- The 15-minute city model: assessment of the socio-economic and environmental impacts associated with the location of essential amenities.- Spatial Multi-Criteria Analysis for identifying suitable locations for Green Hydrogen Infrastructure.- Urban regeneration in the age of transitions.- Emerging technology trends in geocomputation methods: a literature review.- Emerging technology trends in geocomputation methods: a literature review.- Transport and Logistics Performance Assessment: Beyond the Conventional Approach.- Agrovoltaic as a possible outcome to the difficult relationship between land use and photovoltaics. A case study from Puglia region.- Implementing a developed strategy for revitalizing industrial areas in crisis. The experience of the Tito industrial area in the Basilicata Region (southern Italy).- Combining tourism revitalization with environmental regeneration through the restoration of Piano del Conte Lake in Lagopesole (Southern Italy).- A Machine Learning Method for the Analysis of Urban Italian Mobility.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​International Workshop on Information and Knowledge in the Internet of Things (IKIT 2023).- Opportunities and Challenges of Digital Transformation in the Public Sector: the Case of Ecuador.- Real-time Anomaly Detection Business Process For Industrial Equipment Using Internet of Things and Unsupervised Machine Learning Algorithms.- IoT Based Recycling Bins for Santa Elena Province.- Arduino and the construction of a height and heart rate meter.- Effects of the Olympics on Citizens' Interest in Foreign Cultures: Evidence from the Tokyo 2020 Games.- How 5G will transform Smart Cities: A Literature Review.- FPGA-based Hardware/Software Codesign for Video Encoder on IoT Edge Platforms.- Impact of ICT on the agricultural sector's sustainability: evidence based on practices.- Identification of Bus Stations on the Urban Transport Network based on GPS Tracking Data.- Augmented Computing and Smart Cities Sustainability.- IOHIVE: Architecture and Infrastructure of an IOT System for Beehive Monitoring and an Interactive Journaling Wearable Device for Beekeepers.- Emerging Data Driven smart city and its solutions for sustainability: the case of Cuenca-Ecuador.- Adoption of the rules of the General Data Protection Regulation on the Websites of Municipalities.- International Workshop on Collective, Massive and Evolutionary Systems (IWCES 2023).- Preliminary Results of Group Detection Technique based on User to Vector Encoding.- Sentiment Processing of Socio-Political Discourse and Public Speeches.- Multidimensional evolutionary evaluations for transformative approaches (MEETA 2023).- Community archive: a place-based census technique for urban regeneration.- Culture & The City: Towards a context-aware assessment framework.- Smart Circular Cities and Stakeholders Engagement: A Literature Review to Explore the Role of Artificial Intelligence.- Evaluating energy communities: new social and economic model to implement the ecological transition.- Participatory art and Co-creation methodology in the "Viale delle Metamorfosi" project.- Tailored regeneration process for urban brownfield: an evaluative approach for the Castellammare di Stabia, Italy.- Exploring transformative potentials of urban cemeteries through an Evolutionary Evaluation approach: the case study of "Poggioreale" in Naples (Italy).- Landscape-based Fire Resilience: Identifying Interaction between Landscape Dynamics and Fire Regimes in the Mediterranean Region.- GIS based hierarchical fuzzy MCDA framework for detecting critical urban areas in climate scenarios.- Urban regeneration strategies for implementing the cir-cular city model: the key role of the community engage-ment.- Building multi-dimensional models for assessing complex environmental systems (MES 2023).- Civic uses as complex socio-ecological system: a proposal for an analytical framework.- Evaluation of NBS solutions for climate resilience and adaptation in the Sub-Saharan Africa: the case of Ghana's Ashanti region.- Supporting the resources allocation for inner areas by the use of the FITradeoff method.- Renewable energy sources and ecosystem services: Measuring the impacts of ground-mounted photovoltaic panels.- NBS design and implementation in urban systems: dimensions, challenges and issues to construct a comprehensive evaluation framework.- How to address marginalization in small towns: a MCDA approach to comparing different strategies in Campania Region.- Learning urban sustainability by playing.- The Canvas model to support the circular urban regeneration projects.- Supporting the management plan of a World Heritage Site nomination through a multi-step evaluation approach.- Evaluating Nature-Based Solutions impacts: a preliminary framing of assessment methods.- An evaluation model to support strategic urban planning in Italy: the application of Community Impact Evaluation.- Mathematical Methods for Image Processing and Understanding (MMIPU 2023).- Mathematical models and neural networks for the description and the correction of typical distortions of historical manuscripts.- A mathematical model for the analysis of eye fundus images in healthy and diabetic patients.- Mapped Variably Scaled Kernels: Applications to Solar Imaging.- Fruit fly detection and classification in IoT setup.- A Finite differences-based metric for Magnetic Resonance Image inpainting.- Improving color image binary segmentation using Nonnegative Matrix Factorization.- Truncated minimal-norm Gauss-Newton method applied to the inversion of FDEM data.- Blind source separation of color noisy blurred images.- Quadratically transformed luminance chrominance spaces.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of ContentsSmart Tourism (SmartTourism 2023).- The concept of smart marinas for the implementation of Croatian nautical tourism.- A Decade Bibliometric Analysis of Decision Making in Tourism and Hospitality.- Smart Touristic Ports - The emergence of sustainable marinas from Smart conversion. What future for Sardinia's ports.- Assessing Management Effectiveness: Manglares El Salado Fauna Production Reserve study case.- Smart and slow tourism in protected natural contexts.- Spatial Energy planning, city and Urban Heritage (Spatial_energy_city 2023).- Conservation and regeneration for a sustainable and circular city.- Problem setting on energy risk and climate change adaptation: topics and tools.- The role of spatial circular planning in urban governance. A set of indicators to evaluate performance of urban regeneration.- Theoretical and Computational Chemistry and its Applications (TCCMA 2023).- Protein tetrahedral networks by invariant shape coordinates.- Guided Clustering for Selecting Representatives Samples in Chemical Databases.- Thermodynamic Analysis of Digestate Pyrolysis Coupled with CO2 Sorption.- Coding Cross Sections of an Electron Charge Transfer Process: analysis of different cuts for the entrance and exit potentials.- Transport Infrastructures for Smart Cities (TISC 2023).- Sustainable retrofitting of urban streets for mitigation of traffic vibration by means of anti-vibrating trenches.- Some remarks on automatic braking system related to pedestrian safety.- Potential Application of Marble and Crushed Mussel Shells By-Products to be Used as Aggregates in Plain Concrete Mixes.- Impact Indexes Comparison Study Using Environmental Product Declarations (EPDs) on Innovative Cement Bound Granular Material Pavement Layers.- THE EFFECT OF SUBGRADE CAVITY ON PAVEMENT. A CASE STUDY.- Motorway performance in Europe and Greece.- Execution Time Experiments to Solve Capacitated Vehicle Routing Problem.- Analysis of the impact on the safety and sustainability of vehicular traffic in the landside area of Olbia - Costa Smeralda- airport.- INTERNATIONAL DESIGN PRACTICES FOR ROUNDABOUTS.- Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2023).- Decision support system for the management of interventions on buildings in the historic centre of Florence: from conservation to regeneration.- Knowledge as a prodromal action for urban regeneration and sustainable development: the case study of Munici-pality of Fondi.- Metabolic Approaches to Regeneration of the Historic Mondeggi Villa Estate.- Environmental and Landscape Constraints and Legislative Provisions in Territorial/Urban Planning and Building Constructions: impacts in urban regeneration.- ​Urban Space Accessibility and Mobilities (USAM 2023).- Accessibility and Polarities of Pedestrian Network in University Campuses. A Space Syntax Application.- A data-driven approach for a city-university mobility plan: the case of the University of Pisa.- Developing a parsimonious classification of traffic analysis zones using a large number of accessibility indicators and transportation level of service.- Research Trends in Tourism Participation: A Bibliometric Analysis using the Scopus Database.- Describing and Understanding the Morphology of the Urban Landscape. The Case Study of Cagliari, Italy.- The Emergence of Robotics in Tourism and Hospitality: A Bibliometric Analysis from 2017 to 2023.- Sustainability crossing the city: developing a sustainable infrastructures system for Genoa urban center.- Virtual reality and augmented Reality and Applications (VRA 2023).- An exploration towards sustainable metaverse systems for e-learning by student designers: A meta-analysis.- Design and Develop of a Smart City Digital Twin with 3D Representation and User Interface for What-If Analysis.- Numerical simulations of 1461 and 1762 San Pio delle Camere (L'Aquila) earthquakes using 3D physic-based model.- Graphical visualization of phase surface of the Sprott type A system immersed in 4D.- Open metaverse with open software.- Aerial and terrestrial LiDAR: comparisons and accuracies.- Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2023).- Exploring the Signature of the Apollo Medicane in the Central Mediterranean Sea through Multi-Source Data Analysis: Satellites, Radar HF, Marine Buoys, and Seismic Data in October 2021.- (Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information.- Transportation infrastructures exposed to seismic risk: evaluation of social costs for resilience design.- LOW-COST GEOMATICS SURVEYS FOR EMERGENCY INTERVENTIONS ON CULTURAL HERITAGE. THE CASE OF HISTORIC WALLS IN CAGLIARI.- AGEO: Advanced Citizens' Observatory for Atlantic Geohazard Risk Management.- Multidisciplinary research at the Castle of Santapau (Licodia Eubea, Italy): new data for the research, protection and enhancement of the archaeological site.

Read more less

Book Synopsis​Volume LNCS 14414 constitutes the refereed proceedings of the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, which was held in Vancouver, Canada in October 2023.The DEMI 2023 proceedings contain 11 high-quality papers of 9 to 15 pages pre-selected through a rigorous peer review process (with an average of three reviews per paper). All submissions were peer-reviewed through a double-blind process by at least three members of the scientific review committee, comprising 16 experts in the field of medical imaging. The accepted manuscripts cover various medical image analysis methods and applications.Table of ContentsWeakly Supervised Medical Image Segmentation through Dense Combinations of Dense Pseudo-Labels.- Whole Slide Multiple Instance Learning for Predicting Axillary Lymph Node Metastasis.- A Client-server Deep Federated Learning for Cross-domain Surgical Image Segmentation.- Pre-training with simulated ultrasound images for breast mass segmentation and classification.- Efficient Large Scale Medical Image Dataset Preparation for Machine Learning Applications.- A Self-supervised Approach for Detecting the Edges of Haustral Folds in Colonoscopy Video.- Procedurally Generated Colonoscopy and Laparoscopy Data For Improved Model Training Performance.- Improving Medical Image Classification in Noisy Labels Using Only Self-supervised Pretraining.- A Study on Using Transformer Encoding Techniques to Optimize Data-driven Volume-to-Surface Registration for Minimally Invasive Liver Interventions.- Vision Transformer-based Self-Supervised Learning for Ulcerative Colitis Grading in Colonoscopy.- Task-guided Domain Gap Reduction for Monocular Depth Prediction in Endoscopy.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis.- Speech..- Retrieval Augmented Spoken Language Generation for Transport Domain..- Adapting Audiovisual Speech Synthesis to Estonian..- Dysphonia Diagnosis Using Self-Supervised Speech Models in Mono- and Cross-Lingual Settings..- Sentences vs Phrases in Neural Speech Synthesis..- Zero-Shot vs. Few-Shot Multi-Speaker TTS Using Pre-trained Czech SpeechT5 Model..- Deep Speaker Embeddings for Speaker Verification of Children..- Improved Alignment for Score Combination of RNN-T and CTC Decoder for Online Decoding..- Attention to Phonetics: A Visually Informed Explanation of Speech Transformers..- Effects of Training Strategies and the Amount of Speech Data on the Quality of Speech Synthesis..- Stream-Based Active Learning for Speech Emotion Recognition via Hybrid Data Selection and Continuous Learning..- Data Alignment and Duration Modelling in VITS..- Multiword Expressions Resources for Italian: Presenting a Manually Ann

Read more less

Book SynopsisChapter 1 Introduction to AI and IoT in the field of Earth Sciences.- Chapter 2. Growing Beyond the Earth: The Potential of Extra-Terrestrial Agriculture from Earth to Space.- Chapter 3. A Spatiotemporal Urban Growth Assessment in Bhopal, India from 1992 To 2042 using Machine Learning Algorithms.- Chapter 4. Emerging Areas and Applications in the Field of Earth Sciences.- Chapter 5. Integrating Deep Learning and IoT for Enhanced Monitoring and Sustainable Mining Practices.- Chapter 6. AI-Driven Insights into Fault Movements and Earthquake Dynamics.- Chapter 7. Harnessing Ai for Seismic Hazard Detection and Prediction: Innovations and Challenges.- Chapter 8. AI Techniques for Remote Monitoring.- Chapter 9. Role of AI in Estimating Potential Aftershocks During Earthquake.- Chapter 10. Advancements in Ozone Monitoring: Leveraging AI and ML for Environmental Protection.- Chapter 11. Quantum Computing in the Field of Earth Sciences.- Chapter 12. Machine Learning Approaches for Yield Prediction and Crop Management Optimization: A SLR.- Chapter 13. Resource Allocation in agriculture and Water Management fields.- Chapter 14. Optimising Crop Yields with Machine learning: Techniques and Applications.- Chapter 15. AI Trends Concerning Patterns, Anomalies, and Correlations for Predicting Earthquake Patterns.- Chapter 16. Future Trends and Challenges of AI And IoT for Earth Sciences.

Read more less

Book Synopsis-. On defining PPT-search problems.-  -. Multi-pseudodeterministic algorithms.- On counting t-cliques Mod 2.- On coarse and fine approximate counting of t-cliques.- On the complexity of enumerating ordered sets.- On the Cook-Mertz Tree Evaluation procedure.- Solving Tree Evaluation in o(log n · log log n) space.- On parallel repetitions of interactive proof systems.- On locally-characterized expander graphs (a survey).- On the Locally Testable Code of Dinur et al. (2021).- On the lower bound on the length of relaxed Locally Decodable Codes.- On the relaxed LDC of BGHSV: A survey that corrects the record.- On the complexity of estimating the Effective Support Size.- Robust Self-Ordering versus Local Self-Ordering.- On Testing Hamiltonicity in the Bounded Degree Graph Model.- Testing Isomorphism in the Bounded-Degree Graph Model.- On Testing Isomorphism to a fixed graph in the Bounded-Degree Graph Model.- On Testing Asymmetry in the Bounded Degree Graph Model.- On the query complexity of testing local graph properties in the Bounded-Degree Graph Model.- Testing in the bounded-degree graph model with degree bound two.- On properties that are non-trivial to test.- One-Sided Error Testing of Monomials and Affine Subspaces.- On testing group properties.

Read more less

Book SynopsisOrientation-Aware Graph Neural Networks for Protein Structure Representation Learning.- Active Learning for Protein Structure Prediction.- Sequence-based TCR-Peptide Representations Using Cross-Epitope Contrastive Fine-tuning of Protein Language Models.- DualGOFiller: A Dual-Channel Graph Neural Network with Contrastive Learning for Enhancing Function Prediction in Partially Annotated Proteins.- Detecting antimicrobial resistance through MALDI-TOF mass spectrometry with statistical guarantees using conformal prediction.- Hierarchical Spatio-Temporal State-Space Modeling for fMRI Analysis.- A Phylogenetic Approach to Genomic Language Modeling.- Dynamic Programming Algorithms for Fast and Accurate Cell Lineage Tree Reconstruction from CRISPR-based Lineage Tracing Data.- Old dog, new tricks: Exact seeding strategy improves RNA design performances.- Scalable and Interpretable Identification of Minimal Undesignable RNA Structure Motifs with Rotational Invariance.- An Exact and Fast SAT Formulation for the DCJ Distance.- Improved pangenomic classification accuracy with chain statistics.- Dynamic μ-PBWT: Dynamic Run-length Compressed PBWT for Biobank Scale Data.- Prokrustean Graph: A substring index for rapid k-mer size analysis.- Rag2Mol: Structure-based drug design based on Retrieval Augmented Generation.- Rewiring protein sequence and structure generative models to enhance protein stability prediction.- Learning a CoNCISE language for small molecule binding and function.- An adversarial scheme for integrating multi-modal data on protein function.- Decoding the Functional Interactome of Non-Model Organisms with PHILHARMONIC.- The tree labeling polytope: a unified approach to ancestral reconstruction problems.- ScisTree2: An Improved Method for Large-scale Inference of Cell Lineage Trees and Genotype Calling from Noisy Single Cell Data.- OMKar: optical map based automated karyotyping of genomes to identify constitutional disorders.- TarDis: Achieving Robust and Structured Disentanglement of Multiple Covariates.- devider: long-read reconstruction of many diverse haplotypes.- Pharming: Joint Clonal Tree Reconstruction of SNV and CNA Evolution from Single-cell DNA Sequencing of Tumors.- GEM-Finder: dissecting GWAS variants via long-range interacting cis-regulatory elements with differentiation-specific genes.- Learning multi-cellular representations of single-cell transcriptomics data enables characterization of patient-level disease states.- cfDecon: Accurate and interpretable methylation based cell type deconvolution for cell-free DNA.- Inferring cell differentiation maps from lineage tracing data.- Alignment-free estimation of read to genome distances and its applications.- ML-MAGES: A machine learning framework for multivariate genetic association analyses with genes and effect size shrinkage.- TX-Phase: Secure Phasing of Private Genomes in a Trusted Execution Environment.- Hyper-k-mers: efficient streaming k-mers representation.- Characterizing the Solution Space of Migration Histories of Metastatic Cancers with MACH2.- Causal Disentanglement of Treatment Effects in Single-cell RNA Sequencing through Counterfactual Inference.- Integration and querying of multimodal single-cell data with PoE-VAE.- ralphi: a deep reinforcement learning framework for haplotype assembly.- GeneCover: A Combinatorial Approach for Label-free Marker Gene Selection.- Joint imputation and deconvolution of gene expression across spatial transcriptomics platforms.- ScatTR: Estimating the Size of Long Tandem Repeat Expansions from Short-Reads.- Learning Latent Trajectories in Developmental Time Series with Hidden-Markov Optimal Transport.- Unified integration of spatial transcriptomics across platforms.- Tree reconstruction guarantees from CRISPR-Cas9 lineage tracing data using Neighbor-Joining.- mcRigor: a statistical method to enhance the rigor of metacell partitioning in single-cell data analysis.- TissueMosaic enables cross-sample differential analysis of spatial transcriptomics datasets through self-supervised representation learning.- Accurate Detection of Tandem Repeats from Error-Prone Sequences with EquiRep.- ALPINE: an interpretable approach for decoding phenotypes from multi-condition sequencing data.- Synthetic control removes spurious discoveries from double dipping in single-cell and spatial transcriptomics data analyses.- Integer programming framework for pangenome-based genome inference.- A Partition Function Algorithm to Evaluate Inferred Subclonal Structures in Single-Cell Sequencing Data.- Untying Rates of Gene Gain and Loss Leads to a New Phylogenetic Approach.- Learning maximally spanning representations improves protein function annotation.- Optimal marker genes for c-separated cell types.- Bayesian Aggregation of Multiple Annotations Enhances Rare Variant Association Testing.- Steamboat: Attention-Based Multiscale Delineation of Cellular Interactions in Tissues.

Read more less

Book SynopsisNatural Hazards and Emergencies.- Surface Soil Moisture Estimate by Integration of Optical Remote Sensing and Low-Cost Field Sensor Network: The Case Study of Ceriana-Mainardo (Liguria, Italy).- Integrated Geomatic Surveys to Support Hydraulic Studies.- Mapping Burned Areas with Optical and Sentinel-1 Synthetic Aperture Radar Data.- InSAR EGMS for Wide-Area Assessment of Extreme Rainfall-related Modifications of Ground Deformation Patterns: the Case of Vaia Rainstorm.- GIS-Based Assessment of World War I UXO Occurrence Probability through Military Maps and Aerial Imagery on the Grappa Massif (NE Italy).- Unmanned Aerial Vehicles (UAV) in Supporting Firefighters Activities in Extreme Weather Calamities: A Real-case Application.- Linking the European Ground Motion Service with the Italian Landslide Inventory to Explore the Potential of Satellite Monitoring.- Influence of Data Preprocessing and Optimization in Multivariate Statistical Analysis of Landslide Susceptibility.- Mapping the Threat: Using a Geospatial Lens on Malakand Division, Pakistan, to Gain Early Insights into Antimicrobial Resistance (AMR).- A Preliminary Geospatial Analysis of Out-of-Hospital Cardiac Arrests in Lombardy.- On the Use of a Hydrogeomorphic Flood Modelling Framework for Building-Scale Assessment of NATCAT Impacts at Large Scale: the GEOSAFE Case Study in Italy.- Urban Systems: Structures, Cities, and Infrastructure.- Snap4City Digital Twin meeting European CityVerse Action.- Groupware Planning Support Tools. The SIMS Approach.- Ecosystem Services Assessment through GeoAI Applications for Driving Urban Planning Processes.- Benefits of Low-Cost GIS-Based Tools for Evaluating Ecosystem Services of Urban Green Spaces.- Dynamics between Population Distribution and Location of Services: the Case Study of Desio, Italy.- Urban Heat Islands in Palermo: Land Surface Temperature Analysis of a Mediterranean Coastal City.- Mapping out the Territorial Dynamics: The Geography of Recycling and Reuse of Second Raw Materials in Industrial Zones.- A Comparison of Algorithms for the Spatial Clustering of Technological Assets.- Accessibility Evaluation in Cortina d’Ampezzo: Use of Advanced Geomatics Technologies for Inclusive Design.- Composite Index to Evaluate Urban Settlements Efficiency. An application to the Territorial Context of Baronissi Municipality.- Investigating the Safety of Green Areas in Naples through the Analysis of Environmental Risk and Crime Risk.- A Model Based on Environmental Quality Indicators to Support the Assessment of the Safety Perception of Urban Parks.- Knowledge for Sustainable Planning: UnivAQ’s Contribution to the GeoSciencesIR Research Infrastructure.- Urban Regeneration Using the Sound: the Project Augmented Reality Soundscape (ARS).- A Novel Spatial Unit to Improve Representation in Crime Mapping: the Toronto, Canada example.- Satellite Data Analysis and Geographic Information System to Support Urban Planning: State of the Art.- Assessing the Quality of a Topographic Database using SLAM Technology: Proposal for an Operational Procedure.

Read more less

Book SynopsisComputer-based technologies for the production and analysis of data have been an integral part of biological research since the 1990s at the latest. This not only applies to genomics and its offshoots but also to less conspicuous subsections such as ecology. But little consideration has been given to how this new technology has changed research practically. How and when do data become questionable? To what extent does necessary infrastructure influence the research process? What status is given to software and algorithms in the production and analysis of data? These questions are discussed by the biologists Philipp Fischer and Hans Hofmann, the philosopher Gabriele Gramelsberger, the historian of science and biology Hans-Jörg Rheinberger, the science theorist Christoph Hoffmann, and the artist Hannes Rickli. The conditions of experimentation in the digital sphere are examined in four chapters—“Data,” “Software,” “Infrastructure,” and “in silico”—in which the different perspectives of the discussion partners complement one another. Rather than confirming any particular point of view, Natures of Data deepens understanding of the contemporary basis of biological research.

Read more less

Book SynopsisThis two-volume work focuses on the mathematical aspects of Darwinian evolution starting from the basic model of stochastic evolution of a single isolated locus in the presence of mutation to the multi–locus models of sexual and asexual populations. Volume 2 discusses the inference of fi tness landscape from DNA sequence data, discovery of the evolutionary roles of enygmatic traits, co-evolution of adversarial species, and various applications to virus evolution.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less