Turnout Intention and Social Networks

How can networking affect the turnout in an election? We present a simple model to explain turnout as a result of a dynamic process of formation of the intention to vote within Erdös-Renyi random networks. Citizens have fixed preferences for one of two parties and are embedded in a given social network. They decide whether or not to vote on the basis of the attitude of their immediate contacts. They may simply follow the behavior of the majority (followers) or make an adaptive local calculus of voting (Downsian behavior). So they either have the intention of voting when the majority of their neighbors are willing to vote too, or they vote when they perceive in their social neighborhood that elections are "close". We study the long run average turnout, interpreted as the actual turnout observed in an election. Depending on the combination of values of the two key parameters, the average connectivity and the probability of behaving as a follower or in a Downsian fashion, the system exhibits monostability (zero turnout), bistability (zero turnout and either moderate or high turnout) or tristability (zero, moderate and high turnout). This means, in particular, that for a wide range of values of both parameters, we obtain realistic turnout rates, i.e. between 50% and 90%.

Networking for Rural Development: a closer look at the evolution of communications in the STREAM Initiative

What began as a general desire to share messages about processes, technologies, lives and opportunities – among farming and fishing communities and those who work with them – has evolved into a network that shares meanings and lessons learnt. Now instead of relying on core funding or catalytic support, the STREAM Initiative is self-funded through the services its network provides to academic, development and other organizations. (Pdf contains 8 pages).

Final report of the Support to Regional Aquatic Resources Management (STREAM): a NACA networking initiative

The governing council of Naca has resolved to effect a shift in emphasis from aquaculture development to aquaculture for development. This will require engaging partners from a broad spectrum of government and development agencies, the nature of the information that will need to be gathered and the strategies used for disseminating information and initiating action. The vehicle for operationalising this shift is STREAM - Support to Regional Aquatic Resources Management. This report outlines the nature of the STREAM network, its relationship to NACA's vision, mission, objectives and operating principles, and how STREAM differs from previous NACA's networks. Because STREAM is different, a theoretical basis for network communication is presented along with an outline of the preliminary steps in getting the network up and running. (Pdf contains 33 pages).

Design, specification, and synthesis of aircraft electric power systems control logic

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based spec- ifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considera- tions for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area.

This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller.

The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is ex- plored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.