Showing 3,401 - 3,420 results of 9,296 for search '"Lead"', query time: 0.12s Refine Results
  1. 3401
  2. 3402
  3. 3403
  4. 3404
  5. 3405
  6. 3406
  7. 3407
  8. 3408

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
    Link to Metadata
    Electronic eBook
  9. 3409

    The New Common How the COVID-19 Pandemic is Transforming Society /

    Published 2021
    Table of Contents: “…How the COVID-19 Crisis May Lead to a Revaluation of the Local -- Perspectives on the Common: The Input of Literature -- Shaping the Post-COVID 19 Agenda: A Call for Responsible Leadership -- The Sciences During the New Common: A Missed Opportunity? …”
    Link to Metadata
    Electronic eBook
  10. 3410
  11. 3411
  12. 3412

    Evaluating Climate Change Action for Sustainable Development

    Published 2017
    Table of Contents: “…Action on Climate Change: What Does it Mean and Where Does it Lead To? -- Part 1. Policy -- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development -- 4. …”
    Link to Metadata
    Electronic eBook
  13. 3413

    Knowledge and Networks

    Published 2017
    Table of Contents: “…Gioia, and Stephen Borgatti -- III: Network Geographies of Learning: How Social Networks in Space Lead to Innovation: How Atypical Combinations of Scientific Ideas Are Related to Impact: The General Case and the Case of the Field of Geography: Satyam Mukherjee, Brian Uzzi, Ben Jones, and Michael Stringer -- Connectivity in Contiguity: Conventions and Taboos of Imitation in Colocated Networks: Johannes Glückler and Ingmar Hammer -- Are Gatekeepers Important for the Renewal of the Local Knowledge Base? …”
    Link to Metadata
    Electronic eBook
  14. 3414

    Sequence Analysis and Related Approaches Innovative Methods and Applications /

    Published 2018
    Table of Contents: “…:Gilbert Ritschard and Matthias Studer -- Part I About Different Longitudinal Approaches in Longitudinal Analysis: Do Different Approaches in Population Science Lead to Divergent or Convergent Models? -- Daniel Courgeau -- Case Studies of Combining Sequence Analysis and Modelling: Mervi Eerola -- Part II Sequence Analysis and Event History Analysis: Glass Ceilings, Glass Escalators and Revolving Doors: Lydia Malin and Ramsey Wise -- Modelling Mortality Using Life Trajectories of Disabled andNon-Disabled Individuals in 19th-Century Sweden: Erling Ha¨ggstro¨m Lundevaller, Lotta Vikstro¨m, and Helena Haage -- Sequence History Analysis (SHA): Estimating the Effect of Past Trajectories on an Upcoming Event: Florence Rossignon, Matthias Studer, Jacques-Antoine Gauthier and Jean-Marie Le Goff -- Part III The Sequence Network Approach: Network Analysis of Sequence Structures: Benjamin Cornwell -- Relational Sequence Networks as a Tool for Studying Gendered Mobility Patterns: Klaus Hamberger -- Part IV Unfolding the Process: Multiphase Sequence Analysis: Thomas Collas -- Unpacking Configurational Dynamics: Sequence Analysis and Qualitative Comparative Analysis as a Mixed-Method Design: Camilla Borgna and Emanuela Struffolino -- Combining Sequence Analysis and Hidden Markov Models in the Analysis of Complex Life Sequence Data: Satu Helske, Jouni Helske, and Mervi Eerola -- Part V Advances in Sequence Clustering: Markovian-based Clustering of Internet Addiction Trajectories: Zhivko Taushanov and Andre´ Berchtold -- Divisive Property-Based and Fuzzy Clustering for Sequence Analysis: Matthias Studer -- From 07.00 to 22.00: A Dual-Earner Couple's Typical Day in Italy: Ivano Bison and Alessandro Scalcon -- Part VI Appraising Sequence Quality: Measuring Sequence Quality: Anna Manzoni and Irma Mooi-Reci -- An Index of Precarity for Measuring Early Employment Insecurity: Gilbert Ritschard, Margherita Bussi, and JacquelineO'Reilly -- Subject Index.…”
    Link to Metadata
    Electronic eBook
  15. 3415

    The Pilgrim's Guide to the Workplace by Chevez, Agustin

    Published 2022
    Table of Contents: “…-- Chapter 32 Your armchair Pilgrimage -- Chapter 33 On wilderness, carnivals, and foolishness -- Chapter 34 The art of timing and balance -- Chapter 35 The trails and territories of adversity -- Chapter 36 All roads lead to Rome -- Chapter 37 Getting there -- Part 6 Your creature -- Chapter 38 My iguana, your creature -- Acknowledgements -- Appendix A: List of Signposts -- Appendix B: Meet the locals -- Appendix C: Signpost calibration -- References.…”
    Link to Metadata
    Electronic eBook
  16. 3416
  17. 3417
  18. 3418
  19. 3419
  20. 3420