Items where Subject is "Q Science > QA Mathematics > QA075 Electronic computers. Computer science"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Authors(s) | Item Type
Jump to: A | B | C | D | F | G | I | K | L | M | N | P | Q | R | S | T | U | V | W
Number of items at this level: 283.

A

Abdel-Nabi, Sameh and Chayka, Oleksiy and Giorgini, Paolo (2009) BarterCell: an Agent-based Bartering Service for Users of Pocket Computing Devices. UNSPECIFIED. (Unpublished)

Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. UNSPECIFIED. (Unpublished)

Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. UNSPECIFIED. (Unpublished)

Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. UNSPECIFIED. (Unpublished)

Aiello, Marco and Frankova, Ganna and Malfatti, Daniela (2005) What’s in an agreement? A formal analysis and an extension of WS-Agreement. UNSPECIFIED. (Unpublished)

Aiello, Marco and Smeulders, Arnold M.W. (2002) Thick 2D Relations for Document Understanding. UNSPECIFIED. (Unpublished)

Amarsanaa, Ganbold and Feroz, Farazi and Moaz, Reyad and Fausto, Giunchiglia and Oyundari, Nyamdavaa (2014) An Experiment in Managing Language Diversity Across Cultures. Trento, Italy : DISI. (Submitted)

Andrea, Rosani and Duc-Tien, Dang-Nguyen and Giulia, Boato and De Natale, Francesco (2014) EventMask. Florence (Italy) : IEEE.

Anguita, Davide and Boni, Andrea and Ridella, Sandro (2002) The Digital Kernel Perceptron. UNSPECIFIED. (In Press)

Anguita, Davide and Boni, Andrea and Tagliafico, Luca (2002) SVM Performance Assessment for the Control of Injection Moulding Processes and Plasticating Extrusion. UNSPECIFIED.

Armando, Alessandro and Castellini, Claudio and Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (2002) SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Giorgini, Paolo (2007) Analyzing Risk-Countermeasure in Organizations: a Quantitative Approach. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Giorgini, Paolo (2006) Modelling Risk and Identifying Countermeasure in Organizations. UNSPECIFIED.

Asnar, Yudistira and Giorgini, Paolo (2007) Risk Analysis as part of the Requirements Engineering Process. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Giorgini, Paolo (2008) Uncertainty Dimensions of Risks in Secure and Dependable Domain. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Giorgini, Paolo and Massacci, Fabio and Zannone, Nicola (2006) From Trust to Dependability through Risk Analysis. UNSPECIFIED.

Asnar, Yudistira and Giorgini, Paolo and Mylopoulos, John (2006) Risk Modelling and Reasoning in Goal Models. UNSPECIFIED. (Submitted)

Asnar, Yudistira and Giorgini, Paolo and Zannone, Nicola (2006) Reasoning about Risk in Agent's Deliberation Process: a Jadex Implementation. UNSPECIFIED.

Atzori, L. and De Natale, Francesco G. B. and Granelli, F. (2002) Adaptive Anisotropic Filtering (AAF) for Real-Time Visual Enhancement of Mpeg-Coded Video Sequences. UNSPECIFIED. (In Press)

Atzori, Luigi and De Natale, Francesco G.B. (2002) Spectral Classified Vector Quantization (SCVQ) for Multispectral Images. UNSPECIFIED.

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2003) Efficiently Integrating Boolean Reasoning and Mathematical Solving. UNSPECIFIED. (Unpublished)

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements. UNSPECIFIED.

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. UNSPECIFIED. (In Press)

Audemard, Gilles and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Bounded Model Checking for Timed Systems. UNSPECIFIED. (In Press)

Azaro, Renzo and Boato, Giulia and Donelli, Massimo and Massa, Andrea and Zeni, Edoardo (2005) Design of a Pre-Fractal Monopolar Antenna for 3.4 - 3.6 GHz Wi-Max Band Portable Devices. UNSPECIFIED. (Submitted)

Azaro, Renzo and Debiasi, Luca and Zeni, Edoardo and Benedetti, Manuel and Rocca, Paolo and Massa, Andrea (2008) A hybrid prefractal three-band antenna for multistandard mobile wireless applications. UNSPECIFIED. (Submitted)

Azaro, Renzo and Zeni, Edoardo and Gazzini, Tommaso and Dallapiccola, Ramona and Massa, Andrea (2006) Synthesis of a Three-Dimensional Triband (L1-L2 GPS and Wi-Fi) Prefractal Tree Antenna. UNSPECIFIED. (In Press)

B

Baez, Marcos and Birukou, Aliaksandr and Chenu, Ronald and Medo, Matus and Osman, Nardine and Ponte, Diego and Sabater-mir, Jordi and Schneider, Luc and Turrini, Matteo and Veltri, Giuseppe and Wakeling, Joseph Rushton and Xu, Hao (2009) State of the Art in Scientific Knowledge Creation, Dissemination, Evaluation and Maintenance. UNSPECIFIED. (Unpublished)

Baldesi, Luca and Maccari, Leonardo and Lo Cigno , Renato (2013) PartyHub - A PeerStreamer Conference Application. Trento, Italy : University of Trento. (Unpublished)

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Battiti, Roberto and Brunato, Mauro (2007) R-evo: a Reactive Evolutionary Algorithm for the Maximum Clique Problem. UNSPECIFIED. (Unpublished)

Battiti, Roberto and Brunato, Mauro and Villani, Alessandro (2002) Statistical Learning Theory for Location Fingerprinting in Wireless LANs. UNSPECIFIED. (Unpublished)

Battiti, Roberto and Campigotto, Paolo (2007) Reactive search for MAX-SAT: diversification-bias properties with prohibitions and penalties. UNSPECIFIED. (Unpublished)

Battiti, Roberto and Le, Nhat Thang and Villani, Alessandro (2002) Location-aware computing: a neural network model for determining location in wireless LANs. UNSPECIFIED. (Unpublished)

Battiti, Roberto and Mascia, Franco (2006) Reactive and dynamic local search for Max-Clique, does the complexity pay off? UNSPECIFIED. (Unpublished)

Battiti, Roberto and Mascia, Franco (2007) Reactive local search for maximum clique: A new implementation. UNSPECIFIED. (Unpublished)

Battiti, Roberto and Passerini, Andrea (2009) Brain-Computer Evolutionary Multi-Objective Optimization (BC-EMO): a genetic algorithm adapting to the decision maker. UNSPECIFIED. (Unpublished)

Benerecetti, Massimo and Bouquet, Paolo and Ghidini, Chiara (2002) On the dimensions of context dependence. UNSPECIFIED. (In Press)

Bermani, Emanuela and Boni, Andrea and Kerhet, Aliaksei and Massa, Andrea (2004) Kernels Evaluation of Svm-Based Estimators for Inverse Scattering Problems. UNSPECIFIED.

Bernstein, Philip A. and Giunchiglia, Fausto and Kementsietsidis, Anastasios and Mylopoulos, John and Serafini, Luciano and Zaihrayeu, Ilya (2002) Data Management for Peer-to-Peer Computing: A Vision. UNSPECIFIED.

Bertossi, Alan and Pinotti, Cristina M. and Tan, Richard (2002) Channel Assignment with Separation for Interference Avoidance in Wireless Networks. UNSPECIFIED. (In Press)

Bertossi, Alan Albert and Olariu, Stephan and Pinotti, Maria Cristina and Zheng, S.-Q. (2002) Selection on Matrices Classifying Rows and Columns. UNSPECIFIED. (Submitted)

Bertossi, Alan Albert and Pinotti, Maria Cristina and Rizzi, Romeo (2002) Channel Assignment with Separation on Trees and Interval Graphs. UNSPECIFIED. (Submitted)

Bertossi, Alan Albert and Pinotti, Maria Cristina and Rizzi, Romeo and Gupta, Phalguni (2002) Allocating Servers in Infostations for Bounded Simultaneous Requests. UNSPECIFIED. (Submitted)

Beyer, Dirk and Cimatti, Alessandro and Griggio, Alberto and Keremoglu, M. Erkan and Sebastiani, Roberto (2009) Software Model Checking via Large-Block Encoding. UNSPECIFIED. (Unpublished)

Bilich, Carlos (2006) Bio-Medical Sensing using Ultra Wideband Communications and Radar Technology: A Feasibility Study. UNSPECIFIED.

Bilich, Carlos (2005) A Conceptual Model of Cardiac Electrophysiology based on UML. UNSPECIFIED.

Bilich, Carlos (2006) Digital Knowledge Centers: A Way to Reduce the Digital Divide in South America’s Poor Hinterland: A Proposal for the City of Santa Fe, Argentina. UNSPECIFIED. (Unpublished)

Bilich, Carlos (2007) Feasibility of Dual UWB Heart Rate Sensing and Communications under FCC power restrictions. UNSPECIFIED.

Bilich, Carlos (2007) How can ICT be Used to Improve Street Children's Plight: A Proposal for the City of Santa Fe, Argentina. UNSPECIFIED.

Bilich, Carlos (2005) Qualitative Models of the Human Heart: A Survey. UNSPECIFIED.

Bilich, Carlos (2007) A Simple FDTD Model to Asses the Feasibility of Heart Beat Detection using commercial UWB communication devices. UNSPECIFIED. (Submitted)

Bilich, Carlos (2005) Some Issues on Biological DBs: Data Integration and Mining. UNSPECIFIED.

Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto (2009) A formal definition of culture of a set of agents: the version without states. UNSPECIFIED. (Unpublished)

Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Weiss, Michael (2007) Collaborative Case Retrieval within the Implicit Culture Framework. UNSPECIFIED. (In Press)

Birukou, Aliaksandr and Giorgini, Paolo (2006) Implicit culture: an approach for experiential reasoning. UNSPECIFIED. (Unpublished)

Blanzieri, Enrico (2003) Theoretical Interpretations and Applications of Radial Basis Function Networks. UNSPECIFIED. (Unpublished)

Blanzieri, Enrico and Bryl, Anton (2007) Evaluation of the Highest Probability SVM Nearest Neighbor Classifier with Variable Relative Error Cost. UNSPECIFIED. (Unpublished)

Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto and Zanoni, Claudio (2003) Implict Culture-based Personal Agents for Knowledge Management. UNSPECIFIED.

Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto and Zanoni, Claudio (2002) Personal Agents for Implicit Culture Support. UNSPECIFIED. (Unpublished)

Boato, G. and De Natale, F. G. B. and Fontanari, C. and Massa, A. (2007) Hierarchically Distributed Access Control Protocol for Wireless Sensor Networks. UNSPECIFIED. (Submitted)

Boato, Giulia and De Natale, Francesco G. B. and Fontanari, Claudio (2005) An Improved Asymmetric Watermarking Scheme Suitable for Copy Protection. UNSPECIFIED. (In Press)

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol Specifications. UNSPECIFIED.

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. UNSPECIFIED.

Boni, Andrea (2002) Adaptive Model Selection for Digital Linear Classifiers. UNSPECIFIED. (In Press)

Bonifacio, Matteo and Bouquet, Paolo and Mameli, Gianluca and Nori, Michele (2003) Peer - Mediated Distributed Knowledge Management. UNSPECIFIED. (Unpublished)

Bonifacio, Matteo and Ponte, Diego (2004) Sensemaking as a Way to Manage Complexity: Does It Extend to Artificial Agent Organizations? UNSPECIFIED. (Unpublished)

Bouquet, Paolo and Ghidini, Chiara and Giunchiglia, Fausto and Blanzieri, Enrico (2001) Theories and uses of context in knowledge representation and reasoning. UNSPECIFIED.

Bouquet, Paolo and Magnini, Bernardo and Serafini, Luciano and Zanobini, Stefano (2003) A SAT-Based Algorithm for Context Matching. UNSPECIFIED. (Unpublished)

Bouquet, Paolo and Serafini, Luciano (2003) On the difference between bridge rules and lifting axioms. UNSPECIFIED. (Unpublished)

Bresciani, Paolo and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2002) TROPOS: An Agent-Oriented Software Development Methodology. UNSPECIFIED.

Bresciani, Paolo and Marin, Floriana and Martinelli, Lucia and Sannicolo', Fabrizio (2003) Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain. UNSPECIFIED. (Submitted)

Bresciani, Paolo and Marin, Floriana and Martinelli, Lucia and Sannicolo', Fabrizio (2003) Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain. UNSPECIFIED. (In Press)

Brewster, Richard C. and Hell, Pavol and Rizzi, Romeo (2003) Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s. UNSPECIFIED. (Unpublished)

Brunato, Mauro and Battiti, Roberto (2002) PILGRIM: A Location Broker and Mobility-Aware Recommendation System. UNSPECIFIED. (Submitted)

Brunato, Mauro and Battiti, Roberto and Salvadori, Elio (2002) Dynamic load balancing in WDM Networks. UNSPECIFIED.

Brunato, Mauro and Battiti, Roberto and Villani, Alessandro and Delai, Andrea (2002) A Location-Dependent Recommender System for the Web. UNSPECIFIED. (Unpublished)

Brunato, Mauro and Kiss Kalló, Csaba (2002) Transparent Location Fingerprinting for Wireless Services. UNSPECIFIED. (In Press)

Busetta, Paolo and Bouquet, Paolo and Adami, Giordano and Bonifacio, Matteo and Palmieri, Francesco (2003) K-Trek: A Peer-to-Peer Approach To Distribute Knowledge In Large Environments. UNSPECIFIED. (Unpublished)

Bánhelyi, Balázs and Biazzini, Marco and Montresor, Alberto and Jelasity, Márk (2009) Peer-to-peer Optimization in Large Unreliable Networks with Branch-and-Bound and Particle Swarms. Lecture Notes in Computer Science; 5484 . Heidelberg : Springer Verlag, pp. 87-92. ISBN 978-3-642-01128-3

C

Campigotto, Paolo and Passerini, Andrea and Battiti, Roberto (2012) Active learning of Pareto fronts. Trento : University of Trento.

Campigotto, Paolo and Passerini, Andrea and Battiti, Roberto (2013) Joint Learning and Optimization of Unknown Combinatorial Utility Functions. Trento : University of Trento.

Canobbio, Giulia and Dalpiaz, Fabiano (2012) Modeling Business Processes with Azzurra: Order Fulfilment. Trento : University of Trento. (Unpublished)

Caprara, Alberto and Rizzi, Romeo (2002) Improved Approximation for Breakpoint Graph Decomposition and Sorting by Reversals. UNSPECIFIED.

Caprara, Alberto and Rizzi, Romeo (1998) Improving a Family of Approximation Algorithms to Edge Color Multigraphs. UNSPECIFIED.

Caprara, Alberto and Rizzi, Romeo (2002) Packing Triangles in Bounded Degree Graphs. UNSPECIFIED.

Carra, D. and Lo Cigno, R. and Biersack, E.W. (2005) Analysis of Content Distribution Architectures in P2P Systems. UNSPECIFIED. (Unpublished)

Carra, Damiano and Laface, Paola and Lo Cigno, Renato (2004) A Performance Model for Multimedia Services Provisioning on Network Interfaces. UNSPECIFIED. (Unpublished)

Carra, Damiano and Lo Cigno, Renato and Biersack, Ernst W. (2004) Introducing Heterogeneity in Performance Analysis of P2P Networks for File Distribution. UNSPECIFIED. (Unpublished)

Carra, Damiano and Lo Cigno, Renato and Biersack, Ernst W. (2004) Introducing Heterogeneity in Performance Analysis of P2P Networks for File Distribution. UNSPECIFIED. (Unpublished)

Caso, Roberto (2007) Il conflitto tra copyright e privacy nelle reti Peer to Peer: il caso Peppermint: profili di diritto comparato. UNSPECIFIED.

Caso, Roberto (2006) Il “Signore degli anelli” nel ciberspazio: controllo delle informazioni e Digital Rights Management. [Preprint] (In Press)

Ceccato, Mariano and Kiyavitskaya, Nadzeya and Zeni, Nicola and Mich, Luisa and Berry, Daniel M. (2004) Ambiguity Identification and Measurement in Natural Language Texts. UNSPECIFIED. (Unpublished)

Chayka, Oleksiy and Palpanas, Themis and Bouquet, Paolo (2012) Defining and Measuring Data-Driven Quality Dimension of Staleness. Trento : Università degli Studi di Trento.

Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2009) Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. UNSPECIFIED. (Unpublished)

Chopra, Amit K. and Singh, Munindar P. and Oren, Nir and Miles, Simon and Luck, Michael and Modgil, Sanjay and Desai, Nirmit (2009) Analyzing Contract Robustness through a Model of Commitments. UNSPECIFIED. (Unpublished)

Cilia, Elisa and Passerini, Andrea and Brunato, Mauro (2008) Automatic Prediction of Functional Residues from Sequence and Structural Information. UNSPECIFIED. (Unpublished)

Cimatti, Alessandro and Clarke, Edmund and Giunchiglia, Enrico and Giunchiglia, Fausto and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) NuSMV2: an Open Source Tool for Symbolic Model Checking. UNSPECIFIED.

Cimatti, Alessandro and Giunchiglia, Enrico and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) Integrating BDD-based and SAT-based Symbolic Model Checking. UNSPECIFIED. (In Press)

Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) Efficient Interpolant Generation in Satisfiability Modulo Theories. UNSPECIFIED. (Unpublished)

Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) Efficient Interpolant Generation in Satisfiability Modulo Theories. UNSPECIFIED. (Unpublished)

Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. UNSPECIFIED. (Unpublished)

Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto (2002) Improving the Encoding of LTL Model Checking into SAT. UNSPECIFIED. (In Press)

Colombo, Enzo and Mylopoulos, John (2006) A Multi-View Framework for Organizational Patterns. UNSPECIFIED.

Conforti, Michele and Rizzi, Romeo (2000) Shortest Paths in Conservative Graphs. UNSPECIFIED.

D

D'Andrea, Vincenzo and Gangadharan, G.R. (2006) The science of free/open services. UNSPECIFIED. (Unpublished)

D'Orazio, Leandro and Sacchi, Claudio and Donelli, Massimo and Louveaux, Jérôme and Vandendorpe, Luc (2008) A Linear Multi-User Detector for STBC MC-CDMA Systems based on the Adaptive Implementation of the Minimum-Conditional Bit-Error-Rate Criterion and on Genetic Algorithm-assisted MMSE Channel Estimation. UNSPECIFIED. (Unpublished)

Dall’Ora, Riccardo and Raza, Usman and Brunelli, Davide and Picco, Gian Pietro (2014) SensEH: From Simulation to Deployment of Energy Harvesting Wireless Sensor Networks. Trento, Italy : University of Trento. (Unpublished)

Dalpiaz, Fabiano and Chopra, Amit and Canobbio, Giulia and Zeni, Nicola and Giorgini, Paolo and Mylopoulos, John (2014) Specifying Business Processes with Azzurra. DISI-14-002 . Trento : University of Trento. (Unpublished)

Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2008) Talos: an architecture for self-configuration. UNSPECIFIED. (Unpublished)

Dalpiaz, Fabiano and Serral, Estefanía and Valderas, Pedro and Giorgini, Paolo and Pelechano, Vicente (2012) A NFR-based Framework for User-Centered Adaptation. Trento : Università degli Studi di Trento.

Das, Sajal K. and Pinotti, Maria Cristina (2002) Load Balanced and Optimal Disk Allocation Strategy for Partial Match Queries on Multi-dimensional Files. UNSPECIFIED. (In Press)

De Natale, Francesco G.B. and Granelli, Fabrizio (2002) Low-Complexity Context-Based Motion Compensation for VLBR Video Encoding. UNSPECIFIED. (Unpublished)

Delmestri, Antonella and Cristianini, Nello (2010) Linguistic Phylogenetic Inference by PAM-like Matrices. UNSPECIFIED. (Unpublished)

Delmestri, Antonella and Cristianini, Nello (2010) Robustness and Statistical Significance of Pam-like Matrices for Cognate Identification. UNSPECIFIED. (Submitted)

Demichelis, Francesca (2005) On information organization and information extraction for the study of gene expressions by tissue microarray technique. UNSPECIFIED thesis, UNSPECIFIED.

Donelli, Massimo and Azaro, Renzo and Massa, Andrea and Raffetto, Mirco (2005) Unsupervised Synthesis of Microwave Components by Means of an Evolutionary-Based Tool Exploiting Distributed Computing Resources. UNSPECIFIED. (In Press)

F

Facchini, Christian and Granelli, Fabrizio (2008) Analysis of TCP/MAC Interactions Using the Game Theory. UNSPECIFIED. (Unpublished)

Fedrigo, Enrico and Granelli, Fabrizio (2008) A Survey of Network Optimization Techniques for Traffic Engineering. UNSPECIFIED. (Unpublished)

Ferdous, Raihana and Lo Cigno, Renato and Zorat, Alessandro (2012) Classification of sip messages by a syntax filter and SVMs. Trento, Italy : University of Trento.

Ferdous, Raihana and Lo Cigno, Renato and Zorat, Alessandro (2014) Social Behavior Analysis of VoIP Users and its application to Malicious Users Detection (Extended Version { V1.0). Trento, Italy : University of Trento. (Unpublished)

Francesconi, Fabiano and Dalpiaz, Fabiano and Mylopoulos, John (2013) TBIM: A Language for Modeling and Reasoning about Business Plans. Trento : University of Trento. Department of Information Engineering and Computer Science.

G

Gadyatskaya, Olga and Lostal, Eduardo and Massacci, Fabio (2011) Load Time Security Verification: The Claim Checker. UNSPECIFIED.

Gadyatskaya, Olga and Massacci, Fabio and Nguyen, Quang-Huy and Chetali, Boutheina (2012) Load Time Code Validation for Mobile Phone Java Cards. Trento : Università di Trento. (Unpublished)

Ganbold, Amarsanaa and Farazi, Feroz and Giunchiglia, Fausto (2013) Managing language diversity across cultures: the English-Mongolian case study. Trento : Università di Trento.

Ganbold, Amarsanaa and Farazi, Feroz and Giunchiglia, Fausto (2013) An experiment in managing language diversity across cultures. Trento : Università di Trento.

Gangadharan, G.R. and D'Andrea, Vincenzo (2006) Licensing Services: Formal Analysis and Implementation. UNSPECIFIED. (Unpublished)

Gangadharan, G.R. and D’Andrea, Vincenzo and Iannella, Renato and Weiss, Michael (2007) ODRL/L(S): A Language for Service Licensing. UNSPECIFIED. (Unpublished)

Garg, Anurag and Battiti, Roberto (2005) Digital Reputation for Virtual Communities. UNSPECIFIED. (Unpublished)

Garg, Anurag and Battiti, Roberto and Cascella, Roberto G. (2005) "May I borrow Your Filter?" Exchanging Filters to Combat Spam in a Community. UNSPECIFIED. (Unpublished)

Garg, Anurag and Battiti, Roberto and Cascella, Roberto G. (2005) Reputation Management: Experiments on the Robustness of ROCQ. UNSPECIFIED. (Unpublished)

Garg, Anurag and Montresor, Alberto and Battiti, Roberto (2005) Reputation Lending for Virtual Communities. UNSPECIFIED. (Unpublished)

Gheorghe, Gabriela and Montresor, Alberto and Lo Cigno, Renato (2009) Security and Privacy Issues in P2P Streaming Systems: A Survey. UNSPECIFIED. (Unpublished)

Ghidini, Chiara and Giunchiglia, Fausto (2002) What is Local Models Semantics? UNSPECIFIED. (In Press)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John (2003) Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. UNSPECIFIED.

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Security Requirements Through Ownership, Permission and Delegation. UNSPECIFIED. (Unpublished)

Giorgini, Paolo and Nicchiarelli, Eleonora and Mylopoulous, John and Sebastiani, Roberto (2002) Reasoning with Goal Models. UNSPECIFIED. (In Press)

Giovanella, Federica (2011) Youtube attracca (per ora) in un porto sicuro: in Tema di Responsabilità del Service Provider: Nota a Viacom Int'l, Inc. v. YouTube, Inc., 718 F. Supp. 2d 514 (S.D.N.Y. 2010) = Youtube Docks in a Safe Harbor (for now): On Service Provider’s Liability: Note to Viacom Int'l, Inc. v. YouTube, Inc., 718 F. Supp. 2d 514 (S.D.N.Y. 2010). Trento Law and Technology Research Group. Digital Reprints; 3 . Trento : Università degli studi di Trento.

Giunchiglia, Enrico and Giunchiglia, Fausto (1996) Ideal and Real Belief about Belief. UNSPECIFIED.

Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (1999) SAT-Based Decision Procedures for Classical Modal Logics. UNSPECIFIED.

Giunchiglia, Fausta and Fumagalli, Mattia (2014) From ER Models to the Entity Model. Springer Verlag LNCS series . Germany : Springer Verlag.

Giunchiglia, Fausto (2013) Innovazione sociale - La nuova frontiera. Trento : University of Trento.

Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2001) The Tropos Software Development Methodology: Processes, Models and Diagrams. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Perini, Anna and Sannicolo', Fabrizio (2001) Knowledge Level Software Engineering. UNSPECIFIED.

Giunchiglia, Fausto and Shvaiko, Pavel (2003) Semantic Matching. UNSPECIFIED.

Giunchiglia, Fausto and Shvaiko, Pavel and Yatskevich, Mikalai (2006) Discovering Missing Background Knowledge in Ontology Matching. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Xu, Hao and Birukou, Aliaksandr and Chenu, Ronald (2011) Scientific Knowledge Object Patterns. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Zaihrayeu, Ilya (2002) Making peer databases interact – A vision for an architecture supporting data coordination. UNSPECIFIED.

Granelli, Fabrizio and De Natale, Francesco G. B. and Vernazza, Gianni (2002) A Contrast-Based Approach to the Identification of Texture Faults. UNSPECIFIED. (Unpublished)

Griggio, Alberto and Sebastiani, Roberto and Tomasi, Silvia (2009) Stochastic Local Search for SMT: a Preliminary Report. UNSPECIFIED. (Submitted)

Guarda, Paolo (2004) Agenti software e sicurezza informatica. Padova : Cedam, pp. 315-342.

Guarda, Paolo (2008) Data Protection, Information Privacy, and Security Measures: an Essay on the European and the Italian Legal Frameworks. In «Ciberspazio e diritto», UNSPECIFIED, pp. 65-92.

Guarda, Paolo (2009) Privacy e fruizione della conoscenza scientifica. Trento: Alcione. (In Press)

Guarda, Paolo (2005) Sicurezza dei pagamenti e privacy nell’e-commerce. In «Diritto dell'Internet», Ipsoa Editore, pp. 91-101.

I

Ionescu, Bogdan and Menéndez, María and Müller, Henning and Popescu, Adrian (2013) Retrieving Diverse Social Images at MediaEval 2013: Objectives, Dataset and Evaluation. CEUR-WS.org : MediaEval Benchmarking Initiative for Multimedia Evaluation.

K

Kalló, Csaba Kiss (2005) Ad Hoc Network Optimization from the Bluetooth Scatternets and Delay-Tolerant Networks Perspectives. UNSPECIFIED thesis, UNSPECIFIED.

Kapoor, Ajai and Rizzi, Romeo (1999) Edge­Coloring Bipartite Graphs. UNSPECIFIED.

Kerhet, Aliaksei and Hu, Mingqing and Leonardi, Francesco and Boni, Andrea and Petri, Dario (2007) SVM-Like Algorithms and Architectures for Embedded Computational Intelligence. UNSPECIFIED. (Submitted)

Kiraly, Csaba and Bianchi, Giuseppe and Lo Cigno, Renato (2008) Solving Performance Issues in Anonymization Overlays with a L3 approach. UNSPECIFIED. (Unpublished)

Kokash, Natallia and D'Andrea, Vincenzo (2006) Evaluating Quality of Web Services: A Risk-driven Approach. UNSPECIFIED. (Unpublished)

Kokash, Natallia and van den Heuvel, Willem-Jan and D'Andrea, Vincenzo (2006) Leveraging Web Services Discovery with Customizable Hybrid Matching. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo (2003) Distributed Access Control for Web and Business Processes. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo and Massacci, Fabio (2005) Abduction and Deduction in Logic Programming for Access Control for Autonomic Systems. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo and Massacci, Fabio (2002) An Access Control System for Business Processes for Web Services. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo and Massacci, Fabio (2004) Interactive Access Control for Web Services. UNSPECIFIED. (In Press)

Krapivin, Mikalai and Autaeu, Aliaksandr and Marchese, Maurizio (2009) Large Dataset for Keyphrases Extraction. UNSPECIFIED. (Unpublished)

L

Lancia, Giuseppe and Pinotti, Maria Cristina and Rizzi, Romeo (2002) Haplotyping Populations: Complexity and Approximations. UNSPECIFIED. (Unpublished)

Lazovik, Alexander and Aiello, Marco and Papazoglou, Mike (2003) Planning and monitoring the execution of web service requests. UNSPECIFIED. (Unpublished)

