Publications

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  2014, with author ALL, in the category Articles in Collections and Proceedings (or show them all):   (Items found: 38)

2014  [top]
  • Amir A., Apostolico A., Hirst T, Landau G.M., Lewenstein N., Rozenberg L.: Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on Run-Length Encoded Strings, in the Proceedings of String Processing and Information Retrieval (SPIRE 2014), Lecture Notes in Computer Science, 8799, 2014
  • Anand A, Ida Mele, Bedathur S, Berberich K: Phrase Query Optimization on Inverted Indexes, ACM International Conference on Information and Knowledge Management, 2014
  • Apostolico A., Guerra C., Pizzi C.: Alignment Free Sequence Similarity with Bounded Hamming Distance, in the Proceedings of 2014 Data Compression Conference, Compression Conference (DCC), 2014
  • Bersani A, Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: Quasi-Steady-State Approximations of the Chemical Master Equation in Enzyme Kinetics - Application to the Double Phosphorylation/ Dephosphorylation Cycle, in the Proceedings of Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, IEEE Conference on Decision and Control (CDC 2014), 2014
  • Bertuzzi A, Fasano A., Carmela Sinisgalli: Conservation laws in cancer modeling, in: Mathematical Oncology 2013, Mathematical Oncology 2013, Springer Heidelberg Dordrecht London New York, New York (Stati Uniti d'America), 2014
  • Biega J, Ida Mele, Weikum G: Probabilistic Prediction of Privacy Risks in User Search Histories, 1st International Workshop on Privacy and Security of Big Data, PSBD@CIKM2014, 2014
  • Bilò D., Gualà L., Leucci S., Guido Proietti: Fault-Tolerant Approximate Shortest-Path Trees, in the Proceedings of Proc. of the 22nd European Symposium on Algorithms (ESA 2014), Lecture Notes in Computer Science, 8737, 2014
  • Bilò D., Gualà L., Leucci S., Guido Proietti: Local-knowledge Network Creation Games, in the Proceedings of Proc. of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'14),, 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'14), 2014
  • Bilò D., Gualà L., Leucci S., Guido Proietti: Network Creation Games with Traceroute-Based Strategies, in the Proceedings of Proc. of the 21th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014), Lecture Notes in Computer Science, 8576, 2014
  • Cacace F., Valerio Cusimano, Germani A., Pasquale Palumbo: A Carleman discretization approach to filter nonlinear stochastic systems with sampled measurements, IFAC World Congress on Automatic Control, 2014
  • Francesco Carravetta: Global Exponential State-Feedback Stabilization of an Underactuated Rigid-Body in 3D, 53rd IEEE Conference on Decision and Control}, (CDC 2014), 2014
  • Francesco Carravetta, Manes C., Pasquale Palumbo: Filtering and parameter estimation for a class of Hidden Markov Models with application to bubble-counting in microfluidics, IFAC World Congress on Automatic Control, 2014
  • Francesco Carravetta, White L.B.: New Normalized Bayesian Smoothers for Signals Modelled by Non-Causal Compositions of Reciprocal Chains, 2014 IEEE Workshop on Statistical Signal Processing}, (SSP 2014), 2014
  • D'Andrea A., D'Emidio M., Frigioni D., Leucci S., Guido Proietti: Experimental Evaluation of Dynamic Shortest Path Tree Algorithms on Homogeneous Batches, in the Proceedings of Proc. of the 13th International Symposium on Experimental Algorithms (SEA'14), Lecture Notes in Computer Science, 8504, 2014
  • Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, in the Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 169, 2014
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, in the Proceedings of Proceedings of VPT 2014, EasyChair Proceedings in Computing (EPiC) series, 28, 2014
  • De Gaetano A., Simona Panunzi, Pasquale Palumbo, Gaz C., Hardy T.: Data-driven modeling of diabetes progression, in: Data-driven models for Diabetes. Diagnosis and Treatment, Mitsis G, Marmarelis V eds., Lecture Notes in Bioengineering, Springer-Verlag Berlin Heidelberg, 165-186, 2014
  • Federici M, Carlo Gaibisso, Bruno Luigi Martino: HAVmS Highly Available Virtual machine Computer System Fault Tolerant with Automatic Failback and close to zero downtime, ACTA POLYTECHNICA CTU PROCEEDINGS, 1, 2014
  • Giulia Fiscon, Weitschek E., Giovanni Felici, Paola Bertolazzi, De Salvo S, Bramanti P, De Cola M C: Alzheimer's disease patients classification through EEG signals processing, in the Proceedings of 2014 IEEE Symposium Series on Computational Intelligence, 2014 IEEE Symposium on Computational Intelligence and Data Mining (CIDM) Proceedings, 2014
  • Fustaino V, Giovanni Felici, Ruberti G.: Integrated analysis of DNA copy number and gene expression data in Lung cancer models of resistance to targeted therapy, IV EURO WG Conference on Operational Research in Computational Biology, Bioinformatics and Medicine, 2014
  • Kong J.D., Kumar S.S., Pasquale Palumbo: DDE models of the glucose-insulin system: a useful tool for the artificial pancreas, in: Managing Complexity, Reducing Perplexity in Biological Systems, Ajomne-Marsan G, Delitala M eds., Proceedings in Mathematics and Statistics, 67, Springer, 109-117, 2014
  • Bruno Luigi Martino, Federici M: Not Relational Models For The Management of Large Amount of Astronomical Data, 2014
  • Sara Mattia, Rossi F., Servilio M., Smriglio S.: Robust Shift Scheduling in Call Centers, in the Proceedings of ISCO 2014, Lecture Notes in Computer Science, 8596, pp. 336--346, 2014
  • Mauro Mazzei, Palma A.L.: Comparative Analysis of Models of Location and Spatial Interaction, in the Proceedings of Computational Science and Its Applications ICCSA 2014, Lecture Notes in Computer Science, 8582, 2014
  • Nobile M.S., Citrolo A.G., Cazzaniga P, Besozzi D, Mauri G.: A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information, IEEE Congress on Evolutionary Computation (CEC 2014), 2014
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: DDE model-based control of glycemia via sub-cutaneous insulin administration, in: Delay Systems. From Theory to Numerics and Applications, Sipahi R, Vyhlidal T, Lafay J-F eds., Advances in Delays and Dynamics, 1, Springer International Publishing, 229-240, 2014
  • Pasquale Palumbo, Pizzichelli G, Simona Panunzi, Pepe P., De Gaetano A.: Closed-loop control scheme for the euglycemic hyperinsulinemic clamp: validation on virtual patients, IFAC World Congress on Automatic Control, 2014
  • Simona Panunzi, Alessandro Borri, Pasquale Palumbo, Kovacs L, De Gaetano A.: Simulation of insulin regimen and glucose profiles in Type 1 Diabetic Patient, IEEE Conference on Systems, Man and Cybernetics, San Diego, USA, pp. 2464-2469, 2014
  • Simona Panunzi, De Gaetano A.: Pitfalls in Model Identification: Examples from Glucose-Insulin Modelling, in: Data-driven Modeling for Diabetes, Mitsis G, Marmarelis V eds., Lecture Notes in Bioengineering, Springer-Verlag Berlin Heidelberg, 117-129, 2014
  • Maurizio Proietti, Smith F.: Reasoning on Data-Aware Business Processes with Constraint Logic, in the Proceedings of Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), CEUR-WS, 1293, 2014
  • Smith F., Maurizio Proietti: Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework, in: Agents and Artificial Intelligence, Communications in Computer and Information Science, 449, Springer, 293-313, 2014
  • Smith F., Storti E., Francesco Taglino: Towards Semantic Collective Awareness Platforms for Business Innovation, in: Advanced Information Systems Engineering Workshops, Lecture Notes in Artificial Intelligence, 178, Springer, 226-237, 2014
  • Smith F., Francesco Taglino: Semantics-based Social Media for Collaborative Open Innovation, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
  • Francesco Taglino, Smith F.: Triggering Creativity through Semantic Cross-domain Web Crawling and Routing, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
  • Tieri P, Prana V, Colombo T, Daniele Santoni, Castiglione F: Multi-scale Simulation of T Helper Lymphocyte Differentiation, in the Proceedings of 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014., Campos S ed., Lecture Notes in Computer Science, 8826, 2014
  • Weitschek E., Cunial F, Giovanni Felici: Classifying bacterial genomes with compact logic formulas on k-mer frequencies, Tjoa A.M., Wagner R.R., Morvan F eds., DEXA - Database and Expert Systems Applications, 2014
  • Weitschek E., Giulia Fiscon, Paola Bertolazzi, Festa P., Giovanni Felici: A new greedy randomized procedure for the feature selection problem, IV EURO WG Conference on Operational Research in Computational Biology, Bioinformatics and Medicine, 2014
  • Weitschek E., Giulia Fiscon, Giovanni Felici, Paola Bertolazzi: GELA: Gene Expression Logic Analyzer, Nettab2014 Workshop, From structural bioinformatics to integrative systems biology. Book of Abstract, 2014
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -