Items where Subject is "Area 01 - Scienze matematiche e informatiche > INF/01 INFORMATICA"

Group by: Creators | Defended on
Jump to: 15 January 2009 | 12 March 2009 | 28 May 2009 | 05 November 2009 | 15 December 2009 | 17 December 2009 | 18 December 2009 | 22 December 2009 | 2010 | 08 January 2010 | 18 January 2010 | February 2010 | March 2010 | 05 March 2010 | 10 March 2010 | 23 March 2010 | 25 March 2010 | 29 March 2010 | 30 March 2010 | 12 April 2010 | 19 April 2010 | 26 April 2010 | 26 May 2010 | December 2010 | 01 December 2010 | 10 December 2010 | 15 December 2010 | 16 December 2010 | 14 January 2011 | 18 January 2011 | 21 February 2011 | 25 February 2011 | 31 March 2011 | 05 April 2011 | 13 April 2011 | 18 April 2011 | 19 April 2011 | 21 April 2011 | 29 April 2011 | 09 November 2011 | 22 November 2011 | 25 November 2011 | 28 November 2011 | 13 December 2011 | 21 December 2011 | 29 February 2012 | 23 March 2012 | 30 March 2012 | 11 April 2012 | 12 April 2012 | 24 April 2012 | 16 May 2012 | 22 June 2012 | 05 October 2012 | 03 December 2012 | 07 December 2012 | 10 December 2012 | 20 December 2012 | 21 December 2012 | 22 January 2013 | 06 March 2013 | 22 March 2013 | 28 March 2013 | 03 April 2013 | 04 April 2013 | 08 April 2013 | 10 April 2013 | 11 April 2013 | 12 April 2013 | 15 April 2013 | 19 April 2013 | 29 April 2013 | 30 April 2013 | 16 November 2013 | 25 November 2013 | 02 December 2013 | 03 December 2013 | 09 December 2013 | 10 December 2013 | 11 December 2013 | 13 December 2013 | 16 December 2013 | 19 December 2013 | 27 January 2014 | February 2014 | 24 February 2014 | 19 March 2014 | 25 March 2014 | 26 March 2014 | 04 April 2014 | 11 April 2014 | 15 April 2014 | 23 April 2014 | 28 April 2014 | 30 April 2014 | 08 May 2014 | 09 May 2014 | 06 June 2014
Number of items at this level: 134.

15 January 2009

Nguyen, Duy Cu (2009) Testing Techniques for Software Agents. PhD thesis, University of Trento, Fondazione Bruno Kessler.

12 March 2009

Jawed, Syed Arsalan (2009) CMOS Readout Interfaces for MEMS Capacitive Microphones. PhD thesis, University of Trento, Fondazione Bruno Kessler.

28 May 2009

Vaccari, Lorenzino (2009) Integration of SDI Services: an evaluation of a distributed semantic matching framework. PhD thesis, University of Trento.

05 November 2009

Ajelli, Marco (2009) New-generation individual based models for infectious diseases transmission. PhD thesis, Bruno Kessler Foundation, University of Trento.

15 December 2009

Lepri, Bruno (2009) Multimodal Recognition of Social Behaviors and Personality Traits in Small Group Interaction. PhD thesis, Università di Trento.

17 December 2009

Somov, Andrey (2009) Power Management and Power Consumption Optimization Techniques in Wireless Sensor Networks. PhD thesis, University of Trento.

18 December 2009

Griggio, Alberto (2009) An Effective SMT Engine for Formal Verification. PhD thesis, University of Trento.

Segata, Nicola (2009) Local Approaches for Fast, Scalable and Accurate Learning with Kernels. PhD thesis, University of Trento.

22 December 2009

Valitutti, Alessandro (2009) Computational Production of Affect-Based Verbal Humorous Expressions. PhD thesis, University of Trento.

2010

Mascia, Franco (2010) Analysis of Reactive Search Optimisation Techniques for the Maximum Clique Problem and Applications. PhD thesis, University of Trento.

08 January 2010

Siena, Alberto (2010) Engineering Law-Compliant Requirements: the Nomos Framework. PhD thesis, University of Trento.

18 January 2010

Barbu, Eduard (2010) Extracting conceptual structures from multiple sources. PhD thesis, University of Trento.

Boschetti, Federico (2010) A Corpus-based Approach to Philological Issues. PhD thesis, University of Trento.

February 2010

Siahaan, Ida Sri Rejeki (2010) Security-by-Contract using Automata Modulo Theory. PhD thesis, University of Trento.

March 2010

Paoli, Silvano (2010) A high performance computational environment for UHTS studies. PhD thesis, University of Trento.

Tebaldi, Toma (2010) Computational and experimental detection of uncoupling between transcriptome and translatome changes of gene expression. PhD thesis, University of Trento.

05 March 2010

Schivo, Stefano (2010) Statistical Model Checking of Web Services. PhD thesis, University of Trento.

10 March 2010

Sameh, Abdel-Naby (2010) A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents. PhD thesis, University of Trento.

23 March 2010

Ageev, Anton (2010) Time Synchronization and Energy Efficiency in Wireless Sensor Networks. PhD thesis, University of Trento.

25 March 2010

Dematté, Lorenzo (2010) Scaling up Systems Biology: Model Construction, Simulation and Visualization. PhD thesis, University of Trento, CoSBi.

Franzén, Anders (2010) Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT. PhD thesis, University of Trento.

Romanel, Alessandro (2010) Dynamic Biological Modelling: a language-based approach. PhD thesis, University of Trento.

29 March 2010

Dinarelli, Marco (2010) Spoken Language Understanding: from Spoken Utterances to Semantic Structures. PhD thesis, University of Trento.

Kharkevich, Uladzimir (2010) Concept Search: Semantics Enabled Information Retrieval. PhD thesis, University of Trento.

30 March 2010

Ali, Raian (2010) Modeling and Reasoning about Contextual Requirements: Goal-based Framework. PhD thesis, University of Trento. Department of Information Engineering and Computer Science.

Weldemariam, Komminist Sisai (2010) Using Formal Methods for Building more Reliable and Secure e-voting Systems. PhD thesis, University of Trento, Center for Information Technology (FBK-Irst).

12 April 2010

Autayeu, Aliaksandr (2010) Descriptive Phrases: Understanding Natural Language Metadata. PhD thesis, University of Trento.

Morshed, Ahsan (2010) Aligning Controlled vocabularies for enabling semantic matching in a distributed knowledge management system. PhD thesis, University of Trento.

19 April 2010

Repich, Marina (2010) Development of a simulation environment for the analysis and the optimal design of fluorescence detectors based on single photon avalanche diodes. PhD thesis, University of Trento, Fondazione Bruno Kessler.

26 April 2010

Krapivin, Mikalai (2010) A Semi-supervised Approach for Improving Search, Navigation and Data Quality in Autonomous Digital Libraries. PhD thesis, University of Trento.

Pighin, Daniele (2010) Greedy Feature Selection in Tree Kernel Spaces. PhD thesis, Università di Trento, Fondazione Bruno Kessler.

26 May 2010

Farazi, Mohammad Shahjahan Feroz (2010) Faceted Lightweight Ontologies: a Formalization and some Experiments. PhD thesis, University of Trento.

December 2010

Campigotto, Paolo (2010) A Reactive Search Optimization approach to interactive decision making. PhD thesis, University of Trento.

01 December 2010

Forlin, Michele (2010) Knowledge discovery for stochastic models of biological systems. PhD thesis, University of Trento.

Palmisano, Alida (2010) Modelling and Inference Strategies for Biological Systems. PhD thesis, University of Trento.

10 December 2010

Trecarichi, Gaia (2010) Towards the Application of Interaction-oriented Frameworks to Information Sharing in Emergency Contexts. PhD thesis, University of Trento.

15 December 2010

Ture Savadkoohi, Bita (2010) Analysis of 3D scanning data for optimal custom footwear manufacture. PhD thesis, University of Trento.

16 December 2010

Cilia, Elisa (2010) Statistical and Relational Learning for Understanding Enzyme Function. PhD thesis, University of Trento.

Hossain, Quazi Delwar (2010) Design and Characterization of a Current Assisted Photo Mixing Demodulator for Tof Based 3d Cmos Image Sensor. PhD thesis, University of Trento.

14 January 2011

Dalpiaz, Fabiano (2011) Exploiting Contextual and Social Variability for Software Adaptation. PhD thesis, University of Trento.

18 January 2011

Herdagdelen, Amac (2011) Collecting Common Sense from text and People. PhD thesis, University of Trento.

21 February 2011

Masi, Marco (2011) Modeling of sequences of Silicon micro-Resonators for On-Chip Optical Routing and Switching. PhD thesis, University of Trento.

25 February 2011

Vescovi, Michele (2011) Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics. PhD thesis, University of Trento.

31 March 2011

Morandini, Mirko (2011) Goal-Oriented Development of Self-Adaptive Systems. PhD thesis, University of Trento.

05 April 2011

Nguyen, Truc-Vien T. (2011) End-to-End Relation Extraction via Syntactic Structures and Semantic Resources. PhD thesis, University of Trento.

13 April 2011

Di Francescomarino, Chiara (2011) Semantic annotation of business process models. PhD thesis, University of Trento.

18 April 2011

Cabrio, Elena (2011) Component-Based Textual Entailment: a Modular and Linguistically-Motivated Framework for Semantic Inferences. PhD thesis, University of Trento.

Delmestri, Antonella (2011) Data Driven Models for Language Evolution. PhD thesis, University of Trento.

19 April 2011

Cardillo, Elena (2011) A Lexi-ontological Resource for Consumer Healthcare: The Italian Consumer Medical Vocabulary. PhD thesis, University of Trento, Fondazione Bruno Kessler.

21 April 2011

Popleteev, Andrei (2011) Indoor positioning using FM radio signals. PhD thesis, University of Trento.

29 April 2011

Hasan, Khandaker Tabin (2011) A User Centric Interface for the Management of Past, Present and Future Events [PhD thesis full text]. PhD thesis, University of Trento.

Hasan, Khandaker Tabin (2011) A User Centric Interface for the Management of Past, Present and Future Events [PhD thesis presentation]. PhD thesis, University of Trento.

Noori, Sheak Rashed Haider (2011) A Large Scale Distributed Knowledge Organization System. PhD thesis, University of Trento.

09 November 2011

Xu, Hao (2011) Managing Ubiquitous Scientific Knowledge Objects. PhD thesis, University of Trento, 吉林大学.

22 November 2011

Qureshi, Nauman Ahmed (2011) Requirements Engineering for Self-Adaptive Software: Bridging the Gap Between Design-Time and Run-Time. PhD thesis, University of Trento, Fondazione Bruno Kessler, Trento.

25 November 2011

Guna, Stefan-Valentin (2011) On Neighbors, Groups and Application Invariants in Mobile Wireless Sensor Networks. PhD thesis, University of Trento.

28 November 2011

Bielova, Nataliia (2011) A theory of constructive and predictable runtime enforcement mechanisms. PhD thesis, University of Trento.

13 December 2011

Khadkevich, Maksim (2011) Music signal processing for automatic extraction of harmonic and rhythmic information. PhD thesis, University of Trento, Fondazione Bruno Kessler.

21 December 2011

Gheorghe, Gabriela (2011) Security Policy Enforcement in Service-Oriented Middleware. PhD thesis, University of Trento.

29 February 2012

Fatih, Turkmen (2012) Exploring Dynamic Constraint Enforcement and Efficiency in Access Control. PhD thesis, University of Trento.

23 March 2012

