41199 research outputs found
Sort by
Analisi sulla sostenibilità ambientale dell'allevamento bovino: i ruoli dell'aumento della produttività e dell'innovazione tecnologica
Ricerca di limiti inferiori p er il numero di cricca del grafo di generazione di gruppi almost semplici 2-generati e di gruppi di ordine minore o uguale a 100
Ricerca di limiti inferiori per il numero di cricca del grafo di generazione di gruppi almost semplici 2-generati e di gruppi di ordine minore o uguale a 10
The ising block model: a statistical mechanics approach to community reconstruction
This thesis discusses a statistical mechanics approach to the community
recovery of a large binary random vector, with a simple underlying block
structure. Indeed, we study the Ising Block Model (IBM) with two
communities of the same size. Firstly, we perform a probabilistic analysis
of the IBM, then, through a semidefinite programming (SDP) relaxation of
the maximum likelihood estimator, we infer the two communities with high
probability, achieving the optimal with respect to sample size
Epidemiologia delle nuove specie di parvovirus del suino in focolai di reproductive failure in Italia
Among the viral infectious pathogens affecting the swine industry, porcine parvovirus (PPV1) has been considered one of the main agents responsible for reproductive failure, whose consequences are summarized in the acronym SMEDI (stillbirth, mummification, embryonic death and infertility). Since 2001 new species of porcine parvoviruses, namely PPV2-7, have been identified, although their role has not been fully understood yet.
In order to fill the lack of knowledge of the new porcine parvovirus epidemiology, this study provides an epidemiological update on the viral circulation in Italy, by evaluating their presence in fetuses collected from reproductive failure outbreaks in Northern Italian farms and delivered to the Istituto Zooprofilattico Sperimentale della Lombardia e dellâEmilia Romagna (IZSLER). The detection of the different PPV species was performed using four different duplex real-time PCR assays, already described in previous studies. The PPV positivity was also discussed in relation to the frequencies of other pathogens detected by the diagnostic panel for reproductive failure in use at IZSLER.
PPV2-7 new species were detected in at least one farm among those tested in 2019 and the most frequently detected species are in order PPV6-1-3-7. Positive farms for at least one PPV species accounted for 46.7% and 57.4% of the total farms tested in 2019 and 2020, respectively. Among the detected co-infections, the contemporaneous presence of PCV-2 and at least one PPV species was the most frequent epidemiological finding, as they were identified in 23.8% of the total farms.
The detection of the new parvovirus species is indicative of their circulation in the Italian territory. However, although the identification of new parvovirus species in samples from reproductive failure outbreaks might be suggestive of a potential clinical role, it is not enough to support the causal nexus. Thus, further dedicated and standardized studies considering different matrices and production categories, are needed to verify the real impact of new parvovirus species and describe their circulation. Moreover, the development and validation of a sequencing method would provide diagnostic confirmation in terms of specificity and could be the launching pad for future phylogenetic and molecular epidemiological studies
Approssimazione del TSP metrico ed euclideo
Il TSP è uno dei più noti problemi della teoria dell'ottimizzazione
combinatoria; nonostante esistano delle euristiche molto efficienti, nessuna di queste può fornire una soluzione e-approssimata (di costo al più k volte l'ottimo) per ogni istanza del TSP generale. In questa tesi si discutono 2 algoritmi di approssimazione per particolari istanze del TSP: l'algoritmo di Christofides di (3/2)-approssimazione per il TSP metrico e lo schema di approssimazione polinomiale (PTAS) di Arora
per il TSP euclideo. Anche se non sono abbastanza efficienti da essere utilizzati nella pratica, questi 2 algoritmi sono di notevole importanza teorica in quanto mostrano come il TSP metrico ed euclideo, pur restando NP-difficili, risultano più "facili" da approssimare rispetto al TSP generale; questo può fornire una spiegazione all'efficacia degli algoritmi euristici sui problemi derivanti dalle applicazioni
Law and order: a search engine for italian law
Nowadays, digital transformation is a key aspect of the future. The power
of innovation is tangible in many sectors. Thanks to the exploitation of
digital technologies it is possible to improve existing processes and
potentially transform the business model. Digitization allows companies and
institutions the creation of digital archives. These digital archives allow
data extraction that produces amounts of information. It is possible to
apply the recent advances in Natural Language Processing and other
Artificial Intelligence techniques to generate new insights on documents.
In the jurisprudence field, large amounts of legal documents are created
every day, indeed many databases of judgements and ordinances are online. Accordingly, the merging of law and analytics procedures can amplify legal knowledge, argument, and decision making.
In this master thesis project, we propose an Italian Search-Engine for law
practice. The goal of this thesis is to make available to Italian law
firms a tool in which to retrieve jurisprudence cases. We address the
application of methods of Legal Analytics (LA) of case law and empirical
legal data, in particular judgements, using text mining. We implement the
state-of-art of Natural Language Processing to the legal domain. We apply
computational models to legal reasoning and behaviour, to extract legal
knowledge, infer relationships, and encourage data-driven insights. We
build a working prototype of a search engine for a web application that
requires minimal engineering and programming to bring the system at a level closer to the market
Strengthened integer programming formulations for the fleet quickest routing problem on grid graphs
La tesi considera il "Fleet Quickest Routing Problem on Grids" (FQRP-G),
ossia il problema di dirottare un insieme di veicoli che si muovono su una
griglia e devono raggiungere la propria destinazione utilizzando il minimo
numero possibile di livelli sulla griglia, ossia nel minor tempo possibile,
ed evitando di entrare in conflitto fra loro. A partire da una formulazione
del FQRP-G come problema di Programmazione Lineare Intera (PLI),
introduciamo otto nuove famiglie di disuguaglianze valide: quattro famiglie
che coinvolgono variabili del modello associate ad una coppia di veicoli in
conflitto, due famiglie che coinvolgono variabili associate a più coppie di
veicoli in conflitto, una famiglia associata ad una particolare
configurazione di veicoli e un gruppo di disuguaglianze associate a cicli
di conflitti; vengono anche fornite alcune formulazioni di lower bounds per
la funzione obiettivo basate sull'analisi di configurazioni di conflitti.
Viene esplorata l'analogia del FQRP-G con una particolare classe di
problemi di scheduling e, sulla base di questa analogia, vengono proposte
una nuova formulazione per il FQRP-G come problema lineare intero e una sua modellizzazione su un grafo delle alternative (tipologia di grafo già nota in letteratura, che estende il concetto di grafo disgiuntivo). Dopo aver dimostrato la validità delle famiglie di disuguaglianze e dei lower bounds introdotti, sono analizzati i risultati computazionali riguardanti l'inclusione di tali famiglie e lower bounds nel modello; sono presentati risultati che riguardano sia la risoluzione del modello come problema lineare intero, sia il suo rilassamento continuo