People Power: Strengthening Libraries through Community Partnerships

For specialized areas, such as makerspaces, community partnerships are key to enhancing their impacts on patrons. This session focuses on strategies for developing a strong network of partners to increase educational opportunities, equipment acquisition, cultural enrichment, and mutual promotion. We will discuss how these networks can enhance libraries’ tech resources, highlighting some of the specific relationships that St. Louis Public Library’s successful collaborative digital media makerspace --Creative Experience-- has developed with non-profits, universities, public institutions, software companies, and individual artists. Creative Experience opened in St. Louis Public Library’s historic Central branch in 2013. It features facilities for individual and collaborative digital media projects, including an audio recording studio, and regularly offers free workshops and other events for adults and teens. Resources, usage, and programming have continued to grow since opening, and community partnerships have contributed greatly to this development. Honna Veerkamp is a media artist and educator and is the Creative Experience specialist at St. Louis Public Library

Monitoring distributed systems

In debugging distributed programs a distinction is made between an observed error and the program fault, or bug, that caused the error. Testing reveals an error; debugging is the process of tracing the error through time and space to the bug that caused it. A program is considered to be in error when some state of computation violates a safety requirement of the program. Expressing safety requirements in such a way that a computation can be monitored for safe behavior is thus a basic preliminary step in the testing-debugging cycle. Safety requirements are usually expressed as predicates. When a state of the computation violates such a safety predicate, that state can be said to be in error. A predicate logic is proposed that permits the specification of relationships between distributed predicates. This increases the scope and precision of situation-specific conditions that can be specified and detected. It also permits the specification of safety primitives such as P unless Q using distributed predicates. Thus a distributed program can be directly monitored for satisfaction and violation of safety requirements. Breakpoint conditions and predicates expressing safety may hold over a number of states of a program. A breakpoint state is meaningful if the causal relationships of events included in the breakpoint are unambiguous. At least two such states exist for each condition: the minimal and the maximal prefix of the computation at which the predicate holds. These states are specifiable as part of a breakpoint definition in the logic presented

Military doctrines and democratic transition: a comparative perspective on Indonesia's dual function and Latin American national security doctrines

This paper attempts to clarify the ideological characteristic of the Indonesian military's dual-function doctrine (or dwifungsi) by bringing cross-national comparative perspectives into the scope of analysis. In scholarship of Indonesian military (Angkatan Bersenjata Republik Indonesia, ABRI), comparative analysis has been conducted to better understand the political role of the military. This paper aims to make a contribution to such an attempt by examining the ideological basis of ABRI's political involvement compared with other militaries which have also played heavy political roles