Le, Hoa Thi Thieu and Palopoli, Luigi and Passerone, Roberto and Ramadian, Yusi (2010) Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata. UNSPECIFIED. (Unpublished)

Le, Thi Thieu Hoa (2010) A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic. UNSPECIFIED. (Unpublished)

Li, Bo and Battiti, Roberto (2003) Supporting Service Differentiation with Enhancements of the IEEE 802.11 MAC Protocol: Models and Analysis. UNSPECIFIED. (Unpublished)

Li, Bo and Battiti, Roberto (2002) A channel assignment and handoff strategy for mobile multimedia cellular communication systems with variable bandwidth support. UNSPECIFIED. (Submitted)

Lo Cigno, Renato and Ciccarelli, Gianluca (2009) Collusion in Peer-to-Peer Systems. UNSPECIFIED. (Unpublished)

Lo Cigno, Renato and Salvadori, Elio and Zsoka, Zoltan (2004) Analysis of Elastic Traffic Effects on WDM Dynamic Grooming Algorithms. UNSPECIFIED. (Unpublished)

M

Manica, Luca and Rocca, Paolo and Oliveri, Giacomo and Massa, Andrea (2011) Synthesis of Multi-Beam Sub-Arrayed Antennas Through an Excitation Matching Strategy. UNSPECIFIED.

Marconato, Anna and Gubian, Michele and Boni, Andrea and Petri, Dario (2007) Support Vector Machines for System Identification. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2006) A Decidable Extension of Hennessy-Milner Logic with Spatial Operators. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) Dynamic-Epistemic Spatial Logic. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) Model Checking Dynamic-Epistemic Spatial Logic. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2005) The principles of ambient calculus revisited. UNSPECIFIED. (Submitted)

Massacci, Fabio and Naliuka, Katsiaryna (2006) Multi-session Security Monitoring for Mobile Code. UNSPECIFIED. (Unpublished)

Massacci, Fabio and Nguyen, Viet Hung (2010) Which is the Right Source for Vulnerability Studies? An Empirical Analysis on Mozilla Firefox. UNSPECIFIED. (Unpublished)

Massacci, Fabio and Paci, Federica and Gadyatskaya, Olga (2010) Dynamic resiliency to user assignment. UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Inclusion Matching Implementation of Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Simulation Matching Implementation of Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Zannone, Nicola (2006) Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. UNSPECIFIED. (Unpublished)

McBader, Stephanie and Clementel, Luca and Sartori, Alvise and Boni, Andrea and Lee, Peter (2002) SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. UNSPECIFIED. (Unpublished)

Mega, Giuliano and Montresor, Alberto and Picco, Gian Pietro (2013) Cloud-assisted Dissemination in Social Overlays. Trento : University of Trento. (Unpublished)

Mich, Luisa and Franch, Mariangela and Novi Inverardi, Pierluigi (2002) Market research for requirements analysis using linguistic tools. UNSPECIFIED. (In Press)

Mich, Luisa and Franch, Mariangela and Novi Inverardi, Pierluigi and Marzani, Pietro (2003) Web site quality evaluation: Lightweight or Heavyweight Models? UNSPECIFIED. (In Press)

Mich, Luisa and Mylopoulos, John and Zeni, Nicola (2002) Improving the Quality of Conceptual Models with NLP Tools: An Experiment. UNSPECIFIED. (Unpublished)

Montresor, Alberto and Jelasity, Mark and Babaoglu, Ozalp (2008) Decentralized Ranking in Large-Scale Overlay Networks. UNSPECIFIED. (In Press)

Moscon, Valentina (2011) La rappresentazione informatica dei diritti tra contratto e diritto d’autore = Digital rights representation between contract and copyright law. Trento Law and Technology Research Group. Digital Reprints; 2; 2 . Trento: Università degli studi di Trento. ISBN

Murshed, Md. Ahsan-ul and Singh, Ramanjit (2005) Evaluation and Ranking of Ontology Construction Tools. UNSPECIFIED. (In Press)

N

Nottegar, Chiara and Priami, Corrado and Degano, Pierpaolo (2001) Performance Evaluation of Mobile Processes via Abstract Machines. UNSPECIFIED.

P

Paja, Elda and Dalpiaz, Fabiano and Giorgini, Paolo (2012) Identifying Conflicts in Security Requirements with STS-ml. Trento : Università degli Studi di Trento. (Submitted)

Palopoli, Luigi and Passerone, Roberto and Picco, Gian Pietro and Murphy, Amy L. and Giusti, Alessandro (2007) Maximizing Sensing Coverage in Wireless Sensor Networks Through Optimal Scattering of Wake-up Times. UNSPECIFIED. (Unpublished)

Palopoli, Luigi and Passerone, Roberto and Toldo, Paolo (2009) Efficient coverage optimization in energy-constrained Wireless Sensor Networks. UNSPECIFIED. (Unpublished)

Panconesi, Alessandro and Rizzi, Romeo (2001) Some Simple Distributed Algorithms for Sparse Networks. UNSPECIFIED. (Unpublished)

Papazoglou, Michael P. (2003) Web Services and Business Transactions. UNSPECIFIED.

Papazoglou, Mike and Aiello, Marco and Pistore, Marco and Yang, Jian (2002) XSRL: An XML web-services request language. UNSPECIFIED. (Unpublished)

Papazoglou, Mike P. and Yang, Jian and Kramer, Bend J. (2002) Leveraging Web-Services and Peer-to-Peer Networks. UNSPECIFIED. (Unpublished)

Passerone, Roberto and Palopoli, Luigi (2008) Aligned Schedules are Optimal. UNSPECIFIED. (Unpublished)

Patel-Schneider, Peter F. and Sebastiani, Roberto (2003) A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. UNSPECIFIED.

Perini, Anna and Giunchiglia, Fausto and Mylopoulos, John and Bresciani, Paolo and Giorgini, Paolo (2000) A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. UNSPECIFIED.

Perini, Anna and Susi, Angelo and Giunchiglia, Fausto (2002) Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology. UNSPECIFIED.

