203 research outputs found
The Robot and Us: An'Antidisciplinary'Perspective on the Scientific and Social Impacts of Robotics
No full textThis book offers a clear, yet comprehensive overview of the role of robots in our society. It especially focuses on the interaction between humans and robots, and on the social and political aspects of the integration of robots with humans, in their everyday life, both in the private and working sphere alike. Based on the lessons held by the author at “Scuola di Politiche”(transl. School of Political Sciences), this self-contained book mainly addresses an educated, though not-specialist, audience
La produzione giuridica e il sistema della fonti
No full textQuesto capitolo di manuale illustra le diverse fonti di produzione del diritto, segnatamente del diritto costituzionale, in una prospettiva comparata e basata su fenomeni anziché su ordinament
Climate finance in the Asia-Pacific : trends and innovative approaches
No full textThis discussion paper 'Climate finance in the Asia-Pacific: Trends and Innovative Approaches' was prepared for ESCAP by Ilaria Carrozza, PhD Candidate, Department of International Relations, London School of Economics and Political Science, London, UK
The author would like to acknowledge ESCAP Environment and Development Division (Rae Kwon Chung, Aneta Nikolova, Riccardo Mesiano, Hala Razian, and with support from Yohan Hong). A peer review was conducted by Climate Policy Initiative (Mia Fitri and Leela Raina)
La produzione giuridica e i sistemi delle fonti
No full textCapitolo di manuale sulle fonti del diritto nel diritto costituzionale comparat
Integrating MDT in an Industrial Process in the Air Traffic Control Domain
No full textAir Traffic Control (ATC) systems are typical software-intensive mission-critical systems with stringent dependability requirements. The major providers of ATC systems are system integrators that address such requirements at the cost of a very expensive testing effort. They envisage Model Driven Testing (MDT) as a promising approach to reduce this effort while achieving better product quality. Within the context of a public-private partnership for software innovation in the ATC domain, we address the problem of integrating MDT into a software development process based on Model Driven Architecture. Specifically, we propose a solution to the integration of MDT into a V-model, focusing on a parallel MDA-MDT flow in a real industrial software process
Su un’ode saffica di Francesco Filelfo al Cardinale Bessarione (De Psychagogia 1.2)
No full textIl presente contributo si propone di fornire una prima traduzione di un’ode che Francesco Filelfo rivolge al cardinale Bessarione (De psychagogia 1.2), carme che si contraddistingue per una fitta trama di rimandi intertestuali che si celano, tuttavia, dietro l’apparenza di un componimento stancamente celebrativo. Alla traduzione si accompagna dunque un commento volto a isolare temi finora rimasti inesplorati, senza tralasciare considerazioni sulla lingua greca adottata da Filelfo, la cui produzione si presenta per lo più in italiano o in latino
Andamento dell'infezione da virus Maedi Visna, monitorato mediante test sierologici, in agnelli nati da pecore infettate sperimentalmente
No full text
In situ PCR-associated immunohistochemistry identifies cell types harbouring the Maedi-Visna virus genome in tissue sections of sheep infected naturally
No full textMaedi-Visna virus (MVV) is a non-oncogenic ovine lentivirus whose main targets are the lung, mammary gland, central nervous system and joints. Cells of the monocyte-macrophage lineage are the major viral target in vivo; other cell types are infected as well, as indicated by several studies, largely based on the examination of animals infected experimentally or on the in vitro infection of cultured cells. Aim of this study was to investigate the cell types harbouring the viral genome in lungs and mammary glands of animals infected naturally by using in situ PCR-associated immunohistochemistry. Several types of cells were infected: in the lung type I and II pneumocytes, interstitial and alveolar macrophages, endothelial cells and fibroblast-like cells. Epithelial cells, macrophages, endothelial cells and fibroblast-like cells were infected also in the mammary gland. These results indicate that the in situ PCR, a powerful technique which combines the high sensitivity of the conventional PCR with the ability to localise the cellular targets within a tissue, can be improved further by its association with the immunohistochemistry. This can be especially advantageous when the presence and localisation of the target sequence are investigated in the context of a tissue with its complex cellular organisation
Engineering Air Traffic Control Systems with a Model-Driven Approach
No full textTesting software in Air Traffic Control (ATC) systems
costs much more than building them. This is basically true
in every domain producing software-intensive critical systems.
Software engineers strive to find methodological and processlevel
solutions to balance these costs, and to better distribute
verification efforts along all the development phases.
There is considerable interest in applying model-driven approaches
in the critical systems engineering field. Kept promises
and failed expectations of model-driven engineering are still
debated today; we report our experience in trying to take the
model-driven best achievements and, at the same time, to fill its
lacks in the considered industrial context
- …
