560 research outputs found
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020) - LNCS
No full textEditorial to theme issue on model-driven engineering of component-based software systems
No full textThis theme issue aims at providing a forum for disseminating latest trends in the use and combination of model-driven engineering (MDE) and component-based software engineering (CBSE). One of the main aims of MDE is to increase productivity in the development of complex systems, while reducing the time to market. Regarding CBSE, one of the main goals is to deliver and then support the exploitation of reusable “off-the-shelf” software components to be incorporated into larger applications. An effective interplay of MDE and CBSE can bring benefits to both communities: on the one hand, the CBSE community would benefit from implementation and automation capabilities of MDE, and on the other hand, MDE would benefit from the foundational nature of CBSE. In total, we received 23 submissions to this theme issue, and each submission was reviewed by at least three reviewers. Thanks to the high quality of the submissions that we received, we could eventually accept six papers for publication
Another variant another history: description of the SARS-CoV-2 KP.2 (JN.1.11.1.2) mutations
No full textL'Aquila città in frantumi: la ricostruzione come acceleratore delle dinamiche socio-spaziali
No full textNegli ultimi vent’anni la città compatta ha subito una flessione a favore della vaporizzazione dello spazio abitato. La sprawlizzazione dei quartieri residenziali e gli altri fenomeni di diffusione dell’antropizzato, evidenziati nel dibattito scientifico dalla crescente porosità dei confini del concetto di “urbano”, non hanno fatto che alimentare il consumo di suolo, fenomeno crescente in Europa e in Italia.
Lo studio qui presentato, a partire da una rilettura delle categorie di periurbano, pretende illustrare alcune dinamiche socio-spaziali di dispersione sul territorio, che insistono su L’Aquila e che hanno subito un’accelerazione dopo il terremoto che ha colpito la città il 6 aprile 2009. In particolare, storicizzando la conformazione del capoluogo abruzzese, si riprendono le ipotesi sulla ricostruzione post-disastro come acceleratore dei processi sociospaziali, concentrandosi su due variabili utilizzate in letteratura per lo studio della pressione antropica sull’ambiente: indice del consumo di suolo e densità di popolazione. Lo studio, effettuato anche grazie all’uso di software di analisi statistica geo-referenziata, dimostra come i trend espressi da entrambe le variabili risultino amplificati nelle analisi attualizzate, avvalorando le ipotesi che indicano nella ricostruzione una delle cause di accelerazione dei processi di frantumazione del tessuto urbanistico
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
No full textDuring the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.
ASYDE 2019 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms
Rational use of immunodiagnostic tools for tuberculosis infection: guidelines and cost effectiveness studies.
No full text
Human immunodeficiency virus type 2: The neglected threat
No full textWest Africa has the highest prevalence of human immunodeficiency virus (HIV)-2 infection in the world, but a high number of cases has been recognized in Europe, India, and the United States. The virus is less transmissible than HIV-1, with sexual contacts being the most frequent route of acquisition. In the absence of specific antiretroviral therapy, most HIV-2 carriers will develop AIDS. Although, it requires more time than HIV-1 infection, CD4+ T cell decline occurs more slowly in HIV-2 than in HIV-1 patients. HIV-2 is resistant to non-nucleoside reverse transcriptase inhibitors (NNRTIs) and some protease inhibitors. Misdiagnosis of HIV-2 in patients mistakenly considered HIV-1-positive or in those with dual infections can cause treatment failures with undetectable HIV-1 RNA. In this era of global integration, clinicians must be aware of when to consider the diagnosis of HIV-2 infection and how to test for this virus. Although there is debate regarding when therapy should be initiated and which regimen should be chosen, recent trials have provided important information on treatment options for HIV-2 infection. In this review, we focus mainly on data available and on the insight they offer about molecular epidemiology, clinical presentation, antiretroviral therapy, and diagnostic tests of HIV-2 infection
- …
