المؤلفون: Massimo Giovannozzi, Ewen Maclean, Carlo Emilio Montanari, Gianluca Valentino, Frederik F. Van der Veken

المصدر: Information, Vol 12, Iss 2, p 53 (2021)

مصطلحات موضوعية: machine learning, CERN Large Hadron Collider, CERN High-Luminosity Large Hadron Collider, nonlinear beam dynamics, dynamic aperture, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2078-2489/12/2/53; https://doaj.org/toc/2078-2489

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

المؤلفون: Armando Bazzani, Onofrio Mazzarisi, Massimo Giovannozzi, Ewen Maclean

المساهمون: Swapan Chattopadhyay (Fermilab, USA & Northern Illinois University, USA), Max Cornacchia (SLAC National Accelerator Laboratory, USA) and Simone Di Mitri (Elettra Sincrotrone Trieste, Italy), Armando Bazzani, Onofrio Mazzarisi, Massimo Giovannozzi, Ewen Maclean

مصطلحات موضوعية: Tools Share Abstract: In this paper, we review diffusion phenomena in stochastically perturbed Hamiltonian systems, with the aim of defining the framework to use Nekhoroshev-like estimates as prototypes for the form of the diffusion coefficient. A discussion of the features of this framework is carried out. More importantly, the results of numerical simulations based on the proposed models are compared against the experimental data from recent measurements performed at the CERN Large Hadron Collider (LHC) of the extent of phase space where bounded motions occur. The main conclusions are presented and discussed in detail together with future steps.

وصف الملف: STAMPA

Relation: ispartofbook:Nonlinear Dynamics and Collective Effects in Particle Beam Physics; Nonlinear Dynamics and Collective Effects in Particle Beam Physics; firstpage:70; lastpage:85; numberofpages:16; alleditors:Swapan Chattopadhyay (Fermilab, USA & Northern Illinois University, USA), Max Cornacchia (SLAC National Accelerator Laboratory, USA) and Simone Di Mitri (Elettra Sincrotrone Trieste, Italy); http://hdl.handle.net/11585/730173

الاتاحة: http://hdl.handle.net/11585/730173
https://doi.org/10.1142/9789813279612_0005

المؤلفون: Ewen Maclean, Armando Bazzani, Massimo Giovannozzi, Carlo Emiglio Montanari, Wietse Van Goethem, Frederik Van Der Veken

المصدر: Proceedings of European Physical Society Conference on High Energy Physics — PoS(EPS-HEP2019).

مصطلحات موضوعية: Dynamic aperture, Physics, Accelerator physics, Luminosity (scattering theory), Large Hadron Collider, Dynamical systems theory, Phase space, Physics::Accelerator Physics, Superconducting magnet, Accelerators and Storage Rings, Beam (structure), Computational physics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ebccf779c2780c800995fc4998454b18
https://doi.org/10.22323/1.364.0023

المؤلفون: Ewen Maclean, Andrew Irel, Robert Atkey, Lucas Dixon

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.easychair.org/publications/?page=1734844002.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.5364; http://www.easychair.org/publications/?page=1734844002

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.5364
http://www.easychair.org/publications/?page=1734844002

المؤلفون: Alan Bundy, Francisco Cantu, Claudio Castellini, Ewen Denney, Louise Den, Ian Green, Jane Hesketh, Christian Horn, Andrew Irel, Helen Lowe, Ina Kraan, Ewen Maclean, Pete Madden, Julian Richardson, Alan Smaill, Andrew Stevens

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://www.inf.ed.ac.uk/publications/online/0954.pdf.

مصطلحات موضوعية: nis, Lucas Dixon, Jacques Fleuriot, Jason Gallagher, Jeremy Gow

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.507.2798

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.507.2798

المؤلفون: Massimo Giovannozzi, Onofrio Mazzarisi, Armando Bazzani, Ewen Maclean

المساهمون: Swapan Chattopadhyay (Fermilab, USA & Northern Illinois University, USA), Max Cornacchia (SLAC National Accelerator Laboratory, USA) and Simone Di Mitri (Elettra Sincrotrone Trieste, Italy), Armando Bazzani, Onofrio Mazzarisi, Massimo Giovannozzi, Ewen Maclean

مصطلحات موضوعية: Dynamic aperture, Physics, Large Hadron Collider, Diffusion (business), Hamiltonian system, Computational physics, Tools Share Abstract: In this paper, we review diffusion phenomena in stochastically perturbed Hamiltonian systems, with the aim of defining the framework to use Nekhoroshev-like estimates as prototypes for the form of the diffusion coefficient. A discussion of the features of this framework is carried out. More importantly, the results of numerical simulations based on the proposed models are compared against the experimental data from recent measurements performed at the CERN Large Hadron Collider (LHC) of the extent of phase space where bounded motions occur. The main conclusions are presented and discussed in detail together with future steps

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a407c5b15af5aa522fd59f19b3603550
http://hdl.handle.net/11585/730173

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

المصدر: Automated Reasoning ISBN: 9783030510534
IJCAR (2)

