Singularities and Topology of Meromorphic Functions

We present several aspects of the "topology of meromorphic functions", which we conceive as a general theory which includes the topology of holomorphic functions, the topology of pencils on quasi-projective spaces and the topology of polynomial functions.Comment: 21 pages, 1 figur

Practical Verification of Decision-Making in Agent-Based Autonomous Systems

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex log- ical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this devel- opment. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a sepa- rate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems

Refactoring of a Synthetic Raspberry Ketone Pathway with EcoFlex

Background: A key focus of synthetic biology is to develop microbial or cell-free based biobased routes to value-added chemicals such as fragrances. Originally, we developed the EcoFlex system, a Golden Gate toolkit, to study genes/pathways flexibly using Escherichia coli heterologous expression. In this current work, we sought to use EcoFlex to optimise a synthetic raspberry ketone biosynthetic pathway. Raspberry ketone is a high-value (~£20,000 kg-1) fine chemical farmed from raspberry (Rubeus rubrum) fruit.Results: By applying a synthetic biology led design-build-test-learn cycle approach, we refactor the raspberry ketone pathway from a low level of productivity (0.2 mg/L), to achieve a 65-fold (12.9 mg/L) improvement in production. We perform this optimisation at the prototype level (using microtiter plate cultures) with E. coli DH10, as a routine cloning host. The use of E. coli DH10 facilitates the Golden Gate cloning process for the screening of combinatorial libraries. In addition, we also newly establish a novel colour-based phenotypic screen to identify productive clones quickly from solid/liquid culture. Conclusions: Our findings provide a stable raspberry ketone pathway that relies upon a natural feedstock (L-tyrosine) and uses only constitutive promoters to control gene expression. In conclusion we demonstrate the capability of EcoFlex for fine-tuning a model fine chemical pathway and provide a range of newly characterised promoter tools gene expression in E. coli

Social Media, Gender and the Mediatisation of War: Exploring the German Armed Forces’ Visual Representation of the Afghanistan Operation on Facebook

Studies on the mediatisation of war point to attempts of governments to regulate the visual perspective of their involvements in armed conflict – the most notable example being the practice of ‘embedded reporting’ in Iraq and Afghanistan. This paper focuses on a different strategy of visual meaning-making, namely, the publication of images on social media by armed forces themselves. Specifically, we argue that the mediatisation of war literature could profit from an increased engagement with feminist research, both within Critical Security/Critical Military Studies and within Science and Technology Studies that highlight the close connection between masculinity, technology and control. The article examines the German military mission in Afghanistan as represented on the German armed forces’ official Facebook page. Germany constitutes an interesting, and largely neglected, case for the growing literature on the mediatisation of war: its strong antimilitarist political culture makes the representation of war particularly delicate. The paper examines specific representational patterns of Germany’s involvement in Afghanistan and discusses the implications which arise from what is placed inside the frame of visibility and what remains out of its view

PARTIAL GLOBAL PLANNING - A COORDINATION FRAMEWORK FOR DISTRIBUTED HYPOTHESIS FORMATION

1167-118

PARTIAL GLOBAL PLANNING - A COORDINATION FRAMEWORK FOR DISTRIBUTED HYPOTHESIS FORMATION

Abstruct-For distributed sensor network applications, a practical approach to generating complete interpretations from distributed data must coordinate how separate, concurrently running systems form, exchange, and fuse their individual hypotheses to form consistent interpretations. Partial global planning provides a framework for coordinating multiple AI systems that are cooperating in a distributed sensor network. By combining a variety of coordination techniques into a single, unifying framework, partial global planning enables separate AI systems to reason about their roles and responsibilities as part of group problem solving, and to modify their planned processing and communication actions to act as a more coherent team. Partial global planning is uniquely suited for coordinating systems that are working in continuous, dynamic, and unpredictable domains because it interleaves coordination with action and allows systems to make effective decisions despite incomplete and possibly obsolete information about network activity. The authors have implemented and extensively evaluated partial global planning in a simulated vehicle monitoring application, and have identified promising extensions to their framework I

INCREMENTAL PLANNING TO CONTROL TIME-CONSTRAINED BLACKBOARD-BASED PROBLEM SOLVER

647-66