IL PORTALE per la RICERCA dei DIPARTIMENTI

A. Asperti, C. Sacerdoti Coen (2012) "A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions"

R. Cappelli, M. Ferrara, D. Maio (2012) "A Fast and Accurate Palmprint Recognition System based on Minutiae"

R. Cappelli, M. Ferrara (2012) "A Fingerprint Retrieval System Based on Level-1 and Level-2 Features"

Prandini M. (2012) "A Model for E-voting Systems Evaluation Based on International Standards: Definition and Experimental Validation"

A. Ricci, A. Santi (2012) "A Programming Paradigm based on Agent-Oriented Abstractions"

Bellavista P., Corradi A., Foschini L. (2012) "A Survey of Context Data Distribution for Mobile Ubiquitous Systems"

A. Lumini (2012) "A classifier ensemble approach for the missing feature problem"

M. Lombardi, M. Milano (2012) "A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling"

M. Ferrara, A. Franco, D. Maio (2012) "A multi-classifier approach to face image segmentation for travel documents"

A.Asperti (2012) "A proof of Bertrand's postulate"

A. Lumini (2012) "A simple method for improving local binary patterns by considering non-uniform patterns"

A. Lumini (2012) "A user dependent multiresolution approach for biometric data"

A. Lumini (2012) "A very high performing system to discriminate tissues in mammograms as benign and malignant"

M. Bravetti, G. Zavattaro (2012) "Adaptable processes"

S. Salti, L. Di Stefano (2012) "Adaptive Appearance Modeling for Video Tracking: Survey and Evaluation"

Z. Kiziltan, M. Milano (2012) "Bounding, filtering and diversification in CP-based local branching"

Paolo Bellavista (2012) "Cloud Computing, Networking, and Services"

A. Lumini (2012) "Combining Face and Eye Detectors in a High- Performance Face-Detection System"

A. Lumini (2012) "Combining multiple approaches for gene microarray classification"

Gianluigi Zavattaro (2012) "Complex Functional Rates in Rule-Based Languages for Biochemistry"

A. Di Iorio, F. Vitali (2012) "Constrained Wiki: The WikiWay to Validating Content"

Foschini L. (2012) "Converged multimedia services in emerging Web 2.0 session mobility scenarios"

Danilo Montesi (2012) "Conversation retrieval for microblogging sites"

A. Roli (2012) "Costs and benefits of behavioral specialization"

M. Gaspari (2012) "DECLARATIVE SPECIFICATION OF FAULT TOLERANT AUCTION PROTOCOLS: THE ENGLISH AUCTION CASE STUDY"

A. Bujari, M. Roccetti (2012) "DTN Content Sharing Among Commuters"

Pietro Di Lena (2012) "Deep architectures for Protein Contact Map Prediction"

P. Bellavista, C. Giannelli (2012) "Discovering and accessing peer-to-peer services in UPnP-based federated Domotic Islands"

M. Marzolla, S. Ferretti, G. D'Angelo (2012) "Dynamic Resource Provisioning for Cloud-Based Gaming Infrastructures"

S. Mattoccia (2012) "Editorial of the Special Issue on Emerging Techniques in 3D: 3D Data Fusion, Motion Tracking in Multi-View Video, 3DTV Archives and 3D Content Protection"

Grandi F. (2012) "Efficient Management of Multi-version Clinical Guidelines"

A. Lumini (2012) "Empirical tests on enhancement techniques for an hybrid fingerprint matcher based on minutiae and texture"

P. Torroni (2012) "Exception diagnosis in multiagent contract executions"

A. BEVILACQUA (2012) "Extended Depth of Focus in Optical Microscopy: Assessment of Existing Methods and a New Proposal"

A. Bevilacqua (2012) "Extending the Universal Quality Index to assess N-image fusion in light microscopy"

Peroni S. (2012) "FaBiO and CiTO: Ontologies for describing bibliographic resources and citations"

M. Ferrara, A. Franco, D. Maio, D. Maltoni (2012) "Face Image Conformance to ISO/ICAO standards in Machine Readable Travel Documents"

A. Asperti, C. Sacerdoti Coen (2012) "Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover"

M. Roccetti (2012) "From Fun Technology to Serious Applications: Lessons from a Few Exemplar Cases"

S. Mirri, P. Salomoni, C. Prandi (2012) "GAPforAPE: an augmented browsing system to improve Web 2.0 accessibility"

Paolo Ciancarini, Angelo Di Iorio, Fabio Vitali (2012) "High-quality pagination for publishing"

F. Tombari, L. Di Stefano (2012) "Hough voting for 3D object recognition under occlusion and clutter"

A. Lumini (2012) "Identifying bacterial virulent proteins by fusing a set of classifiers based on variants of Chou’s pseudo amino acid composition and on evolutionary information"

Grandi F. (2012) "Introducing an Annotated Bibliography on Temporal and Evolution Aspects in the Semantic Web"

A. Roli (2012) "Large neighbourhood search algorithms for the founder sequence reconstruction problem"

C. Sacerdoti Coen (2012) "Lebesgue's dominated convergence theorem in Bishop's style"

Ugo Dal Lago (2012) "Linear Dependent Types and Relative Completeness"

A. Lumini (2012) "Local phase quantization descriptor for improving shape retrieval/classification"

L. Calderoni, D. Maio (2012) "Location-aware Mobile Services for a Smart City: Design, Implementation and Deployment"

A. Lumini (2012) "Matrix representation in pattern classification"

Bellavista P., Corradi A., Giannelli C. (2012) "Middleware for Differentiated Quality in Spontaneous Networks"

A. Gherardi, A. Bevilacqua (2012) "Multi-image based method to correct vignetting effect in light microscopy images"

M.Ferrara, D.Maltoni, R.Cappelli (2012) "Noninvertible Minutia Cylinder-Code Representation"

M. Golfarelli, W. Penzo, S. Rizzi (2012) "OLAP Query Reformulation in Peer-to-Peer Data Warehousing"

D. Bresolin (2012) "On Begin, Meets and Before"

Ugo Dal Lago (2012) "On Multiplicative Linear Logic, Modality and Quantum Circuits"

UGO DAL LAGO (2012) "On Quasi-Interpretations, Blind Abstractions and Implicit Complexity"

U. Dal Lago, S. Martini (2012) "On constructor rewrite systems and the lambda-calculus"

S. Ferretti (2012) "On the Degree Distribution of Faulty Peer-to-Peer Overlay Networks"

Maurizio Gabbrielli (2012) "On the Expressive Power of Multiple Heads in CHR"

Pietro Di Lena, Luciano Margara (2012) "On the Undecidability of Attractor Properties for Cellular Automata"

Fariselli P (2012) "On the effect of protein conformation diversity in discriminating among neutral and disease related single amino acid substitutions."

M. Lombardi, M. Milano (2012) "Optimal Methods for resource allocation and scheduling: a cross-disciplinary survey"

F. Tombari, S. Mattoccia, L. Di Stefano (2012) "Performance Evaluation of Full Search Equivalent Pattern Matching Algorithms"

M. Roccetti (2012) "Playing into the Wild: A Gesture-based Interface for Gaming in Public Spaces"

F. Tombari (2012) "Point Cloud Library: Three-Dimensional Object Recognition and 6DOF Pose Estimation"

Fariselli P (2012) "Predicting cancer-associated germline variations in proteins."

Ugo Dal Lago (2012) "Probabilistic Operational Semantics for the Lambda Calculus"

M. Prandini (2012) "Raising Risk Awareness on the Adoption of Web 2.0 Technologies in Decision Making Processes"

A. Lumini (2012) "Random interest regions for object recognition based on texture descriptors and bag of features"

Gianluigi Zavattaro (2012) "Reachability problems in BioAmbients"

T. Salmon Cinotti (2012) "Reconfigurable natural interaction in smart environments: approach and prototype implementation"

M. Prandini (2012) "Return-Oriented Programming"

P. Bellavista (2012) "Service Delivery Management in Broadband Networks (Guest Editorial)"

Mollona E (2012) "Simulating Dynamic Capabilities and Value Creation in Family Firms: Is Paternalism an “Asset” or a “Liability”?"

M. Milano (2012) "Sliced Neighborhood Search"

M. Di Felice, L. Bononi (2012) "Smart Radios for Smart Vehicles: Cognitive Vehicular Networks"

A. Bujari (2012) "Social-Aware Delay Tolerant Networking for Mobile-to-Mobile File Sharing"

Cardone G., Corradi A., Foschini L., Montanari R. (2012) "Socio-Technical Awareness to Support Recommendation and Efficient Delivery of IMS-Enabled Mobile Services"

Alessandro Ricci, Mirko Viroli (2012) "Standard type soundness for agents and artifacts"

A. Lumini (2012) "Survey on LBP based texture descriptors for image classification"

P. Bellavista, G. Cardone, A. Corradi, L. Foschini (2012) "The Future Internet convergence of IMS and ubiquitous smart environments: An IMS-based solution for energy efficiency"

W. Penzo (2012) "The IS-BioBank Project: A Framework for Biological Data Normalization, Interoperability, and Mining for Cancer Microenvironment Analysis"

Profiti G (2012) "The human "magnesome": detecting magnesium binding sites on human proteins."

M. Roccetti (2012) "Using Digital Fountains in Future IPTV Streaming Platforms: a Future Perspective"

G. Moro (2012) "W-Grid: A scalable and efficient self-organizing infrastructure for multi-dimensional data management, querying and routing in wireless data-centric sensor networks"

A. Lumini (2012) "Wavelet images and Chou's pseudo amino acid composition for protein classification"

P. Bellavista (2012) "Wide-Scale Vehicular Sensor Networks and Mobile Sensing (Guest Editorial)"

V. Ghini, S. Ferretti, F. Panzieri (2012) "m-Hippocrates: Enabling Reliable and Highly Interactive m-Health Services"

P. Ciaccia, M. Patella (2012) "Editorial"

Montagna S (2012) "Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure"