Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Thiel, S. K. (2018). Uncovering the influence of game components on creativity. I CHI PLAY 2018 - Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (s. 637-645). Association for Computing Machinery. https://doi.org/10.1145/3270316.3271515

Thiel, S. K. (2018). Gamifying creative potential: For better or worse? I M. Ciussi (red.), 12th European Conference on Game Based Learning, ECGBL 2018 (s. 915-919). Dechema e.V..

Thiel, S-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 393-396). Association for Computing Machinery.

Thiel, S-K., Falk Olesen, J., Halskov, K. & Larsen-Ledet, I. (2019). Group Dynamics in Gameful Collaborative Innovation Processes. I H. Nakanishi, H. Egi, I-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (red.), Collaboration Technologies and Social Computing (s. 222-231). Springer. https://doi.org/10.1007/978-3-030-28011-6_16

Thiel, S-K. & Lyle, P. J. (2019). Malleable Games - A Literature Review on Communities of Game Modders. I C and T 2019 - 9th International Conference on Communities and Technologies, Conference Proceedings (s. 198-209). Association for Computing Machinery. https://doi.org/10.1145/3328320.3328393

Thestrup, K. & Caprani, O. (2010). Det eksperimenterende fællesskab: børn og voksnes leg med medier og teknolog. Læring og Medier, Årgang 3(5), 1-39. artikel 11.

Theocharidis, K., Terrovitis, M., Skiadopoulos, S. & Karras, P. (2022). A Content Recommendation Policy for Gaining Subscribers. I SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (s. 2501-2506). Association for Computing Machinery. https://doi.org/10.1145/3477495.3531885

Thai Son, M., Assent, I. & Storgaard, M. (2016). AnyDBC: An efficient anytime density-based clustering algorithm for very large complex datasets. I KDD 2016 - Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (s. 1025-1034). Association for Computing Machinery. https://doi.org/10.1145/2939672.2939750

Thai Son, M., Assent, I. & Le, A. T. (2016). Anytime OPTICS: An efficient approach for hierarchical density-based clustering. I S. B. Navathe, W. Wu, S. Shekhar, X. Du, X. Sean Wang & H. Xiong (red.), Database Systems for Advanced Applications - 21st International Conference, DASFAA 2016, Proceedings (Bind 9642, s. 164-179). Springer VS. https://doi.org/10.1007/978-3-319-32025-0_11

Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P., Assent, I. & Viet Hung Nguyen, Q. (2022). Incremental Density-based Clustering on Multicore Processors. I E E E Transactions on Pattern Analysis and Machine Intelligence, 44(3), 1338-1356. https://doi.org/10.1109/TPAMI.2020.3023125

Teli, M., Foth, M., Sciannamblo, M., Anastasiu, I. & Lyle, P. J. (2020). Tales of Institutioning and Commoning: Participatory Design Processes with a Strategic and Tactical Perspective. I C. Del Gaudio, L. Parra-Agudelo, R. Clarke, J. Saad-Sulonen, A. Botero, A. Botero, F. C. Londono, F. C. Londono & P. A. Escandon Suarez (red.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 udg., Bind 1, s. 159-171). Association for Computing Machinery. https://doi.org/10.1145/3385010.3385020

Teli, M., Rossitto, C., Lewkowicz, M. & Bødker, S. (2021). Understanding, Promoting, and Designing for Sustainable Appropriation of Technologies by Grassroots Communities. Towards a new wave of technological activism: Sustainable Appropriation of Technologies by Grassroots Communities. I C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (s. 332-335). Association for Computing Machinery. https://doi.org/10.1145/3461564.3468163

Tchernavskij, P. (2021). Case Study: Biodiversity Galiano.

Tchernavskij, P., Webb, A. M., Gemeinhardt, H. & Mackay, W. E. (2022). Readymades & Repertoires: Artifact-Mediated Improvisation in Tabletop Role-Playing Games. I C&C '22: Creativity and Cognition (s. 298-311). Association for Computing Machinery. https://doi.org/10.1145/3527927.3532798

Tchernavskij, P. & Bødker, S. (2022). Entangled Artifacts: The Meeting Between a Volunteer-run Citizen Science Project and a Biodiversity Data Platform. I NordiCHI '22: Nordic Human-Computer Interaction Conference Association for Computing Machinery. https://doi.org/10.1145/3546155.3546682

Tavenas, S., Limaye, N. & Srinivasan, S. (2022). Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication. I S. Leonardi & A. Gupta (red.), STOC 2022 - Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (s. 416-425). Association for Computing Machinery. https://doi.org/10.1145/3519935.3520044

Tataru, P., Sand, A., Hobolth, A., Mailund, T. & Pedersen, C. N. S. (2013). Algorithms for Hidden Markov Models Restricted to Occurrences of Regular Expressions. Biology, 2(4), 1282-1295. https://doi.org/10.3390/biology2041282

Tataru, P., Nirody, J. A. & Song, Y. S. (2014). diCal-IBD: demography-aware inference of identity-by-descent tracts in unrelated individuals. Bioinformatics, 30(23), 3430-3431. https://doi.org/10.1093/bioinformatics/btu563

Tataru, P. (2015). Inference of population history and patterns from molecular data. Department of Computer Science, Aarhus University.

Tataru, P., Bataillon, T. & Hobolth, A. (2015). Inference Under a Wright-Fisher Model Using an Accurate Beta Approximation. Genetics, 201(3), 1133-1141.

Tan, B., Zhu, F., Qu, Q. & Liu, S. (2014). Online Community Transition Detection. I F. Li, G. Li , S. Hwang, B. Yao & Z. Zhang (red.), Web-Age Information Management: 15th International Conference, WAIM 2014, Macau, China, June 16-18, 2014. Proceedings (s. 633-644). Springer VS. https://doi.org/10.1007/978-3-319-08010-9_68

Talebanfard, N. (2014). On the Combinatorics of SAT and the Complexity of Planar Problems. Department of Computer Science, Aarhus University.

Takahashi, A. & Tibouchi, M. (2019). Degenerate Fault Attacks on Elliptic Curve Parameters in OpenSSL. I 2019 IEEE European Symposium on Security and Privacy (EuroS&P), Proceedings (s. 371-386). artikel 8806763 IEEE. https://doi.org/10.1109/EuroSP.2019.00035

Takahashi, A. (2022). Cryptography from Zero Knowledge - Advanced Security and New Constructions. Aarhus Universitet.

Szehr, O., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Decoupling with unitary approximate two-designs. New Journal of Physics, 15(5). https://doi.org/10.1088/1367-2630/15/5/053022

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, artikel 1526. https://doi.org/10.1038/s41598-022-05333-5

Svendsen, K. & Birkedal, L. (2014). Impredicative concurrent abstract predicates. I Z. Shao (red.), Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (s. 149-168 ). Springer. https://doi.org/10.1007/978-3-642-54833-8_9

Svendsen, K., Sieczkowski, F. & Birkedal, L. (2016). Transfinite step-indexing: Decoupling concrete and logical steps. I P. Thiemann (red.), Programming Languages and Systems (Bind 9632, s. 727-751). Springer VS. https://doi.org/10.1007/978-3-662-49498-1_28

Svendsen, S. C. (2021). Practical I/O-Efficient Multiway Separators.

Svendsen, S. C. (2021). Algorithms for Massive Terrains and Graphs. Aarhus Universitet.

Sun, X., Wang, C. & Yu, W. (2012). The Relationship between Inner Product and Counting Cycles. Lecture Notes in Computer Science, 7256, 643-654. https://doi.org/10.1007/978-3-642-29344-3_54

Sükösd, Z., Knudsen, B., Kjems, J. & Pedersen, C. N. S. (2012). PPfold 3.0: fast RNA secondary structure prediction using phylogeny and auxiliary data. Bioinformatics, 28(20), 2691-2692. https://doi.org/10.1093/bioinformatics/bts488

Sükösd, Z., Knudsen, B., Anderson, J. WJ., Novák, A., Kjems, J. & Pedersen, C. N. S. (2013). Characterising RNA secondary structure space using information entropy. B M C Bioinformatics, 14 (Suppl 2), 1-9. artikel S22. https://doi.org/10.1186/1471-2105-14-S2-S22

Styrup, J. & Flarup, E. O. (2008). Architectural styles for heteogeneous multicore processors: an emperical study using the cell broadband engine architecture and architectural prototyping. Aarhus Universitet, Datalogisk Institut.

Strzebonski, A. & Tsigaridas, E. (2011). Univariate real root isolation in an extension field. I Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (s. 321-328). Association for Computing Machinery. https://doi.org/10.1145/1993886.1993934

Strydonck, T. V., Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F., Birkedal, L. & Devriese, D. (2022). Proving full-system security properties under multiple attacker models on capability machines. I Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (s. 80-95). IEEE. https://doi.org/10.1109/CSF54842.2022.9919645

Strocco, F. (2016). Type Soundness in the Dart Programming Language. Department of Computer Science, University of Aarhus.

Streit, M., Schulz, H-J., Lex, A., Schmalstieg, D. & Schumann, H. (2012). Model-Driven Design for the Visual Analysis of Heterogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 18(6), 998-1010. https://doi.org/10.1109/TVCG.2011.108

Streit, M., Schulz, H-J., Schmalstieg, D. & Schumann, H. (2009). Towards Multi-User Multi-Level Interaction. I P. Isenberg, M. Sedlmair, D. Baur, T. Isenberg & A. Butz (red.), Proceedings of the Workshop on Collaborative Visualization on Interactive Surfaces CoVIS 2009 (s. 5-8). https://www.medien.ifi.lmu.de/forschung/publikationen/detail?pub=isenberg2010covis

Stølting Brodal, G., Kaporis, A. C., Papadopoulos, A. N., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2014). Dynamic 3-sided planar range queries with expected doubly-logarithmic time. Theoretical Computer Science, 526(March), 58-74. https://doi.org/10.1016/j.tcs.2014.01.014

Stisen, A., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2014). Handheld Versus Wearable Interaction Design for Professionals - A Case Study of Hospital Service Work. I T. Leong (red.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design , OzCHI '14 (s. 260-269). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686651

Stisen, A., Blunck, H., Bhattacharya, S., Prentow, T. S., Kjærgaard, M. B., Dey, A., Sonne, T. & Jensen, M. M. (2015). Smart devices are different: Assessing and mitigating mobile sensing heterogeneities for activity recognition. I Proceedings of the 13th ACM Conference on Embedded Network Sensor Systems: Sensys 2015

Stisen, A., Mathisen, A., Krogh, S., Blunck, H., Kjærgaard, M. B. & Prentow, T. S. (2016). Task Phase Recognition for Highly Mobile Workers in Large Building Complexes. I 2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 artikel 7456504 IEEE. https://doi.org/10.1109/PERCOM.2016.7456504

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017). Task phase recognition and task progress estimation for highly mobile workers in large building complexes. Pervasive and Mobile Computing, 38(2), 418-429. https://doi.org/10.1016/j.pmcj.2016.08.016

Stisen, A. & Verdezoto, N. (2017). Clinical and Non-clinical Handovers: Designing for Critical Moments. I CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing (s. 2166-2178). Association for Computing Machinery. https://doi.org/10.1145/2998181.2998333

Stisen, A., Verdezoto, N., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2016). Accounting for the Invisible Work of Hospital Orderlies: Designing for Local and Global Coordination. I Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016: CSCW '16 (s. 980-992). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820006

Stiévenart, Q. & Madsen, M. (2020). Fuzzing channel-based concurrency runtimes using types and effects. I Proceedings of the ACM on Programming Languages (OOPSLA udg., Bind 4). Association for Computing Machinery. https://doi.org/10.1145/3428254

Stewart, C., Hoggan, E., Haverinen, L., Salamin, H. & Jacucci, G. (2012). An exploration of inadvertent variations in mobile pressure input. I Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services (s. 35-38)

Sterling, J., Angiuli, C. & Gratzer, D. (2019). Cubical syntax for reflection-free extensional equality. I H. Geuvers (red.), 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 artikel 31 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2019.31

Viser resultater 201 til 250 ud af 2545

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series