Up a level |

- Library of Congress Subject Areas (327)
- Q Science (99)
- QA Mathematics (99)
**QA75 Electronic computers. Computer science**(98)

- QA Mathematics (99)

- Q Science (99)

Group by: Creators | Item Type

Number of items at this level: **98**.

Abbate, Stefano
(2012)
*Wireless sensing devices: from research to real applications in logistics and healthcare.*
Advisor: Avvenuti, Prof. Marco. pp. 140.
[IMT PhD Thesis]

Abd Alrahman, Yehia Moustafa
(2017)
*A Foundational Theory for Attribute-based Communication.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Loreti, Prof. Michele . pp. 188.
[IMT PhD Thesis]

Abdelsamea Ahmed, Mohammed Mohammed
(2015)
*Regional active contours based on variational level sets
and machine learning for image segmentation.*
Advisor: Gnecco, Dr Giorgio. Coadvisor: Gaber, Prof. Mohammed Medhat . pp. 171.
[IMT PhD Thesis]

Abeti, Luca
(2009)
*Business-oriented model driven development of service oriented architectures.*
Advisor: Ciancarini, Prof. Paolo. pp. 234.
[IMT PhD Thesis]

Accongiagioco, Giovanni
(2014)
*Modeling and analysis of the internet topology.*
Advisor: Lenzini, Prof. Luciano. Coadvisor: Gregori, Ing. Enrico . pp. 191.
[IMT PhD Thesis]

Ahmed, Iffat
(2013)
*Multimedia quality improvements for next generation networks.*
Advisor: Badia, Dr. Leonardo. pp. 167.
[IMT PhD Thesis]

Anchora, Luca
(2012)
*Spectrum sharing in mobile cellular networks: an alternative approach for efficient resource utilization.*
Advisor: Badia, Dr. Leonardo. pp. 125.
[IMT PhD Thesis]

Andric, Marina
(2017)
*Programming Abstractions for Data Sharing in Distributed Spaces.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Lluch Lafuente, Dr. Alberto . pp. 171.
[IMT PhD Thesis]

Bacciu, Davide
(2008)
*A perceptual learning model to discover the hierarchical latent structure of image collections.*
Advisor: Starita, Prof. Antonina. Coadvisor: Lisboa, Prof. Paulo J. G. . pp. 354.
[IMT PhD Thesis]

Bellandi, Andrea
(2008)
*Extending ontology queries with bayesian network reasoning.*
Advisor: Turini, Prof. Franco. pp. 154.
[IMT PhD Thesis]

Berlingerio, Michele
(2009)
*Graph and network data: mining the temporal dimension.*
Advisor: Giannotti, Dr. Fosca. Coadvisor: Bonchi, Dr. Francesco . pp. 157.
[IMT PhD Thesis]

Bonari, Jacopo
(2021)
*Novel interface discretisation methods for contact mechanics.*
Advisor: Paggi, Prof. Marco. Coadvisor: Popp, Dr. Alexander . pp. 161.
[IMT PhD Thesis]

Borassi, Michele
(2016)
*Algorithms for metric properties of large real-world networks from theory to practice and back.*
Advisor: Crescenzi, Prof. Pierluigi. Coadvisor: De Nicola, Prof. Rocco . pp. 262.
[IMT PhD Thesis]

Boschetto, Davide
(2016)
*Quantitative methods for computer aided decision support systems in confocal laser endomicroscopy imaging of the gastrointestinal tract.*
Advisor: Caldarelli, Prof. Guido. Coadvisor: Grisan, Prof. Enrico . pp. 168.
[IMT PhD Thesis]

Botta, Alessio
(2008)
*Automatic context adaptation of fuzzy systems.*
Advisor: Lazzerini, Prof. Beatrice. Coadvisor: Marcelloni, Prof. Francesco . pp. 173.
[IMT PhD Thesis]

Bruno, Matteo
(2021)
*Maximum entropy methods for the statistical analysis of
bipartite networks: fast computation and applications.*
Advisor: Garlaschelli, Prof. Diego. Coadvisor: Caldarelli, Prof. Guido . pp. 141.
[IMT PhD Thesis]

Bucchiarone, Antonio
(2008)
*Dynamic software architectures for global computing system.*
Advisor: Gnesi, Dr. Stefania. pp. 195.
[IMT PhD Thesis]

Budinich, Michele
(2011)
*Auctions and mechanisms in keyword-based advertising.*
Advisor: Codenotti, Dr. Bruno. pp. 179.
[IMT PhD Thesis]

Buravlev, Vitaly
(2018)
*Improving the efficiency of tuple spases.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Mezzina, Dott. Claudio Antares . pp. 142.
[IMT PhD Thesis]

Caporusso, Nicholas
(2012)
*Issues, challenges and practices in advancing pervasive
human-computer interaction for people with combined hearing and vision impairments.*
Advisor: Sbattella, Prof. Licia. pp. 223.
[IMT PhD Thesis]

Carlini, Emanuele
(2012)
*Combining Peer-to-Peer and Cloud Computing for large scale on-line games.*
Advisor: Ricci, Prof. Laura. Coadvisor: Coppola, Prof. Massimo . pp. 138.
[IMT PhD Thesis]

Catenacci Volpi, Nicola
(2013)
*The modularity of attention from an artificial intelligence perspective.*
Advisor: Ciancarini, Prof. Paolo. Coadvisor: Pezzullo, Dr. Giovanni . pp. 156.
[IMT PhD Thesis]

Celestini, Alessandro
(2013)
*On the analysis and evaluation of trust and reputation systems.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Boreale, Prof. Michele . pp. 154.
[IMT PhD Thesis]

Ciaramella, Alessandro
(2011)
*Situation awareness in mobile recommendation systems.*
Advisor: Lazzerini, Prof. Beatrice. pp. 117.
[IMT PhD Thesis]

Coletto, Mauro
(2017)
*Analysis of Polarized Communities in Online Social Networks.*
Advisor: Lucchese, Dr. Claudio. Coadvisor: De Nicola, Prof. Rocco . pp. 207.
[IMT PhD Thesis]

Colombo, Diego
(2009)
*Domain driven program evolution.*
Advisor: Cisternino, Dr. Antonio. pp. 210.
[IMT PhD Thesis]

Davidescu, George
(2020)
*The capacitated spanning forest problem.*
Advisor: Caldarelli, Prof. Guido. pp. 128.
[IMT PhD Thesis]

Dazzi, Patrizio
(2008)
*Tools and models for high level parallel and Grid programming.*
Advisor: Danelutto, Prof. Marco. pp. 192.
[IMT PhD Thesis]

De Francisci Morales, Gianmarco
(2012)
*Big data and the web: algorithms for data intensive scalable computing.*
Advisor: Lucchese, Dr. Claudio. Coadvisor: Baraglia, Dr. Ranieri . pp. 170.
[IMT PhD Thesis]

Del Toro, Rosaria
(2019)
*Dynamic homogenization of composite viscoelastic materials.*
Advisor: Paggi, Prof. Marco. Coadvisor: Bacigalupo, Prof. Andrea . pp. 158.
[IMT PhD Thesis]

Del Vicario, Michela
(2016)
*The role of confirmation bias in the emergence of echo chambers: a data-driven approach.*
Advisor: Caldarelli, Prof. Guido. Coadvisor: Quattrociocchi, Dr. Walter . pp. 127.
[IMT PhD Thesis]

Erta, Alessandro
(2008)
*A general modular framework for resource allocation in IEEE 802.16.*
Advisor: Lenzini, Prof. Luciano. Coadvisor: Gregori, Dr. Enrico . pp. 108.
[IMT PhD Thesis]

Furletti, Barbara
(2009)
*Ontology-driven knowledge discovery.*
Advisor: Turini, Prof. Franco. pp. 183.
[IMT PhD Thesis]

