Träfflista för sökning "WFRF:(Weber R) ;mspu:(report)"

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Abe, K., et al. (författare) J-PARC Neutrino Beamline Upgrade Technical Design Report 2019 Rapport (refereegranskat)abstract In this document, technical details of the upgrade plan of the J-PARC neutrino beamline for the extension of the T2K experiment are described. T2K has proposed to accumulate data corresponding to 2×1022 protons-on-target in the next decade, aiming at an initial observation of CP violation with 3σ or higher significance in the case of maximal CP violation. Methods to increase the neutrino beam intensity, which are necessary to achieve the proposed data increase, are described.
2.	Cok, David R., et al. (författare) The 2013 SMT Evaluation 2014 Rapport (övrigt vetenskapligt/konstnärligt)abstract After 8 years of SMT Competitions, the SMT Steering Committee decided, for 2013, to sponsor an evaluation of the status of SMT benchmarks and solvers, rather than another competition. This report summarizes the results of the evaluation, conducted by the authors. The key observations are that (1) the competition results are quite sensitive to randomness and (2) the most significant need for the future is assessment and improvement of benchmarks in the light of SMT applications. The evaluation also measured competitiveness of solvers, general coverage of solvers, logics, and benchmarks, and degree of repeatability of measurements and competitions.

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Calvet, D. (1); Dell'Acqua, A. (1); Ikeno, M. (1); Ishitsuka, M. (1); Kataoka, Y. (1); Kim, H. (1); visa fler...; Kimura, N. (1); Kobayashi, T. (1); Kuze, M. (1); Makida, Y. (1); Nagai, Y. (1); Nakamura, K. (1); Suzuki, Y. (1); Yamamoto, K. (1); Hadley, D. R. (1); Labarga, L. (1); Blondel, A. (1); Reinherz-Aronis, E. (1); Paolone, V. (1); Radics, B. (1); Liu, S. (1); Maruyama, T. (1); Ratoff, P. N. (1); Yu, M. (1); Soler, F. J. P. (1); Abe, K. (1); Jonsson, P. (1); McFarland, K. S. (1); Okusawa, T. (1); Seiya, Y. (1); Takeuchi, Y. (1); Tomura, T. (1); Yoshida, T. (1); Parker, W. (1); Hartz, M. (1); Malek, M. (1); Pastore, C. (1); Wang, Y. (1); Bhadra, S. (1); Long, K. R. (1); Longhin, A. (1); Martin, J. F. (1); Bron, S. (1); Yuan, T. (1); Feusels, T. (1); Katori, T. (1); Lamont, I. (1); Weber, A. (1); Matsushita, K (1); Scott, M (1); visa färre...

Forskningsämne (UKÄ/SCB): Naturvetenskap (1); Medicin och hälsovetenskap (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy