Mariana Luderitz Kolberg

Orcid: 0000-0002-8117-4402

According to our database1, Mariana Luderitz Kolberg authored at least 40 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An Improved method to join BDDs for incompletely specified Boolean functions.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

Using Buildings Proximity Information in UAV Global Localization Over Satellite Images.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Mapping Crowd-based Dynamic Blockages for Navigation in Indoor Environments.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
Loop-Aware Exploration Graph: A concise representation of environments for exploration and active loop-closure.
Robotics Auton. Syst., 2022

Autonomous Environment Disinfection Based on Dynamic UV-C Irradiation Map.
IEEE Robotics Autom. Lett., 2022

Semantic Temporal Object Search System Based on Heat Maps.
J. Intell. Robotic Syst., 2022

2021
Interval Inspired Approach Based on Temporal Sequence Constraints to Place Recognition.
J. Intell. Robotic Syst., 2021

Semantic Active Visual Search System Based on Text Information for Large and Unknown Environments.
J. Intell. Robotic Syst., 2021

Robust Hybrid Interval-Probabilistic Approach for the Kidnapped Robot Problem.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2021

Traversability Analysis by Semantic Terrain Segmentation for Mobile Robots.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Three level sequence-based Loop Closure Detection.
Robotics Auton. Syst., 2020

Hybridisation of Sequential Monte Carlo Simulation with Non-linear Bounded-error State Estimation Applied to Global Localisation of Mobile Robots.
J. Intell. Robotic Syst., 2020

Monocular 3D Exploration using Lines-of-Sight and Local Maps.
J. Intell. Robotic Syst., 2020

Global Localization Over 2D Floor Plans with Free-Space Density Based on Depth Information.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Exploration of 3D terrains using potential fields with elevation-based local distortions.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019
A novel measurement model based on abBRIEF for global localization of a UAV over satellite images.
Robotics Auton. Syst., 2019

Map Point Optimization in Keyframe-Based SLAM using Covisibility Graph and Information Fusion.
Proceedings of the 19th International Conference on Advanced Robotics, 2019

c-M2DP: A Fast Point Cloud Descriptor with Color Information to Perform Loop Closure Detection.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2016
Long-term place recognition using multi-level words of spatial densities.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015
An efficient approach to solve very large dense linear systems with verified computing on clusters.
Numer. Linear Algebra Appl., 2015

A job profile oriented scheduling architecture for improving the throughput of industrial printing environments.
Comput. Ind. Eng., 2015

Using n-grams of spatial densities to construct maps.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Fast Monte Carlo Localization using spatial density information.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Ouroboros: Using potential field in unexplored regions to close loops.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014
Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Integrated exploration using time-based potential rails.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

JAR tool: using document analysis for improving the throughput of high performance printing environments.
Proceedings of the ACM Symposium on Document Engineering 2014, 2014

2013
Segmented DP-SLAM.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2012
Job profiling and queue management in high performance printing.
Comput. Sci. Res. Dev., 2012

2011
Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations.
Reliab. Comput., 2011

2010
The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2010, 2010

Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2010, 2010

2009
Parallel self-verified solver for dense linear systems.
PhD thesis, 2009

Job profiling in high performance printing.
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

High Performance Printing: Increasing Personalized Documents Rendering through PPML Jobs Profiling and Scheduling.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008
Dense Linear System: A Parallel Self-verified Solver.
Int. J. Parallel Program., 2008

Parallel Verified Linear System Solver for Uncertain Input Data.
Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, 2008

A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

2006
Optimizing a Parallel Self-verified Method for Solving Linear Systems.
Proceedings of the Applied Parallel Computing. State of the Art in Scientific Computing, 2006


  Loading...