Datalogisk Institut

  1. 2022
  2. Udgivet

    No Repetition: Fast and Reliable Sampling with Highly Concentrated Hashing

    Aamand, A., Das, D., Kipouridis, Evangelos, Knudsen, J. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2022, I: Proceedings of the VLDB Endowment. 15, 13, s. 3989-4001

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  3. Udgivet

    Probing Pre-Trained Language Models for Cross-Cultural Differences in Values

    Arora, Arnav, Kaffee, L. F. & Augenstein, Isabelle, 2022, arxiv.org, 11 s.

    Publikation: Working paperPreprintForskning

  4. Udgivet

    RootPainter3D: Interactive-machine-learning enables rapid and accurate contouring for radiotherapy

    Smith, Abraham George, Petersen, Jens, Terrones-Campos, C., Berthelsen, A. K., Forbes, N. J., Darkner, Sune, Specht, Lena & Vogelius, I. R., 2022, I: Medical Physics. 49, 1, s. 461-473

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    TempEL: Linking Dynamically Evolving and Newly Emerging Entities

    Zaporojets, K., Kaffee, L. F., Deleu, J., Demeester, T., Develder, C. & Augenstein, Isabelle, 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). NeurIPS Proceedings, 17 s. (Advances in Neural Information Processing Systems, Bind 35).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    Tiling with Squares and Packing Dominos in Polynomial Time

    Aamand, Anders, Abrahamsen, Mikkel, Ahle, T. & Rasmussen, Peter Michael Reichstein, 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 224).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. 2021
  8. Udgivet

    Cellular 3D-reconstruction and analysis in the human cerebral cortex using automatic serial sections

    Larsen, N. Y., Li, X., Tan, X., Ji, G., Lin, J., Rajkowska, G., Møller, J., Vihrs, N., Sporring, Jon, Sun, F. & Nyengaard, J. R., dec. 2021, I: Communications Biology . 4, 1, 15 s., 1030.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Pretreatment qEEG biomarkers for predicting pharmacological treatment outcome in major depressive disorder: Independent validation from the NeuroPharm study

    Ip, C. T., Olbrich, S., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Köhler-Forsberg, K., Dam, V. H., Beniczky, S., Jørgensen, Martin Balslev, Frøkjær, Vibe Gedsø, Søgaard, B., Christensen, S. R. & Knudsen, Gitte Moos, aug. 2021, I: European Neuropsychopharmacology. 49, s. 101-112 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications

    Pawlak, W. M., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  11. Udgivet

    An algorithm for stochastic and adversarial bandits with switching costs

    Rouyer, C., Seldin, Yevgeny & Cesa-Bianchi, N., 2021, Proceedings of the 38th International Conference on Machine Learning (ICML). PMLR, s. 9127-9135 (Proceedings of Machine Learning Research, Bind 139).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. Udgivet

    An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

    Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (red.). arxiv.org, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

  13. Udgivet

    Artificial intelligence surpasses gastrointestinal experts in the classification of endoscopic severity among Ulcerative Colitis

    The Presager Project, T. P. P., 2021, I: Journal of Crohn's & colitis. 15, Suppl. 1, s. S007-S007

    Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

  14. Udgivet

    Association of Socioeconomic Status With Dementia Diagnosis Among Older Adults in Denmark

    Petersen, Jindong Ding, Wehberg, S., Packness, A., Svensson, N. H., Hyldig, N., Raunsgaard, S., Andersen, M. K., Ryg, J., Mercer, S. W., Søndergaard, J. & Waldorff, Frans Boch, 2021, I: JAMA network open. 4, 5, 13 s., 2110432.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  15. Udgivet

    Classifying convex bodies by their contact and intersection graphs

    Aamand, Anders, Abrahamsen, Mikkel, Knudsen, J. B. T. & Rasmussen, Peter Michael Reichstein, 2021, 37th International Symposium on Computational Geometry, SoCG 2021. Buchin, K. & de Verdiere, E. C. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 189).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  16. Udgivet

    Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry

    Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  17. Udgivet

    Cross-Domain Label-Adaptive Stance Detection

    Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, s. 9011-9028

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  18. Udgivet

    Data Management in Microservices: State of the Practice, Challenges, and Research Directions

    Nunes Laigner, Rodrigo, Zhou, Yongluan, Vaz Salles, M. A., Liu, Yijian & Kalinowski, M., 2021, I: Proceedings of the VLDB Endowment. 14, 13, s. 3348–3361

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  19. Udgivet

    Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

    Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (red.). Springer Science and Business Media Deutschland GmbH, s. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12834 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  20. Udgivet

    Developing and validating COVID-19 adverse outcome risk prediction models from a bi-national European cohort of 5594 patients

    Jimenez-Solem, E., Petersen, T. S., Hansen, C., Hansen, C., Lioma, C., Igel, C., Boomsma, W., Krause, O., Lorenzen, S., Selvan, R., Petersen, J., Nyeland, M. E., Ankarfeldt, M. Z., Virenfeldt, G. M., Winther-Jensen, M., Linneberg, A., Ghazi, M. M., Detlefsen, N., Lauritzen, A. D., Smith, A. G. & 15 flere, de Bruijne, Marleen, Ibragimov, Bulat, Petersen, Jens, Lillholm, Martin, Middleton, Jon Anthony, Mogensen, S. H., Thorsen-Meyer, H., Perner, Anders, Helleberg, M., Kaas-Hansen, Benjamin Skov, Bonde, M., Bonde, A., Pai, A., Nielsen, Mads & Sillesen, Martin Hylleholt, 2021, I: Scientific Reports. 11, 1, 12 s., 3246.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  21. Udgivet

    I3T: Intensity Interferometry Imaging Telescope

    Gori, P. M., Vakili, F., Rivet, J. P., Guerin, W., Hugbart, M., Chiavassa, A., Vakili, Adrien, Kaiser, R. & Labeyrie, G., 2021, I: Monthly Notices of the Royal Astronomical Society. 505, 2, s. 2328-2335

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  22. Udgivet

    Interactive Visual Facets to Support Fluid Exploratory Search

    He, C., Micallef, L., Serim, B., Vuong, T., Ruotsalo, Tuukka & Jacucci, G., 2021, 14th International Symposium on Visual Information Communication and Interaction, VINCI 2021. Association for Computing Machinery, s. 1-10 3481565. (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  23. Udgivet

    Maximal unbordered factors of random strings

    Cording, P. H., Gagie, T., Knudsen, M. B. T. & Kociumaka, T., 2021, I: Theoretical Computer Science. 852, s. 78-83 6 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  24. Udgivet

    Multi-Hop Fact Checking of Political Claims

    Ostrowski, W., Arora, Arnav, Atanasova, Pepa Kostadinova & Augenstein, Isabelle, 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Bind CoRR 2020. s. 3892-3898 (arXiv.org).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  25. Udgivet

    Near-Optimal Distance Oracles for Vertex-Labeled Planar Graphs

    Evald, J., Fredslund-Hansen, V. & Wulff-Nilsen, Christian, 2021, 32nd International Symposium on Algorithms and Computation, ISAAC 2021. Ahn, H-K. & Sadakane, K. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 s. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 212).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  26. Udgivet

    Neuro-SPECT:On the development and function of brain emission tomography in the Copenhagen area

    Lassen, Anders, Stokely, E., Vorstrup, S., Goldman, T. & Henriksen, J. H., 2021, I: Clinical Physiology and Functional Imaging. 41, 1, s. 10-24 15 s.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  27. Udgivet

    On the convergence of the Metropolis algorithm with fixed-order updates for multivariate binary probability distributions.

    Brügge, K., Fischer, A. & Igel, Christian, 2021, Proceedings of The 24th International Conference on Artificial Intelligence and Statistic. PMLR, s. 469-477 (Proceedings of Machine Learning Research, Bind 130).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  28. Udgivet

    Predicting Protein Content in Grain Using Hyperspectral Deep Learning

    Engstrøm, Ole-Christian Galbo, Dreier, E. S. & Steenstrup Pedersen, Kim, 2021, Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) . IEEE, s. 1372-1380

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  29. Udgivet

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  30. Udgivet

    Robust parametric modeling of Alzheimer's disease progression

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A., Modat, M., Jorge Cardoso, M., Ourselin, S. & Sørensen, L., 2021, I: NeuroImage. 225, 12 s., 117460.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  31. Udgivet

    Support of closed walks and second eigenvalue multiplicity of graphs

    McKenzie, T., Rasmussen, Peter Michael Reichstein & Srivastava, N., 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (red.). Association for Computing Machinery, Inc., s. 396-407

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  32. Udgivet

    Towards Human-Centered Natural Language Processing

    Gonzalez, Ana Valeria, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 219 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  33. Udgivet

    Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

    Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  34. Udgivet

    ∇Sim: DIFFERENTIABLE SIMULATION FOR SYSTEM IDENTIFICATION AND VISUOMOTOR CONTROL https://gradsim.github.io

    Jatavallabhula, K. M., Macklin, M., Golemo, F., Voleti, V., Petrini, L., Weiss, M., Considine, B., Parent-Lévesque, J., Xie, K., Erleben, Kenny, Paull, L., Shkurti, F., Nowrouzezahrai, D. & Fidler, S., 2021.

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  35. 2020
  36. Udgivet

    Iteratively Adapting Avatars using Task-Integrated Optimisation

    McIntosh, J., Zajac, Hubert Dariusz, Stefan, A., Bergström, Joanna & Hornbæk, Kasper, 1 okt. 2020, Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology. 1 udg. https://dl.acm.org/doi/abs/10.1145/3379337.3415832: Association for Computing Machinery, s. 709–721

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  37. Udgivet

    Constraining the Chiral Magnetic Effect with charge-dependent azimuthal correlations in Pb-Pb collisions at root s(NN)=2.76 and 5.02 TeV

    Acharya, S., Torals-Acosta, F., Adam, J., Adamova, D., Adler, A., Adolfsson, J., Aggarwal, MM., Rinella, G. A., Agnello, M., Agrawal, N., Ahn, S. U., Aiola, S., Akindinov, A., Al-Turany, M., Alam, SN., Bearden, I., Bourjau, C. A., rtc312, R., bsm989, B., Gaardhøje, J. J. & 8 flere, Ozelin De Lima Pimentel, L., Pacik, V., Nielsen, Børge Svane, Thoresen, F., Vislavicius, V., Schukraft, J., Zhou, You & Alice Collaboration, A. C., 24 sep. 2020, I: Journal of High Energy Physics (Online). 2020, 9, 34 s., 160.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  38. Udgivet

    Algoritmer kopierer lægers fordomme om race og køn

    Ganz, Melanie, Holm, Sune Hannibal & Feragen, A., 4 jun. 2020, I: Dagbladet Politiken. s. 9 (sektion 2) 1 s.

    Publikation: Bidrag til tidsskriftBidrag til avis - Kommentar/debatFormidling

  39. Udgivet

    Color coding ER-diagrams, one approach to modeling semistructured data. Entity-Relationship diagrams used for aggregate oriented databases.

    Lassen, Anders & Ejstrup, C., jun. 2020, I: International Journal of Innovative Studies in Sciences and Engineering Technology (IJISSET). 6, 6, s. 14-22

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  40. Udgivet

    Digital Game Interventions for Youth Mental Health Services (Gaming My Way to Recovery): Protocol for a Scoping Review

    Ferrari, M., McIlwaine, S., Reynolds, J. A., Archie, S., Boydell, K., Lal, S., Shah, J. L., Henderson, J., Alvarez-Jimenez, M., Andersson, N., Boruff, J., Nielsen, R. K. L. & Iyer, S. N., jun. 2020, I: JMIR Research Protocols. 9, 6, 10 s., 13834.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  41. Udgivet

    Impact of adding breast density to breast cancer risk models: A systematic review

    Vilmun, B. M., Vejborg, I., Lynge, E., Lillholm, Martin, Nielsen, Mads, Nielsen, Michael Bachmann & Carlsen, Jonathan Frederik, jun. 2020, I: European Journal of Radiology. 127, 9 s., 109019.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  42. Udgivet

    Lung Segmentation from Chest X-rays using Variational Data Imputation

    Selvan, Raghav, Dam, Erik Bjørnager, Rischel, S., Sheng, K., Nielsen, Mads & Pai, A., 20 maj 2020, I: OpenReview.net. 7 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskning

  43. Udgivet

    A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, s. 69-70 2 s. 3399520

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  44. Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 s.

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  45. Udgivet

    Back to the Future: Sequential Alignment of Text Representations

    Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  46. Udgivet

    Carbontracker: Tracking and Predicting the Carbon Footprint of Training Deep Learning Models

    Anthony, L. F. W., Kanding, B. & Selvan, Raghav, 2020. 11 s.

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  47. Udgivet

    Chronic Obstructive Pulmonary Disease Quantification Using CT Texture Analysis and Densitometry: Results From the Danish Lung Cancer Screening Trial

    Sørensen, L., Nielsen, Mads, Petersen, Jens, Pedersen, J. H., Dirksen, A. & de Bruijne, Marleen, 2020, I: American Journal of Roentgenology. 214, 6, s. 1269-1279

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  48. Udgivet

    Compiling generalized histograms for GPU

    Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  49. Udgivet

    Context Matters in Disorder Based Protein Communication

    Kragelund, Birthe Brandt, Prestel, Andreas, Wickmann, N., Martins, J., Boomsma, Wouter, Staby, L., Hendus-Altenburger, R. & Skriver, Karen, 2020, I: Biophysical Journal. 118, 3, suppl. 1, s. 491A 2407-Plat.

    Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskningfagfællebedømt

  50. Udgivet

    Effects of Sleep Deprivation on Blood Glucose, Food Cravings, and Affect in a Non-Diabetic: An N-of-1 Randomized Pilot Study

    Daza, E. J., Wac, Katarzyna & Oppezzo, M., 2020, I: Healthcare. 8, 1, 17 s., 6.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  51. Udgivet

    Expander graphs are non-malleable codes

    Rasmussen, Peter Michael Reichstein & Sahai, A., 2020, 1st Conference on Information-Theoretic Cryptography, ITC 2020. Kalai, Y. T., Smith, A. D. & Wichs, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-10 6. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 163).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  52. Udgivet

    Exploiting Easiness and Overcoming Delays in Online Learning

    Thune, T. S., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  53. Udgivet

    Fast hashing with strong concentration bounds

    Aamand, Anders, Knudsen, J. B. T., Knudsen, M. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (red.). Association for Computing Machinery, s. 1265-1278 (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...35 Næste