Subject: QA075 Electronic computers. Computer science
Number of records: 257.
Garg, Anurag and Battiti, Roberto and Cascella, Roberto G. (2005) "May I borrow Your Filter?" Exchanging Filters to Combat Spam in a Community. Technical Report DIT-05-089, Ingegneria e Scienza dell'Informazione, University of Trento.
Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. Technical Report DIT-03-016, Ingegneria e Scienza dell'Informazione, University of Trento.
Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. Technical Report DIT-03-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. Technical Report DISI-09-056, Ingegneria e Scienza dell'Informazione, University of Trento.
Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. Technical Report DISI-09-056, Ingegneria e Scienza dell'Informazione, University of Trento.
Li, Bo and Battiti, Roberto (2002) A channel assignment and handoff strategy for mobile multimedia cellular communication systems with variable bandwidth support. Technical Report DIT-02-094, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2005) A Conceptual Model of Cardiac Electrophysiology based on UML. Technical Report DIT-06-055, Ingegneria e Scienza dell'Informazione, University of Trento.
Granelli, Fabrizio and De Natale, Francesco G. B. and Vernazza, Gianni (2002) A Contrast-Based Approach to the Identification of Texture Faults. Technical Report DIT-02-002, Ingegneria e Scienza dell'Informazione, University of Trento.
Mardare, Radu and Priami, Corrado (2006) A Decidable Extension of Hennessy-Milner Logic with Spatial Operators. Technical Report DIT-06-009, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DISI-09-070, Ingegneria e Scienza dell'Informazione, University of Trento.
Saxena, Navrati (2005) A framework for dynamic hybrid scheduling strategies in heterogeneous asymmetric environments. PhD thesis, Ingegneria e Scienza dell'Informazione,.
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. Technical Report DISI-08-015, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-005, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DISI-08-029, Ingegneria e Scienza dell'Informazione, University of Trento.
Salvadori, Elio and Battiti, Roberto (2002) A Load Balancing Scheme for Congestion Control in MPLS Networks. Technical Report DIT-02-095, Ingegneria e Scienza dell'Informazione, University of Trento.
Brunato, Mauro and Battiti, Roberto and Villani, Alessandro and Delai, Andrea (2002) A Location-Dependent Recommender System for the Web. Technical Report DIT-02-093, Ingegneria e Scienza dell'Informazione, University of Trento.
Colombo, Enzo and Mylopoulos, John (2006) A Multi-View Framework for Organizational Patterns. Technical Report DIT-06-017, Ingegneria e Scienza dell'Informazione, University of Trento.
Patel-Schneider, Peter F. and Sebastiani, Roberto (2003) A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. Technical Report DIT-03-022, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (1999) A note on range-restricted circuit covers. Technical Report DIT-02-056, Ingegneria e Scienza dell'Informazione, University of Trento.
Le, Thi Thieu Hoa (2010) A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic. Technical Report DISI-10-056, Ingegneria e Scienza dell'Informazione, University of Trento.
Carra, Damiano and Laface, Paola and Lo Cigno, Renato (2004) A Performance Model for Multimedia Services Provisioning on Network Interfaces. Technical Report DIT-04-092, Ingegneria e Scienza dell'Informazione, University of Trento.
Salvadori, Elio and Battiti, Roberto and Sabel, Mikalai (2002) A Reactive Scheme for Traffic Engineering in MPLS Networks. Technical Report DIT-02-098, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Bouquet, Paolo and Magnini, Bernardo and Serafini, Luciano and Zanobini, Stefano (2003) A SAT-Based Algorithm for Context Matching. Technical Report DIT-03-005, Ingegneria e Scienza dell'Informazione, University of Trento.
Sgorlon, Stefano (2009) A SAT-based tool for solving configuration problems. Technical Report DISI-09-013, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-03-020, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (1999) A short proof of König's matching theorem. Technical Report DIT-02-054, Ingegneria e Scienza dell'Informazione, University of Trento.
Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. Technical Report DIT-07-006, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2007) A Simple FDTD Model to Asses the Feasibility of Heart Beat Detection using commercial UWB communication devices. Technical Report DIT-07-033, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2002) A Simple Minimum T-Cut Algorithm. Technical Report DIT-02-104, Ingegneria e Scienza dell'Informazione, University of Trento.
Fedrigo, Enrico and Granelli, Fabrizio (2008) A Survey of Network Optimization Techniques for Traffic Engineering. Technical Report DISI-08-024, Ingegneria e Scienza dell'Informazione, University of Trento.
Koshutanski, Hristo and Massacci, Fabio (2005) Abduction and Deduction in Logic Programming for Access Control for Autonomic Systems. Technical Report DIT-05-053, Ingegneria e Scienza dell'Informazione, University of Trento.
Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. Technical Report DISI-09-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. Technical Report DISI-09-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. Technical Report DISI-09-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Kalló, Csaba Kiss (2005) Ad Hoc Network Optimization from the Bluetooth Scatternets and Delay-Tolerant Networks Perspectives. PhD thesis, Ingegneria e Scienza dell'Informazione,.
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. Technical Report DIT-02-001, Ingegneria e Scienza dell'Informazione, University of Trento.
Boni, Andrea (2002) Adaptive Model Selection for Digital Linear Classifiers. Technical Report DIT-02-034, Ingegneria e Scienza dell'Informazione, University of Trento.
Guarda, Paolo (2004) Agenti software e sicurezza informatica, in Pascuzzi, G., Eds. Diritto e tecnologie evolute del commercio elettronico, chapter VII, pages 315-342. Cedam.
Passerone, Roberto and Palopoli, Luigi (2008) Aligned Schedules are Optimal. Technical Report DISI-08-044, Ingegneria e Scienza dell'Informazione, University of Trento.
Bertossi, Alan Albert and Pinotti, Maria Cristina and Rizzi, Romeo and Gupta, Phalguni (2002) Allocating Servers in Infostations for Bounded Simultaneous Requests. Technical Report DIT-02-074, Ingegneria e Scienza dell'Informazione, University of Trento.
Ceccato, Mariano and Kiyavitskaya, Nadzeya and Zeni, Nicola and Mich, Luisa and Berry, Daniel M. (2004) Ambiguity Identification and Measurement in Natural Language Texts. Technical Report DIT-04-111, Ingegneria e Scienza dell'Informazione, University of Trento.
Koshutanski, Hristo and Massacci, Fabio (2002) An Access Control System for Business Processes for Web Services. Technical Report DIT-02-102, Ingegneria e Scienza dell'Informazione, University of Trento.
Serafini, Luciano and Bouquet, Paolo and Magnini, Bernardo and Zanobini, Stefano (2003) An algorithm for matching contextualized schemas via SAT. Technical Report DIT-03-003, Ingegneria e Scienza dell'Informazione, University of Trento.
Truong, Thu-Huong and Baldi, Mario and Ofek, Yoram (2007) An Efficient Scheduling Algorithm for Time-Driven Switching Networks. Technical Report DIT-07-002, Ingegneria e Scienza dell'Informazione, University of Trento.
Boato, Giulia and De Natale, Francesco G. B. and Fontanari, Claudio (2005) An Improved Asymmetric Watermarking Scheme Suitable for Copy Protection. Technical Report DIT-05-056, Ingegneria e Scienza dell'Informazione, University of Trento.
Carra, D. and Lo Cigno, R. and Biersack, E.W. (2005) Analysis of Content Distribution Architectures in P2P Systems. Technical Report DIT-05-079, Ingegneria e Scienza dell'Informazione, University of Trento.
Lo Cigno, Renato and Salvadori, Elio and Zsoka, Zoltan (2004) Analysis of Elastic Traffic Effects on WDM Dynamic Grooming Algorithms. Technical Report DIT-04-091, Ingegneria e Scienza dell'Informazione, University of Trento.
Facchini, Christian and Granelli, Fabrizio (2008) Analysis of TCP/MAC Interactions Using the Game Theory. Technical Report DISI-08-025, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DISI-10-002, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo (2007) Analyzing Risk-Countermeasure in Organizations: a Quantitative Approach. Technical Report DIT-07-047, Ingegneria e Scienza dell'Informazione, University of Trento.
Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol
Specifications. Technical Report DIT-02-021, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Siahaan, Ida (2009) Automata Modulo Theory (AMT). Technical Report DISI-09-027, Ingegneria e Scienza dell'Informazione, University of Trento.
Truong, Duy Tin (2010) Automated Parameter Configuration for an SMT Solver. Technical Report DISI-10-057, Ingegneria e Scienza dell'Informazione, University of Trento.
Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. Technical Report DISI-11-001, Ingegneria e Scienza dell'Informazione, University of Trento.
Cilia, Elisa and Passerini, Andrea and Brunato, Mauro (2008) Automatic Prediction of Functional Residues from Sequence and Structural Information. Technical Report DISI-08-036, Ingegneria e Scienza dell'Informazione, University of Trento.
Silva Souza, Vítor E. and Lapouchnian, Alexei and Robinson, William N. and Mylopoulos, John (2010) Awareness Requirements for Adaptive Systems. Technical Report DISI-10-049, Ingegneria e Scienza dell'Informazione, University of Trento.
Sebastiani, Roberto and Vescovi, Michele (2009) Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. Technical Report DISI-09-014, Ingegneria e Scienza dell'Informazione, University of Trento.
Abdel-Nabi, Sameh and Chayka, Oleksiy and Giorgini, Paolo (2009) BarterCell: an Agent-based Bartering Service for Users of Pocket Computing Devices. Technical Report DISI-09-053, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2006) Bio-Medical Sensing using Ultra Wideband Communications and Radar Technology: A Feasibility Study. In Proceedings First International Conference on Pervasive Computing Technologies for Healthcare 2006, Innsbruck, Austria.
Audemard, Gilles and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Bounded Model Checking for Timed Systems. Technical Report DIT-02-044, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Passerini, Andrea (2009) Brain-Computer Evolutionary Multi-Objective Optimization (BC-EMO): a genetic algorithm adapting to the decision maker. Technical Report DISI-09-060, Ingegneria e Scienza dell'Informazione, University of Trento.
Bertossi, Alan and Pinotti, Cristina M. and Tan, Richard (2002) Channel Assignment with Separation for Interference Avoidance in Wireless Networks. Technical Report DIT-02-078, Ingegneria e Scienza dell'Informazione, University of Trento.
Bertossi, Alan Albert and Pinotti, Maria Cristina and Rizzi, Romeo (2002) Channel Assignment with Separation on Trees and Interval Graphs. Technical Report DIT-02-075, Ingegneria e Scienza dell'Informazione, University of Trento.
Quartulli, Antonio and Lo Cigno, Renato (2011) Client announcement and Fast roaming in a Layer-2 mesh network. Technical Report DISI-11-472, Ingegneria e Scienza dell'Informazione, University of Trento.
Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Weiss, Michael (2007) Collaborative Case Retrieval within the Implicit Culture Framework. Technical Report DIT-07-015, Ingegneria e Scienza dell'Informazione, University of Trento.
Lo Cigno, Renato and Ciccarelli, Gianluca (2009) Collusion in Peer-to-Peer Systems. Technical Report DISI-09-048, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2002) Complexity of Context-free Grammars with Exceptions, and the inadequacy of grammars as models for XML and SGML. Technical Report DIT-02-058, Ingegneria e Scienza dell'Informazione, University of Trento.
Perini, Anna and Susi, Angelo and Giunchiglia, Fausto (2002) Coordination specification in MultiAgent Systems. From
requirements to architecture with the Tropos methodology. Technical Report DIT-02-014, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-05-067, Ingegneria e Scienza dell'Informazione, University of Trento.
Ronchetti, Marco and Sant, Joseph (2007) Curriculum Management and Review: an ontology-based solution. Technical Report DIT-07-021, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2002) Cycle Cover Property and CPP=SCC Property are not Equivalent. Technical Report DIT-02-103, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-013, Ingegneria e Scienza dell'Informazione, University of Trento.
Guarda, Paolo (2008) Data Protection, Information Privacy, and Security Measures: an Essay on the European and the Italian Legal Frameworks. Ciberspazio e diritto:65-92.
Ronchetti, Marco and Giuliani, Alberto and Saini, Paramjeet (2003) De-Fragmenting Knowledge: Using Metadata for Interconnecting Courses. Technical Report DIT-03-019, Ingegneria e Scienza dell'Informazione, University of Trento.
Montresor, Alberto and Jelasity, Mark and Babaoglu, Ozalp (2008) Decentralized Ranking in Large-Scale Overlay Networks. Technical Report DISI-08-081, Ingegneria e Scienza dell'Informazione.
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. Technical Report DIT-04-023, Ingegneria e Scienza dell'Informazione, University of Trento.
Saini, Paramjeet and Ronchetti, Marco (2003) Deriving Ontology-Based Metadata for E-Learning form the ACM Computing Curricula. Technical Report DIT-03-017, Ingegneria e Scienza dell'Informazione, University of Trento.
Priami, Corrado (2003) Design Environments for Complex Systems. Technical Report DIT-03-048, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-05-057, Ingegneria e Scienza dell'Informazione, University of Trento.
Perini, Anna and Susi, Angelo and Giunchiglia, Fausto (2002) Designinig Coordination among Human and Software Agents. Technical Report DIT-02-060, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Zannone, Nicola (2006) Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. Technical Report DIT-06-002, Ingegneria e Scienza dell'Informazione, University of Trento.
Trifonova, Anna and Georgieva, Evgeniya (2005) Determining the Readiness for Mobile Learning. Technical Report UNITN-2005-09-15, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-06-047, Ingegneria e Scienza dell'Informazione, University of Trento.
Garg, Anurag and Battiti, Roberto (2005) Digital Reputation for Virtual Communities. Technical Report DIT-05-066, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Fausto and Shvaiko, Pavel and Yatskevich, Mikalai (2006) Discovering Missing Background Knowledge in Ontology Matching. Technical Report DIT-06-005, Ingegneria e Scienza dell'Informazione, University of Trento.
Koshutanski, Hristo (2003) Distributed Access Control for Web and Business Processes. Technical Report DIT-03-034, Ingegneria e Scienza dell'Informazione, University of Trento.
Brunato, Mauro and Battiti, Roberto and Salvadori, Elio (2002) Dynamic load balancing in WDM Networks. Technical Report DIT-02-011, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Paci, Federica and Gadyatskaya, Olga (2010) Dynamic resiliency to user assignment. Technical Report DISI-10-074, Ingegneria e Scienza dell'Informazione, University of Trento.
Mardare, Radu and Priami, Corrado (2006) Dynamic-Epistemic Spatial Logic. Technical Report DIT-06-010, Ingegneria e Scienza dell'Informazione, University of Trento.
Kapoor, Ajai and Rizzi, Romeo (1999) EdgeColoring Bipartite Graphs . Technical Report DIT-02-040, Ingegneria e Scienza dell'Informazione, University of Trento.
Palopoli, Luigi and Passerone, Roberto and Toldo, Paolo (2009) Efficient coverage optimization in energy-constrained Wireless Sensor Networks. Technical Report DISI-09-23, Ingegneria e Scienza dell'Informazione, University of Trento.
Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) Efficient Interpolant Generation in Satisfiability Modulo Theories. Technical Report DIT-07-075, Ingegneria e Scienza dell'Informazione, University of Trento.
Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) Efficient Interpolant Generation in Satisfiability Modulo Theories. Technical Report DIT-07-075, Ingegneria e Scienza dell'Informazione, University of Trento.
Truong, Thu-Huong and Baldi, Mario and Ofek, Yoram (2007) Efficient Scheduling for Heterogeneous Fractional Lambda Switching Networks. Technical Report DIT-07-011, Ingegneria e Scienza dell'Informazione.
Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2003) Efficiently Integrating Boolean Reasoning and Mathematical Solving. Technical Report DIT-03-001, Ingegneria e Scienza dell'Informazione, University of Trento.
Kokash, Natallia and D'Andrea, Vincenzo (2006) Evaluating Quality of Web Services: A Risk-driven Approach. Technical Report DIT-06-099, Ingegneria e Scienza dell'Informazione, University of Trento.
Murshed, Md. Ahsan-ul and Singh, Ramanjit (2005) Evaluation and Ranking of Ontology Construction Tools . Technical Report DIT-05-013, Ingegneria e Scienza dell'Informazione, University of Trento.
Blanzieri, Enrico and Bryl, Anton (2007) Evaluation of the Highest Probability SVM Nearest Neighbor Classifier with Variable Relative Error Cost. Technical Report DIT-07-025, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2000) Excluding a Simple Good Pair Approach to Directed Cuts. Technical Report DIT-02-081, Ingegneria e Scienza dell'Informazione, University of Trento.
Segata, Nicola (2009) FaLKM-lib v1.0: A Library for Fast Local Kernel Machines. Technical Report DISI-09-025, Ingegneria e Scienza dell'Informazione, University of Trento.
Segata, Nicola and Blanzieri, Enrico (2009) Fast and Scalable Local Kernel Machines. Technical Report DISI-09-072, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2007) Feasibility of Dual UWB Heart Rate Sensing and Communications under FCC power restrictions. In Proceedings UWB Radio Technology Workshop / IET 2007 Symposium on UWB, Genoble, France.
Salvadori, Elio and Severina, Danilo and Battiti, Roberto and Lo Cigno, Renato (2004) Field-tests per la realizzazione di HotSpot con reti 802.11. Technical Report DIT-04-024, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2002) Finding 1-factors in bipartite regular graphs, and edge-coloring bipartite graphs . Technical Report DIT-02-038, Ingegneria e Scienza dell'Informazione, University of Trento.
Sebastiani, Roberto (2007) From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. In Proceedings Frontiers in Combining Systems: 6th International Symposium 4720, pages 28-46, Liverpool, U.K..
Ronchetti, Marco (2003) From the classroom to the computer screen: delivering a traditional University course in a non-traditional way. Technical Report DIT-03-018, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo and Massacci, Fabio and Zannone, Nicola (2006) From Trust to Dependability through Risk Analysis. Technical Report DIT-06-079, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-04-017, Ingegneria e Scienza dell'Informazione, University of Trento.
Sebastiani, Roberto and Singerman, Eli and Tonetta, Stefano and Y. Vardi, Moshe (2004) GSTE is Partitioned Model Checking. Technical Report DIT-04-032, Ingegneria e Scienza dell'Informazione, University of Trento.
Tonelli, Sara and Riccardi, Giuseppe (2010) Guidelines for annotating the LUNA corpus with frame information. Technical Report DISI-10-017, Ingegneria e Scienza dell'Informazione, University of Trento.
Lancia, Giuseppe and Pinotti, Maria Cristina and Rizzi, Romeo (2002) Haplotyping Populations: Complexity and Approximations. Technical Report DIT-02-080, Ingegneria e Scienza dell'Informazione, University of Trento.
Boato, G. and De Natale, F. G. B. and Fontanari, C. and Massa, A. (2007) Hierarchically Distributed Access Control Protocol for Wireless Sensor Networks. Technical Report DIT-07-044, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2007) How can ICT be Used to Improve Street Children's Plight: A Proposal for the City of Santa Fe, Argentina. In Proceedings 9th International Conference on Social Implications of Computers in Developing Countries. International Federation for Information Processing (IFIP). TC9: Relationship between Computers and Society., Sao Paulo, Brazil.
Giunchiglia, Enrico and Giunchiglia, Fausto (1996) Ideal and Real Belief about Belief. Technical Report DIT-02-072, Ingegneria e Scienza dell'Informazione, University of Trento.
Wang, Wei and Battiti, Roberto (2005) Identifying Intrusions in Computer Networks Based on Principal Component Analysis. Technical Report DIT-05-084, Ingegneria e Scienza dell'Informazione, University of Trento.
Caso, Roberto (2006) Il “Signore degli anelli” nel ciberspazio: controllo delle informazioni e Digital Rights Management.
Caso, Roberto (2007) Il conflitto tra copyright e privacy nelle reti Peer to Peer: il caso Peppermint: profili di diritto comparato. Technical Report, Scienze Giuridiche, University of Trento.
Rizzi, Romeo (2002) Impaccando T-tagli e T-giunti. Technical Report DIT-02-100, Ingegneria e Scienza dell'Informazione, University of Trento.
Birukou, Aliaksandr and Giorgini, Paolo (2006) Implicit culture: an approach for experiential reasoning. Technical Report DIT-06-020, Ingegneria e Scienza dell'Informazione, University of Trento.
Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto and Zanoni, Claudio (2003) Implict Culture-based Personal Agents for Knowledge Management. Technical Report DIT-03-026, Ingegneria e Scienza dell'Informazione, University of Trento.
Caprara, Alberto and Rizzi, Romeo (2002) Improved Approximation for Breakpoint Graph Decomposition and Sorting by Reversals. Technical Report DIT-02-082, Ingegneria e Scienza dell'Informazione, University of Trento.
Caprara, Alberto and Rizzi, Romeo (1998) Improving a Family of Approximation Algorithms to Edge Color Multigraphs . Technical Report DIT-02-049, Ingegneria e Scienza dell'Informazione, University of Trento.
Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto (2002) Improving the Encoding of LTL Model Checking into SAT. Technical Report DIT-02-046, Ingegneria e Scienza dell'Informazione, University of Trento.
Mich, Luisa and Mylopoulos, John and Zeni, Nicola (2002) Improving the Quality of Conceptual Models with NLP Tools: An Experiment. Technical Report DIT-02-047, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Siahaan, Ida (2009) Inclusion Matching Implementation of Automata Modulo Theory (AMT). Technical Report DISI-09-073, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (1999) Indecomposable r-graphs and some other counterexamples. Technical Report DIT-02-052, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-045, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-042, Ingegneria e Scienza dell'Informazione, University of Trento.
Koshutanski, Hristo and Massacci, Fabio (2004) Interactive Access Control for Web Services. Technical Report DIT-04-031, Ingegneria e Scienza dell'Informazione, University of Trento.
Carra, Damiano and Lo Cigno, Renato and Biersack, Ernst W. (2004) Introducing Heterogeneity in Performance Analysis of P2P Networks for File Distribution. Technical Report DIT-04-113, Ingegneria e Scienza dell'Informazione.
Carra, Damiano and Lo Cigno, Renato and Biersack, Ernst W. (2004) Introducing Heterogeneity in Performance Analysis of P2P Networks for File Distribution. Technical Report DIT-04-113, Ingegneria e Scienza dell'Informazione.
Ronchetti, Marco and Dandoy, Benjamin (2007) Introducing interactive whiteboards in the schools: an experience report. Technical Report DIT-07-068, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-03-033, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (1999) König's Edge Coloring Theorem without augmenting paths. Technical Report DIT-02-057, Ingegneria e Scienza dell'Informazione, University of Trento.
Bermani, Emanuela and Boni, Andrea and Kerhet, Aliaksei and Massa, Andrea (2004) Kernels Evaluation of Svm-Based Estimators for Inverse Scattering Problems. Technical Report DIT-04-062, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Fausto and Perini, Anna and Sannicolo', Fabrizio (2001) Knowledge Level Software Engineering. Technical Report DIT-02-007, Ingegneria e Scienza dell'Informazione, University of Trento.
Moscon, Valentina (2011) La rappresentazione informatica dei diritti tra contratto e diritto d’autore = Digital rights representation between contract and copyright law . Trento: Università degli studi di Trento. - (Trento Law and Technology Research Group. Digital Reprints; 2)
Priami, Corrado (2002) Language-Based Performance Prediction for Distributed and Mobile Systems. Technical Report DIT-02-017, Ingegneria e Scienza dell'Informazione, University of Trento.
Krapivin, Mikalai and Autaeu, Aliaksandr and Marchese, Maurizio (2009) Large Dataset for Keyphrases Extraction. Technical Report DISI-09-055, Informatica e Studi Aziendali, University of Trento.
Salvadori, Elio and Battiti, Roberto and Ardito, Filippo (2003) Lazy Rerouting for MPLS Traffic Engineering. Technical Report DIT-03-011, Ingegneria e Scienza dell'Informazione, University of Trento.
Sebastiani, Roberto (2007) Lazy Satisfiability Modulo Theories. Technical Report DIT-07-022, Ingegneria e Scienza dell'Informazione, University of Trento.
Kokash, Natallia and van den Heuvel, Willem-Jan and D'Andrea, Vincenzo (2006) Leveraging Web Services Discovery with Customizable Hybrid Matching. Technical Report DIT-06-042, Ingegneria e Scienza dell'Informazione, University of Trento.
Papazoglou, Mike P. and Yang, Jian and Kramer, Bend J. (2002) Leveraging Web-Services and Peer-to-Peer Networks. Technical Report DIT-02-088, Ingegneria e Scienza dell'Informazione, University of Trento.
Gangadharan, G.R. and D'Andrea, Vincenzo (2006) Licensing Services: Formal Analysis and Implementation. Technical Report DIT-06-053, Ingegneria e Scienza dell'Informazione, University of Trento.
Delmestri, Antonella and Cristianini, Nello (2010) Linguistic Phylogenetic Inference by PAM-like Matrices. Technical Report DISI-10-058, Ingegneria e Scienza dell'Informazione, University of Trento.
Das, Sajal K. and Pinotti, Maria Cristina (2002) Load Balanced and Optimal Disk Allocation Strategy for Partial Match Queries on Multi-dimensional Files. Technical Report DIT-02-077, Ingegneria e Scienza dell'Informazione, University of Trento.
Gadyatskaya, Olga and Lostal, Eduardo and Massacci, Fabio (2011) Load Time Security Verification: The Claim Checker. Technical Report DISI-11-471, Informatica e Studi Aziendali, University of Trento.
Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2003) Local Relational Model: a logical formalization of database coordination. Technical Report DIT-03-002, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Le, Nhat Thang and Villani, Alessandro (2002) Location-aware computing: a neural network model for determining location in wireless LANs. Technical Report DIT-02-083, Ingegneria e Scienza dell'Informazione, University of Trento.
De Natale, Francesco G.B. and Granelli, Fabrizio (2002) Low-Complexity Context-Based Motion Compensation for VLBR Video Encoding. Technical Report DIT-02-003, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Fausto and Zaihrayeu, Ilya (2002) Making peer databases interact – A vision for an architecture supporting data coordination. Technical Report DIT-02-012, Ingegneria e Scienza dell'Informazione, University of Trento.
Mich, Luisa and Franch, Mariangela and Novi Inverardi, Pierluigi (2002) Market research for requirements analysis using linguistic tools. Technical Report 66, Informatica e Studi Aziendali, University of Trento.
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. Technical Report DIT-07-048, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2000) Minimum T-cuts and optimal T-pairings. Technical Report DIT-02-087, Ingegneria e Scienza dell'Informazione, University of Trento.
Serafini, Luciano and Giunchiglia, Fausto (2000) ML systems: A Proof Theory for Contexts. Technical Report DIT-02-006, Ingegneria e Scienza dell'Informazione, University of Trento.
Trifonova, Anna (2003) Mobile Learning - Review of the Literature. Technical Report DIT-03-009, Ingegneria e Scienza dell'Informazione, University of Trento.
Mardare, Radu and Priami, Corrado (2006) Model Checking Dynamic-Epistemic Spatial Logic. Technical Report DIT-06-011, Ingegneria e Scienza dell'Informazione, University of Trento.
Le, Hoa Thi Thieu and Palopoli, Luigi and Passerone, Roberto and Ramadian, Yusi (2010) Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata. Technical Report DISI-10-031, Ingegneria e Scienza dell'Informazione, University of 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. Technical Report DISI-09-068, Ingegneria e Scienza dell'Informazione, University of Trento.
Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Security Requirements Through Ownership, Permission and Delegation. Technical Report DIT-05-054, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo (2006) Modelling Risk and Identifying Countermeasure in Organizations. Technical Report DIT-06-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Naliuka, Katsiaryna (2006) Multi-session Security Monitoring for Mobile Code. Technical Report DIT-06-067, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-016, Ingegneria e Scienza dell'Informazione, University of Trento.
Gangadharan, G.R. and D’Andrea, Vincenzo and Iannella, Renato and Weiss, Michael (2007) ODRL/L(S): A Language for Service Licensing. Technical Report DIT-07-027, Ingegneria e Scienza dell'Informazione, University of Trento.
Stoermer, Heiko (2008) OKKAM: Enabling Entity-centric Information Integration in the Semantic Web. PhD Thesis, Ingegneria e Scienza dell'Informazione,.
Rizzi, Romeo (1999) On 4-connected graphs without even cycle decompositions. Technical Report DIT-02-050, Ingegneria e Scienza dell'Informazione, University of Trento.
Demichelis, Francesca (2005) On information organization and information extraction for the study of gene expressions by tissue microarray technique. PhD thesis, Ingegneria e Scienza dell'Informazione,.
Rizzi, Romeo (1999) On minimizing symmetric set functions. Technical Report DIT-02-055, Ingegneria e Scienza dell'Informazione, University of Trento.
Bouquet, Paolo and Serafini, Luciano (2003) On the difference between bridge rules and lifting axioms. Technical Report DIT-03-004, Ingegneria e Scienza dell'Informazione, University of Trento.
Benerecetti, Massimo and Bouquet, Paolo and Ghidini, Chiara (2002) On the dimensions of context dependence. Technical Report DIT-02-091, Ingegneria e Scienza dell'Informazione, University of Trento.
Rizzi, Romeo (2001) On the Recognition of P4-Indifferent Graphs. Technical Report DIT-02-051, Ingegneria e Scienza dell'Informazione, University of Trento.
Segata, Nicola and Blanzieri, Enrico (2008) Operators for transforming kernels into quasi-local kernels that improve SVM accuracy. Technical Report DISI-08-009, Ingegneria e Scienza dell'Informazione, University of Trento.
Caprara, Alberto and Rizzi, Romeo (2002) Packing Triangles in Bounded Degree Graphs. Technical Report DIT-02-099, Ingegneria e Scienza dell'Informazione, University of Trento.
Bonifacio, Matteo and Bouquet, Paolo and Mameli, Gianluca and Nori, Michele (2003) Peer - Mediated Distributed Knowledge Management. Technical Report DIT-03-032, Ingegneria e Scienza dell'Informazione, University of Trento.
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. In Proceedings EvoWorkshops 2009, Tübingen.
Nottegar, Chiara and Priami, Corrado and Degano, Pierpaolo (2001) Performance Evaluation of Mobile Processes
via Abstract Machines. Technical Report DIT-02-020, Ingegneria e Scienza dell'Informazione, University of Trento.
Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto and Zanoni, Claudio (2002) Personal Agents for Implicit Culture Support. Technical Report DIT-02-084, Ingegneria e Scienza dell'Informazione, University of Trento.
Brunato, Mauro and Battiti, Roberto (2002) PILGRIM: A Location Broker and Mobility-Aware Recommendation System. Technical Report DIT-02-092, Ingegneria e Scienza dell'Informazione, University of Trento.
Lazovik, Alexander and Aiello, Marco and Papazoglou, Mike (2003) Planning and monitoring the execution of web service requests. Technical Report DIT-03-049, Ingegneria e Scienza dell'Informazione, University of Trento.
Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. Technical Report DIT-02-019, Ingegneria e Scienza dell'Informazione, University of Trento.
Guarda, Paolo (2009) Privacy e fruizione della conoscenza scientifica. In Proceedings Pubblicazioni scientifiche, diritti d’autore ed open access, Trento.
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. Technical Report DIT-02-076, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2005) Qualitative Models of the Human Heart: A Survey. Technical Report DIT-06-054, Ingegneria e Scienza dell'Informazione, University of Trento.
Stuckenschmidt, Heiner and van Harmelen, Frank and Giunchiglia, Fausto (2002) Query Processing in Ontology-Based Peer-To-Peer Systems. Technical Report DIT-02-096, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Brunato, Mauro (2007) R-evo: a Reactive Evolutionary Algorithm for the Maximum Clique Problem. Technical Report DIT-07-034, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Mascia, Franco (2006) Reactive and dynamic local search for Max-Clique, does the complexity pay off?. Technical Report DIT-06-027, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Mascia, Franco (2007) Reactive local search for maximum clique: A new implementation. Technical Report DIT-07-018, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Campigotto, Paolo (2007) Reactive search for MAX-SAT: diversification-bias properties with prohibitions and penalties. Technical Report DIT-07-058, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo and Zannone, Nicola (2006) Reasoning about Risk in Agent's Deliberation Process: a Jadex Implementation. Technical Report DIT-06-078, Ingegneria e Scienza dell'Informazione, University of Trento.
Giorgini, Paolo and Nicchiarelli, Eleonora and Mylopoulous, John and Sebastiani, Roberto (2002) Reasoning with Goal Models. Technical Report DIT-02-043, Ingegneria e Scienza dell'Informazione, University of Trento.
Garg, Anurag and Montresor, Alberto and Battiti, Roberto (2005) Reputation Lending for Virtual Communities. Technical Report DIT-05-086, Ingegneria e Scienza dell'Informazione, University of Trento.
Garg, Anurag and Battiti, Roberto and Cascella, Roberto G. (2005) Reputation Management: Experiments on the Robustness of ROCQ. Technical Report DIT-05-087, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-03-027, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT 03-080, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT 03-080, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo (2007) Risk Analysis as part of the Requirements Engineering Process. Technical Report DIT-07-014, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo and Mylopoulos, John (2006) Risk Modelling and Reasoning in Goal Models. Technical Report DIT-06-008, Ingegneria e Scienza dell'Informazione, University of Trento.
Delmestri, Antonella and Cristianini, Nello (2010) Robustness and Statistical Significance of Pam-like Matrices for Cognate Identification. Technical Report DISI-10-048, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (1999) SAT-Based Decision Procedures for
Classical Modal Logics . Technical Report DIT-02-023, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-02-059, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Fausto and Xu, Hao and Birukou, Aliaksandr and Chenu, Ronald (2011) Scientific Knowledge Object Patterns. Technical Report DISI-10-075, Ingegneria e Scienza dell'Informazione, University of Trento.
Gheorghe, Gabriela and Montresor, Alberto and Lo Cigno, Renato (2009) Security and Privacy Issues in P2P Streaming Systems: A Survey. Technical Report DISI-09-001, Ingegneria e Scienza dell'Informazione, University of Trento.
Bertossi, Alan Albert and Olariu, Stephan and Pinotti, Maria Cristina and Zheng, S.-Q. (2002) Selection on Matrices Classifying Rows and Columns. Technical Report DIT-02-073, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Fausto and Shvaiko, Pavel (2003) Semantic Matching. Technical Report DIT-03-013, Ingegneria e Scienza dell'Informazione, University of Trento.
Bonifacio, Matteo and Ponte, Diego (2004) Sensemaking as a Way to Manage Complexity: Does It Extend to Artificial Agent Organizations?. Technical Report, Ingegneria e Scienza dell'Informazione, University of Trento.
Symonova, Olga (2008) Shape Description for 3D Model Retrieval. Technical Report DISI-08-010, Ingegneria e Scienza dell'Informazione, University of Trento.
Conforti, Michele and Rizzi, Romeo (2000) Shortest Paths in Conservative Graphs. Technical Report DIT-02-053, Ingegneria e Scienza dell'Informazione, University of Trento.
Guarda, Paolo (2005) Sicurezza dei pagamenti e privacy nell’e-commerce. Diritto dell'Internet:91-101.
Brewster, Richard C. and Hell, Pavol and Rizzi, Romeo (2003) Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s. Technical Report DIT-03-008, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Siahaan, Ida (2009) Simulation Matching Implementation of Automata Modulo Theory (AMT). Technical Report DISI-09-074, Ingegneria e Scienza dell'Informazione, University of Trento.
Upendranath, Vanam (2005) Smart cmos image sensor for 3d measurement. PhD thesis, Ingegneria e Scienza dell'Informazione,.
McBader, Stephanie and Clementel, Luca and Sartori, Alvise and Boni, Andrea and Lee, Peter (2002) SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. Technical Report DIT-02-033, Ingegneria e Scienza dell'Informazione, University of Trento.
Beyer, Dirk and Cimatti, Alessandro and Griggio, Alberto and Keremoglu, M. Erkan and Sebastiani, Roberto (2009) Software Model Checking via Large-Block Encoding. Technical Report DISI-09-026, Ingegneria e Scienza dell'Informazione, University of Trento.
Kiraly, Csaba and Bianchi, Giuseppe and Lo Cigno, Renato (2008) Solving Performance Issues in Anonymization Overlays with a L3 approach. Technical Report DISI-08-041, Ingegneria e Scienza dell'Informazione, University of Trento.
Bilich, Carlos (2005) Some Issues on Biological DBs: Data Integration and Mining. Technical Report DIT-06-060, Ingegneria e Scienza dell'Informazione, University of Trento.
Panconesi, Alessandro and Rizzi, Romeo (2001) Some Simple Distributed Algorithms for Sparse Networks. Technical Report DIT-02-039, Ingegneria e Scienza dell'Informazione, University of Trento.
Atzori, Luigi and De Natale, Francesco G.B. (2002) Spectral Classified Vector Quantization (SCVQ) for Multispectral Images. Technical Report DIT-02-004, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DISI-09-067, Ingegneria e Scienza dell'Informazione, University of Trento.
Battiti, Roberto and Brunato, Mauro and Villani, Alessandro (2002) Statistical Learning Theory for Location Fingerprinting in Wireless LANs. Technical Report DIT-02-086, Ingegneria e Scienza dell'Informazione, University of Trento.
Tomasi, Silvia (2010) Stochastic Local Search for SMT. Technical Report DISI-10-060, Ingegneria e Scienza dell'Informazione, University of Trento.
Griggio, Alberto and Sebastiani, Roberto and Tomasi, Silvia (2009) Stochastic Local Search for SMT: a Preliminary Report. Technical Report DISI-09-032, Ingegneria e Scienza dell'Informazione, University of Trento.
Povoli, Marco (2009) Superficial breakdown analysis in 3d detectors and in active-edge planar detectors through TCAD simulations. Technical Report DISI-09-035, Ingegneria e Scienza dell'Informazione, University of Trento.
Marconato, Anna and Gubian, Michele and Boni, Andrea and Petri, Dario (2007) Support Vector Machines for System Identification. Technical Report DIT-07-023, Ingegneria e Scienza dell'Informazione, University of Trento.
Ronchetti, Marco and Trifonova, Anna (2003) Supporting Mobile Learning with Location-Aware Printing Service. Technical Report DIT-03-010, Ingegneria e Scienza dell'Informazione, University of Trento.
Li, Bo and Battiti, Roberto (2003) Supporting Service Differentiation with Enhancements of the IEEE 802.11 MAC Protocol: Models and Analysis. Technical Report DIT-03-024, Ingegneria e Scienza dell'Informazione, University of Trento.
Anguita, Davide and Boni, Andrea and Tagliafico, Luca (2002) SVM Performance Assessment for the Control of Injection Moulding Processes and Plasticating Extrusion. Technical Report DIT-02-035, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DISI-08-047, Ingegneria e Scienza dell'Informazione, University of Trento.
Kerhet, Aliaksei and Hu, Mingqing and Leonardi, Francesco and Boni, Andrea and Petri, Dario (2007) SVM-Like Algorithms and Architectures for Embedded Computational Intelligence. Technical Report DIT-07-012, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-06-068, Ingegneria e Scienza dell'Informazione, University of Trento.
Manica, Luca and Rocca, Paolo and Oliveri, Giacomo and Massa, Andrea (2011) Synthesis of Multi-Beam Sub-Arrayed Antennas Through an Excitation Matching Strategy. Technical Report DISI-11-104, Ingegneria e Scienza dell'Informazione, University of Trento.
Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2008) Talos: an architecture for self-configuration. Technical Report DISI-08-026, Ingegneria e Scienza dell'Informazione, University of Trento.
Shvaiko, Pavel and Euzenat, Jerome (2008) Ten Challenges for Ontology Matching. Technical Report DISI-08-042, Ingegneria e Scienza dell'Informazione, University of Trento.
Anguita, Davide and Boni, Andrea and Ridella, Sandro (2002) The Digital Kernel Perceptron. Technical Report DIT-02-032, Ingegneria e Scienza dell'Informazione, University of Trento.
Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2001) The Local Relational Model: Model and Proof Theory. Technical Report DIT-02-009, Ingegneria e Scienza dell'Informazione, University of Trento.
Mardare, Radu and Priami, Corrado (2005) The principles of ambient calculus revisited. Technical Report DIT-05-018, Ingegneria e Scienza dell'Informazione, University of Trento.
D'Andrea, Vincenzo and Gangadharan, G.R. (2006) The science of free/open services. Technical Report DIT-06-052, Ingegneria e Scienza dell'Informazione, University of Trento.
Sannicolo', Fabrizio and Perini, Anna and Giunchiglia, Fausto (2002) The Tropos Modeling Language. A User Guide. Technical Report DIT-02-061, Ingegneria e Scienza dell'Informazione, University of Trento.
Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2001) The Tropos Software Development Methodology: Processes, Models and Diagrams. Technical Report DIT-02-008, Ingegneria e Scienza dell'Informazione, University of Trento.
Blanzieri, Enrico (2003) Theoretical Interpretations and Applications of Radial Basis Function Networks. Technical Report DIT-03-023, Ingegneria e Scienza dell'Informazione, University of Trento.
Bouquet, Paolo and Ghidini, Chiara and Giunchiglia, Fausto and Blanzieri, Enrico (2001) Theories and uses of context in knowledge representation and reasoning. Technical Report DIT-02-010, Ingegneria e Scienza dell'Informazione, University of Trento.
Aiello, Marco and Smeulders, Arnold M.W. (2002) Thick 2D Relations for Document Understanding. Technical Report DIT-02-063, Ingegneria e Scienza dell'Informazione, University of Trento.
Salvadori, Elio (2005) Traffic engineering in dynamic optical networks. PhD thesis, Ingegneria e Scienza dell'Informazione,.
Salvadori, Elio and Battiti, Roberto (2003) Traffic Engineering in G-MPLS networks with QoS guarantees. Technical Report DIT-03-050, Ingegneria e Scienza dell'Informazione, University of Trento.
Brunato, Mauro and Kiss Kalló, Csaba (2002) Transparent Location Fingerprinting for Wireless Services. Technical Report DIT-02-071, Ingegneria e Scienza dell'Informazione, University of Trento.
Vo Hong, Thanh and Zunino, Roberto (2011) Tree-Based Search for Stochastic Simulation Algorithm. Technical Report DISI-11-478, Ingegneria e Scienza dell'Informazione, University of Trento.
Bresciani, Paolo and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2002) TROPOS: An Agent-Oriented Software Development Methodology. Technical Report DIT-02-015, Ingegneria e Scienza dell'Informazione, University of Trento.
Asnar, Yudistira and Giorgini, Paolo (2008) Uncertainty Dimensions of Risks in Secure and Dependable Domain. Technical Report DISI-08-058, Ingegneria e Scienza dell'Informazione, University of Trento.
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. Technical Report DIT-05-008, Ingegneria e Scienza dell'Informazione, University of Trento.
Papazoglou, Michael P. (2003) Web Services and Business Transactions. Technical Report DIT-03-014, Ingegneria e Scienza dell'Informazione, University of Trento.
Mich, Luisa and Franch, Mariangela and Novi Inverardi, Pierluigi and Marzani, Pietro (2003) Web site quality evaluation: Lightweight or Heavyweight Models?. Technical Report DIT-03-015, Ingegneria e Scienza dell'Informazione, University of Trento.
Ghidini, Chiara and Giunchiglia, Fausto (2002) What is Local Models Semantics?. Technical Report DIT-02-090, Ingegneria e Scienza dell'Informazione, University of Trento.
Aiello, Marco and Frankova, Ganna and Malfatti, Daniela (2005) What’s in an agreement? A formal analysis and an extension of WS-Agreement. Technical Report DIT-05-039, Ingegneria e Scienza dell'Informazione, University of Trento.
Massacci, Fabio and Nguyen, Viet Hung (2010) Which is the Right Source for Vulnerability Studies? An Empirical Analysis on Mozilla Firefox. Technical Report DISI-10-037, Ingegneria e Scienza dell'Informazione, University of Trento.
Sabel, Mikalai and Garg, Anurag and Battiti, Roberto (2005) WikiRep: Digital Reputation in Virtual Communities. Technical Report DIT-05-050, Ingegneria e Scienza dell'Informazione, University of Trento.
Papazoglou, Mike and Aiello, Marco and Pistore, Marco and Yang, Jian (2002) XSRL: An XML web-services request language. Technical Report DIT-02-079, Ingegneria e Scienza dell'Informazione, University of Trento.
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). In 3.
This list was generated on Thu Feb 9 13:31:13 CET 2012.
