{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:19:21Z","timestamp":1725898761061},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642339981"},{"type":"electronic","value":"9783642339998"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33999-8_13","type":"book-chapter","created":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T15:27:25Z","timestamp":1350487645000},"page":"101-110","source":"Crossref","is-referenced-by-count":0,"title":["A Scientific Hypothesis Conceptual Model"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Porto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana Maria","family":"de C. Moura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Spaccapietra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludascher, B., Kepler, M.: An Extensible System for Design and Execution of Scientific Workflows. In: Proceedings of the SSDBM (2004)","key":"13_CR1"},{"issue":"7","key":"13_CR2","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1016\/j.jbiomech.2009.01.034","volume":"42","author":"P.J. Blanco","year":"2009","unstructured":"Blanco, P.J., et al.: On the potentialities of 3d-1d coupled models in hemodynamics simulations. Journal of Biomechanics\u00a042(7), 919\u2013930 (2009)","journal-title":"Journal of Biomechanics"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(90)90011-6","volume":"76","author":"A.J. Bonner","year":"1990","unstructured":"Bonner, A.J.: Hypothetical Datalog: Complexity and Expressibility. Theoretical Computer Science\u00a076, 3\u201351 (1990)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"13_CR4","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1002\/cpe.1256","volume":"20","author":"B. Clifford","year":"2008","unstructured":"Clifford, B., et al.: Tracking Provenance in a Virtual Data Grid. Concurrency and Computation: Practice and Experience\u00a020(5), 565\u2013575 (2008)","journal-title":"Concurrency and Computation: Practice and Experience"},{"unstructured":"Cudre-Mauroux, P., et al.: A Demonstration of SciDB: A Science-Oriented DBMS. In: 22th Int. Conference on Very Large Data Bases, Lyon, France (August 2009)","key":"13_CR5"},{"doi-asserted-by":"crossref","unstructured":"Freire, J., Koop, D., Santos, E., Silva, C.T.: Provenance for Computational Tasks: A Survey. Computing in Science and Engineering\u00a010(3), 11\u201321 (2008), doi:10.1109\/MCSE.2008.79","key":"13_CR6","DOI":"10.1109\/MCSE.2008.79"},{"issue":"5-6","key":"13_CR7","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T.R. Gruber","year":"1995","unstructured":"Gruber, T.R.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human-Computer Studie\u00a043(5-6), 907\u2013928 (1995)","journal-title":"International Journal of Human-Computer Studie"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1504\/IJBPIM.2010.033176","volume":"5","author":"M. Mattoso","year":"2010","unstructured":"Mattoso, M., Werner, C., Travassos, G.H., Braganholo, V., Murta, L., Ogasawara, E., Oliveira, D., Cruz, S.M.S.D., Martinho, W.: Towards Supporting the Life Cycle of Large Scale Scientific Experiments. Int. J. Business Process Integration and Management\u00a05(1), 79\u201392 (2010)","journal-title":"Int. J. Business Process Integration and Management"},{"unstructured":"Oinn, T., Greenwood, M., Addis, M.: Taverna: Lessons in Creating a Workflow Environment for the Life Sciences. Concurrence Computation: Practice and Expeience, 1\u20137 (2000)","key":"13_CR9"},{"unstructured":"Parent, C., Spaccapietra, S., Zymanyi, E.: Conceptual Model for Traditional and Spatio-temporal Applications - The MADS approach. Springer (2006)","key":"13_CR10"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-87991-6_7","volume-title":"Advances in Conceptual Modeling \u2013 Challenges and Opportunities","author":"F. Porto","year":"2008","unstructured":"Porto, F., de Macedo, J.A., Tamargo, J.S., Zufferey, Y.W., Vidal, V.P., Spaccapietra, S.: Towards a Scientific Model Management System. In: Song, I.-Y., Piattini, M., Chen, Y.-P.P., Hartmann, S., Grandi, F., Trujillo, J., Opdahl, A.L., Ferri, F., Grifoni, P., Caschera, M.C., Rolland, C., Woo, C., Salinesi, C., Zim\u00e1nyi, E., Claramunt, C., Frasincar, F., Houben, G.-J., Thiran, P. (eds.) ER Workshops 2008. LNCS, vol.\u00a05232, pp. 55\u201365. Springer, Heidelberg (2008)"},{"unstructured":"Porto, F., Moura, A.M.C.: Scientific hypothesis database. Technical Report, LNCC (2012)","key":"13_CR12"},{"doi-asserted-by":"crossref","unstructured":"Porto, F., Tajmouati, O., Silva, V.F.V., Schulze, B., Ayres, F.M.: QEF Supporting Complex Query Applications. In: 7th Int. Symposium on Cluster Computing and the Grid, Rio de Ja-neiro, Brazil, pp. 846\u2013851 (2007)","key":"13_CR13","DOI":"10.1109\/CCGRID.2007.89"},{"issue":"suppl.1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/bioinformatics\/bth905","volume":"20","author":"S.A. Racunas","year":"2004","unstructured":"Racunas, S.A., Shah, N.H., Albert, I., Fedoroff, N.V.: Hybrow: a Prototype System for Computer-Aided Hypothesis Evaluation. Bioinformatics\u00a020(suppl.1), 257\u2013264 (2004)","journal-title":"Bioinformatics"},{"unstructured":"Racunas, S., Griffin, C., Shah, N.: A Finite Model Theory for Biological Hypotheses. In: Proc. of the 2004 IEEE Computational Sytems Bioinformatics Conference (2004)","key":"13_CR15"},{"unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Founda-tions, Brooks Cole Publishing Co., Pacific Grove, CA, \u00a92000 (August 1999)","key":"13_CR16"},{"doi-asserted-by":"crossref","unstructured":"Stonebreaker, M., Rowe, L.A.: The Design of Postgres. In: SIGMOD Conference, pp. 340\u2013355 (1986)","key":"13_CR17","DOI":"10.1145\/16856.16888"},{"unstructured":"Stonebreaker, M., Becla, J., DeWitt, D., et al.: Requirements for Science Data Base and SciDB. In: Conference on Innovative Data Systems Research, CIDR (2009)","key":"13_CR18"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33999-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T05:45:51Z","timestamp":1557294351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33999-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642339981","9783642339998"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33999-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}