Computer Science

2014

Deploying Healthcare Technology “in the wild”: Experiences from Deploying a Mobile Health Technology for Bipolar Disorder Treatment

Frost, M. & Houben, S., dec. 2014, Fieldwork for Healthcare: Case studies investigating human factors in computing systems: Fieldwork for Healthcare: Case studies investigating human factors in computing systems. Morgan and Claypool publishers, 8 s. (Disability and Rehabilitation: Assistive Technology, Bind 5).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Formidling

Designing Personal Health Technologies

Frost, M., 2014, IT-Universitetet i København. 168 s.

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang

Fil

Does distance still matter? Revisiting the CSCW fundamentals on distributed collaboration

Bjørn, P., Esbensen, M., Jensen, R. E. & Matthiesen, S., 2014, I: A C M Transactions on Computer - Human Interaction. 21, 5, s. 1-27 27 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Domain-Specific Languages for Enterprise Systems

Andersen, J., Bahr, P., Henglein, F. & Hvitved, T., 1 okt. 2014, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Margaria, T. & Steffen, B. (red.). Springer Berlin Heidelberg, Bind 8802. s. 73-95 23 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Wang, W. & Hildebrandt, T., 2014, I: Lecture Notes in Computer Science. 8379, s. 127-146 20 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Efficient estimation for high similarities using odd sketches

Mitzenmacher, M., Pagh, R. & Pham, N. D., 2014, Proceedings of the 23rd international conference on World wide web: WWW '14. Association for Computing Machinery, s. 109-118 10 s.

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

Efficient Representation for Online Suffix Tree Construction

Larsson, N. J., Fuglsang, K. & Karlsson, K., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014. Gudmundsson, J. & Katajainen, J. (red.). Springer, s. 400-411 12 s. (Lecture Notes in Computer Science, Bind 8504).

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

Efficient synthesis of feature models

She, S., Ryssel, U., Andersen, N., Wasowski, A. & Czarnecki, K., 2014, I: Information and Software Technology. 56, 9, s. 1122-1143

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Emergent Interfaces for Feature Modularization

Ribeiro, M., Borba, P. & Brabrand, C., nov. 2014, Springer. 84 s.

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

Ensuring Secure Non-interference of Programs by Game Semantics

Dimovski, A., 15 sep. 2014. 16 s.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Åben adgang

Fil

Equality and fixpoints in the calculus of structures

Chaudhuri, K. & Guenot, N., 12 sep. 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (red.). Association for Computing Machinery, s. 30-40 10 s. (Annual Symposium on Logic in Computer Science).

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

Evaluating Musical Foreshadowing of Videogame Narrative Experiences

Scirea, M., Cheong, Y.-G., Nelson, M. & Bae, B. C., 2014, Proceedings of the 9th Audio Mostly: A Conference on Interaction With Sound: AM '14. Association for Computing Machinery, 8 s.

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

Fil

Exponential Time Complexity of the Permanent and the Tutte Polynomial

Dell, H., Husfeldt, T., Marx, D., Taslaman, N. S. & Wahlén, M., 2014, I: A C M Transactions on Algorithms. 10, 4, s. 21:1-21:32 32 s., 21.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Fault-tolerant gait learning and morphology optimization of a polymorphic walking robot

Christensen, D. J., Schultz, U. P. & Støy, K., 2014, I: Evolving Systems. 5, 1, s. 21 32 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

From Virtual Creatures to Feasible Robots

Faina, A., Souto, D., Orjales, F., Bellas, F. & Duro, R., 16 jul. 2014. 2 s.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning

Fil

Fuzzy-Set Based Sentiment Analysis of Big Social Data

Mukkamala, R. R., Hussain, A. & Vatrapu, R., 1 sep. 2014, I: International Enterprise Distributed Object Computing Conference. Proceedings. s. 71-80

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang

Fil

Gaze Interactive Building Instructions

Hansen, J. P., Ahmed, Z. & Mardanbeigi, D., 18 jun. 2014. 2 s.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Generating k-independent variables in constant time

Christiani, T. L. & Pagh, R., 2014, Foundations of Computer Science (FOCS), 2014 IEEE 55th Annual Symposium on. IEEE, s. 196-205

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

Global Software Development in a CSCW perspective

Bjørn, P., Bardram, J., Avram, G., Bannon, L., Boden, A., Redmiles, D., De Souza, C. & Wulf, V., 2014, Association for Computing Machinery.

Publikation: Andet › Andet bidrag › Forskning

Guided Self-organization in Indirectly Encoded and Evolving Topographic Maps

Risi, S. & Stanley, K. O., 2014, Proceedings of the 2014 Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, s. 713-720 8 s.

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

Head and eye movement as pointing modalities for eyewear computers

Jalaliniya, S., Mardanbeigi, D., Pederson, T. & Hansen, D. W., 19 jun. 2014, Proceedings of the 2014 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops. IEEE Computer Society Press, 4 s.

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

Head mounted device for point-of-gaze estimation in three dimensions

Hansen, D. W., Lidegaard, M. & Krüger, N., 1 maj 2014, ETRA '14 Proceedings of the Symposium on Eye Tracking Research and Applications . Association for Computing Machinery, 4 s.

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

HEALTHCARE INTERVENTION STUDIES ‘IN THE WILD’

Frost, M., Morrison, C., Wolstenholme, D. & Dearden, A., dec. 2014, Fieldwork for Healthcare: Guidance for Investigating Human Factors in Computing Systems: Synthesis Lectures on Assistive, Rehabilitative, and Health-Preserving Technologies. Morgan and Claypool publishers, Bind 2.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Formidling

Hierarchical Declarative Modelling with Refinement and Sub-processes

