-
VERCE delivers a productive e-Science environment for seismology research
Authors:
Malcolm Atkinson,
Michele Carpené,
Emanuele Casarotti,
Steffen Claus,
Rosa Filgueira,
Anton Frank,
Michelle Galea,
Tom Garth,
André Gemünd,
Heiner Igel,
Iraklis Klampanos,
Amrey Krause,
Lion Krischer,
Siew Hoon Leong,
Federica Magnoni,
Jonas Matser,
Alberto Michelini,
Andreas Rietbrock,
Horst Schwichtenberg,
Alessandro Spinuso,
Jean-Pierre Vilotte
Abstract:
The VERCE project has pioneered an e-Infrastructure to support researchers using established simulation codes on high-performance computers in conjunction with multiple sources of observational data. This is accessed and organised via the VERCE science gateway that makes it convenient for seismologists to use these resources from any location via the Internet. Their data handling is made flexible…
▽ More
The VERCE project has pioneered an e-Infrastructure to support researchers using established simulation codes on high-performance computers in conjunction with multiple sources of observational data. This is accessed and organised via the VERCE science gateway that makes it convenient for seismologists to use these resources from any location via the Internet. Their data handling is made flexible and scalable by two Python libraries, ObsPy and dispel4py and by data services delivered by ORFEUS and EUDAT. Provenance driven tools enable rapid exploration of results and of the relationships between data, which accelerates understanding and method improvement. These powerful facilities are integrated and draw on many other e-Infrastructures. This paper presents the motivation for building such systems, it reviews how solid-Earth scientists can make significant research progress using them and explains the architecture and mechanisms that make their construction and operation achievable. We conclude with a summary of the achievements to date and identify the crucial steps needed to extend the capabilities for seismologists, for solid-Earth scientists and for similar disciplines.
△ Less
Submitted 7 October, 2015;
originally announced October 2015.
-
Grid enabled virtual screening against malaria
Authors:
N. Jacq,
J. Salzemann,
F. Jacq,
Y. Legré,
E. Medernach,
J. Montagnat,
A. Maass,
M. Reichstadt,
H. Schwichtenberg,
M. Sridhar,
V. Kasam,
M. Zimmermann,
M. Hofmann,
V. Breton
Abstract:
WISDOM is an international initiative to enable a virtual screening pipeline on a grid infrastructure. Its first attempt was to deploy large scale in silico docking on a public grid infrastructure. Protein-ligand docking is about computing the binding energy of a protein target to a library of potential drugs using a scoring algorithm. Previous deployments were either limited to one cluster, to…
▽ More
WISDOM is an international initiative to enable a virtual screening pipeline on a grid infrastructure. Its first attempt was to deploy large scale in silico docking on a public grid infrastructure. Protein-ligand docking is about computing the binding energy of a protein target to a library of potential drugs using a scoring algorithm. Previous deployments were either limited to one cluster, to grids of clusters in the tightly protected environment of a pharmaceutical laboratory or to pervasive grids. The first large scale docking experiment ran on the EGEE grid production service from 11 July 2005 to 19 August 2005 against targets relevant to research on malaria and saw over 41 million compounds docked for the equivalent of 80 years of CPU time. Up to 1,700 computers were simultaneously used in 15 countries around the world. Issues related to the deployment and the monitoring of the in silico docking experiment as well as experience with grid operation and services are reported in the paper. The main problem encountered for such a large scale deployment was the grid infrastructure stability. Although the overall success rate was above 80%, a lot of monitoring and supervision was still required at the application level to resubmit the jobs that failed. But the experiment demonstrated how grid infrastructures have a tremendous capacity to mobilize very large CPU resources for well targeted goals during a significant period of time. This success leads to a second computing challenge targeting Avian Flu neuraminidase N1.
△ Less
Submitted 17 November, 2006;
originally announced November 2006.
-
Large Scale In Silico Screening on Grid Infrastructures
Authors:
N. Jacq,
V. Breton,
H. -Y. Chen,
L. -Y. Ho,
M. Hofmann,
H. -C. Lee,
Y. Legré,
S. -C. Lin,
A. Maass,
E. Medernach,
I. Merelli,
L. Milanesi,
G. Rastelli,
M. Reichstadt,
J. Salzemann,
H. Schwichtenberg,
M. Sridhar,
V. Kasam,
Y. -T. Wu,
M. Zimmermann
Abstract:
Large-scale grid infrastructures for in silico drug discovery open opportunities of particular interest to neglected and emerging diseases. In 2005 and 2006, we have been able to deploy large scale in silico docking within the framework of the WISDOM initiative against Malaria and Avian Flu requiring about 105 years of CPU on the EGEE, Auvergrid and TWGrid infrastructures. These achievements dem…
▽ More
Large-scale grid infrastructures for in silico drug discovery open opportunities of particular interest to neglected and emerging diseases. In 2005 and 2006, we have been able to deploy large scale in silico docking within the framework of the WISDOM initiative against Malaria and Avian Flu requiring about 105 years of CPU on the EGEE, Auvergrid and TWGrid infrastructures. These achievements demonstrated the relevance of large-scale grid infrastructures for the virtual screening by molecular docking. This also allowed evaluating the performances of the grid infrastructures and to identify specific issues raised by large-scale deployment.
△ Less
Submitted 17 November, 2006;
originally announced November 2006.
-
A syntactical analysis of non-size-increasing polynomial time computation
Authors:
Klaus Aehlig,
Helmut Schwichtenberg
Abstract:
A syntactical proof is given that all functions definable in a certain affine linear typed lambda-calculus with iteration in all types are polynomial time computable. The proof provides explicit polynomial bounds that can easily be calculated.
A syntactical proof is given that all functions definable in a certain affine linear typed lambda-calculus with iteration in all types are polynomial time computable. The proof provides explicit polynomial bounds that can easily be calculated.
△ Less
Submitted 14 September, 2001; v1 submitted 23 November, 2000;
originally announced November 2000.