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

Haagh, H. (2019). Fine-grained Access and Secure Computation on Encrypted Data. Århus Universitet.

Ha, J.-S., Cheong, O., Goaoc, X. & Yang, J. (2016). Geometric permutations of non-overlapping unit balls revisited. Computational Geometry, 53(Februar), 36–50. https://doi.org/10.1016/j.comgeo.2015.12.003

Gutin, G., Jones, M., Scheder, D. & Yeo, A. (2013). A new bound for 3-satisfiable MaxSat and its algorithmic application. Information and Computation, 231(October), 117-124. https://doi.org/10.1016/j.ic.2013.08.008

Gupta, V., Markmann, K., Pedersen, C. N. S., Stougaard, J. & Andersen, S. U. (2012). shortran: A pipeline for small RNA-seq data analysis. Bioinformatics, 28(20), 2698-2700. https://doi.org/10.1093/bioinformatics/bts496

Gupta, V. (2014). Applied bioinformatics: Genome annotation and transcriptome analysis. Department of Computer Science, Aarhus University.

Guo, C., Ma, M., Yang, B., Jensen, C. S. & Kaul, M. (2012). EcoMark: Evaluating Models of Vehicular Environmental Impact. I I. Cruz & C. Knoblock (red.), Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: ACM SIGSPATIAL GIS 2012 (s. 269-278). Association for Computing Machinery. https://doi.org/10.1145/2424321.2424356

Guo, S., Hubacek, P., Rosen, A. & Vald, M. (2014). Rational Arguments: Single Round Delegation with Sublinear Verification. I M. Naor (red.), Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS '14 (s. 523-540 ). Association for Computing Machinery. https://doi.org/10.1145/2554797.2554845

Guo, C., Jensen, C. S. & Yang, B. (2014). Towards total traffic awareness. SIGMOD Record, 43(3), 18-23. http://www.scopus.com/inward/record.url?scp=84916929262&partnerID=8YFLogxK

Guo, Q., An, B., Bošanský, B. & Kiekintveld, C. (2017). Comparing strategic secrecy and Stackelberg commitment in security games. I S. C. (red.), 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (s. 3691-3699). International Joint Conferences on Artificial Intelligence.

Guo, Q. (2018). Statistical Modelling of Mutations in Cancer Genomes. Århus Universitet.

Guimaraes, A., Borin, E. & Aranha, D. F. (2021). Revisiting the functional bootstrap in TFHE. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2021(2), 229-253. https://doi.org/10.46586/tches.v2021.i2.229-253

Guimaraes, A., Borin, E. & Aranha, D. F. (2022). MOSFHET: Optimized Software for FHE over the Torus. Abstract fra 5th Homomorphic Encryption Standards Meeting, Geneva, Schweiz.

Guimaraes, A., Neumann, L., Andaló, F. A., Aranha, D. F. & Borin, E. (2022). Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud. I Proceedings - 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2022 (s. 33-38). IEEE. https://doi.org/10.1109/SBAC-PADW56527.2022.00015

Guimaraes, A., Borin, E. & Aranha, D. F. (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering, 14(3), 577-593. https://doi.org/10.1007/s13389-024-00359-z

Guerraoui, R., Aksit, M., Black, A., Cardelli, L., Cointe, P., Coplien, J., Kiczales, G., Lea, D., Madsen, O., Magnusson, B., Meseguer, J., Moessenboeck, H., Palsberg, J. & Schmidt, D. (1996). Strategic directions in object-oriented programming. ACM Computing Surveys, 28(4), 691-700. https://doi.org/10.1145/242223.242275

Guéneau, A., Hostert, J., Spies, S., Sammler, M., Birkedal, L. & Dreyer, D. (2023). Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 716-744. Artikel 247. https://doi.org/10.1145/3622823

Gröschel, C., Dalsgaard, P., Klokmose, C. N., Korsgaard, H., Eriksson, E., Bats, R., Tabard, A., Ducros, A. & Serholt, S. (2018). PARTICIPATE: Capturing Knowledge in Public Library Activities. I CHI EA '18 : Proceedings of the 2018 CHI Conference Extended Abstracts on Human Factors in Computing Systems Artikel LBW060 https://doi.org/10.1145/3170427.3188605

Grönvall, E., Ingstrup, M., Pløger, M. & Rasmussen, M. (2011). REST based service composition: Exemplified in a care network scenario. I 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (s. 251-252). IEEE Computer Society Press. https://doi.org/10.1109/VLHCC.2011.6070417

Grönvall, E. & Kyng, M. (2013). On participatory design of home-based healthcare. Cognition, Technology and Work, 15(4), 389-401. https://doi.org/10.1007/s10111-012-0226-7

Grönvall, E. & Verdezoto, N. (2013). Understanding Challenges and Opportunities of Preventive Blood Pressure Self-Monitoring at Home. I P. Palanque , F. Détienne & A. Tricot (red.), Proceedings of the 31st European Conference on Cognitive Ergonomics (ACM ECCE 2013) Association for Computing Machinery. https://doi.org/10.1145/2501907.2501962

Grönvall, E. & Verdezoto, N. (2013). Beyond Self-Monitoring: Understanding Non-functional Aspects of Home-based Healthcare Technology. I F. Mattern & S. Santini (red.), Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing, UbiComp '13 (s. 587-596 ). Association for Computing Machinery. https://doi.org/10.1145/2493432.2493495

Grönvall, E. (2013). Aspects of family-managed care at home. Afhandling præsenteret på Workshop at CSCW at the Boundary of Work and Life , Paphos, Cypern. http://cscwworkandlife.wordpress.com/

Grönvall, E., Kinch, S., Petersen, M. G. & Rasmussen, M. K. (2014). Causing Commotion with a Shape-changing Bench: Experiencing Shape-Changing Interfaces in Use. I M. Jones, P. Palanque, A. Schmidt & T. Grossman (red.), CHI'14, SIGCHIConference on Human Factors in Computing Systems : Proceedings (s. 2559-2568). Association for Computing Machinery. https://doi.org/10.1145/2556288.2557360

Gronvall, E., Verdezoto, N., Bagalkot, N. L. & Sokoler, T. (2015). Concordance: A Critical Participatory Alternative in Healthcare IT. I O. W. Bertelsen & K. Halskov (red.), Critical Alternatives, 5th decennial Aarhus Conference: conference proceedings, conference papers. Department of Computer Science, Aarhus University. https://doi.org/10.7146/aahcc.v1i1.21315

Grønlund, A. & Larsen, K. G. (2016). Towards Tight Lower Bounds for Range Reporting on the RAM. Leibniz International Proceedings in Informatics, 55, 92:1 - 92:12. https://doi.org/10.4230/LIPIcs.ICALP.2016.92

Grønlund, A. & Pettie, S. (2018). Threesomes, degenerates, and love triangles. Journal of the ACM, 65(4), Artikel 22. https://doi.org/10.1145/3185378

Grønlund, A., Kamma, L., Larsen, K. G., Mathiasen, A. & Nelson, J. (2019). Margin-Based Generalization Lower Bounds for Boosted Classifiers. I H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (red.), Advances in Neural Information Processing Systems 32 (NIPS 2019) (Bind 32). Neural Information Processing Systems Foundation. https://arxiv.org/abs/1909.12518

Grønlund, A., Larsen, K. G. & Mathiasen, A. (2019). Optimal Minimal Margin Maximization with Boosting. I K. Chaudhuri & R. Salakhutdinov (red.), 36th International Conference on Machine Learning, ICML 2019 (Bind 97, s. 4392-4401). International Machine Learning Society (IMLS). http://proceedings.mlr.press/v97/mathiasen19a/mathiasen19a.pdf

Grønlund, A., Kamma, L. & Larsen, K. G. (2020). Margins are Insufficient for Explaining Gradient Boosting. I H. Larochelle, MA. Ranzato, R. Hadsell, M.-F. Balcan & H.-T. Lin (red.), Advances in Neural Information Processing Systems 33 (NeurIPS 2020) https://proceedings.neurips.cc/paper/2020/hash/146f7dd4c91bc9d80cf4458ad6d6cd1b-Abstract.html

Grønlund, A., Kamma, L. & Larsen, K. G. (2020). Near-Tight Margin-Based Generalization Bounds for Support Vector Machines. I H. Daumé III & A. Singh (red.), International Conference on Machine Learning (s. 3779-3788). MLResearch Press. http://proceedings.mlr.press/v119/gronlund20a.html

Grønkjær Jensen, M. V., Kjeldsen, H.-C., Skriver Nielsen, A., Olesen, N. B. & Aranha, D. F. (2024). Verifying ElectionGuard: a theoretical and empirical analysis. I E-Vote-ID 2024 - Ninth International Joint Conference on Electronic Voting: Proceedings (s. 17-33). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/e-vote-id2024_01

Grønborg, T. K., Hansen, S. N., Nielsen, S., Skytthe, A. & Parner, E. T. (2015). Stoppage in Autism Spectrum Disorders. Journal of Autism and Developmental Disorders, 45(11), 3509-3519. https://doi.org/10.1007/s10803-015-2497-3

Grønbæk, K., Kortbek, K. J., Christensen, C. M., Nielsen, J. & Stenfeldt, L. (2012). Designing Playful Interactive Installations for Urban Environments - The SwingScape Experience. Lecture Notes in Computer Science, 7624, 230-245 . https://doi.org/10.1007/978-3-642-34292-9_16

Grønbæk, J. E. & O'Hara, K. (2016). Built-In Device Orientation Sensors for Ad-Hoc Pairing and Spatial Awareness. Abstract fra Cross-Surface '16 workshop, Niagara Falls, Canada. http://jensemil.dk/pubs/GronbaekOHara_ISS16_Position_Paper.pdf

Grønbæk, J. E., Korsgaard, H., Petersen, M. G., Henriksen Birk, M. & Krogh, P. G. (2017). Proxemic Transitions: Designing Shape-Changing Furniture for Informal Meetings. I CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 7029-7041) https://doi.org/10.1145/3025453.3025487