Genovali, Luca
(2009)
*A Voronoi based framework for the definition of P2P distributed virtual environments.*
Advisor: Ghezzi, Prof. Carlo. Coadvisor: Baiardi, Prof. Fabrizio . pp. 190.
[IMT PhD Thesis]

Giuffrida, Mario Valerio
(2018)
*Learning to Count Leaves of Plants.*
Advisor: Tsaftaris, Prof. Sotirios. Coadvisor: Ricciardi, Prof. Emiliano . pp. 260.
[IMT PhD Thesis]

Guanciale, Roberto
(2009)
*The signal calculus: beyond message based coordination for services.*
Advisor: Ferrari, Prof. Gianluigi. pp. 170.
[IMT PhD Thesis]

Guiggiani, Alberto
(2015)
*Embedded model predictive control: finite precision arithmetic
and aerospace applications.*
Advisor: Bemporad, Prof. Alberto. Coadvisor: Patrinos, Dott. Panagiotis . pp. 240.
[IMT PhD Thesis]

Guillén Hernández, Teresa
(2020)
*Computational fracture mechanics for reliability of composites at the micro and macro scales.*
Advisor: Paggi, Prof. Marco. Coadvisor: Reinoso Cuevas, Dr. José Antonio . pp. 170.
[IMT PhD Thesis]

Herceg, Domagoj
(2020)
*Stochastic model predictive control of nonlinear and uncertain systems.*
Advisor: Bemporad, Prof. Alberto. Coadvisor: Sopasakis, Dr. Pantelis . pp. 149.
[IMT PhD Thesis]

Karamshuk, Dmytro
(2013)
*Modeling and understanding the role of human mobility in the cyber-physical world.*
Advisor: Conti, Dr. Marco. Coadvisor: Lenzini, Prof. Luciano . pp. 135.
[IMT PhD Thesis]

Kauer, Anne Kersten
(2013)
*Formal specification, verification and analysis of long-running transactions.*
Advisor: Bruni, Dr. Roberto. Coadvisor: Ferreira, Dr. Carla . pp. 215.
[IMT PhD Thesis]

Kondepu, Koteswararao
(2012)
*Energy-efficient discovery strategies for WSNs with mobile elements.*
Advisor: Anastasi, Prof. Giuseppe. pp. 129.
[IMT PhD Thesis]

Lanciani, Roberta
(2017)
*Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 123.
[IMT PhD Thesis]

Latafat, Puya
(2020)
*Distributed proximal algorithms for large-scale structured optimization.*
Advisor: Patrinos, Prof. Panagiotis. Coadvisor: Bemporad, Prof. Alberto . pp. 235.
[IMT PhD Thesis]

Lenarda, Pietro
(2017)
*Modeling and simulation of a class of nonlinear coupled reaction-diffusion problems for green applications.*
Advisor: Paggi, Prof. Marco. pp. 155.
[IMT PhD Thesis]

Lopez Farias, Rodrigo
(2015)
*Time series forecasting based on classification
of dynamic patterns.*
Advisor: Bemporad, Prof. Alberto. Coadvisor: Sopasakis, Prof. Pantelis . pp. 140.
[IMT PhD Thesis]

Luong Thanh, Binh
(2011)
*Generalized discrimination discovery on semi-structured data supported by ontology.*
Advisor: Turini, Prof. Franco. Coadvisor: Ruggieri, Prof. Salvatore . pp. 195.
[IMT PhD Thesis]

Maggi, Alessandro
(2020)
*The DReAM framework: a logic-inspired approach to reconfigurable system modeling.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Sifakis, Prof. Joseph . pp. 172.
[IMT PhD Thesis]

Marulli, Maria Rosaria
(2021)
*New methods to assess the performance of structural
joints with microstructures.*
Advisor: Paggi, Prof. Marco. Coadvisor: Reinoso Cuevas, Prof. José Antonio . pp. 264.
[IMT PhD Thesis]

