Solving XCSP problems by using Gecode

Gecode is one of the most efficient libraries that can be used for constraint solving. However, using it requires dealing with C++ programming details. On the other hand several formats for representing constraint networks have been proposed. Among them, XCSP has been proposed as a format based on XML which allows us to represent constraints defined either extensionally or intensionally, permits global constraints and has been the standard format of the international competition of constraint satisfaction problems solvers. In this paper we present a plug-in for solving problems specified in XCSP by exploiting the Gecode solver. This is done by dynamically translating constraints into Gecode library calls, thus avoiding the need to interact with C++.Comment: 5 pages, http://ceur-ws.org/Vol-810 CILC 201

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LT

Indocyanine Green Angiography and Optical Coherence Tomography Angiography of Choroidal Neovascularization in Age-Related Macular Degeneration

To compare the capability of indocyanine green angiography (ICGA) and optical coherence tomography angiography (OCTA) in detecting choroidal neovascularization (CNV)

Campagna MEDITS 2009 Sub-area Geografica (GSA16) (GSA 16, Stretto di Sicilia): Rapporto Finale campagna Medits 2009

La campagna scientifica Medits, nell’ambito del Programma nazionale Italiano per la raccolta dei dati alieutici (Reg. CE n°199/2008 e n°665/2008), ha l’obiettivo generale di valutare la distribuzione, l’abbondanza e la composizione per taglia delle specie oggetto di pesca presenti nei mari Italiani. L’Istituto di ricerche per l’Ambiente Marino Costiero (IAMC), sede di Mazara del Vallo, del Consiglio nazionale delle Ricerche (CNR), effettua campagne di ricerca in mare nella GSA 16 (FAO, 2001) dello Stretto di Sicilia, tramite rete a strascico (trawl survey), sin dalla primavera del 1985, con l’obiettivo generale di studiare l’abbondanza ed i cicli vitali delle risorse demersali e di stimarne lo stato di sfruttamento. Sono di seguito riportate le informazioni relative alla campagna Medits 2009 (di seguito indicata come MedSp09) nei fondi ricadenti nella GSA 16 (Stretto di Sicilia) che comprendono buona parte dei fondali antistanti il litorale meridionale della Sicilia. La campagna si è svolta tra il 21 maggio ed il 16 giugno 2009 per un totale di 120 cale valide allocate nella GSA 16 (Stretto di Sicilia). Nel presente rapporto sono riportati i risultati sulle percentuali di presenza, sugli indici di abbondanza e sulle strutture di lunghezza degli stock demersali ottenuti nel corso della campagna MEDITS 2009 per le 39 specie bersaglio