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

Schaper, M-M. A., Smith, R. C., Tamashiro, M. A., Van Mechelen, M., Lunding, M. S., Bilstrup, K-E. K., Kaspersen, M. H., Jensen, K. L., Petersen, M. G. & Iversen, O. S. (2022). Computational Empowerment in Practice: Scaffolding teenagers’ learning about emerging technologies and their ethical and societal impact. International Journal of Child - Computer Interaction, 34, artikel 100537. adv. onlinepublikation. https://doi.org/10.1016/j.ijcci.2022.100537

Schäfer, Z., Mathisen, A., Svendsen, K., Engberg, S., Rolighed Thomsen, T. & Kirketerp-Møller, K. (2021). Toward Machine-Learning-Based Decision Support in Diabetes Care: A Risk Stratification Study on Diabetic Foot Ulcer and Amputation. Frontiers in medicine, 7, artikel 601602. https://doi.org/10.3389/fmed.2020.601602

Schäfer, Z., Mathisen, A., Thomsen, T. R., Rossing, P. & Kirketerp-Møller, K. (2023). Glucagon-like peptide-1 treatment reduces the risk of diabetes-type 2 related amputations: A cohort study in Denmark. Diabetes Research and Clinical Practice, 202, artikel 110799. https://doi.org/10.1016/j.diabres.2023.110799

Schaeffter, T., Hansen, M. S. & Sørensen, T. S. (2012). Fast Implementation of Iterative Image Reconstruction. Afhandling præsenteret på International Society for Magnetic Resonance in Medicine, Melbourne, Australien. http://www.ismrm.org/12/SS_ImageRecon.htm

Schaefer, Z., Haab, L., Schwerdtfeger, K., Takahashi, K. & Strauss, D. J. (2020). Detection of information flow between cortical laminae activities and auditory evoked potentials in rats by means of Granger causality. I 42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society (EMBC) (s. 876-879). IEEE. https://doi.org/10.1109/EMBC44109.2020.9176719

Scafuro, A., Siniscalchi, L. & Visconti, I. (2021). Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. I J. A. Garay (red.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II (s. 469-498). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-75248-4_17

Satyanarayan, A., Strazzulla, D., Klokmose, C. N., Beaudouin-Lafon, M. & Mackay, W. (2013). The CHI 2013 interactive schedule. I W. E. Mackay, S. Brewster & S. Brewster (red.), CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems (s. 2987-2990). Association for Computing Machinery. https://doi.org/10.1145/2468356.2479591

San-Segundo, R., Blunck, H., Moreno-Pimentel, J., Stisen, A. & Gil-Martín, M. (2018). Robust Human Activity Recognition using smartwatches and smartphones. Engineering Applications of Artificial Intelligence, 72(6), 190-202. https://doi.org/10.1016/j.engappai.2018.04.002

Sanggaard, K. W., Bechsgaard, J. S., Fang, X., Duan, J., Dyrlund, T. F., Gupta, V., Jiang, X., Cheng, L., Fan, D., Feng, Y., Han, L., Huang, Z., Wu, Z., Liao, L., Settepani, V., Thøgersen, I. B., Vanthournout, B., Wang, T., Zhu, Y. ... Wang, J. (2014). Spider genomes provide insight into composition and evolution of venom and silk. Nature Communications, 5, artikel 3765. https://doi.org/10.1038/ncomms4765

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere, 2(2), 1-16.

Sandel, B. S. & Dangremond, E. (2012). Climate change and the invasion of California by grasses. Global Change Biology, 18(1), 277.

Sandel, B. S., Arge, L. A., Dalsgaard, B., Davies, R., Gaston, K., Sutherland, B. & Svenning, J-C. (2011). The influence of Late Quaternary climate-change velocity on species endemism. Science, 334, 660-664.

Sandel, B. S., Dalsgaard, B., Arge, L. A. & Svenning, J-C. (2011). Late Quaternary climate-change velocity: Implications for modern distributions and communities. Abstract fra Ecological Society of America, Austin, Texas, USA.

Sandel, B. S., Arge, L., Dalsgaard, B., Davies, R. G., Gaston, K. J., Sutherland, W. J. & Svenning, J-C. (2012). Response - Global Endemism Needs Spatial Integration Response. Science, 335(6066), 285-286. https://doi.org/10.1126/science.335.6066.285-a

Sandager, P., Lindahl, C., Schlütter, J. M., Uldbjerg, N., Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2013). Context-aware patient guidance during blood pressure self-measurement. I Proceedings of the IADIS International Conference e-Health 2013, EH 2013 (s. 153-157). University of Twente. http://www.scopus.com/record/display.url?view=basic&eid=2-s2.0-84886912072&origin=resultslist

Sand, A., Brask, A. T., Pedersen, C. N. S., Mailund, T. & Brask, A. T. (2010). HMMlib: A C++ Library for General Hidden Markov Models Exploiting Modern CPUs. I 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification and Second International Workshop on High Performance Computational Systems Biology (s. 126 - 134 ). IEEE.

Sand, A., Pedersen, C. N. S., Mailund, T., Brodal, G. S. & Fagerberg, R. (2013). A practical O(n log² n) time algorithm for computing the triplet distance on binary trees. B M C Bioinformatics, 14(Suppl 2), S18. https://doi.org/10.1186/1471-2105-14-S2-S18

Sand, A., Holt, M. K., Johansen, J., Fagerberg, R., Pedersen, C. N. S., Brodal, G. S. & Mailund, T. (2013). Algorithms for Computing the Triplet and Quartet Distances for Binary and General Trees. Biology, 2(4), 1189-1209. https://doi.org/10.3390/biology2041189

Sand, A. & Steel, M. (2013). The standard lateral gene transfer model is statistically consistent for pectinate four-taxon trees. Journal of Theoretical Biology, 335, 295-298. https://doi.org/10.1016/j.jtbi.2013.07.002

Sand, A., Kristiansen, M., Pedersen, C. N. S. & Mailund, T. (2013). zipHMMlib: a highly optimised HMM library exploiting repetitions in the input to speed up the forward algorithm. BMC Bioinformatics , 14(339), 339-348. https://doi.org/10.1186/1471-2105-14-339

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

Sand, A. (2014). Engineering of Algorithms for Hidden Markov models and Tree Distances. Department of Computer Science, Aarhus University.

Salgado, M. & Saad-Sulonen, J. (2016). Who needs us? Inquiring into the participatory practices of others and what it means for participatory designers. Afhandling præsenteret på International European Academy of Design Conference, Paris, Frankrig.

Saleem, M. A., Soares da Costa, F., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T. (2018). Predicting Visitors Using Location-Based Social Networks. I Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018 (s. 245-250). IEEE. https://doi.org/10.1109/MDM.2018.00043

Saleem, M. A., Calders, T., Pedersen, T. B. & Karras, P. (2021). Finding Geo-Social Cohorts in Location-Based Social Networks. I L. H. U, M. Spaniol, Y. Sakurai & J. Chen (red.), Web and Big Data - 5th International Joint Conference, APWeb-WAIM 2021, Proceedings: 5th International Joint Conference, APWeb-WAIM 2021, Proceedings, Part II (s. 368-383). Springer International Publishing. https://doi.org/10.1007/978-3-030-85899-5_27

Safavi, T., Belth, C., Faber, L., Mottin, D., Müller, E. & Koutra, D. (2019). Personalized Knowledge Graph Summarization: From the Cloud to Your Pocket. 528-537. Afhandling præsenteret på IEEE International Conference on Data Mining, Beijing, Kina. https://web.eecs.umich.edu/~dkoutra/papers/19_ICDM_GLIMPSE-CR.pdf

Sacharidis, D., Bouros, P. & Chondrogiannis, T. (2017). Finding The Most Preferred Path. I E. Hoel, S. Newsam, S. Ravada , R. Tamassia & G. Trajcevski (red.), GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems artikel 5 Association for Computing Machinery. https://doi.org/10.1145/3139958.3140029

Saatci, B., Rädle, R., Rintel, S., O'Hara, K. & Klokmose, C. N. (2019). Hybrid Meetings in the Modern Workplace: Stories of Success and Failure. 45-61. Afhandling præsenteret på International Conference on Collaboration and Technology, Kyoto, Japan.

Saad-Sulonen, J. (2015). Sharing tools and know-how: challenges and potential approaches for self-organized urban communities. Afhandling præsenteret på CHI, Seoul, Sydkorea. https://designforsharingdotcom.files.wordpress.com/2015/03/saad-sulonen_chi2015_ws_designforsharing.pdf

Saad-Sulonen, J. & Korsgaard, H. (2015). Towards a concept of community artifact ecology in HCI?. Afhandling præsenteret på CHI, Seoul, Sydkorea.

Saad-Sulonen, J., Halskov, K., Eriksson, E., Vines, J., Huybrechts, L. & Karasti, T. H. (2015). Unfolding Participation: What do we mean by participation – conceptually and in practice. Aarhus Series on Human Centered Computing , 1(1). https://doi.org/10.7146/aahcc.v1i1.21324

Ruiz-Ruiz, A., Blunck, H., Prentow, T. S., Stisen, A. & Kjærgaard, M. B. (2014). Analysis Methods for Extracting Knowledge from Large-Scale WiFi Monitoring to Inform Building Facility Planning. I G. Záruba & K. Farkas (red.), Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013) (s. 130 - 138 ). IEEE Communications Society. https://doi.org/10.1109/PerCom.2014.6813953

Rotger Griful, S., Jacobsen, R. H., Brewer, R. S. & Rasmussen, M. K. (2017). Green Lift: Exploring the Demand Response Potential of Elevators in Danish Buildings. Energy Research & Social Science, 32, 55-64. https://doi.org/10.1016/j.erss.2017.04.011

Rossitto, C., Berns, K. & Larsen-Ledet, I. (2020). Strategies of Visibility: Growth, Media and Social Movements. Afhandling præsenteret på The 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing.

Rossitto, C., Lampinen, A., Bødker, S., Light, A., Berns, K. & Hui, J. (2020). Reconsidering scale and scaling in CSCW research. I CSCW '20 : Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing (s. 493-501). Association for Computing Machinery. https://doi.org/10.1145/3406865.3419409

Rossitto, C., Korsgaard, H., Lampinen, A. & Bødker, S. (2021). Efficiency and Care in Community-Led Initiatives. Proceedings of the ACM on Human-Computer Interaction, 5(CSCW2), artikel 467. https://doi.org/10.1145/3479611

Rossi, L., Magnani, M. & Ladarola , B. (2012). Rescatemineros: Global Media Events in the Microblogging Age. Accepted Paper Series http://ssrn.com/abstract=1989791

Rossi, L. & Magnani, M. (2012). Conversation practices and network structure in Twitter. I Proceedings of the Sixth International Conference on Weblogs and Social Media (s. 563-566). AAAI Press. http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4634

Rossi, L. & Magnani, M. (2012). Multi-Stratum Networks: toward a unified model of on-line identities. http://arxiv.org/abs/1211.0169

Rohde, J. & Toftegaard, T. S. (2011). Adaption of Cognitive Radio technology to low-cost and low-power wireless Personal Area Network devices. Wireless Personal Communications, 58(1), 111-123. https://doi.org/10.1007/s11277-011-0291-x

Röddiger, T., Clarke, C., Breitling, P., Schneegans, T., Zhao, H., Gellersen, H. & Beigl, M. (2022). Sensing with Earables: A Systematic Literature Review and Taxonomy of Phenomena. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 6(3), 1-57. artikel 135. https://doi.org/10.1145/3550314

Rocha, R. V. M., Libório, P. P., Kupwade Patil, H. & Aranha, D. F. (2021). A Differentially Private Hybrid Approach to Traffic Monitoring. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security - ACNS 2021 (s. 233-256). Springer. https://doi.org/10.1007/978-3-030-78375-4_10

Rindal, P. & Trifiletti, R. (2017, maj 10). SplitCommit: Implementing and Analyzing Homomorphic UC Commitments. Cryptology ePrint Archive. https://eprint.iacr.org/2017/407.pdf

Rijke, E. & Spitters, B. (2016). Homotopy type theory and the formalization of mathematics. Nieuw Archief voor Wiskunde , 5/17(3), 159 - 164. http://www.cs.au.dk/~spitters/naw5-2016-17-3-159.pdf

Rijke, E., Shulman, M. & Spitters, B. (2017, jun. 27). Modalities in homotopy type theory. https://arxiv.org/abs/1706.07526

Rijke, E. & Spitters, B. (2015). Sets in homotopy type theory. Mathematical Structures in Computer Science, 25(5), 1172-1202. https://doi.org/10.1017/S0960129514000553

Rijke, E., Shulman, M. & Spitters, B. (2020). Modalities in homotopy type theory. Logical Methods in Computer Science, 16(1), 2:1-2:79.

Riedel, C., Michael, G. G., Orgel, C., Baum, C., van der Bogert, C. H. & Hiesinger, H. (2021). Studying the Global Spatial Randomness of Impact Craters on Mercury, Venus, and the Moon With Geodesic Neighborhood Relationships. Journal of Geophysical Research: Planets, 126(3), artikel e2020JE006693. https://doi.org/10.1029/2020JE006693

Ribeiro, M., Tolêdo , T., Winther, J., Brabrand, C. & Borba, P. (2012). Emergo : a tool for improving maintainability of preprocessor-based product lines. I Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, AOSD Companion '12 (s. 23-26 ). Association for Computing Machinery. https://doi.org/10.1145/2162110.2162128

Reyzin, L., Smith, A. & Yakoubov, S. (2021). Turning HATE Into LOVE: Compact Homomorphic Ad Hoc Threshold Encryption for Scalable MPC. I Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings: Proceedings (Bind 12716, s. 361-378). Springer. https://doi.org/10.1007/978-3-030-78086-9_27

Viser resultater 401 til 450 ud af 2545

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series