المؤلفون: Barranco Javier, Cai Yunhai, Cameron David, Crouch Matthew, Maria Riccardo De, Field Laurence, Giovannozzi Massimo, Hermes Pascal, Høimyr Nils, Kaltchev Dobrin, Karastathis Nikos, Luzzi Cinzia, Maclean Ewen, McIntosh Eric, Mereghetti Alessio, Molson James, Nosochkov Yuri, Pieloni Tatiana, Reid Ivan D., Rivkin Lenny, Segal Ben, Sjobak Kyrre, Skands Peter, Tambasco Claudia, Veken Frederik Van der, Zacharov Igor

المصدر: Open Engineering, Vol 7, Iss 1, Pp 379-393 (2017)

مصطلحات موضوعية: volunteer computing, high energy physics, particle accelerators, beam dynamics, 02.70.-c, 07.05.tp, 07.05.kf, 29.20.-c, 05.45.-a, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2391-5439

URL الوصول: https://doaj.org/article/ea2e187c9ecb4a94b699a96e7666fab9

المؤلفون: Passmore, Grant Olney, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, Computer Science - Symbolic Computation, I.2.3, F.3.1, I.2.5, F.4.1

URL الوصول: http://arxiv.org/abs/2004.10263

المؤلفون: Maclean, Ewen, Ireland, Andrew, Grov, Gudmund

المصدر: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. :588-591 Nov, 2011

Relation: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Passmore, Grant^Aff10, Cruanes, Simon^Aff10, Ignatovich, Denis^Aff10, Aitken, Dave^Aff10, Bray, Matt^Aff10, Kagan, Elijah^Aff10, Kanishev, Kostya^Aff10, Maclean, Ewen^Aff10, Mometto, Nicola^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Peltier, Nicolas, editor^Aff8, Sofronie-Stokkermans, Viorica, editor^Aff9

المصدر: Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. 12167:464-471

المؤلفون: Corneli, Joseph, Maclean, Ewen

مصطلحات موضوعية: Computer Science - Neural and Evolutionary Computing, Computer Science - Artificial Intelligence, F.1.1, I.6.3, J.4

URL الوصول: http://arxiv.org/abs/1502.00130

المؤلفون: Heras, Jónathan, Komendantskaya, Ekaterina, Johansson, Moa, Maclean, Ewen

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1308.1780

المؤلفون: Grov, Gudmund, Maclean, Ewen

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1303.2975

المؤلفون: Delerue, Nicolas, Doucas, George, Maclean, Ewen, Reichold, Armin

مصطلحات موضوعية: Physics - Accelerator Physics, Physics - Instrumentation and Detectors

URL الوصول: http://arxiv.org/abs/0912.1863

المؤلفون: Eppe, Manfred, Maclean, Ewen, Confalonieri, Roberto, Kutz, Oliver, Schorlemmer, Marco, Plaza, Enric, Kühnberger, Kai-Uwe

المصدر: In Artificial Intelligence March 2018 256:105-129

المؤلفون: Lin, Yuhui^{Aff2, Aff1, Aff4}, Bundy, Alan, Grov, Gudmund^{Aff3, Aff4}, Maclean, Ewen

المصدر: Formal Aspects of Computing: Applicable Formal Methods. 31(1):95-129