Items where Author is "Caminati, Marco"

Caminati, Marco and Bowles, Juliana (2022) Representation Theorems Obtained by Mining across Web Sources for Hints. In: 2023 6th International Conference on Information and Computer Technologies (ICICT) :. 2023 6th International Conference on Information and Computer Technologies (ICICT) . IEEE. (In Press)

Hemingway, Harry and Lyons, Ronan and Li, Qianrui and Buchan, Iain and Ainsworth, John and Pell, Jill and Morris, Andrew and Barnes, Michael R and Bedford, Helen and Bennie, Marion and others, 1100 and Caminati, Marco (2020) A national initiative in data science for health: an evaluation of the UK Farr Institute. International Journal of Population Data Science, 5 (1): 32935051.

Caminati, Marco and Kerber, Manfred and Rowat, Colin (2015) Reasoning about Dynamic Auctions. In: UNSPECIFIED.

Caminati, Marco and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2014) Reasoning about Auctions. In: UNSPECIFIED.

Lange, Christoph and Rowat, Colin and Kerber, Manfred and Wenzel, Makarius and Caminati, Marco and Mossakowski, Till and Windsteiger, Wolfgang (2013) Auction Theory Toolbox. UNSPECIFIED.

Caminati, Marco (2011) Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms. Formalized Mathematics, 19 (3). pp. 169-178.

Caminati, Marco (2011) First order languages: Further syntax and semantics. Formalized Mathematics, 19 (3). pp. 179-192.

Caminati, Marco (2011) Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages. Formalized Mathematics, 19 (3). pp. 193-203.

Caminati, Marco (2011) Preliminaries to classical first order model theory. Formalized Mathematics, 19 (3). pp. 155-167.

Caminati, Marco (2011) Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem. Formalized Mathematics, 19 (3). pp. 205-222.

Caminati, Marco (2008) An upper bound on the number of zeros of a piecewise polinomial function. Other. UNSPECIFIED.

Caminati, Marco and Martini, Francesco De and Perris, Riccardo and Sciarrino, Fabio and Secondi, Veronica (2006) PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification. Physical Review-Section A-Atomic Molecular and Optical Physics, 74: 062304.

Caminati, Marco and De Martini, Francesco and Sciarrino, Fabio (2006) Einstein Podolsky Rosen correlations involving mesoscopic quantum systems. In: AIP Conference Proceedings :. American Institute of Physics. ISBN 0-7354-0337-6

Caminati, Marco and De Martini, Francesco and Perris, Riccardo and Sciarrino, Fabio and Secondi, Veronica (2006) Nonseparable Werner states in spontaneous parametric down-conversion. Physical review a, 73: 032312. ISSN 1050-2947