190,591 research outputs found
Analysis of types of information in textual descriptions of computational workflows
No full textThis is data used to understand how people describe computational workflows using text. The data is from 2009 and is the basis for a small conference paper:Paul Groth and Yolanda Gil. 2009. Analyzing the Gap between Workflows and their Natural Language Descriptions. In Proceedings of the 2009 Congress on Services - I (SERVICES '09). IEEE Computer Society, Washington, DC, USA, 299-305. DOI=10.1109/SERVICES-I.2009.55 http://dx.doi.org/10.1109/SERVICES-I.2009.55Preprint and more context: http://design.wings-workflows.org/index.php/Analysis_of_Scientist_Descriptions_of_WorkflowsNot sure if this is still reproducible... especially because it's done by hand. But at least all of it is there
Analysis of types of information in textual descriptions of computational workflows
No full textThis is data used to understand how people describe computational workflows using text. The data is from 2009 and is the basis for a small conference paper:Paul Groth and Yolanda Gil. 2009. Analyzing the Gap between Workflows and their Natural Language Descriptions. In Proceedings of the 2009 Congress on Services - I (SERVICES '09). IEEE Computer Society, Washington, DC, USA, 299-305. DOI=10.1109/SERVICES-I.2009.55 http://dx.doi.org/10.1109/SERVICES-I.2009.55Preprint and more context: http://design.wings-workflows.org/index.php/Analysis_of_Scientist_Descriptions_of_WorkflowsNot sure if this is still reproducible... especially because it's done by hand. But at least all of it is there
Sur les notations cristallographiques
No full textGroth P. Sur les notations cristallographiques. In: Bulletin de la Société française de Minéralogie, volume 26, 1-3, 1903. pp. 54-56
P. Groth. — Chemische Kristallographie. Zweiter Teil. Leipzig, W. Engelmann, 1908
No full textMarais H. P. Groth. — Chemische Kristallographie. Zweiter Teil. Leipzig, W. Engelmann, 1908. In: Bulletin de la Société française de Minéralogie, volume 31, 8, 1908. pp. 354-356
Batch Groth-Sahai
Full text linkInternational audienceIn 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zero-knowledge (and witness-indistinguishable) proofs in bilinear groups. While avoiding expensive NP-reductions, these proof systems are still inefficient due to a number of pairing computations required for verification. We apply recent techniques of batch verification to the Groth-Sahai proof systems and manage to improve significantly the complexity of proof verification. We give explicit batch verification formulas for generic Groth-Sahai equations (whose cost is less than a tenth of the original) and also for specific popular protocols relying on their methodology (namely Groth's group signatures and Belenkiy-Chase-Kohlweiss-Lysyanskaya's P-signatures)
P. Groth. — Chemische Kristallographie. Zweiter Teil. Leipzig, W. Engelmann, 1908
No full textMarais H. P. Groth. — Chemische Kristallographie. Zweiter Teil. Leipzig, W. Engelmann, 1908. In: Bulletin de la Société française de Minéralogie, volume 31, 8, 1908. pp. 354-356
Otto Groth, Die Zeitung.
No full textFebvre Lucien. Otto Groth, Die Zeitung.. In: Annales d'histoire économique et sociale. 4ᵉ année, N. 18, 1932. p. 596
The Origin of Data: Enabling the Determination of Provenance in Multi-institutional Scientific Systems through the Documentation of Processes
Full text linkThe Oxford English Dictionary defines provenance as (i) the fact of coming from some particular source or quarter; origin, derivation. (ii) the history or pedigree of a work of art, manuscript, rare book, etc.; concr., a record of the ultimate derivation and passage of an item through its various owners. In art, knowing the provenance of an artwork lends weight and authority to it while providing a context for curators and the public to understand and appreciate the work’s value. Without such a documented history, the work may be misunderstood, unappreciated, or undervalued. In computer systems, knowing the provenance of digital objects would provide them with greater weight, authority, and context just as it does for works of art. Specifically, if the provenance of digital objects could be determined, then users could understand how documents were produced, how simulation results were generated, and why decisions were made. Provenance is of particular importance in science, where experimental results are reused, reproduced, and verified. However, science is increasingly being done through large-scale collaborations that span multiple institutions, which makes the problem of determining the provenance of scientific results significantly harder. Current approaches to this problem are not designed specifically for multi-institutional scientific systems and their evolution towards greater dynamic and peer-to-peer topologies. Therefore, this thesis advocates a new approach, namely, that through the autonomous creation, scalable recording, and principled organisation of documentation of systems’ processes, the determination of the provenance of results produced by complex multi-institutional scientific systems is enabled. The dissertation makes four contributions to the state of the art. First is the idea that provenance is a query performed over documentation of a system’s past process. Thus, the problem is one of how to collect and collate documentation from multiple distributed sources and organise it in a manner that enables the provenance of a digital object to be determined. Second is an open, generic, shared, principled data model for documentation of processes, which enables its collation so that it provides high-quality evidence that a system’s processes occurred. Once documentation has been created, it is recorded into specialised repositories called provenance stores using a formally specified protocol, which ensures documentation has high-quality characteristics. Furthermore, patterns and techniques are given to permit the distributed deployment of provenance stores. The protocol and patterns are the third contribution. The fourth contribution is a characterisation of the use of documentation of process to answer questions related to the provenance of digital objects and the impact recording has on application performance. Specifically, in the context of a bioinformatics case study, it is shown that six different provenance use cases are answered given an overhead of 13% on experiment run-time. Beyond the case study, the solution has been applied to other applications including fault tolerance in service-oriented systems, aerospace engineering, and organ transplant management
Groth–Sahai Proofs Revisited
Full text linkSince their introduction in 2008, the non-interactive zeroknowledge (NIZK) and non-interactive witness indistinguishable (NIWI) proofs designed by Groth and Sahai have been used in numerous applications. In this paper, we offer two contributions to the study of these proof systems. First, we identify and correct some errors, present in the oringal online manuscript, that occur in two of the three instantiations of the Groth-Sahai NIWI proofs for which the equation checked by the verifier is not valid for honest executions of the protocol. In particular, implementations of these proofs would not work correctly. We explain why, perhaps surprisingly, the NIZK proofs that are built from these NIWI proofs do not suffer from a similar problem. Secondly, we study the efficiency of existing instantiations and note that only one of the three instantiations has the potential of being practical. We therefore propose a natural extension of an existing assumption from symmetric pairings to asymmetric ones which in turn enables Groth-Sahai proofs based on new classes of efficient pairings.Since their introduction in 2008, the non-interactive zeroknowledge (NIZK) and non-interactive witness indistinguishable (NIWI) proofs designed by Groth and Sahai have been used in numerous applications. In this paper, we offer two contributions to the study of these proof systems. First, we identify and correct some errors, present in the oringal online manuscript, that occur in two of the three instantiations of the Groth-Sahai NIWI proofs for which the equation checked by the verifier is not valid for honest executions of the protocol. In particular, implementations of these proofs would not work correctly. We explain why, perhaps surprisingly, the NIZK proofs that are built from these NIWI proofs do not suffer from a similar problem. Secondly, we study the efficiency of existing instantiations and note that only one of the three instantiations has the potential of being practical. We therefore propose a natural extension of an existing assumption from symmetric pairings to asymmetric ones which in turn enables Groth-Sahai proofs based on new classes of efficient pairings
PReServ: Provenance Recording for Services
No full textThe importance of understanding the process by which a result was generated in an experiment is fundamental to science. Without such information, other scientists cannot replicate, validate, or duplicate an experiment. We define provenance as the process that led to a result. With large scale in-silico experiments, it becomes increasingly difficult for scientists to record process documentation that can be used to retrieve the provenance of a result. Provenance Recording for Services (PReServ) is a software package that allows developers to integrate process documentation recording into their applications. PReServ has been used by several applications and its performance has been benchmarked
- …
