- Table View
- List View
Distributed Algorithms: An Intuitive Approach
by Wan FokkinkThe new edition of a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. This book offers students and researchers a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. It avoids mathematical argumentation, often a stumbling block for students, teaching algorithmic thought rather than proofs and logic. This approach allows the student to learn a large number of algorithms within a relatively short span of time. Algorithms are explained through brief, informal descriptions, illuminating examples, and practical exercises. The examples and exercises allow readers to understand algorithms intuitively and from different perspectives. Proof sketches, arguing the correctness of an algorithm or explaining the idea behind fundamental results, are also included. The algorithms presented in the book are for the most part “classics,” selected because they shed light on the algorithmic design of distributed systems or on key issues in distributed computing and concurrent programming. This second edition has been substantially revised. A new chapter on distributed transaction offers up-to-date treatment of database transactions and the important evolving area of transactional memory. A new chapter on security discusses two exciting new topics: blockchains and quantum cryptography. Sections have been added that cover such subjects as rollback recovery, fault-tolerant termination detection, and consensus for shared memory. An appendix offers pseudocode descriptions of many algorithms. Solutions and slides are available for instructors.Distributed Algorithms can be used in courses for upper-level undergraduates or graduate students in computer science, or as a reference for researchers in the field.
Distributed Algorithms: An Intuitive Approach (The\mit Press Ser.)
by Wan FokkinkA comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.This book offers students and researchers a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. It avoids mathematical argumentation, often a stumbling block for students, teaching algorithmic thought rather than proofs and logic. This approach allows the student to learn a large number of algorithms within a relatively short span of time. Algorithms are explained through brief, informal descriptions, illuminating examples, and practical exercises. The examples and exercises allow readers to understand algorithms intuitively and from different perspectives. Proof sketches, arguing the correctness of an algorithm or explaining the idea behind fundamental results, are also included. An appendix offers pseudocode descriptions of many algorithms.Distributed algorithms are performed by a collection of computers that send messages to each other or by multiple software threads that use the same shared memory. The algorithms presented in the book are for the most part “classics,” selected because they shed light on the algorithmic design of distributed systems or on key issues in distributed computing and concurrent programming.Distributed Algorithms can be used in courses for upper-level undergraduates or graduate students in computer science, or as a reference for researchers in the field.
Distributed Algorithms for Message-Passing Systems
by Michel RaynalDistributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of the current state of the other entities. Whereas parallel computing is mainly concerned with 'efficiency', and real-time computing is mainly concerned with 'on-time computing', distributed computing is mainly concerned with 'mastering uncertainty' created by issues such as the multiplicity of control flows, asynchronous communication, unstable behaviors, mobility, and dynamicity. While some distributed algorithms consist of a few lines only, their behavior can be difficult to understand and their properties hard to state and prove. The aim of this book is to present in a comprehensive way the basic notions, concepts, and algorithms of distributed computing when the distributed entities cooperate by sending and receiving messages on top of an asynchronous network. The book is composed of seventeen chapters structured into six parts: distributed graph algorithms, in particular what makes them different from sequential or parallel algorithms; logical time and global states, the core of the book; mutual exclusion and resource allocation; high-level communication abstractions; distributed detection of properties; and distributed shared memory. The author establishes clear objectives per chapter and the content is supported throughout with illustrative examples, summaries, exercises, and annotated bibliographies. This book constitutes an introduction to distributed computing and is suitable for advanced undergraduate students or graduate students in computer science and computer engineering, graduate students in mathematics interested in distributed computing, and practitioners and engineers involved in the design and implementation of distributed applications. The reader should have a basic knowledge of algorithms and operating systems.
Distributed, Ambient and Pervasive Interactions: 12th International Conference, DAPI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14719)
by Shin’ichi Konomi Norbert A. StreitzThis book constitutes the refereed proceedings of the 12th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th International Conference on Human-Computer Interaction, HCI International 2024 (HCII 2024), was held as a hybrid event in Washington DC, USA, during June/July 2024. The total of 1271 papers and 309 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 5108 submissions. The DAPI conference addressed approaches and objectives of information, interaction, and user experience design for DAPI Environments as well as their enabling technologies, methods, and platforms, and relevant application areas. The DAPI 2024 conference covered topics addressing basic research questions and technology issues in the areas of new modalities, immersive environments, smart devices, and much more.
Distributed, Ambient and Pervasive Interactions: 12th International Conference, DAPI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14718)
by Shin’ichi Konomi Norbert A. StreitzThis book constitutes the refereed proceedings of the 12th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th International Conference on Human-Computer Interaction, HCI International 2024 (HCII 2024), was held as a hybrid event in Washington DC, USA, during June/July 2024. The total of 1271 papers and 309 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 5108 submissions. The DAPI conference addressed approaches and objectives of information, interaction, and user experience design for DAPI Environments as well as their enabling technologies, methods, and platforms, and relevant application areas. The DAPI 2024 conference covered topics addressing basic research questions and technology issues in the areas of new modalities, immersive environments, smart devices, and much more.
Distributed, Ambient and Pervasive Interactions
by Panos Markopoulos Norbert StreitzThis book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 54 contributions was carefully reviewed and selected for inclusion in the DAPI proceedings. The papers are organized in the following topical sections: natural interaction; context-awareness in smart and intelligent environments; design and evaluation of smart and intelligent environments; smart cities; multi-user, group and collaborative interaction; smart everyday living and working environments.
Distributed, Ambient and Pervasive Interactions: 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings (Lecture Notes in Computer Science #10291)
by Panos Markopoulos Norbert StreitzThis book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 54 contributions was carefully reviewed and selected for inclusion in the DAPI proceedings. The papers are organized in the following topical sections: natural interaction; context-awareness in smart and intelligent environments; design and evaluation of smart and intelligent environments; smart cities; multi-user, group and collaborative interaction; smart everyday living and working environments.
Distributed, Ambient and Pervasive Interactions: 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14036)
by Norbert A. Streitz Shin’ichi KonomiThis book constitutes the refereed proceedings of the 11th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place as an hybrid event in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions.The 60 papers included in the DAPI 2023 proceedings were organized in topical sections as follows:Part I: Designing and evaluating intelligent environments; user experience in intelligent environments; pervasive data;Part II: Smart cities and environment preservation; media, art and culture in intelligent environments; supporting health, learning, work and everyday life.
Distributed, Ambient and Pervasive Interactions: 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14037)
by Norbert A. Streitz Shin’ichi KonomiThis book constitutes the refereed proceedings of the 11th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place as an hybrid event in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions. The 60 papers included in the DAPI 2023 proceedings were organized in topical sections as follows: Part I: Designing and evaluating intelligent environments; user experience in intelligent environments; pervasive data; Part II: Smart cities and environment preservation; media, art and culture in intelligent environments; supporting health, learning, work and everyday life.
Distributed, Ambient and Pervasive Interactions: 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10921)
by Norbert Streitz Shin’ichi KonomiThis two volume set constitutes the refereed proceedings of the 6th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA in July 2018. The total of 1171 papers and 160 posters presented at the 14 colocated HCII 2018 conferences. The papers were carefully reviewed and selected from 4346 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.. The LNCS 10921 and LNCS 10922 contains papers addressing the following major topics: Technologies and Contexts ( Part I) and Understanding Humans (Part IΙ)
Distributed, Ambient and Pervasive Interactions: 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10922)
by Norbert Streitz Shin’ichi KonomiThis two volume set constitutes the refereed proceedings of the 6th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA in July 2018. The total of 1171 papers and 160 posters presented at the 14 colocated HCII 2018 conferences. The papers were carefully reviewed and selected from 4346 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas..TheLNCS 10921 and LNCS 10922 contains papers addressing the following major topics: Technologies and Contexts ( Part I) and Understanding Humans (Part IΙ)
Distributed, Ambient and Pervasive Interactions: 7th International Conference, DAPI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings (Lecture Notes in Computer Science #11587)
by Norbert Streitz Shin’ichi KonomiThis book constitutes the refereed proceedings of the 7th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 36 papers included in this volume were organized in topical sections on IoT and big data; smart cities and built environments; perception and emotion in DAPI; and DAPI for health and learning.
Distributed, Ambient and Pervasive Interactions: 8th International Conference, DAPI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings (Lecture Notes in Computer Science #12203)
by Norbert Streitz Shin’ichi KonomiThis conference proceeding LNCS 12203 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020.The conference was held virtually due to the corona pandemic. The total of 1439 papers and 238 posters included in the 40 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326 submissions. The regular papers of DAPI 2020, Distributed, Ambient and Pervasive Interactions, presented in this volume were organized in topical sections named: Design Approaches, Methods and Tools, Smart Cities and Landscapes, Well-being, Learning and Culture in Intelligent Environments and much more.
Distributed, Ambient and Pervasive Interactions: 9th International Conference, DAPI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings (Lecture Notes in Computer Science #12782)
by Norbert Streitz Shin’ichi KonomiThis conference proceedings LNCS 12782 constitutes the refereed proceedings of the 9 th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021. The conference was held virtually due to the COVID-19 pandemic.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The papers of DAPI 2021, Distributed, Ambient and Pervasive Interactions, are organized in topical sections named: Smart Cities; IoT, Sensors and Smart Environments; Learning and Culture in Intelligent Environments; Designing Intelligent Environments.
Distributed, Ambient and Pervasive Interactions
by Norbert Streitz Panos MarkopoulosThis book constitutes the refereed proceedings of the 4th International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers addressing the following major topics: designing and developing smart environments; tracking and recognition techniques in ambient intelligence; human behavior in smart environments; emotions and affect in intelligent environments; and smart cities and communities.
Distributed, Ambient and Pervasive Interactions. Smart Living, Learning, Well-being and Health, Art and Creativity: 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13326)
by Norbert A. Streitz Shin’ichi KonomiThe two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022. The conference was held virtually due to the COVID-19 pandemic. The 58 papers of DAPI 2022 are organized in topical sections named for each volume: Part I: User Experience and Interaction Design for Smart Ecosystems; Smart Cities, Smart Islands, and Intelligent Urban Living; Smart Artifacts in Smart Environments; and Opportunities and Challenges for the Near Future Smart EnvironmentsPart II: Smart Living in Pervasive IoT Ecosystems; Distributed, Ambient, and Pervasive Education and Learning; Distributed, Ambient, and Pervasive Well-being and Healthcare; and Smart Creativity and Art.
Distributed and Sequential Algorithms for Bioinformatics
by K. ErciyesThis unique textbook/reference presents unified coverage of bioinformatics topics relating to both biological sequences and biological networks, providing an in-depth analysis of cutting-edge distributed algorithms, as well as of relevant sequential algorithms. In addition to introducing the latest algorithms in this area, more than fifteen new distributed algorithms are also proposed. Topics and features: reviews a range of open challenges in biological sequences and networks; describes in detail both sequential and parallel/distributed algorithms for each problem; suggests approaches for distributed algorithms as possible extensions to sequential algorithms, when the distributed algorithms for the topic are scarce; proposes a number of new distributed algorithms in each chapter, to serve as potential starting points for further research; concludes each chapter with self-test exercises, a summary of the key points, a comparison of the algorithms described, and a literature review.
Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Lecture Notes in Computer Science #10853)
by Silvia Bonomi Etienne RivièreThis book constitutes the proceedings of the 18th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2018, held in Madrid, Spain, in June 2018. The 10 papers presented together with 2 short papers in this volume were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on application domains, including stream processing, video dissemination, storage, privacy protection, and large-scale orchestration.
Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings (Lecture Notes in Computer Science #13272)
by David Eyers Spyros VoulgarisThis book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 9 full papers and 2 short papers presented in this book were carefully reviewed and selected from 19 submissions. DAIS addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications.
Distributed Applications and Interoperable Systems: 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (Lecture Notes in Computer Science #9687)
by Márk Jelasity Evangelia KalyvianakiThis book constitutes the proceedings of the 16th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2016, held in Heraklion, Crete, Greece, in June 2016. The 13 papers presented together with 3 short papers in this volume were carefully reviewed and selected from 34 submissions. They represent a compelling sample of the state-of-the-art in the area of distributed applications and interoperable systems. Cloud computing and services received a large emphasis this year.
Distributed Applications and Interoperable Systems: 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (Lecture Notes in Computer Science #14677)
by Rolando Martins Mennan SelimiThis book constitutes the refereed proceedings of the 24th International Conference on Distributed Applications and Interoperable Systems, DAIS 2024, held in PhGroningen, The Netherlands, as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, during June 17–21, 2024. The 5 full papers included in this book were carefully reviewed and selected from 17 submissions. They focus on all practical and conceptual aspects of distributed applications, including their design, modeling, implementation, and operation; the supporting middleware; appropriate software engineering methodologies and tools; and experimental studies and applications.
Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings (Lecture Notes in Computer Science #12718)
by Miguel Matos Fabíola GreveThis book constitutes the refereed proceedings of the 21st IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 7 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 15 submissions. DAIS addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications.
Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings (Lecture Notes in Computer Science #13909)
by Marta Patiño-Martínez João PauloThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2023, held in Lisbon, Portugal, during June 19-23, 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 7 full papers presented in this book were carefully reviewed and selected from 13 submissions. The papers cover the following topics: distributed algorithms and systems; data management; and distributed architectures.
Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings (Lecture Notes in Computer Science #11534)
by José Pereira Laura RicciThis book constitutes the proceedings of the 19th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 9 full papers presented together with 2 short papers were carefully reviewed and selected from 28 submissions. The papers addressed challenges in multiple application areas, such as the Internet-of-Things, cloud and edge computing, and mobile systems. Some papers focused on middleware for managing concurrency and consistency in distributed systems, including data replication and transactions.
Distributed Applications and Interoperable Systems: 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (Lecture Notes in Computer Science #12135)
by Anne Remke Valerio SchiavoniThis book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 10 full papers presented together with 1 short paper and 1 invited paper were carefully reviewed and selected from 17 submissions. The papers addressed challenges in multiple application areas, such as privacy and security, cloud and systems, fault-tolerance and reproducibility, machine learning for systems, and distributed algorithms.