Experience with the use of Acrobat in the CAJUN publishing project

Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety of supported hardware platforms (PC, Macintosh, Sun UNIX etc.). The fact that Acrobat's imageable objects are rendered with full use of Level 2 PostScript means that the most demanding requirements can be met in terms of high-quality typography and device-independent colour. These qualities will be very desirable components in future multimedia and hypermedia systems. The current capabilities of Acrobat and PDF are described; in particular the presence of hypertext links, bookmarks, and yellow sticker annotations (in release 1.0) together with article threads and multi-media plugins in version 2.0, This article also describes the CAJUN project (CD-ROM Acrobat Journals Using Networks) which has been investigating the automated placement of PDF hypertextual features from various front-end text processing systems. CAJUN has also been experimenting with the dissemination of PDF over e-mail, via World Wide Web and on CDROM.

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Il «Castellazzo» di Monte Iato in Sicilia occidentale (PA) Quinta e sesta campagna di scavo. Aggiornamenti dal territorio

From May 15th to 30th and 15th to 30th September 2015 took place the fifth and sixth excavation campaign at the Castellazzo of Monte Iato. The presence of 15 participants made it possible to deepen the research significantly and ex-pand the surface area of investigation. It is completely emptied a room already identified in previous campaigns and provided new information about the relationship with the existing cemetery. Part of a burial in a supine position was destroyed by the installation of wall 20. Traces of another turret projecting from the walls have been discovered in the east and another section of the inner walls (15) was fully exposed. A gate, between two towers, is the first entry traced so far, on the north-eastern side of the plateau. The archaeological materials found confirm the characteristics and type of construction. Being a military camp of ephemeral nature, although active at least 30 years, objects such as arrowheads and crossbow quarrels, knives, buckles and harnesses for horses have been found. One of the environments has been interpreted as an area where gaming took place because of the presence of four dice in ivory, glasses and different coins, in addition to the greater extent than the other environments found. Among the findings are reported a glass weight with a cufic inscription dated to the mid-twelfth century and two bronze coins dated in 15th centu-ry.

Studio della formazione di particelle ultrafini in una stazione di fondo della pianura padana e relazione con parametri meteorologici.

In questo elaborato sono state analizzate le distribuzioni dimensionali degli aerosol misurate nella stazione meteorologica di San Pietro Capofiume relative al periodo compreso tra marzo 2002 e ottobre 2013, focalizzando l’attenzione sugli eventi di nucleazione, la crescita delle nuove particelle e la correlazione del fenomeno con i parametri meteorologici del vento, della pioggia, della temperatura e con i dati relativi alla radiazione solare. Le osservazioni del particolato sono state effettuate con un sistema DMPS (Differential Mobility Particle Sizer), che rileva particelle di diametro compreso tra 3 e 660 nm. Si è notato che la formazione delle particelle di diametro compreso tra 3 e 10 nm e 10 e 20 nm dipende fortemente dalla radiazione solare: ad un massimo della radiazione, corrisponde mediamente un aumento della concentrazione delle particelle. Dal confronto delle temperature medie mensili (massime e minime) con la concentrazione delle particelle di diametro compreso tra 100 e 300 nm e 300 e 700 nm, si è visto che all’aumento delle temperature corrisponde una diminuzione della concentrazione delle particelle. Per quanto riguarda il confronto della concentrazione delle particelle con la direzione e la velocità del vento, non si è notata alcuna relazione. L’unico particolare che si è notato è che durante la primavera e l’estate si nota un aumento della concentrazione delle particelle con diametro compreso tra 3 e 10 nm associate a venti provenienti dai quadranti orientali. Poiché le precipitazioni rimuovono gli aerosol dall’atmosfera causando repentini cali nella loro concentrazione, per verificare che i risultati ottenuti non fossero alterati da questi eventi, abbiamo ripetuto tutte le analisi di correlazione con le variabili meteorologiche escludendo i giorni con precipitazione superiore o uguale ad 1 mm. Tuttavia i risultati sono rimasti invariati.

Progetto concettuale di un sedile in materiali compositi per veicoli solari

Il seguente elaborato è la conclusione dell'esperienza di tesi volta alla progettazione di componenti, nello specifico sedili e punti di ancoraggio per le cinture di sicurezza, per il cruiser Emilia 4, veicolo solare che gareggerà con le più importanti università mondiali nella 2017 World Solar Challenge in Australia. L'attività compiuta risulta essere il punto di arrivo dell'ottimizzazione strutturale degli elementi, attribuendo fondamentale importanza al peso delle strutture; l'obiettivo è stato raggiunto mediante l'adozione della fibra di carbonio, nel rispetto del regolamento della corsa e delle norme stradali australiane. Gran parte delle attività sono state svolte a Castel San Pietro nell'azienda Metal Tig, impresa specializzata nella lavorazione dei laminati in composito; qui si sono tenute riunioni settimanali per discutere dei progressi del progetto e delle modifiche da apportare. Il lavoro di tesi si conclude con la quarta revisione dei componenti affidatomi: essa probabilmente non sarà la versione definitiva, ma sicuramente sarà un punto di riferimento per i prossimi progettisti impegnati nell'impresa.

Caratterizzazione meccanica di lastre multistrato in materiale plastico con migliorata reazione al fuoco

Si caratterizza dal punto di vista del carico di rottura la lastra ondulata leggera multistrato in materiale plastico dell'azienda Edil Plast Srl. Si valuta la reazione al fuoco della grecata e si introducono i concetti fondamentali dell'incendio, della combustione e dei ritardanti di fiamma. Si presenta una panoramica delle normative vigenti in Italia e in Europa. Si cerca di inserire appositi antifiamma nella mescola della lastra grecata in modo da ottenere una migliorata reazione al fuoco.

Gestione automatica di namespace di rete privati in ambienti linux

Sempre più sono i servizi offerti oggigiorno sul cloud. L’isolamento dei vari utenti diviene una componente fondamentale se si vuole proteggere la privacy e la confidenzialità dei dati dei clienti. Mantenere una struttura che offre questo genere di servizi però è estremamente complesso ed oneroso. Si vuole mostrare come sia possibile evitare la creazione di centinaia di migliaia di macchine virtuali, quando potrebbe bastare creare una macchina virtuale per tipo di servizio offerto, e far accedere ogni cliente che necessita di quel servizio semplicemente isolandolo con linux namespace, in maniera automatica.

RSLT: trasformazione di Open LinkedData in testi in linguaggio naturaletramite template dichiarativi

La diffusione del Semantic Web e di dati semantici in formato RDF, ha creato la necessità di un meccanismo di trasformazione di tali informazioni, semplici da interpretare per una macchina, in un linguaggio naturale, di facile comprensione per l'uomo. Nella dissertazione si discuterà delle soluzioni trovate in letteratura e, nel dettaglio, di RSLT, una libreria JavaScript che cerca di risolvere questo problema, consentendo la creazione di applicazioni web in grado di eseguire queste trasformazioni tramite template dichiarativi. Verranno illustrati, inoltre, tutti i cambiamenti e tutte le modi�che introdotte nella versione 1.1 della libreria, la cui nuova funzionalit�à principale �è il supporto a SPARQL 1.0.

Il passaggio dalla Business Intelligence all'Advanced Analytics: individuazione e analisi di un modello in merito all'influenza del lobbying nel sistema economico

I Big Data stanno guidando una rivoluzione globale. In tutti i settori, pubblici o privati, e le industrie quali Vendita al dettaglio, Sanità, Media e Trasporti, i Big Data stanno influenzando la vita di miliardi di persone. L’impatto dei Big Data è sostanziale, ma così discreto da passare inosservato alla maggior parte delle persone. Le applicazioni di Business Intelligence e Advanced Analytics vogliono studiare e trarre informazioni dai Big Data. Si studia il passaggio dalla prima alla seconda, mettendo in evidenza aspetti simili e differenze.

Educational software in english to the awareness in a preschool education supervised context

Information and communication technologies play an increasingly important role in society, in the sense that all areas and professions make use of digital resources. The school can not be brushed off this reality, aim to create full subjects and integrated in society today. Educational software can be used very early in the education of children, but they must be carefully and monitoring. This article aims to present the results of the use of educational software in English to the awareness of context with children of pre-school education in kindergarten, nursery center Redemptorist Fathers - The smallest fox in White Castle, a 21 group children under 5 years. Early awareness of foreign language such as English can be started with digital multimedia capabilities and various software available on the market. However, the small study described the case reveals some resistance from parents and educators, in the preparation of these to choose and monitor the use of ICT by children, in addition to also highlight the self-interest of the children involved and their learning a few words in English language in different contexts of daily worked. The study opens perspectives on close monitoring needs of such uses and training of educators in the field of use of resources multilingual awareness in pre-school education.

Favorability conditions in the adoption of agile method practices for software development in a public banking

The main purpose of this paper is to propose and test a model to assess the degree of conditions favorability in the adoption of agile methods to develop software where traditional methods predominate. In order to achieve this aim, a survey was applied on software developers of a Brazilian public retail bank. Two different statistical techniques were used in order to assess the quantitative data from the closed questions in the survey. The first, exploratory factorial analysis validated the structure of perspectives related to the agile model of the proposed assessment. The second, frequency distribution analysis to categorize the answers. Qualitative data from the survey opened question were analyzed with the technique of qualitative thematic content analysis. As a result, the paper proposes a model to assess the degree of favorability conditions in the adoption of Agile practices within the context of the proposed study.

Effetti del chitosano nella flottazione e stabilizzazione di mosti vinificati in bianco

Il mondo della produzione enologica è fortemente interessato all'individuazione di possibili alternative all'anidride solforosa, antiossidante usato in enologia che presenta problematiche di carattere allergenico ed igenico-sanitario. Tuttavia, il problema del controllo dell'ossidazione dei vini privi di anidride solforosa è una sfida tecnologica di grande complessità poichè i meccanismi ossidativi dipendono da numerosi fattori, tra i quali, la disponibilità d'ossigeno, la presenza di molecole polifenoliche, di metalli (Fe e/o Cu) ed altri composti costituvi dei vini. In questo lavoro si è voluto valutare l'effetto della combinazione tra l'approccio iperossidativo dei mosti e l'uso di chitosano, un polisaccaride di origine fungina, sull'evoluzione dei composti fenolici e fissi e dei paramentri ossidatividi vini ottenuti in assenza di SO₂. A tal fine, uve cv Sangiovese sono state ammostate secondo la tecnica della vinificazione in bianco e sottoposte a flottazione con aria in presenza di 80 g/HL di chitosano. Una tesi testimone è stata approntata predisponendo una vinificazione convenzionale, anch'essa flottata, aggiunta di 60 mg/L di SO₂ in cantina. In base ai dati ottenuti il KT ha mostrato un significativo effetto sul colore sia a seguito della flottazione che durante la stabilizzione e conservazione, attraverso due probabili meccanismi principali: 1. azione chelante sui metalli, che permette di proteggere il mosto durante la conservazione 2. effetto adsorbente del chitosano in grado di sequestrare i composti colorati bruni allontanandoli dalla massa. La flottazione tramite ossigeno e KT, ha permesso di influenzare considerevolmente il contenuto degli acidi organici. Attraverso le analisi condotte dei risultati ottenuti il chitosano dimostra di essere un potenziale valido sostituto all'anidride solforosa in enologia.

Confronto tra caratteristiche tecnologiche di diversi ceppi di Lactobacillus sakei in differenti condizioni.

Lactobacillus sakei è una specie altamente specializzata nella colonizzazione di prodotti a base di carne. Possiede un genoma relativamente ridotto nel quale, ad esempio, mancano le informazioni per la sintesi di 18 aminoacidi su 20, per i quali risulta dunque auxotrofo. La carne è quindi un substrato ottimale poiché tali aminoacidi sono facilmente disponibili. Una delle caratteristiche più interessanti di Lb. sakei, ed il motivo per cui viene largamente impiegato come coltura starter nell’industria dei salumi, è la sua capacità di permanere attivo e dominante per lungo tempo, anche quando le fonti principali di zuccheri sono esaurite. Inoltre tale microorganismo non è in grado di produrre sostanze dannose, come ad esempio le ammine biogene, ma bensì produce sostanze con attività antimicrobica: le batteriocine (sakacina). Questo elaborato ha costituito il primo tassello di un lavoro più ampio di selezione di ceppi di Lb. sakei da destinare all’utilizzo come colture starter. Sono state valutate alcune caratteristiche tecnologiche di ceppi di Lb. sakei, isolati da prodotti ottenuti tramite fermentazioni spontanee, e le loro performance sono state confrontate con ceppi di collezione e con un ceppo utilizzato a livello commerciale. In particolare si sono studiate le cinetiche di fermentazione a temperature diverse, variabili da 5°C a 40°C, e a differenti concentrazione di NaCl, da 0 a 8%. Per quanto riguarda la temperatura, tutti i ceppi sono stati in grado di sviluppare tra 5°C e 35°C, ma nessuno è riuscito a 40°C. I risultati hanno evidenziato una notevole variabilità delle performance fermentative tra 15 e 20°C. Per quanto riguarda la presenza di sale, tutti i ceppi sono cresciuti a tutte le concentrazioni di NaCl, anche a quella più elevata (8%), seppur con cinetiche diverse. Questi diversi pattern fermentativi, associati con altre caratteristiche che verranno valutate in futuro, determineranno i criteri di scelta per nuovi starter.

Confronto della prestazione applicativa di assorbitori UV in film plastici sottili per uso agricolo

Con il presente progetto di tesi si è voluto mettere a confronto due assorbitori UV in film di polietilene per uso agricolo. I film sono stati prodotti con un estrusore multistrato e sono stati caratterizzati, in analisi elementare per la determinazione del contenuto totale di azoto e in cromatografia liquida per la determinazione specifica del contenuto dei due assorbitori UV. I film sono stati esposti in condizioni sperimentali diverse: esposizione in stufa a 60°C con ventilazione forzata, esposizione alla luce artificiale e conservazione a temperatura ambiente. Ad intervalli di tempo prestabiliti sui campioni sono state fatte le seguenti valutazioni: determinazione delle proprietà meccaniche, analisi spettrofotometriche (FT-IR e UV) e determinazione qualitativa della migrazione dell’additivo. Alla fine del periodo di tesi si è potuto concludere che i due UVA mostrano la stessa compatibilità con la matrice polimerica, ma presentano una diversa fotostabilità. L’UVA normalmente impiegato in questo settore infatti ha una fotostabilità leggermente superiore a quella del nuovo UVA testato.