Programmazione dinamica in un modello completo

Nella tesi si descrive un metodo di ottimizzazione per una strategia di copertura di un derivato replicabile in un modello di mercato completo nel caso in cui il valore iniziale della stessa fosse inferiore al valore iniziale del prezzo di arbitraggio del derivato considerato.

I manufatti egizi ed egittizzanti in Sicilia

Il progetto di ricerca si è posto l'obiettivo di analizzare una serie di manufatti egizî e di tradizione egizia della Sicilia preromana e di evidenziare le eventuali sopravvivenze della cultura egittizzante sull’isola fino all'età tardoantica. La realizzazione di un corpus, aggiornato sulla scorta di nuovi rinvenimenti, di recenti riletture e di studi su materiali inediti custoditi nei musei siciliani, ha contribuito a tracciare una mappa distributiva delle aree di rinvenimento e di attestazione, con particolare riferimento alle diverse etnie che recepiscono tali prodotti e alla possibilità di ricostruire l’ambientazione storica della domanda diretta o indiretta. Si è scelto di privilegiare lo studio tipologico, iconografico e iconologico di alcune “categorie” di materiali maggiormente documentati sull’isola, quali amuleti, scarabei e scaraboidi, cretule, ushabti, gioielli, bronzi figurati, gemme, con l’individuazione di riscontri in ambito mediterraneo. La documentazione delle testimonianze antiquarie contenenti notizie su reperti oggi non più reperibili ha permesso, infine, non solo l’acquisizione d’informazioni spesso ritenute perse, ma anche una comprensione storicizzata delle dinamiche del collezionismo siciliano e del suo ruolo nel più vasto ambito europeo dal XVII al XIX secolo. È stato importante, infatti, chiarire anche alcuni aspetti della cultura egittologica del periodo, legata in genere alla circolazione di stereotipi e alla mancanza di una conoscenza diretta della realtà faraonica.

Italian texts as networks: Topological measurements, Zipf and Heaps' laws

In questa tesi si è studiato un corpus di importanti testi della letteratura Italiana utilizzando la teoria dei network. Le misure topologiche tipiche dei network sono state calcolate sui testi letterari, poi sono state studiate le loro distribuzioni e i loro valori medi, per capire quali di esse possono distinguere un testo reale da sue modificazioni. Inoltre si è osservato come tutti i testi presentino due importanti leggi statistiche: la legge di Zipf e quella di Heaps.

Performance evaluation of improved output scheduling in 3lihon nodes

Le reti ottiche, grazie alla loro elevata capacità, hanno acquisito sempre maggiore importanza negli ultimi anni, sia per via del crescente volume di dati scambiati, legato soprattutto alla larga diffusione di Internet, sia per la necessità di comunicazioni in tempo reale. Dati i (relativamente) lunghi tempi di adattamento, questa tecnologia nativamente non è quella ottimale per il trasporto di un traffico a burst, tipico delle telecomunicazioni odierne. Le reti ibride cercano, quindi, di coniugare al meglio le potenzialità della commutazione ottica di circuito e della commutazione ottica a pacchetto. In questo lavoro, in particolare, ci si è concentrati su un'architettura di rete ibrida denominata 3LIHON (3-Level Integrated Hybrid Optical Network). Essa prevede tre distinti livelli di qualità di servizio (QoS) per soddisfare differenti necessità: - Guaranteed Service Type (GST): simile ad un servizio a commutazione di circuito, non ammette perdita di dati. - Statistically Multiplexed Real Time (SM/RT): simile ad un servizio a commutazione di pacchetto, garantisce ritardo nullo o molto basso all'interno della rete, permette un piccolo tasso di perdita di dati e ammette la contesa della banda. - Statistically Multiplexed Best Effort (SM/BE): simile ad un servizio a commutazione di pacchetto, non garantisce alcun ritardo tra i nodi ed ammette un basso tasso di perdita dei dati. In un nodo 3LIHON, il traffico SM/BE impossibile da servire, a causa ad es. dell'interruzione da parte di pacchetti aventi un livello di QoS più prioritario, viene irrimediabilmente perso. Questo implica anche lo spreco del tempo e delle risorse impiegati per trasmettere un pacchetto SM/BE fino alla sua interruzione. Nel presente lavoro si è cercato di limitare, per quanto possibile, questo comportamento sconveniente, adottando e comparando tre strategie, che hanno portato alla modifica del nodo 3LIHON standard ed alla nascita di tre sue varianti.