مصطلحات موضوعية: Programming language, Computer science, Computational logic, 02 engineering and technology, ACL2, computer.file_format, computer.software_genre, 020202 computer hardware & architecture, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Bounded function, User control, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Executable, Automated reasoning, computer, Counterexample, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4055a95f82d763cd390683826a239071
https://doi.org/10.1007/978-3-030-51054-1_30

المؤلفون: Ewen Maclean, Armando Bazzani, Massimo Giovannozzi, W. Van Goethem, Carlo Emilio Montanari, F. F. Van der Veken

المساهمون: Bazzani A., Giovannozzi M., Maclean E.H., Montanari C.E., Van Der Veken F.F., Van Goethem W.

المصدر: Physical Review Accelerators and Beams, Vol 22, Iss 10, p 104003 (2019)
Physical review accelerators and beams

مصطلحات موضوعية: Accelerator Physics (physics.acc-ph), Physics, Nuclear and High Energy Physics, Physics and Astronomy (miscellaneous), business.industry, Hadron, Time evolution, FOS: Physical sciences, Dynamical Systems (math.DS), Surfaces and Interfaces, Accelerators and Storage Rings, Dynamic aperture, Optics, FOS: Mathematics, lcsh:QC770-798, Physics - Accelerator Physics, lcsh:Nuclear and particle physics. Atomic energy. Radioactivity, Mathematics - Dynamical Systems, Avccelerator Physics, Nekhoroshev Theorem, dynamical aperture, business, Mathematical Physics and Mathematics, math.DS, physics.acc-ph

وصف الملف: ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93d37cdcc69f3a81082a4bf2e936f563
https://doaj.org/article/78508d26b87d44529456eed53a043e71

المؤلفون: Ewen Maclean, Armando Bazzani, Massimo Giovannozzi

مصطلحات موضوعية: Physics, Accelerator Physics (physics.acc-ph), Large Hadron Collider, Series (mathematics), nlin.CD, General Physics and Astronomy, FOS: Physical sciences, Nonlinear Sciences - Chaotic Dynamics, Accelerators and Storage Rings, Hamiltonian system, Dynamic aperture, Nonlinear system, Physics - Accelerator Physics, Statistical physics, Diffusion (business), Remainder, Chaotic Dynamics (nlin.CD), Beam (structure), Nonlinear Systems, physics.acc-ph

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d8c1506b43df08638e176ccb387cab0
http://arxiv.org/abs/1907.10913

المؤلفون: Joschua Dilly, Massimo Giovannozzi, L. Malina, Rogelio Tomás, M. S. Camillocci, Andreas Wegscheider, Ewen Maclean, Tobias Persson, Kajetan Fuchsberger, Elena Fol, A. Garcia-Tabares Valdivieso, J. Coello de Portugal, Piotr Skowroński, Michael Hofer, Felix Simon Carlier

المساهمون: Universitat Politècnica de Catalunya. Doctorat en Enginyeria Nuclear i de les Radiacions Ionitzants

المصدر: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Physical Review Accelerators and Beams, Vol 22, Iss 6, p 061004 (2019)

مصطلحات موضوعية: Physics, Nuclear and High Energy Physics, Large Hadron Collider, Physics and Astronomy (miscellaneous), Physics::Instrumentation and Detectors, 010308 nuclear & particles physics, business.industry, Acceleradors de partícules, High Energy Physics::Phenomenology, Física::Física de partícules [Àrees temàtiques de la UPC], Nonlinear optics, Surfaces and Interfaces, 01 natural sciences, Nonlinear system, Optics, 0103 physical sciences, lcsh:QC770-798, Physics::Accelerator Physics, lcsh:Nuclear and particle physics. Atomic energy. Radioactivity, 010306 general physics, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::170dc61bd47e5cbd97017ba6c8aec374
https://doi.org/10.1103/physrevaccelbeams.22.061004

المؤلفون: Tobias Persson, Ewen Maclean, Rogelio Tomás

المصدر: Physical Review Accelerators and Beams, Vol 22, Iss 5, p 051001 (2019)

مصطلحات موضوعية: Physics, Nuclear and High Energy Physics, Large Hadron Collider, Physics and Astronomy (miscellaneous), Conjunction (astronomy), Skew, Surfaces and Interfaces, Accelerators and Storage Rings, Measure (mathematics), Linear coupling, Constraint (information theory), Dipole, Amplitude, Quantum electrodynamics, lcsh:QC770-798, lcsh:Nuclear and particle physics. Atomic energy. Radioactivity

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b14437df599450bf2d5bd585c169120b
https://doaj.org/article/dcd41e5dc7cf4e87a093b2228919a76a

المؤلفون: Felix Simon Carlier, Ewen Maclean, Rogelio Tomás, Tobias Persson

المصدر: Physical Review Accelerators and Beams, Vol 22, Iss 3, p 031002 (2019)

مصطلحات موضوعية: Physics, Nuclear and High Energy Physics, Large Hadron Collider, Physics and Astronomy (miscellaneous), 010308 nuclear & particles physics, Nonlinear optics, Observable, Surfaces and Interfaces, Accelerators and Storage Rings, 01 natural sciences, Upper and lower bounds, Computational physics, Dynamic aperture, Nonlinear system, Dipole, 0103 physical sciences, lcsh:QC770-798, lcsh:Nuclear and particle physics. Atomic energy. Radioactivity, 010306 general physics, Energy (signal processing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bf08984cbfd41d9dd42bc233e526147
https://doaj.org/article/998b2d71f73e45a2acda9c04ec573fdc

المؤلفون: Robert Appleby, Ewen Maclean, Massimo Giovannozzi

المصدر: Physical Review Accelerators and Beams, Vol 22, Iss 3, p 034002 (2019)
Maclean, E H, Giovannozzi, M & Appleby, R B 2019, ' Innovative method to measure the extent of the stable phase-space region of proton synchrotrons ', Physical Review Accelerators and Beams, vol. 22, no. 3 . https://doi.org/10.1103/PhysRevAccelBeams.22.034002

مصطلحات موضوعية: Physics, Nuclear and High Energy Physics, Large Hadron Collider, Physics and Astronomy (miscellaneous), Field (physics), Dynamical systems theory, 010308 nuclear & particles physics, Surfaces and Interfaces, Superconducting magnet, 01 natural sciences, Measure (mathematics), Accelerators and Storage Rings, Celestial mechanics, Nonlinear system, Classical mechanics, 0103 physical sciences, lcsh:QC770-798, lcsh:Nuclear and particle physics. Atomic energy. Radioactivity, 010306 general physics, Magnetosphere particle motion

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a19f2cc0d7d918faabb668795e978354
https://doaj.org/article/24c90511cfe7402cb79d87116c2ddf96

المؤلفون: Ewen Maclean, Jacques Fleuriot, Alan Smaill

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/17.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1757; http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/17.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1757
http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/17.ps

المؤلفون: Ewen Maclean

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.inf.ed.ac.uk/publications/online/0178.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.8051; http://www.inf.ed.ac.uk/publications/online/0178.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.8051
http://www.inf.ed.ac.uk/publications/online/0178.pdf

المؤلفون: Ewen Maclean

المصدر: Journal of Kidney Care. 2:280-282

مصطلحات موضوعية: 0301 basic medicine, medicine.medical_specialty, business.industry, medicine.medical_treatment, 030232 urology & nephrology, Legislation, Legislature, medicine.disease, Patient advocacy, Surgery, 03 medical and health sciences, 030104 developmental biology, 0302 clinical medicine, Work (electrical), Nursing, Medicine, Organ donation, Renal replacement therapy, business, Kidney transplantation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bec468e3b4afff5b9905fe6b968bd912
https://doi.org/10.12968/jokc.2017.2.5.280

المؤلفون: Ewen Maclean, Yuhui Lin, Alan Bundy, Gudmund Grov

المساهمون: EPSRC, University of St Andrews. School of Computer Science

المصدر: Lin, Y, Bundy, A, Grov, G & Maclean, E 2019, ' Automating Event-B invariant proofs by rippling and proof patching ', Formal Aspects of Computing, pp. 1-35 . https://doi.org/10.1007/s00165-018-00476-7

مصطلحات موضوعية: QA75, Lemma conjecturing, Computer science, QA75 Electronic computers. Computer science, T-NDAS, 0102 computer and information sciences, Automated reasoning, Mathematical proof, 01 natural sciences, Rippling, Theoretical Computer Science, Algebra, Formal verification, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Theory of computation, Event-B, Software, Invariant (computer science)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6563959cbd7a791e1a49ff12143f8c76
https://hdl.handle.net/10023/16838

المؤلفون: Ewen Maclean

المصدر: Journal of Kidney Care. 4:214-215

مصطلحات موضوعية: Officer, medicine.medical_specialty, business.industry, Opt-in email, Family medicine, Medicine, Organ donation, Presumed consent, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::847ea1622b77399deedd28d3b10aeed7
https://doi.org/10.12968/jokc.2019.4.4.214

المؤلفون: Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos-Papakostas

Resource Type: eBook.

الموضوعات: Artificial intelligence, User interfaces (Computer systems), Human-computer interaction, Cognitive psychology, Psycholinguistics

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI), LANGUAGE ARTS & DISCIPLINES / Linguistics / Psycholinguistics / General, PSYCHOLOGY / Cognitive Psychology & Cognition

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

المساهمون: Voronkov, Andrei, Kovacs, Laura, Bjorner, Nikolaj

المصدر: WING@ETAPS/IJCAR
Maclean, E, Ireland, A & Grov, G 2012, Synthesising Functional Invariants in Separation Logic . in A Voronkov, L Kovacs & N Bjorner (eds), WING 2010. Workshop on Invariant Generation 2010 . EPiC Series in Computing, vol. 1, EasyChair, pp. 183-184 .

مصطلحات موضوعية: Algebra, Loop invariant, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Programming Languages, Core system, Separation logic, Function (mathematics), Term (logic), Topology, Mathematical proof

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfdade79334d286cf4697c57e677be40
https://doi.org/10.29007/xw9c