Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Turi, Daniele"'
Autor:
Power, John, Turi, Daniele
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1999 29:259-274
Autor:
Moreau, Luc, Ludaescher, Bertram, Altintas, Ilkay, Barga, Roger S., Bowers, Shawn, Callahan, Steven, Chin Jr., George, Clifford, Ben, Cohen, Shirley, Cohen-Boulakia, Sarah, Davidson, Susan, Deelman, Ewa, Digiampietri, Luciano, Foster, Ian, Freire, Juliana, Frew, James, Futrelle, Joe, Gibson, Tara, Gil, Yolanda, Goble, Carole, Golbeck, Jennifer, Groth, Paul, Holland, David A., Jiang, Sheng, Kim, Jihie, Koop, David, Krenek, Ales, McPhillips, Timothy, Mehta, Gaurang, Miles, Simon, Metzger, Dominic, Munroe, Steve, Myers, Jim, Plale, Beth, Podhorszki, Norbert, Ratnakar, Varun, Santos, Emanuele, Scheidegger, Carlos, Schuchardt, Karen, Seltzer, Margo, Simmhan, Yogesh L., Silva, Claudio, Slaughter, Peter, Stephan, Eric, Stevens, Robert, Turi, Daniele, Vo, Huy, Wilde, Mike, Zhao, Jun
The first Provenance Challenge was set up in order to provide a forum for the community to help understand the capabilities of different provenance systems and the expressiveness of their provenance representations. To this end, a Functional Magnetic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______348::224606674b5fd6b3fc2490d0b56df182
https://eprints.soton.ac.uk/270882/
https://eprints.soton.ac.uk/270882/
Publikováno v:
Rose, C, Turi, D, Williams, A, Wolstencroft, K & Taylor, C 2006, ' Web services for the DDSM and digital mammography research ', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4046, pp. 376-383 . https://doi.org/10.1007/11783237_51
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=od______3818::f3a69e5b1d9bf8c8edc554a4fd7d4000
https://pure.manchester.ac.uk/ws/files/29101274/POST-PEER-REVIEW-PUBLISHERS-DOCUMENT.PDF
https://pure.manchester.ac.uk/ws/files/29101274/POST-PEER-REVIEW-PUBLISHERS-DOCUMENT.PDF
We develop a theory of abstract syntax with variable binding. To every binding signature we associate a category of models consisting of variable sets endowed with compatible algebra and substitution structures. The syntax generated by the signature
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______463::fe49680ae24339e534049dce2b541a9a
http://hdl.handle.net/1842/221
http://hdl.handle.net/1842/221
Autor:
Taylor, Ian J., Deelman, Ewa, Gannon, Dennis B., Shields, Matthew, Oinn, Tom, Li, Peter, Kell, Douglas B., Goble, Carole, Goderis, Antoon, Greenwood, Mark, Hull, Duncan, Stevens, Robert, Turi, Daniele, Jun Zhao
Publikováno v:
Workflows for e-Science; 2007, p300-319, 20p
Autor:
Astley, Susan M., Brady, Michael, Zwiggelaar, Reyer, Rose, Chris, Turi, Daniele, Williams, Alan, Wolstencroft, Katy, Taylor, Chris
Publikováno v:
Digital Mammography; 2006, p376-383, 8p
Publikováno v:
Automated Deduction - CADE-20; 2005, p177-181, 5p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Moggi, Eugenio, Rosolini, Giuseppe, Turi, Daniele
Publikováno v:
Category Theory & Computer Science; 1997, p127-146, 20p