Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Artigo
|
With a Few Square Roots, Quantum Computing Is as Easy as PiCarette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; Sabry, AmrProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.546-574, Article 19 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
José Meseguer: Scientist and Friend ExtraordinaireMartí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, Carolyn Talcott, Carolyn ; Ölveczky, Peter Csaba ; Martí-Oliet, Narciso ; Martí-Oliet, Narciso ; Talcott, Carolyn ; Ölveczky, Peter CsabaLogic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
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 |
|
5 |
Material Type: Artigo
|
Lenses, fibrations and universal translationsJOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J.Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
6 |
Material Type: Artigo
|
The Seventh Answer Set Programming Competition: Design and ResultsGEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCOTheory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithmsChernoy, Viacheslav ; Shalom, Mordechai ; Zaks, ShmuelDistributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
|
8 |
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 |
|
9 |
Material Type: Artigo
|
Multi-Objective Bi-Level Programming for the Energy-Aware Integration of Flexible Job Shop Scheduling and Multi-Row LayoutZhang, Hongliang ; Ge, Haijiang ; Pan, Ruilin ; Wu, YujuanAlgorithms, 2018-12, Vol.11 (12), p.210 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
10 |
Material Type: Artigo
|
Modal dependent type theory and dependent right adjointsBirkedal, Lars ; Clouston, Ranald ; Mannaa, Bassel ; Ejlers Møgelberg, Rasmus ; Pitts, Andrew M. ; Spitters, BasMathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |