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

Sterling, J. & Harper, R. (2022). Sheaf Semantics of Termination-Insensitive Noninterference. I A. P. Felty (red.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 artikel 5 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2022.5

Sterling, J., Angiuli, C. & Gratzer, D. (2022). A cubical language for bishop sets. Logical Methods in Computer Science, 18(1), 43:1-43:80. https://doi.org/10.46298/LMCS-18(1:43)2022

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . I Utzon Symposium What would Utzon do Now?: What would Utzon do Now? http://www.be.unsw.edu.au/sites/default/files/36.%20Liselott%20Stenfeldt%20and%20Kaj%20Grønbæk%20-%20Visions%20of%20an%20interactive%20Utzon%20Archive.pdf

Sten Andersen, M., Rask Schmahl, O., Galli, G., Alavesa, P. & Pakanen, M. (2022). HIPPA: Smart Wearables for Enriching the Gameplay of a Traditional Tag Game. I CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (s. 31-37). Association for Computing Machinery, Inc. https://doi.org/10.1145/3505270.3558321

Stein, B., Nielsen, B. B., Chang, B-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages, 3(OOPSLA), artikel 140. https://doi.org/10.1145/3360566

The Baboon Genome Analysis Consortium (2018). Analysis of lineage-specific Alu subfamilies in the genome of the olive baboon, Papio anubis. Mobile DNA, 9(1), artikel 10. https://doi.org/10.1186/s13100-018-0115-6

The Baboon Genome Analysis Consortium (2017). Alu insertion polymorphisms as evidence for population structure in baboons. Genome Biology and Evolution, 9(9), 2418-2427. https://doi.org/10.1093/gbe/evx184

Stassen, P. J. A., Gratzer, D. & Birkedal, L. (2023). mitten: A Flexible Multimodal Proof Assistant. I 28th International Conference on Types for Proofs and Programs, TYPES 2022 artikel 6 https://doi.org/10.4230/LIPIcs.TYPES.2022.6

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. I ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (s. 198-209). artikel 3380390 Association for Computing Machinery. https://doi.org/10.1145/3377811.3380390

Staer, K., Iranzo, A., Stokholm, M., Stergaard, Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Santamaria, J., Moller, A., Gaig, C., Borghammer, P., Brooks, D., Tolosa, E. & Pavese, N. (2019). Cortical cholinergic dysfunction correlates with microglial activation in the Substantia Innominata in patients with REM sleep behavior disorder. S830-S830. Abstract fra International Congress of Parkinson's Disease and Movement Disorders, Nice, Frankrig.

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster session præsenteret på SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Srinivasan, S. & Venkitesh, S. (2021). On the probabilistic degree of an n-variate boolean function. I M. Wootters & L. Sanita (red.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021 artikel 42 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs-APPROX/RANDOM.2021.42

Srinivasan, S. & Tripathi, U. (2023). Optimal Explicit Small-Depth Formulas for the Coin Problem. I B. Saha & R. A. Servedio (red.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (s. 881-894). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585238

Spitters, B. (2015). Cubical sets as a classifying topos. Abstract fra 21st International Conference on Types for Proofs and Programs, , Tallinn, Estland.

Spitters, B. (2016, okt. 17). Cubical sets and the topological topos. https://arxiv.org/pdf/1610.05270v1.pdf

Spies, S., Gäher, L., Gratzer, D., Tassarotti, J., Krebbers, R., Dreyer, D. & Birkedal, L. (2021). Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery. https://doi.org/10.1145/3453483.3454031

Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2022). Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages , 6(ICFP), artikel 100. https://doi.org/10.1145/3547631

Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A., Brubaker, J. R., Keyes, O., Brulé, E., Light, A., Hardy, J., Rode, J. A. & Kannabiran, G. (2019). Queer(ing) HCI: Moving forward in theory and practice. I CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems artikel 3311750 Association for Computing Machinery. https://doi.org/10.1145/3290607.3311750

Spencer, B., Benedikt, M., Møller, A. & Breugel, F. V. (2017). ArtForm: A Tool for Exploring the Codebase of Form-based Websites. I K. Sen & T. Bultan (red.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 380-383). Association for Computing Machinery. https://doi.org/10.1145/3092703.3098226

Speed, M. (2018). Population Genetic Models for Allele Fraction Data. Aarhus Universitet.

Spapé, M. M., Hoggan, E. E., Jacucci, G. & Ravaja, N. (2015). The meaning of the virtual Midas touch: an ERP study in economic decision making. Psychophysiology, 52(3), 378-87. https://doi.org/10.1111/psyp.12361

Sørensen, T. S., Pedersen, E. M., Hansen, O. K. & Sørensen, K. (2003). Visualization of morphological details in congenitally malformed hearts: virtual three-dimensional reconstruction from magnetic resonance imaging. Cardiology in the Young, 13(5), 451-60.

Sørensen, T. S., Therkildsen, S. V., Hansen, O. K., Sørensen, K. & Pedersen, E. M. (2002). Images in cardiovascular medicine. Total cavo-pulmonary connection: a virtual 3-dimensional fly-through. Circulation, 105(20), E176-6.

Sørensen, T. S., Körperich, H., Greil, G. F., Eichhorn, J., Barth, P., Meyer, H., Pedersen, E. M. & Beerbaum, P. (2004). Operator-independent isotropic three-dimensional magnetic resonance imaging for morphology in congenital heart disease: a validation study. Circulation, 110(2), 163-9. https://doi.org/10.1161/01.CIR.0000134282.35183.AD

Sørensen, T. S., Mosegaard, J., Kislinskiy, S. & Greil, G. (2014). Virtual Surgery in Congenital Heart Disease. I F. Saremi (red.), Cardiac CT and MR for Adult Congenital Heart Disease (s. 515-523). Springer. https://doi.org/10.1007/978-1-4614-8875-0_23

Sørensen, J. L., Knudsen, M., Hansen, F. T., Olesen, C., Romans Fuertes, P., Lee, T. V., Søndergaard, T. E., Pedersen, C. N. S., Brodersen, D. E. & Giese, H. (2014). Fungal NRPS-dependent siderophores: From function to prediction. I J-F. Martin, C. Garcia-Estrada & S. Zeilinger (red.), Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites (s. 317-339). Springer. https://doi.org/10.1007/978-1-4939-1191-2_15

Sørensen, L. B. & Nielsen, K. (2019). Hvorfor undervise i engineering i grundskolen? I Engineering (s. 20-29). VIA University College.

Sørensen, M-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code: Exploring a Craftsmanship-driven Approach to Computational Thinking. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) artikel 48 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547680

Sørensen, M-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code - Exploring a Craftsmanship-driven Approach to Computational Thinking. Design United. https://www.4tu.nl/du/columns/Knit%20x%20Code/

Sørensen, M. L. S. K., Bertelsen, A. B., Nordmark Hoffmann, N., Petersen, M. G. & Hoggan, E. (2022). MoLux: Negotiating Control with a Shape-Changing Lamp at Home. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) artikel 38 Association for Computing Machinery. https://doi.org/10.1145/3546155.3547271

Sonne, T. & Grønbæk, K. (2013). Exploring New Potentials in Preventing Unhealthy Computer Habits. I W. E. Mackay, S. Brewster & S. Bødker (red.), CHI '13 Extended Abstracts on Human Factors in Computing Systems, CHI EA '13 (s. 487-492 ). Association for Computing Machinery. https://doi.org/10.1145/2468356.2468442

Sonne, T. & Jensen, M. M. (2014). Race By Hearts. I Y. Pisan , N. M. Sgouros & T. Marsh (red.), Entertainment Computing – ICEC 2014: 13th International Conference, Sydney, Australia, October 1-3, 2014. Proceedings (s. 125-132 ). Springer. https://doi.org/10.1007/978-3-662-45212-7_16

Sonne, T. & Grønbæk, K. (2015). Designing Assistive Technologies for the ADHD Domain. Afhandling præsenteret på 5th EAI International Symposium on Pervasive Computing Paradigms for Mental Health, Milan, Italien.

Sonne, T., Obel, C. & Grønbæk, K. (2015). Designing Real Time Assistive Technologies: A Study of Children with ADHD. I OzCHI '15: Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction (s. 34-38). Association for Computing Machinery. https://doi.org/10.1145/2838739.2838815

Sonne, T. (2017). Assistive Technologies to Empower Children with ADHD: Conceptual Framework and Technological Solutions. Aarhus Universitet.

Sonne, T., Marshall, P., Müller, J., Obel, C. & Grønbæk, K. (2016). A Follow-up Study of a Successful Assistive Technology for Children with ADHD and Their Families. I Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (s. 400-407). https://doi.org/10.1145/2930674.2930704

Sonne, T., Marshall, P., Obel, C., Thomsen, P. H. & Grønbæk, K. (2016). An Assistive Technology Design Framework for ADHD. I Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016: OzCHI '16 (s. 60-70). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010925

Sonne, T., Müller, J., Marshall, P., Obel, C. & Grønbæk, K. (2016). Changing Family Practices with Assistive Technology: MOBERO Improves Morning and Bedtime Routines for Children with ADHD. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI '16 (s. 152-164). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858157

Sonne, T. & Jensen, M. M. (2016). ChillFish: A Respiration Game for Children with ADHD. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction: Tenth International Conference on Tangible, Embedded, and Embodied Interaction (s. 271-278). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839480

Sonne, T. & Jensen, M. M. (2016). Evaluating the ChillFish Biofeedback Game with Children with ADHD. I Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children: IDC '16 (s. 529-534). Association for Computing Machinery. https://doi.org/10.1145/2930674.2935981

Sonne, T. & Grønbæk, K. (2016). Designing assistive technologies for the ADHD domain. I S. Serino, A. Matic, D. Giakoumis, G. Lopez & P. Cipresso (red.), Pervasive Computing Paradigms for Mental Health: 5th International Conference, MindCare 2015, Revised Selected Papers (Bind 604, s. 259-268). Springer VS. https://doi.org/10.1007/978-3-319-32270-4_26

Sonne, T., Merritt, T. R., Marshall, P., Lomholt, J. J., Müller, J. & Grønbæk, K. (2017). Calming Children When Drawing Blood Using Breath-based Biofeedback. I DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (s. 725-737). Association for Computing Machinery. https://doi.org/10.1145/3064663.3064742

Søndergaard, D., Knudsen, M. & Pedersen, C. N. S. (2014). Machine learning approaches to functional prediction of P-Type ATPases.

Søndergaard, D. A., Knudsen, M. & Pedersen, C. S. (2016). Computational Classification of P-Type ATPases. Methods in Molecular Biology, 1377, 493-502. https://doi.org/10.1007/978-1-4939-3179-8

Søndergaard, D. & Pedersen, C. N. S. (2015). PATBox: A Toolbox for Classification and Analysis of P-Type ATPases. PLOS ONE, 10(9), artikel e0139571. https://doi.org/10.1371/journal.pone.0139571

Son, W. & Afshani, P. (2015). Streaming Algorithms for Smallest Intersecting Ball of Disjoint Balls. I R. Jain, S. Jain & F. Stephan (red.), Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (s. 189-199 ). Springer VS. https://doi.org/10.1007/978-3-319-17142-5

Son, W., Bae, S. W. & Ahn, H. K. (2015). Group nearest neighbor queries in the L1 plane. Theoretical Computer Science, 592, 39–48. https://doi.org/10.1016/j.tcs.2015.05.011

Son, M. T., Amer-Yahia, S., Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019). Scalable Interactive Dynamic Graph Clustering on Multicore CPUs. IEEE Transactions on Knowledge and Data Engineering, 31(7), 1239-1252. artikel 8340880. https://doi.org/10.1109/TKDE.2018.2828086

Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B. (2021). Efficient Binary Decision Diagram Manipulation in External Memory. ArXiv. https://arxiv.org/pdf/2104.12101.pdf

Viser resultater 251 til 300 ud af 2545

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series