Søgeresultater

  • 2016

    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 kapitelKonferencebidrag i proceedingsForskningpeer review

  • How Good Is Multi-Pivot Quicksort?

    Aumüller, M., Dietzfelbinger, M. & Klaue, P., 1 nov. 2016, I: ACM Transactions on Algorithms. 13, 1, 8.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer review

  • In the Nick of Time: Proactive Prevention of Obligation Violations

    Basin, D., Debois, S. & Hildebrandt, T., 11 aug. 2016, I: I E E E Computer Security Foundations Symposium. Proceedings. s. 120-134 15 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Java Precisely: Third edition

    Sestoft, P., 2016, Third udg. MIT Press. 199 s.

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingBogForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 Press, s. 199-210 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer review

  • Luonto ei ole enää entisensä: taidetta biologian ja teknologian leikkauspisteessä

    Beloff, L., 15 dec. 2016, I: Taide-lehti. 16, 6, s. 24-28 5 s., 0039-8977.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelFormidling

  • Measuring Voter Lines

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 Publishing Company, s. 202-217 (Lecture Notes in Computer Science, Bind 9596).

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

    Åben adgang
    Fil
  • Mobile health systems for bipolar disorder: the relevance of non-functional requirements in MONARCA project

    Mayora, O., Frost, M., Arnrich, B., Gravenhorst, F., Grunerbl, A., Muaremi, A., Osmani, V., Puiatti, A., Reichwaldt, N. & Scharnweber, C., 2016, E-Health and Telemedicine: Concepts, Methodologies, Tools, and Applications. IGI global, s. 1395-1405 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

  • Multiparty Asynchronous Session Types

    Honda, K., Yoshida, N. & Carbone, M., 2016, I: Journal of the ACM. 63, 1, s. 1 67 s., 9.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Network-Oblivious Algorithms

    Bilardi, G., Pietracaprina, A., Pucci, G., Scquizzato, M. & Silvestri, F., mar. 2016, I: Journal of the ACM. 63, 1, 36 s., 3.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer 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 Publishing Company, s. 590-603 (Lecture Notes in Computer Science, Bind 9597).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • On the playful use of digital media

    Cermak, D., 2016, I: Games of the South.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelRådgivning

  • 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 kapitelKonferencebidrag i proceedingsForskningpeer review

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

    Koolen, M., Bogers, T., Gäde, M., Hall, M., Hendrickx, I., Huurdemann, H., Jaap, K., Skov, M., Verberne, S. & Walsh, D., 2016, Experimental IR Meets Multilinguality, Multimodality, and Interaction. Fuhr, N. (red.). Germany: Springer VS, s. 351-370 20 s. (Lecture Notes in Computer Science).

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

    Åben adgang
    Fil
  • Participatory Infrastructuring of Community Energy

    Capaccioli, A., Poderi, G., Bettega, M. & D'Andrea, V., 2016, I: PDC '16. 2, s. 9-12 4 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Poster Abstract: A Practical Model for Human-Smart Appliances Interaction

    Fürst, J., Fruergaard, A., Johannesen, M. H. & Bonnet, P., 2016, Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys@SenSys 2016, Palo Alto, CA, USA, November 16-17, 2016. Association for Computing Machinery, s. 235-236 2 s.

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

  • Preserving medical correctness, readability and consistency in de-identified health records

    Pantazos, K., Lauesen, S. & Lippert, S., 1 jan. 2016, I: Health Informatics Journal. s. 1-13 13 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 jan. 2016, I: Journal of Automated Reasoning. 56, 1, s. 1-47 1 s., 1.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Pupil Center as a Function of Pupil Diameter

    Ahmed, Z., Mardanbegi, D. & Hansen, D. W., 14 mar. 2016, ETRA '16 Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications. Association for Computing Machinery, s. 283-286 4 s.

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

    Åben adgang
    Fil
  • Qualitative Study of Surgeons Using a Wearable Personal Assistant in Surgeries and Ward Rounds

    Jalaliniya, S. & Pederson, T., 2016, eHealth 360°. International Summit on eHealth, Budapest, Hungary, June 14-16, 2016, Revised Selected Papers. Springer, s. 208-219 12 s. ( Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 181).

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

    Åben adgang
    Fil
  • Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 s.

    Publikation: AndetAndet bidragForskning

    Åben adgang
    Fil
  • ReRide: Performing Lower Back Rehabilitation While Riding Your Motorbike in Traffic

    Bagalkot, N., Sokoler, T. & Baadkar, S., 16 jun. 2016, PervasiveHealth '16 Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare. Association for Computing Machinery, s. 77-80

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

  • Robotic Automation to Augment Quality of Artificial Chemical Life Experiments

    Nejatimoharrami, F., Faina, A. & Støy, K., jul. 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, s. 634-635 (Complex Adaptive Systems).

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

    Åben adgang
  • Scalability and Total Recall with Fast CoveringLSH

    Pham, N. D. & Pagh, R., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management: CIKM '16. Association for Computing Machinery, s. 1109-1118

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

    Åben adgang
    Fil
  • Scalable Performance of FCbO Algorithm on Museum Data

    Wray, T., Outrata, J. & Eklund, P., 15 jul. 2016, I: CEUR Workshop Proceedings. 1624, s. 363-376 14 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Screamy Bird

    Tarby, S. & Cermak, D., 14 okt. 2016

    Publikation: AndetAndet bidragForskning

  • Seamless interaction with scrolling contents on eyewear computers using optokinetic nystagmus eye movements

    Jalaliniya, S. & Mardanbegi, D., 8 mar. 2016, ETRA '16 Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications. Association for Computing Machinery, s. 295-298 4 s.

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

  • Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 aug. 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, s. 502-509 8 s.

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

  • Smartphone based treatment in bipolar disorder

    Faurholt-Jepsen, M., Frost, M., Bardram, J. E. & Kessing, L. V., mar. 2016, s. S32 - S33.

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftKonferenceabstrakt til konferenceForskning

    Åben adgang
  • Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

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

    Åben adgang
  • Symbolic Game Semantics for Model Checking Program Families

    Dimovski, A., 8 apr. 2016, Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Bosnacki, D. & Wijs, A. (red.). Lecture Notes in Computer Science udg. Springer VS, Bind 9641. s. 19-37 19 s. (Lecture Notes in Computer Science, Bind 9641).

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

    Åben adgang
    Fil
  • SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., sep. 2016, 24 s. (ITU Technical Report Series; Nr. TR-2016-196).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

    Fil
  • The Condition

    Beloff, L. (Producent) & Jørgensen, J. (Producent), 19 maj 2016

    Publikation: Bidrag der ikke har en tekstform2D/3D (Fysisk produkt)Forskning

  • The Condition: Towards Hybrid Agency

    Beloff, L. & Jørgensen, J., 2016, ISEA 2016 Hong Kong CULTURAL R>EVOLUTION: Proceedings of the 22nd International Symposium on Electronic Art. School of Creative Media, City University of Hong Kong, s. 14-19 6 s. (ISEA 2016 Proceedings).

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

  • The Fly Printer - Extended

    Beloff, L. & Klaus, M., maj 2016.

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftKonferenceabstrakt til konferenceForskningpeer review

  • The Role of Ethnographic Studies in Empirical Software Engineering

    Sharp, H., Dittrich, Y. & Souza, C. R. B. D., 2016, I: I E E E Transactions on Software Engineering. 42, 8, s. 786-804 19 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Timeability in Extensive-Form Games

    Jakobsen, S. K., Sørensen, T. B. & Conitzer, V., 2016, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Sudan, M. (red.). 7 udg. Association for Computing Machinery, s. 191-199 9 s.

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

    Åben adgang
  • Towards Adaptive Evolutionary Architecture

    Bak, S. H., Rask, N. & Risi, S., 2016, Proceedings of the 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design - Volume 9596. New York, NY, USA: Springer Publishing Company, s. 47-62 16 s. (Lecture Notes in Informatics, Bind 9596).

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

    Åben adgang
    Fil
  • Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

    Iosif-Lazăr, A. F. & Wasowski, A., 24 nov. 2016, I: The Journal of Logic and Algebraic Programming. 85, 6, s. 1154–1176 23 s., 85.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Fil
  • Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 feb. 2016, I: Logical Methods in Computer Science. 12, 1, s. 1-38 38 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • Usability challenges in an Ethiopian software development organization

    Teka, D., Dittrich, Y. & Kifle, M., 2016, Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2016, Austin, Texas, USA, May 16, 2016. Association for Computing Machinery, s. 114-120 7 s.

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

    Åben adgang
    Fil
  • Using Fourier-Motzkin Elimination to Produce Efficient Cargomix Models for Revenue Management

    Ajspur, M. L. & Jensen, R. M., 2016.

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftKonferenceabstrakt til konferenceForskningpeer review

  • Using Fourier-Motzkin Elimination to Produce Efficient Cargomix Models for Revenue Management

    Ajspur, M. L. & Jensen, R. M., 2016.

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftKonferenceabstrakt til konferenceForskningpeer review