1,721,180 research outputs found
First Italian Conference on Cybersecurity
No full textITASEC17 is the first edition of the Italian Conference on Cybersecurity, a new annual event supported by the Cybersecurity National Laboratory that aims at putting together Italian researchers and professionals from academia, industry, and government working in the field of cybersecurity.
ITASEC17 was held on January 17-20, 2017 in Venice and featured a Stakeholder Space and a Scientific/Technical Space, both spanning through the whole conference. The Stakeholder Space included selected distinguished keynotes speeches, invited talks, vision speeches, panels and the tutorial “Framework nazionale per la cybersecurity”, in Italian. The Scientific/Technical Space included three main tracks: a Scientific Track on Cybersecurity science and technology, a Fil Rouge Track with a sequence of multidisciplinary sessions on a specific hot topic in Cybersecurity, and a Demo Track devoted to prototypes developed by industries, research centers, and universities. The Fil Rouge track focused on “Fostering Security Through Web-Based Intelligence: Tools, Opportunities, and Inherent Limitations”.
The conference solicited two kind of submissions: unpublished contributions and presentation only ones, e.g., already published work, preliminary work and position papers. There were 87 submissions: 48 in the unpublished category and 39 in the presentation only one. Each submission was reviewed by an average of 3 program committee members. The committee decided to accept 25 papers out of the 48 submitted for publication, which are included in this proceedings volume. The program also featured 34 presentations not included in this volume. The peer reviewing process has been dealt with through EasyChair.
ITASEC17 has required a huge effort by many people. We would like to thank the program committee members and all the external reviewers, the authors of all submitted papers, the staff from CINI for their immense effort and devotion to the conference administration and organization, Fondazione Università Ca' Foscari for the extremely professional local organization and all the volunteer students from Ca' Foscari University.
Finally, ITASEC17 would not have been possible without the support of our sponsors. Our immense gratitude goes to the Platinum Sponsors: CISCO, IBM, Leonardo, Microsoft, PaloAlto Networks, Trend Micro; the Gold Sponsors: Blu5 Labs, Business-e, Check Point, IntheCyber, RSA, SAIV Group; and the Silver Sponsor: Var Group.
The ITASEC17 Program co-chairs,
Alessandro Armando, Roberto Baldoni and Riccardo Focard
Architectural design and planning talk to each other: a dialogue via Strategic Choice Approach (SCA)
No full textThe paper proposes the use of the Strategic Choice Approach as a way of structuring the architectural design process, partly individually and partly supported by meetings and interviews with DMs, experts, and stakeholders. SCA is employed as a graphic and a designing tool to provide alternative transformation scenarios. We reflect on the possible use of SCA to determine prescriptive conditions on physical form at a scale that is still intermediate between the single building and the urban tissue. In this sense, planning and architectural design talk to each other via SCA. It still represents a way of approaching the challenge of planning in an uncertain world, but moreover it produces an architectural project or transformation. SCA can work in a physical sense, not only eliciting guidelines and strategies. This proposal shows an application to a real-world problem, currently under debate by the City of Turin (Italy), the re-use of abandoned barracks located in a prestigious residential area
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Critica della ragione progettuale
No full textDue architetti e tre filosofi discutono della mutazione del progetto di architettura. Il progetto è da secoli oggetto di un’osservazione teoretica in cui l’architettura viene prevalentemente considerata come forma privilegiata di presenza, ovvero di materializzazione di un’idea: l’«ultima fortezza della metafisica», secondo la definizione di Derrida. Ma il lavoro dell’architetto è anche pratica concreta, fatta di abilità tecniche, esperienza strategica, affabulazione, invenzione e conoscenza delle procedure. Quel che emerge da questo libro è che i progetti di architettura possono avere efficacia sul mondo, a condizione che riconoscano la consistenza contingente dei propri fini, nonché la natura ibrida, al tempo stesso tecnica e sociale, dei propri mezzi.
Con scritti di Alessandro Armando e Giovanni Durbiano, Maurizio Ferraris, Carlo Galli, Bruno Moroncini e un’appendice di Tommaso Listo
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures
Full text linkThe application of automated reasoning to verification has long shown the importance of decision procedures for satisfiability in decidable theories. The "big engine" approach aims at procedures for the (semi-decidable) validity problem in full first-order logic (with equality), and applies them across all theories that can be presented in the logic. The "little engine" approach aims at procedures for specific decidable theories, by building each theory into a dedicated inference engine. This extended abstract reports on on-going research that aims at replacing the apparent dichotomy ("little engines versus big engines") by a cross-fertilization ("big engines as little engines")
Un seminario per disegnare l'azione
No full textChe cos’è una tesi di laurea in progettazione architettonica? Dietro questa domanda se ne nascondono molte altre. Cosa intendiamo con “progetto di architettura”, innanzitutto, ma anche come si possa studiare la pratica di lavoro degli architetti, decodificarla e insegnarla in un contesto universitario al pari di una disciplina scientifica. Come si possa, insomma, disegnare l’azione di progetto. Porsi questa domanda implica, infine, interrogarsi sul ruolo che la tesi può ricoprire nel percorso di formazione di un architetto. "Sintesi" prova a dare risposta a questi e altri quesiti, a partire dai risultati di un’esperienza didattica rivolta da alcuni anni agli studenti di laurea magistrale del Politecnico di Torino dai proff. Giovanni Durbiano e Alessandro Armando. Offrendosi come alternativa ai lavori sviluppati in maniera individuale, contingente e auto-definita, il Seminario di Sintesi costituisce una cornice entro cui immagazzinare e discutere collettivamente le questioni metodologiche e operative che emergono dai lavori dei tesisti. Agli studenti viene richiesto di immergersi in un processo di trasformazione urbana in atto e di interagire con la realtà socio-tecnica che lo descrive con un approccio interdisciplinare e finalizzato al conseguimento di effetti materiali. In questo modo la tesi si configura allo stesso tempo come l’ultimo passo di un percorso educativo e come l’occasione di un’esperienza vicina a quella della pratica professionale. Il libro si offre quindi come strumento pedagogico pratico: attraverso una rilettura critica del lavoro dei tesisti identifica e descrive operazioni ricorrenti che sintetizza in tassonomie, strumenti e modelli di azione. Inoltre, ripercorrendo i disegni e le strategie sviluppati dagli studenti, l’obiettivo è anche quello di interrogare alcuni aspetti metodologici della pratica progettuale, contribuendo a un dibattito a cavallo tra mondo professionale e accademico con una proposta concreta e costruttiva
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
- …
