arXiv subjects

G. Terreni

Publications and source records attributed to G. Terreni.

20 records · Page 2Linked to original sources

arXiv2014

Measurement of the atmospheric muon depth intensity relation with the NEMO Phase-2 tower

The results of the analysis of the data collected with the NEMO Phase-2 tower, deployed at 3500 m depth about 80 km off-shore Capo Passero (Italy), are presented. Cherenkov photons detected with the photomultipliers tubes were used to reconstruct the tracks of atmospheric muons. Their zenith-angle distribution was measured and the results compared with Monte Carlo simulations. An evaluation of the systematic effects due to uncertainties on environmental and detector parameters is also included. The associated depth intensity relation was evaluated and compared with previous measurements and theoretical predictions. With the present analysis, the muon depth intensity relation has been measured up to 13 km of water equivalent.

physics.ins-det↗

arXiv2009

The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP).

cs.AI↗