| Corsi: | ||
| 87043 | Informatica | |
| Corsi a.a. precedenti: | ||
| 6421 | Informatica | |
| 87005 | Informatica | |
| 6626 | Reti e problematiche di rete (1 modulo) | |
| 6625 | Reti e problematiche di rete (2 moduli) | |
| 6614 | Reti e problematiche di rete (3 moduli) | |
| 91054 | Sicurezza dei sistemi informatici | |
| Informazioni personali |
| Incarico di associazione tecnologica dell'Istituto Nazionale di Fisica Nucleare dal 2005 |
| Brevetto: Circuito Logico Quantistico 2005 (depositato il 10 Novembre) |
| Short CV |
| Membro del Nominating committee dell'International Quantum Structure Association |
| Pubblicazioni |
| BELTRAMETTI E, DALLA CHIARA M L, GIUNTINI R, LEPORINI R, SERGIOLI G,Epistemic quantum computational structures in a Hilbert-space environment, 2012, FUNDAMENTA INFORMATICAE, vol. 115, p. 1-14, ISSN: 0169-2968, doi: 10.3233/FI-2012-637 |
| BERTINI C.,LEPORINI R., Logics from quantum computation with bounded additive operators, 2012, INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, vol. 10 (3), pp. 1250036-1, 17. ISSN: 0219-7499. DOI: 10.1142/S0219749912500360 |
| BERTINI C.,LEPORINI R., Product Lukasiewicz Quantum Logic 2011, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, vol. 50, 571-580. ISSN: 0020-7748. DOI: 10.1007/s10773-010-0577-x |
| DALLA CHIARA M.L.,GIUNTINI R.,LEPORINI R., Holism, ambiguity and approximation in the logics of quantum computation. A survey 2011, INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, vol. 40 (1), pp. 85-98. DOI: 10.1080/03081079.2010.512412 |
| DALLA CHIARA M.L.,GIUNTINI R.,LEDDA A.,LEPORINI R.,SERGIOLI G., Entanglement as a semantic resource 2010, FOUNDATION OF PHYSICS. doi: 10.1007/s10701-010-9407-5 |
| BERTINI C.,LEPORINI R., An axiomatic system suggested by quantum computation, 2009, JOURNAL OF LOGIC AND COMPUTATION, vol. 19 (6), pp. 1175-1198. ISSN: 1465-363X (online) 0955-792X (print). doi:10.1093/logcom/exp008 |
| CATTANEO G., LEPORATI A., LEPORINI R.,Quantum conservative many-valued computing, 2008, FUZZY SETS AND SYSTEMS, vol. 159, pp. 1001-1030. doi:10.1016/j.fss.2007.09.014 (On-line). |
| BERTINI C., LEPORINI R., Quantum computational fuzzy logics, 2007, Quaderno di Dipartimento n. 12, Serie Ricerca. |
| BERTINI C., LEPORINI R., Quantum computational finite-valued logics 2007, INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, vol. 5, pp. 641-665. |
| DALLA CHIARA M.L.,GIUNTINI R.,LEPORINI R.,TORALDO DI FRANCIA G.,Quantum computational logics and possible applications, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS. ISSN: 0020-7748. DOI: 10.1007/s10773-007-9477-0 |
| DALLA CHIARA M.L.,GIUNTINI R.,LEPORINI R.,Reversibility and Irreversibility in Quantum Computational Logics, 2007, Algebraic and Proof-Theoretic Aspects of Non-Classical Logics, LNAI 4460, pp. 84-106. |
| DALLA CHIARA M.L., GIUNTINI R., LEPORINI R., Concrete and Abstract Quantum Computational Logics, Proceedings of the Third Conference of Computability in Europe, Computation and Logic in the Real World, Siena, Italy, June 2007. |
| DALLA CHIARA M.L.,GIUNTINI R.,LEPORINI R,Compositional and holistic quantum computational semantics, 2006, NATURAL COMPUTING, pp. 1-20. ISSN: 1567-7818 (Print) 1572-9796 (Online). |
| DALLA CHIARA M.L., GIUNTINI R., LEPORINI R.,A holistic quantum computational semantics, 2006, In: Logic and Philosophy in Italy. Some trends and perspectives. Prospettive della Ricerca Logica. Polimetrica Publisher, Italy, pp. 49-68. ISBN: 88-7699-027-5. |
| DALLA CHIARA M.L.,GIUNTINI R.,GUDDER S.,LEPORINI R., Quantum Computational Semantics on Fock Space, 2005, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, vol. 44, pp. 2219-2230. ISSN: 0020-7748. |
| CATTANEO G., DELLA VEDOVA G., LEPORATI A., LEPORINI R.,Towards a Theory of Conservative Computing, 2005, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, vol. 44, pp. 861-873. ISSN: 0020-7748. |
| DALLA CHIARA M.L., GIUNTINI R., LEPORATI A., LEPORINI R.,Qubit Semantics and Quantum Trees, 2005, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, vol. 44, pp. 971-983. ISSN: 0020-7748. |
| DALLA CHIARA M.L., GIUNTINI R., LEPORINI R.,Logics from Quantum Computation, 2005, INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, vol. 3, pp. 293-337. ISSN: 0219-7499. |
| LEPORINI R.,Logics from Quantum Information, 2005, pp. 1-217, Mucchi Editore, MODENA, ITALY. ISBN: 8870004163. |
| DALLA CHIARA M.L., GIUNTINI R., LEPORINI R.,Quantum computational logics and Fock space semantics, 2005, INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, vol. 3, pp. 9-16. ISSN: 0219-7499. |
| CATTANEO G., LEPORATI A., LEPORINI R.,Quantum Conservative Gates for Finite-valued Logics, 2004, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, vol. 43, pp. 1769-1791. ISSN: 0020-7748. |
| CATTANEO G., DALLA CHIARA M.L., GIUNTINI R., LEPORINI R.,An Unsharp Logic from Quantum Computation, 2004, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS. vol. 43, pp. 1803-1817. ISSN: 0020-7748. |
| CATTANEO G., DALLA CHIARA M.L., GIUNTINI R., LEPORINI R.,Quantum Computational Structures, 2004, MATHEMATICA SLOVACA. vol. 54, pp. 87-108. ISSN: 0139-9918. |
| DALLA CHIARA M.L., GIUNTINI R., LEPORINI R.,Quantum Computational Logics. A Survey, 2003, In HENDRICKS V.F., MALINOWSKI J., Trends in Logic: 50 Years of Studia Logica, Kluwer Academic Publishers, vol. 21, pp. 229-271. ISBN: 1-4020-1601-8. |
| CATTANEO G., LEPORATI A., LEPORINI R.,Fredkin Gates for Finite-valued Reversible Conservative Logics 2002, JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL. vol. 35, pp. 9755-9785. ISSN: 0305-4470. |
| Proposte di tesi |
| Realizzazione di un ambiente di apprendimento per la risoluzione assistita di problemi economici Sono disponibili due progetti con Visual Studio 2012 in Excel e Access 2013 e con Java/Basic in LibreOffice 3.6.2 |
| Sistemi di interazione naturale per la risoluzione di problemi |
| Progetto: realizzazione di un'interfaccia che consenta di registrare gesti da associare a comandi |
| Studio e sviluppo di dispositivi per la generazione di ologrammi e l'interazione naturale L'obiettivo della tesi è quello di studiare le tecniche per la generazione di ologrammi e la realizzazione di dispositivi mediante l'utilizzo di componenti ottici. Nel progetto verrà sviluppata anche un'interfaccia per l'interazione naturale che grazie ad uno scanner 3D potrà far interagire in tempo reale gli oggetti virtuali con quelli reali. |
| Videotracking del moto di 24 pendoli accoppiati Il video-tracciamento di un oggetto è uno dei campi più importanti della computer vision. Uno dei passi base nell'analisi della visione è la rilevazione degli oggetti mobili di riferimento e il loro tracciamento fotogramma dopo fotogramma. L'object tracking può essere ricondotto alla stima della traiettoria di un oggetto nel piano dell'immagine. |
