IT-Universitetet i København

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2016

    Automatic Evolution of Multimodal Behavior with Multi-Brain HyperNEAT

    Schrum, J., Lehman, J. & Risi, S., 2016, Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York, NY, USA: Association for Computing Machinery, s. 21-22 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Beyond the Spreadsheet: Reflections on Tool Support for Literature Studies

    Tell, P., Cholewa, J. B., Nellemann, P. & Kuhrmann, M., 1 jun. 2016, EASE '16 Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. Association for Computing Machinery, 22

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Bit-Vector Search Filtering with Application to a Kanji Dictionary

    Skala, M., 2016, Similarity Search and Applications: 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016. Springer, s. 138-150 (Lecture Notes in Computer Science, Bind 9939).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Blockchain – The Gateway to Trust-Free Cryptographic Transactions

    Beck, R., Stenum Czepluch, J., Lollike, N. & Malone, S., 2016, Twenty-Fourth European Conference on Information Systems (ECIS), İstanbul,Turkey, 2016. Springer, s. 1-14 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Breeding a Diversity of Super Mario Behaviors Through Interactive Evolution

    Sørensen, P. D., Olsen, J. M. & Risi, S., 2016, Proceedings of the 2016 IEEE Conference on Computational Intelligence and Games. IEEE, s. 357-363

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Challenges of building and sustaining living labs for designing services and products

    Subasi, Ö., Werner, K., Fitzpatrick, G. & Malmborg, L., 2016, Proceedings of the COOP 2016: Symposium on challenges and experiences in designing for an ageing society. Springer, s. 85-92 8 s. (International Reports on Socio-Informatics (IRSI); Nr. 3, Bind 13).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Challenges to Deploy Service Design in Organizations: Analysis through “Scaling Up” Workshops

    Akasaka, F., Ohno, T. & Jensen, M. Y., 2016, Serviceology for Smart Service System: Selected papers of the 3rd International Conference of Serviceology. Springer, s. 89-98

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Chaos Generation Managed Through Design Thinking: a Task Model for the Design Professional

    Knudsen, C. & Møllenbach, E., maj 2016, Service Design Geographies: Proceedings of the ServDes.2016 Conference. Linköping University Press, s. 27-39 12 s. 003

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Communication, Coordination and Awareness around Continuous Location Sharing

    Schildt, E., Leinfors, M. & Barkhuus, L., 14 nov. 2016, GROUP '16 Proceedings of the 19th International Conference on Supporting Group Work. Association for Computing Machinery, s. 257-265

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Concepts, Operations, and Feasibility of a Projection-Based Variation Control System

    Stanciulescu, S., Berger, T., Walkingshaw, E. & Wasowski, A., 5 okt. 2016, Proceedings of 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Convivial Decay: Entangled Lifetimes in a Geriatric Infrastructure

    Cohn, M., 27 feb. 2016, Proceedings of ACM Conference on Computer Supported Collaborative Work & Social Computing: CSCW '16. Association for Computing Machinery, s. 1511-1523

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 apr. 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 316-331 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Counting Zeros in Random Walks on the Integers and Analysis of Optimal Dual-Pivot Quicksort

    Aumüller, M., Dietzfelbinger, M., Heuberger, C., Krenn, D. & Prodinger, H., 4 jul. 2016, Proceedings of the 27th Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms. Jagiellonian University in Krakow, 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Creative Generation of 3D Objects with Deep Learning and Innovation Engines

    Lehman, J. A., Risi, S. & Clune, J., 30 jun. 2016, Proceedings of the Seventh International Conference on Computational Creativity: ICCC 2016. Sony CSL Paris, s. 180-187

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Denotational semantics of recursive types in synthetic guarded domain theory

    Møgelberg, R. E. & Paviotti, M., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, s. 317-326 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Deriving Consistent GSM Schemas from DCR Graphs

    Eshuis, R., Debois, S., Slaats, T. & Hildebrandt, T., 2016, International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer, s. 467–482 (Lecture Notes in Computer Science, Bind 9936).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Designing Context-aware Cognitive Behavioral Therapy for Unipolar and Bipolar Disorders

    Bardram, J. E., Frost, M., Tuxen, N., Faurholt-Jepsen, M. & Kessing, L. V., 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct: UbiComp '16. New York, NY, USA: Association for Computing Machinery, s. 1162-1170 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Disaster management and social media use for decision making by humanitarian organizations

    Mukkamala, A. M. & Beck, R., 2016, Proceedings of the 49th Hawaii International Conference on System Sciences (HICSS 2016); Kauai, Hawaii, USA. IEEE, s. 1379 - 1385 (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Enhancing Disaster Management Through Social Media Analytics To Develop Situation Awareness: What Can Be Learned From Twitter Messages About Hurricane Sandy?

    Mukkamala, A. M. & Beck, R., jun. 2016, PACIS 2016 Proceedings. Chiayi, Taiwan: AIS Electronic Library (AISeL), Bind 165. 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • EvoBot: An Open-Source, Modular Liquid Handling Robot for Nurturing Microbial Fuel Cells

    Faina, A., Nejatimoharrami, F., Støy, K., Theodosiou, P., Taylor, B. & Ieropoulos, I., jul. 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, s. 626-633 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Evolvability Search: Directly Selecting for Evolvability in order to Study and Produce It

    Mengistu, H., Lehman, J. A. & Clune, J., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016: GECCO '16. Association for Computing Machinery, s. 141-148

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Evolving Neural Turing Machines for Reward-based Learning

    Greve, R. B., Jacobsen, E. J., Risi, S. & Greve, R. B., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016. New York, NY, USA: Association for Computing Machinery, s. 117-124 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Exploring the Effects of Contest Mechanisms on Idea Shortlisting in an Open Idea Competition

    Merz, A. B., Seeber, I., Maier, R., Richter, A., Schimpf, R. & Füller, J., 2016, Proceedings International Conference on Information Systems (ICIS 2016). AIS Electronic Library

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Extensible and Efficient Automation Through Reflective Tactics

    Malecha, G. & Bengtson, J., 22 mar. 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Springer, s. 532-559 28 s. (Lecture Notes in Computer Science, Bind 9632).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • EyeGrip: Detecting Targets in a Series of Uni-directional Moving Objects Using Optokinetic Nystagmus Eye Movements

    Jalaliniya, S. & Mardanbeigi, D., 11 maj 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 5801-5811 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • FeltRadio: Sensing and Making Sense of Wireless Traffic

    Gronvall, E., Fritsch, J. & Vallgårda, A., 4 jun. 2016, Proceedings of the 2016 ACM Conference on Designing Interactive Systems: DIS '16. Association for Computing Machinery, s. 829-840

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • FeltRadio – Experiencing Community-generated WiFi Activities

    Fritsch, J. & Gronvall, E., 23 maj 2016, COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. Springer, s. 315-321 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Finding Suitable Variability Abstractions for Family-Based Analysis

    Dimovski, A., Brabrand, C. & Wasowski, A., 8 nov. 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (red.). Limassol, Cyprus, November 9-11, 2016: Springer, s. 217-234 17 s. (Lecture Notes in Computer Science, Bind 9995).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Generating Artificial Plant Morphologies for Function and Aesthetics through Evolving L-Systems

    Veenstra, F., Faina, A., Støy, K. & Risi, S., 4 jul. 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, s. 692-699 8 s. 130

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Guarded Dependent Type Theory with Coinductive Types

    Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L., 2016, Foundations of Software Science and Computation Structure: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 9634).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • How Does Software Process Improvement Address Global Software Engineering?

    Kuhrmann, M., Diebold, P., Münch, J. & Tell, P., aug. 2016, Global Software Engineering (ICGSE), 2016 IEEE 11th International Conference on. IEEE, s. 89-98

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • How Does the Degree of Variability Affect Bug-Finding?

    Melo, J., Brabrand, C. & Wasowski, A., 14 maj 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. Association for Computing Machinery, s. 679-690 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • How participation is practiced? –Extension of Participatory Design Model

    Jensen, M. Y. & Kamihira, T., 24 maj 2016, Service Design Geographies. Proceedings of the ServDes2016 Conference. Linköping University Press, s. 279-291 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Human Factors in Software Development Processes: Measuring System Quality

    Abrahão, S., Baldassarre, M. T., Caivano, D., Dittrich, Y., Lanzilotti, R. & Piccinno, A., 2016, Product-Focused Software Process Improvement - 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, : Proceedings. Springer, s. 691-696 6 s. (Lecture Notes in Computer Science, Bind 10027).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Images of protest in contested social media: Production, propagation, and narratives

    Neumayer, C., Rossi, L. & Vulpuis, J., 2016, AoIR Selected Paper of Internet Research 2016: The 17th Annual Conference of the Association of Internet Researchers. Berlin, Bind 6.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Interactive Super Mario Bros Evolution

    Sørensen, P. D., Olsen, J. M. & Risi, S., 2016, Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York, NY, USA: Association for Computing Machinery, s. 41-42 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Intrinsic Evaluations of Word Embeddings: What Can We Do Better?

    Gladkova, A. & Drozd, A., 2016, Proceedings of The 1st Workshop on Evaluating Vector Space Representations for NLP. Berlin, Germany, August 12, 2016: Association for Computational Linguistics, s. 36-42 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Learning Behavior Characterizations for Novelty Search

    Meyerson, E., Lehman, J. A. & Miikulainen, R., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016: GECCO '16. Association for Computing Machinery, s. 149-156

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Leveraging Physical Locality to Integrate Smart Appliances in Non-Residential Buildings with Ultrasound and Bluetooth Low Energy

    Fürst, J., Chen, K., Al-Jarrah, M. & Bonnet, P., 2016, First IEEE International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, Berlin, Germany, April 4-8, 2016. IEEE, s. 199-210 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Locality-sensitive Hashing without False Negatives

    Pagh, R., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, s. 1-9

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Material Programming: a Design Practice for Computational Composites

    Vallgårda, A., Boer, L., Tsaknaki, V. & Svanæs, D., 23 okt. 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction (NordiCHI '16). New York, USA: Association for Computing Machinery, 10 s. 46

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Material Programming: A New Interaction Design Practice

    Vallgårda, A., Boer, L., Tsaknaki, V. & Svanæs, D., 4 jun. 2016, Proceedings of the 2016 ACM Conference Companion Publication on Designing Interactive Systems: DIS '16 Companion. Association for Computing Machinery, s. 149-152

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE, s. 57-65 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • MetaCompose: A Compositional Evolutionary Music Composer

    Scirea, M., Togelius, J., Eklund, P. & Risi, S., apr. 2016, Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings. Springer, s. 202-217 (Lecture Notes in Computer Science, Bind 9596).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Migration of a sharing platform from Copenhagen to Aarhus: a live exploration of how social innovations may travel

    Messeter, J., Gronvall, E., Malmborg, L., Fitzpatrick, G., Subasi, Ö., Brandt, E., Sønderlev Christensen, M. & Raben, T., 15 aug. 2016, PDC '16 Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops: Volume 2. Association for Computing Machinery, s. 107-108 2 s. (Proceedings of the Participatory Design Conference).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Negotiation of values as driver in community-based PD

    Gronvall, E., Malmborg, L. & Messeter, J., 15 aug. 2016, PDC '16 Proceedings of the 14th Participatory Design Conference: Full papers - Volume 1. Association for Computing Machinery, s. 41-50 10 s. (Proceedings of the Participatory Design Conference).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Online evolution for multi-action adversarial games

    Justesen, N. O., Mahlmann, T. & Togelius, J., 15 mar. 2016, Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016 Porto, Portugal, March 30 – April 1, 2016 Proceedings, Part I. Springer, s. 590-603 (Lecture Notes in Computer Science, Bind 9597).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • On the Complexity of Inner Product Similarity Join

    Ahle, T. D., Pagh, R., Razenshteyn, I. & Silvestri, F., 2016, PODS '16 Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, s. 151-164

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Ontological Surprises: A Relational Perspective on Machine Learning

    Leahu, L., 2016, Proceedings of the 2016 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, s. 182-186 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Orthogonally Evolved AI to Improve Difficulty Adjustment in Video Games

    Hintze, A., Olson, R. & Lehman, J. A., 30 mar. 2016, Proceedings of the European Conference on the Applications of Evolutionary Computation: Applications of Evolutionary Computation - 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I. Springer, s. 525-540 (Lecture Notes in Computer Science, Bind 9597).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil