Department of Applied Mathematics and Computer Science

  • Postal addressShow on map

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Filter
Book chapter

Search results

  • 2024

    A Survey on Frame Representations and Operator Orbits

    Christensen, O. & Hasannasab, M., 2024, Applied and Numerical Harmonic Analysis. Springer, p. 349-370 (Applied and Numerical Harmonic Analysis).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2023

    Amortized Variational Peak Fitting For Spectroscopic Data

    Hansen, D. F., Alstrom, T. S. & Schmidt, M. N., 2023, Proceedings of IEEE 33rd International Workshop on Machine Learning for Signal Processing. IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Are Sex-Based Physiological Differences the Cause of Gender Bias for Chest X-Ray Diagnosis?

    Weng, N., Bigdeli, S., Petersen, E. & Feragen, A., 2023, Clinical Image-Based Procedures, Fairness of AI in Medical Imaging, and Ethical and Philosophical Issues in Medical Imaging . Springer, p. 142-152 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14242).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    File
    8 Downloads (Pure)
  • A Review of Multiple-Time-Scale Dynamics: Fundamental Phenomena and Mathematical Methods

    Kristiansen, K. U., 2023, Mathematics Online First Collections. Springer, p. 1-55 (Mathematics Online First Collections ).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    155 Downloads (Pure)
  • A secure automation solution to provide flexibility at low-level grid - middleware services

    Ebrahimy, R., Banaei, M., Madsen, H., Gallardo, J. C., Rodríguez, M. D., Escalante, J. J. P. & Piotrowski, K., 2023, Proceedings of 27th International Conference on Electricity Distribution . IEEE, p. 3305-3309 11214

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Data Quality Assessment for ML Decision-Making

    Moloiu, A-Ş., Albeanu, G., Madsen, H. & Popenţiu-Vlădicescu, F., 2023, Applications in Reliability and Statistical Computing. 1 ed. Springer, p. 163-178

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Decomposing the Verification of Interlocking Systems

    Haxthausen, A. E., Fantechi, A. & Gori, G., 2023, Applicable Formal Methods for Safe Industrial Products . Springer, p. 96-113 (Lecture Notes in Computer Science, Vol. 14165).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Domain Modelling: A Foundation for Software Development

    Bjørner, D., 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Springer, Vol. 14080. p. 165-210 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Explainability as statistical inference

    Senetaire, H. H. J., Garreau, D., Frellsen, J. & Mattei, P-A., 2023, Proceedings of the 40th International Conference on Machine Learning. Proceedings of Machine Learning Research, Vol. 202. p. 30584-30612

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    33 Downloads (Pure)
  • Fordele og ulemper ved hjemmearbejde

    Hansen, J. P., Hjartarson, B., Kirchner, K., Rasmussen, T. E. & Ipsen, C., 2023, Hybride arbejdsformer: Fra fast fremmøde til fleksibel organisering. Lindekilde, R. (ed.). Dansk Psykologisk Forlag, p. 169-189

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • Geomechanical Modelling the Evolution of a Connected Natural Fracture Network to Explain Fluid Flow Variations Across a Fractured Chalk-Marl Reservoir

    Glad, A. C., Welch, M. J., Oldfield, S. J., Nick, H. M., Jørgensen, T. M. & Clausen, O. R., 2023, Geomechanical Controls on Fracture Development in Chalk and Marl in the Danish North Sea: Understanding and Predicting Fracture Systems. Springer, p. 215-243 (Petroleum Engineering).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Introduction to Occupant Modeling

    O’brien, W., Calì, D., De Simone, M., Tabadkani, A., Azar, E., Rajus, V. S., Agee, P., Schweiker, M. & Rysanek, A., 2023, Occupant-Centric Simulation Aided Building Design: Theory, Application, and Case Studies. 1st ed. Taylor & Francis, p. 104-144

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    34 Downloads (Pure)
  • Multi-View Self-Supervised Learning For Multivariate Variable-Channel Time Series

    Brusch, T., Schmidt, M. N. & Alstrom, T. S., 2023, Proceedings of the 2023 IEEE 33rd International Workshop on Machine Learning for Signal Processing. IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • ON or OFF!? How Arab Students Perceive Using Webcams in Online Learning

    Salha, S., Saifuddin Khalid, M., Affouneh, S. & Tlili, A., 2023, Education in the Post-COVID-19 Era—Opportunities and Challenges. Springer, p. 161-177 (Lecture Notes in Educational Technology).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Private Authentication with Alpha-Beta Privacy

    Fernet, L. & Mödersheim, S., 2023, Proceedings of the Open Identity Summit 2023. Gesellschaft für Informatik e.V., p. 61-72

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    15 Downloads (Pure)
  • SDitH in the QROM

    Aguilar-Melchor, C., Hülsing, A., Joseph, D., Majenz, C., Ronen, E. & Yue, D., 2023, Advances in Cryptology – ASIACRYPT 2023. Springer, p. 317-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14444).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Using Videoconferencing Systems and Interactive Tools: Empirical French Investigation

    Impedovo, M., Ett, B. & Khalid, M. S., 2023, Methodologies and Intelligent Systems for Technology Enhanced Learning, Workshops. Springer, p. 368-377 (Lecture Notes in Networks and Systems, Vol. 769).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2022

    Cloud Storage Client Forensic: Analysis of MEGA Cloud

    Mishra, H., Sihag, V., Choudhary, G., Dragoni, N. & You, I., 2022, Futuristic Trends in Networks and Computing Technologies. Springer, p. 1099-1110 (Lecture Notes in Electrical Engineering, Vol. 936).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds

    Böttjer, T., Ørnskov Rønsch, G., Gomes, C., Ramanujan, D., Iosifidis, A. & Gorm Larsen, P., 2022, Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference. Springer, p. 431-439 (Lecture Notes in Mechanical Engineering).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Data-Driven Methods for Efficient Operation of District Heating Systems

    Bergsteinsson, H. G., Møller, J. K., Thilker, C. A., Guericke, D., Heller, A., Nielsen, T. S. & Madsen, H., 2022, Handbook of Low Temperature District Heating. Green Energy and Technology. Springer, p. 129–163 (Green Energy and Technology).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    297 Downloads (Pure)
  • Détection de séries de changements dans des séries d’images SAR polarimétriques

    Conradsen, K., Skriver, H., Canty, M. J. & Nielsen, A. A., 2022, Détection de changements et analyse des séries temporelles d'images 1: Méthodes non supervisées.. ISTE Publishing Company, p. 41-81

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • DIMDA: Deep Learning and Image-Based Malware Detection for Android

    Sihag, V., Prakash, S., Choudhary, G., Dragoni, N. & You, I., 2022, Futuristic Trends in Networks and Computing Technologies. Springer, p. 895-906 (Lecture Notes in Electrical Engineering, Vol. 936).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Interactive Theorem Proving for Logic and Information

    Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence. Springer, Vol. 999. p. 25-48 (Studies in Computational Intelligence, Vol. 999).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    233 Downloads (Pure)
  • Lightweight and Practical Privacy-Preserving Image Masking in Smart Community

    Liu, Z., Liu, Y. & Meng, W., 2022, Information and Communications Security. Springer, p. 221-239 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13407).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • On the constant D(q) defined by Homma

    Beelen, P. H. T., Montanucci, M. & Vicino, L., 2022, Arithmetic, Geometry, Cryptography, and Coding Theory 2021. American Mathematical Society, Vol. 779. p. 33-40

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    19 Downloads (Pure)
  • Optimization of Heat Production for Electricity Market Participation

    Guericke, D., Schledorn, A. & Madsen, H., 2022, Handbook of Low Temperature District Heating. Springer, p. 179–193

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Sandbox Environment for Real Time Malware Analysis of IoT Devices

    Kachare, G. P., Choudhary, G., Shandilya, S. K. & Sihag, V., 2022, Computing Science, Communication and Security. Springer, p. 169–183 (Communications in Computer and Information Science, Vol. 1604).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Streaming Process Mining

    Burattin, A., 2022, Process Mining Handbook. Springer, Vol. 448. p. 349-372 (Lecture Notes in Business Information Processing, Vol. 448).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    102 Downloads (Pure)
  • 2021

    ActAnyware - Blockchain-Based Software Licensing Scheme

    Chiu, W. Y., Zhou, L., Meng, W., Liu, Z. & Ge, C., 2021, International Conference on Blockchain and Trustworthy Systems. Springer, p. 559-573 (Communications in Computer and Information Science, Vol. 1490).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Algebraic Iterative Reconstruction Methods

    Hansen, P. C., 2021, Computed Tomography: Algorithms, Insight, and Just Enough Theory. Hansen, P. C., Jørgensen, J. S. & Lionheart, W. R. B. (eds.). Society for Industrial and Applied Mathematics, p. 211-249 (Fundamentals of Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

  • Automatic Detection of Rail Defects from Images

    Hovad, E., Hansen, H., da Silva Rodrigues, A. F. & Dahl, V. A., 2021, Intelligent Quality Assessment of Railway Switches and Crossing. Springer, p. 187-205 (Springer Series in Reliability Engineering).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 312-331 (Lecture Notes in Computer Science, Vol. 13066).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Blended Learning at Universities of Bangladesh: Initiatives and Challenges during COVID-19 Lockdown

    Khalid, M. S. & Al Sire, S., 2021, Blended Learning in Higher Education. Impedovo, M. A., Khalid, M. S., Kinley, K. & Yok, M. C. K. (eds.). Aalborg Universitetsforlag, p. 1-14

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    162 Downloads (Pure)
  • Change Detection in Time Series of Polarimetric SAR Images

    Conradsen, K., Skriver, H., Canty, M. J. & Nielsen, A. A., 2021, Change Detection and Image Time Series Analysis 1: Unsupervised Methods. Wiley, p. 35-71

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Deep Learning for Automatic Railway Maintenance

    Hovad, E., Wix, T., Khomiakov, M., Vassos, G., da Silva Rodrigues, A. F., de Miguel Tejada, A. & Clemmensen, L. H., 2021, Intelligent Quality Assessment of Railway Switches and Crossings. Springer, p. 207-228 (Springer Series in Reliability Engineering).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Deep Learning for High-dimensional Parameter Retrieval

    Malmgren-Hansen, D., 2021, Deep Learning for the Earth Sciences: A Comprehensive Approach to Remote Sensing, Climate Science, and Geosciences. Wiley, p. 240-257

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Digital Learning Technology Blend in Assessment Activities of Higher Education: A Systematic Review

    Chowdhury, S. A., Khalid, M. S. & Arefin, A. S. M. S., 2021, Blended Learning in Higher Education. Impedovo, M. A., Khalid, M. S., Kinley, K. & Yok, M. C. K. (eds.). Aalborg Universitetsforlag, p. 102–11

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    420 Downloads (Pure)
  • Discretization Models and the System Matrix

    Batenburg, K. J., Hansen, P. C. & Jørgensen, J. S., 2021, Computed Tomography: Algorithms, Insight, and Just Enough Theory. Hansen, P. C., Jørgensen, J. S. & Lionheart, W. R. B. (eds.). Society for Industrial and Applied Mathematics, p. 155-181 (Fundamentals of Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

  • Domain Analysis and Description – Sorts, Types, Intents

    Bjørner, D., 2021, Formal Methods in Outer Space. Springer, p. 35-60 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13065).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Efficient Attribute-Based Signature for Monotone Predicates

    Zhang, J., Chen, J. & Meng, W., 2021, International Conference on Provable Security. Springer, p. 346-362 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13059).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Facial and Cochlear Nerves Characterization Using Deep Reinforcement Learning for Landmark Detection

    López Diez, P., Sundgaard, J. V., Patou, F., Margeta, J. & Paulsen, R. R., 2021, Medical Image Computing and Computer Assisted Intervention. Springer, p. 519-528 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12904).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Filtered Back-Projection

    Jørgensen, J. S. & Lionheart, W. R. B., 2021, Computed Tomography: Algorithms, Insight, and Just Enough Theory. Hansen, P. C., Jørgensen, J. S. & Lionheart, W. R. B. (eds.). Society for Industrial and Applied Mathematics, p. 73-103 (Fundamentals of Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

  • Forest Variable Estimation and Change Monitoring Solutions Based on Remote Sensing Big Data

    Miettinen, J., Bonnet, S., Nielsen, A. A., Huurinainen, S. & Tergujeff, R., 2021, Big Data in Bioeconomy: Results from the European DataBio Project. Springer, p. 321-334

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    34 Downloads (Pure)
  • Formalized Soundness and Completeness of Epistemic Logic

    From, A. H., 2021, Logic, Language, Information, and Computation. Springer, p. 1-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13038).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Geometrically Enriched Latent Spaces

    Arvanitidis, G., Hauberg, S. & Schoelkopf, B., 2021, Proceedings of the 24th International Conference on Artificial Intelligence and Statistics. International Machine Learning Society (IMLS), 10 p. (Proceedings of Machine Learning Research, Vol. 130).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    63 Downloads (Pure)
  • How Few Annotations are Needed for Segmentation Using a Multi-planar U-Net?

    Laprade, W. M., Perslev, M. & Sporring, J., 2021, MICCAI Workshop on Deep Generative Models. Springer, p. 209-216 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13003).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • I Can Think Like You! Towards Reaction Spoofing Attack on Brainwave-Based Authentication

    Chiu, W-Y., Meng, W. & Li, W., 2021, Security, Privacy, and Anonymity in Computation, Communication, and Storage. Springer, Vol. 12382. p. 251-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12382).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Impact of Blended Learning on Teacher Education for Tutors at Bangladesh Open University

    Rahman, M. M., Hossain, K. M. & Khalid, M. S., 2021, Blended Learning in Higher Education. Impedovo, M. A., Khalid, M. S., Kinley, K. & Yok, M. C. K. (eds.). Aalborg Universitetsforlag, p. 50–59

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    88 Downloads (Pure)
  • Improving predictions of Bayesian neural nets via local linearization

    Immer, A., Korzepa, M. & Bauer, M., 2021, Proceedings of the 24th International Conference on Artificial Intelligence and Statistics . 11 p. (Proceedings of Machine Learning Research, Vol. 130).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    113 Downloads (Pure)
  • Information Security and Privacy – Challenges and Outlook

    Furnell, S., Haskell-Dowland, P., Agrawal, M., Baskerville, R., Basu, A., Bishop, M., Cuellar, J., Foresti, S., Futcher, L., Gal-Oz, N., Herath, T., Damsgaard Jensen, C., Johnston, A., Joosen, W., Livraga, G., Lopez, J., Marsh, S., Martinelli, F., Massacci, F., Pasic, A., & 6 othersSchinagl, S., Shahim, A., Thomson, K. L., Vaidya, J., Vance, T. & Warkentin, M., 2021, Advancing Research in Information and Communication Technology. Springer, p. 383-401 (IFIP Advances in Information and Communication Technology, Vol. 600).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review