Cappello, Igor (2012) Communication Priorities and Stochastic Measures for Web Services Modeling. PhD thesis, University of Trento.

Chenu-Abente Acosta, Ronald (2012) Knowledge and Artifact Representation in the Scientific Lifecycle. PhD thesis, University of Trento, Universidad Catolica Nuestra Señora de la Asuncion.

Maltese, Vincenzo (2012) Dealing with Semantic Heterogeneity in Classifications. PhD thesis, University of Trento.

Mehdad, Yashar (2012) Cross-Lingual Textual Entailment and Applications. PhD thesis, University of Trento, Foundazione Bruno Kessler.

Pane Fernandez, Juan Ignacio (2012) Distributed Identity Management. PhD thesis, University of Trento, Universidad Católica "Nuestra Señora de la Asunción".

30 March 2012

Argentini, Andrea (2012) Ranking Aggregation Based on Belief Function Theory. PhD thesis, University of Trento.

11 April 2012

Ghosh, Sucheta (2012) End-to-End Discourse Parsing with Cascaded Structured Prediction. PhD thesis, University of Trento.

12 April 2012

Chiasera, Annamaria (2012) Privacy elicitation and utilization in distributed data exchange systems. PhD thesis, University of Trento.

24 April 2012

Ramadian, Yusi (2012) Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata. PhD thesis, University of Trento.

16 May 2012

Aleksandar, Matic (2012) Sensing Social Interactions Using Non-Visual and Non-Auditory Mobile Sources, Maximizung Privacy and Minimizing Obtrusiveness. PhD thesis, University of Trento.

22 June 2012

Silva Souza, Vítor Estêvão (2012) Requirements-based Software System Adaptation. PhD thesis, University of Trento.

05 October 2012

Giordani, Alessandra (2012) Structural Mapping between Natural Language Questions and SQL Queries. PhD thesis, University of Trento.

03 December 2012

Soldati, Nicola (2012) Novel data-driven analysis methods for real-time fMRI and simultaneous EEG-fMRI neuroimaging. PhD thesis, University of Trento.

07 December 2012

Lebani, Gianluca E. (2012) STaRS.sys: designing and building a commonsense-knowledge enriched wordnet for therapeutic purposes. PhD thesis, University of Trento.

10 December 2012

Marcos, Baez (2012) Knowledge Dissemination in the Web Era. PhD thesis, University of Trento.

20 December 2012

Raik, Heorhi (2012) Service Composition in Dynamic Environments: From Theory to Practice. PhD thesis, Fondazione Bruno Kessler, University of Trento.

Tymoshenko, Kateryna (2012) A General Framework for Exploiting Background Knowledge in Natural Language Processing. PhD thesis, Fondazione Bruno Kessler, University of Trento.

Zengin, Asli (2012) CROSS-LAYER ADAPTATION OF SERVICE-BASED SYSTEMS. PhD thesis, University of Trento.

21 December 2012

Chayka, Oleksiy (2012) Three Case Studies For Understanding, Measuring and Using a Compound Notion of Data Quality With Emphasis on the data Staleness Dimension. PhD thesis, University of Trento.

22 January 2013

Manica, Nicola (2013) Stochastic Analysis of a resource reservation system. PhD thesis, University of Trento.

06 March 2013

Muratov, Oleg (2013) Visual Saliency Detection and its Application to Image Retrieval. PhD thesis, University of Trento.

22 March 2013

Imran, Muhammad (2013) An Effective End-User Development Approach through Domain-Specific Mashups for Research Impact Evaluation. PhD thesis, University of Trento.

Rodriguez Hermosa, Carlos Dario (2013) Exploiting Business Process Knowledge for Process Improvement. PhD thesis, University of Trento, Universidad Católica Nuestra Señora de la Asunción.

Roy Chowdhury, Soudip (2013) Assisted Reuse of Pattern-Based Composition Knowledge for Mashup Development. PhD thesis, University of Trento.