Analisi clinica ed ex-vivo dei punti isometrici durante tecnica tightrope nella ricostruzione del legamento crociato craniale del cane

La rottura del Legamento Crociato Craniale (LCCr) rappresenta una delle patologie ortopediche di maggiore riscontro clinico nella specie canina. In seguito a rottura del LCCr si presenta un continuo slittamento craniale della tibia il quale esita in un processo osteoartrosico. La risoluzione chirurgica rappresenta la migliore soluzione terapeutica. Le tecniche chirurgiche extra-articolari con sfruttamento dei punti isometrici del ginocchio si presentano come delle procedure molto diffuse e utilizzate. Questa tesi propone di validare l’uso di un nuovo sistema di navigazione computerizzato-assistito per la valutazione cinematica durante la ricostruzione del LCCr nel cane, ma soprattutto di studiare e confrontare il comportamento e l’efficacia dopo ricostruzione TightRope (TR) in due diverse coppie di punti isometrici. Abbiamo effettuato due analisi in parallelo. La prima eseguendo interventi chirurgici con tecnica TR su 18 casi clinici e sfruttando il punto isometrico del femore (F2) e due diversi punti isometrici della tibia (T2 o T3). L’analisi prevedeva dei controlli postoperatori a 1, 3 e 6 mesi. Ad ogni controllo veniva effettuata una visita ortopedica, esami radiografici, un questionario di valutazione clinico e di soddisfazione del proprietario. Mentre nella ricerca Ex-Vivo abbiamo eseguito dei test su 14 preparati anatomici con l’utilizzo di un sistema di navigazione computerizzato per la rilevazione dei dati. L’analisi prevedeva la valutazione dell’articolazione in diversi stadi: LCCr intatto; LCCr rotto; dopo ricostruzione con TR in F2-T2 e tensionato a 22N, 44N e 99N; dopo ricostruzione con TR in F2-T3 e tensionato a 22N, 44N e 99N. Ad ogni stadio si eseguivano cinque test di valutazione, tra cui: Test del Cassetto, Test di compressione tibiale (TCT), Rotazione Interna/Esterna, Flesso/Estensione e Varo/Valgo. Lo scopo di tale studio è quello di confrontare tra loro i punti isometrici del ginocchio e di analizzare l’efficacia della tecnica TR nelle due differenti condizioni di isometria (F2-T2 e F2-T3).

Monismo e dualismo nei rapporti tra Cedu e ordinamento costituzionale interno. Fonti e processi interpretativi

La tesi analizza i rapporti tra l’ordinamento italiano e la Cedu, in particolare la collocazione della Cedu all’interno del sistema delle fonti alla luce della modifica dell’art. 117, comma 1 Cost. Si tratta di un tema molto dibattuto in dottrina, specialmente a seguito dell’entrata in vigore del Trattato di Lisbona. Questa tematica risulta strettamente connessa al profilo dell’interazione tra la Corte di Strasburgo e la Corte costituzionale e i giudici ordinari. L’analisi del profilo statico concernente lo status della Cedu nel sistema italiano deve quindi essere accompagnata dall’esame del profilo dinamico, relativo al ruolo della giurisprudenza della Corte di Strasburgo nell’esperienza dell’ordinamento nazionale. Entrambi i profili di indagine sono esaminati alla luce delle indicazioni provenienti dalla giurisprudenza della Corte costituzionale, della Corte di Cassazione e della Corte di Strasburgo. Prima di essere esaminate singolarmente, queste tematiche richiedono la preliminare ricognizione dei termini della dicotomia tra i due modelli concettuali di riferimento in tema di rapporti interordinamentali: il monismo e il dualismo. Trasferite nel peculiare contesto del sistema Cedu, tali categorie dogmatiche si arricchiscono di ulteriori profili, che esorbitano dalla sistemazione del rapporto tra fonti. La tenuta dei due paradigmi concettuali, che sono nati ed operano nel contesto della teorica delle fonti, deve essere verificata anche rispetto all’attuale fenomeno della produzione europea di diritto giurisprudenziale ed alla capacità paradigmatica assunta dalla giurisprudenza di Strasburgo. Il diritto e le istituzioni giuridiche tendono ad assumere sempre più sembianze giurisdizionali, generando un’osmosi che porta a trasferire il focus dai rapporti interordinamentali ai rapporti tra giurisprudenze.

