This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
2016, with author ALL, in the category Articles in Collections and Proceedings
(or show them all): (Items found: 26)
2016 [top]
- Addis B., Carello G., Sara Mattia: Energy-aware survivable networks, in the Proceedings of INOC 2015, Electronic Notes in Discrete Mathematics, 52, pp. 133--140, 2016
- Alawad N, Anagnostopoulos A, Leonardi S, Ida Mele, Silvestri F: Network-Aware Recommendations of Novel Tweets, ACM-SIGIR Conference, 2016
- Aliannejadi M, Ida Mele, Crestani F: User Model Enrichment for Venue Recommendation, 2016
- Aliannejadi M, Ida Mele, Crestani F: Venue Appropriateness Prediction for Contextual Suggestion, Proceedings of The Twenty-Fifth Text REtrieval Conference (TREC), 2016
- Baruah S., Vincenzo Bonifaci, Bruni R., Marchetti Spaccamela A.: ILP-based approaches to partitioning recurrent workloads upon heterogeneous multiprocessors, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2016
- Biega J, Gummadi K, Ida Mele, Milchevski D, Tryfonopoulos C, Weikum G: R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities, ACM-SIGIR Conference, 2016
- Vincenzo Bonifaci, Brandenburg B., D'Angelo G., Marchetti Spaccamela A.: Multiprocessor real-time scheduling with hierarchical processor affinities, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2016
- Borri A, Francesco Carravetta, Pasquale Palumbo: Cubification of Nonlinear Stochastic Differential Equations and Approximate Moments Calculation of the Langevin Equation, 55th IEEE Conference on Decision and Control (CDC16), 2016
- Borri A, Pasquale Palumbo, Singh A: Noise reduction for enzymatic reactions: a case study for stochastic product clearance, 55th IEEE Conference on Decision and Control (CDC16), 2016
- Borri A, Simona Panunzi, Pasquale Palumbo, Manes C., De Gaetano A.: Glucose control with incomplete information, IEEE Conference on Systems, Man and Cybernetics, 2016
- Alessandro Borri, Francesco Carravetta, Pasquale Palumbo: Stochastic Differential Equations and Approximate Moments Calculation of the Langevin Equation, Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, USA, pp. 4540-4545, 2016
- Alessandro Borri, Dimopoulos C., Simona Panunzi, Brancaleoni R., Gaz C., Gui D., Magalini S., De Gaetano A.: Modelling trauma physiology for large crisis management, 15th International Conference on Modeling and Applied Simulation (MAS 2016), Larnaca, Cipro, pp. 78-84, 2016
- Alessandro Borri, Pasquale Palumbo, Singh A: Noise reduction for enzymatic reactions: a case study for stochastic product clearance, Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, USA, pp. 5851-5856, 2016
- Alessandro Borri, Simona Panunzi, Pasquale Palumbo, Manes C., De Gaetano A.: Glucose control with incomplete information, Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Budapest, Ungheria, pp. 1780-1784, 2016
- Cacace F., Valerio Cusimano, Germani A., Pasquale Palumbo: Carleman discretization of impulsive systems: application to the optimal control problem of anti-angiogenic tumor therapies, 55th IEEE Conference on Decision and Control (CDC16), 2016
- Francesco Carravetta: A Brief and some Further Insight on the Exact Quadratization of Nonlinear Control Systems, 55th IEEE Conference on Decision and Control (CDC16), 2016
- D'Ambrosio C., Antonio Frangioni, Claudio Gentile: Strengthening Convex Relaxations of Mixed Integer Non Linear Programming Problems with Separable Non Convexities, in the Proceedings of XIII Global Optimization Workshop GOW'16, XIII Global Optimization Workshop GOW'16, 2016
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verification of Time-Aware Business Processes using Constrained Horn Clauses, in the Proceedings of the International Symposium on Logic-based Program Transformation and Synthesis (LOPSTR 2016), 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing unnecessary variables from Horn clause verification conditions, in the Proceedings of 3rd International Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 219, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying relational program properties by transforming constrained Horn clauses, in the Proceedings of Proceedings of the 31st Italian Conference on Computational Logic, CEUR-WS, 1645, 2016
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Bayesian Approach for Weighted Ontologies and Semantic Search, Filipe Joaquim, Fred Ana, Dietz Jan, Aveiro David, Liu Kecheng, Bernardino Jorge eds., 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-KEOD 2016, p. 171-178, ISBN: 978-989-758-203-5, 2016
- Giachanou A, Ida Mele, Crestani F: Explaining Sentiment Spikes in Twitter, ACM International Conference on Information and Knowledge Management, 2016
- Sara Mattia: Benders decomposition for capacitated network design, in the Proceedings of ISCO 2016, Lecture Notes in Computer Science, 9849, pp. 71--80, 2016
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A Conceptual Model for Integrating Social and Health Care Services At Home: The H@H Project, IEEE 18th International Conference on E-health Networking, Applications & Services (Healthcom'16), p. 375-380, 14-17 September 2016, Munich-Germany, 2016
- Pola G., Alessandro Borri, Di Benedetto M. D.: On Symbolic Control Design of Nonlinear Systems with State Quantized Measurements, Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, USA, pp. 6571-6576, 2016
- Weitschek E., Cumbo F, Cappelli E, Giovanni Felici: Genomic data integration: A case study on next generation sequencing of cancer, DEXA - Database and Expert Systems Applications, 2016
|