Soi, Stefano (2013) Domain Specific Mashup Platforms as a Service. PhD thesis, University of Trento.

Souza Silveira, Patricia (2013) ActiveLifestyle: a persuasive platform to monitor and motivate physical training plan compliance in elderly people. PhD thesis, University of Trento.

28 March 2013

Visintainer, Roberto (2013) Distances and Stability in Biological Network Theory. PhD thesis, University of Trento.

03 April 2013

JU, QI (2013) Large-scale Structural Reranking for Hierarchical Text Categorization. PhD thesis, University of Trento.

04 April 2013

Coller , Emanuela (2013) Analysis of the PC algorithm as a tool for the inference of gene regulatory networks: evaluation of the performance, modification and application to selected case studies. PhD thesis, University of Trento.

Livi, Carmen Maria (2013) Protein-dependent prediction of messenger RNA binding using Support Vector Machines. PhD thesis, University of Trento.

08 April 2013

Poderi, Giacomo (2013) Making Sense of Users Participation in Open Source Projects: The case of a Mature Video Game. PhD thesis, University of Trento.

10 April 2013

Chowdhury, Md. Faisal Mahbub (2013) Improving the Effectiveness of Information Extraction from Biomedical Text. PhD thesis, University of Trento, Fondazione Bruno Kessler.

11 April 2013

Abebe, Surafel Lemma (2013) Supporting Concept Extraction and Identifier Quality Improvement through Programmers' Lexicon Analysis. PhD thesis, University of Trento.

12 April 2013

Gameiro Simões, Bruno Manuel (2013) New Strategies for Computing Gröbner Bases. PhD thesis, University of Trento.

Russo, Alessandro (2013) Cooperative Push/Pull Protocols for Live Peer-Assisted Streaming. PhD thesis, University of Trento.

15 April 2013

Tankoyeu, Ivan (2013) Event Based Media Indexing. PhD thesis, University of Trento.

19 April 2013

Bisazza, Arianna (2013) Linguistically Motivated Reordering Modeling for Phrase-Based Statistical Machine Translation. PhD thesis, University of Trento.

Sirbu, Adina Iulia (2013) Corrective Evolution of Adaptable Process Models. PhD thesis, University of Trento.

29 April 2013

Bykau, Siarhei (2013) Exploiting the Volatile Nature of Data and Information in Evolving Repositories and Systems with User Generated Content. PhD thesis, University of Trento.

Mega, Giuliano (2013) On Social Overlays and Their Application to Decentralized Online Social Networks. PhD thesis, University of Trento.

Rizano, Tizar (2013) Competitive Robotic Car: Sensing, Planning and Architecture Design. PhD thesis, University of Trento.

Tsytsarau, Mikalai (2013) Large Scale Aggregated Sentiment Analytics. PhD thesis, University of Trento.

30 April 2013

Bortoli, Stefano (2013) Knowledge Based Open Entity Matching. PhD thesis, University of Trento.

Ion, Mihaela (2013) Security of Publish/Subscribe Systems. PhD thesis, University of Trento.

16 November 2013

Vo, Hong Thanh (2013) On Efficient Algorithms for Stochastic Simulation of Biochemical Reaction Systems. PhD thesis, University of Trento.

25 November 2013

Özbal, Gözde (2013) Computational Approaches to Linguistic Creativity for Real World Applications. PhD thesis, University of Trento.

02 December 2013

Asghar, Muhammad Rizwan (2013) Privacy Preserving Enforcement of Sensitive Policies in Outsourced and Distributed Environments. PhD thesis, University of Trento.

03 December 2013

Avancini, Andrea (2013) Security Testing of Web and Smartphone Applications. PhD thesis, University of Trento.

09 December 2013

Eshete, Birhanu Mekuria (2013) Effective Analysis, Characterization, and Detection of Malicious Activities on the Web. PhD thesis, University of Trento, Fondazione Bruno Kessler.

10 December 2013

Kavalionak, Hanna (2013) Autonomous resource management for cloud-assisted peer-to-peer based services. PhD thesis, University of Trento.

11 December 2013

MA, ZHIGANG (2013) From Concepts to Events: a Progressive Process for Multimedia content Analysis. PhD thesis, University of Trento.

13 December 2013

Gjata, Nerta (2013) Food Web Simulation Studies on Aquatic Ecosystems. PhD thesis, University of Trento.

16 December 2013

Gobbi, Andrea (2013) Theoretical and Algorithmic Solutions for Null models in Network Theory. PhD thesis, University of Trento.

19 December 2013

AVCI, Umut (2013) Recognizing and Discovering Activities of Daily Living in Smart Environments. PhD thesis, University of Trento.

Teso, Stefano (2013) Statistical Relational Learning for Proteomics: Function, Interactions and Evolution. PhD thesis, University of Trento.

Truong, Duy Tin (2013) Non-Redundant Overlapping Clustering: Algorithms and Applications. PhD thesis, University of Trento.

27 January 2014

Tran, Le Minh Sang (2014) Managing the Uncertainty of the Evolution of Requirements Models. PhD thesis, University of Trento.

February 2014

Le, Thi Thieu Hoa (2014) A Tag Contract Framework for Modeling Heterogeneous Systems. PhD thesis, University of Trento.

24 February 2014

Khan, Muhammad Tahir (2014) Involving Domain Experts in the construction of OWL ontologies: experience oriented and tool base support for template-based modelling and knowledge reuse. PhD thesis, University of Trento.

19 March 2014

Mover, Sergio (2014) Verification of Hybrid Systems using Satisfiability Modulo Theories. PhD thesis, University of Trento, Fondazione Bruno Kessler.

25 March 2014

Tranquillini, Stefano (2014) Models and systems for managing sensor and crowd-oriented processes. PhD thesis, University of Trento.

26 March 2014

Nguyen, Viet Hung (2014) Empirical Methods for Evaluating Vulnerability Models. PhD thesis, University of Trento.

04 April 2014

Stevovic, Jovan (2014) Methods, Policies and Technologies for Compliance-aware Management of electronic Health Records. PhD thesis, University of Trento.

11 April 2014

Ciaghi, Aaron (2014) Standardizing ICT for Development: Towards the Definition of a Standard Process and Maturity Model for ICTD Projects. PhD thesis, University of Trento.

Dallachiesa, Michele (2014) Modeling and Querying Data Series and Data Streams with Uncertainty. PhD thesis, University of Trento.

15 April 2014

Stepanov, Evgeny (2014) Cross-Domain and Cross-Language Porting of Shallow Parsing. PhD thesis, University of Trento.

23 April 2014

Freihat, Abed Alhakim (2014) An Organizational Approach to the Polysemy Problem in WordNet. PhD thesis, University of Trento.

28 April 2014

Staiano, Jacopo (2014) Mining human Behaviors: automated behavioral Analysis from small to big Data. PhD thesis, University of Trento.

Yan, Yan (2014) Multiple Tasks are Better than One: Multi-task Learning and Feature Selection for Head Pose Estimation, Action Recognition and Event Detection. PhD thesis, University of Trento.

30 April 2014

Tomasi, Silvia (2014) Optimization Modulo Theories with Linear Rational Costs. PhD thesis, University of Trento.

Zhauniarovich, Yury (2014) Improving the security of the Android ecosystem. PhD thesis, University of Trento.

08 May 2014

Ferdous, Raihana (2014) Analysis and Protection of SIP based Services. PhD thesis, University of Trento.

09 May 2014

Paja, Elda (2014) STS: a Security Requirements Engineering methodology for socio-technical Systems. PhD thesis, University of Trento.

06 June 2014

Chirikov, Roman (2014) Optimization-based Strategy for Polyomino Subarraying in Wideband Phased Array Design. PhD thesis, University of Trento, Ufa State Aviation Technical University.

This list was generated on Tue Oct 21 13:30:50 2014 CEST.