References of "D'Agostino, G.-C"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailFinal report on the Seventh International Comparison of Absolute Gravimeters (ICAG 2005)
Jiang, Z.; Francis, Olivier UL; Vitushkin, L. et al

in Metrologia (2011), 48

Detailed reference viewed: 62 (6 UL)
Full Text
Peer Reviewed
See detailResults of the European Comparison of Absolute Gravimeters in Walferdange (Luxembourg) of November 2007
Francis, Olivier UL; van Dam, Tonie UL; Germak, A. et al

in Gravity, Geoid and Earth Observation (2010)

The second international comparison of absolute gravimeters was held in Walferdange, Grand Duchy of Luxembourg, in November 2007, in which twenty absolute gravimeters took part. A short description of the ... [more ▼]

The second international comparison of absolute gravimeters was held in Walferdange, Grand Duchy of Luxembourg, in November 2007, in which twenty absolute gravimeters took part. A short description of the data processing and adjustments will be presented here and will be followed by the presentation of the results. Two different methods were applied to estimate the relative offsets between the gravimeters. We show that the results are equivalent as the uncertainties of both adjustments overlap. The absolute gravity meters agree with one another with a standard deviation of 2 μgal (1 gal = 1 cm/s2). [less ▲]

Detailed reference viewed: 106 (7 UL)
Full Text
Peer Reviewed
See detailCut-Based Abduction
D'Agostino, G.-C.; Gabbay, Dov M. UL

in Journal of Logic & Computation (2008), 16(6), 537560

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: (i) given an unprovable sequent G, find a sentence H such that, H G is provable ... [more ▼]

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: (i) given an unprovable sequent G, find a sentence H such that, H G is provable (hypothesis generation); (ii) given a provable sequent G, find a sentence H such that H and the proof of , H G is simpler than the proof of G (lemma generation). We argue that the two tasks should not be distinguished,and present a general procedure for indingsuitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen asa cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-styleTableaux. [less ▲]

Detailed reference viewed: 19 (0 UL)