E-LIB Suche - Ergebnisse für: Maclean, Ewen

1

Using machine learning to improve dynamic aperture estimate:

Van der Veken, Frederik ; Giovannozzi, Massimo ; Maclean, Ewen...
Van der Veken, F. F., Giovannozzi, M., Maclean, E. H., Montanari, C. E., & Valentino, G. (2021). Using machine learning to improve dynamic aperture estimates. 12th International Particle Accelerator Conference. 134-137.. , 2021

Link: https://www.um.edu.mt/li..

2

Machine learning applied to the analysis of nonlinear beam ..:

Giovannozzi, Massimo ; Maclean, Ewen ; Montanari, Carlo Emilio..
Giovannozzi, M., Maclean, E., Montanari, C. E., Valentino, G., & Van der Veken, F. F. (2021). Machine learning applied to the analysis of nonlinear beam dynamics simulations for the CERN Large Hadron Collider and its luminosity upgrade. Information, 12(2), 53.. , 2021

Link: https://www.um.edu.mt/li..

3

SixTrack Version 5: Status and New Developments:

De Maria, Riccardo ; Andersson, Joel ; Berglyd Olsen, Veronica Kristine...
http://urn.nb.no/URN:NBN:no-80864. , 2020

Link: http://hdl.handle.net/10..

4

The Imandra Automated Reasoning System (system description):

Passmore, Grant Olney ; Cruanes, Simon ; Ignatovich, Denis...
http://arxiv.org/abs/2004.10263. , 2020

Link: http://arxiv.org/abs/200..

5

Automating Event-B invariant proofs by rippling and proof p..:

Lin, Yuhui ; Bundy, Alan ; Grov, Gudmund.
Lin , Y , Bundy , A , Grov , G & Maclean , E 2019 , ' Automating Event-B invariant proofs by rippling and proof patching ' , Formal Aspects of Computing , vol. 31 , no. 1 , pp. 95-129 . https://doi.org/10.1007/s00165-018-00476-7. , 2019

Link: https://risweb.st-andrew..

6

A computational framework for conceptual blending:

Eppe, Manfred ; Maclean, Ewen ; Confalonieri, Roberto...
Publisher's version. , 2018

Link: http://hdl.handle.net/10..

7

A computational framework for conceptual blending:

Eppe, Manfred ; Maclean, Ewen ; Confalonieri, Roberto...
Artificial intelligence. , 2017

Link: http://hdl.handle.net/11..

8

LHC@Home:A BOINC-based volunteer computing infrastructure f..:

Barranco, Javier ; Cai, Yunhai ; Cameron, David...
Barranco , J , Cai , Y , Cameron , D , Crouch , M , De Maria , R , Field , L , Giovannozzi , M , Hermes , P , Høimyr , N , Kaltchev , D , Karastathis , N , Luzzi , C , Maclean , E , McIntosh , E , Mereghetti , A , Molson , J , Nosochkov , Y , Pieloni , T , Reid , I D , Rivkin , L , Segal , B , Sjobak , K , Skands , P , Tambasco , C , Van Der Veken , F & Zacharov , I 2017 , LHC@Home : A BOINC-based volunteer computing infrastructure for physics studies at CERN . in E Ivahsko & A Rumyantsev (eds) , Proceedings of the Third International Conference BOINC-based High Performance Computing : Fundamental Research and Development (BOINC:FAST 2017) . vol. 1973 , CEUR Workshop Proceedings , CEUR-WS , pp. 15-26 , International Conference BOINC-Based High Performance Computing , Petrozavodsk , Russian Federation , 28/08/17 .. , 2017

Link: https://research.monash...

9

LHC@Home:A BOINC-based volunteer computing infrastructure f..:

Barranco, Javier ; Cai, Yunhai ; Cameron, David...
Barranco , J , Cai , Y , Cameron , D , Crouch , M , Maria , R D , Field , L , Giovannozzi , M , Hermes , P , Høimyr , N , Kaltchev , D , Karastathis , N , Luzzi , C , Maclean , E , McIntosh , E , Mereghetti , A , Molson , J , Nosochkov , Y , Pieloni , T , Reid , I D , Rivkin , L , Segal , B , Sjobak , K , Skands , P , Tambasco , C , Veken , F V D & Zacharov , I 2017 , ' LHC@Home : A BOINC-based volunteer computing infrastructure for physics studies at CERN ' , Open Engineering , vol. 7 , no. 1 , pp. 379-393 . https://doi.org/10.1515/eng-2017-0042. , 2017

Link: https://research.monash...

10

LHC@Home: a BOINC-based volunteer computing infrastructure ..:

Barranco Javier ; Cai Yunhai ; Cameron David...
https://doi.org/10.1515/eng-2017-0042. , 2017

Link: https://doi.org/10.1515/..

11

The Role of Blending in Mathematical Invention:

Bou, Felix ; Schorlemmer, Marco ; Corneli, Joe...
Postprint. , 2015

Link: http://hdl.handle.net/10..

12

Computational invention of cadences and chord progressions ..:

Eppe, Manfred ; Confalonieri, Roberto ; Maclean, Ewen...
#PLACEHOLDER_PARENT_METADATA_VALUE#. , 2015

Link: http://hdl.handle.net/10..

13

The Search for Computational Intelligence:

Corneli, Joseph ; Maclean, Ewen
http://arxiv.org/abs/1502.00130. , 2015

Link: http://arxiv.org/abs/150..

14

ASP, amalgamation, and the conceptual blending workflow:

Eppe, Manfred ; Maclean, Ewen ; Confalonieri, Roberto...
#PLACEHOLDER_PARENT_METADATA_VALUE#. , 2015

Link: http://hdl.handle.net/10..

15

Interagency adult support and protection practice of police..:

Joseph, Sundari ; Diack, Lesley ; Heyman, Inga...
http://hdl.handle.net/10059/1467. , 2015

Link: http://hdl.handle.net/10..