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 Proceedings (or show them all):   (Items found: 31)

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
  • 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
  • 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
  • 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, 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
  • 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., 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -