Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Applicative programming with effectsMCBRIDE, CONOR ; PATERSON, ROSSJournal of functional programming, 2008-01, Vol.18 (1), p.1-13 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
José Meseguer: Scientist and Friend ExtraordinaireMartí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, CarolynLogic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
3 |
Material Type: Artigo
|
Open-Ended Evolution: Perspectives from the OEE Workshop in YorkTaylor, Tim ; Bedau, Mark ; Channon, Alastair ; Ackley, David ; Banzhaf, Wolfgang ; Beslon, Guillaume ; Dolson, Emily ; Froese, Tom ; Hickinbotham, Simon ; Ikegami, Takashi ; McMullin, Barry ; Packard, Norman ; Rasmussen, Steen ; Virgo, Nathaniel ; Agmon, Eran ; Clark, Edward ; McGregor, Simon ; Ofria, Charles ; Ropella, Glen ; Spector, Lee ; Stanley, Kenneth O. ; Stanton, Adam ; Timperley, Christopher ; Vostinar, Anya ; Wiser, MichaelArtificial life, 2016-08, Vol.22 (3), p.408-423 [Periódico revisado por pares]One Rogers Street, Cambridge, MA 02142-1209, USA: MIT PressTexto completo disponível |
|
4 |
Material Type: Artigo
|
Data types à la carteSWIERSTRA, WOUTERJournal of functional programming, 2008-07, Vol.18 (4), p.423-436 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
5 |
Material Type: Artigo
|
Recognizing Materials Using Perceptually Inspired FeaturesSharan, Lavanya ; Liu, Ce ; Rosenholtz, Ruth ; Adelson, Edward H.International journal of computer vision, 2013-07, Vol.103 (3), p.348-371 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
6 |
Material Type: Artigo
|
Combining effects: Sum and tensorHyland, Martin ; Plotkin, Gordon ; Power, JohnTheoretical computer science, 2006-07, Vol.357 (1), p.70-99 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Annotating a broad range of anaphoric phenomena, in a variety of genres: the ARRAU CorpusUryupina, Olga ; Artstein, Ron ; Bristot, Antonella ; Cavicchio, Federica ; Delogu, Francesca ; Rodriguez, Kepa J. ; Poesio, MassimoNatural language engineering, 2020-01, Vol.26 (1), p.95-128 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
A comparison of creativity and innovation metrics and sample validation through in-class design projectsOman, Sarah K. ; Tumer, Irem Y. ; Wood, Kris ; Seepersad, CarolynResearch in engineering design, 2013-01, Vol.24 (1), p.65-92 [Periódico revisado por pares]London: Springer-VerlagTexto completo disponível |
|
9 |
Material Type: Artigo
|
Non-monotonic spatial reasoning with answer set programming modulo theoriesWAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHULTheory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
10 |
Material Type: Artigo
|
Constructing a small category of setoidsWILANDER, OLOVMathematical structures in computer science, 2012-02, Vol.22 (1), p.103-121 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |