Spatial pattern and habitat requirements of Galaxias maculatus in the last un-interrupted large river of Patagonia: a baseline for management

The relationship between the native Galaxias maculatus and environmental variables was studied in 52 sites located along 306 km of the main stemof the Santa Cruz River, the second largest river in Argentinean Patagonia. The abundance varied along the river, with three general sections clearly defined: upstream with minimum abundance increasing towards midstream and downstream areas. Distance to the sea and river wet width which were negatively significantly associated with abundance,and maximum depth explained the abundance in a polynomial shape - achieving a total explanation of 41.1%. The best predictive model also combined the river sinuosity. Our results suggested that the construction of two proposed hydroelectric dams will modify these variables, which might generate changes in G. maculatus distribution. The information obtainedduring the present study represents valuable information for conservation management of this species.Fil: Tagliaferro, Marina Beatriz. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; ArgentinaFil: Quiroga, Analía. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; ArgentinaFil: Pascual, Miguel Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; Argentin

Two in-house classification schemes for works on Malta and the Maltese and for works on Arabic & Maltese language & literature respectively housed in the Melitensia Special Collections Dept., the University of Malta Library

4th ed. rev, updated and indexed by Mark Camilleri (2017). Rev. & enlarged by Kenneth Caruana, Matthew Cuschieri & Mary Samut-Tagliaferro (2019). With an introduction outlining the history of the schedules and the policy regulating their updates by Mary Samut-Tagliaferro (2019).This latest revised and enlarged edition of the Melitensia classification scheme for works on Malta and the Maltese includes not only the addition of new classmarks that have been added to the schedule in the intervening two years since the 4th rev. ed. was uploaded on the University of Malta’s (UM) Institutional Repository OAR@UM but, it also includes for the classifier’s convenience, the ‘Arabic and Maltese Language and Literature Schedule’. This document therefore includes the two inhouse classification schemes, (affectionately referred to as the “MZs” and the “PJs”), in operation for Melitensia works housed in the Melitensia Special Collections Department. Because these schedules are quintessentially products of the UM Library and are among the oldest inhouse classification schedules for Melitensia works that I know of, I have in the following pages also taken the liberty to add a small note on their history, which I hope may be of interest to the reader. This edition also differs from its predecessor in that it includes for the first time a written policy that spells out the steps which need to be followed when updating the schedules. This serves not only to formalise the procedure but also ensures its dissemination to other classifiers within the UM Library who may also be affected by these additions.N/

Contabilidade ambiental em emergia do processamento de rocha calcária para uso agrícola.

Resumo: O presente estudo propõe uma contabilidade ambiental do processamento de calcário de rocha para uso agrícola, com aplicação da metodologia da síntese em emergia de um empreendimento atuante no referido setor, localizado no município de Arcos - MG. Na produção agrícola, o calcário é utilizado com a finalidade de corrigir o pH do solo e fornecer suplemento de cálcio e magnésio para as plantas. Os estudos de contabilidade ambiental via método da síntese em emergia de empreendimentos agrícolas têm utilizado apenas a transformidade da rocha calcária, sem consideração para etapas de processamento. Neste sentido, o presente estudo visa calcular a transformidade do Calcário Agrícola, que é a rocha calcária processada. A metodologia apresenta resultados sintéticos e de fácil entendimento que auxiliam na busca do desenvolvimento sustentável. As análises indicam que a emergia total do sistema é de 8,70E+21 sej/ano, resultando em uma transformidade de 2,81E+6 sej/J como co-produto e de 4,30E+6 sej/J como ?Split?. Em relação à transformidade da rocha calcária calculada por Odum (1996; 2000) o Calcário Agrícola representa um aumento de 2% no co-produto e 55% no ?Split?

High-level specification of multi-agent interaction patterns

LAUREA MAGISTRALEGli agenti robotici intelligenti, in applicazioni come: lo IoT, la robotica assistiva e la manifattura intelligente, svolgono un ruolo cruciale. Essi monitorano l’ambiente circostante tramite sensori, prendono decisioni e compiono azioni, influenzando l’ambiente in cui si trovano. In questi scenari, specificare i compiti per un sistema multi-agente (inclusi agenti umani), con gli agenti che interagiscono tra loro e con l’ambiente, rappresenta una sfida per l’ingegneria del software. Solitamente, queste specifiche sono definite dall’utente mediante un insieme predefinito di patterns (i.e., sequenze di azioni), che combinati creano missioni più articolate. Questa tesi introduce un linguaggio DSL, chiamato LIrAs, Language for Interactive Agents. LIrAs funge da DSL generico che consente agli utenti non esperti di creare patterns personalizzati e di utilizzarli per specificare missioni. Le capacità di alto livello di LIrAs agevolano la definizione inequivocabile di patterns, dove gli utenti possono sfruttare un insieme di blocchi base, e combinarli tramite sincronizzazioni e condizionamento delle azioni. La semantica di questo DSL è implementata in Xtext e mappata con SHA in Uppaal, rendendo le specifiche idonee alla verifica formale. Sebbene il DSL in questa tesi sia principalmente esemplificato attraverso esempi nel campo della robotica, la sua flessibilità consente di essere utilizzato in una vasta gamma di applicazioni, grazie alla sua natura agnostica.In software-intensive applications such as IoT, assistive robotics, and smart manufacturing, smart cyber agents play a crucial role by monitoring the physical environment through sensors and making impactful decisions acting on the environment. Within these domains, specifying tasks for a system, involving multi-agents interacting with the environment and other agents (including humans, a safety-critical situation), presents a significant challenge. Typically, these specifications are defined using a pre-defined set of patterns combined by the end user, but this is not sufficient to cover all the real word applications. This thesis addresses this challenge by introducing a Domain-Specific Language (DSL) named LIrAs, which stands for Language for Interactive Agents. LIrAs serves as a general-purpose DSL that enables non-expert users to create customized patterns and use them in specifying missions (i.e., combinations of patterns). The high-level capabilities of LIrAs facilitate the unambiguous definition of patterns. Users can leverage a set of basic building blocks and compose them with synchronization stages and action conditioning. The semantics of this DSL are implemented in Xtext and mapped to Stochastic Hybrid Automata (SHA) in Uppaal, making specifications amenable to formal verification. While in this thesis the DSL is exemplified mainly through examples in the service robotics field, its flexibility allows it to be applied in a broad range of applications, thanks to its domain-agnostic nature

On the development of a general undifferenced uncombined adjustment for GNSS observations

