25,161
edits
Changes
Created page with "'''Home * People * Jos Vermaseren''' FILE:JosVermaseren.jpg|border|right|thumb|200px|link=https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikh..."
'''[[Main Page|Home]] * [[People]] * Jos Vermaseren'''
[[FILE:JosVermaseren.jpg|border|right|thumb|200px|link=https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/| Jos Vermaseren <ref>[https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/ Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant], December 17, 2012</ref> ]]
'''Jos A. M. Vermaseren''',<br/>
a Dutch [https://en.wikipedia.org/wiki/Theoretical_physics theorecial physicist] and researcher at the theory group of [https://en.wikipedia.org/wiki/NIKHEF Nikhef] at [https://en.wikipedia.org/wiki/Amsterdam_Science_Park Amsterdam Science Park]. His research interests include [https://en.wikipedia.org/wiki/Phenomenology_%28particle_physics%29 phenomenology] of [https://en.wikipedia.org/wiki/Particle_physics particles], [https://en.wikipedia.org/wiki/Perturbation_theory perturbative calculations] and [https://en.wikipedia.org/wiki/Symbolic_computation computer algebra], and he is original author of the [https://en.wikipedia.org/wiki/Open-source_software open source] <ref>[http://www.fom.nl/live/english/news/artikel.pag?objectnumber=131866 World's most powerful symbolic manipulation computer program FORM is now available as open source], [http://www.fom.nl/live/english/home.pag Foundation for Fundamental Research on Matter], December 01, 2010 </ref> symbolic manipulation system [https://en.wikipedia.org/wiki/FORM_%28symbolic_manipulation_system%29 FORM] <ref>[http://www.nikhef.nl/~form/ The FORM home site]</ref>. He holds a 4th [https://en.wikipedia.org/wiki/Dan_%28rank%29 dan] in [[GO]], has a small art collection and a far going fascination for Japanese food and drinks.
=HEPGAME=
Jos Vermaseren proposed the HEPGAME <ref>[https://www.nikhef.nl/~form/maindir/HEPgame/HEPgame.html The HEPGAME project]</ref> <ref>[http://hepgame.org/ HEPGAME | Nikhef/Leiden University]</ref>, to solve extremely complicated equations in [https://en.wikipedia.org/wiki/Particle_physics high energy physics] urgently needed to make optimal use of upcoming experimental data from the [https://en.wikipedia.org/wiki/Large_Hadron_Collider Large Hadron Collider] at [https://en.wikipedia.org/wiki/CERN CERN] in [https://en.wikipedia.org/wiki/Geneva Geneva], awarded by the [https://en.wikipedia.org/wiki/European_Research_Council European Research Council] with the ERC advanced grant in 2012. The idea is to use insights from [[Artificial Intelligence|artificial intelligence]] like [[Monte-Carlo Tree Search]] and [[UCT]], worked out in collaboration with [[Jaap van den Herik]] and [[Aske Plaat]] at [[Leiden University]]. The grant will fund two postdoc positions for a duration of five years at Nikhef, and in addition two Ph.D. positions at [[Leiden University]] <ref>[https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/ Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant], December 17, 2012</ref>.
=Selected Publications=
<ref>[http://dblp.uni-trier.de/pers/hd/v/Vermaseren:J=_A=_M= dblp: Jos Vermaseren]</ref>
==1990 ...==
* [[Jos Vermaseren]] ('''1991'''). ''Symbolic manipulation with FORM''. A note on computing the regular solutions of linear differential systems
==2000 ...==
* [[Jos Vermaseren]] ('''2000'''). ''New features of FORM''. [http://arxiv.org/abs/math-ph/0010025 CoRR abs/math-ph/0010025]
* [[Jos Vermaseren]] ('''2008'''). ''The FORM project''. [http://arxiv.org/abs/0806.4080 CoRR abs/0806.4080]
==2010 ...==
* [[Jos Vermaseren]] ('''2011'''). ''FORM development''. [http://arxiv.org/abs/1101.0511 CoRR abs/1101.0511]
* [[Jan Kuipers (Nikhef)|Jan Kuipers]], [[Aske Plaat]], [[Jos Vermaseren]], [[Jaap van den Herik]] ('''2012'''). ''Improving multivariate Horner schemes with Monte Carlo tree search''. [http://arxiv.org/abs/1207.7079 CoRR abs/1207.7079]
* [[Ben Ruijl]], [[Jos Vermaseren]], [[Aske Plaat]], [[Jaap van den Herik]] ('''2013'''). ''Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification''. [http://arxiv.org/abs/1312.0841 CoRR abs/1312.0841]
* [[Ben Ruijl]], [[Jos Vermaseren]], [[Aske Plaat]], [[Jaap van den Herik]] ('''2014'''). ''HEPGAME and the Simplification of Expressions''. [http://arxiv.org/abs/1405.6369 CoRR abs/1405.6369]
* [[S. Ali Mirsoleimani]], [[Aske Plaat]], [[Jaap van den Herik]], [[Jos Vermaseren]] ('''2014'''). ''Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi''. [http://arxiv.org/abs/1409.4297 CoRR abs/1409.4297] » [[Go]], [[Monte-Carlo Tree Search|MCTS]]
* [[Ben Ruijl]], [[Jos Vermaseren]], [[Aske Plaat]], [[Jaap van den Herik]] ('''2014'''). ''Why Local Search Excels in Expression Simplification''. [http://arxiv.org/abs/1409.5223 CoRR abs/1409.5223]
* [[S. Ali Mirsoleimani]], [[Aske Plaat]], [[Jaap van den Herik]], [[Jos Vermaseren]] ('''2015'''). ''Scaling Monte Carlo Tree Search on Intel Xeon Phi''. [http://arxiv.org/abs/1507.04383 CoRR abs/1507.04383] » [[Hex]], [[Monte-Carlo Tree Search|MCTS]], [[Parallel Search]], [[x86-64]]
* [[S. Ali Mirsoleimani]], [[Aske Plaat]], [[Jaap van den Herik]], [[Jos Vermaseren]] ('''2015'''). ''Parallel Monte Carlo Tree Search from Multi-core to Many-core Processors''. [https://whova.com/portal/ieeet_201508/ TrustCom/BigDataSE/|ISPA 2015], [https://askeplaat.files.wordpress.com/2013/01/ispa2015.pdf pdf]
=External Links=
* [http://www.nikhef.nl/~t68/ homepage Jos Vermaseren]
* [https://scholar.google.com/citations?user=UAf5c5YAAAAJ&hl=en Jos Vermaseren - Google Scholar Citations]
* [https://github.com/vermaseren vermaseren (Jos Vermaseren) · GitHub]
* [https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/ Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant], December 17, 2012
* Jos Vermaseren -- Advanced Algorithmic Puzzling, [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=9UrEH-XEb_o|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:JosVermaseren.jpg|border|right|thumb|200px|link=https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/| Jos Vermaseren <ref>[https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/ Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant], December 17, 2012</ref> ]]
'''Jos A. M. Vermaseren''',<br/>
a Dutch [https://en.wikipedia.org/wiki/Theoretical_physics theorecial physicist] and researcher at the theory group of [https://en.wikipedia.org/wiki/NIKHEF Nikhef] at [https://en.wikipedia.org/wiki/Amsterdam_Science_Park Amsterdam Science Park]. His research interests include [https://en.wikipedia.org/wiki/Phenomenology_%28particle_physics%29 phenomenology] of [https://en.wikipedia.org/wiki/Particle_physics particles], [https://en.wikipedia.org/wiki/Perturbation_theory perturbative calculations] and [https://en.wikipedia.org/wiki/Symbolic_computation computer algebra], and he is original author of the [https://en.wikipedia.org/wiki/Open-source_software open source] <ref>[http://www.fom.nl/live/english/news/artikel.pag?objectnumber=131866 World's most powerful symbolic manipulation computer program FORM is now available as open source], [http://www.fom.nl/live/english/home.pag Foundation for Fundamental Research on Matter], December 01, 2010 </ref> symbolic manipulation system [https://en.wikipedia.org/wiki/FORM_%28symbolic_manipulation_system%29 FORM] <ref>[http://www.nikhef.nl/~form/ The FORM home site]</ref>. He holds a 4th [https://en.wikipedia.org/wiki/Dan_%28rank%29 dan] in [[GO]], has a small art collection and a far going fascination for Japanese food and drinks.
=HEPGAME=
Jos Vermaseren proposed the HEPGAME <ref>[https://www.nikhef.nl/~form/maindir/HEPgame/HEPgame.html The HEPGAME project]</ref> <ref>[http://hepgame.org/ HEPGAME | Nikhef/Leiden University]</ref>, to solve extremely complicated equations in [https://en.wikipedia.org/wiki/Particle_physics high energy physics] urgently needed to make optimal use of upcoming experimental data from the [https://en.wikipedia.org/wiki/Large_Hadron_Collider Large Hadron Collider] at [https://en.wikipedia.org/wiki/CERN CERN] in [https://en.wikipedia.org/wiki/Geneva Geneva], awarded by the [https://en.wikipedia.org/wiki/European_Research_Council European Research Council] with the ERC advanced grant in 2012. The idea is to use insights from [[Artificial Intelligence|artificial intelligence]] like [[Monte-Carlo Tree Search]] and [[UCT]], worked out in collaboration with [[Jaap van den Herik]] and [[Aske Plaat]] at [[Leiden University]]. The grant will fund two postdoc positions for a duration of five years at Nikhef, and in addition two Ph.D. positions at [[Leiden University]] <ref>[https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/ Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant], December 17, 2012</ref>.
=Selected Publications=
<ref>[http://dblp.uni-trier.de/pers/hd/v/Vermaseren:J=_A=_M= dblp: Jos Vermaseren]</ref>
==1990 ...==
* [[Jos Vermaseren]] ('''1991'''). ''Symbolic manipulation with FORM''. A note on computing the regular solutions of linear differential systems
==2000 ...==
* [[Jos Vermaseren]] ('''2000'''). ''New features of FORM''. [http://arxiv.org/abs/math-ph/0010025 CoRR abs/math-ph/0010025]
* [[Jos Vermaseren]] ('''2008'''). ''The FORM project''. [http://arxiv.org/abs/0806.4080 CoRR abs/0806.4080]
==2010 ...==
* [[Jos Vermaseren]] ('''2011'''). ''FORM development''. [http://arxiv.org/abs/1101.0511 CoRR abs/1101.0511]
* [[Jan Kuipers (Nikhef)|Jan Kuipers]], [[Aske Plaat]], [[Jos Vermaseren]], [[Jaap van den Herik]] ('''2012'''). ''Improving multivariate Horner schemes with Monte Carlo tree search''. [http://arxiv.org/abs/1207.7079 CoRR abs/1207.7079]
* [[Ben Ruijl]], [[Jos Vermaseren]], [[Aske Plaat]], [[Jaap van den Herik]] ('''2013'''). ''Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification''. [http://arxiv.org/abs/1312.0841 CoRR abs/1312.0841]
* [[Ben Ruijl]], [[Jos Vermaseren]], [[Aske Plaat]], [[Jaap van den Herik]] ('''2014'''). ''HEPGAME and the Simplification of Expressions''. [http://arxiv.org/abs/1405.6369 CoRR abs/1405.6369]
* [[S. Ali Mirsoleimani]], [[Aske Plaat]], [[Jaap van den Herik]], [[Jos Vermaseren]] ('''2014'''). ''Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi''. [http://arxiv.org/abs/1409.4297 CoRR abs/1409.4297] » [[Go]], [[Monte-Carlo Tree Search|MCTS]]
* [[Ben Ruijl]], [[Jos Vermaseren]], [[Aske Plaat]], [[Jaap van den Herik]] ('''2014'''). ''Why Local Search Excels in Expression Simplification''. [http://arxiv.org/abs/1409.5223 CoRR abs/1409.5223]
* [[S. Ali Mirsoleimani]], [[Aske Plaat]], [[Jaap van den Herik]], [[Jos Vermaseren]] ('''2015'''). ''Scaling Monte Carlo Tree Search on Intel Xeon Phi''. [http://arxiv.org/abs/1507.04383 CoRR abs/1507.04383] » [[Hex]], [[Monte-Carlo Tree Search|MCTS]], [[Parallel Search]], [[x86-64]]
* [[S. Ali Mirsoleimani]], [[Aske Plaat]], [[Jaap van den Herik]], [[Jos Vermaseren]] ('''2015'''). ''Parallel Monte Carlo Tree Search from Multi-core to Many-core Processors''. [https://whova.com/portal/ieeet_201508/ TrustCom/BigDataSE/|ISPA 2015], [https://askeplaat.files.wordpress.com/2013/01/ispa2015.pdf pdf]
=External Links=
* [http://www.nikhef.nl/~t68/ homepage Jos Vermaseren]
* [https://scholar.google.com/citations?user=UAf5c5YAAAAJ&hl=en Jos Vermaseren - Google Scholar Citations]
* [https://github.com/vermaseren vermaseren (Jos Vermaseren) · GitHub]
* [https://www.nikhef.nl/generalstorage/tt-news/nieuws/article/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/ Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant], December 17, 2012
* Jos Vermaseren -- Advanced Algorithmic Puzzling, [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=9UrEH-XEb_o|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
