Tabla de Contenidos: “…International law as the source of a general right to existence and survival -- Equality and non-discrimination as essential guarantees (also) for minorities -- Minority rights and instruments -- Indigenous peoples' rights law: some distinctive aspects -- 3 Innovative macro-perspectives of diversity accommodation -- The premises for the evolution of the models for the accommodation of diversity -- Innovative macro-perspectives -- A Global South macro-perspective to diversity accommodation: emerging constitutional frameworks and their instruments for the accommodation of diversity -- The European macro-perspective -- Convergences and divergences between the Global North and Global South -- 4 Innovative instruments for the accommodation of diversity -- From theory to practice: emergent instruments for the accommodation of diversity in the Global North -- Emerging governance forms of autonomy -- A shift toward governance -- Functional non-territorial autonomy -- Institutional completeness and administrative autonomy in Canada and beyond -- Nested federalism(s) -- Revitalized inclusive forms of territorial and non-territorial subnational autonomy for diversity accommodation -- Legal pluralism as a form of autonomous self-governance -- Participatory democracy and democratic innovations: consultative bodies and inclusive, participatory practices between reality and potential -- Some preliminary conclusions and open questions on the structure of the emerging instruments -- 5 Building the "Law of Diversity" -- The evolving position of diversity -- Diversity and liberal constitutionalism: diversity as a derogation from the constitutional order -- Diversity and democratic constitutionalism: diversity as a legitimate exception to the ordinary rule -- Diversity and plural constitutionalism: diversity as the general rule…”

Tabla de Contenidos: “…Examining a Queue; 6. Guaranteed Messaging, Transactions, Acknowledgments, and Failures; 6.1.2. …”

Tabla de Contenidos: “…Relative QoS; 4.2.2. Guaranteed QoS; 4.2.3. Resource reservation scenarios; 4.2.4. …”

Tabla de Contenidos: “…SME reliance on government financing has increased since 2009 -- Figure 19. Government guarantees for loans to SMEs are high in Korea -- Figure 20. …”

Tabla de Contenidos: “…3 A Dichotomy of Termination Time in Workflow Nets -- 4 Refining Termination Time -- 5 Soundness in Terminating Workflow Nets -- 6 Termination Time and Concurrent Semantics -- 7 Experimental Evaluation -- 7.1 Benchmark Suite -- 7.2 Termination and Deadlocks -- 7.3 aN, MinTimeN(1) and MaxTimeN(1) -- 7.4 1-Soundness -- References -- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM -- 1 Introduction -- 2 Lincheck Overview -- 2.1 Phase 1: Scenario Generation -- 2.2 Phase 2: Scenario Running -- 2.3 Phase 3: Verification of Outcome Results -- 3 Evaluation -- 4 Related Work -- 5 Discussion -- References -- nekton: A Linearizability Proof Checker -- 1 Introduction -- 2 Input -- 2.1 Proof Outlines -- 3 Case Study -- 4 Correctness and Implementation -- References -- Overcoming Memory Weakness with Unified Fairness -- 1 Introduction -- 2 Modelling Concurrent Programs -- 2.1 Labelled Transition Systems -- 2.2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework for Weak Memory Models -- 3.1 Message Structures -- 3.2 Ensuring Consistency of Executions -- 3.3 Instantiating the Framework -- 4 Fairness Properties -- 4.1 Transition and Memory Fairness -- 4.2 Probabilistic Memory Fairness -- 4.3 Relating Fairness Notions -- 5 Applying Fairness Properties to Decision Problems -- 5.1 Deciding Repeated Control State Reachability -- 5.2 Quantitative Control State Repeated Reachability -- 5.3 Adapting Subroutines to Our Memory Framework -- 6 Related Work -- 7 Conclusion, Future Work, and Perspective -- References -- Rely-Guarantee Reasoning for Causally Consistent Shared Memory -- 1 Introduction -- 2 Motivating Example -- 3 Preliminaries: Syntax and Semantics -- 4 Generic Rely-Guarantee Reasoning -- 5 Potential-Based Memory System for SRA -- 6 Program Logic -- 7 Examples…”

Tabla de Contenidos:

Tabla de Contenidos: “…Con quien vengo vengo. Guárdate del agua mansa. El alcayde de si mismo. Luis Perez el Gallego. …”

Texto completo en Odilo

Texto completo en Odilo

Tabla de Contenidos: “…Treasury function -- D. Financial guarantees -- E. Captive insurance -- List of annexes -- Annex to the OECD Transfer Pricing Guidelines. …”

