Home Facoltà http://www.scienze.univr.it/fol/image/topBanner.jpg
 
| contatticontatti | | dove siamodove siamo | | telefono emailtelefono email | |   |
map map
INTRANET
menù:
*Indice Intranet *Posta di Facoltà *Modulistica *Link utili
*Mailing list Scienze MM.FF.NN. *Didattica *Server Profs
Home Ateneo 
Home Facoltà 

Elenco software disponibile alla didattica nei Laboratori di Scienze

Questa pagina raccoglie i software applicativi richiesti dalla docenza per esigenze didattiche. Gli applicativi e le librerie sono disponibili agli studenti da i pc dei Laboratori Didattici sotto sistema operativo GNU/Linux.

Ogni anno accademico i Servizi Informatici di Facoltà raccolgono le richieste provenienti dalla docenza per tenere traccia

  • del software effettivamente utilizzato
  • dei referenti per i vari applicativi / librerie installati
  • del feedback ricevuto riguardo alla compatibilità dei vari pacchetti tra le varie versioni del sistema operativo dei laboratori, durante gli aggiornamenti di routine

Anno Accademico 2013/14

Richieste pervenute per l'anno accademico 2013 - 2014:

aggiornato al 6 Dicembre 2013
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
openjump - Visualizzatore dati GIS, con supporto file GML, SVG, e web services WFS e WMS.
Sito del progetto su SourceForge
Ing.&Sci Informatiche Alberto Belussi
PostGIS - Estensione PostgreSQL server e tool client per la manipolazione oggetti geografici.
Sito del progetto di Open Source Geospatial Foundation
Ing.&Sci Informatiche Alberto Belussi
SIS - Design e verifica circuiti VLSI.
SIS Unofficial
Informatica Nicola Bombieri
freeFEM++ - Risolutore equazioni differenziali parziali, per applicazioni su sitemi lineari 2D e 3D .
News, community e sviluppo su freeFEM.org
Matematica Applicata Marco Caliari
JDK
Documentazione
- Java Development Kit, Standard Edition
e relativa documentazione API standard con JavaDoc estratti dai sorgenti.
Oracle Corporation
Bioinformatica Alessandro Farinelli
Catapult v 2010a
Commerciale
Ambiente integrato per progettazione, sintesi e simulazione circuiti ASIC e FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
GTKWave - Visualizzatore di forme d'onda. Accetta formati Verilog VCD, ASCII ed altri.
Pagina di sviluppo su sourceforge.
Ing.&Sci. Informatiche Franco Fummi
ModelSim SE v 10.2a
Commerciale
Ambiente integrato per sviluppo, e debug per Verilog, VHDL e SystemC. Consente la simulazione di ASIC e FPGA creati.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
Precision RTL v 2010a
Commerciale
Ambiente integrato per sintesi e ottimizzazione circuiti FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
SystemC
TLM
v. 2.3.0 Libreria per modellazione, progettazione e verifica di sistemi elettronici. Include la libreria TLM v.2
Open SystemC Initiative
Ing.&Sci. Informatiche Franco Fummi
gretl - Gnu Regression, Econometrics and Time-series Library: pacchetto per l'analisi econometrica. Sono disponibili varie banche dati contribuite al progetto.
gretl on sourceforge
Matematica Applicata Laura Magazzini
gretl
contrib-dataset
- Ulteriori dataset utilizzati in vari testi riguardanti l'Econometria, divisi per autore.
Data for gretl
Matematica Applicata Laura Magazzini
Image Processing,
Signal Processing,
Spline,
Wavelet
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Gloria Menegaz
BlueJ - Ambiente integrato di sviluppo didattico per il linguaggio Java.
BlueJ
Matematica Applicata Ugo Solitro
git - Software per la gestione delle revisioni del codice sorgente, su base distribuita
Sito ospitato su GitHub per download e documentazione
Informatica Fausto Spoto

Anno Accademico 2012/13

Richieste pervenute per l'anno accademico 2012 - 2013:

aggiornato al 22 Maggio 2013
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
openjump - Visualizzatore dati GIS, con supporto file GML, SVG, e web services WFS e WMS.
Sito del progetto su SourceForge
Ing.&Sci Informatiche Alberto Belussi
PHP
php_pgsql
- PHP: Hypertext Preprocessor, linguaggio di scripting server side. Installato anche modulo di binding database PostgreSQL.
php.net, Documentazione modulo php_pgsql
Informatica Alberto Belussi
PostBio - Estensioni per la manipolazione di sequenze biologiche da PostgreSQL server.
Documentazione
Bioinformatica Alberto Belussi
PostGIS - Estensioni per la manipolazione oggetti geografici da PostgreSQL server.
Sito del progetto di Open Source Geospatial Foundation
Ing.&Sci Informatiche Alberto Belussi
QGIS - Quantum GIS: Open Source Geospatial Foundation backed open source GIS software.
Wiki progetto Quantum GIS
Ing.&Sci Informatiche Alberto Belussi
MPICH2 - Implementazione portabile e ad alte prestazioni dello standard Message Passing Interface, un'infrastruttura per il calcolo distribuito.
Pagina del progetto MPICH
Ing.&Sci Informatiche Nicola Bombieri
GNU C Compiler - Suite di compilatori GNU. Compilatore linguaggio C.
GNU Compiler Collection
Bioinformatica Davide Bresolin
LC-3 - Simulatore ed assembler di un semplice modello di microprocessore.
Sito McGraw-Hill del testo Introduction to Computing Systems: From Bits and Gates to C and Beyond, 2/e, Yale N. Patt, Sanjay J. Patel
Bioinformatica Davide Bresolin
PyMol - Pacchetto per visualizzazione in tempo reale e rendering di biomolecole.
Scrödinger LLC project website
Bioinformatica Daniele Dell'Orco
Bison - GNU Bison: parser general purpose per la conversione in tabelle LALR. Tool compatibile con BSD Yacc.
Sito del progetto e documentazione
Informatica Alessandra Di Pierro
Flex - GNU Flex: The Fast Lexical Analyzer.
Sito del progetto e documentazione
Informatica Alessandra Di Pierro
GNU C Compiler - Suite di compilatori GNU. Compilatore linguaggio C.
GNU Compiler Collection
Informatica Alessandra Di Pierro
CatapultC v 2009a
Commerciale
Ambiente integrato per progettazione, sintesi e simulazione circuiti ASIC e FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
ModelSim SE v 6.5
Commerciale
Ambiente integrato per sviluppo, e debug per Verilog, VHDL e SystemC. Consente la simulazione di ASIC e FPGA creati.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
Precision RTL v 2010a
Commerciale
Ambiente integrato per sintesi e ottimizzazione circuiti FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
SystemC v. 2.2.0 Libreria per modellazione, progettazione e verifica di sistemi elettronici.
Open SystemC Initiative
Ing.&Sci. Informatiche Franco Fummi
TLM 2009-07-15 Interfaccia standard per Transaction-level Modeling in SystemC.
TLM Working Group
Ing.&Sci. Informatiche Franco Fummi
3D Slicer - Software per la visualizzazione e l'analisi di immagini volumetriche.
Sito di sviluppo, wiki, e liste
Informatica Andrea Giachetti
QT Creator
QT Designer
- IDE per la progettazione e lo sviluppo di interfacce grafiche basate su le librerie QT.
QT Developer Tools
Informatica Andrea Giachetti
R - Ambiente per analisi grafica e statistica.
The R Project
Informatica Massimo Guerriero
RStudio - Ambiente grafico integrato per R.
RStudio.com
Informatica Massimo Guerriero
gretl - Gnu Regression, Econometrics and Time-series Library: pacchetto per l'analisi econometrica. Sono disponibili varie banche dati contribuite al progetto.
gretl on sourceforge
Matematica Applicata Laura Magazzini
Matlab -
Commerciale
Matlab, pacchetto manipolazione numerica. Pacchetto base.
The MathWorks
Matematica Applicata Laura Magazzini
Image Processing,
Signal Processing,
Spline,
Wavelet
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Gloria Menegaz
CARA - Computer Aided Resonance Assignment: software per analisi spettri NMR orientato allo studio di macromolecole.
CARA Wiki
Bioinformatica
e Biot. Mediche
Henriette Molinari
Pentaho BI Server Community
Edition
Pentaho Business Intelligence Server Communiti Edition: piattaforma modulare per la gestione, pubblicazione di reportistica, analisi e data mining, come supporto ai processi di business.
Pentaho Community
Ing.&Sci. Informatiche Barbara Oliboni
Pentaho AdmConsole Community
Edition
Pentaho Business Intelligence Server Communiti Edition, Administration Console: Console di gestione utenti e basi dati
Pentaho Community.
Ing.&Sci. Informatiche Barbara Oliboni
Pentaho
Data Integration
- Pentaho Data Integration Community Edition: strumento grafico ETL della suite Pentaho BI.
Pentaho project page
Ing.&Sci. Informatiche Barbara Oliboni
Pentaho
Report Designer
- Report Designer Community Edition: strumento grafico creazione report per suite Pentaho BI.
Pentaho project page
Ing.&Sci. Informatiche Barbara Oliboni
Pentaho
Schema Workbench
- Mondrian Schema Workbench Community Edition: strumento grafico data mining (OLAP) della suite Pentaho BI.
Pentaho project page
Ing.&Sci. Informatiche Barbara Oliboni
Netkit - Laboratorio di reti simulato.
Roma Tre Netkit Wiki
Corso TFA Gabriele Pozzani
OpenOffice.org Base - Modulo dabase della suite per ufficio.
Apache OpenOffice Base project
Corso TFA Gabriele Pozzani
pgAdmin III - Tool grafico per gestione ed amministrazione database funzionanti su PostgreSQL.
pgAdmin — PostgreSQL Tools
Corso TFA Gabriele Pozzani
Eclipse
for Java
- Eclipse: IDE per lo sviluppo in linguaggio Java.
Eclipse Foundation
Informatica Fausto Spoto
JDK 1.7 Java Development Kit.
Oracle
Informatica Fausto Spoto

Anno Accademico 2011/12

Richieste pervenute per l'anno accademico 2011 - 2012:

aggiornato al 25 Maggio 2012
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
Chenomx
NMR Suite
-
Commerciale
Versione Trial. Suite per l'identificazione e quantificazione di composti da spettri NMR.
Chenomx Inc.
Biotecnologie Michael Assfalg
PostBio - Estensioni per la manipolazione di sequenze biologiche da PostgreSQL server.
Documentazione
Bioinformatica Alberto Belussi
LC-3 - Simulatore ed assembler di un semplice modello di microprocessore.
Sito McGraw-Hill del testo Introduction to Computing Systems: From Bits and Gates to C and Beyond, 2/e, Yale N. Patt, Sanjay J. Patel
Bioinformatica Davide Bresolin
SBToolbox2 - Toolbox per Matlab ed Octave per analisi e simulazione sistemi biologici.
SBToolbox2 / SBPD development website
Bioinformatica Daniele Dell'Orco
CatapultC v 2009a
Commerciale
Ambiente integrato per progettazione, sintesi e simulazione circuiti ASIC e FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
ModelSim SE v 6.5
Commerciale
Ambiente integrato per sviluppo, e debug per Verilog, VHDL e SystemC. Consente la simulazione di ASIC e FPGA creati.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
Precision RTL v 2010a
Commerciale
Ambiente integrato per sintesi e ottimizzazione circuiti FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
SystemC v. 2.2.0 Libreria per modellazione, progettazione e verifica di sistemi elettronici.
Open SystemC Initiative
Ing.&Sci. Informatiche Franco Fummi
TLM 2009-07-15 Interfaccia standard per Transaction-level Modeling in SystemC.
TLM Working Group
Ing.&Sci. Informatiche Franco Fummi
AMIDE - Amide's a Medical Imaging Data Eexminer: tool per la visualizzazione di scansioni mediche tridimensionali.
Sito di sviluppo su sourceforge
Informatica Andrea Giachetti
3D Slicer - Software per la visualizzazione e l'analisi di immagini volumetriche.
Sito di sviluppo, wiki, e liste
Informatica Andrea Giachetti
gretl - Gnu Regression, Econometrics and Time-series Library: pacchetto per l'analisi econometrica. Sono disponibili varie banche dati contribuite al progetto.
gretl on sourceforge
Matematica Applicata Laura Magazzini
Image Processing,
Signal Processing,
Spline,
Wavelet
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Gloria Menegaz
Micro-Cap -
Commerciale
Micro-Cap: editor schemi elettrici analogici e digitali con simulazione. Versione di valutazione limitata.
Spectrum Software
Ing.&Sci. Informatiche Francesca Monti
CMake - Strumento per l'automazione di build software indipendente dal compilatore. Installata GUI Ncurses.
cmake.org
Informatica Davide Quaglia
Simulink,
Stateflow
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Davide Quaglia
Eclipse
for Java
- Eclipse: IDE per lo sviluppo in linguaggio Java.
Eclipse Foundation
Informatica Fausto Spoto
JDK 1.6 Java Development Kit.
Oracle
Informatica Fausto Spoto

Anno Accademico 2010/11

Richieste pervenute per l'anno accademico 2010 - 2011:

aggiornato al 9 Giugno 2011
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
PostgreSQL - PostgreSQL client. Console per la connessione a database relazionale PostgreSQL.
PostgreSQL Global Development Group
Informatica
Bioinformatica
Alberto Belussi
PostgreSQL JDBC Driver - Connettore Java per database PostgreSQL.
PostgreSQL JDBC Driver
Informatica
Bioinformatica
Alberto Belussi
pgAdmin - Tool grafico per gestione ed amministrazione database funzionanti su PostgreSQL.
pgAdmin — PostgreSQL Tools
Informatica
Bioinformatica
Alberto Belussi
PostBio - Estensioni per la manipolazione di sequenze biologiche da PostgreSQL server.
Documentazione
Bioinformatica Alberto Belussi
GNU Assembler
GNU Debugger
- Suite di compilatori GNU: Assembler, linker e debugger per architettura intel.
GNU Binutils
Informatica Nicola Bombieri
odepgk
per Octave
- Octave: Linguaggio / gui per la manipolazione numerica. Pacchetto per la risoluzione di equazioni differenziali.
Octave-Forge
Matematica Applicata Marco Caliari
Netbeans - IDE multipiattaforma per sviluppo Java e altri linguaggi.
Oracle Netbeans
Bioinformatica
e Biot. Mediche
Alberto Castellini
classi java - Libreria di classi didattiche e relativa documentazione.
 
Informatica Alessandra Di Pierro
DDD - Data Display Debugger: front-end grafico per i maggiori debugger liberi a riga di comando.
Savannah development site.
Informatica Nicola Drago
emacs - GNU Emacs: Editor customizzabile, estensibile tramite linguaggio Lisp.
Free Software Foundation, Emacs project page.
Informatica
Bioinformatica
Nicola Drago
JDK 1.6 Java Development Kit.
Sun Microsytems
Informatica Nicola Drago
GNU C++ Compiler
make
gdb
- Suite di compilatori GNU. Compilatore linguaggio C++.
GNU Compiler Collection
Informatica Nicola Drago
CatapultC v 2009a
Commerciale
Ambiente integrato per progettazione, sintesi e simulazione circuiti ASIC e FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
Precision RTL v 2010a
Commerciale
Ambiente integrato per sintesi e ottimizzazione circuiti FPGA.
Mentor Graphics product page
Ing.&Sci. Informatiche Franco Fummi
SystemC v. 2.2.0 Libreria per modellazione, progettazione e verifica di sistemi elettronici.
Open SystemC Initiative
Ing.&Sci. Informatiche Franco Fummi
TLM 2009-07-15 Interfaccia standard per Transaction-level Modeling in SystemC.
TLM Working Group
Ing.&Sci. Informatiche Franco Fummi
gretl - Gnu Regression, Econometrics and Time-series Library: pacchetto per l'analisi econometrica.
gretl on sourceforge
Matematica Applicata Laura Magazzini
JDK - Programmazione avanzata di rete tramite l'uso di Java RMI
Java Standard Edition
Informatica Massimo Merro
image package
per Octave
- Octave: Linguaggio / gui per la manipolazione numerica. Pacchetto per con funzioni specifiche per la manipolazione e processamento delle immagini.
Octave-Forge
Bioinformatica Gloria Menegaz
CARA - Computer Aided Resonance Assignment: software per analisi spettri NMR orientato allo studio di macromolecole.
CARA Wiki
Bioinformatica
e Biot. Mediche
Henriette Molinari
Micro-Cap -
Commerciale
Micro-Cap: editor schemi elettrici analogici e digitali con simulazione. Versione di valutazione limitata.
Spectrum Software
Ing.&Sci. Informatiche Francesca Monti
Pentaho BI Server - Pentaho Business Intelligence Server Communiti Edition: piattaforma modulare per la gestione, pubblicazione di reportistica, analisi e data mining, come supporto ai processi di business.
Pentaho Community
Ing.&Sci. Informatiche Barbara Oliboni
Pentaho Kettle - Pentaho Data Integration Community Edition: strumento grafico ETL della suite Pentaho BI.
Pentaho project page
Ing.&Sci. Informatiche Barbara Oliboni
Pentaho Mondrian - Mondrian Schema Workbench Community Edition: strumento grafico data mining (OLAP) della suite Pentaho BI.
Pentaho project page
Ing.&Sci. Informatiche Barbara Oliboni
GIMP - GNU Image Manipulation Program: software di fotoritocco.
The GIMP
Bionformatica Davide Quaglia
doxygen - Sistema per la manutenzione della documentazione del codice unitamente allo sviluppo.
Dimitri van Heesch doxygen page
Informatica Graziano Pravadelli
eCos - Sistema operativo cross platform (versione PowerPC), open source, royalty-free, per applicazioni in tempo reale embedded.
eCos
Informatica Graziano Pravadelli
WTK - Java Wireless Toolkit: Strumenti di sviluppo per Java 2 Micro Edition.
Sun Java Wireless Toolkit for CLDC
Informatica Graziano Pravadelli
BlueJ - Ambiente integrato di sviluppo didattico per il linguaggio Java.
BlueJ
Matematica Applicata Ugo Solitro
Haskell - ghc: Glasgow Haskell Compiler.
ghc Project Page
Matematica Applicata Ugo Solitro
OCaml - Objective Caml: Linguaggio ML general purpose con possibiltà di compilare in bytecode.
INRIA Caml website
Matematica Applicata Ugo Solitro
Octave - Octave: Linguaggio / gui per la manipolazione numerica. Parziale compatibilità con il pacchetto Matlab.
GNU Octave
Matematica Applicata Ugo Solitro

Anno Accademico 2009/10

Richieste pervenute per l'anno accademico 2009 - 2010:

aggiornato al 13 Maggio 2010
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
PostgreSQL - PostgreSQL client. Console per la connessione a database relazionale PostgreSQL.
PostgreSQL Global Development Group
Informatica
Bioinformatica
Alberto Belussi
pgAdmin - Tool grafico per gestione ed amministrazione database funzionanti su PostgreSQL.
pgAdmin — PostgreSQL Tools
Informatica
Bioinformatica
Alberto Belussi
PostBio - Estensioni per la manipolazione di sequenze biologiche da PostgreSQL server.
Documentazione
Bioinformatica Alberto Belussi
sml/nj v 110.67 Standard Machine Language of New Jersey: compilatore Standard ML, un linguaggio rigoroso, funzionale, modulare, e polimorfico con forte tipizzazione.
Standard ML website
Informatica Maria Paola Bonacina
SIS - Design e verifica circuiti VLSI.
SIS Unofficial
Informatica Nicola Bombieri
DDD - Data Display Debugger: front-end grafico per i maggiori debugger liberi a riga di comando.
Savannah development site.
Informatica Damiano Carra
ns-2 - Network Simulator 2: Emulatore reti dati ad eventi discreti
ns-2 Wiki
Informatica Damiano Carra
emacs - GNU Emacs: Editor customizzabile, estensibile tramite linguaggio Lisp.
Free Software Foundation, Emacs project page.
Informatica
Bioinformatica
Carlo Drioli
JDK 1.6 Java Development Kit.
Sun Microsytems
Informatica
Bioinformatica
Carlo Drioli
Open Office - Open Office: Suite con word processor, foglio di calcolo, presentazione, database, disegno.
OpenOffice.org
Informatica
Bioinformatica
Carlo Drioli
JDK 1.6 Java Development Kit.
Sun Microsytems
Bioinformatica Alessandro Farinelli
Matlab -
Commerciale
Matlab, pacchetto manipolazione numerica. Pacchetto base.
The MathWorks
Bioinformatica Alessandro Farinelli
Open Office - Open Office: Suite con word processor, foglio di calcolo, presentazione, database, disegno.
OpenOffice.org
Bioinformatica Alessandro Farinelli
Arduino - IDE per lo sviluppo software per piattaforme hardware didattiche.
Sito piattaforma Arduino
Informatica Federico Fontana
PureData - Strumento per la manipolazione in tempo reale di audio, video e grafica tramite programmazione visuale.
PD Community Site
Informatica Federico Fontana
CatapultC v 2009a
Commerciale
Ambiente integrato per progettazione, sintesi e simulazione circuiti ASIC e FPGA.
Mentor Graphics product page
Informatica Franco Fummi
Dinotrace - Visualizzatore di forme d'onda. Accetta formati Verilog VCD, ASCII ed altri.
Veripool Tools page
Informatica Franco Fummi
ModelSim SE v 6.5
Commerciale
Ambiente integrato per sviluppo, e debug per Verilog, VHDL e SystemC. Consente la simulazione di ASIC e FPGA creati.
Mentor Graphics product page
Informatica Franco Fummi
Eclipse CDT CDT 6.0.1 C/C++ Development Tools for Eclipse.
Eclipse C/C++ Development Tooling project.
Informatica Andrea Fusiello
GNU C++ Compiler
make
gdb
- Suite di compilatori GNU. Compilatore linguaggio C++.
GNU Compiler Collection
Informatica Andrea Fusiello
GNU Compilers doc - Documentazione di riferimento per gcc e g++.
GNU Compiler Collection
Informatica Andrea Fusiello
GLUT freeglut OpenGL Utility Library: Libreria ed intestazioni C per API compatibili OpenGL, e OpenGL Utils.
The Mesa 3D Graphics Library
Informatica Andrea Fusiello
spdbv - Software per la visualizzazione e confronto di proteine.
Swiss PDB Viewer
Biotecnologie Alejandro Giorgetti
VMD - Visual Molecular Dynamics: sistema per la visualizzazione e l'analisi di grandi sistemi molecolari.
Visual Molecular Dynamics
Biotecnologie Alejandro Giorgetti
GeoGebra - Software libero per l'apprendimento e l'insegnamento della matematica, con foglio elettronico e grafici interattivi.
Forum, wiki, e tutorial: GeoGebra
Informatica Enrico Gregorio
LaTeX - LATEX: software per l'impaginazione di documenti. Installazione base.
Distribuzione Tex Live
Informatica Enrico Gregorio
Bioinformatics,
Image Processing,
Neural Networks,
Optimization,
Signal Processing,
Statistics
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica
Bioinformatica
Vittorio Murino
Bioinformatics,
Optimization,
Signal Processing,
Statistics
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Bioinformatica Gloria Menegaz
Image Processing,
Signal Processing,
Spline,
Wavelet
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Gloria Menegaz
libOpenJPEG - Libreria per supporto del standard di compressione di immagini JPEG 2000.
Sito del gruppo di sviluppo
Informatica Gloria Menegaz
Matlab -
Commerciale
Matlab, pacchetto manipolazione numerica. Pacchetto base.
The MathWorks
Informatica
Bioinformatica
Angelo Pica
Eclipse ADT ADT 0.9.5 Android Development Tools plugin for Eclipse.
ADT Plugins Notes
Informatica Graziano Pravadelli
Android SDK Tools R4
Platform 2.1
API 7r1
Android Software Development Kit, Platform and Emulator.
Android Developers
Informatica Graziano Pravadelli
kernel call manpages - Documentazione delle runtime C, chiamate del sistema operativo e del kernel.
Linux kernel documentation
Informatica Graziano Pravadelli
gnuplot - GNUPlot: pacchetto per la visualizzazione di diagrammi 2D, 3D ed interpolazioni.
gnuplot homepage
Informatica Davide Quaglia
WireShark - (Precedentemente noto come Ethereal). Analizzatore traffico di rete. È disponibile unicamente la funzione di analisi di flussi di rete da file.
WireShark
Informatica Davide Quaglia
BlueJ - Ambiente integrato di sviluppo didattico per il linguaggio Java.
BlueJ
Informatica Ugo Solitro
emacs - GNU Emacs: Editor customizzabile, estensibile tramite linguaggio Lisp.
Free Software Foundation, Emacs project page
Informatica Fausto Spoto

Anno Accademico 2008/09

Richieste pervenute per l'anno accademico 2008 - 2009:

aggiornato al 25 Febbraio 2009
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
sml/nj v 110.67 Standard Machine Language of New Jersey: compilatore Standard ML, un linguaggio rigoroso, funzionale, modulare, e polimorfico con forte tipizzazione.
Standard ML website
Informatica Maria Paola Bonacina
Octave v 3.0.2 (patched) Octave: Linguaggio / gui per la manipolazione numerica. Parziale compatibilità con il pacchetto Matlab. Questa versione è compilata con SuiteSparse.
GNU Octave
Informatica Marco Caliari
Suite Sparse v 3.1 SuiteSparse Library: collezione di algoritmi per Octave.
UniFlorida Departement of Computer Science
Informatica Marco Caliari
gnuplot v 4.2.3 GNUPlot: pacchetto per la visualizzazione di diagrammi 2D, 3D ed interpolazioni. Versione compilata per Octave 3.0.2.
gnuplot homepage
Informatica Marco Caliari
FaCT++ v 1.2.0 Fast Classification of Terminologies: software per Logica Descrittiva. Una reimplementazione del reasoner FaCT.
OWL: FaCT++
Informatica Matteo Cristani
Psychtoolbox v. 3+ Toolbox per Matlab ed Octave orientato alla ricerca su psicofisica degli stimoli visivi.
Psychtoolbox Wiki
Informatica
Multimedia
Gloria Menegaz
Bioinformatics,
Image Processing,
Neural Networks,
Optimization,
Signal Processing,
Statistics
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica
Bioinformatica
Vittorio Murino
R - Ambiente per analisi grafica e statistica.
The R Project
Informatica Paola Siri
Bioconductor v 2.2 Pacchetto aggiuntivo per R, per l'analisi di materiale genetico. Sono installati i sottopacchetti: arrayQualityMetrics, KEGG.db, moe430a.db, GSEABase, limma, Biostrings, moe430acdf.
Bioconductor.org
Biotecnologie Alejandro Giorgetti
R v 2.7.2 Ambiente per analisi grafica e statistica.
The R Project
Biotecnologie Alejandro Giorgetti
spdbv - Software per la visualizzazione e confronto di proteine.
Swiss PDB Viewer
Biotecnologie Alejandro Giorgetti

Anno Accademico 2007/08

Richieste pervenute per l'anno accademico 2007 - 2008:

aggiornato al 25 Maggio 2008
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
sml/nj - Standard ML of New Jersey: compilatore Standard ML, un linguaggio rigoroso, funzionale, modulare, e polimorfico con forte tipizzazione.
Standard ML website
Informatica Maria Paola Bonacina
Ambulant - Ambulant SMIL 2.1 and SVG Player:
The Ambulant Player
Informatica Carlo Combi
Octave v 3.0 (2.9.11+) Octave: Linguaggio / gui per la manipolazione numerica. Parziale compatibilità con il pacchetto Matlab.
GNU Octave
Informatica Stefano De Marchi
Miscellaneous v 1.0.3 Miscellaneous: pacchetto opzionale per Octave 2.9.14+. Varie funzioni opzionali.
Repository dei pacchetti per GNU Octave
Informatica Stefano De Marchi
OdePkg v 0.3.3 Octave Differential Equation Package: pacchetto opzionale per Octave 2.9.14+. Toolkit per problemi relativi ad equazioni differenziali.
Repository dei pacchetti per GNU Octave
Informatica Stefano De Marchi
Optim v 1.0.0 Optim: pacchetto opzionale per Octave 2.9.14+. Pacchetto per l'ottimizzazione di equazioni non lineari.
Repository dei pacchetti per GNU Octave
Informatica Stefano De Marchi
vi - vi: editor per l'elaborazione di testo su terminale. BioInformatica Carlo Drioli
XEmacs - Emacs for X Window: Editor customizzabile, estensibile ed auto documentante.
GNU Emacs
BioInformatica Carlo Drioli
joe - Joe's Own Editor: editor di testo per terminale.
Joe's Own Editor
BioInformatica Carlo Drioli
Open Office - Open Office: Suite con word processor, foglio di calcolo, presentazione, database, disegno.
OpenOffice.org
BioInformatica Carlo Drioli
evince - Gnome Evince: visualizzatore documenti PDF, DVI, PS.
GNOME Desktop
BioInformatica Carlo Drioli
xfig - xfig: Tool per X Windows per la creazione di schemi.
The Xfig repository
BioInformatica Carlo Drioli
WTK v 2.5.2 Java Wireless Toolkit: Strumenti di sviluppo per Java 2 Micro Edition.
Sun Java ME
Informatica Franco Fummi
LaTeX - LATEX: software per l'impaginazione di documenti.
LaTeX
Informatica Andrea Fusiello
Netpbm - Netpbm toolkit: collezione utility a riga di comando per l'elaborazione e la conversione di immagini. Facilmente utilizzabili come pipeline.
Netpbm project
Informatica Andrea Fusiello
EOG - Eye of Gnome: visualizzatore di immagini.
The GNOME Desktop
Informatica Andrea Fusiello
Signal Processing,
Image Processing,
Statistics,
Optimization,
Neural Networks
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Vittorio Murino
eCos - Sistema operativo cross platform (versione PowerPC), open source, royalty-free, per applicazioni in tempo reale embedded.
eCos
Informatica Graziano Pravadelli
kernel call manpages - Documentazione delle runtime C e chiamate del sistema operativo.
Linux kernel documentation
Informatica Graziano Pravadelli
Agility 1.1
Commerciale
The Agility Compiler: Tool di supporto a SystemC per la progettazione di circuiti logici.
Celoxica
Informatica Davide Quaglia
BlueJ - Ambiente integrato di sviluppo didattico per il linguaggio Java.
BlueJ
Informatica Ugo Solitro
graphviz - Software per la generazione e visualizzazione di grafi.
Graphviz
Informatica Fausto Spoto
JDK 1.5 Java Development Kit.
Sun Microsytems
Informatica Fausto Spoto
Octave v 3.0 (2.9.11+) Octave: Linguaggio / gui per la manipolazione numerica. Parziale compatibilità con il pacchetto Matlab.
GNU Octave
Informatica Marco Squassina
ArgoUML - ArgoUML: IDE Per la progettazione di software tramite UML.
ArgoUML @ Tigris.org
Informatica Luca Viganò
USE - A UML-based Specification Environment: Ambiente per la progettazione di software tramite l'uso di UML e sua verifica tramite espressioni OCL.
Progetto USE presso l'Universià di Brema
Informatica Luca Viganò
ariadne - Ariadne: strumento per creazione di mappe di raggiungibilità e sicurezza tramite modellazione di automi.
Pagina temporanea
Informatica Tiziano Villa
ddt - d/dt: strumento per la reachability analisys di sistemi ibridi e continui.
Introduzione a d/dt
Informatica Tiziano Villa
giotto - Giotto: Ambiente programmabile per sistemi embedded distribuito.
Progetto ospitato dal Centro Pederson Electronic System Design
Informatica Tiziano Villa
HyTech - Hybrid Technology Tool: strumento per la verifica automatica di sistemi embedded.
HyTech: The HYbrid TECHnology Tool
Informatica Tiziano Villa
Kronos - Kronos: strumento per la verifica di sistemi in tempo reale embedded.
The tool Kronos
Informatica Tiziano Villa
PHAVer - Polyhedral Hybrid Automaton Verifyer: Strumento per la verifica di sistemi ibridi.
Goran Frehse's PHAVer
Informatica Tiziano Villa
Timestool - Times: A Tool for Modeling end Implementation of Embedded Systems.
Sito ufficiale e case studies
Informatica Tiziano Villa
Uppaal - IDE per la modellazione, simulazione e verifica di sistemi Real Time.
Uppsala / Aalborg Universities, Uppaal project
Informatica Tiziano Villa

Anno Accademico 2006/07

Richieste pervenute per l'anno accademico 2006 - 2007:

aggiornato al 5 Settembre 2007
Nome versione
richiesta
Descrizione / Riferimenti CdL Docente
sml/nj - Standard ML of New Jersey: compilatore Standard ML, un linguaggio rigoroso, funzionale, modulare, e polimorfico con forte tipizzazione.
Standard ML website
Informatica Maria Paola Bonacina
GIMP - GNU Image Manipulation Program: software di fotoritocco.
The GIMP
Informatica Andrea Colombari
joe - Joe's Own Editor: editor di testo per terminale.
Joe's Own Editor
Informatica Andrea Colombari
LaTeX - LATEX: software per l'impaginazione di documenti.
LaTeX
Informatica Andrea Colombari
Mesa3D,
freeGLUT
- Librerie e intestazioni C per API compatibili OpenGL, e OpenGL Utils.
The Mesa 3D Graphics Library
Informatica Andrea Colombari
Open Office - Open Office: Suite con word processor, foglio di calcolo, presentazione, database, disegno.
OpenOffice.org
Informatica Andrea Colombari
FaCT - Fast Classification of Terminologies: software per Logica Descrittiva.
CORBA FaCT
Informatica Matteo Cristani
Matlab -
Commerciale
Ambiente integrato per manipolazione numerica.
The MathWorks
Informatica Stefano De Marchi
Ambulant - Ambulant SMIL 2.1 and SVG Player:
The Ambulant Player
Informatica Alessandra Di Pierro
LimSee2 - LimSee2: applicazione Java per authoring SMIL 1.0 e 2.0.
INRIA LimSee2
Informatica Alessandra Di Pierro
PostgreSQL - Postgres: database relazionale SQL 99 compliant.
Il database lavora localmente ed in connessione con un server con account per gli studenti.
PosgreSQL
Informatica Alessandra Di Pierro
Tomcat - Apache Tomcat: sistema di riferimento per sviluppo Java Servlet / Java Server Pages. Web server pagine dinamiche.
The Apache Software Foundation
Informatica Alessandra Di Pierro
Matlab,
Simulink
-
Commerciale
Ambiente integrato per l'analisi e manipolazioni di segnali.
The MathWorks
Informatica Paolo Fiorini
BVE - Bliff Visual Editor: Editor file per software SIS
-
Informatica Franco Fummi,
Davide Quaglia
SIS - Design e verifica circuiti VLSI.
SIS Unofficial
Informatica Franco Fummi,
Davide Quaglia
Signal Processing,
Image Processing,
Statistics,
Optimization,
Neural Networks
-
Commerciale
Toolbox specializzati per Matlab.
The MathWorks
Informatica Vittorio Murino
gcc - Suite di compilatori GNU. Compilatore linguaggio C.
GNU Compiler Collection
Informatica Graziano Pravadelli
telnet - Client per terminale remoto su connessioni TCP in chiaro. Informatica Davide Quaglia
audacity - Editor audio multipiattaforma.
http://audacity.sourceforge.net
Informatica Davide Rocchesso
Octave - Ambiente open source per manipolazione numerica.
GNU Octave
Informatica Davide Rocchesso
Pure Data - Ambiente modulare per analisi, sintesi ed elaborazione multimedia.
Miller Puckette home page
Informatica Davide Rocchesso
snd - Editor audio e generatore di suoni.
http://ccrma.stanford.edu/software/snd/snd/snd.html
Informatica Davide Rocchesso
Open Office 1.1 Suite con elaborazione testi, foglio di calcolo, base dati, presentazione.
OpenOffice.org
Informatica Paola Siri
Emacs - Editor customizzabile, estensibile ed auto documentante.
GNU Emacs
Informatica Ugo Solitro
gcc - Suite di compilatori GNU. Compilatore linguaggio C.
GNU Compiler Collection
Informatica Ugo Solitro
graphviz - Software per la generazione e visualizzazione di grafi.
Graphviz
Informatica Fausto Spoto
JDK 1.5 Java Development Kit.
Sun Microsytems
Informatica Fausto Spoto
 
spdbv - Software per la visualizzazione e confronto di proteine.
Swiss PDB Viewer
Biotecnologie Alejandro Giorgetti,
Domenico Raimondo
VMD 1.8 Visual Molecular Dynamics: sistema per la visualizzazione e l'analisi di grandi sistemi molecolari.
Visual Molecular Dynamics
Biotecnologie Alejandro Giorgetti,
Domenico Raimondo
g++ - Suite di compilatori GNU. Compilatore linguaggio C++.
GNU Compiler Collection
Biotecnologie Roberto Segala

Software installato a Settembre 2006

Software disponibile durante l'A.A. 2005/06 e precedenti.

Nome versione Descrizione / Riferimenti
BMRT 2.5 Compatibile Pixar Renderman, non più supportato
Corba FaCT 3.2 http://www.cs.man.ac.uk/~horrocks/FaCT/
Protege-2000 1.8 http://protege.stanford.edu/doc/users_guide/index.html
R 1.9.1 http://www.r-project.org/
Borland Together 6.0.1 http://www.borland.com/downloads/download_together.html
J2ME Wireless Toolkit 2.2 http://java.sun.com/products/sjwtoolkit/
Ambulant Player http://www.cwi.nl/projects/Ambulant/
argouml 0.8.1a http://argouml.tigris.org/v08/dc2.html
audacity http://audacity.sourceforge.net/
clustalx 1.81 http://bips.u-strasbg.fr/fr/Documentation/ClustalX/
ddd http://sourceforge.net/projects/ddd/
Eclipse 3.1.1 http://www.eclipse.org
eiffel 1.3S http://www.wwww.com/sig/
Elan 3.4 http://www.loria.fr/ELAN
Ganttproject 1.10.3 http://ganttproject.sourceforge.net
gnat http://www.gnu.org/software/gnat/gnat.html
graphviz 2.2 http://www.graphviz.org/Download.php
jakarta-tomcat 3.3.2 http://tomcat.apache.org/
Java (JDK) 1.4.2_3 Sun Microsytems
Jed
+ estensioni per LaTeX, AFT, ABC
2004-08-23 http://www.jedsoft.org/jed/
latex2html http://saftsack.fs.uni-bayreuth.de/~latex2ht/
Mathematica (COMMERCIALE) http://www.wolfram.com
Matlab 6 (COMMERCIALE) http://www.mathworks.com
Mico Corba http://www.mico.org/
Modeltech 5.4beta http://www.model.com/
Netbeans 2004-08-23 Sun Microsytems
ns-allinone 2.28-HSN http://www.isi.edu/nsnam/ns/
ocaml 3.0.7 http://caml.inria.fr/
octave 2.1.57 http://www.octave.org
phylip 3.6 http://evolution.genetics.washington.edu/phylip/phylip.html
Poseidon 3.x http://www.gentleware.com/downloadcenter.0.html
sicstus 3.11.1 http://www.sics.se/isl/sicstuswww/site/dontpanic.html
sis 1.3 http://embedded.eecs.berkeley.edu/Alumni/pchong/sis.html
snd http://ccrma.stanford.edu/software/snd/snd/snd.html
systemc 2.1.v1-HSN http://www.systemc.org/
use 2.3.0 http://www.db.informatik.uni-bremen.de/projects/USE/