Perini, Anna and Susi, Angelo and Giunchiglia, Fausto (2002) Designinig Coordination among Human and Software Agents. UNSPECIFIED. (Unpublished)

Pinotti, Cristina Maria and Saxena, Navrati (2002) Push less and pull the current highest demanded data item to decrease the waiting time in asymmetric communication environments. UNSPECIFIED. (Submitted)

Povoli, Marco (2009) Superficial breakdown analysis in 3d detectors and in active-edge planar detectors through TCAD simulations. UNSPECIFIED. (Unpublished)

Priami, Corrado (2003) Design Environments for Complex Systems. UNSPECIFIED. (In Press)

Priami, Corrado (2002) Language-Based Performance Prediction for Distributed and Mobile Systems. UNSPECIFIED. (In Press)

Q

Quartulli, Antonio and Lo Cigno, Renato (2011) Client announcement and Fast roaming in a Layer-2 mesh network. UNSPECIFIED.

R

Radu, Anca-Livia and Ionescu, Bogdan and Menéndez, María and Stöttinger, Julian and Giunchiglia, Fausto and De Angeli, Antonella (2014) A Hybrid Machine-Crowd Approach to Photo Retrieval Result Diversification. Dublin : 20th International Conference on MultiMedia Modeling.

Raza, Usman and Camerra, Alessandro and Murphy, Amy L. and Palpanas, Themis and Picco, Gian Pietro (2014) Practical Data Prediction for Real-World Wireless Sensor Networks. Trento, Italy : University of Trento, Italy. (Submitted)

Raza, Usman and Murphy, Amy L. and Picco, Gian Pietro (2012) Embracing Localization Inaccuracy: A Case Study. Trento : University of Trento.

Rizzi, Romeo (2002) Complexity of Context-free Grammars with Exceptions, and the inadequacy of grammars as models for XML and SGML. UNSPECIFIED.

Rizzi, Romeo (2002) Cycle Cover Property and CPP=SCC Property are not Equivalent. UNSPECIFIED.

Rizzi, Romeo (2000) Excluding a Simple Good Pair Approach to Directed Cuts. UNSPECIFIED.

Rizzi, Romeo (2002) Finding 1-factors in bipartite regular graphs, and edge-coloring bipartite graphs. UNSPECIFIED.

Rizzi, Romeo (2002) Impaccando T-tagli e T-giunti. UNSPECIFIED.

Rizzi, Romeo (1999) Indecomposable r-graphs and some other counterexamples. UNSPECIFIED.

Rizzi, Romeo (1999) König's Edge Coloring Theorem without augmenting paths. UNSPECIFIED.

Rizzi, Romeo (2000) Minimum T-cuts and optimal T-pairings. UNSPECIFIED. (Unpublished)

Rizzi, Romeo (1999) On 4-connected graphs without even cycle decompositions. UNSPECIFIED.

Rizzi, Romeo (1999) On minimizing symmetric set functions. UNSPECIFIED.

Rizzi, Romeo (2001) On the Recognition of P4-Indifferent Graphs. UNSPECIFIED.

Rizzi, Romeo (2002) A Simple Minimum T-Cut Algorithm. UNSPECIFIED.

Rizzi, Romeo (1999) A note on range-restricted circuit covers. UNSPECIFIED.

Rizzi, Romeo (1999) A short proof of König's matching theorem. UNSPECIFIED.

Ronchetti, Marco (2003) From the classroom to the computer screen: delivering a traditional University course in a non-traditional way. UNSPECIFIED. (In Press)

Ronchetti, Marco and Dandoy, Benjamin (2007) Introducing interactive whiteboards in the schools: an experience report. UNSPECIFIED. (Unpublished)

Ronchetti, Marco and Giuliani, Alberto and Saini, Paramjeet (2003) De-Fragmenting Knowledge: Using Metadata for Interconnecting Courses. UNSPECIFIED. (In Press)

Ronchetti, Marco and Sant, Joseph (2007) Curriculum Management and Review: an ontology-based solution. UNSPECIFIED. (Submitted)

Ronchetti, Marco and Trifonova, Anna (2003) Supporting Mobile Learning with Location-Aware Printing Service. UNSPECIFIED. (Unpublished)

S

Sabel, Mikalai and Garg, Anurag and Battiti, Roberto (2005) WikiRep: Digital Reputation in Virtual Communities. UNSPECIFIED. (Submitted)

Sacchi, Claudio and Conci, Nicola and Berlanda Scorza, Giovanni and De Natale, Francesco G. B. (2005) Cross-Layer Adaptation of MPEG4 Video Streaming Over Wireless Networks Using Unequal Error Protection and MC-CDMA. UNSPECIFIED. (Submitted)

Saini, Paramjeet and Ronchetti, Marco (2003) Deriving Ontology-Based Metadata for E-Learning form the ACM Computing Curricula. UNSPECIFIED. (In Press)

Salvadori, Elio (2005) Traffic engineering in dynamic optical networks. UNSPECIFIED thesis, UNSPECIFIED.

Salvadori, Elio and Zsòka, Zoltan and Lo Cigno, Renato and Severina, Danilo (2004) GANCLES: A Network Level Simulator to Study Optical Routing, Wavelength Assignment and Grooming Algorithms. UNSPECIFIED. (Unpublished)

Salvadori, Elio and Battiti, Roberto (2002) A Load Balancing Scheme for Congestion Control in MPLS Networks. UNSPECIFIED. (Submitted)

Salvadori, Elio and Battiti, Roberto (2003) Traffic Engineering in G-MPLS networks with QoS guarantees. UNSPECIFIED. (Unpublished)

Salvadori, Elio and Battiti, Roberto and Ardito, Filippo (2003) Lazy Rerouting for MPLS Traffic Engineering. UNSPECIFIED. (Unpublished)

Salvadori, Elio and Battiti, Roberto and Sabel, Mikalai (2002) A Reactive Scheme for Traffic Engineering in MPLS Networks. UNSPECIFIED. (Submitted)

Salvadori, Elio and Severina, Danilo and Battiti, Roberto and Lo Cigno, Renato (2004) Decreti sui limiti elettromagnetici. Leggi europee, italiane e della Provincia Autonoma di Trento. UNSPECIFIED. (Unpublished)

Salvadori, Elio and Severina, Danilo and Battiti, Roberto and Lo Cigno, Renato (2004) Field-tests per la realizzazione di HotSpot con reti 802.11. UNSPECIFIED. (Unpublished)

Sannicolo', Fabrizio and Perini, Anna and Giunchiglia, Fausto (2002) The Tropos Modeling Language. A User Guide. UNSPECIFIED. (Unpublished)

Saxena, Navrati (2005) A framework for dynamic hybrid scheduling strategies in heterogeneous asymmetric environments. UNSPECIFIED thesis, UNSPECIFIED.

Sebastiani, Roberto (2007) From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. LNCS; 4720 . Berlin ; Heidelberg : Springer. - (Lecture Notes in Computer Science; 4720), pp. 28-46.

Sebastiani, Roberto (2007) Lazy Satisfiability Modulo Theories. UNSPECIFIED. (Submitted)

Sebastiani, Roberto and Singerman, Eli and Tonetta, Stefano and Y. Vardi, Moshe (2004) GSTE is Partitioned Model Checking. UNSPECIFIED.

Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Vescovi, Michele (2009) Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. UNSPECIFIED. (Unpublished)

Segata, Nicola (2009) FaLKM-lib v1.0: A Library for Fast Local Kernel Machines. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico (2009) Fast and Scalable Local Kernel Machines. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico (2008) Operators for transforming kernels into quasi-local kernels that improve SVM accuracy. UNSPECIFIED. (Unpublished)

Serafini, Luciano and Bouquet, Paolo and Magnini, Bernardo and Zanobini, Stefano (2003) An algorithm for matching contextualized schemas via SAT. UNSPECIFIED. (Unpublished)

Serafini, Luciano and Giunchiglia, Fausto (2000) ML systems: A Proof Theory for Contexts. UNSPECIFIED.

Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2001) The Local Relational Model: Model and Proof Theory. UNSPECIFIED.

Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2003) Local Relational Model: a logical formalization of database coordination. UNSPECIFIED. (Unpublished)

Sgorlon, Stefano (2009) A SAT-based tool for solving configuration problems. UNSPECIFIED. (Unpublished)

Shvaiko, Pavel and Euzenat, Jerome (2008) Ten Challenges for Ontology Matching. UNSPECIFIED. (In Press)

Silva Souza, Vítor E. and Lapouchnian, Alexei and Robinson, William N. and Mylopoulos, John (2010) Awareness Requirements for Adaptive Systems. UNSPECIFIED. (Submitted)

Stoermer, Heiko (2008) OKKAM: Enabling Entity-centric Information Integration in the Semantic Web. UNSPECIFIED thesis, UNSPECIFIED.

Stuckenschmidt, Heiner and van Harmelen, Frank and Giunchiglia, Fausto (2002) Query Processing in Ontology-Based Peer-To-Peer Systems. UNSPECIFIED. (Unpublished)

Stöttinger, Julian and Hanbury, Allan and Sebe, Nicu and Gevers, Theo (2012) Sparse Color Interest Points for Image Retrieval and Object Categorization. Trento : Università di Trento, pp. 1-12.

Symonova, Olga (2008) Shape Description for 3D Model Retrieval. UNSPECIFIED. (Unpublished)

T

Tomasi, Silvia (2010) Stochastic Local Search for SMT. UNSPECIFIED. (Unpublished)

Tonelli, Sara and Riccardi, Giuseppe (2010) Guidelines for annotating the LUNA corpus with frame information. UNSPECIFIED.

Trifonova, Anna (2003) Mobile Learning - Review of the Literature. UNSPECIFIED. (Unpublished)

Trifonova, Anna and Georgieva, Evgeniya (2005) Determining the Readiness for Mobile Learning. UNSPECIFIED. (Unpublished)

Truong, Duy Tin (2010) Automated Parameter Configuration for an SMT Solver. UNSPECIFIED. (Unpublished)

Truong, Thu-Huong and Baldi, Mario and Ofek, Yoram (2007) An Efficient Scheduling Algorithm for Time-Driven Switching Networks. UNSPECIFIED. (Unpublished)

Truong, Thu-Huong and Baldi, Mario and Ofek, Yoram (2007) Efficient Scheduling for Heterogeneous Fractional Lambda Switching Networks. UNSPECIFIED. (Unpublished)

U

Ucelli, Giuliana and De Amicis, Raffaele and Conti, Giuseppe and Giunchiglia, Fausto and Noll, Stefan (2003) A Semantic-Based Information Management System to Support Innovative Product Design. UNSPECIFIED. (Unpublished)

Upendranath, Vanam (2005) Smart cmos image sensor for 3d measurement. UNSPECIFIED thesis, UNSPECIFIED.

V

Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. UNSPECIFIED. (Unpublished)

Viani, Federico and Benedetti, Manuel and Donelli, Massimo and Lizzi, Leonardo and Cresp, A. and Aliferis, L. and Pichot, Christian and Massa, Andrea (2008) SVM-based Classification Approach for Synthetic-Impulse Microwave Imaging. UNSPECIFIED. (Unpublished)

Vo, Hong Thanh and Roberto, Zunino (2013) RSSA: a Rejection-based Stochastic Simulation Algorithm. [Other] (Unpublished)

Vo Hong, Thanh and Zunino, Roberto (2011) Tree-Based Search for Stochastic Simulation Algorithm. UNSPECIFIED.

W

Wang, Wei and Battiti, Roberto (2005) Identifying Intrusions in Computer Networks Based on Principal Component Analysis. UNSPECIFIED. (Unpublished)

This list was generated on Tue Mar 19 01:00:43 2024 CET.