Tabla de Contenidos: “…Transformations -- Parser -- Filter -- Enrichment -- Map transform -- Custom functions -- Windowed transformations -- Windowing -- Global Window -- Time Windows -- Sliding Time Windows -- Session Windows -- Window propagation -- State -- Accumulation -- Accumulation Mode -- State storage -- Watermarks -- Allowed lateness -- Triggering -- Merging of streams -- The windowing example -- Dedup -- Join -- State Management -- Summary -- Chapter 4: Scalability, Low Latency, and Performance -- Partitioning and how it works -- Elasticity -- Partitioning toolkit -- Configuring and triggering partitioning -- StreamCodec -- Unifier -- Custom dynamic partitioning -- Performance optimizations -- Affinity and anti-affinity -- Low-latency versus throughput -- Sample application for dynamic partitioning -- Performance - other aspects for custom operators -- Summary -- Chapter 5: Fault Tolerance and Reliability -- Distributed systems need to be resilient -- Fault-tolerance components and mechanism in Apex -- Checkpointing -- When to checkpoint -- How to checkpoint -- What to checkpoint -- Incremental state saving -- Incremental recovery -- Processing guarantees -- Example - exactly-once counting -- The exactly-once output to JDBC -- Summary -- Chapter 6: Example Project - Real-Time Aggregation and Visualization -- Streaming ETL and beyond -- The application pattern in a real-world use case -- Analyzing Twitter feed -- Top Hashtags -- TweetStats -- Running the application -- Configuring Twitter API access -- Enabling WebSocket output -- The Pub/Sub server -- Grafana visualization -- Installing Grafana -- Installing Grafana Simple JSON Datasource -- The Grafana Pub/Sub adapter server -- Setting up the dashboard -- Summary -- Chapter 7: Example Project - Real-Time Ride Service Data Processing -- The goal -- Datasource -- The pipeline…”

Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- About the author -- Acknowledgements -- Preface -- IntroductionMade not born -- Laying a mindset foundation -- Early success does not guarantee future success -- The mindset to keep going -- Attitude nurtures talent -- You grow in the direction of your focus -- Is talent overrated? …”

Tabla de Contenidos: “…The reduced role of the state and different positions in relation to monopolies -- 1.1.3. Democracy as a guarantee of freedom and equality -- 1.1.4. The economic consequences of democracy -- 1.2. …”

Tabla de Contenidos: “…Chapter 9 Commitment #9: Recognize Contributions -- Expect the Best -- Show Them You Believe -- Be Clear about the Goals and the Rules -- Provide and Seek Feedback -- Personalize Recognition -- Get to Know People -- Be Creative about Incentives -- Just Say "Thank You" -- Reflect and Act: Recognize Contributions -- Reflect -- Act -- Chapter 10 Commitment #10: Celebrate the Values and Victories -- Create a Spirit of Community -- Celebrate Accomplishments in Public -- Provide Social Support -- Have Fun Together -- Be Personally Involved -- Show You Care -- Spread the Stories -- Make Celebrations Part of Organizational Life -- Reflect and Act: Celebrate the Values and Victories -- Reflect -- Act -- Epilogue: Continue Your Leadership Development -- Your Leadership Makes a Difference -- You Are the Most Important Leader in the Room -- Leadership Is Learned -- Learning Starts by Looking Inside -- Three Ways to Learn to Lead -- Leadership and Hubris: No Guarantees -- Leadership Is in the Moment -- Reflect and Act: Continue Your Leadership Development -- Reflect -- Act -- Appendix: How You Behave Matters -- Making Sense of Your Student LPI Feedback -- The Five Practices Make a Difference -- You Make a Difference -- Notes -- Acknowledgments -- About the Authors -- Index -- EULA…”

Tabla de Contenidos: “…; 1.1 Description of a Bond; 1.1.1 The Issuer; 1.1.2 Size and Currency; 1.1.3 Type; 1.1.4 Coupon Payments and Frequency; 1.1.5 Redemption Amount and Maturity Dates; 1.1.6 Embedded Options; 1.1.7 Guarantee; 1.1.8 Where Quoted and Traded; 1.2 The Difference between Corporate Bonds and Equities; 2 Types of Bonds and Other Instruments; 2.1 Fixed-Rate Bonds; 2.1.1 Straight Coupon Bonds; 2.1.2 Zero-Coupon Bonds; 2.1.3 Undated or Irredeemable Bonds; 2.1.4 Strippable Bonds and Strips…”

Tabla de Contenidos: “…The specialization of effect types -- An application with multiple side effects -- Asynchrony -- The side effect of errors -- Monad Transformers -- Generalizing the pattern -- Tagless Final -- Programming to capabilities -- Implementations -- Execution semantics abstraction -- Computation as a value -- Free Monad -- Type-level programming -- A naive implementation of the heterogeneous list -- Type-level solution to the heterogeneous list problem -- Reclusive implicit resolution -- Debugging type-level computations -- Libraries for type-level programming -- Summary -- Questions -- Chapter 11: Introduction to the Actor Model -- Overview of parallelism solutions -- Traditional model synchronization on monitors -- Synchronization -- Problems with the traditional model - race conditions and deadlocks -- The actor model as a replacement for the traditional model -- Deadlock example revisited -- Summary -- Questions -- Chapter 12: The Actor Model in Practice -- Akka overview -- Principles of Akka -- Encapsulation -- Messaging -- No leaking of mutable state -- Fault-tolerance and supervision -- Messaging guarantees -- Asynchrony -- Defining, creating, and messaging actors -- Callbacks -- Supervision -- Context and references -- Managing the actor hierarchy -- Managing the life cycle -- Supervision -- Creating actors -- Actor parameters -- Working with actor systems -- Task specification -- Implementation -- Summary -- Questions -- Chapter 13: Use Case - A Parallel Web Crawler -- Problem statement -- The graph structure of the web -- Collecting information from the graph -- Parallel nature of the task -- Sequential solution -- A parallel solution with Akka -- Strategy -- Implementation -- Caveats -- Visited links -- Fault tolerance -- Counting the responded actors -- Real-world side effects -- Summary -- Appendix A: Introduction to Scala…”