IL PORTALE per la RICERCA dei DIPARTIMENTI

Poloni F. (2012) "A Deflation Approach for Large-Scale Lur'e Equations"

BROGI A (2012) "A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation"

FRANGIONI A (2012) "A Storm of Feasibility Pumps for Nonconvex MINLP"

RUGGIERI S (2012) "A complexity perspective on entailment of parameterized linear constraints"

Federico Poloni (2012) "A generalized structured doubling algorithm for the numerical solution of linear quadratic optimal control problems"

DANELUTTO M (2012) "A “Minimal Disruption” Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml"

PRENCIPE G (2012) "Algorithms and Today's Practitioner"

Gori R, Levi F (2012) "An Analysis for Proving Probabilistic Termination of Biological Systems"

Passacantando M (2012) "An Integer Linear Programming Approach for Radio-Based Localization of Shipping Containers in the Presence of Incomplete Proximity Information "

CHESSA S (2012) "Automatic virtual Calibration of Range-Based Indoor Localization Systems"

BIGI G, FRANGIONI A (2012) "Beyond canonical DC-Optimization: the single reverse polar problem"

S. Trani, R. Venturini (2012) "Cite-as-you-Write"

Micheli A. (2012) "Compositional Generative Mapping for Tree-Structured Data - Part I: Bottom-Up Probabilistic Modeling of Trees."

CHESSA S (2012) "Cross Layer Adaptation of Check Intervals in Low Power Listening MAC Protocols for Lifetime Improvement in Wireless Sensor Networks"

L. PAGLI, PRENCIPE G (2012) "Distributed Minimum Spanning Tree Maintenance for Transient Node Failures"

Prencipe G (2012) "Distributed computing by mobile robots: Gathering"

Federico Poloni (2012) "Doubling Algorithms with Permuted Lagrangian Graph Bases"

CHESSA S (2012) "Energy-Aware Test Connection Assignment for the Self-Diagnosis of a Wireless Sensor Network"

BIGI G (2012) "Existence results for strong vector equilibrium problems and their applications"

Morelli D (2012) "Experience-driven procedural music generation for games."

Ferragina P (2012) "Fast and accurate annotation of short texts with Wikipedia pages"

BARBUTI R (2012) "Fine-tuning anti-tumor immunotherapies via stochastic simulations"

Barbuti R, Milazzo P (2012) "Foundational aspects of multiscale modeling of biological systems with process algebras"

Pisanti N (2012) "From Discrete to Continuous: Turing's Morphogenesis"

BIGI G, PASSACANTANDO M (2012) "Gap functions and penalization for solving equilibrium problems with nonlinear constraints"

PAPPALARDO M, PASSACANTANDO M (2012) "Hybrid proximal methods for equilibrium problems"

Paolo Ferragina (2012) "Lightweight Data Indexing and Compression in External Memory"

Turini F. (2012) "Mining Bayesian Networks out of ontologies"

Degano P (2012) "Modular plans for secure service composition"

Mastroeni G (2012) "Nonlinear separation in the image space with applications to penalty methods"

MILAZZO P (2012) "On Conditions for Modular Verification in Systems of Synchronising Components"

Mastroeni G (2012) "On maximum and variational principles via image space analysis"

Mastroeni G (2012) "On the image space analysis for vector quasi-equilibrium problems with a variable ordering relation "

Barbuti R, Milazzo P, Rama A (2012) "Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment"

BARBUTI R, LEVI F, MILAZZO P (2012) "Probabilistic model checking of biological systems with uncertain kinetic rates"

DANELUTTO MARCO (2012) "Process-driven biometric identification by means of autonomic grid components "

CHESSA S (2012) "Robust Distributed Storage of Residue Encoded Data"

Turini F. (2012) "Stream mining: a novel architecture for ensemble-based classification"

Mastroeni G (2012) "Survey on vector complementarity problems"

Bernasconi A (2012) "Synthesis of P-circuits for logic restructuring"

DANELUTTO MARCO, TORQUATI M (2012) "Targeting heterogeneous architectures via macro data flow"

Poloni F (2012) "The Pade iterations for the matrix sign function and their reciprocals are optimal"

R. Barbuti, S. Chessa, A. Micheli (2012) "Tortoise@: a system for localizing tortoises during the eggs deposition phase"

BRUNI R (2012) "Towards Interaction Reliability in Concurrent Applications "