default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Mikkel Kragh"
download as .bib file
@article{DBLP:journals/tmi/KraghRLBK22,
author = {Mikkel Fly Kragh and
Jens Rimestad and
Jacob Theilgaard Lassen and
J{\o}rgen Berntsen and
Henrik Karstoft},
title = {Predicting Embryo Viability Based on Self-Supervised Alignment of
Time-Lapse Videos},
journal = {{IEEE} Trans. Medical Imaging},
volume = {41},
number = {2},
pages = {465--475},
year = {2022},
url = {https://doi.org/10.1109/TMI.2021.3116986},
doi = {10.1109/TMI.2021.3116986},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmi/KraghRLBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/SorensenJ22,
author = {Henrik Kragh S{\o}rensen and
Mikkel Willum Johansen},
editor = {Valeria Giardino and
Sven Linker and
Richard Burns and
Francesco Bellucci and
Jean{-}Michel Boucheix and
Petrucio Viana},
title = {Epistemic Roles of Diagrams in Short Proofs},
booktitle = {Diagrammatic Representation and Inference - 13th International Conference,
Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13462},
pages = {235--242},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15146-0\_20},
doi = {10.1007/978-3-031-15146-0\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/SorensenJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/HengleinKM22,
author = {Fritz Henglein and
Robin Kaarsgaard and
Mikkel Kragh Mathiesen},
editor = {Claudio Antares Mezzina and
Krzysztof Podlaski},
title = {Algeo: An Algebraic Approach to Reversibility},
booktitle = {Reversible Computation - 14th International Conference, {RC} 2022,
Urbino, Italy, July 5-6, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13354},
pages = {128--145},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09005-9\_9},
doi = {10.1007/978-3-031-09005-9\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/HengleinKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-00847,
author = {Martin Elsman and
Fritz Henglein and
Robin Kaarsgaard and
Mikkel Kragh Mathiesen and
Robert Schenck},
editor = {Jeremy Gibbons and
Max S. New},
title = {Combinatory Adjoints and Differentiation},
booktitle = {Proceedings Ninth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {360},
pages = {1--26},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.360.1},
doi = {10.4204/EPTCS.360.1},
timestamp = {Mon, 10 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-00850,
author = {Fritz Henglein and
Robin Kaarsgaard and
Mikkel Kragh Mathiesen},
editor = {Jeremy Gibbons and
Max S. New},
title = {The Programming of Algebra},
booktitle = {Proceedings Ninth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {360},
pages = {71--92},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.360.4},
doi = {10.4204/EPTCS.360.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-02120,
author = {Jacob Theilgaard Lassen and
Mikkel Fly Kragh and
Jens Rimestad and
Martin Nyg{\aa}rd Johansen and
J{\o}rgen Berntsen},
title = {Development and validation of deep learning based embryo selection
across multiple days of transfer},
journal = {CoRR},
volume = {abs/2210.02120},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.02120},
doi = {10.48550/ARXIV.2210.02120},
eprinttype = {arXiv},
eprint = {2210.02120},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-02120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AndersenJS21,
author = {Line Edslev Andersen and
Mikkel Willum Johansen and
Henrik Kragh S{\o}rensen},
title = {Mathematicians writing for mathematicians},
journal = {Synth.},
volume = {198},
number = {26},
pages = {6233--6250},
year = {2021},
url = {https://doi.org/10.1007/s11229-019-02145-5},
doi = {10.1007/S11229-019-02145-5},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/synthese/AndersenJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-07262,
author = {J{\o}rgen Berntsen and
Jens Rimestad and
Jacob Theilgaard Lassen and
Dang Tran and
Mikkel Fly Kragh},
title = {Robust and generalizable embryo selection based on artificial intelligence
and time-lapse image sequences},
journal = {CoRR},
volume = {abs/2103.07262},
year = {2021},
url = {https://arxiv.org/abs/2103.07262},
eprinttype = {arXiv},
eprint = {2103.07262},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-07262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfr/KraghU20,
author = {Mikkel Kragh Hansen and
James Patrick Underwood},
title = {Multimodal obstacle detection in unstructured environments with conditional
random fields},
journal = {J. Field Robotics},
volume = {37},
number = {1},
pages = {53--72},
year = {2020},
url = {https://doi.org/10.1002/rob.21866},
doi = {10.1002/ROB.21866},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfr/KraghU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/SorensenJ20,
author = {Henrik Kragh S{\o}rensen and
Mikkel Willum Johansen},
editor = {Ahti{-}Veikko Pietarinen and
Peter Chapman and
Leonie Bosveld{-}de Smet and
Valeria Giardino and
James E. Corter and
Sven Linker},
title = {Counting Mathematical Diagrams with Machine Learning},
booktitle = {Diagrammatic Representation and Inference - 11th International Conference,
Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12169},
pages = {26--33},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54249-8\_3},
doi = {10.1007/978-3-030-54249-8\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/SorensenJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/KraghRBK19,
author = {Mikkel Fly Kragh and
Jens Rimestad and
J{\o}rgen Berntsen and
Henrik Karstoft},
title = {Automatic grading of human blastocysts from time-lapse imaging},
journal = {Comput. Biol. Medicine},
volume = {115},
year = {2019},
url = {https://doi.org/10.1016/j.compbiomed.2019.103494},
doi = {10.1016/J.COMPBIOMED.2019.103494},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cbm/KraghRBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icvisp/FarkhaniKCJK19,
author = {Sadaf Farkhani and
Mikkel Fly Kragh and
Peter Hviid Christiansen and
Rasmus Nyholm J{\o}rgensen and
Henrik Karstoft},
title = {Sparse-to-Dense Depth Completion in Precision Farming},
booktitle = {{ICVISP} 2019: 3rd International Conference on Vision, Image and Signal
Processing, Vancouver, BC, Canada, August 26-28, 2019},
pages = {35:1--35:5},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3387168.3387230},
doi = {10.1145/3387168.3387230},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icvisp/FarkhaniKCJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-04011,
author = {Peter Hviid Christiansen and
Mikkel Fly Kragh and
Yury Brodskiy and
Henrik Karstoft},
title = {UnsuperPoint: End-to-end Unsupervised Interest Point Detector and
Descriptor},
journal = {CoRR},
volume = {abs/1907.04011},
year = {2019},
url = {http://arxiv.org/abs/1907.04011},
eprinttype = {arXiv},
eprint = {1907.04011},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-04011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/KorthalsKCKJ018,
author = {Timo Korthals and
Mikkel Kragh Hansen and
Peter Christiansen and
Henrik Karstoft and
Rasmus N. J{\o}rgensen and
Ulrich R{\"{u}}ckert},
title = {Multi-Modal Detection and Mapping of Static and Dynamic Obstacles
in Agriculture for Process Evaluation},
journal = {Frontiers Robotics {AI}},
volume = {5},
pages = {28},
year = {2018},
url = {https://doi.org/10.3389/frobt.2018.00028},
doi = {10.3389/FROBT.2018.00028},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firai/KorthalsKCKJ018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08595,
author = {Timo Korthals and
Mikkel Kragh Hansen and
Peter Christiansen and
Ulrich R{\"{u}}ckert},
title = {Towards Inverse Sensor Mapping in Agriculture},
journal = {CoRR},
volume = {abs/1805.08595},
year = {2018},
url = {http://arxiv.org/abs/1805.08595},
eprinttype = {arXiv},
eprint = {1805.08595},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08595.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KraghCLLSGKJ17,
author = {Mikkel Kragh Hansen and
Peter Christiansen and
Morten Stigaard Laursen and
Morten Larsen and
Kim Arild Steen and
Ole Green and
Henrik Karstoft and
Rasmus Nyholm J{\o}rgensen},
title = {FieldSAFE: Dataset for Obstacle Detection in Agriculture},
journal = {Sensors},
volume = {17},
number = {11},
pages = {2579},
year = {2017},
url = {https://doi.org/10.3390/s17112579},
doi = {10.3390/S17112579},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/KraghCLLSGKJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KraghU17,
author = {Mikkel Kragh Hansen and
James Patrick Underwood},
title = {Multi-Modal Obstacle Detection in Unstructured Environments with Conditional
Random Fields},
journal = {CoRR},
volume = {abs/1706.02908},
year = {2017},
url = {http://arxiv.org/abs/1706.02908},
eprinttype = {arXiv},
eprint = {1706.02908},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KraghU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-03526,
author = {Mikkel Kragh Hansen and
Peter Christiansen and
Morten Stigaard Laursen and
Morten Larsen and
Kim Arild Steen and
Ole Green and
Henrik Karstoft and
Rasmus Nyholm J{\o}rgensen},
title = {FieldSAFE: Dataset for Obstacle Detection in Agriculture},
journal = {CoRR},
volume = {abs/1709.03526},
year = {2017},
url = {http://arxiv.org/abs/1709.03526},
eprinttype = {arXiv},
eprint = {1709.03526},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-03526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/TuHKA16,
author = {Gang Jun Tu and
Mikkel Kragh Hansen and
Per Kryger and
Peter Ahrendt},
title = {Automatic behaviour analysis system for honeybees using computer vision},
journal = {Comput. Electron. Agric.},
volume = {122},
pages = {10--18},
year = {2016},
url = {https://doi.org/10.1016/j.compag.2016.01.011},
doi = {10.1016/J.COMPAG.2016.01.011},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cea/TuHKA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/HoyerbyJMH16,
author = {Mikkel Hoyerby and
Jorgen Kragh Jakobsen and
Jesper Midtgaard and
Thomas Holm Hansen},
title = {A 2{\texttimes}70W Monolithic Five-Level Class-D Audio Power Amplifier
in 180 nm {BCD}},
journal = {{IEEE} J. Solid State Circuits},
volume = {51},
number = {12},
pages = {2819--2829},
year = {2016},
url = {https://doi.org/10.1109/JSSC.2016.2600251},
doi = {10.1109/JSSC.2016.2600251},
timestamp = {Sun, 30 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/HoyerbyJMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/HoyerbyJMHNH16,
author = {Mikkel Hoyerby and
Jorgen Kragh Jakobsen and
Jesper Midtgaard and
Thomas Holm Hansen and
Allan Nogueras Nielsen and
Hans Hasselby{-}Andersen},
title = {5.3 {A} 2{\texttimes}70W monolithic five-level Class-D audio power
amplifier},
booktitle = {2016 {IEEE} International Solid-State Circuits Conference, {ISSCC}
2016, San Francisco, CA, USA, January 31 - February 4, 2016},
pages = {92--93},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISSCC.2016.7417922},
doi = {10.1109/ISSCC.2016.7417922},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isscc/HoyerbyJMHNH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IngibergssonSHC16,
author = {Johann Thor Mogensen Ingibergsson and
Stefan{-}Daniel Suvei and
Mikkel Kragh Hansen and
Peter Christiansen and
Ulrik Pagh Schultz},
title = {Towards a {DSL} for Perception-Based Safety Systems},
journal = {CoRR},
volume = {abs/1603.01965},
year = {2016},
url = {http://arxiv.org/abs/1603.01965},
eprinttype = {arXiv},
eprint = {1603.01965},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IngibergssonSHC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icvs/KraghJP15,
author = {Mikkel Kragh Hansen and
Rasmus N. J{\o}rgensen and
Henrik Pedersen},
editor = {Lazaros Nalpantidis and
Volker Kr{\"{u}}ger and
Jan{-}Olof Eklundh and
Antonios Gasteratos},
title = {Object Detection and Terrain Classification in Agricultural Fields
Using 3D Lidar Data},
booktitle = {Computer Vision Systems - 10th International Conference, {ICVS} 2015,
Copenhagen, Denmark, July 6-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9163},
pages = {188--197},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20904-3\_18},
doi = {10.1007/978-3-319-20904-3\_18},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icvs/KraghJP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-17 07:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
