Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

83801 - 83825 out of 99,638Page size: 25
  1. Published

    Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning

    Caminati, M. M., Sciarrino, F. & Caminati, M. B., 2006, In: Laser physics. 16, 11, p. 1551–1556

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    Vickrey-clarke-groves (vcg) auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 2015, In: College Inf. Sci. Technol., Pennsylvania State Univ., State College, PA, USA.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    A contribution to an Auction Theory Toolbox through code and discussion

    Caminati, M. B., 30/04/2013, 39th Annual Convention of The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (SSAISB).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    A simplified framework for first-order languages and its formalization in Mizar

    Caminati, M. B., 19/05/2012

    Research output: Thesis › Doctoral Thesis

  5. Published

    Pseudo-Canonical Formulae are Classical

    Caminati, M. B. & Kornilowicz, A., 30/06/2014, In: Formalized Mathematics.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Basic first-order model theory in Mizar

    Caminati, M. B., 17/12/2010, In: Journal of Formalized Reasoning. 3, 1

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paper › Preprint

  8. Published

    Nonseparable Werner states in spontaneous parametric down-conversion

    Caminati, M., De Martini, F., Perris, R., Sciarrino, F. & Secondi, V., 14/03/2006, In: Physical review a. 73, 032312 .

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Reasoning about Dynamic Auctions

    Caminati, M., Kerber, M. & Rowat, C., 30/04/2015.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  10. Published

    Custom automations in Mizar

    Caminati, M. B. & Rosolini, G., 1/11/2012, In: Journal of Automated Reasoning. 50, p. 147–160

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    VCG-combinatorial Vickrey-clarke-groves auctions

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 30/04/2015, In: Archive of Formal Proofs.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. Forthcoming

    Representation Theorems Obtained by Mining across Web Sources for Hints

    Caminati, M. & Bowles, J., 30/12/2022, (Accepted/In press) 2023 6th International Conference on Information and Computer Technologies (ICICT). IEEE, 8 p. (2023 6th International Conference on Information and Computer Technologies (ICICT)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paper › Preprint

  14. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  15. Published

    Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 169-178

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  18. Published

    PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification

    Caminati, M., Martini, F. D., Perris, R., Sciarrino, F. & Secondi, V., 7/12/2006, In: Physical Review-Section A-Atomic Molecular and Optical Physics. 74, 062304.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  19. Published

    Securing Aspect Composition

    Camilleri, A., Blair, L. & Coulson, G., 2008, Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM, p. 278-279 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

    Camilleri, A., Coulson, G. & Blair, L., 2009, Objects, Components, Models and Patterns. Oriol, M. & Meyer, B. (eds.). Berlin: Springer Verlag, p. 18-36 19 p. (Lecture Notes in Business Information Processing; vol. 33, no. 2).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    Investigating the impact/role of the interactive whiteboard on teaching practices in Maltese kindergarten classrooms through an activity theory approach

    Camilleri, R-A., 2019, Lancaster University. 208 p.

    Research output: Thesis › Doctoral Thesis

  22. Published

    The Lived Experience of Residential Home Care: An Interpretative Phenomenological Analysis study of the experiences of young adults who reside in therapeutic residential care in Denmark

    Cameron-Mathiassen, J., 14/07/2023, Lancaster University. 208 p.

    Research output: Thesis › Doctoral Thesis

  23. Published

    What was care like for me? A systematic review of the experiences of young people living in residential care

    Cameron-Mathiassen, J., Simpson, J., Leiper, J. & McDermott, E., 31/07/2022, In: Children and Youth Services Review. 138, 10 p., 106524.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  24. Published

    Domestic play during a Day in the Life of toddlers in diverse family communities

    Cameron., C. A., Pinto, G., Hancock, R., Accorti Gamannossi, B. & Gillen, J., 09/2011.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  25. Published

    Modelling extreme rainfalls using a modified random pulse Bartlett-Lewis stochastic rainfall model (with uncertainty).

    Cameron, D., Beven, K. J. & Tawn, J. A., 2000, In: Advances in Water Resources. 24, 2, p. 203-211 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...3349 3350 3351 3352 3353 3354 3355 3356 ...3986 Next

Back to top