UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Subject is "Area01 - Scienze matematiche e informatiche > INF/01 - Informatica"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type
Jump to: A | B | C | D | F | G | L | M | N | R | S | T
Number of items at this level: 45.

A

Augusto, Ciuffoletti and L., Merola and F., Palmieri and Sivio, Pardi and G., Russo (2010) Optimizing bulk data transfers using network measurements: a practical case. Journal of Physics - Conference series, 219 (6). ISSN 1742-6588

B

Baiardi, Fabrizio and Sgandurra, Daniele and Telmon, Claudio (2009) Hierarchical, model-based risk management of critical infrastructures. Reliability Engineering & System Safety, 94/200 (9). pp. 1403-1415. ISSN 0951-8320

Baldassarri, Monica and Mogorovich, Paolo and Salvatori, Enrica (2009) Database, WebGIS, storia ed archeologia: riflessioni metodologiche dietro un progetto sulla Lunigiana medievale. In: Geografie del popolamento: casi di studio, metodi e teorie. Università degli Studi di Siena, Siena. (In Press)

Barbuti, Roberto and Caravagna, Giulio and Maggiolo-Schettini, Andrea and Milazzo, Paolo (2008) An Intermediate Language for Stochastic Simulation of Biological Systems. Theoretical Computer Science . ISSN 0304-3975 (In Press)

Bartoloni, Leonardo and Canciani, Andrea and Cisternino, Antonio and Morelli, Davide (2013) Extending a probabilistic language based upon Sampling Functions to model correlation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Battaglia, Giovanni and Grossi, Roberto and Cangelosi, Davide and Pisanti, Nadia (2009) Masking Patterns in Sequences: A New Class of Motif Discovery with Don't Cares. Theoretical Computer Science, 410 (43). pp. 4327-4340. ISSN 0304-3975

Bellia, Marco and Occhiuto, Maria Eugena (2013) Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Del Corso, Gianna M. (2012) A Condensed Representation of Almost Normal Matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2013) D-gap functions and descent techniques for solving quilibrium problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2013) Twelve monotonicity conditions arising from algorithms for equilibrium problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bucchioni, Cinzia (2005) Dentro gli openUrl resolver: magie e limiti. In: [Seminario Annuale del Caspur], 10-11 Nov 2005, Napoli, Italia. (Unpublished)

Bucchioni, Cinzia (2006) Lo standard Openurl: evoluzioni e applicazioni. In: Seminario monografico AIB-Lazio, 3 Marzo 2006, Roma, Italia. (Unpublished)

Buono, Daniele and De Matteis, Tiziano and Mencagli, Gabriele and Vanneschi, Marco (2013) Towards a Methodology for Parallel Data Stream Processing: application to Parallel Stream Join. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

C

Cacchiani, Valentina and Galli, Laura and Toth, Paolo (2013) A Tutorial on Train Timetabling and Train Platforming Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Calamoneri, Tiziana and Frangioni, Antonio and Sinaimeri, Blerina (2013) Pairwise Compatibility Graphs of Caterpillars. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Scutellà, Maria Grazia (2013) Joint assignment, scheduling and routing models to Home Care optimization: a pattern based approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2013) An iterative procedure for the Paretian ranking of competing projects. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2013) A multicriteria method for a pluarality of deciders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2009) Collision avoidance for Delay_Req messages in broadcast media. In: International IEEE Symposium on Precision Clock Synchronization, 12-16 ottobre 2009, Brescia, Italia.

Ciuffoletti, Augusto (2014) A simple and generic interface for a Cloud Monitoring System. In: CLOSER 2014 - 4th International Conference on Cloud Computing and Services Science, April 2-5 2014, Barcelona.

Ciuffoletti, Augusto (2009) The wandering token: Congestion avoidance of a shared resource. Future Generation Computer Systems . ISSN 0167-739X (In Press)

Ciuffoletti, Augusto (2010) The wandering token: Congestion avoidance of a shared resource. Future Generation Computer Systems, 2010 (26). pp. 473-478. ISSN 0167-739X

Ciuffoletti, Augusto and Alari, Gianluigi (1997) Implementing a probabilistic clock synchronization algorithm. Real-Time Systems, 13 (1). pp. 25-46. ISSN 0922-6443

Ciuffoletti, Augusto and Asim, Ali (2009) Scalable concurrency control in a dynamic membership. In: Grid and Services Evolution. Springer, pp. 205-214. ISBN 978-0-387-85965-1

Ciuffoletti, Augusto and Bustos-Jimenez, Javier and Bersano, Nicolas and Schaeffer, Satu Elisa and Piquer, Jose Miguel and Iosup, Alexandru (2008) Estimating The Size Of Peer-To-Peer Networks Using Lambert’s W Function. In: Grid Computing - Achievements and Prospects. Springer, pp. 61-72. ISBN 978-0-387-09456-4

Ciuffoletti, Augusto and Polychronakis, Michalis (2007) Architecture of a Network Monitoring Element. In: Euro-Par 2006 Workshops: Parallel Processing - Selected papers. Springer, pp. 5-14. ISBN 978-3-540-72226-7

Colazzo, Dario and Ghelli, Giorgio and Sartiani, Carlo (2008) Efficient inclusion for a class of XML types with interleaving and counting. Information Systems, Availa (Availa). ISSN 0306-4379 (In Press)

Conti, Marco and Passarella, Andrea and Marzini, Emanuel and Mascitti, Davide (2012) Services selection and composition in Opportunistic Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

D

De Francesco, Nicoletta and Lettieri, Giuseppe and Vaglini, Gigliola and Martini, Luca (2010) Partial model checking via abstract interpretation. Information Processing Letters, 110 (3). pp. 99-103. ISSN 0020-0190

Denard, Hugh and Salvatori, Enrica and Simi, Maria (2011) Learning by Building in SL: A Reflection on an Interdisciplinary and International Experience. In: Multi-User Virtual Environments for the Classroom: Practical Approaches to Teaching in Virtual Worlds. IGI Global, Hershey PA, pp. 134-158. ISBN 978-1-60960-545-2

F

Federico, Maria and Pisanti, Nadia (2009) Suffix tree characterization of maximal motifs in biological sequences. Theoretical Computer Science, 410 (43). pp. 4391-4410. ISSN 0304-3975

Frangioni, Antonio and Furini, Fabio and Gentile, Claudio (2013) Approximated Perspective Relaxations: a Project&Lift Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Galli, Laura and Scutellà, Maria Grazia (2013) Delay-Constrained Shortest Paths: Approximation Algorithms and Second-Order Cone Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

G

Galli, Laura and Letchford, Adam N. (2013) A Compact Variant of the QCR Method for 0-1 Quadratically Constrained Quadratic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gorgone, Enrico (2012) Generalized Bundle Methods for Sum-Functions with "Easy" Components: Applications to Multicommodity Network Design. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

L

Lùperi, Patrizia and Gullà, Valentina (2010) Integrated library services within the web 2.0 context: from the development of tools for e-learning to open access repositories. In: International Tecnology, Education and Development Conference, INTED 2010, 8-10 marzo 2010, Valencia, Spagna.

M

Monreale, Anna and Nanni, Mirco and Grossi, Valerio and Trasarti, Roberto and Pedreschi, Dino (2013) Privacy in Distributed Monitoring. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Monreale, Anna and Wang, Wendy and Pratesi, Francesca and Rinzivillo, Salvatore and Pedreschi, Dino and Andrienko, Gennady and Andrienko, Natalia (2013) Differential Privacy in Distributed Mobility Analytics. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

N

Nanni, Mirco and Trasarti, Roberto and Monreale, Anna and Grossi, Valerio and Pedreschi, Dino (2013) Distributed monitoring of cluster quality for car insurance customer segmentation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

R

Ruggieri, Salvatore (2013) Learning from Polyhedral Sets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

S

Salvatori, Enrica (2009) Hardcore history: ovvero la storia in podcast. Analisi del podcasting dedicato ad argomenti storici in lingua inglese, francese, italiana e spagnola. Memoria e Ricerca, 30/200 (1). pp. 171-187. ISSN 1127-0195

Salvatori, Enrica (2010) La trasmissione della memoria da Guccini ad Avatar: un ritorno al futuro. In: 2060: WHAT WILL BE THE SOURCES FOR THE HISTORY OF OUR TIMES? A coming together of techniques, practices and the social sciences, 8-9 aprile 2010, Torino, Italia. (In Press)

Serban, Tudor and Coppola, Massimo (2013) Data parallel patterns on CPU/GPU mix. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Sgandurra, Daniele and Maggiari, Dario and Tamberi, Francesco and Baiardi, Fabrizio (2009) Transparent Process Monitoring in a Virtual Environment. Electronic Notes in Theoretical Computer Science, Volume (2). pp. 85-100.

T

Tahanan, Milad and van Ackooij, Wim and Frangioni, Antonio and Lacalandra, Fabrizio (2014) Large-scale Unit Commitment under uncertainty: a literature survey. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Wed Nov 26 00:00:52 2014 CET.