Masti, Daniele
(2021)
*Machine learning methods for control, identification, and
estimation.*
Advisor: Bemporad, Prof. Alberto. pp. 150.
[IMT PhD Thesis]

Medić, Doriana
(2019)
*Relative expressiveness of calculi for reversible concurrency.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Mezzina, Dott. Claudio Antares . pp. 170.
[IMT PhD Thesis]

Mezzina, Leonardo Gaetano
(2009)
*Typing Services.*
Advisor: Bruni, Dr. Roberto. pp. 227.
[IMT PhD Thesis]

Minervini, Massimo
(2015)
*Application-Aware Image Compression and Sensing Platform for Plant Phenotyping.*
Advisor: Tsaftaris, Prof. Sotirios. pp. 229.
[IMT PhD Thesis]

Mkrtchyan, Lusine
(2010)
*Alternative solutions to traditional approaches to risk analysis and decision making using fuzzy logic.*
Advisor: Lazzerini, Prof. Beatrice. pp. 205.
[IMT PhD Thesis]

Mori, Marco
(2012)
*A framework to support consistent design and evolution of adaptive systems.*
Advisor: Inverardi, Prof. Paola. pp. 135.
[IMT PhD Thesis]

Morichetta, Andrea
(2016)
*A formal approach to decision support on Mobile Cloud Computing applications.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 145.
[IMT PhD Thesis]

Morisi, Rita
(2016)
*Graph–based techniques and spectral graph theory in control and machine learning.*
Advisor: Gnecco, Prof. Stefano. pp. 215.
[IMT PhD Thesis]

Nagy, Ahmed Said
(2013)
*Leveraging semantic techniques for social media analysis applied to disaster management.*
Advisor: De Nicola, Prof. Rocco. pp. 227.
[IMT PhD Thesis]

Nenzi, Laura
(2016)
*A logic-based approach to specify and design spatio-temporal behaviours of complex systems.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 199.
[IMT PhD Thesis]

Nurchis, Maddalena
(2011)
*Novel routing paradigms for wireless Mesh Networks.*
Advisor: Lenzini, Prof. Luciano. Coadvisor: Conti, Dr. Marco . pp. 156.
[IMT PhD Thesis]

Oksuz, Ilkay
(2017)
*Joint registration and segmentation of CP-BOLD MRI.*
Advisor: Tsaftaris, Prof. Sotirios. Coadvisor: Ricciardi, Prof. Emiliano . pp. 170.
[IMT PhD Thesis]

Pampaloni, Francesca
(2014)
*Quantitative models of information flow: tuning the power of the adversary.*
Advisor: Boreale, Prof. Michele. Coadvisor: Tiezzi, Dott. Francesco . pp. 144.
[IMT PhD Thesis]

Panicucci, Francesco
(2009)
*Wire delay effects reduction techniques and topology optimization in NUCA based CMP systems.*
Advisor: Prete, Prof. Cosimo Antonio. pp. 136.
[IMT PhD Thesis]

Paolini, Michela
(2014)
*Information-theoretic models of confidentiality and privacy.*
Advisor: Boreale, Prof. Michele. Coadvisor: Tiezzi, Dott. Francesco . pp. 146.
[IMT PhD Thesis]

Pappalardo, Giuseppe
(2017)
*The financial value of data.*
Advisor: Caldarelli, Prof. Guido. Coadvisor: Di Matteo, Prof. Tiziana . pp. 100.
[IMT PhD Thesis]

Pasquali, Marco
(2008)
*Design and evaluation of scalable approaches to schedule a stream of batch jobs in large-scale grids.*
Advisor: Baraglia, Dr. Ranieni. pp. 159.
[IMT PhD Thesis]

Pennacchioli, Diego
(2014)
*Big data, complex networks and markets.*
Advisor: Giannotti, Dr. Fosca. Coadvisor: Pedreschi, Prof. Dino . pp. 168.
[IMT PhD Thesis]

Pompa, Gabriele
(2016)
*Deterministic shift extension of affine models for variance derivatives.*
Advisor: Pammolli, Prof. Fabio. Coadvisor: Renò, Prof. Roberto . pp. 158.
[IMT PhD Thesis]

Pérez Verona, Isabel Cristina
(2020)
*Approaches for the exact reduction of large-scale biochemical models.*
Advisor: Tribastone, Prof. Mirco. Coadvisor: Vandin, Prof. Andrea . pp. 156.
[IMT PhD Thesis]

Rapisardi, Giacomo
(2019)
*Critical Phenomena in Multilayer Networks.*
Advisor: Caldarelli, Prof. Guido. Coadvisor: Cimini, Dott. Giulio . pp. 88.
[IMT PhD Thesis]

Roychowdhury, Soumali
(2019)
*Supervised and Semi-Supervised Learning in Vision using Deep Neural Networks.*
Advisor: Diligenti, Prof. Michelangelo. Coadvisor: De Nicola, Prof. Rocco . pp. 312.
[IMT PhD Thesis]

Sampathirao, Ajay Kumar
(2016)
*Parallel methods for solving stochastic optimal control problems: control of drinking water networks.*
Advisor: Bemporad, Prof. Alberto. Coadvisor: Sopasakis, Dr. Pantelis . pp. 199.
[IMT PhD Thesis]

Sani, Luca
(2014)
*An analysis of the completeness of the internet AS-level topology discovered by route collectors.*
Advisor: Lenzini, Prof. Luciano. Coadvisor: Gregori, Ing. Enrico . pp. 111.
[IMT PhD Thesis]

Santini, Francesco
(2009)
*Soft constraint tools for quality aspects: language, frameworks and aggregation schemes.*
Advisor: Bistarelli, Prof. Stefano. pp. 288.
[IMT PhD Thesis]

Saraf, Nilay
(2019)
*Bounded-variable least-squares methods for
linear and nonlinear model predictive control.*
Advisor: Bemporad, Prof. Alberto. Coadvisor: Bernardini, Dr. Daniele . pp. 159.
[IMT PhD Thesis]

Scatena, Guido
(2011)
*Abstract probabilistic semantics for the analysis of biological systems models.*
Advisor: Barbuti, Prof. Roberto. Coadvisor: Levi, Prof. Francesca . pp. 167.
[IMT PhD Thesis]

Schmidt, Ana Lucia
(2018)
*A quantitative analysis of news consumption on Facebook.*
Advisor: Quattrociocchi, Dr. Walter. pp. 161.
[IMT PhD Thesis]

Scoca, Vincenzo
(2018)
*Improving service quality in cloud computing : from definition to deployment.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Uriarte, Dott. Rafael Brundo . pp. 110.
[IMT PhD Thesis]

Sebastio, Stefano
(2014)
*Enriching volunteer clouds with self-* capabilities.*
Advisor: Lluch-Lafuente, Dr. Alberto. Coadvisor: Amoretti, Dr. Michele . pp. 143.
[IMT PhD Thesis]

Seeber, Jens
(2020)
*Logical completeness for string diagrams.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Bonchi, Dr. Filippo . pp. 154.
[IMT PhD Thesis]

Shams, Farshad
(2012)
*Cooperative techniques in wireless communications: a
game- and information- theoretic analysis.*
Advisor: Luise, Prof. Marco. pp. 260.
[IMT PhD Thesis]

Silvestri, Daniela
(2017)
*Searching in the Dark: Exploring the Technological Search Process during the Business Cycle and in the Pharmaceutical Industry.*
Advisor: Riccaboni, Prof. Massimo. Coadvisor: Belderbos, Prof. Rene . pp. 185.
[IMT PhD Thesis]

Skalli, Habiba
(2009)
*Channel assignment, routing and cross layer issues for multi-radio multi-channel wireless mesh netorks.*
Advisor: Lenzini, Prof. Luciano. Coadvisor: Conti, Prof. Marco . pp. 167.
[IMT PhD Thesis]

Stawowy, Michele
(2016)
*Plan Synthesis in Explicit-Input Knowledge and Action Bases.*
Advisor: Calvanese, Prof. Diego. pp. 135.
[IMT PhD Thesis]

Stella, Lorenzo
(2017)
*Proximal envelopes: Smooth optimization algorithms for nonsmooth problems.*
Advisor: Patrinos, Prof Panagiotis. Coadvisor: Bemporad, Prof. Alberto . pp. 199.
[IMT PhD Thesis]

Straka, Mika Julian
(2018)
*Entropy-based methods for the statistical validation of bipartite networks.*
Advisor: Caldarelli, Prof. Guido. Coadvisor: Saracco, Dott. Fabio . pp. 171.
[IMT PhD Thesis]

Strollo, Daniele
(2009)
*Designing and experimenting coordination primitives for service oriented computing.*
Advisor: Ferrari, Prof. Gianluigi. Coadvisor: Tuosto, Dr. Emilio . pp. 146.
[IMT PhD Thesis]

Taneja, Sonia
(2012)
*A game-theoretical analysis of Grid job scheduling.*
Advisor: Buscemi, Dr. Maria Grazia. Coadvisor: Montanari, Prof. Ugo . pp. 113.
[IMT PhD Thesis]

Tcheukam Siwe, Alain
(2013)
*Prosumer planning in the DEZENT context of regenerative power production.*
Advisor: Montanari, Prof. Ugo. pp. 105.
[IMT PhD Thesis]

Themelis, Andreas
(2018)
*Proximal algorithms for structured nonconvex optimization.*
Advisor: Patrinos, Prof Panagiotis. Coadvisor: Bemporad, Prof. Alberto . pp. 215.
[IMT PhD Thesis]

Uriarte, Rafael Brundo
(2015)
*Supporting Autonomic Management of Clouds:
Service-Level-Agreement, Cloud Monitoring
and Similarity Learning.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 208.
[IMT PhD Thesis]

Vahabi, Hossein
(2012)
*Recommendation techniques for Web search and social media.*
Advisor: Baeza-Yates, Prof. Ricardo. Coadvisor: Silvestri, Dr. Fabrizio . pp. 170.
[IMT PhD Thesis]

Vandin, Andrea
(2013)
*Specification and analysis of systems with dynamic structure.*
Advisor: Gadducci, Prof. Fabio. Coadvisor: Lluch Lafuente, Dr. Alberto . pp. 186.
[IMT PhD Thesis]

Vecchio, Massimo
(2009)
*Novel approaches to in-network processing for the reduction of energy consumption in wireless sensor networks.*
Advisor: Lazzerini, Prof. Beatrice. Coadvisor: Marcelloni, Prof. Francesco . pp. 146.
[IMT PhD Thesis]

Venianaki, Maria
(2019)
*Cancer tissue classification from DCE-MRI data
using pattern recognition techniques.*
Advisor: De Nicola, Prof. Rocco. Coadvisor: Salvetti, Prof. Ovidio . pp. 135.
[IMT PhD Thesis]

Waizmann, Tabea
(2021)
*The effect of compression and expansion on stochastic reaction networks.*
Advisor: Tribastone, Prof. Mirco. pp. 114.
[IMT PhD Thesis]

Zanda, Michele
(2008)
*Methods and tools to ensure web usability.*
Advisor: Prete, Prof. Cosimo Antonio. Coadvisor: Pietrini, Prof. Pietro . pp. 191.
[IMT PhD Thesis]

Zollo, Fabiana
(2016)
*Emotional contagion and group polarization: experimental evidence on Facebook.*
Advisor: Quattrociocchi, Dr. Walter. Coadvisor: Calderelli, Prof. Guido . pp. 120.
[IMT PhD Thesis]