Skip to main content

Browse by Publisher

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 31.

Article

Fuller, Ursula, Johnson, Colin G., Ahoniemi, Tuukka, Cukierman, Diana, Hernán-Losada, Isidoro, Jackova, Jana, Lahtinen, Essi, Lewis, Tracy L., McGee Thompson, Donna, Riesdel, Charles, and others. (2007) Developing a Computer Science-specific Learning Taxonomy. ACM SIGCSE Bulletin, 39 (4). pp. 152-170. ISSN 0097-8418. (doi:10.1145/1345375.1345438)
[img]
Preview

Barnes, Stuart J. (2007) Virtual worlds as a medium for advertising: a research agenda. Advances in Information Systems, 38 (4). pp. 45-55. (doi:10.1145/1314234.1314244) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fuller, Ursula, Pears, Arnold, Amillo, June, Avram, Chris, Mannila, Linda (2006) A Computing Perspective on the Bologna Process. ACM SIGCSE Bulletin, 38 (4). pp. 142-158. ISSN 0097-8418. (doi:10.1145/1189136.1189181) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Utting, Ian (2006) Problems in the Initital Teaching of Programming using Java: the case for replaceing J2SE with J2ME. Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 38 (3). pp. 193-196. ISSN 0097-8418. (doi:10.1145/1140123.1140176)
[img]
Preview

Fuller, Ursula, Amillo, June, Laxer, Cary, McCracken, W. Michael, Mertz, Joseph (2005) Facilitating student learning through study abroad and international projects. ACM SIGCSE Bulletin, 37 (4). pp. 139-151. ISSN 0097-8418. (doi:10.1145/1113847.1113892) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Freitas, Alex A. (2004) A critical review of multi-objective optimization in data mining: a position paper. SIGKDD Explorations, 6 (2). pp. 77-86. ISSN 1931-0145. (doi:10.1145/1046456.1046467) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Carter, Janet, English, John, Ala-Mutka, Kirsti, Dick, Martin, Fone, William, Fuller, Ursula, Sheard, Judy (2003) How Shall We Assess This? ACM SIGCSE Bulletin, 35 (4). pp. 107-123. ISSN 0097-8418. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dick, Martin, Sheard, Judy, Bareiss, Cathy, Carter, Janet, Joyce, Donald, Harding, Trevor, Laxer, Cary (2003) Addressing student cheating: definitions and solutions. ACM SIGCSE Bulletin, 35 (2). pp. 172-184. ISSN 0097-8418. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Panteli, Antony (2003) Code Confidential: codes of practice for computing professionals. ACM: Computers & Society, 32 (2). ISSN 0095-2737. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fahraeus, E.R., Chamberlain, B., Baykov, V., Bridgeman, N., Dumbraveanu, R., Fuller, Ursula, Rugeli, J. (1999) Teaching with Electronic Collaborative Learning Groups: Report of the ITiCSE'99 Working Group on Creative Teaching of Electronic Collaborative Learning Groups. SIGCSE Bulletin, 31 (4). pp. 121-128. ISSN 0097-8418. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sannella, Don, Tarlecki, Andrzej, Kahrs, Stefan (1994) Interfaces and Extended ML. SIGPLAN Notices, 29 (8). pp. 111-118.
[img]
Preview
[img]
Preview

Book section

Robbins, Ed and King, Andy and Schrijvers, Tom (2016) From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes. In: Guha, Arjun and Chong, Steve, eds. Symposium on Principles of Programming Languages. ACM Press, St. Petersburg, Florida, USA, pp. 191-203. (doi:10.1145/2837614.2837633)
[img]
Preview

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York, pp. 37-48. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505886) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Printezis, Tony and Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. In: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. ACM Press, New York, USA, pp. 343-358. ISBN 1-58113-471-1. (doi:10.1145/582419.582451)
[img]
Preview

Conference or workshop item

Harrison, Joseph (2018) Automatic detection of core Erlang message passing errors. In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang - Erlang 2018. Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang. . pp. 37-48. ACM Press ISBN 978-1-4503-5824-8. (doi:10.1145/3239332.3242765) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliveira, Luiz O.V.B., Otero, Fernando E.B., Pappa, Gisele L. (2016) A Dispersion Operator for Geometric Semantic Genetic Programming. In: Proceedings of the 2016 Annual Conference on Genetic and Evolutionary Computation. . pp. 773-780. ACM Press (doi:10.1145/2908812.2908923)
[img]
Preview

Helal, Ayah, Otero, Fernando E.B. (2016) A Mixed-Attribute Approach in Ant-Miner Classification Rule Discovery Algorithm. In: Proceedings of the 2016 Annual Conference on Genetic and Evolutionary Computation. . pp. 13-20. ACM Press (doi:10.1145/2908812.2908900)
[img]
Preview

Brookhouse, James, Otero, Fernando E.B. (2016) Using an Ant Colony Optimization Algorithm for Monotonic Regression Rule Discovery. In: Genetic and Evolutionary Computation Conference (GECCO 2016), 20-24 July 2016, Denver, United States. (doi:10.1145/2908812.2908896)
[img]
Preview

Brookhouse, James, Otero, Fernando E.B. (2015) Discovering Regression Rules with Ant Colony Optimization. In: Proceedings of the 2015 Genetic and Evolutionary Conference Companion (GECCO'15 Companion). . pp. 1005-1012. ACM Press (doi:10.1145/2739482.2768450)
[img]
Preview

Alglave, Jade, Batty, Mark, Donaldson, Alastair F., Gopalakrishnan, Ganesh, Ketema, Jeroen, Poetzl, Daniel, Sorensen, Tyler, Wickerson, John (2015) GPU Concurrency: Weak Behaviours and Programming Assumptions. In: ACM SIGPLAN Notices. Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015. . pp. 577-591. ACM Press ISBN 978-1-4503-2835-7. (doi:10.1145/2694344.2694391)
[img]
Preview

Mulligan, Dominic P., Owens, Scott, Gray, Kathryn E., Ridge, Tom, Sewell, Peter (2014) Lem: reusable engineering of real-world semantics. In: The 19th ACM SIGPLAN International Conference on Functional Programming, September 2014, Gothenburg, Sweden. (doi:10.1145/2628136.2628143)
[img]
Preview

Batty, Mark, Dodds, Mike, Gotsman, Alexey (2013) Library abstraction for C/C++ concurrency. In: ACM SIGPLAN Notices. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. . pp. 235-248. ACM Press ISBN 978-1-4503-1832-7. (doi:10.1145/2429069.2429099)
[img]
Preview

Medland, Matthew, Otero, Fernando E.B. (2012) A Study of Different Quality Evaluation Functions in the cAnt-MinerPB Classification Algorithm. In: Proceedings of the 2012 Genetic and Evolutionary Conference (GECCO 2012). . pp. 49-55. ACM Press
[img]
Preview

Otero, Fernando E.B., Castle, Tom, Johnson, Colin G. (2012) EpochX: Genetic Programming in Java with Statistics and Event Monitoring. In: Proceedings of the 2012 Genetic and Evolutionary Conference Companion (GECCO 2012). . ACM Press, Philadelphia (doi:10.1145/2330784.2330800)
[img]
Preview

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press
[img]
Preview

Blanchette, Jasmin Christian, Weber, Tjark, Batty, Mark, Owens, Scott, Sarkar, Susmit (2011) Nitpicking C++ Concurrency. In: PPDP '11: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. (doi:10.1145/2003476.2003493) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Haupt, Michael, Hirschfeld, Robert, Pape, Tobias, Gabrysiak, Gregor, Marr, Stefan, Bergmann, Arne, Heise, Arvid, Kleine, Matthias, Krahn, Robert (2010) The SOM Family: Virtual Machines for Teaching and Research. In: Proceedings of the 15th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE).
[img]
Preview

Franqueira, Virginia N. L., Lopes, Raul H. C., van Eck, Pascal (2009) Multi-step Attack Modelling and Simulation (MsAMS) Framework Based on Mobile Ambients. In: Proceedings of the 2009 ACM symposium on Applied Computing (SAC 09). . pp. 66-73. ACM Press ISBN 978-1-60558-166-8. (doi:10.1145/1529282.1529294) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Sewell, Peter, Zappa Nardelli, Francesco, Owens, Scott, Peskine, Gilles, Ridge, Thomas, Sarkar, Susmit, Strniša, Rok (2007) Ott: Effective Tool Support for the Working Semanticist. In: ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. (doi:10.1145/1291151.1291155) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Owens, Scott, Flatt, Matthew (2006) From Structures and Functors to Modules and Units. In: ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming. (doi:10.1145/1159803.1159815) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED.
[img]
Preview
[img]
Preview

This list was generated on Thu Dec 12 00:59:08 2019 GMT.