3,206 research outputs found
Intensional and Extensional Views in DL-Lite Ontologies
Get PDFThe use of virtual collections of data is often essential in several data and knowledge management tasks. In the literature, the standard way to define virtual data collections is via views, i.e., virtual relations defined using queries. In data and knowledge bases, the notion of views is a staple of data access, data integration and exchange, query optimization, and data privacy. In this work, we study views in Ontology-Based Data Access (OBDA) systems. OBDA is a powerful paradigm for accessing data through an ontology, i.e., a conceptual specification of the domain of interest written using logical axioms. Intuitively, users of an OBDA system interact with the data only through the ontology's conceptual lens. We present a novel framework to express natural and sophisticated forms of views in OBDA systems and introduce fundamental reasoning tasks for these views. We study the computational complexity of these tasks and present classes of views for which these tasks are tractable or at least decidable
Michelangelo Console
No full textBotanico: Console, Michelangelo (1812-1897).
Titolo ed estremi cronologici manoscritti sul recto, dove compare anche la nota: dono Ant. Todaro 1898.
Montata su cartone 140 x 96 mm.
1 fotografia : albumina ; 140 x 96 mm.
Vai alla scheda bibliografica: https://galileodiscovery.unipd.it/discovery/fulldisplay?context=L&vid=39UPD_INST:VU1&search_scope=MyInst_and_CI&tab=Everything&docid=alma99001558933020604
Application of language models on code analysis
Get PDFCode analysis is a key topic for improving software quality and efficiency. This analysis becomes even more important for securing code against potential cyber-attacks. However, manual analysis of code, especially for the binary one, is complicated and error-prone. Therefore, the investigation of new automatic techniques for code analysis is research topic of great interest. As suggested by the "naturalness hypothesis", the code exhibits similar statistical properties to natural languages. As a consequence, techniques used for natural language processing can be also applied to analyze source and binary
code. For this reason, recent research applies neural language models on code analysis, achieving significant results.
In line with this research trend, the two contributions of the thesis are focused on the application of deep learning to analysis of code written in high-level and low-level programming languages.
The first contribution of the thesis introduces a benchmark designed to evaluate models for binary code representation. The tool can be used to test and compare the performance of these models on various binary function tasks.
The second contribution, on the other hand, focuses on the application of neural networks for analyzing source code. The contribution investigates the application of neural language models for detecting code smells, that represent poor design choices potentially impacting the code quality
La cartografia geologica in Calabria nel XIX secolo
No full textIt is a widely diffused opinion that the knowledge of the geologic features of the Calabrian territory may be referred to the early XX century; nevertheless, a thorough investigation carried out in the cartographic collection of the ISPRA Library, that preserves the historical heritage of the Geological Survey of Italy, allowed to access and analyze original XIX century maps of undoubted scientific interest. The precursor of all 'modern' geological studies in Calabria was Leopoldo Pilla, who analyzed the relationships between the intrusive units and sedimentary successions in the '30s, soon after followed by the German naturalist Rodolfo A. Philippi. Appended to a handwritten Italian translation of a paper of Philippi we have found some geological sketches of the Calabrian region; despite their uncertain attribution, they most likely represent preparatory drafts for a final publication, and are, to date, the first known geological maps of the region. After the mentioned pioneers, up to the '70s, only few authors dealt with the geology of Calabria, and a surprising finding of our research was the discovery of a map and a document drawn up by S. Giancossi, which was however almost ignored by the scientific community. The interest for the geology of Calabria was renewed in the '70s of the XIX century, first by Gerhard vom Rath and then by Vincenzo Rambotti. Subsequently and until the end of the XIX century, just prior to the publication of the Calabrian sheets of the official cartographic map at 1:100,000 scale of the Geological Survey of Italy, many projects of geological mapping were carried out by several geologists, including Carlo De Stefani, Renato Fucini, Giuseppe Seguenza and, above all, Domenico Lovisato. Between 1878 and 1881 Lovisato, appointed by the Royal Geological Committee, realized a geological map in 32 sheets of Northern Calabria on the 1:50,000 scale, that represents the first geological map of the region conceived in a modern way. Undoubtedly, this work was the milestone for the production of the official cartography, realized since 1895 under the direction of Emilio Cortese
Epistolario edito e inedito di Giuseppe Acerbi
No full textSe note sono le vicende di Giuseppe Acerbi quale viaggiatore del Nord Europa (raggiunse per primo via terra Capo Nord il 19 luglio 1799 all’età di 26 anni), segretario della repubblica Cisalpina a Parigi, e direttore della «Biblioteca Italiana» dal 1816 al 1826, nonché console generale d’Austria in Egitto dal 1826 al 1834, meno note sono le sue cospicue lettere conservate presso la Biblioteca Comunale Teresiana e l’Archivio di Stato di Mantova qui prese in esame
Recommended from our members
Trust in authorities monitoring the distribution of genetically modified foods: dimensionality, measurement issues, and determinants
No full textBased on a combined internet and mail survey in Germany the independence of indica-tors of trust in public authorities from indicators of attitudes toward genetically modified food is tested. Despite evidence of a link between trust indicators on the one hand and evaluation of benefits and perceived likelihoods of risks, correlation with other factors is found to be moderate on average. But the trust indicators exhibit only a moderate relation with the re-spondents’ preference for either sole public control or a cooperation of public and private bodies in the monitoring of GM food distribution. Instead, age and location in either the New or the Old Lander are found to be significantly related with such preferences
Recommended from our members
A critical account of the relationship between institutional trust, risk perception, and technology acceptance with an application to genetically modified foods
No full textThis article critically reflects on the widely held view of a causal chain with trust in public authorities impacting technology acceptance via perceived risk. It first puts forward conceptual reason against this view, as the presence of risk is a precondition for trust playing a role in decision making. Second, results from consumer surveys in Italy and Germany are presented that support the associationist model as counter hypothesis. In that view, trust and risk judgments are driven by and thus simply indicators of higher order attitudes toward a certain technology which determine acceptance instead. The implications of these findings are discussed
PER UNA EDIZIONE CRITICA DELLE RIME DI BARTOLOMEO CAVASSICO
Get PDFThis PhD thesis consists of:
- An introductory part presenting the figure of the author, a description of the ms. bearing the Rime, an analysis of the form and content of the texts and the social, political and cultural context where they were produced;
- The critical edition of fifty-four poems in italian and fifteen in Bellunese dialect. An introductory cap presents the formal characteristics of the work and provides the context, if necessary; this is followed by the text, reproduced according to generally conservative criteria; at the bottom there is a first band of apparatus, aimed at containing corrections of servile errors; a second band, containing the actual genetic apparatus, bearing any variants or previous redactions of the text; and finally the commentary, aimed at clarifying critical places and pointing out parallels with other authors. For the Bellunese texts, a full translation was also provided.
- A caption index;
- Two lexical indexes, for italian and Bellunese texts, bearing the notable forms;
- Four appendices. Appendix I is a table containing all the poems, classified according to the following criteria: location in the ms., title, genre of the poem, language, possible addressee and brief summary, focusing, in particular, on the (recurring) themes present in the text. Appendix II houses vernacular texts not included in the edition, and Appendix III italian texts that the author has taken from other printings. Appendix IV contains the digital reproduction of six papers from ms. 396 of the Biblioteca Civica of Belluno.Questa tesi di dottorato si compone di:
- Una parte introduttiva che presenta la figura dell'autore, la descrizione del ms. recante le Rime, l'analisi della forma e dei contenuti dei testi e il contesto sociale, politico e culturale in cui sono stati prodotti;
- L'edizione critica commentata di cinquantaquattro poesie in volgare e quindici in dialetto bellunese. Un cappello introduttivo presenta le caratteristiche formali dell'opera e ne fornisce il contesto, qualora necessario; segue il testo, riprodotto secondo criteri generalmente conservativi; in calce si trovano una prima fascia di apparato, volta a contenere le correzioni degli errori servili, una seconda fascia, contenente l'apparato genetico vero e proprio, recante le eventuali varianti o redazioni precedenti del testo, e infine il commento, finalizzato a chiarire i luoghi critici e a segnalare paralleli con altri autori. Per i testi bellunesi si è fornita anche la traduzione integrale in calce.
- Un indice dei capoversi;
- Due indici lessicali, per i testi in volgare e per i testi in bellunese, recanti le forme notevoli;
- Quattro appendici. L'appendice I è una tabella contenente tutti i componimenti, classificati secondo i seguenti criteri: collocazione nel ms., titolo, genere del componimento, lingua, eventuale destinatario e breve riassunto, imperniato, in particolare, sui temi (ricorrenti) presenti nel testo. L'appendice II ospita i testi in volgare non inclusi nell'edizione, mentre l'appendice III i testi in volgare che l'autore ha tratto da altre stampe. L'appendice IV contiene la riproduzione digitale di sei carte del ms. 396 della Biblioteca Civica di Belluno, attraverso la quale si possono osservare la scrittura del notaio e gli interventi sui testi
Il Trionfo del console Lucio Paolo Emilio. Un fregio e due artisti per Carlo Alberto al Castello di Racconig
No full textLa pubblicazione ricostruisce le diverse fasi di elaborazione, realizzazione e di collocazione di un fregio, rappresentante il Trionfo del console Lucio Paolo Emilio nel Real Castello di Racconigi (1842-1846). Committente fu il re di Sardegna Carlo Alberto, ideatore e progettista fu il poliedrico Pelagio Palagi, al servizio del sovrano dal 1831, esecutore l'amico e regio scultore Giuseppe Gaggini
BinBench: a benchmark for x64 portable operating system interface binary function representations
Get PDFIn this article we propose the first multi-task benchmark for evaluating the performances of machine learning models that work on low level assembly functions. While the use of multi-task benchmark is a standard in the natural language processing (NLP) field, such practice is unknown in the field of assembly language processing. However, in the latest years there has been a strong push in the use of deep neural networks architectures borrowed from NLP to solve problems on assembly code. A first advantage of having a standard benchmark is the one of making different works comparable without effort of reproducing third part solutions. The second advantage is the one of being able to test the generality of a machine learning model on several tasks. For these reasons, we propose BinBench, a benchmark for binary function models. The benchmark includes various binary analysis tasks, as well as a dataset of binary functions on which tasks should be solved. The dataset is publicly available and it has been evaluated using baseline models
- …