Tra pacifismo e ambientalismo: il Nuclear Freeze Movement e la risposta dell'amministrazione Reagan

Negli anni Ottanta si assiste tanto nel vecchio quanto nel nuovo continente alla rinascita del movimento antinucleare. Mentre in Europa l’origine di questa ondata di proteste antinucleari è collegata alla “doppia decisione” NATO del 1979, negli Stati Uniti la genesi si colloca nel contesto dalla mobilitazione dei gruppi ambientalisti in seguito all’incidente alla centrale nucleare di Three Mile Island. Dopo l’elezione di Ronald Reagan, alle proteste contro le applicazioni pacifiche dell’atomo si affiancarono quelle contro la politica nucleare del Paese. La retorica di Reagan, il massiccio piano di riarmo, unitamente al rinnovato deteriorarsi delle relazioni tra USA e URSS contribuirono a diffondere nell’opinione pubblica la sensazione che l’amministrazione Reagan, almeno da un punto di vista teorico, non avesse escluso dalle sue opzioni il ricorso alle armi nucleari nel caso di un confronto con l’URSS. I timori legati a questa percezione produssero una nuova ondata di proteste che assunsero dimensioni di massa grazie alla mobilitazione provocata dalla Nuclear Weapons Freeze Campaign (NWFC). Il target della NWFC era l’ampio programma di riarmo nucleare sostenuto da Reagan, che secondo gli attivisti nucleari, in un quadro di crescenti tensioni internazionali, avrebbe fatto aumentare le possibilità di uno scontro atomico. Per evitare lo scenario dell’olocausto nucleare, la NWFC proponeva «un congelamento bilaterale e verificabile del collaudo, dell’installazione e della produzione di armi nucleari». L’idea del nuclear freeze, che era concepito come un passo per fermare la spirale del riarmo e tentare successivamente di negoziare riduzioni negli arsenali delle due superpotenze, riscosse un tale consenso nell’opinione pubblica americana da indurre l’amministrazione Reagan a formulare una risposta specifica. Durante la primavera del 1982 fu, infatti, creato un gruppo interdipartimentale ad hoc, l’Arms Control Information Policy Group, con il compito di arginare l’influenza della NWFC sull’opinione pubblica americana e formulare una risposta coerente alle critiche del movimento antinucleare.

Investigation of dangling bonds in al2o3 passivated si surface using electron paramagnetic resonance (epr)

Nel presente lavoro di tesi magistrale sono stati depositati e caratterizzati sottili film di ossido di alluminio, Al2O3, (di spessore compreso tra 3-30 nm) su un substrato di FZ-Si drogato p. La deposizione è avvenuta mediante plasma ALD (Atomic Layer Depostion). La tecnica spettroscopica EPR (Electron Paramagnetic Resonance) è stata utilizzata per studiare l’interfaccia Si/Al2O3 con lo scopo di scoprire l’origine della formazione di densità di carica negativa Qf all’interfaccia: tale carica negativa induce una passivazione per effetto di campo ed è quindi la ragione per cui il dielettrico Al2O3 risulta essere un ottimo materiale passivante. Si è deciso di variare alcuni parametri, come lo spessore dello strato di Al2O3, lo spessore dello strato intermedio di ossido di silicio, depositato mediante ossidazione termica (dry thermal oxidation), e la superficie del substrato di silicio. Sono stati realizzati cinque differenti gruppi di campioni: per ciascuno di essi sono state impiegate varie tecniche di caratterizzazione, come la QSSPC (Quasi Steady State Photoconuctance) e la tecnica di spettroscopia ottica SE (spettroscopic ellipsometry). Per ogni gruppo sono stati riportati gli spettri EPR ottenuti ed i rispettivi fit, da cui è stato possibile risalire ai fattori giromagnetici di spin g, riportati in tabelle con le loro possibili attribuzioni. E’ stato dimostrato che la presenza di uno strato di ossido di silicio tra il substrato di silicio e lo strato di ossido di alluminio risulta essere fondamentale per la formazione di densità di carica negativa all’interfaccia: aumentando lo spessore dello strato di SiOx (nel range 1-30 nm) si assiste ad una diminuzione di carica negativa Qf. Analizzando gli spettri EPR, è stato possibile concludere che all’interfaccia Si/Al2O3 sono presenti difetti caratteristici dell’interfaccia Si/SiOx. Le nostre osservazioni, dunque, sono coerenti con la formazione di uno strato di ossido di silicio tra Si e Al2O3.

