Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems"

According to the IST/ FET proactive initiative on GLOBAL COMPUTING, the goal is to obtain techniques (models, frameworks, methods, algorithms) for constructing systems that are flexible, dependable, secure, robust and efficient. The dominant concerns are not those of representing and manipulating data efficiently but rather those of handling the co-ordination and interaction, security, reliability, robustness, failure modes, and control of risk of the entities in the system and the overall design, description and performance of the system itself. Completely different paradigms of computer science may have to be developed to tackle these issues effectively. The research should concentrate on systems having the following characteristics: • The systems are composed of autonomous computational entities where activity is not centrally controlled, either because global control is impossible or impractical, or because the entities are created or controlled by different owners. • The computational entities are mobile, due to the movement of the physical platforms or by movement of the entity from one platform to another. • The configuration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behaviour of the entities may vary over time. • The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. The ultimate goal of the research action is to provide a solid scientific foundation for the design of such systems, and to lay the groundwork for achieving effective principles for building and analysing such systems. This workshop covers the aspects related to languages and programming environments as well as analysis of systems and resources involving 9 projects (AGILE , DART, DEGAS , MIKADO, MRG, MYTHS, PEPITO, PROFUNDIS, SECURE) out of the 13 founded under the initiative. After an year from the start of the projects, the goal of the workshop is to fix the state of the art on the topics covered by the two clusters related to programming environments and analysis of systems as well as to devise strategies and new ideas to profitably continue the research effort towards the overall objective of the initiative. We acknowledge the Dipartimento di Informatica and Tlc of the University of Trento, the Comune di Rovereto, the project DEGAS for partially funding the event and the Events and Meetings Office of the University of Trento for the valuable collaboration

Some like it hot - visual guidance for preference prediction

For people first impressions of someone are of determining importance. They are hard to alter through further information. This begs the question if a computer can reach the same judgement. Earlier research has already pointed out that age, gender, and average attractiveness can be estimated with reasonable precision. We improve the state-of-the-art, but also predict - based on someone's known preferences - how much that particular person is attracted to a novel face. Our computational pipeline comprises a face detector, convolutional neural networks for the extraction of deep features, standard support vector regression for gender, age and facial beauty, and - as the main novelties - visual regularized collaborative filtering to infer inter-person preferences as well as a novel regression technique for handling visual queries without rating history. We validate the method using a very large dataset from a dating site as well as images from celebrities. Our experiments yield convincing results, i.e. we predict 76% of the ratings correctly solely based on an image, and reveal some sociologically relevant conclusions. We also validate our collaborative filtering solution on the standard MovieLens rating dataset, augmented with movie posters, to predict an individual's movie rating. We demonstrate our algorithms on howhot.io which went viral around the Internet with more than 50 million pictures evaluated in the first month.Comment: accepted for publication at CVPR 201

Police Knowledge Exchange: Summary Report

[Executive Summary] This report draws on research commissioned by the Association of Police and Crime Commissioners (APCC), the National Police Chiefs Council (NPCC) and the Home Office to investigate cultural aspects of knowledge sharing across the police service. The research reviews literature and police perceptions to identify the enablers and barriers to effective knowledge exchange and sharing within and between police forces and police partners, including the public. Data were collected from 11 police forces; 42 in-depth interviews/focus groups and 47 survey responses. The literature-guided analysis identified four core research themes: who, why, what and how we share. Detailed findings are presented in the full report; this summary report presents the core research findings. Recommendations from this study will inform the next phase of activity for the Board. The research identified that cross-force, cross-organisation, national and international sharing relies on a culture supporting individuals who have an independent and reflective sharing approach. A key enabler to police sharing is that, regardless of police rank and role, they all have a strong collaborative nature, through a deep motivation to share, that benefits the wider social community. This collaborative nature is driven by processes that reveal reciprocal benefit and safe sharing, as well as how to effectively ‘get the job done’ and foster professional learning. A key barrier to police sharing is a strong hierarchical culture that does not encourage the independent nature of sharing. Whilst police officers and staff act independently within the confines of their prescribed roles, they rarely independently share beyond this. This hierarchical culture means that innovations in sharing are often initiated or approved top-down and tied to leadership. Hierarchical structures are seen to support a competitive culture combining concepts of risk aversion and blame. The hierarchical culture is also perceived as providing poor clarity on what is of value to share and how to effectively share. There are two key recommendations to overcome this barrier: one long-term and one short-term. Long-term: ‘Become independent sharers’ by changing the nature and culture of the police to encourage this independent nature, so that specific sharing barriers are effectively solved by individuals. Professionalising the police and working collaboratively with academia are steps towards this long-term goal. Short-term: ‘Guide and authorise independent sharing’ by using the hierarchy to scaffold/support and direct police towards effective and approved sharing approaches. This will show the police, through the hierarchy, how and why this independent sharing nature is safe, effective and valued

Industrial Symbiotic Relations as Cooperative Games

In this paper, we introduce a game-theoretical formulation for a specific form of collaborative industrial relations called "Industrial Symbiotic Relation (ISR) games" and provide a formal framework to model, verify, and support collaboration decisions in this new class of two-person operational games. ISR games are formalized as cooperative cost-allocation games with the aim to allocate the total ISR-related operational cost to involved industrial firms in a fair and stable manner by taking into account their contribution to the total traditional ISR-related cost. We tailor two types of allocation mechanisms using which firms can implement cost allocations that result in a collaboration that satisfies the fairness and stability properties. Moreover, while industries receive a particular ISR proposal, our introduced methodology is applicable as a managerial decision support to systematically verify the quality of the ISR in question. This is achievable by analyzing if the implemented allocation mechanism is a stable/fair allocation.Comment: Presented at the 7th International Conference on Industrial Engineering and Systems Management (IESM-2017), October 11--13, 2017, Saarbr\"ucken, German

Live Blogging and Social Media Curation: Challenges and Opportunities for Journalism

Blogging and social media’s contribution to a realignment of the relationship between journalists and their audiences is discussed by Einar Thorsen in Live Blogging and Social Media Curation. Journalists are facing challenges to preserve traditional standards, such as verification of information and sources, whilst also capitalising on the opportunities afforded by the immediacy, transparency and interactive nature of online communication. Thorsen analyses these issues through two case studies: one focuses on ‘live’ blogging and elections, and a second looks at the role of social media in the Arab Spring. He demonstrates how journalists face new challenges in relation to social media curation, whilst the emergent forms and practices also present a wealth of opportunities

Enhancement of COPD Biological Networks Using a Web-Based Collaboration Interface

The construction and application of biological network models is an approach that offers a holistic way to understand biological processes involved in disease. Chronic obstructive pulmonary disease (COPD) is a progressive inflammatory disease of the airways for which therapeutic options currently are limited after diagnosis, even in its earliest stage. COPD network models are important tools to better understand the biological components and processes underlying initial disease development. With the increasing amounts of literature that are now available, crowdsourcing approaches offer new forms of collaboration for researchers to review biological findings, which can be applied to the construction and verification of complex biological networks. We report the construction of 50 biological network models relevant to lung biology and early COPD using an integrative systems biology and collaborative crowd-verification approach. By combining traditional literature curation with a data-driven approach that predicts molecular activities from transcriptomics data, we constructed an initial COPD network model set based on a previously published non-diseased lung-relevant model set. The crowd was given the opportunity to enhance and refine the networks on a website (https://bionet.sbvimprover.com/) and to add mechanistic detail, as well as critically review existing evidence and evidence added by other users, so as to enhance the accuracy of the biological representation of the processes captured in the networks. Finally, scientists and experts in the field discussed and refined the networks during an in-person jamboree meeting. Here, we describe examples of the changes made to three of these networks: Neutrophil Signaling, Macrophage Signaling, and Th1-Th2 Signaling. We describe an innovative approach to biological network construction that combines literature and data mining and a crowdsourcing approach to generate a comprehensive set of COPD-relevant models that can be used to help understand the mechanisms related to lung pathobiology. Registered users of the website can freely browse and download the networks