DOTTORATOLa tesi presenta una generica strategia di processamento di dati provenienti da Global Navigation Satellite System (GNSS)e la sua implementazione in un software. Tale strategia è stata sviluppata durante un programma di dottorato condotto presso l’azienda Geomatics Research & Development (GReD) s.r.l, società spin-off della scuola di geodesia del Politecnico di Milano. La strategia di processamento è stata sviluppata per lo scopo delle applicazioni GNSS condotte in GReD, monitoraggio geodetico dello spostamento di punti e stima dei parametri troposferici. Tuttavia ha una impostazione generale che le consente di essere utile per la maggior parte dei casi di processamento di dati GNSS. La strategia è stata sviluppata tenendo in mente la sua flessibilità, perciò è in grado di elaborare tutti i segnali GNSS disponibili con una parametrizzazione il più generale possibile. La strategia è stata implementata nell'ambito del progetto goGPS, un software open source di elaborazione di dati GNSS programmato in MATLAB , con un'importante evoluzione in termini di software proprietario di GReD. La strategia si basa su decenni di ricerca nel campo. Oltre a specifici aspetti implementativi , sono comunque presenti parti originali. La prima è più teorica e consiste in una soluzione generale al problema dei minimi quadrati interi deficienti di rango. Nel documento viene presentata una strategia generale per derivare vincoli che generano stime di interi per qualsiasi problema di minimi quadrati deficienti di rango aventi parametri reali ed interi. La strategia presentata si basa sulla forma normale di Hermite e ne viene discusso il suo uso per la derivazione di un lattice che copra lo spazio nullo intero e per la ricerca di un insieme appropriato di vincoli. Vengono presentati casi specifici di stima, i casi presentati coprono la maggior parte dei problemi di carenza di rango intero che possono essere trovati nei problemi di stima GNSS. La seconda parte innovativa è più applicata e consiste nell'uso di metodi numerici per risolvere carenze di rango nei sistemi di equazione di osservazione GNSS. Diversi algoritmi numerici di rivelazione del rango vengono applicati ai casi di stima GNSS. Vengono presentati sia i casi di deficienze di rango per i parametri di valore reale che di deficienze di rango per i parametri di valore intero. Le loro prestazioni sono validate rispetto al software GNSS allo stato dell’arte o a prodotti ufficiali del International GNSS Service (IGS). Negli esempi sono presentate compensazioni di osservazioni multi GNSS provenienti da reti sia locali che globali. Gli stessi dati provengono sia da ricevitori geodetici che low-cost, mostrando la flessibilità del software in termini di qualità dei dati di input. Il documento è organizzato come segue, dopo una sezione sulla notazione utilizzata vengono presentati i fondamenti matematici necessari. Essi coprono la teoria della stima dei minimi quadrati, la loro presentazione è divisa in due capitoli. Il primo descrive la teoria e i problemi associati , il secondo riguarda i metodi per risolvere tali problemi. Entrambi i capitoli descrivono i casi di parametri reali e interi sia per i sistemi con rango pieno sia con deficienza di rango. La teoria dei minimi quadrati presentata in precedenza viene quindi applicata a specifici casi di stima. Per ogni problema vengono evidenziati i comportamenti specifici del sistema. Particolare attenzione viene data ai casi tipici di deficienza di rango fra parametri reali e interi e alla derivazione di vincoli che portano a stime di interi. Infine un capitolo è dedicato alla specifica implementazione software e alla presentazione di due casi studio.The thesis describes the development of a general processing strategy for Global Navigation Satellite System (GNSS) observations and the corresponding software implementation. The strategy was developed during a doctorate program conducted at Geomatics Research & Development (GReD) s.r.l, a company spin-off of the geodetic school of Politecnico di Milano. The processing strategy has been developed for the purpose of GReD applications, geodetic monitoring of displacement and estimate of tropospheric parameters, but has a general setup in basis to serve most purposes of the use of GNSS networks of receivers. The whole strategy has been developed with a focus on flexibility, meaning that should be able to process all available GNSS signals with a general as possible parametrization. The strategy has been implemented in the framework of the goGPS project, an open-source MATLAB based GNSS processing software, with an important evolution in term of proprietary software of GReD. The strategy builds upon decades of research in the field referenced in the bibliography. Besides specific implementation aspects, original parts are however presents. The first one is more theoretical and consists of a general way to solve integer least squares rank deficient problems. In the document, a general strategy is presented to derive constraints that generate integer estimates for any rank deficient mixed real and integer least squares problem. The presented strategy is based on the Hermite Normal Form, it’s usage for the derivation of a lattice basis for the integer null space and for the finding of a suitable set of constraints is discussed. Specific cases for GNSS estimation are presented, such cases cover most integer rank deficient problem that can be found in GNSS estimation problems. The second original part is more applied and consists on the use of numerical methods to solve rank deficiencies in systems of GNSS observation equation. Popular numerical rank revealing algorithm are applied to GNSS estimation cases. The case of both rank deficiencies for real value parameters and rank deficiencies for integer value parameters are presented. Their performance are validated against a state of the art GNSS software or official International GNSS Service (IGS) products. The presented examples contain adjustments of multi GNSS observations coming from both local and global networks. In such validation, data coming from both geodetic grade and low-cost receivers are presented, showing the flexibility of the software in terms of input data quality. The document is organized as follows: after a few words on the notation used the necessary mathematical foundations are presented. They concern with the least squares estimation theory and the presentation is split into two chapters. The first one describes the theory and the corresponding problems the second regards the methods to solve such problems. Both chapters describe the cases of real and integer parameters for both full rank and rank deficient systems. The Least squares theory previously presented is then applied to specific meaningful estimation cases For each problems specific behavior of the system is highlighted. Particular attention is given to typical cases of mixed-integer real rank deficiencies and to the derivation of constraints leading to integer estimates. Finally, a chapter is dedicated to the specific software implementation and to the presentation of two cases studies.DIPARTIMENTO DI INGEGNERIA CIVILE E AMBIENTALEEnvironmental and Hydraulic Engineering and Geomatics33VENUTI, GIOVANNABARZAGHI, RICCARD