IL PORTALE per la RICERCA dei DIPARTIMENTI

S. Mattoccia (2011) "A Discussion on the Accuracy and Performance of Local Stereo Algorithms for Stereo Correspondence"

S. Papi (2011) "A Fast Compressed Sensing Approach to 3D MR Image Reconstruction"

V. Maniezzo (2011) "A Fully Distributed Lagrangean Solution for a Peer-to-Peer Overlay Network Design Problem"

Di Iorio A., Peroni S., Vitali F. (2011) "A Semantic Web Approach To Everyday Overlapping Markup"

M. Viroli (2011) "A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems"

W. Penzo (2011) "A Unified Multimedia and Semantic Perspective for Data Retrieval in the Semantic Web"

Bellavista P., Corradi A., Giannelli C. (2011) "A Unifying Perspective on Context-Aware Evaluation and Management of Heterogeneous Wireless Connectivity"

F. Chesani, P. Mello, P. Torroni (2011) "A computational logic application framework for service discovery and contracting"

A. Lumini (2011) "A new encoding technique for peptide classification"

Claudio Sartori (2011) "A semantic approach to ETL technologies"

Fariselli P., Zauli A. (2011) "ASPicDB: a database of annotated transcript and protein variants generated by alternative splicing"

Ambra Molesini, Andrea Omicini (2011) "Adaptable Multi-Agent Systems: The Case of the Gaia Methodology"

F. Tombari, L. Di Stefano (2011) "Adaptive Low Resolution Pruning for Fast Full-Search Equivalente Pattern Matching"

T. Salmon Cinotti, A. D'Elia, L. Roffia (2011) "An Integrated Framework to Achieve Interoperability in Person-Centric Health Management"

R. Gorrieri (2011) "An Operational Petri Net Semantics for A2CCS"

A. Lumini (2011) "Artificial intelligence systems based on texture descriptors for vaccine development"

L. Di Stefano, S. Salti (2011) "Augmented Reality for Aircraft Maintenance Training and Operations Support"

Fariselli P., Zauli A. (2011) "BAR-PLUS: the Bologna Annotation Resource Plus for functional and structural annotation of protein sequences"

S. Mirri, P. Salomoni, M. Roccetti (2011) "Beyond Standards: Unleashing Accessibility on a Learning Content Management System"

A. Lumini (2011) "Biohashing applied to an orientation-based minutia descriptor for a secure fingerprint authentication system"

Di Lena P., Margara L., Fariselli P. (2011) "Blurring contact maps of thousands of proteins: what we can learn by reconstructing 3D structure."

R. Cappelli, M. Ferrara, D. Maio (2011) "Candidate List Reduction based on the Analysis of Fingerprint Indexing Scores"

A. Asperti, C. Sacerdoti Coen (2011) "Certified Complexity"

I. Bartolini (2011) "Collaborative Filtering with Personalized Skylines"

A. Lumini (2011) "Combining different Local Binary Pattern variants to boost performance"

Ugo Dal Lago (2011) "Confluence Results for a Quantum Lambda Calculus with Measurements"

Andrea Omicini, Mirko Viroli (2011) "Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres"

Andrea Omicini, Mirko Viroli (2011) "Coordination Models and Languages: From Parallel Computing To Self-Organisation"

Fariselli P. (2011) "Correlating disease related mutations to their effect on protein stability: a large scale analysis of the human proteome"

G. Cardone, A. Corradi, L. Foschini (2011) "Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks"

M. Golfarelli, S. Rizzi (2011) "Data Warehouse Testing: A Prototype-Based Methodology"

M. Golfarelli, S. Rizzi (2011) "Data warehouse testing"

M. Lombardi, M. Milano, A. Roli (2011) "Deriving Information from Sampling and Diving"

P. Bellavista, A. Corradi, C. Giannelli (2011) "Differentiated Management Strategies for Multi-Hop Multi-Path Heterogeneous Connectivity in Mobile Environments"

L. Di Stefano (2011) "Editorial of the Special Issue on Advanced Video-Based Surveillance"

P. Bellavista (2011) "Editorial: Smart Space Technological Developments"

A.A. Bertossi (2011) "Efficient training protocols for localization in heterogeneous sensor and actor networks"

S. Mattoccia, F. Tombari, L. Di Stefano (2011) "Efficient template matching for multi-channel images"

Di Felice M., Bononi L. (2011) "End-to-end Protocols for Cognitive Radio Ad Hoc Networks: An Evaluation Study"

P. Torroni, P. Mello (2011) "Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos"

Bononi L., Di Felice M. (2011) "Enhancing Multi-hop Communication over Multi-radio Multi-channel Wireless Mesh Networks: A cross-layer approach"

R. Davoli (2011) "Enhancing the social issues components in our computing curriculum: computing for the social good"

M. Roccetti (2011) "Entertainment beyond Divertissment: Using Computer Games for City Roads Accessibility"

A. Ricci, M. Viroli (2011) "Environment Programming in Multi-Agent Systems: An Artifact-Based Perspective"

D. Sangiorgi (2011) "Environmental bisimulations for higher-order languages"

Papi S. (2011) "Fast Sparse Image Reconstruction using Adaptive Nonlinear Filtering"

R. Cappelli (2011) "Fast and Accurate Fingerprint Indexing based on Ridge Orientation and Frequency"

M. Marzolla (2011) "Fast training of support vector machines on the Cell processor"

R. Cappelli, M. Ferrara, D. Maltoni (2011) "Fingerprint Indexing based on Minutia Cylinder-Code"

C. Sacerdoti Coen (2011) "Formalizing Overlap Algebras in Matita"

P. Di Lena (2011) "Genome-Wide Identification of Bcl11b Gene Targets Reveals Role in Brain-Derived Neurotrophic Factor Signaling"

A. Amoroso, M. Roccetti (2011) "Going Realistic and Optimal: A Distributed Multi-Hop Broadcast Algorithm for Vehicular Safety"

A. Roli (2011) "Hybrid Metaheuristics for Constrained Portfolio Selection Problems"

A. Roli (2011) "Hybrid metaheuristics in combinatorial optimization: A survey"

F. Turroni, D. Maltoni, R. Cappelli, D. Maio (2011) "Improving Fingerprint Orientation Extraction"

Fariselli P. (2011) "Improving the detection of transmembrane beta-barrel chains with N-to-1 extreme learning machines"

Fariselli P. (2011) "Improving the prediction of disulfide bonds in Eukaryotes with machine learning methods and protein subcellular localization"

Andrea Omicini (2011) "Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems"

Di Lena P., Fariselli P., Margara L. (2011) "Is There an Optimal Substitution Matrix for Contact Prediction with Correlated Mutations?"

A. Roli (2011) "Leveraging saving-based algorithms by master-slave genetic algorithms"

U. Dal Lago (2011) "Light Logics and Optimal Reduction: Completeness and Complexity."

A. Lumini (2011) "Likelihood ratio based features for a trained biometric score fusion"

S. Martini (2011) "Lingua Universalis"

A. Lumini (2011) "Local ternary patterns from three orthogonal planes for human action classification"

Foschini L., Corradi A. (2011) "M2M-Based Metropolitan Platform for IMS-Enabled Road Traffic Management in IoT"

Fariselli P. (2011) "MemPype: a pipeline for the annotation of eukaryotic membrane proteins"

P. Ciaccia, M. Patella (2011) "Metric Information Filtering (Or: How to Win the (Metric) Space War with Information Overload)"

P. Bellavista (2011) "Mobile Applications: Status and Trends (guest editorial)"

F. Chesani, P. Mello, P. Torroni (2011) "Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions."

F. Chesani, P. Mello, P. Torroni (2011) "Monitoring time-aware commitments within agent-based simulation environments"

P. Bellavista (2011) "Next Generation Networks Service Management"

Claudio Sacerdoti Coen (2011) "Nonuniform Coercions via Unification Hints"

A. Amoroso, M. Roccetti (2011) "On the Comparison of Two Vehicular Safety Systems in Realistic Highway Scenarios"

I. Lanese, D. Sangiorgi (2011) "On the expressiveness and decidability of higher-order process calculi"

M. Lombardi, M. Milano (2011) "Optimal resource allocation and scheduling for the CELL BE platform"

M. Marzolla (2011) "PARSY: Performance Aware Reconfiguration of Software Systems"

A. Lumini (2011) "Prototype reduction techniques: A comparison among different approaches"

Ugo Dal Lago (2011) "Realizability Models and Implicit Complexity"

P. Bellavista (2011) "Recent Advances in Mobile Middleware for Wireless Systems and Services (Guest Editorial)"

A. Franco (2011) "Reduced Reward-Punishment Editing for building ensembles of classifiers"

Cosimo Laneve (2011) "Reversibility in Massive Concurrent Systems"

Bresolin D. (2011) "Robotic surgery: formal verification of plans"

Ugo Dal Lago (2011) "Soft Session Types"

M. Viroli, S. Montagna (2011) "Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces"

L. Di Stefano (2011) "Statistical Change Detection by the Pool Adjacent Violators Algorithm"

S. Ferretti, V. Ghini, F. Panzieri (2011) "Structuring Clouds for Mobile Mutimedia"

M. Milano (2011) "Sustainable biomass power plant location in the Italian Emilia-Romagna Region"

A. Roli (2011) "Task partitioning in swarms of robots: An adaptive method for strategy selection"

A. Lumini (2011) "Texture descriptors for generic pattern classification problems"

V. Ghini, S. Ferretti, F. Panzieri (2011) "The "Always Best Packet Switching" architecture for SIP-based mobile multimedia services"

Silvia Mirri, Marco Roccetti, Paola Salomoni (2011) "The Directors' Cut: a Solution to Collaborative Multimedia Management"

Andrea Omicini, Enrico Denti (2011) "Towards a logic framework for Web programming"

Di Iorio A., Peroni S., Vitali F. (2011) "Using Semantic Web technologies for analysis and validation of structural markup"

M. Roccetti (2011) "Vehicular Congestion Detection and Short-Term Forecasting: A New Model with Results"

A. Lumini (2011) "Wavelet selection for disease classification by DNA microarray data"

A. Asperti (2011) "Zen and the art of formalisation."

Bellavista P., Corradi A. (2011) "iPOJO-based Middleware Solutions for Self-Reconfiguration and Self-Optimization"

M. Golfarelli, S. Rizzi (2011) "myOLAP: An Approach to Express and Evaluate OLAP Preferences"

A. Ricci, M. Viroli (2011) "simpA: An agent-oriented approach for programming concurrent applications on top of Java"

E. Mollona (2011) "Strategic Management Dynamics"

Davide Sangiorgi (2011) "Concurrency theory: timed automata, testing, program synthesis"