Compendium logica in quatuor partes, 1701

Small hardcover notebook containing a manuscript copy of William Brattle's abstract of René Descartes' "Compendium Logicae" copied in Latin by Harvard student Joseph Metcalf between April 29th and May 7th, 1701. The text includes an ornately decorated title page and drawings and notes on the flyleaves. The covers are unattached. The inside front cover is inscribed: "Joseph Burbeen Walker 1845."

Il cielo stellato sopra di me e la legge morale in me. Osservazioni sul sublime e sulla logica dell’irrazionale in Kant

«Duas coisas enchem o ânimo de uma admiração e veneração sempre nova e tanto mais crescente quanto mais frequente e mais demoradamente a reflexão se ocupa delas: o céu estrelado acima de mim e a lei moral em mim.” Com estas famosíssimas palavras escritas no papel e incisas em pedra, Immanuel Kant conclui a Crítica da razão prática. No presente artigo pretendo mostrar como esta frase está estreitamente ligada: 1) à doutrina kantiana do sublime e 2) à fundação da lógica do irracional na Critica do Juízo.

WINDOWS 10 IoT SU RASPBERRY PI 2: MULTI-PARADIGM PROGRAMMING TRA JAVA E C#

Questa tesi ha come obiettivo la sperimentazione del nuovo sistema operativo Windows 10 IoT Core su tecnologia Raspberry Pi 2, verificandone la compatibilita con alcuni sensori in commercio. Tale studio viene poi applicato in un contesto di Home Intelligence al fine di creare un agente per la gestione di luci LED, in prospettiva della sua integrazione nel sistema prototipale Home Manager.

Design and Implementation of a Cloud-based Middleware for Persuasive Android Applications

Negli ultimi decenni, le tecnologie e i prodotti informatici sono diventati pervasivi e sono ora una parte essenziale delle nostre vite. Ogni giorno ci influenzano in maniera più o meno esplicita, cambiando il nostro modo di vivere e i nostri comportamenti più o meno intenzionalmente. Tuttavia, i computer non nacquero inizialmente per persuadere: essi furono costruiti per gestire, calcolare, immagazzinare e recuperare dati. Non appena i computer si sono spostati dai laboratori di ricerca alla vita di tutti i giorni, sono però diventati sempre più persuasivi. Questa area di ricerca è chiamata pesuasive technology o captology, anche definita come lo studio dei sistemi informatici interattivi progettati per cambiare le attitudini e le abitudini delle persone. Nonostante il successo crescente delle tecnologie persuasive, sembra esserci una mancanza di framework sia teorici che pratici, che possano aiutare gli sviluppatori di applicazioni mobili a costruire applicazioni in grado di persuadere effettivamente gli utenti finali. Tuttavia, il lavoro condotto dal Professor Helal e dal Professor Lee al Persuasive Laboratory all’interno dell’University of Florida tenta di colmare questa lacuna. Infatti, hanno proposto un modello di persuasione semplice ma efficace, il quale può essere usato in maniera intuitiva da ingegneri o specialisti informatici. Inoltre, il Professor Helal e il Professor Lee hanno anche sviluppato Cicero, un middleware per dispositivi Android basato sul loro precedente modello, il quale può essere usato in modo molto semplice e veloce dagli sviluppatori per creare applicazioni persuasive. Il mio lavoro al centro di questa tesi progettuale si concentra sull’analisi del middleware appena descritto e, successivamente, sui miglioramenti e ampliamenti portati ad esso. I più importanti sono una nuova architettura di sensing, una nuova struttura basata sul cloud e un nuovo protocollo che permette di creare applicazioni specifiche per smartwatch.

Troubleshooting di un impianto di disidratazione di gas naturale: un caso di studio

Il principale componente non idrocarburico contenuto nel gas naturale è l’acqua che viene rimossa mediante assorbimento con glicole trietilenico, il processo di trattamento più comune nella produzione di gas naturale. La presenza di acqua libera nel gas deve essere rimossa totalmente, per evitare la formazione di condensa nelle condizioni di trasporto e di distribuzione più critiche cioè a pressione elevata e a bassa temperatura. Obiettivo di questa tesi è l’analisi delle cause e dei fenomeni che portano a rilevanti perdite di glicole (TEG) in impianti di disidratazione del gas naturale operanti con elevate concentrazioni di CO2 e H2S nel gas di processo. Le perdite, in relazione alle diverse condizioni operative e concentrazioni dei gas menzionati, possono arrivare a raggiungere valori pari a 3-4 volte l'entità attesa, con punte che raggiungono 10 volte tali valori. Il lavoro di tesi è stato focalizzato su un impianto attualmente in esercizio, situato in Arabia Saudita. L’attività è stata condotta presso la Comart di Ravenna, azienda specializzata nella progettazione di impianti nel settore Oil&Gas. Inizialmente sono state studiate le caratteristiche di un impianto di disidratazione di gas naturale mediante assorbimento con glicole trietilenico. Dopo l’analisi delle possibili fonti di perdita, la colonna di alimentazione del ribollitore (Still Column) e il relativo condensatore, sulla base dei dati operativi degli impianti, sembra essere il punto su cui si concentrano le perdite. Vengono presentati i dettagli costruttivi di tale colonna al fine di determinarne i possibili malfunzionamenti. Scopo della tesi sarà l'identificazione, partendo dall'attuale configurazione dell’impianto, delle cause che portano a tali valori di perdite e l'individuazione di una configurazione colonna/condensatore (con eventuali altri equipment necessari) in grado di minimizzare le perdite contenendo al minimo i costi aggiuntivi della soluzione.

Polymorphism in the Spotlight: Studying its Prevalence in Java and Smalltalk

Subtype polymorphism is a cornerstone of object-oriented programming. By hiding variability in behavior behind a uniform interface, polymorphism decouples clients from providers and thus enables genericity, modularity and extensi- bility. At the same time, however, it scatters the implementation of the behavior over multiple classes thus potentially hampering program comprehension. The extent to which polymorphism is used in real programs and the impact of polymorphism on program comprehension are not very well understood. We report on a preliminary study of the prevalence of polymorphism in several hundred open source software systems written in Smalltalk, one of the oldest object-oriented programming languages, and in Java, one of the most widespread ones. Although a large portion of the call sites in these systems are polymorphic, a majority have a small number of potential candidates. Smalltalk uses polymorphism to a much greater extent than Java. We discuss how these findings can be used as input for more detailed studies in program comprehension and for better developer support in the IDE.

Benthic foraminiferal assemblages and paleoproductivity reconstructions for the last 550 kyr of the Ontong Java Plateau, western equatorial Pacific

We analyzed foraminiferal and nannofossil assemblages and stable isotopes in samples from ODP Hole 807A on the Ontong Java Plateau in order to evaluate productivity and carbonate dissolution cycles over the last 550 kyr (kilo year) in the western equatorial Pacific. Our results indicate that productivity was generally higher in glacials than during interglacials, and gradually increased since MIS 13. Carbonate dissolution was weak in deglacial intervals, but often reached a maximum during interglacial to glacial transitions. Carbonate cycles in the western equatorial Pacific were mainly influenced by changes of deep-water properties rather than by local primary productivity. Fluctuations of the estimated thermocline depth were not related to glacial to interglacial alternations, but changed distinctly at ~280 kyr. Before that time the thermocline was relatively shallow and its depth fluctuated at a comparatively high amplitude and low frequency. After 280 kyr, the thermocline was deeper, and its fluctuations were at lower amplitude and higher frequency. These different patterns in productivity and thermocline variability suggest that thermocline dynamics probably were not a controlling factor of biological productivity in the western equatorial Pacific Ocean. In this region, upwelling, the influx of cool, nutrient-rich waters from the eastern equatorial Pacific or of fresh waters from rivers have probably never been important, and their influence on productivity has been negligible over the studied period. Variations in the inferred productivity in general are well correlated with fluctuations in the eolian flux as recorded in the northwestern Pacific, a proxy for the late Quaternary history of the central East Asian dust flux into the Pacific. Therefore, we suggest that the dust flux from the central East Asian continent may have been an important driver of productivity in the western Pacific.