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

Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T. & Jensen, M. M. (2017). Strive: Exploring Assistive Haptic Feedback on the Run. I M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (red.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 275-284). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152801

Valiant, L. G., Skyum, S., Berkowitz, S. & Rackoff, C. (1983). Fast Parallel Computation of Polynomials Using Few Processors. S I A M Journal on Computing, 12(4), 641-644. https://doi.org/10.1137/0212043

Valiant, L. & Skyum, S. (1981). Fast parallel computation of polynomials using few processors. I J. Gruska & M. Chytil (red.), Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981 (s. 132-139). Springer. https://doi.org/10.1007/3-540-10856-4_79

Valencia, R., Condit, R., Foster, R. B., Romoleroux, K., Munoz, G. V., Svenning, J.-C., Magård, E., Bass, M., Losos, E. C., Balslev, H., Losos, E. C. (red.) & Leigh, E. G. . J. (red.) (2004). Yasuní forest dynamic plot, Ecuador. I Tropical forest diversity and dynamism: Findings from a large-scale plot network (s. 609-620)

Valencia, R., Condit, R., Romoleroux, K., Foster, R. B., Munoz, G. V., Losos, E. C., Balslev, H., Svenning, J.-C. & Magård, E. (2004). Tree species diversity and distribution in a forest plot at Yasuní National Park, Amazonian Ecuador. I in: E.C. Losos and E. G. Leigh, Jr. (eds.). Tropical Forest Diversity and Dynamism, The University of Chicago Press, Chicago and London. (s. 107-118)

Valencia, R., Foster, R. B., Villa, G., Condit, R., Svenning, J.-C., Hernandez, C., Romoleroux, K., Losos, E., Magård, E. & Balslev, H. (2004). Tree species distributions and local habitat variation in the Amazon: large forest plot in eastern Ecuador. Journal of Ecology, 92, 214-229.

Vaez, M., Dalén, M., Friberg, Ö., Nilsson, J., Frøbert, O., Lagerqvist, B. & Ivert, T. (2017). Regional differences in coronary revascularization procedures and outcomes: A nationwide 11-year observational study. European Heart Journal - Quality of Care & Clinical Outcomes, 3(3), 243-248. https://doi.org/10.1093/ehjqcco/qcx007

Ursem, R. K., Filipic, B. & Krink, T. (2002). Exploring the Performance of an Evolutionary Algorithm for Greenhouse Control. Journal of Computing and Information Technology, 10(3), 195-201.

Ursem, R. K., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Genetic Programming with Smooth Operators for Arithmetic Expressions: Diviplication and Subdition. I Proceedings of the Evolutionary on Computation 2002.: CEC'02 (Bind 2, s. 1372-1377). IEEE Computer Society Press.

Ursem, R. K., Krink, T. & Filipic, B. (2002). A Numerical Simulator for a Crop-Producing Greenhouse. EVALife Technical Report, (2002-01).

Ursem, R. K., Krink, T., Jensen, M. T. & Michalewicz, Z. (2002). Analysis and Modeling of Control Tasks in Dynamic Systems. I E E E Transactions on Evolutionary Computation, 6(4), 378-389.

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. I B. Filipic & J. Silc (red.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (s. 55-66). Ljublana: Jozef Stefan Institute.

Uribe, S. A., Beerbaum, P., Rasmusson, A., Sørensen, T. S., Razavi, R. & Schaeffter, T. (2008). 4D Flow of the Whole Heart and Great Vessels at 3T Using Real Time Self Respiratory Gating. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Vascular Hemodynamics. Computer 2. 2832 (Bind DVD). ISMRM.

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). 4D Flow of the Whole Heart and Great Vessels Using a Real Time Self Respiratory Gating Technique. Poster-session præsenteret på Annual SCMR Scientific Sessions, Orlando, Florida, USA. https://doi.org/10.1186/1532-429X-11-S1-P3

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). Four-dimensional (4D) flow of the whole heart and great vessels using real-time respiratory self-gating. Magnetic Resonance in Medicine, 62(4), 984-992. https://doi.org/10.1002/mrm.22090

Urazimbetova, S. (2012). A Case Study - On Patient Empowerment and Integration of Telemedicine to National Healthcare Services. Afhandling præsenteret på International Conference on Health Informatics, Vilamoura, Algarve, Portugal. https://doi.org/10.5220/0003870902630269

Urazimbetova, S. (2011). Patient and Care Network can Improve Interoperability of Telemedicine. Daimi Report Series (DAIMI PB), (594), 51-54.

Urazimbetova, S. & Kyng, M. (2012). Bridging the Patient Empowerment Gap of National Healthcare Services with Quick Response Code. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 444-448. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Urazimbetova, S. & Kyng, M. (2013). From Many to One: Analysis of Information Models for Patient Centric Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 6, 7-12. http://www.medetel.eu/download/2013/parallel_sessions/presentation/day3/From_Many_to_One.pdf

Ungar, D. & Ernst, E. (2007). Point/Counterpoint. I E E E Software, 24(5), 72-75. https://doi.org/10.1109/MS.2007.142

Uhrmacher, A. M., Schulz, H.-J., Schumann, H., Schwabe, L. & Timmermann, D. (2009). Regenerative Systems - Challenges and Opportunities for Modeling, Simulation, and Visualization. I G. Stea, J. Mairesse & J. Mendes (red.), Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools Artikel 45. https://doi.org/10.4108/ICST.VALUETOOLS2009.7907

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2010). Sharing-aware horizontal partitioning for exploiting correlations during query processing. Proceedings of the VLDB Endowment, 3(1-2), 542-553. http://portal.acm.org/citation.cfm?id=1920911&CFID=7605094&CFTOKEN=94044110

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2011). Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions. Proceedings of the VLDB Endowment, 4(11), 852-863. http://www.vldb.org/pvldb/vol4/p852-tzoumas.pdf

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2013). Efficiently adapting graphical models for selectivity estimation. V L D B Journal, 22(1), 3-27. https://doi.org/10.1007/s00778-012-0293-7

Tziavelis, N., Giannakopoulos, I., Doka, K., Koziris, N. & Karras, P. (2019). Equitable Stable Matchings in Quadratic Time. 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): Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019 (Bind 32, s. 455-465). Curran Associates, Inc.. https://papers.nips.cc/paper/8337-equitable-stable-matchings-in-quadratic-time

Tzavelis, N., Giannakopoulos, I., Johansen, R. Q., Doka, K., Koziris, N. & Karras, P. (2020). Fair Procedures for Fair Stable Marriage Outcomes. I AAAI 2020 - 34th AAAI Conference on Artificial Intelligence (Bind 34, no. 5, s. 7269-7276). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6218

Turon, A., Dreyer , D. & Birkedal, L. (2013). Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. I G. Morrisett & T. Uustalu (red.), Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13 (s. 377-390 ). Association for Computing Machinery. https://doi.org/10.1145/2500365.2500600

Türkmen, R., Pfeuffer, K., Barrera MacHuca, M. D., Batmaz, A. U. & Gellersen, H. (2022). Exploring Discrete Drawing Guides to Assist Users in Accurate Mid-air Sketching in VR. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 276 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519737

Turkmen, R., Gelmez, Z. E., Batmaz, A. U., Stuerzlinger, W., Asente, P., Sarac, M., Pfeuffer, K. & Machuca, M. D. B. (2024). EyeGuide & EyeConGuide: Gaze-based Visual Guides to Improve 3D Sketching Systems. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 178 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641947

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A. (2023). Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proceedings of the ACM on Programming Languages , 7(PLDI), 761–785. Artikel 137. https://doi.org/10.1145/3591251

Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A. (2024). CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. I ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Bind 3, s. 223-238). Association for Computing Machinery. https://doi.org/10.1145/3620666.3651358

Tunç, H. C. (2025). Efficient Data Structures and Algorithms for Dynamic Analysis of Concurrent Programs. [Ph.d.-afhandling, Aarhus Universitet].

Tunç, H. C., Dong, Y., Deshmukh, A. P., Cirisci, B., Enea, C. & Pavlogiannis, A. (2026). Efficient Dynamic Concurrency Analysis with Collective Sparse Segment Trees. ACM Transactions on Computer Systems, 44(3). https://doi.org/10.1145/3773085

Tunç, H. C., Dong, Y. & Pavlogiannis, A. (2026). Fast Atomicity Monitoring. Proceedings of the ACM on Programming Languages , 10, Artikel 170. https://doi.org/10.1145/3808248

Tu, S., Aslay, C. & Gionis, A. (2020). Co-exposure maximization in online social networks. I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), Advances in Neural Information Processing Systems: NeurIPS 2020 (Bind 33). Neural Information Processing Systems Foundation. https://proceedings.neurips.cc/paper/2020/hash/212ab20dbdf4191cbcdcf015511783f4-Abstract.html

Tsourakakis, C. E., Mitzenmacher, M., Larsen, K. G., Blasiok, J., Lawson, B., Nakkiran, P. & Nakos, V. (2018). Predicting Positive and Negative Links with Noisy Queries: Theory Practice. arxiv.org. http://arxiv.org/abs/1709.07308

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2018). NetLSD: Hearing the Shape of a Graph. I Y. Guo & F. Farooq (red.), KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (s. 2347-2356). Association for Computing Machinery. https://doi.org/10.1145/3219819.3219991

Tsitsulin, A., Mottin, D., Karras, P. & Müller, E. (2018). VERSE: Versatile Graph Embeddings from Similarity Measures. I P.-A. Champin, F. Gandon & L. Médini (red.), The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018: WWW '18 (s. 539-548). Association for Computing Machinery. https://doi.org/10.1145/3178876.3186120

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2019). Spectral graph complexity. I L. Liu & R. White (red.), The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019 (s. 308-309). Association for Computing Machinery. https://doi.org/10.1145/3308560.3316589

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Bronstein, A., Oseledets, I. & Müller, E. (2020). The Shape of Data: Intrinsic Distance for Data Distributions. Afhandling præsenteret på The International Conference on Learning Representations (ICLR), Ababa, Etiopien.

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Oseledets, I. & Mueller, E. (2021). FREDE: Anytime Graph Embeddings. Proceedings of the VLDB Endowment, 14(6), 1102-1110. https://doi.org/10.14778/3447689.3447713

Tsirogiannis, K. & de Berg, M. (2011). Exact and approximate computations of watersheds on triangulated terrains. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 74-83). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093985

Tsirogiannis, K. & Haverkort, H. (2011). Flow on noisy terrains: an experimental evaluation. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 84-91). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093986

Tsirogiannis, C., Sandel, B. S. & Cheliotis, D. (2012). Efficient Computation of Popular Phylogenetic Tree Measures. Lecture Notes in Computer Science, 7534, 30-43. https://doi.org/10.1007/978-3-642-33122-0_3

Tsirogiannis, C. & Sandel, B. S. (2013). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. I A. Darling & J. Stoye (red.), Algorithms in Bioinformatics: 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings (s. 170-184). Springer VS. https://doi.org/10.1007/978-3-642-40453-5_14

Tsirogiannis, C., Sandel, B. S. & Kalvisa, A. (2014). New Algorithms for Computing Phylogenetic Biodiversity. I D. Brown & B. Morgenstern (red.), Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings (s. 187-203). Springer VS. https://doi.org/10.1007/978-3-662-44753-6_15

Tsirogiannis, C. & Sandel, B. S. (2014). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. Algorithms for Molecular Biology, 9(1), Artikel 15. https://doi.org/10.1186/1748-7188-9-15

Tsirogiannis, C. & Tsirogiannis, C. (2016). Uncovering the Hidden Routes: Algorithms for Identifying Paths and Missing Links in Trade Networks . I T. Brughmans, A. Collar & F. Coward (red.), The Connected Past: Challenges to Network Studies in Archaeology and History Oxford University Press.

Tsirogiannis, C. & Sandel, B. S. (2016). PhyloMeasures: A package for computing phylogenetic biodiversity measures and their statistical moments. Ecography, 39(7), 709-714. https://doi.org/10.1111/ecog.01814

Viser resultater 301 til 350 ud af 6152

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series