Detecting bots with temporal logic

Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by machine learning approaches. In this paper, we propose a complementary method to machine learning by exploring bot detection as a model checking problem. We introduce Temporal Network Logic (TNL) which we use to specify social networks where agents can post and follow each other. Using this logic, we formalize different types of social bot behavior with formulas that are satisfied in a model of a network with bots. We also consider an extension of the logic where we explore the expressive power of including elements from hybrid logic in our framework. We give model checking algorithms for TNL and its hybrid extension, and show that the complexity of the former is in P and the latter in PSPACE.publishedVersio

Life Outside The Canon - Hommage to Foteini Vlachou (1975-2017)

info:eu-repo/semantics/publishedVersio

Creating Through Mind and Emotions

The texts presented in Proportion Harmonies and Identities (PHI) Creating Through Mind and Emotions were compiled to establish a multidisciplinary platform for presenting, interacting, and disseminating research. This platform also aims to foster the awareness and discussion on Creating Through Mind and Emotions, focusing on different visions relevant to Architecture, Arts and Humanities, Design and Social Sciences, and its importance and benefits for the sense of identity, both individual and communal. The idea of Creating Through Mind and Emotions has been a powerful motor for development since the Western Early Modern Age. Its theoretical and practical foundations have become the working tools of scientists, philosophers, and artists, who seek strategies and policies to accelerate the development process in different contexts

Intelligence, Creativity and Fantasy

UID/HIS/04666/2019 This is the 2nd volume of PHI series, published by CRC Press, the 4th published by CRC Press and the 5th volume of PHI proceedings.The texts presented in Proportion Harmonies and Identities (PHI) - INTELLIGENCE, CREATIVITY AND FANTASY were compiled with the intent to establish a multidisciplinary platform for the presentation, interaction and dissemination of research. The aim is also to foster the awareness and discussion on the topics of Harmony and Proportion with a focus on different visions relevant to Architecture, Arts and Humanities, Design, Engineering, Social and Natural Sciences, and their importance and benefits for the sense of both individual and community identity. The idea of modernity has been a significant motor for development since the Western Early Modern Age. Its theoretical and practical foundations have become the working tools of scientists, philosophers, and artists, who seek strategies and policies to accelerate the development process in different contexts.authorsversionpublishe

MoMoWo · 100 projects in 100 years

This publication is aimed to support two MoMoWo traveling exhibitions which will be presented in six European countries in two years (2016-2017): indoor exhibition catalogue “100 Works in 100 Years. European Women in Architecture and Design. 1918-2018”, and outdoor exhibition “Women’s Tale. A Reportage on Women Designers”.Exhibition catalogue 100 Works in 100 Years. European Women in Architecture and Design. 1918-2018 brings together a selection of some of the most significant and representative examples of European architecture and design created by 100 women from the end of the First World War up until today. The number of works is symbolic, as ‘one hundred’ could also mean ‘countless’ as in the Latin word centium.Razstavni katalog 100 Works in 100 Years. European Women in Architecture and Design. 1918-2018 prinaša izbor nekaterih najbolj reprezentativnih primerov evropske arhitekture in oblikovanja, ki jih je sto žensk ustvarilo v obdobju od konca prve svetovne vojne do danes. Izbrano število del je simbolično, saj 'sto' v latinščini lahko pomeni tudi 'nešteto' (lat. centium), medtem ko število ustvarjalk – vsako delo ima drugo avtorico – izhaja iz namena MoMoWo projekta predstaviti čim več različnih avtoric in s tem posledično osvetliti tudi manj znane osebnosti. Katalog vsebuje biografije arhitektk, gradbenih inženirk, oblikovalk na področju notranjega in industrijskega oblikovanja, urbanistk in krajinskih arhitektk iz 26-tih držav. Zastopane so glavne smeri in pomembne 'šole' na področju arhitekture in oblikovanja iz vse Evrope. Biografski podatki obsegajo izobrazbo in šolanje, poklicno pot ustvarjalk, mreže v katerih so ženske delovale, vključno z neformalnimi skupinami, članstvom v institucijah in združenjih, njihov profil na mednarodnem, nacionalnem, lokalnem in regionalnem nivoju, kot tudi kako so predstavljale svoje delo na razstavah, v publikacijah, na javnih natečajih itd

Back to the future. The future in the past: ICDHS 10th+1 Barcelona 2018: Conference proceedings book

Obra dedicada a la memòria d'Anna Calvera (1954–2018).Conté: 0. Opening pages -- 1.1 Territories in the scene of globalised design: localisms and cosmopolitanisms -- 1.2 Designing the histories of southern designs -- 1.3 Mediterranean-ness: an inquiry into design and design history -- 1.4 From ideology to methodology: design histories and current developments in post-socialist countries -- 1.5 [100th anniversary of the Bauhaus Foundation]: tracing the map of the diaspora of its students -- 1.6 Design history: gatekeeper of the past and passport to a meaningful future? -- 1.7 Constructivism and deconstructivism: global development and criticism -- 1.8 An expanded global framework for design history -- 1.9 Design museums network: strengthening design by making it part of cultural legacy -- 1.10 Types and histories: past and present issues of type and book design -- 2.1 Design aesthetics: beyond the pragmatic experience and phenomenology -- 2.2 Public policies on design and design-driven innovation -- 2.3 Digital humanities: how does design in today's digital realm respond to what we need? -- 2.4 Design studies: design methods and methodology, the cognitive approach -- 2.5 Vehicles of design criticism -- 3 Open session: research and works in progress (1) -- 3 Open session: research and works in progress (2) -- Addenda: 10th+I keywords mapInternational Committee of Design History and Design Studies. Conference (11a : 2018 : Barcelona, Catalunya),ICDHS is the acronym of the International Committee of De­sign History and Design Studies, an organisation that brings together scholars from Spain, Cuba, Turkey, Mexico, Finland, Japan, Belgium, the Netherlands, Brazil, Portugal, the US, Tai­wan, Canada and the UK. Since 1999, when the Design and Art History departments of the University of Barcelona organised the first edition of the ICDHS, a conference has been held every two years at a different venue around the world. These conferences have had two dis­tinct aims: first, to present original research in the fields of Design History and Design Studies and, second, to include contributions in these fields from non-hegemonic countries, offering a speaking platform to many scientific communities that are already active or are forming and developing. For that reason, the structure of the conferences combines many paral­lel strands, including poster presentations and keynote speak­ers who lecture on the conferences’ main themes. The 2018 event is rather special. The Taipei 2016 conference was the 10th edition and a commemoration of the ten celebrations to date. Returning to Barcelona in 2018 marks the end of one stage and the beginning of a new one for the Committee. The numbering chosen—“10+1”—also means that Barcelona 2018 is both an end and a beginning in the ICDHS’s own history. The book brings together 137 papers delivered at the ICDHS 10th+1 Conference held in Barcelona on 29–31 October 2018. The papers are preceded by texts of the four keynote lectures and a written tribute from the ICDHS Board to its founder and figurehead, Anna Calvera (1954–2018). The Conference, and the book, are dedicated to her memory

Back to the Future. The Future in the Past. Conference Proceedings Book

ICDHS is the acronym of the International Committee of De­sign History and Design Studies, an organisation that brings together scholars from Spain, Cuba, Turkey, Mexico, Finland, Japan, Belgium, the Netherlands, Brazil, Portugal, the US, Tai­wan, Canada and the UK. Since 1999, when the Design and Art History departments of the University of Barcelona organised the first edition of the ICDHS, a conference has been held every two years at a different venue around the world. These conferences have had two dis­tinct aims: first, to present original research in the fields of Design History and Design Studies and, second, to include contributions in these fields from non-hegemonic countries, offering a speaking platform to many scientific communities that are already active or are forming and developing. For that reason, the structure of the conferences combines many paral­lel strands, including poster presentations and keynote speak­ers who lecture on the conferences’ main themes. The 2018 event is rather special. The Taipei 2016 conference was the 10th edition and a commemoration of the ten celebrations to date. Returning to Barcelona in 2018 marks the end of one stage and the beginning of a new one for the Committee. The numbering chosen—“10+1”—also means that Barcelona 2018 is both an end and a beginning in the ICDHS’s own history. The book brings together 137 papers delivered at the ICDHS 10th+1 Conference held in Barcelona on 29–31 October 2018. The papers are preceded by texts of the four keynote lectures and a written tribute from the ICDHS Board to its founder and figurehead, Anna Calvera (1954–2018). The Conference, and the book, are dedicated to her memory