Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Reports of the 2016 AAAI Workshop ProgramAlbrecht, Stefano V. ; Bouchard, Bruno ; Brownstein, John S. ; Buckeridge, David L. ; Caragea, Cornelia ; Carter, Kevin M. ; Darwiche, Adnan ; Fortuna, Blaz ; Francillette, Yannick ; Gaboury, Sébastien ; Giles, C. Lee ; Grobelnik, Marko ; Hruschka, Estevam ; Kephart, Jeffrey O. ; Kordjamshidi, Parisa ; Lisy, Viliam ; Magazzeni, Daniele ; Marques‐Silva, Joao ; Marquis, Pierre ; Martinez, David ; Michalowski, Martin ; Noorian, Zeinab ; Pontelli, Enrico ; Rogers, Alex ; Rosenthal, Stephanie ; Roth, Dan ; Sanner, Scott ; Shaban‐Nejad, Arash ; Sinha, Arunesh ; Son, Tran Cao ; Streilein, William ; Thiebaux, Sylvie ; Wallace, Byron C. ; Walsh, Toby ; Witbroc, Michael ; Zhang, JieThe AI magazine, 2016-09, Vol.37 (3), p.99-108 [Periódico revisado por pares]La Canada: American Association for Artificial IntelligenceTexto completo disponível |
|
2 |
Material Type: Artigo
|
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal SetsAckerman, Nate ; Freer, Cameron E. ; Kaddar, Younesse ; Karwowski, Jacek ; Moss, Sean ; Roy, Daniel ; Staton, Sam ; Yang, HongseokProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1819-1849, Article 61 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
The consequences of robotics programming education on computational thinking skills: An intervention of the Young Engineer's Workshop (YEW)Yilmaz Ince, Ebru ; Koc, MustafaComputer applications in engineering education, 2021-01, Vol.29 (1), p.191-208 [Periódico revisado por pares]Hoboken: Wiley Subscription Services, IncTexto completo disponível |
|
4 |
Material Type: Artigo
|
A survey of semantic methods in genetic programmingVanneschi, Leonardo ; Castelli, Mauro ; Silva, SaraGenetic programming and evolvable machines, 2014-06, Vol.15 (2), p.195-214 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
5 |
Material Type: Artigo
|
A unique fuzzy multivariate modeling approach for performance optimization of maintenance workshops with cognitive factorsAzadeh, A. ; Ghaderi, S. F. ; Pashapour, S. ; Keramati, A. ; Malek, M. Rezaei ; Esmizadeh, M.International journal of advanced manufacturing technology, 2017-04, Vol.90 (1-4), p.499-525 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
6 |
Material Type: Artigo
|
Combinatorial optimization: theory and computation : The aussois workshop 2004LIEBLING, Thomas M ; NADDEF, Denis ; WOLSEY, Laurence AMathematical programming, 2006-02, Vol.105 (2-3), p.157-160 [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |
|
7 |
Material Type: Artigo
|
Exploratory study of the impact of project domain and size category on the detection of the God class design smellAlkharabsheh, Khalid ; Crespo, Yania ; Fernández-Delgado, Manuel ; Viqueira, José R. ; Taboada, José A.Software quality journal, 2021-06, Vol.29 (2), p.197-237 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
8 |
Material Type: Artigo
|
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak MemoryAlglave, Jade ; Maranget, Luc ; Tautschnig, MichaelACM transactions on programming languages and systems, 2014-07, Vol.36 (2), p.1-74, Article 7 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the LaxnessKomendantskaya, Ekaterina ; Power, John Hasuo, Ichiro ; Hasuo, IchiroCoalgebraic Methods in Computer Science, 2016, Vol.9608, p.94-113 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
10 |
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 |