Modelli taciti e infinito

L'evoluzione del concetto di infinito nella storia presenta difficoltà che ancora oggi non sono sono state eliminate: la nostra mente è adattata al finito, per questo quando ha a che fare con oggetti troppo grandi o troppo piccoli, essa crea delle immagini che le permettono di vederli e manipolarli. Bisogna tuttavia stare attenti alle insidie che questi modelli nascondono, perché attribuiscono agli enti originali alcune proprietà fuorvianti, che ci portano a conclusioni distorte.

Matematica, musica e Doremat

Analisi storica dei legami tra matematica e musica dall'antica Grecia fino alla scala cromatica moderna. Descrizione del progetto Doremat, progetto che vede l'insegnamento della matematica con la musica, e delle analisi fatte in aula sui fattori affettivi.

Modellazione matematica delle dinamiche di rilevamento dell'espressione del gene N-MYC mediante un sensore biomolecolare sintetico

L'espressione del gene MYCN è un importante indicatore della severità del NBL. Poiché il numero di copie di MYCN è un indice grezzo della sua espressione quantificarle utilizzando tecniche come la “fluorescent in situ hybridization” (FISH) può servire a formulare una stima del livello di espressione MYCN [Shapiro 1993]. Tuttavia, l'espressione aberrante di MYCN nel NBL non è sempre associata all'amplificazione genica; pertanto la valutazione diretta del livello di espressione di questo gene sarebbe un miglior indicatore prognostico. Questa tesi è stata sviluppata nell'ambito di un progetto che si propone di realizzare un sensore biomolecolare sintetico per l'identificazione del livello di espressione di MYCN. Di seguito saranno presentati i dettagli relativi alla progettazione della topologia circuitale e all’analisi in silico che sono state condotte per caratterizzare il comportamento dinamico del sistema. Questo lavoro è stato svolto nel laboratorio di Ingegneria Cellulare e Molecolare "S. Cavalcanti", presso la Sede di Cesena del Dipartimento di Ingegneria dell'Energia elettrica e dell'Informazione "Guglielmo Marconi" (DEI) dell’Ateneo di Bologna.

WebApp per l'apprendimento della matematica attraverso esercizi di statistica

L’obiettivo di questa tesi è lo studio e la realizzazione di un gioco sotto forma di WebApp, fruibile da device mobili. Il gioco è stato pensato per proporre esercizi di statistica ad un target di utenti specifico, che è quello degli studenti delle scuole medie, così da supportarli nell’approccio e nell’esercizio di questo tipo di argomento. Questo gioco sarà integrato all'interno di un serious games più articolato e completo che possa contenere diverse tipologie di giochi matematici. In particolare, è stata realizzata una WebApp funzionante sia come software singolo, sia come tipologia di gioco integrabile all’interno di una macro-applicazione.

App Ibrida per l’apprendimento della matematica attraverso esercizi di logica

Nell’ambito di questo lavoro di tesi è stata progettata e realizzata un'applicazione di edutainment, pensata per essere fruita attraverso dispositivi mobili, da parte di studenti delle scuole medie, con l’obiettivo di esercitare e migliorare le capacità logiche e di problem solving. La tesi descrive il contesto educativo e scolastico in relazione alla presenza delle tecnologie dell'informazione e della comunicazione, ed infine mostra come una componente di intrattenimento possa essere utile nei processi di apprendimento. Lo sviluppo dell’applicazione è basato sulla progettazione di applicazioni ibride, usando come framework di sviluppo Apache Cordova, quindi attraverso tecnologie web-based, con un’architettura client-server, in cui la parte client gestisce l’interfaccia grafica e le interazioni logiche mentre la parte server viene sfruttata esclusivamente come contenitore di informazioni.

The discrete Pascal transform and its applications

We introduce a new discrete polynomial transform constructed from the rows of Pascal’s triangle. The forward and inverse transforms are computed the same way in both the oneand two-dimensional cases, and the transform matrix can be factored into binary matrices for efficient hardware implementation. We conclude by discussing applications of the transform in

Efficient implementation of discrete Pascal transform using difference operators

An alternative way is provided to define the discrete Pascal transform using difference operators to reveal the fundamental concept of the transform, in both one- and two-dimensional cases, which is extended to cover non-square two-dimensional applications. Efficient modularised implementations are proposed.

Vorsorglicher Rechtsschutz. Vorsorgliche Massnahmen im internationalen Kontext, offene Fragen im neuen Arrestrecht und Sicherungsmassnahmen der ZPO, mit Beiträgen von Dr. Isabelle Chabloz, Dr. Richard Gassmann, PD Dr. Pascal Grolimund, Dr. Jürg Roth, Prof. Dr. Daniel Staehelin

Am 9. September 2011 führte das Institut für Verfahrensrecht und Internationales Privatrecht (CIVPRO) der Universität Bern in bewährter Zusammenarbeit mit der schweizerischen SchKG-Vereinigung die zweite Schweizer Tagung für Internationales Zivilverfahrensrecht durch. Im Mittelpunkt der Tagung standen vorsorgliche Massnahmen im internationalen Kontext vor dem Hintergrund der neuesten Entwicklungen, namentlich (aber nicht nur) des neuen Lugano-Übereinkommens. Der Tagungsband enthält die auf den Vorträgen basierenden, überarbeiteten und erweiterten Beiträge namhafter Autorinnen und Autoren zum vorsorglichen Rechtsschutz im neuen IZPR (Pascal Grolimund). Besondere Aufmerksamkeit gilt dem neuen Arrestrecht sowohl im als auch ausserhalb des Anwendungsbereichs des Lugano-Übereinkommens (Richard Gassmann und Jürg Roth). Ebenso enthält der Band Beiträge zu den Sicherungsmassnahmen in der Realvollstreckung (Daniel Staehelin) sowie zur Anerkennung ausländischer vorsorglicher Massnahmen (Isabelle Chabloz).