Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Daniele Turi"'
Autor:
Luc Moreau, Bertram Ludäscher, Ilkay Altintas, Roger S. Barga, Shawn Bowers, Steven Callahan, George Chin, Ben Clifford, Shirley Cohen, Sarah Cohen-Boulakia, Susan Davidson, Ewa Deelman, Luciano Digiampietri, Ian Foster, Juliana Freire, James Frew, Joe Futrelle, Tara Gibson, Yolanda Gil, Carole Goble, Jennifer Golbeck, Paul Groth, David A. Holland, Sheng Jiang, Jihie Kim, David Koop, Ales Krenek, Timothy McPhillips, Gaurang Mehta, Simon Miles, Dominic Metzger, Steve Munroe, Jim Myers, Beth Plale, Norbert Podhorszki, Varun Ratnakar, Emanuele Santos, Carlos Scheidegger, Karen Schuchardt, Margo Seltzer, Yogesh L. Simmhan, Claudio Silva, Peter Slaughter, Eric Stephan, Robert Stevens, Daniele Turi, Huy Vo, Mike Wilde, Jun Zhao, Yong Zhao
Publikováno v:
Concurrency and Computation: Practice and Experience. 20:409-418
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a32883d49714a181b19014f599602f65
https://doi.org/10.1002/cpe.1233
https://doi.org/10.1002/cpe.1233
Publikováno v:
Concurrency and Computation: Practice and Experience. 20:463-472
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::966fce5db772391a9cd3489ce03e54df
https://doi.org/10.1002/cpe.1231
https://doi.org/10.1002/cpe.1231
Autor:
Daniele Turi, John Power
Publikováno v:
CTCS
We present a coalgebraic approach to trace equivalence semantics based on lifting behaviour endofunctors for deterministic action to Kleisli categories of monads for non-deterministic choice. In Set, this gives a category with ordinary transition sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5817dddb4e58df27b81829fba2716662
Autor:
Jan Rutten, Daniele Turi
Publikováno v:
Mathematical Structures in Computer Science, 8(5), 481-540
This paper, a revised version of Rutten and Turi (1993), is part of a programme aiming at formulating a mathematical theory of structural operational semantics to complement the established theory of domains and denotational semantics to form a coher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e796c404a9de09a282e83dc0466d1f28
https://doi.org/10.1017/s0960129598002588
https://doi.org/10.1017/s0960129598002588
Autor:
Peter Li, Antoon Goderis, Daniele Turi, Carole Goble, Mark Greenwood, Duncan Hull, Jun Zhao, Douglas B. Kell, Tom Oinn, Robert Stevens
Publikováno v:
Workflows for e-Science ISBN: 9781846285196
Bioinformatics is a discipline that uses computational and mathematical techniques to store, manage, and analyze biological data in order to answer biological questions. Bioinformatics has over 850 databases [154] and numerous tools that work over th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cdbd69e8c54dfb120717e5e031245d9b
https://doi.org/10.1007/978-1-84628-757-2_19
https://doi.org/10.1007/978-1-84628-757-2_19
Publikováno v:
eScience
ResearcherID
ResearcherID
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b94b006f070bf1ac014bf333a7633630
http://ora.ox.ac.uk/objects/uuid:82927f9b-4f79-4901-8458-f53ba51a2e48
http://ora.ox.ac.uk/objects/uuid:82927f9b-4f79-4901-8458-f53ba51a2e48
Autor:
Robert Stevens, Christopher Wroe, Pinar Alper, Khalid Belhajjame, Daniele Turi, Katherine Wolstencroft, David De Roure, Phillip Lord, Antoon Goderis, Jun Zhao, Tom Oinn, Carole Goble, Duncan Hull
Publikováno v:
Semantic Web ISBN: 9780387484365
Life Science research has extended beyond in vivo and in vitro bench-bound science to incorporate in silico knowledge discovery, using resources that have been developed over time by different teams for different purposes and in different forms. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::647f9528badb6aad7174fa3e80fb0009
https://doi.org/10.1007/978-0-387-48438-9_17
https://doi.org/10.1007/978-0-387-48438-9_17
Autor:
Daniele Turi
Publikováno v:
Science of Computer Programming. 30:343-345
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d203347b4887857becc7581104f283aa
https://doi.org/10.1016/s0167-6423(98)90035-1
https://doi.org/10.1016/s0167-6423(98)90035-1
Publikováno v:
Digital Mammography ISBN: 9783540356257
Digital Mammography / IWDM
Digital Mammography / IWDM
The Digital Database for Screening Mammography (DDSM) is an invaluable resource for digital mammography research. However, there are two particular shortcomings that can pose a significant barrier to many of those who may want to use the resource: 1)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33a96e692a7b50387d1e0be0d8ec505b
https://doi.org/10.1007/11783237_51
https://doi.org/10.1007/11783237_51
Autor:
Ian Horrocks, Katherine Wolstencroft, Ulrike Sattler, Daniele Turi, Phillip Lord, Andy Brass, Robert Stevens
Publikováno v:
The Semantic Web – ISWC 2005 ISBN: 9783540297543
International Semantic Web Conference
International Semantic Web Conference
We show how state-of-the-art Semantic Web technology can be used in e-Science, in particular, to automate the classification of proteins in biology. We show that the resulting classification was of comparable quality to that performed by a human expe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::597de35bb4a386ca62e5b68f52b99f76
https://doi.org/10.1007/11574620_56
https://doi.org/10.1007/11574620_56