Geotermia a bassa entalpia: Validazione dei software applicativi.

Trovare una fonte alternativa ai combustibili fossili non costituisce più una scelta, ma un obbligo. Lo sfruttamento dell’energia geotermica sta diventando una realtà sempre più diffusa, in quanto una forma di energia rinnovabile, pulita, economicamente conveniente, e con una giusta politica energetica potrebbe dare il suo importante contributo all’energia ottenuta da fonte rinnovabile. Ci sono però dei fattori da non sottovalutare, l’installazione e il funzionamento di impianti geotermici per il riscaldamento o raffrescamento di edifici può produrre alterazioni sull’ambiente circostante e nella falda acquifera. Attraverso un attento studio vengono presi in considerazione tutti i fattori che potrebbero provocare un cambiamento dell’equilibrio preesistente, e vengono individuate le soluzioni che permettono la fattibilità del progetto rispettando i parametri imposti dalla legge. Nell’istallazione di sistemi geotermici a bassa entalpia, il principale elemento da tenere sotto osservazione riguarda la previsione e il controllo delle temperature, in modo tale da impedire lo sviluppo di anomalie termiche. Il sistema preso in considerazione in questa tesi è un sistema geotermico open loop: attraverso un pozzo di adduzione viene prelevata acqua direttamente dalla falda acquifera, per il riscaldamento o il raffrescamento di un edificio, e reimmessa, ad una temperatura diversa, attraverso un pozzo di reimmissione. Si valuta l’impatto del sistema nel sottosuolo e le temperature raggiunte a seguito della messa in opera dell’impianto. In particolare, è proposto un modello numerico MODFLOW di un sistema open loop in un acquifero di sabbia e ghiaia, al fine di determinare l’influenza della reimmissione dal punto di vista idrico e termico. I dati risultanti da questo modello saranno confrontati con quelli ottenuti utilizzando un potente software, COMSOL MULTIPHYSICS. Infine si effettua l’analisi e il confronto dei dati ottenuti dai due software nelle diverse configurazioni del sistema e se ne individua la più adatta alle caratteristiche del sito in esame.

Eye-trauma: Event driven control software for gesture recognition in medical simulation

Il progetto Eye-Trauma si colloca all'interno dello sviluppo di un simulatore chirurgico per traumi alla zona oculare, sviluppato in collaborazione con Simulation Group in Boston, Harvard Medical School e Massachusetts General Hospital. Il simulatore presenta un busto in silicone fornito di moduli intercambiabili della zona oculare, per simulare diversi tipi di trauma. L'utilizzatore è chiamato ad eseguire la procedura medica di saturazione tramite degli strumenti chirurgici su cui sono installati dei sensori di forza e di apertura. I dati collezionati vengono utilizzati all'interno del software per il riconoscimento dei gesti e il controllo real-time della performance. L'algoritmo di gesture recognition, da me sviluppato, si basa sul concetto di macchine a stati; la transizione tra gli stati avviene in base agli eventi rilevati dal simulatore.

Mirandola: tra storia e luogo. Identita e spazio pubblico

Fino alla fine del XIX secolo erano le mura a conferire una forma chiara e precisa alla città. Dopo il loro abbattimento c'è oggi un elemento urbano capace di porsi come limite formale della città? In fase di tesi abbiamo deciso di dare una soluzione al problema della frammentazione del limite dal punto di vista opposto, agendo sul centro storico in relazione alla prima espansione urbana. Abbiamo operato un'attenta analisi delle dinamiche della città prima e dopo il terremoto, cercando di comprendere le specificità di questo territorio. Da una ulteriore e più approfondita lettura del centro storico, emerge subito l'assenza di un tessuto urbano ben leggibile in corrispondenza dell'area del Castello e del Comune, dove una grande "macchia" di spazi aperti, prevalentemente adibiti a parcheggio prevalgono sul costruito: l'area che ha dato vita e un senso durante i secoli a questa città ha perso la sua identità. Identità, misura, connessione sono gli obiettivi che ci prefissiamo di raggiungere nella ridefinizione di questi luoghi ed insieme le parole chiave del nostro approccio al nostro progetto. Il nostro intervento prevede la definizione di un polo culturale che possa valorizzare le caratteristiche storiche e morfologiche dell'area conferendo intelligibilità agli elementi che hanno sempre caratterizzato lo splendore della città. Il "verde" diviene elemento di connessione tra le due aree di progetto. Le funzioni che abbiamo scelto nella definizione del polo culturale sono quelle di museo, cinema, e mercato: la scelta è stata quella di progettare edifici pubblici, con lo scopo di riportare i luoghi di intrattenimento e della cultura all'interno del centro storico.

Valutazione sperimentale del campo aerodinamico prodotto da rasaerba industriali: un'indagine parametrica

L’azienda GGP, leader europeo nella produzione di rasaerba e prodotti per il giardinaggio, ha avviato, in collaborazione con il Laboratorio di aerodinamica sperimentale della Facoltà di ingegneria dell’Università di Bologna, uno studio atto alla valutazione delle prestazioni dei rasaerba commercializzati, al fine di comprendere quali siano le vie percorribili per ottenere un miglioramento delle prestazioni associate. Attualmente il metodo utilizzato per compiere tali valutazioni consiste nel far percorrere al rasaerba un percorso di lunghezza prestabilita e valutare il peso dell’erba raccolta nel sacco. Tale approccio presenta delle forti limitazioni in quanto le prove non sono per loro natura ripetibili. Si pensi ad esempio alla non uniformità del terreno e all’altezza dell’erba. È pertanto necessario un approccio in grado di definire con maggior precisione e ripetibilità le prestazioni dei macchinari rasaerba. Tra le diverse prestazioni c’è la capacità della macchina di trattare una portata di aria più elevata possibile garantendo un’elevata aspirazione dell’erba tagliata. Da questo punto vista la geometria della lama riveste un’importanza particolare. Per valutare le prestazioni della singola lama, è stato realizzato un “test-rig lame”, uno strumento con cui è possibile trattare il flusso per renderlo misurabile e valutare la portata d’aria attraverso semplici misure di pressione. Una volta costruito il “test-rig”, sono stati individuati i parametri geometrici delle lame che influenzano la portata, quali apertura, corda e calettamento del flap della lama. Lo studio svolto si limita a valutare gli effetti causati dalla sola geometria della lama prescindendo dalla forma della voluta, in quanto la sua interazione con la lama risulta di grande complessità. Si è quindi avviata una campagna di test sperimentali effettuati su lame caratterizzate da diversi valori dei parametri, che l’azienda stessa ha prodotto e fornito al laboratorio, al fine di trovare relazioni funzionali tra la portata elaborata e la geometria delle lame.

Modularità: Dai sistemi biologici ai sistemi artificiali

I sistemi di intelligenza artificiale vengono spesso messi a confronto con gli aspetti biologici riguardanti il cervello umano. L’interesse per la modularità è in continua crescita, che sta portando a risultati davvero interessanti attraverso l’utilizzo di sistemi artificiali intelligenti, come le reti neuronali. Molte reti, sia biologiche sia artificiali sono organizzate in moduli, i quali rappresentano cluster densi di parti interconnesse fra loro all’interno di una rete complessa. Nel campo dell’ingegneria, si usano design modulari per spiegare come una macchina è costituita da parti separate. Lo studio della struttura e delle funzioni di organismi/processi complessi si basa implicitamente su un principio di organizzazione modulare, vale a dire si dà per acquisito il fatto che siano modulari, cioè composti da parti con forma e/o funzioni diverse. Questo elaborato si propone di esporre gli aspetti fondamentali riguardanti la modularità di reti neuronali, le sue origini evolutive, le condizioni necessarie o sufficienti che favoriscono l’emergere dei moduli e relativi vantaggi. Il primo capitolo fornisce alcune conoscenze di base che permettono di leggere gli esperimenti delle parti successive con consapevolezza teorica più profonda. Si descrivono reti neuronali artificiali come sistemi intelligenti ispirati alla struttura di reti neurali biologiche, soffermandosi in particolare sulla rete feed-forward, sull’algoritmo di backpropagation e su modelli di reti neurali modulari. Il secondo capitolo offre una visione delle origini evolutive della modularità e dei meccanismi evolutivi riguardanti sistemi biologici, una classificazione dei vati tipi di modularità, esplorando il concetto di modularità nell’ambito della psicologia cognitiva. Si analizzano i campi disciplinari a cui questa ricerca di modularità può portare vantaggi. Dal terzo capitolo che inizia a costituire il corpo centrale dell’elaborato, si dà importanza alla modularità nei sistemi computazionali, illustrando alcuni casi di studio e relativi metodi presenti in letteratura e fornendo anche una misura quantitativa della modularità. Si esaminano le varie possibilità di evoluzione della modularità: spontanea, da specializzazione, duplicazione, task-dependent, ecc. passando a emulare l’evoluzione di sistemi neurali modulari con applicazione al noto modello “What-Where” e a vari modelli con caratteristiche diverse. Si elencano i vantaggi che la modularità produce, soffermandosi sull’algoritmo di apprendimento, sugli ambienti che favoriscono l’evoluzione della modularità con una serie di confronti fra i vari tipi, statici e dinamici. In ultimo, come il vantaggio di avere connessioni corte possa portare a sviluppare modularità. L’obiettivo comune è l’emergere della modularità in sistemi neuronali artificiali, che sono usati per applicazioni in numerosi ambiti tecnologici.

Patogenesi molecolare delle osteomieliti associate all'impianto

L’osteomielite associata all’impianto è un processo infettivo a carico del tessuto osseo spesso accompagnato dalla distruzione dell’osso stesso. La patogenesi delle osteomieliti associate all’impianto si basa su due concetti fondamentali: l’internalizzazione del patogeno all’interno degli osteoblasti e la capacità dei batteri di formare il biofilm. Entrambi i meccanismi consentono infatti di prevenire l’eliminazione del batterio da parte delle difese immunitarie dell’ospite e di ostacolare l’azione della maggior parte degli antibiotici (che non penetrano e non agiscono pertanto su microrganismi intracellulari), cos�� sostenendo ed alimentando l’infezione. Il saggio di invasione messo a punto su micropiastra ha consentito di investigare in modo approfondito e dettagliato il ruolo ed il peso dell’internalizzazione nella patogenesi delle infezioni ortopediche peri-protesiche causate da S. aureus, S. epidermidis, S. lugdunensis ed E. faecalis. Lo studio ha evidenziato che l’invasione delle cellule MG-63 non rappresenta un meccanismo patogenetico delle infezioni ortopediche associate all’impianto causate da S. epidermidis, S. lugdunensis ed E. faecalis; al contrario, in S. aureus la spiccata capacità invasiva rappresenta un’abile strategia patogenetica che consente al patogeno di sfuggire alla terapia sistemica e alla risposta immunitaria dell’ospite. È stato studiato inoltre il ruolo dell’immunità innata nella difesa contro il biofilm batterico. In seguito all’incubazione del biofilm opsonizzato di S. epidermidis con i PMN è stato possibile osservare la formazione delle NETs. Le NETs rappresentano ottime armi nella difesa contro il biofilm batterico, infatti le trappole sono in grado di limitare la diffusione batterica e quindi di confinare l’infezione. La comprensione del ruolo dell’internalizzazione nella patogenesi delle osteomieliti associate all’impianto e lo studio della risposta immunitaria innata a questo tipo di infezioni, spesso caratterizzate dalla presenza di biofilm, sono presupposti per identificare e affinare le migliori strategie terapeutiche necessarie ad eradicare l'infezione.

Hydrogeochemical monitoring and modelling of saltwater intrusion in lowlands (Ferrara, IT)

Because of the potentially irreversible impact of groundwater quality deterioration in the Ferrara coastal aquifer, answers concerning the assessment of the extent of the salinization problem, the understanding of the mechanisms governing salinization processes, and the sustainability of the current water resources management are urgent. In this light, the present thesis aims to achieve the following objectives: Characterization of the lowland coastal aquifer of Ferrara: hydrology, hydrochemistry and evolution of the system The importance of data acquisition techniques in saltwater intrusion monitoring Predicting salinization trends in the lowland coastal aquifer Ammonium occurrence in a salinized lowland coastal aquifer Trace elements mobility in a saline coastal aquifer