Grønbæk, J. E., Jakobsen, K., Petersen, M. G., Rasmussen, M. K., Winge, J. & Stougaard, J. (2016). Designing for Children's Collective Music Making: How Spatial Orientation and Configuration Matter. I W. Barendregt & M. Obaid (red.), Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 Artikel 60 Association for Computing Machinery. https://doi.org/10.1145/2971485.2971552

Grønbæk, K. (2015). Novo gør det, Bill Gates gør det. Altinget. http://www.altinget.dk/forskning/artikel/altingetdks-formaal-maalgruppe

Grønbæk, J. E. (2018). Designing for Interaction Proxemics: Configurations and Transitions. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind DC08). Artikel DC08 Association for Computing Machinery. https://doi.org/10.1145/3170427.3173033

Grønbæk, K. (2017). Hils den digitale tvilling velkommen. Magasinet Finans, Artikel Debat. https://finans.dk/debat/ECE9685685/hils-den-digitale-tvilling-velkommen/?ctxref=ext

Grønbæk, J. E., Linding, C., Kromann, A., Jensen, T. F. H. & Petersen, M. G. (2019). Proxemics play: Exploring the interplay between mobile devices and interiors. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 177-181). Association for Computing Machinery. https://doi.org/10.1145/3301019.3323886

Grønbæk, J. E., Knudsen, M., O'Hara, K., Krogh, P. G., Vermeulen, J. & Petersen, M. G. (2020). Proxemics Beyond Proximity: Designing for Flexible Social Interaction Through Cross-Device Interaction. I CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376379 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376379

Grønbæk, J. E., Rasmussen, M. K., Halskov, K. & Petersen, M. G. (2020). KirigamiTable: Designing for Proxemic Transitions with a Shape-Changing Tabletop. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376834 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376834

Grønbæk, K., Alstrup, S., Larsen, K. G., Caspersen, M. E., Madsen, O. L., Herping Ellegaard, L. & Rasmussen, B. (2019). Digitalisering og it-uddannelser – ryd op i begreberne! Teknologiens Mediehus. https://www.version2.dk/blog/digitalisering-it-uddannelser-ryd-begreberne-1089608

Grønbæk, J. E., Saatci, B., Griggio, C. F. & Klokmose, C. N. (2021). MirrorBlender: Supporting Hybrid Meetings with a Malleable Video-conferencing System. I CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths Artikel 451 Association for Computing Machinery. https://doi.org/10.1145/3411764.3445698

Grønbæk, J. E. (2022). Designing eXtended reality experiences for the future of hybrid meetings. XRDS: Crossroads, The ACM Magazine for Students, 29(1), 20-25. https://xrds.acm.org/article.cfm?aid=3558190

Grønbæk, K. (2022). Digitale teknologier er centrale i håndteringen af COVID-19 pandemien. I Refleksioner fra en pandemi: En essaysamling om bymiljøer, bygninger og livskvalitet i lyset af COVID-19 (s. 194-202). Realdania. https://realdania.dk/publikationer/faglige-publikationer/refleksioner-fra-en-pandemi

Grønbæk, J. E., Pfeuffer, K., Velloso, E., Astrup, M., Pedersen, M. I., Kjær, M., Leiva, G. & Gellersen, H. (2023). Partially Blended Realities: Aligning Dissimilar Spaces for Distributed Mixed Reality Meetings. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.), CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 456 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581515

Grønbæk, J. E., Borowski, M., Hoggan, E., Mackay, W., Beaudouin-Lafon, M. & Klokmose, C. N. (2023). Mirrorverse: Live Tailoring of Video Conferencing Interfaces. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 14 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606767

Grønbæk, K. (2023). Har kunstig intelligens gjort os bange for vores egen skygge? I sciencereport.dk

Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E., Gellersen, H. & Pfeuffer, K. (2024). Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 798 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642293

Viser resultater 1601 til 1650 ud af 3006

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series