160 research outputs found
MultiVeStA: Statistical Model Checking for Discrete Event Simulators
No full textThe modeling, analysis and performance evaluation of large-scale systems are difficult tasks. Due to the size and complexity of the considered systems, an approach typically followed by engineers consists in performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique used by computer scientists working on quantitative analysis is Statistical Model Checking (SMC), where rigorous mathematical languages (typically logics) are used to express systems properties of interest. Such properties can then be automatically estimated by tools performing simulations of the model at hand. These property specifications languages, often not popular among engineers, provide a formal, compact and elegant way to express systems properties without needing to hard-code them in the model definition. This paper presents MultiVeStA, a statistical analysis tool which can be easily integrated with existing discrete event simulators, enriching them with efficient distributed statistical analysis and SMC capabilities
A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds
No full textThe increasing diffusion of cloud technologies is opening new opportunities for distributed and collaborative computing. Volunteer clouds are a prominent example, where participants join and leave the platform and collaborate by sharing their computational resources. The high dynamism and unpredictability of such scenarios call for decentralized self-* approaches to guarantee QoS. We present a simulation framework for collaborative task execution in volunteer clouds and propose one concrete instance based on Ant Colony Optimization, which is validated through a set of simulation experiments based on Google workload data
Distributed statistical analysis of complex systems modeled through a chemical metaphor
No full textThe chemical-inspired programming approach is an emerging paradigm for defining the behavior of densely distributed and context-aware devices (e.g., in ecosystems of displays tailored to crowd steering, or to obtain profile-based coordinated visualization). Typically, the evolution of such systems cannot be easily predicted, thus making of paramount importance the availability of techniques and tools supporting prior-to-deployment analysis. Exact analysis techniques do not scale well when the complexity of systems grows: as a consequence, approximated techniques based on simulation assumed a relevant role. This work presents a new simulation-based distributed analysis tool addressing the statistical analysis of such a kind of systems. The tool has been obtained by chaining two existing tools: MultiVeSta and Alchemist. The former is a recently proposed lightweight tool which allows to enrich existing discrete event simulators with automated and distributed statistical analysis capabilities, while the latter is an efficient simulator for chemical-inspired computational systems. The tool is validated against a crowd steering scenario, and insights on the performance are provided by discussing how the analysis tasks scale on a multi-core architecture
Nicola Sebastio: la prigionia della seconda guerra mondiale e la scoperta dell’arte e dell’architettura egizia
No full textSignificativo scultore del XX secolo, Nicola Sebastio fu protagonista indiscusso del dibattito sull’arte sacra del Novecento. Diplomatosi all’Accademia di Belle Arti di Firenze, fin da giovane entrò in contatto con numerosi intellettuali e artisti che frequentò anche nei periodi in cui si dedicò all’insegnamento presso numerose istituzioni milanesi, tra le quali la Società Umanitaria, la Scuola Beato Angelico e l’Istituto Gonzaga. Autore della statua raffigurante San Giovanni Battista de La Salle collocata sulla guglia centrale della facciata del Duomo di Milano, Sebastio fu segnato dall’esperienza della seconda guerra mondiale e, in particolare, dalla prigionia in Egitto. Il saggio ripercorre, dunque, le tappe salienti degli anni della guerra, della fuga dal campo di prigionia inglese e del suo nascondimento di numerosi mesi nelle piramidi e nella Necropoli di Memphis. Un’esperienza che lo condusse a iniziare un’opera di studio e rilievo della pittura funeraria egizia che, secondo Costantino Baroni, lo portò a costituire un corpus di disegni “di grande novità e rilievo per la conoscenza e la valutazione critica” della civiltà egiziana.An important sculptor of the twentieth century, Nicola Sebastio was the undiscussed protagonist of the debate on the sacred art of the twentieth century. Graduated from the Academy of Fine Arts in Florence, from an early age he came in contact with numerous intellectuals and artists he frequented even in the periods in which he dedicated himself to teaching at numerous Milan institutions, including the Humanitarian Society, the Beato Angelico School and the Gonzaga Institute. Author of the statue depicting St. John the Baptist de La Salle placed on the central spire of the facade of the Milan Cathedral, Sebastio was marked by the experience of the Second World War and, in particular, by his imprisonment in Egypt. The essay therefore traces the salient steps of the war years, of his escape from the English prison camp and his many months’ hiding in the pyramids and in the Necropolis of Memphis. An experience that led him to start a relevant study of Egyptian funerary painting which, according to Costantino Baroni, led him to build a corpus of drawings “of great novelty and importance for the knowledge and critical evaluation” of Egyptian civilization
Peer-to-Peer Architecture for Real-Time Strategy MMOGs with Intelligent Cheater Detection
No full textWhat to Say and What to Omit? Strategies and Self-Narratives for Obtaining a Diagnosis in Gender Transition
No full textIn gender transition, psychological and diagnostic assessment is essential for accessing medical treatment and gaining legal recognition. This puts the psychologist in the role of gatekeeper and places the diagnosis at the center of the clinical relationship, despite recent guidelines' depathologizing orientation. This study investigates how trans people approach and prepare for psychological interviews, what they report and what they tend to conceal to optimize the chances of being diagnosed as Gender Dysphoric. Thematic analysis of transcripts of two focus groups involving 13 people brought to light several narrative strategies aimed at assuring the saturation of the clinical criteria needed for the release of the diagnosis, among them the (more or less intentionally) forced adherence to gender binarism in the definition of Self and attempts to hide or affirm aspects of themselves in the clinical encounter. The perception of vexatiousness and imbalance of power in the relationship also emerged as a prominent theme. Between the many implications, the most important relates to the risk that the psychological pathway can be exploited to obtain the diagnosis and, once set up like this, it may lose other functions and meanings. The study can contribute to directing professional practice towards trans people's actual needs to promote health and gender affirmation
Peer-to-Peer Architecture for Real-Time Strategy MMOGs with Intelligent Cheater Detection
No full text
Sindrome iperammoniemica in bambina con grave compromissione neurologica Hyperammonemia in a girl with severe neurological damage
No full text- …
