IT-Universitetet i København

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2015

    Modeling Routinization in Games: An Information Theory Approach

    Wallner, S., Pichlmair, M., Hecher, M. & Wimmer, M., 2015, Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play: CHI PLAY '15. New York, NY, USA: Association for Computing Machinery, s. 727-732 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Monte-Carlo Tree Search for Simulated Car Racing

    Fischer, J., Falsted, N., Vielwerth, M., Togelius, J. & Risi, S., 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games (FDG 2015), June 22-25, 2015, Pacific Grove, CA, USA. Association for Computing Machinery, 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Morphologically intelligent underactuated robot for underwater hull cleaning

    Souto, D., Faina, A., López-Peña, F. & Duro, R., 2015, Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2015 . IEEE, Bind 2. s. 879 - 886

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 42. s. 412 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Novelty-driven Particle Swarm Optimization

    Galvao, D., Lehman, J. A. & Urbano, P., 2015, Artificial Evolution: 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers. Springer, s. 177-190 14 s. (Lecture Notes in Computer Science, Bind 9554).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Once Upon a Tablet: A School Toy in the Making

    Froes, I., 2015, Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being: 9th International Conference, UAHCI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III. Springer, Bind 9177. s. 43-53 11 s. (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Overview of the CLEF 2015 Social Book Search Lab

    Koolen, M., Bogers, T., Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Skov, M., Toms, E. & Walsh, D., 8 sep. 2015, Experimental IR Meets Multilinguality, Multimodality, and Interaction. Mothe, J., Savoy, J., Kamps, J., Pinel-Sauvagnat, K., Jones, G. J. F., SanJuan, E., Cappellato, L. & Ferro, N. (red.). Germany: Springer, s. 545-564 20 s. (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Participatory Republics: Play and the Political

    Sicart, M. A., 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games (FDG 2015), June 22-25, 2015, Pacific Grove, CA, USA.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Probabilistic Bisimulation for Realistic Schedulers

    Eisentraut, C., Godskesen, J. C., Hermanns, H., Song, L. & Zhang, L., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Bind 9109. s. 248-264 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Projecting the Future for Design Science Research: An Action‐Case Based Analysis

    Baskerville, R. & Pries-Heje, J., 2015, New Horizons in Design Science: Broadening the Research Agenda: 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings. Springer, (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Quicksort, Largest Bucket, and Min-Wise Hashing with Limited Independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms – ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14–16, 2015, Proceedings. Springer, Bind 9294. s. 828-839 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Really Eating Together: A Kinetic Table To Synchronise Social Dining Experiences

    Mitchell, R., Papadimitriou, A., You, Y. & Boer, L., 2015, AH '15: Proceedings of the 6th Augmented Human International Conference. Association for Computing Machinery, s. 173-174

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Shifting Borderland of Technoscience: Tracing Trajectories of Critical Practice

    Lindtner, S., Cohn, M., Leahu, L., Holmer, H. & Di Salvo, C., 2015, Critical Alternatives: Proceedings of The Fifth Decennial Aarhus Conference 17- 21 August 2015, Aarhus, Denmark. Association for Computing Machinery, Bind II. s. 1-4

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • SMUG: Scientific Music Generator

    Scirea, M., A B Barros, G., Togelius, J. & Shaker, N., jun. 2015, Proceedings of the Sixth International Conference on Computational Creativity June 2015. Utah State University Press, s. 204-211

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Soft-Body Muscles for Evolved Virtual Creatures: The Next Step on a Bio-Mimetic Path to Meaningful Morphological Complexity

    Lessin, D. & Risi, S., 2015, Proceedings of the European Conference on Artificial Life (ECAL) 2015. MIT Press, s. 604–611

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Software Tools and Practices

    Dittrich, Y., 2015, Human-Centric Development of Software Tools: Dagstuhl Seminar 15222. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 5. s. 123-124 3 s. (Dagstuhl Seminar Proceedings).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Teaching Software Developers to Perform UX Tasks

    Pedersen, T. Ø., Bornø, N. A., Larsen, L. B. & Stage, J., 2015, Proceedings of the 2015 OzCHI conference. Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Analysis of a Real Life Declarative Process

    Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE, s. 1374 - 1382

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The dBoard: a Digital Scrum Board for Distributed Software Development

    Esbensen, M., Tell, P., Cholewa, J. B., Pedersen, M. K. & Bardram, J., 2015, The ACM International Conference on Interactive Tabletops and Surfaces (ITS’15). Association for Computing Machinery, s. 161-170 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Digital Outcasts - Advanced Margins in Digital Societies

    Hjelholt, M., 2015, Proceedings of the 13th International Conference e-Society 2015. Kommers, P. & Isaias, P. (red.). International Association for Development, IADIS, s. 239-243

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Faces of Bureaucracy: Understanding Enterprise Social Media

    Mansour, O. & Ghazawneh, A., 2015, MCIS 2015 Proceedings. AIS Electronic Library (AISeL), 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • The Input/Output Complexity of Sparse Matrix Multiplication

    Stöckel, M. & Pagh, R., 2015, Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings. Springer, Bind 8737. s. 750-761 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • The Misfits in Knowledge Work: Grasping the Essence with the Lens of the IT Knowledge Artefact

    Fischer, L. H. & Pries-Heje, L., nov. 2015, IC3K 2015: Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Fred, A., Dietz, J., Aveiro, D., Liu, K. & Felipe, J. (red.). Lisbon - Portugal: SCITEPRESS Digital Library, Bind 3. s. 436-443 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems

    Björklund, A., Dell, H. & Husfeldt, T., 2015, Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015, (6-10 July 2015, Kyoto, Japan). Springer, s. 231-242 12 s. (Lecture Notes in Computer Science, Bind 9134).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • The Prevalence of UX Design in Agile Development Processes in Industry

    Pedersen, T. Ø., 2015, Proceedings from the 2015 Agile Conference. IEEE

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Toilet Companion: A toilet brush that should be there for you and not for others

    Boer, L., Hansen, N., Möller, R.-L., Neto, A., Holm Nielsen, A. & Mitchell, R., 2015, AH '15: Proceedings of the 6th Augmented Human International Conference. Association for Computing Machinery, s. 151-154

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Word Game: The ontology of an undefinable object

    Aarseth, E. J. & Calleja, G., 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games (FDG 2015). Society for the Advancement of the Science of Digital Games, 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Toward Real-time Multi-criteria Decision Making for Bus Service Reliability Optimisation

    Tran, V. T., Eklund, P. & Cook, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. LNCS udg. Heidelberg, Germany: Springer, Bind 9384. s. 371-378 8 s. (Lecture Notes in Computer Science, Bind 9384).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Towards generating arcade game rules with VGDL

    Nielsen, T., A B Barros, G., Togelius, J. & Nelson, M., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). IEEE, s. 185 - 192 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Turning Data into People: Player Perspectives on Game Addiction

    Nielsen, R. K. L., 23 okt. 2015, ITAG '15 Proceedings of the 2015 International Conference on Interactive Technologies and Games (iTAG). Washington: IEEE, s. 76-83 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • TwitterIDo: What if My Shopping Bag Could Tell My Friends I’m Out Shopping

    Nazzi, E. & Sokoler, T., 21 jul. 2015, ITAP: International Conference on Human Aspects of IT for the Aged Population: Human Aspects of IT for the Aged Population. Design for Everyday Life. Springer, s. 512-523 (Lecture Notes in Computer Science, Bind 9194).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Type Families with Class, Type Classes with Family

    Serrano, A., Hage, J. & Bahr, P., 1 sep. 2015, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, s. 129-140 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Un-Crafting: Exploring Tangible Practices for Deconstruction in Interactive System Design

    Murer, M., Vallgårda, A., Jacobsson, M. & Tscheligi, M., jan. 2015, Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction. New York: Association for Computing Machinery, s. 469-472 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Value Creation in Digital Application Marketplaces: A Developers’ Perspective

    Ghazawneh, A. & Mansour, O., 2015, ICIS 2015 PROCEEDINGS. AIS Electronic Library (AISeL), 17 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

    Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 247-270 23 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Vote Counting as Mathematical Proof

    Schürmann, C. & Pattinson, D., 1 dec. 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (red.). 2015 udg. Canberra: Springer, Bind LNAI 9457. s. 464-475 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Web-Based Modelling and Collaborative Simulation of Declarative Processes.

    Slaats, T., Marquard, M. & Shahzad, M., 31 aug. 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Bind 9253. s. 209-225 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Why Replacing Legacy Systems Is So Hard in Global Software Development: An Information Infrastructure Perspective

    Matthiesen, S. & Bjørn, P., 2015, CSCW '15 Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, s. 876-890 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • “It’s about Business not Politics”: Software Development between Palestinians and Israelis

    Boulus-Rødje, N., Bjørn, P. & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway: Part I. Springer, s. 43-61 21 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2014

    42 Variability Bugs in the Linux Kernel: A Qualitative Study

    Abal, I., Brabrand, C. & Wasowski, A., 2014, ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering . Association for Computing Machinery, s. 421-432 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE, s. 126-133 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • ActivitySpace: Managing Device Ecologies in an Activity-Centric Configuration Space

    Houben, S., Tell, P. & Bardram, J. E., 2014, ITS '13 The ACM International Conference on Interactive Tabletops and Surfacess and Surfaces (ITS’14). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Adapting Morphology to Multiple Tasks in Evolved Virtual Creatures

    Lessin, D., Fussell, D. & Miikkulainen, R., 2014, Proceedings of The Fourteenth International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14) 2014. MIT Press, s. 247-254

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Adaptive Architecture

    Bolbroe, C., 20 okt. 2014, Non-Refereed Proceedings of the 2nd Media Architecture Biennale Conference: World Cities.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskning

  • A Distributed Architecture for Sharing Ecological Data Sets with Access and Usage Control Guarantees

    Bonnet, P., Gonzalez, J. & Granados, J. A., 15 jul. 2014, Proceedings of the 7th International Congress on Environmental Modelling and Software. Ames, D. P., Quinn, N. W. T. & Rizzoli, A. E. (red.). 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Ajna: negotiating forms in the making of a musical cabinet

    Fernaeus, Y. & Vallgårda, A., 2014, Proceedings of the 2014 conference on Designing interactive systems (DIS'14). Association for Computing Machinery, 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • A Prototype using Territories and an Affordance Tree for Social Simulation Gameplay

    Geishauser, T., Cheong, Y.-G. & Nelson, M., 3 apr. 2014, Proceedings of the 9th International Conference on the Foundations of Digital Games: FDG 2014 Proceedings. Society for the Advancement of the Science of Digital Games, 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Architecture-driven Migration of Legacy Systems to Cloud-enabled Software

    Ahmad, A. & Babar, M. A., 2014, 1st Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon, co-located with WICSA 2014): Proceedings of the WICSA 2014. Association for Computing Machinery, 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A Reference Architecture for Providing Tools as a Service to Support Global Software Development

    Chauhan, A., apr. 2014, Proceedings of the WICSA 2014 Companion. Association for Computing Machinery, 16

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review