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

Truica, C.-O., Apostol, E. S., Stefu, T. & Karras, P. (2021). A Deep Learning Architecture for Audience Interest Prediction of News Topic on Social Media. I Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (red.), Advances in Database Technology - EDBT 2021: 24th International Conference on Extending Database Technology, Proceedings (s. 588-599). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.69

Truelsen, J. (2015). Space Efficient Data Structures and External Terrain Algorithms. Department of Computer Science, Aarhus University.

Troullinou, G., Kondylakis, H., Lissandrini, M. & Mottin, D. (2021). SOFOS: Demonstrating the Challenges of Materialized View Selection on Knowledge Graph. I Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS '21) (s. 2789–2793). Association for Computing Machinery. https://doi.org/10.1145/3448016.3452765

Trittenbach, H., Böhm, K. & Assent, I. (2020). Active Learning of SVDD Hyperparameter Values. I G. Webb, Z. Zhang, V. S. Tseng, G. Williams, M. Vlachos & L. Cao (red.), Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020 (s. 109-117). Artikel 9260103 IEEE. https://doi.org/10.1109/DSAA49011.2020.00023

Trifiletti, R., Nielsen, J. B., Frederiksen, T. K. & Jakobsen, T. P. (2016). On the Complexity of Additively Homomorphic UC Commitments. I E. Kushilevitz & T. Malkin (red.), Theory of Cryptography - 13th International Conference, TCC 2016-A, Proceedings (Bind 9562, s. 542-565). Springer VS. https://doi.org/10.1007/978-3-662-49096-9

Trifiletti, R., Nielsen, J. B., Jakobsen, T. P. & Frederiksen, T. K. (2015, apr. 3). TinyLEGO: An Interactive Garbling Scheme for Maliciously Secure Two-Party Computation. https://eprint.iacr.org/2015/309.pdf

Trifiletti, R. (2017). Amortizing Maliciously Secure Two-party Computation. Department of Computer Science, Aarhus University.

Tran, H. V., Zhang, Z., Pham, T. D., Doan, N. P., Hoang, A.-T., Li, P., Vandierendonck, H., Assent, I. & Mai, T. S. (2025). InteDisUX: intepretation-guided discriminative user-centric explanation for time series. Proceedings of the AAAI Conference on Artificial Intelligence, 39(20), 20921-20928. https://doi.org/10.1609/aaai.v39i20.35387

Tozawa, K., Morita, H. & Mizuki, T. (2025). Single-shuffle card-based protocol with eight cards per gate and its extensions. Natural Computing, 24(1), 131-147. https://doi.org/10.1007/s11047-024-10006-5

Torp, M. T. (2021). Techniques and Tools for Supporting Maintenance of Node.js Programs. Århus Universitet.

Tommasel, A., Pablos Sarabia, R. & Assent, I. (2023). Re²Dan: Retrieval of Medical Documents for e-Health in Danish. I Proceedings of the 17th ACM Conference on Recommender Systems, RecSys 2023 (s. 1208-1211). Association for Computing Machinery. https://doi.org/10.1145/3604915.3610655

Tommasel, A. & Assent, I. (2023). Recommendation fairness and where to find it: An empirical study on fairness of user recommender systems. I J. He, T. Palpanas, X. Hu, A. Cuzzocrea, D. Dou, D. Slezak, W. Wang, A. Gruca, J. C.-W. Lin & R. Agrawal (red.), IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023 (s. 4195-4204). IEEE. https://doi.org/10.1109/BIGDATA59044.2023.10386616

Tommasel, A. & Assent, I. (2024). Semantic grounding of LLMs using knowledge graphs for query reformulation in medical information retrieval. I W. Ding, C.-T. Lu, F. Wang, L. Di, K. Wu, J. Huan, R. Nambiar, J. Li, F. Ilievski, R. Baeza-Yates & X. Hu (red.), 2024 IEEE International Conference on Big Data (BigData) (s. 4048-4057). IEEE. https://doi.org/10.1109/BigData62323.2024.10826117, https://doi.org/10.1109/BigData62323.2024.10826117

Tomlein, M. & Grønbæk, K. (2016). Building Models of Installations to Recommend Applications in IoT Software Ecosystems. I Proceedings - 2016 IEEE 4th International Conference on Future Internet of Things and Cloud, FiCloud 2016 (s. 9-16). Artikel 7575838 IEEE Press. https://doi.org/10.1109/FiCloud.2016.10

Tomlein, M. & Grønbæk, K. (2016). Semantic Model of Variability and Capabilities of IoT Applications for Embedded Software Ecosystems. I Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (s. 247-252). Artikel 7516835 IEEE Press. https://doi.org/10.1109/WICSA.2016.17

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. I Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (s. 279-280). Artikel 7516845 IEEE Press. https://doi.org/10.1109/WICSA.2016.53

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., 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

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

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. (s. 36-42).

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

Timany, A., Krebbers, R., Dreyer, D. & Birkedal, L. (2024). A Logical Approach to Type Soundness. Journal of the ACM, 71(6), Artikel 40. https://doi.org/10.1145/3676954

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., 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, 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

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

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

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

Thøgersen, M. R. & Kjeldsen, R. J. F. (2024). Echolocation as an Accessible Navigation Tool in a Virtual 3D Environment. I ASSETS 2024 - Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility Artikel 132 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3663548.3688547

Viser resultater 201 til 250 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series