Debois, S., Hildebrandt, T. & Slaats, T., 2014, I: Lecture Notes in Computer Science. 8659, s. 18--33 16 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

How Social Software Supports Cooperative Practices in a Globally Distributed Software Project

Giuffrida, R. & Dittrich, Y., 2014, Proceedings of the 7th International Workshop on Cooperative and Human Aspects of Software Engineering. Association for Computing Machinery, s. 24-31 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Human-Centered Design in Industry: Lessons from the Trenches

Ardito, C., Buono, P., Caivano, D., Costabile, M. F., Lanzilotti, R. & Dittrich, Y., dec. 2014, I: Computer. 47, 12, s. 86-89 4 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Hybrid Extensions in a Logical Framework

Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

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

HyPR Device: Mobile Support for Hybrid Patient Records

Houben, S., Frost, M. & Bardram, J. E., 2014, ITS '14 Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, s. 249-258 10 s.

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

I/O Speculation for the Microsecond Era

Wei, M. Y. C., Bjørling, M., Bonnet, P. & Swanson, S., 2014, 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014.. USENIX - The Advanced Computing Systems Association, s. 475-481 7 s.

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

Åben adgang

Indexed Geometric Jumbled Pattern Matching

Durocher, S., Fraser, R., Gagie, T., Mondal, D., Skala, M. & Thankachan, S., 2014, I: Lecture Notes in Computer Science. 8486, s. 110-119 10 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Information Leakage of Non-Terminating Processes

Biondi, F., Legay, A., Nielsen, B. F., Malacaria, P. & Wasowski, A., 2014, I: Leibniz International Proceedings in Informatics. 29, s. 517-529

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Infrastructuring, Collaboration and Evolving Socio-material Practices of Changing Our World

Bossen, C., Ehn, P., Karasti, H., Di Salvo, C., Clement, A., Pipek, V. & Dittrich, Y., 2014, Proceedings of the 13th Participatory Design Conference: Short Papers, Industry Cases, Workshop Descriptions, Doctoral Consortium Papers, and Keynote Abstracts - Volume 2. Association for Computing Machinery, s. 221-222 2 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Integer Set Compression and Statistical Modeling

Larsson, N. J., 2014

Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning

Is Min-Wise Hashing Optimal for Summarizing Set Intersection?

Pagh, R., Stöckel, M. & Woodruff, D., 2014, Proceedings of the 2014 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, s. 109-120

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

Knowledge Sharing for Common Understanding of Technical Specifications Through Artifactual Culture

Zahedi, M. & Babar, M. A., 13 maj 2014, Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering: EASE '14. Shepperd, M., Hall, T. & Myrtveit, I. (red.). Association for Computing Machinery, 10 s. 11. (Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering).

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

Laevo: A Temporal Desktop Interface for Integrated Knowledge Work

Jeuris, S., Houben, S. & Bardram, J., 2014, I: UIST: User Interface Software and Technology. s. 679-688 10 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Language-Independent Traceability with Lässig

Pfeiffer, R.-H., Reimann, J. & Wasowski, A., 2014, I: Lecture Notes in Computer Science. 8569, s. 148-163

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Learning Diagnostic Diagrams in Transport-Based Data-Collection Systems

Tran, V. T., Eklund, P. & Cook, C., 2014, Foundations of Intelligent Systems - 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Springer, Bind 8502. s. 560-566 7 s. (Lecture Notes in Computer Science, Bind 8502).

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

Learning through Situated Innovation: Why the specific is crucial for Participatory Design Research

Dittrich, Y., Eriksén, S. & Wessels, B., 30 jun. 2014, I: Scandinavian Journal of Information Systems. 26, 1, s. 29-56

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Linear-Space Data Structures for Range Frequency Queries on Arrays and Trees

Durocher, S., Shah, R., Skala, M. & Thankachan, S. V., okt. 2014, I: Algorithmica.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Linear-Space Data Structures for Range Minority Query in Arrays

Chan, T. M., Durocher, S., Skala, M. & Wilkinson, B. T., 2014, I: Algorithmica. 72, 4, s. 901-913

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Linear usage of state

Møgelberg, R. E. & Staton, S., 25 mar. 2014, I: Logical Methods in Computer Science. 10, 1

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Listing Triangles

Björklund, A., Pagh, R., Vassilevska Williams, V. & Zwick, U., 2014, Automata, Languages, and Programming, 41st International Colloquium, ICALP 2014. Springer, s. 223-234

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

MapReduce Triangle Enumeration With Guarantees

Park, H.-M., Silvestri, F., Kang, U. & Pagh, R., 2014, CIKM '14 Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management . Association for Computing Machinery, s. 1739-1748

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

Maximizing Entropy over Markov Processes

Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, I: Journal of Logic and Algebraic Programming. 83, 5-6, s. 384-399 12 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

Method of Determining Reflections of Light

Hansen, D. W. (Opfinder), 1 feb. 2014, IPC nr. G06F3/01, Prioritetsdato 29 okt. 2010, Prioritetsnr. WO2010EP66495 20101029

Publikation: Patent

Mode Checking in the Concurrent Logical Framework

Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Mood Expression in Real-Time Computer Generated Music using Pure Data

Scirea, M., Nelson, M., Cheong, Y.-G. & Bae, B. C., aug. 2014, Proceedings of the ICMPC-APSCOM 2014 Joint Conference. College of Music, Yonsei University, s. 263-267 5 s.

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

Fil

Most Recent Match Queries in On-Line Suffix Trees

Larsson, N. J., 2014, I: Lecture Notes in Computer Science. 8486, s. 252-261 10 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

On Survival

Beloff, L., 2014, I: Powision: Homo Futura. VIII, 15, s. 50 2 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Computer Science

Publikation

Søgeresultater