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

Tomlein, M. & Grønbæk, K. (2017). A Visual Programming Approach Based on Domain Ontologies for Configuring Industrial IoT Installations. I Proceedings of the 7th International Conference on the Internet of Things, IoT 2017 Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3131542.3131552

Tomlein, M. (2018). Context-Aware Integrability and Maintainability of Cyber-Physical Ecosystems: Tactics and Tools. Århus Universitet.

Tomlein, M., Booveraghavan, S., Agarwal, Y. & Dey, A. (2017). CharIoT: an end-user programming environment for the IoT. Poster session præsenteret på International Conference on the Internet of Things, Linz, Østrig. https://doi.org/10.1145/3131542.3140261

Tominski, C. & Schulz, H.-J. (2012). The Great Wall of Space-Time. I T. Grosch, B. Preim, H. Theisel & K.-D. Toennies (red.), Proceedings of the Workshop on Vision, Modeling, and Visualization (VMV) (s. 199-206). Eurographics Association. https://doi.org/10.2312/PE/VMV/VMV12/199-206

Toftrup, M., Sørensen, S. A., Ciosici, M. R. & Assent, I. (2021). A reproduction of Apple's bi-directional LSTM models for language identification in short strings.

Toftrup, M. B., Loeschcke, S., Belongie, S., J. Kastoryano, M. & Snæbjanarson, V. (2024). LoQT: Low-Rank Adapters for Quantized Pretraining. https://arxiv.org/abs/2405.16528

Toftkjær, T. & Kjærgaard, M. B. (2012). The impact of sensor errors and building structures on particle filter-based inertial positioning. Pervasive and Mobile Computing, 8(5), 764–776. https://doi.org/10.1016/j.pmcj.2011.07.001

Toftkjær, T. (2012). Accurate positioning of pedestrains in mixed indoor/outdoor settings : A particle filter approach to sensor and map fusion. Department of Computer Science, Aarhus University.

Toft, T. (2011). Secure data structures based on multi-party computation. I Proceedings of the 30th Annual ACM SIGACT-SIGOPS ACM Symposium on Principles of Distributed Computing, PODC 2011 (s. 291-292). Association for Computing Machinery. https://doi.org/10.1145/1993806.1993859

Toft, T. (2013). A Secure Priority Queue; or: On Secure Datastructures from Multiparty Computation.. Afhandling præsenteret på International Conference on Information Security and Cryptology, Seoul, Sydkorea. http://www.wikicfp.com/cfp/program?id=1397&s=ICISC&f=International%20Conference%20on%20Information%20Security%20and%20Cryptology

Toft, T. (2014). A secure priority queue; or: On secure datastructures from multiparty computation. I H.-S. Lee & D.-G. Han (red.), Information Security and Cryptology -- ICISC 2013: 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers (Bind 8565, s. 20-33). Springer. https://doi.org/10.1007/978-3-319-12160-4_2

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), Artikel 4009. https://doi.org/10.1038/s41467-021-24271-w

Ting, H.-F., Lee, L. K., Chan, H.-L. & Lam, T.-W. (2011). Approximating Frequent Items in Asynchronous Data Stream over a Sliding Window. Algorithms, 4(3), 200-222. https://doi.org/10.3390/a4030200

Timany, A., Stefanesco, L., Krogh-Jespersen, M. & Birkedal, L. (2018). A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. I Proceedings of the ACM on Programming Languages (Bind 2, s. 64:00-64:28). Association for Computing Machinery. https://doi.org/10.1145/3158152

Timany, A. & Birkedal, L. (2019). Mechanized relational verification of concurrent programs with continuations. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-28. Artikel 105. https://doi.org/10.1145/3341709

Timany, A. & Sozeau, M. (2017). Consistency of the Predicative Calculus of Cumulative Inductive Construction (pCuIC). https://hal.inria.fr/hal-01615123

Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. I Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (s. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931

Timany, A., Guéneau, A. & Birkedal, L. (2024). The Logical Essence of Well-Bracketed Control Flow. Proceedings of the ACM on Programming Languages , 8(POPL), 575-603. https://doi.org/10.1145/3632862

Timany, A., Gregersen, S. O., Stefanesco, L., Hinrichsen, J. K., Gondelman, L., Nieto, A. & Birkedal, L. (2024). Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proceedings of the ACM on Programming Languages , 8, Artikel 9. https://doi.org/10.1145/3632851

Thorsøe, R., Locher, P., Rathish, H. & Schulz, H.-J. (2024). A Framework for Axis Breaks in Charts. I Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (s. 1-8). The Eurographics Association. https://doi.org/10.2312/vmv.20241198

Thor, M., Andersen, E. S., Petersen, J. B. B., Sørensen, T. S., Noe, K. Ø., Tanderup, K., Bentzen, L., Elstrøm, U. V., Høyer, M. & Muren, L. P. (2014). Evaluation of an application for intensity-based deformable image registration and dose accumulation in radiotherapy. Acta Oncologica, 53(10), 1329-36. https://doi.org/10.3109/0284186X.2014.928742

Thomsen, J. G., Ernst, E., Brabrand, C. & Schwartzbach, M. I. (2012). WebSelF: A Web Scraping Framework . Lecture Notes in Computer Science, 7387, 347-361. https://doi.org/10.1007/978-3-642-31753-8_28

Thomsen, J. G. (2013). Consistency in the World Wide Web: Specification, Verification, and Evaluation. Datalogisk Institut, Aarhus Universitet.

Thomsen, J. G., Clausen, C., Andersen, K. J., Danaher, J. & Ernst, E. (2013). Reducing Lookups for Invariant Checking. I G. Castagna (red.), ECOOP 2013 – Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings (s. 426-450). Springer VS. https://doi.org/10.1007/978-3-642-39038-8_18

Thomsen, J. R., Krogh, P. G., Schnedler, J. A. & Linnet, H. (2018). Interactive interior and proxemics thresholds: Empowering participants in sensitive conversations. I CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018). Artikel 68 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173642

Thomsen, S. E. & Spitters, B. (2020). Formalizing Nakamoto-Style Proof of Stake.

Thomsen, S. E. & Spitters, B. (2021). Formalizing Nakamoto-Style Proof of Stake. I Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE. https://doi.org/10.1109/CSF51468.2021.00042

Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era. Århus Universitet.

Thomsen, P. F., Kielgast, J., Iversen, L. L., Møller, P. R., Rasmussen, M. & Willerslev, E. (2012). Detection of a Diverse Marine Fish Fauna Using Environmental DNA from Seawater Samples. PLOS ONE, 7(8), Artikel e41732. https://doi.org/10.1371/journal.pone.0041732

Thomas, V., Brueggemann, M. J., Feldman, D. & C02K31YADRVG (2015). I am more than the sum of my parts: an e-waste design fiction. Afhandling præsenteret på Joint Conference on 29th International Conference on Informatics for Environmental Protection / 3rd International Conference on ICT for Sustainability (EnviroInfo and ICT4S), Copenhagen, Danmark.

Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D., Bates, O. & Feldman, D. (2018). In the eye of a hurricane there is quiet, for just a moment, -. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (s. 1-10). Artikel alt01 Association for Computing Machinery. https://doi.org/10.1145/3170427.3188394

Thomas, V., Brueggemann, M. J., Wang, D., Gaytán-Lugo, L. S. & Bidwell, N. J. (2018). Silent SIG: Reflection in action at CHI. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April, s. 1-4). Artikel SIG16 Association for Computing Machinery. https://doi.org/10.1145/3170427.3185362

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. https://doi.org/10.1145/3301019.3320003

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

Viser resultater 201 til 250 ud af 2905

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series