Pisa University Press

Come è noto, la dicotomia tra "essere" e "divenire", ovvero tra lo statuto ontologico proprio delle forme intellegibili e quello della realtà fenomenica, riveste notevole importanza filosofica nel Timeo platonico. Il volume analizza la codifica linguistica di tale distinzione, che si estrinseca in greco nell'opposizione lessicale e azionale tra il verbo stativo "eimì" e la sua controparte trasformativa "ghighnomai", attraverso lo studio dei valori semantici e azionali dello stesso "ghegonai" ("passare ad un nuovo stato di esistenza", quindi "nascere", "diventare"), la cui componente dinamica e trasformativa può essere neutralizzata per motivi configurazionali e per l'interazione con la categoria dell'aspetto. A tal proposito, si propone un'analisi di tutte le occorrenze del verbo nel dialogo, dove diverse forme, distinte dal punto di vista temporale e aspettuale, esprimono molteplici manifestazioni del mondo fenomenico. Particolare attenzione è riservata al perfetto stativo "gégova", che riveste un ruolo centrale nel sottocodice filosofico platonico. La seconda parte del testo è dedicata a un esame dell'analogo ambito semantico nella versione del Timeo in armeno antico ("grabar"), caratterizzata da una lingua fortemente ellenizzata, e delle strategie adottate per trasporre unità lessicali e opposizioni morfologiche investite di rilevanza tecnica nell'originale. In particolare, si analizza se e come il traduttore armeno abbia mantenuto la dicotomia lessicale...

Il volume presenta alcuni rilevanti problemi decisionali di ottimizzazione a risorse limitate che sorgono nell'analisi di sistemi complessi, quali, per esempio, quelli di trasporto, di localizzazione, di selezione, di distribuzione di beni di servizio, di flusso su reti, ecc. Per ciascuno di tali problemi si propone un modello matematico di ottimizzazione e si illustrano le principali proprietà ed i principali metodi risolutivi. Il testo è corredato da esempi concreti con relative risoluzioni. Il volume può essere usato come supporto per un corso di base di Ricerca Operativa e presuppone conoscenze di base matematiche che si acquisiscono nel primo anno di studi scientifici universitari.

La storia al femminile della Facoltà di Agraria di Pisa: questo l'obiettivo del volume. Partendo dal dato di fatto che dalla sua nascita fino a tempi assai recenti il sapere agricolo è rimasto prevalentemente patrimonio maschile, e in parte lo è tuttora, sono state individuate le prime iscritte e poi le prime laureate in questa disciplina. Per ciascuna di loro si è cercato di delineare un breve profilo per capire come sono arrivate agli studi agrari e quale è stato il loro iter lavorativo. È stata poi presa in esame la presenza femminile fra gli studenti della Facoltà di Agraria dagli anni seguenti al periodo bellico, fino ad arrivare ad oggi. In un'ottica di genere è stata anche valutata la presenza femminile nel corpo docente. Ne emerge una facoltà declinata al maschile, dove le poche studentesse che si sono affacciate a questa realtà si sono rivelate donne di un certo spessore, capaci, coraggiose, determinate: delle vere "pioniere". Le tesi delle prime nove laureate sono state commentate da "donne dell'accademia di oggi" che ne hanno dato non solo una lettura critica dal punto di vista dello spessore scientifico, ma hanno anche cercato di cogliere gli aspetti e le difficoltà peculiari degli studi descritti nelle tesi in quanto svolti da donne in un ambiente prettamente maschile. Il volume è corredato da un'appendice fotografica con le immagini di tutte le studentesse, iscritte e laureate alla Facoltà di agraria nel periodo considerato (1870-1945).

Quali sono i motivi che ci permettono di condurre un cavallo standoci in sella, oppure portandolo a mano? Quando noi compiamo una qualsiasi azione nei confronti del cavallo in realtà stiamo modificando l'ambiente intorno a lui, ed il cavallo si comporta e reagisce di conseguenza; analizzando e valutando gli stimoli che gli diamo (attraverso la briglia o senza, con gli aiuti di gambe, con la cavezza ecc.) secondo le regole psicologiche dell'apprendimento, valide per tutti gli animali e per l'uomo. Qualsiasi nostra azione è perciò un mezzo di comunicazione che noi abbiamo a disposizione per instaurare una relazione con il cavallo; questa comunicazione però, affinché possa essere efficace e rispettare l'equilibrio ed il benessere psichico dei cavalli, necessità della conoscenza delle regole dell'apprendimento animale e della loro applicazione alla relazione fra cavallo e cavaliere.

Il 19 settembre 2012 l'Università di Pisa ha registrato un cambiamento significativo, passando da un assetto basato su undici facoltà e 48 dipartimenti a uno imperniato su 20 nuove strutture dipartimentali, che prevedono un numero minimo di cinquanta fra docenti e ricercatori e che accorpano ruoli e funzioni in precedenza suddivisi. Le facoltà hanno costituito nel tempo il cardine intorno al quale si è sviluppato l'Ateneo pisano; è proprio nelle facoltà che si è andata costruendo quell'eccellenza degli studi che contraddistingue da sempre la nostra Università, attraverso "scuole" di pensiero all'avanguardia in campo nazionale e internazionale. È stato quindi chiesto ai presidi uscenti di raccontare la storia delle loro facoltà con riferimento ai personaggi di spicco e alle vicende più significative. Un ricco apparato iconografico, con immagini storiche e recenti, completa il volume.

Duccio Scatolero ricostruisce, partendo dalla propria esperienza professionale, la storia dei primi vent'anni di mediazione in Italia. Scatolero ha dedicato sforzi e fatiche per diffondere una "mediazione applicata". Cioè fatta, e non solo detta. O, perlomeno, una mediazione che prova a farsi e a diventare realtà praticata e socialmente accettata. La storia della mediazione si svolge nei suoi vari contesti applicativi (familiare, sociale, penale, civile e commerciale...) e propone riflessioni di più ampio respiro: come la sicurezza sociale, la giustizia riparativa, la cultura della gestione dei conflitti. Una storia raccontata con disincanto e passione, che lascia un po' d'amaro in bocca: perché sembra che l'Italia non sia un Paese per mediatori.

In questo primo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura software del processore PC, Assembler e corrispondenza fra C++ e Assembler", viene anzitutto presentato il cosiddetto Processore PC (schematizzazione dei processori con architettura x86-32), con riferimento sia alle istruzioni della Arithmetic and Logic Unit per numeri naturali e interi, sia a quelle della Floating Point Unit per numeri reali. Viene quindi illustrato il linguaggio Assembler con riferimento al sistema operativo Unix e all'ambiente di programmazione GNU/GCC. La parte preponderante del testo è dedicata a illustrare le modalità con le quali si realizzano in Assembler i principali costrutti linguistici del linguaggio C++ (che si suppone noto), con particolare riferimento alle funzioni/operatori globali e alle funzioni/operatori membro di classi. Alcuni dei più significativi programmi che compaiono nel presente volume sono disponibili al sito internet: ing.unipi.it/LibroCalcolatori. Essi possono essere scaricati, evitando in tal modo una loro riscrittura, che spesso introduce insidiosi errori di battitura.

In questo terzo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Aspetti Architetturali Avanzati e Nucleo di Sistema Operativo". viene utilizzato il processore PC (illustrato nei primi due volumi del testo), anzitutto per trattare tematiche avanzate (memoria virtuale, protezione, multiprogrammazione) con riferimento ai Personal Computer. Viene quindi descritto un nucleo di sistema operativo (con processi, primitive di nucleo e primitive di I/O), che consente di trattare gli aspetti di interfaccia tra hardware e software, verificando sperimentalmente le funzionalità dei costrutti software basilari, e di gestire le più importanti interfacce presenti nei Personal Computer. Il nucleo descritto nel testo è stato effettivamente realizzato, utilizzando come strumenti di programmazione i linguaggi Assembler e C++ dell'ambiente GNU/GCC, e può essere eseguito utilizzando l'emulatore QEMU. Esso è disponibile al sito internet: ing.unipi.it/LibrooCalcolatori.

A partire da una ricerca effettuata nell'ambito dell'attività formativa promossa dalla Scuola Superiore dell'Amministrazione dell'Interno (SSAI), il volume sviluppa il tema della connessione tra la figura del Prefetto e il territorio. Dopo aver ripercorso le origini e l'evoluzione storica dell'istituto prefettizio, i contributi prendono in esame i sempre più numerosi compiti affidati al Prefetto e i variegati modi di intervento, evidenziandone la correlazione con i territori e con lo svolgimento in essi del complesso delle funzioni pubbliche. Traendo spunto da prassi ormai consolidate in vari Uffici territoriali del Governo, il testo si offre agli addetti ai lavori come guida per orientarne l'azione e a tutti gli altri come strumento di più aggiornata conoscenza di una figura dai contorni in continuo movimento.

Il volume porta a conoscenza del lettore alcuni fondamenti dell'analisi dei segnali biomedici corredati da esercizi ed approfondimenti, mediante strumenti software in linguaggio MATLAB e SCILAB, delle principali parti del volume. Il primo capitolo sviluppa un'ampia panoramica sul significato e sulle caratteristiche dei diversi segnali biomedici spontanei e indotti e sul ruolo dei metodi di analisi dei segnali in bioingegneria. I capitoli successivi forniscono una trattazione matematica sufficientemente approfondita dell'analisi dei segnali deterministici e aleatori, della risposta impulsiva e funzione di trasferimento di sistemi lineari e di alcune metodologie e tecniche di progetto di filtri numerici per l'elaborazione dei segnali biomedici. Una parte del volume è dedicata al calcolo combinatorio e delle probabilità, alla comprensione del significato di variabile aleatoria e relativi momenti e alla definizione di processo stocastico. Uu capitolo è dedicato all'interferenza statistica e all'analisi multivariata di dati biomedici.

In questo secondo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura hardware del Processore PC, dei Bus, della Memoria e delle Interfacce, e Gestione dell'I/O", viene descritta l'architettura di un calcolatore basato sul processore PC (descritto nel Volume I), utilizzando il controllore APIC, il bus PCI e il meccanismo di bus-mastering. Vengono descritte le tipiche interfacce di I/O, sia a byte che a blocchi. Vengono infine illustrate le attuali tecniche di organizzazione interna di un processore. È stato appositamente sviluppato un pacchetto software per effettuare esercizi di I/O, disponibile al sito internet: ing.unipi.it/LibroCaIcolatori Le interfacce trattate vengono gestite sia a controllo di programma che attraverso il meccanismo di interruzione e, per quelle a disco, anche mediante accesso diretto alla memoria tramite il bus mastering PCI.