IL PORTALE per la RICERCA dei DIPARTIMENTI

Andrea Omicini (2013) "A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways"

Roberto Amadini, Maurizio Gabbrielli (2013) "A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing"

M. Roccetti, A. Amoroso (2013) "A New Traffic Congestion Prediction Model for Advanced Traveler Information and Management Systems"

A. Bujari (2013) "A Survey on Interactive Games over Mobile Networks"

Serena Papi (2013) "A fast algorithm for nonconvex approaches to sparse recovery problems"

R. Davoli (2013) "A framework for enhancing the social good in computing aducation: a values approach"

D. Bresolin (2013) "A game-theoretic approach to fault diagnosis and identification of hybrid systems"

Andrea Omicini, Stefano Mariani (2013) "Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems"

S. Mattoccia (2013) "An Embedded 3D Camera on FPGA"

Alessandra Lumini (2013) "An empirical study on the matrix-based protein representations and their combination with sequence-based approaches"

Danilo Montesi (2013) "Antiplatelet therapy and the outcome of subjects with intracranial injury: the Italian SIMEU study"

A. Lumini (2013) "Artificial intelligence techniques for embryo or oocyte classification"

Alessandro Bevilacqua (2013) "Automated image mosaics by non-automated light microscopes: the MicroMos software tool"

P. Fariselli (2013) "BCov: a method for predicting  beta-sheet topology using sparse inverse covariance estimation and integer programming"

Fariselli P (2013) "BETAWARE: a machine-learning tool to detect and predict transmembrane beta-barrel proteins in prokaryotes."

Gianluigi Zavattaro (2013) "Behavioural contracts with request–response operations"

Paolo Bellavista (2013) "Bringing Always Best Connectivity Vision a Step Closer: Challenges and Perspectives"

Danilo Pianini, Sara Montagna, Mirko Viroli (2013) "Chemical-oriented simulation of computational systems with ALCHEMIST"

A. Corradi, L. Foschini (2013) "Context data distribution with quality guarantees for Android-based mobile systems"

Paolo Bellavista, Giuseppe Cardone, Antonio Corradi, Luca Foschini (2013) "Convergence of MANET and WSN in IoT Urban Scenarios"

A. Corradi, L. Foschini (2013) "DARGOS: A highly adaptable and scalable monitoring architecture for multi-tenant Clouds"

ELENA GIACHINO (2013) "Deriving session and union types for objects"

Sara Montagna, Mirko Viroli (2013) "Description and composition of bio-inspired design patterns: a complete overview"

M. Di Felice (2013) "Device Characterization and Cross-layer Protocol Design for RF Energy Harvesting Sensors"

S. Lodi, C. Sartori (2013) "Distributed Strategies for Mining Outliers in Large Data Sets"

A. Lumini (2013) "Double committee adaboost"

Moreno Marzolla (2013) "Dynamic power management for QoS-aware applications"

A. Roli (2013) "Dynamical regimes and learning properties of evolved Boolean networks"

P. Ciaccia, M. Golfarelli, S. Rizzi (2013) "Efficient Derivation of Numerical Dependencies"

P. Bellavista, A. Corradi, L. Foschini (2013) "Enhancing Intra-Domain Scalability of IMS-based Services"

A. Bevilacqua (2013) "Error analysis of satellite attitude determination using a vision-based approach"

Giuseppe Profiti, Piero Fariselli (2013) "Extended and Robust Protein Sequence Annotation over Conservative Nonhierarchical Clusters"

Angelo Di Iorio, Davide Rossi (2013) "Focus Section on Web Technologies: Editorial"

Giuseppe Cardone, Luca Foschini, Paolo Bellavista, Antonio Corradi (2013) "Fostering participaction in smart cities: a geo-social crowdsensing platform"

M. Golfarelli, S. Rizzi (2013) "Fusion Cubes: Towards Self-Service Business Intelligence"

S. Ferretti (2013) "Gossiping for Resource Discovering: an Analysis based on Complex Network Theory"

Di Felice M., Bedogni L., Bononi L. (2013) "Group Communication on Highways: An Evaluation Study of Geocast Protocols and Applications"

Paolo Bellavista (2013) "Guest Editorial: Reactive wireless sensor networks"

Paola Mello (2013) "Guest-editorial: 25 years of AI*IA"

Alessandra Lumini (2013) "Heterogeneous bag-of-features for object/scene recognition"

Fariselli P, Profiti G, Zauli A (2013) "How to inherit statistically validated annotation within BAR+ protein clusters."

M. Di Felice, L. Bononi (2013) "Improving Vehicular Safety Message Delivery through the Implementation of a Cognitive Vehicular Network"

S. Montagna, M. Viroli (2013) "Injecting Self-Organisation into Pervasive Service Ecosystems"

Pietro Di Lena (2013) "MIMO: an efficient tool for molecular interaction maps overlap"

Giuseppe Cardone, Antonio Corradi, Luca Foschini, Dario Maio (2013) "MSF: An Efficient Mobile Phone Sensing Framework"

Alessio Bonfietti, Michele Lombardi, Michela Milano (2013) "Maximum-throughput mapping of SDFGs on multi-core SoC platforms"

D. Bresolin (2013) "Metric propositional neighborhood logics on natural numbers"

Paolo Bellavista, Rebecca Montanari (2013) "Mobile Social Networking Middleware: A Survey"

Federico Chesani, Paola Mello (2013) "Monitoring business constraints with the event calculus"

Matteo Golfarelli, Stefano Rizzi (2013) "Multi-sprint planning and smooth replanning: An optimization model"

Federico Tombari, Luigi Di Stefano (2013) "Multimodal Video Analysis on Self-Powered Resource-Limited Wireless Smart Camera"

Andrea Omicini (2013) "Nature-inspired Coordination Models: Current Status, Future Trends"

M. Viroli (2013) "On competitive self-composition in pervasive services"

Samuele Salti, Luigi Di Stefano (2013) "On-line Support Vector Regression of the transition model for the Kalman filter"

M. Viroli (2013) "Operational Semantics of Proto"

D. Bresolin (2013) "Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers"

F. Tombari, S. Salti, L. Di Stefano (2013) "Performance Evaluation of 3D Keypoint Detectors"

Pietro Di Lena, Luciano Margara (2013) "Periodic Orbits and Dynamical Complexity in Cellular Automata"

Fariselli P (2013) "Prediction of disulfide connectivity in proteins with machine-learning methods and correlated mutations."

Bevilacqua A, Gherardi A (2013) "Protein kinase B/AKT isoform 2 drives migration of human mesenchymal stem cells."

A. Gherardi, A. Bevilacqua (2013) "Real-time whole slide mosaicing for non-automated microscopes in histopathology analysis"

F. Chesani, P. Mello, P. Torroni (2013) "Representing and monitoring social commitments using the event calculus"

Lombardi M., Milano M. (2013) "Robust Scheduling of Task Graphs under Execution Time Uncertainty"

I. Bartolini, M. Patella (2013) "SHIATSU: tagging and retrieving videos without worries"

LUCA DRUDA, PAOLO BELLAVISTA (2013) "SKYPE RESILIENCE TO HIGH MOTION VIDEOS"

G. Profiti, P. Fariselli (2013) "SUS-BAR: a database of pig proteins with statistically validated structural and functional annotation"

A. Amoroso, M. Roccetti (2013) "Safe Driving in LA: Report from the Greatest Intervehicular Accident Detection Test Ever"

Paolo Bellavista, Antonio Corradi, Andrea Reale (2013) "Scalable Stream Processing with Quality of Service for Smart City Crowdsensing Applications"

Luca Foschini, Antonio Corradi (2013) "Self-Adaptive Context Data Distribution with Quality Guarantees in Mobile P2P Networks"

Bellavista P., Corradi A., Foschini L. (2013) "Self-organizing Seamless Multimedia Streaming in Dense MANETs"

Andrea Omicini, Mirko Viroli (2013) "Semantic Tuple Centres"

S. Ferretti. (2013) "Shaping opportunistic networks"

Ambra Molesini, Andrea Omicini, Mirko Viroli (2013) "Simulation in Agent-Oriented Software Engineering: The SODA Case Study"

I. Bartolini (2013) "Skyline Processing on Distributed Vertical Decompositions"

Paolo Ciaccia (2013) "Skyline Queries, Front and Back"

Annalisa Franco, Alessandra Lumini, Dario Maio (2013) "SmartVisionApp: A framework for computer vision applications on mobile devices"

Alessandra Lumini (2013) "Subcellular localization using fluorescence imagery: Utilizing ensemble classification with diverse feature extraction strategies and data balancing"

M. Di Felice (2013) "TCP CRAHN: A Transport Control Protocol for Cognitive Radio Ad Hoc Networks"

S. LODI, C. SARTORI (2013) "TRAINING SUPPORT VECTOR MACHINES USING FRANK-WOLFE OPTIMIZATION METHODS"

M. Marzolla (2013) "The BaBar detector: Upgrades, operation and performance"

I. Bartolini, P. Ciaccia, M. Patella (2013) "The Skyline of a Probabilistic Relation"

S. Peroni, F. Vitali (2013) "The aggregation of heterogeneous metadata in Web-based cultural heritage collections. A case study"

Maurizio Gabbrielli (2013) "The expressive power of CHR with priorities"

Fariselli P (2013) "The prediction of organelle-targeting peptides in eukaryotic proteins with Grammatical-Restrained Hidden Conditional Random Fields."

Alessandro Ricci (2013) "The role of the environment in agreement technologies"

Silvio Peroni, Fabio Vitali (2013) "Tools for the Automatic Generation of Ontology Documentation"

Paolo Bellavista, Antonio Corradi, Luca Foschini, Alessandro Pernafini (2013) "Towards an Automated BPEL-based SaaS Provisioning Support for OpenStack IaaS"

Montagna S (2013) "Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction"

MAURIZIO GABBRIELLI (2013) "Unfolding for CHR programs"

Piero Fariselli (2013) "WS-SNPs&GO: a web server for predicting the deleterious effect of human protein variants using functional annotation"

M. Di Felice, L. Bononi (2013) "XCHARM: A Routing Protocol for Multi-channel Wireless Mesh Networks"

Enrico Denti, Andrea Omicini (2013) "tuProlog: Making Prolog Ubiquitous"