
- 1 Alderighi, M. Binaghi, E., Mantoani, L. and Sechi, G.R., "Education in Designing Reliable Software: Program Specification and Validation", in: Education and Application of Computer Technology, (M. de Blasi, J. Donio, E. Luque and E. Scerri, Eds.), CUM, 1988, Fratelli Laterza, Bari, pp. 97-l 14.Google Scholar
- 2 Kleene, S.C., "Mathamatical Logic", John Wiley & Sons, New York, 1967.Google Scholar
- 3 Mendelson, E., "Introduction to Mathematical Logic", D. van Nostrand, New York, 1964. Google Scholar
Digital Library
- 4 Manna, Z. and Waldinger, R., N The Logical Basis for Computer Programming", vol. 1, Addison-Wesley Publishing Company, 1985. Google Scholar
Digital Library
- 5 Ehrig, H. and Mahar, E?., "Fundamentals of Algebraic Specification I., Equations and initial Semantics", EATCS, Monogarphs on Theoretical Computer Science, vol. 6, Springer-Verlag. 1985. Google Scholar
Digital Library
- 6 Minsky, M.L., 'Matter, Mind and Models", in: Proceedings of IF/P Congress, vol. 1, Spartan Books, 1965, pp. 45-49.Google Scholar
- 7 Robinson, A., 'An Application of Symbolic Logic to Algebra", Int. Cong. Mat., Cambridge, Hass., vol. 1, 1952, pp.686-694.Google Scholar
- 8 Shoenfield, J.R., "Mathematical Logic", Addison-Wesley, Reading, Mass., 1967.Google Scholar
- 9 Alderighi, M., Sechi, G.R., Vaccaro, R., Verdoscia, L., 'A computing Unit for FFP Function Evaluation in Support of Correctness Proofs", in this volume. Google Scholar
Digital Library
- 10 Sechi, G.R., "Notes on Abstract Computing", Lecture on Computer Science, Universita' degli Studi di Milano, Dipartimento di Fisica, 1988.Google Scholar
Index Terms
Abstract computing machines
Recommendations
Parallel Computing of Support Vector Machines: A Survey
The immense amount of data created by digitalization requires parallel computing for machine-learning methods. While there are many parallel implementations for support vector machines (SVMs), there is no clear suggestion for every application scenario. ...
Abstract: Leveraging PEPPHER Technology for Performance Portable Supercomputing
SCC '12: Proceedings of the 2012 SC Companion: High Performance Computing, Networking Storage and AnalysisPEPPHER is a 3-year EU FP7 project that develops a novel approach and framework to enhance performance portability and programmability of heterogeneous multi-core systems. Its primary target is single-node heterogeneous systems, where several CPU cores ...
Wavelet twin support vector machines based on glowworm swarm optimization
Twin support vector machine is a machine learning algorithm developing from standard support vector machine. The performance of twin support vector machine is always better than support vector machine on datasets that have cross regions. Recently ...






Comments