Pubblicazioni
-
F. Grandi, Preface to ECDM 2008, in: Advances in Conceptual Modeling – Challenges and Opportunities: ER 2008 Workshops CMSLA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 2008, Proceedings (LNCS 5232), HEIDELBERG, Springer-Verlag, 2008, pp. 66 - 66 [Breve introduzione]
-
A.Asperti; C.Armentano, A page in number theory, «JOURNAL OF FORMALIZED REASONING», 2008, 1, No.1, pp. 1 - 23 [Articolo in rivista]
-
Vassura M.; Margara L.; Di Lena P.; Medri F.; Fariselli P.; Casadio R., FT-COMAR: fault tolerant three-dimensional structure reconstruction from protein contact maps, «BIOINFORMATICS», 2008, 24, pp. 1313 - 1315 [Articolo in rivista]
-
Vassura M.; Margara L.; Di Lena P.; Medri F.; Fariselli P.; Casadio R., Reconstruction of 3D structures from protein contact maps., «IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS», 2008, 5, pp. 357 - 367 [Articolo in rivista]
-
G. Landi; E. Loli Piccolomini, A projected Newton-CG method for nonnegative astronomical image deblurring, «NUMERICAL ALGORITHMS», 2008, 48, pp. 279 - 300 [Articolo in rivista]
-
G. Landi; E Loli Piccolomini; F. Zama, A Total Variation-based reconstruction method for dynamic MRI., «COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE», 2008, 9, pp. 69 - 80 [Articolo in rivista]
-
G. Landi; E. Loli Piccolomini, . A fast projected quasi-Newton method for nonnegative Tikhonov regularization., «INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE», 2008, 3, pp. 199 - 213 [Articolo in rivista]
-
M. Gaspari; D. Guidi, Facilitating agent development in open distributed systems, in: Languages, Methodologies and Development Tools for Multi-Agent Systems, BERLIN, Springer Verlag, 2008, pp. 243 - 260 (LNAI N. 5118) [Capitolo/Saggio in libro]
-
P. Di Lena; L. Margara, Computational complexity of dynamical systems: the case of cellular automata, «INFORMATION AND COMPUTATION», 2008, 206, pp. 1104 - 1116 [Articolo in rivista]
-
L. Benini; D. Bertozzi; M. Milano., Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming, in: Lecture Notes in Computer Science, BERLIN / HEIDELBERG, Springer, 2008, pp. 470 - 484 (atti di: Logic Programming, 24th International Conference, ICLP 2008, Proceedings., Udine, Italy, December 9-13 2008,) [Contributo in Atti di convegno]
-
C. Sacerdoti Coen; S. Zacchiroli, Spurious Disambiguation Errors and How to Get Rid of Them, «MATHEMATICS IN COMPUTER SCIENCE», 2008, 2, pp. 355 - 378 [Articolo in rivista]
-
C. Sacerdoti Coen; E. Tassi, A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita, «JOURNAL OF FORMALIZED REASONING», 2008, 1, pp. 51 - 89 [Articolo in rivista]
-
G. Landi; E. Loli Piccolomini; F. Zama, Regularization Methods for Discrete Ill-posed Problems in Imaging, in: null, 2008, 49, pp. 413 - 420 (atti di: Fifth International Conference of Applied Mathematics and Computing, Plovdiv, Bulgaria, August 12-18, 2008) [Contributo in Atti di convegno]
-
D.Sottara; P. Mello; M. Proctor, Adding Uncertainty to a Rete-OO Inference Engine., in: RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, BERLIN, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5321, pp. 104 - 118 (atti di: INTERNATIONAL SYMPOSIUM, RULEML 2008, Orlando FL USA, 30-31 October 2008) [Contributo in Atti di convegno]
-
D. Sottara; P. Mello, Modelling Radial Basis Functions with Rational Logic Rules., in: Notes in Computer Science 5271 Springer 2008,, BERLIN, Springer Verlag, 2008, pp. 334 - 344 (atti di: HAIS08 Proceedings, Burgos, Spain, September 24-26, 2008.) [Contributo in Atti di convegno]
-
P. Mello; S. Storari; B. Valli, A Knowledge-Based System for Fashion Trend Forecasting, in: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Lecture Notes in Computer Science 5027, BERLIN, Springer Verlag, 2008, pp. 425 - 434 (atti di: Proceedings. Springer 2008, Wroclaw, Poland, June 18-20 2008) [Contributo in Atti di convegno]
-
R. Cappelli; M. Ferrara; D. Maltoni, On the Operational Quality of Fingerprint Scanners, «IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY», 2008, 3, pp. 192 - 202 [Articolo in rivista]
-
A. Alessandroni; R. Cappelli; M. Ferrara; D. Maltoni, Definition of Fingerprint Scanner Image Quality Specifications by Operational Quality, in: First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers, BERLIN, Springer, 2008, 5372/2008, pp. 29 - 36 (atti di: Biometrics and Identity Management, Denmark, May 7-9, 2008) [Contributo in Atti di convegno]
-
P. Bellavista; A. Corradi; C. Giannelli, Mobility-aware Middleware for Self-organizing Heterogeneous Networks with Multihop Multipath Connectivity, «IEEE WIRELESS COMMUNICATIONS», 2008, 15, No. 6, pp. 22 - 30 [Articolo in rivista]
-
M. Ferrara; A. Franco; D. Maltoni, Evaluating systems assessing face-image compliance with ICAO/ISO standards, in: First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers, BERLIN, Springer, 2008, 5372/2008, pp. 191 - 199 (atti di: Biometrics and Identity Management, Denmark, May 7-9, 2008) [Contributo in Atti di convegno]