• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

2019

Prescriptive Analytics: A Survey of Emerging Trends And Technologies

Frazzetto, D., Nielsen, T. D., Pedersen, T. B. & Siksnys, L., 1 aug. 2019, I : V L D B Journal. 24 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Industry
Decision making
Predictive analytics

Presentation of the 9th Edition of the Model Checking Contest

Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 jan. 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (red.). Physica-Verlag, s. 50-68 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11429 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Data storage equipment
Bronze
Program processors
Silver
2 Downloads (Pure)

Privacy-Constrained Biometric System for Non-Cooperative Users

Jahromi, M. N. S., Buch-Cardona, P., Avots, E., Nasrollahi, K., Guerrero, S. E., Moeslund, T. B. & Anbarjafari, G., 2019, I : Entropy. 21, 1033

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
privacy
biometrics
European Union
consolidation
learning

Privacy Preserving Recursive Least Squares Solutions

Mølgaard, K. T., Cascudo, I. & Wisniewski, R., 15 aug. 2019, 2019 18th European Control Conference (ECC). IEEE, s. 3490-3495 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

30 Downloads (Pure)

Probability of low altitude midair collision between general aviation and unmanned aircraft

La Cour-Harbo, A. & Schiøler, H., nov. 2019, I : Risk Analysis. 39, 11, s. 2499-2513 15 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Aviation
Aircraft
Risk assessment

Proposing Human-Robot Trust Assessment Through Tracking Physical Apprehension Signals in Close-Proximity Human-Robot Collaboration

Hald, K., Rehm, M. & Moeslund, T. B., 2019, 28th IEEE International Conference on Robot and Human Interactive Communication (ROMAN). The 28th IEEE International Conference on Robot and Human Interactive Communication: IEEE Computer Society Press

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Robots

Push-based Spatial Crowdsourcing for Enriching Semantic Tags in OpenStreetMap

Gummidi, B., Pedersen, T. B., Xie, X. & Zimányi, E., 8 nov. 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: SIGSPATIAL'19. Association for Computing Machinery, s. 532-535 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Heuristic methods
Semantics
18 Downloads (Pure)

Quality Inspection System for Robotic Laser Welding of Double-Curved Geometries

Mikkelstrup, A. F., Thomsen, M., Stampe, K., Endelt, B. Ø., Boll, J., Kristiansen, E. & Kristiansen, M., 26 aug. 2019, I : Procedia Manufacturing. 36, s. 50-57 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Laser beam welding
Robotics
Inspection
Trajectories
Geometry
6 Citationer (Scopus)
321 Downloads (Pure)

Quantifying Risk of Ground Impact Fatalities for Small Unmanned Aircraft

La Cour-Harbo, A., 15 feb. 2019, I : Journal of Intelligent and Robotic Systems. 93, 1-2, s. 367-384 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Aircraft
Flight paths
Stochastic models
Risk assessment
Aviation

Rare-events classification: An approach base d on Genetic Algorithm and Voronoi Tessellation

Khan, A. R., Schiøler, H., Zaki, M., Kulahci, M. & Knudsen, T., 2019, (Afsendt) The 22nd Pacific-Asia Conference on Knowledge Discovery and Data Mining. IEEE

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Reaching behind Specular Highlights by Registration of Two Images of Broiler Viscera

Jørgensen, A., Pedersen, M., Gade, R., Fagertun, J. & Moeslund, T. B., jun. 2019, Computer Vision – ACCV 2018 Workshops. Springer, (Lecture Notes in Computer Science, Bind 11367).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Inspection
Poultry
Computer vision
Processing

Reading circular analogue gauges using digital image processing

Lauridsen, J. S., Graasmé, J. A. G., Pedersen, M., Jensen, D. G., Andersen, S. H. & Moeslund, T. B., 2019, (Accepteret/In press) Proceedings of the 14th International Conference on Computer Vision Theory and Applications.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Gages
Image processing
Time series
Principal component analysis
Computer vision

Reconfigurability analysis of piecewise affine systems against sensor and actuator faults

Tabatabaeipour, S. M., Gholami, M. & Bak, T., 2019, (Afsendt) I : International Journal of Control.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 okt. 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Reengineering
1 Citation (Scopus)

Reliable flight control system architecture for agile airborne platforms: an asymmetric multiprocessing approach

Majumder, S., Nielsen, J. F. D., Bak, T. & La Cour-Harbo, A., 3 jun. 2019, I : The Aeronautical Journal. 123, 1264, s. 840-862 23 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Flight control systems
Hardware
Field programmable gate arrays (FPGA)
Aircraft
Communication

Remote Tongue Based Control of a Wheelchair Mounted Assistive Robotic Arm – a proof of concept study

Pálsdóttir, Á. A., Dosen, S., Mohammadi, M. & Struijk, L. N. S. A., aug. 2019, 2019 IEEE International Conference on Mechatronics and Automation (ICMA). IEEE, s. 1300-1304 5 s. 8816415. (IEEE International Conference on Mechatronics and Automation (ICMA)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Robotic arms
Wheelchairs
Bottles
Interfaces (computer)
Sand
1 Citation (Scopus)
1 Downloads (Pure)

Retrieving textual evidence for knowledge graph facts

Ercan, G., Elbassuoni, S. & Hose, K., 1 jan. 2019, The Semantic Web. Janowicz, K., Haller, A., Zaveri, A., Gray, A. J. G., Hitzler, P., Hammar, K., Lopez, V. & Fernández, M. (red.). Portorož, Slovenia: Springer, Bind 11503. s. 52-67 16 s. (Lecture Notes in Computer Science, Bind 11503 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Semantics

Robotteknologi

Struijk, L. N. S. A. & Thomsen, L., mar. 2019, I : RYK. 41, 1, s. 24-25 2 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
25 Downloads (Pure)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 nov. 2019, I : AIAA Journal. 16, 11

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Avionics
Model checking
Stop watches
Ethernet
Concretes
123 Downloads (Pure)

Seed-Driven Geo-Social Data Extraction

Isaj, S. & Pedersen, T. B., 19 aug. 2019, International Symposium on Spatial and Temporal Databases: SSTD. s. 11-20 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Seed
Experiments

Segmented Suction Bucket

Hallum Steensgaard, N., Ibsen, L. B., Kristiansen, M., Kryger, A., Kyvsgaard Hansen, P. H., Langbak Nielsen, S. A., Madsen, F. D., Soerensen, J., Thomsen, J. & Villumsen, S., 21 feb. 2019, IPC nr. E02B 17/ 00 A N, Patentnr. WO2019034616, Prioritetsdato 17 aug. 2017, Prioritetsnr. EP20170186731

Publikation: Patent

Åben adgang
suction
marine sediment
12 Downloads (Pure)

Self-learning Processes in Smart Factories: Deep Reinforcement Learning for Process Control of Robot Brine Injection

Andersen, R. E., Madsen, S., Barlo, A. B. K., Blegebrønd Johansen, S., Nør, M., Andersen, R. S. & Bøgh, S., 2019, 29th International Conference on Flexible Automation and Intelligent Manufacturing: FAIM 2019. Elsevier, 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil

Semi-Autonomous Tongue-Control of an Assistive Robotic ARM for Individuals with Quadriplegia

Hildebrand, M., Bonde, F., Kobborg, R. V. N., Andersen, C., Norman, A. F., Thøgersen, M., Bengtson, S. H., Dosen, S. & Struijk, L. N. S. A., 1 jun. 2019, 2019 IEEE 16th International Conference on Rehabilitation Robotics (ICORR). IEEE, Bind 2019. s. 157-162 6 s. (I E E E International Conference on Rehabilitation Robotics. Proceedings, Bind 16).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Manipulators
Robotics
End effectors
Manual control
Degrees of freedom (mechanics)

Skyline Queries over Knowledge Graphs

Keles, I. & Hose, K., 17 okt. 2019, The Semantic Web – ISWC 2019. Springer, s. 293-310 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Query processing
Decision making
Experiments

Sliding Mode Control With Grid Voltage Modulated Direct Power Control for Three-Phase AC-DC Converter

Gui, Y., Bendtsen, J. D. & Stoustrup, J., jul. 2019, 2019 Chinese Control Conference (CCC). Fu, M. & Sun, J. (red.). IEEE, s. 7436-7441 6 s. 8865280. (Chinese Control Conference, CCC, Bind 2019-July).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Sliding mode control
Power control
Reactive power
Electric potential
Voltage control
4 Downloads (Pure)

Spatially-Varying Diffuse Reflectance Capture Using Irradiance Map Rendering for Image-Based Modeling Applications

Ladefoged, K. S. & Madsen, C. B., 14 nov. 2019, 2019 IEEE International Symposium on Mixed and Augmented Reality. IEEE Computer Society Press

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

Spatio-Textual Data

Cong, G. & Jensen, C. S., 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. Y. (red.). Springer, 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingEncyclopædiartikelForskningpeer review

18 Downloads (Pure)
Åben adgang
Fil
Model predictive control
Model checking
Power electronics
Aviation
Sensor networks

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, (Ikke-udgivet) Proceedings of 34th IEEE International Conference on Data Engineering, ICDE 2019. IEEE

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Structural integrity management with unmanned aerial vehicles: State-of-the-art review and outlook

Kapoor, M., Katsanos, E., Thöns, S., Nalpantidis, L. & Winkler, J., 1 jan. 2019, Life-Cycle Analysis and Assessment in Civil Engineering: Towards an Integrated Vision - Proceedings of the 6th International Symposium on Life-Cycle Civil Engineering, IALCCE 2018. Frangopol, D. M., Caspeele, R. & Taerwe, L. (red.). CRC Press, s. 2161-2168 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Structural integrity
Unmanned aerial vehicles (UAV)
Structural health monitoring
Information analysis
Monitoring

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, I : Journal of Logical and Algebraic Methods in Programming. 102, s. 46-63 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Petri nets
Petri Nets
State Space
Partial Order
Arc of a curve
6 Downloads (Pure)

Sustainable Energy Systems Planning, Integration, and Management

Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., okt. 2019, I : Applied Sciences. 9, 20, 5 s.

Publikation: Bidrag til tidsskriftLederForskningpeer review

Åben adgang
Fil
planning
Sustainable development
Planning
Health risks
Cooking
2 Citationer (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Mariegaard, A., Larsen, K. G. & Jensen, M. C., 2019, NASA Formal Methods. Springer, Bind 11460. s. 298-315 18 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
3 Downloads (Pure)

Teaching Pepper Robot to Recognize Emotions of Traumatic Brain Injured Patients Using Deep Neural Networks

Ilyas, C. M. A., Schmuck, V., Haque, M. A., Nasrollahi, K., Rehm, M. & Moeslund, T. B., 12 okt. 2019, 28th IEEE International Conference on Robot and Human Interactive Communication (ROMAN). The 28th IEEE International Conference on Robot and Human Interactive Communication

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Brain
Teaching
Robots
Human robot interaction
Patient rehabilitation

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 okt. 2019, LNCS: ATVA 2019: Automated Technology for Verification and Analysis. Bind 11781. s. 81-97

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Reinforcement learning
Teaching
Controllers
Cyber Physical System

Temporal Constraints in Human-Building Interaction

Lundgaard, S. S., Kjeldskov, J. & Skov, M., 2019, I : ACM Transactions on Computer-Human Interaction. 26, 2

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Interactive computer systems
19 Downloads (Pure)

The chance for sociability - An institutional corridor as a place for learning for adolescents with brain injury

Krummheuer, A. L., Rehm, M., Lund, M. K. L. & Nielsen, K. N., 2019, I : Interaction Design and Architecture(s). 39, s. 78-95 4.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
sociability
Ecosystems
Brain Injuries
Brain
brain

The Influence of Open Innovation on Digital Transformation of the Manufacturing System

Larsen, M. S. S., Schou, C. & Lassen, A. H., 3 okt. 2019, (Accepteret/In press).

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

2 Citationer (Scopus)
170 Downloads (Pure)

The reachable 3-D workspace volume is a measure of payload and body-mass-index: A quasi-static kinetic assessment

Castro, M. N., Rasmussen, J., Bai, S. & Andersen, M. S., feb. 2019, I : Applied Ergonomics. 75, C, s. 108-119 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Dynamometers
Torso
Body Mass Index
Kinetics
Costs

TONGUE-BRAIN COMPUTER INTERFACE FOR ROBOTIC CONTROL

Kæseler, R. L., Jochumsen, M. & Struijk, L. N. S. A., 9 okt. 2019, s. 1. 1 s.

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskning

Brain computer interface
Robotics
Bottles
Hybrid systems
Brain

Tongue control of exoskeletons and assistive robotic arms for individuals with tetraplegia

Struijk, L. N. S. A., Mohammadi, M., Thøgersen, M., Bengtson, S. H., Kobbelgaard, F. V., Gull, M. A., Kanstrup, A. M., Gaihede, M., Kasch, H. & Moeslund, T. B., 2019, Abstract book from the 16th Congress of the Nordic Spinal Cord Society : NoSCoS2019. s. 51 1 s. O26

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskningpeer review

Åben adgang

Towards a Robot Simulation Framework for E-waste Disassembly Using Reinforcement Learning

Brohus Kristensen, C., Arentz Sørensen, F., Bjørn Dalgaard Brandt Nielsen, H., Søndergaard Andersen, M., Poll Bendtsen, S. & Bøgh, S., 2019, (Accepteret/In press) 29th International Conference on Flexible Automation and Intelligent Manufacturing: FAIM 2019. 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Towards longitudinal analytics on social media data

Xia, F., Yang, B., Yu, C., Qian, W. & Zhou, A., apr. 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE Computer Society Press, s. 350-361 12 s. 8731609. (Proceedings - International Conference on Data Engineering, Bind 2019-April).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Time series
Query processing
1 Citation (Scopus)
37 Downloads (Pure)

Toward Standardizing the Classification of Robotic Gait Rehabilitation Systems

Ayad, S., Ayad, M., Megueni, A., Spaich, E. G. & Struijk, L. N. S. A., 2019, I : IEEE Reviews in Biomedical Engineering. 12, s. 138-153 16 s., 8572762.

Publikation: Bidrag til tidsskriftReview (oversigtsartikel)Forskningpeer review

Åben adgang
Fil
Patient rehabilitation
Robotics

Trajectory Adaptation for an Impedance Controlled Cooperative Robot According to an Operator's Force

Yousefizadeh, S., Méndez, J. D. D. F. & Bak, T., 1 jul. 2019, I : Automation in Construction. 103, s. 213-220 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Trajectory splicing

Lu, Q., Wang, R., Yang, B. & Wang, Z., 1 jan. 2019, (Accepteret/In press) I : Knowledge and Information Systems. s. 1-34

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Trajectories
Polynomials
24 Downloads (Pure)

Transferring Human Manipulation Knowledge to Industrial Robots Using Reinforcement Learning

Arana-Arexolaleibo, N., Anguiozar, N. U., Chrysostomou, D. & Bøgh, S., 2019, 29th International Conference on Flexible Automation and Intelligent Manufacturing: FAIM 2019. 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Industrial robots
Reinforcement learning
Robots
Robot programming
Computer systems programming

Underneath the Skin: An Analysis of YouTube Videos to Understand Insertable Device Interaction

Komkaite, A., Lavrinovica, L., Vraka, M. & Skov, M., maj 2019, (Accepteret/In press) CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Radio frequency identification (RFID)
Skin
Health
Experiments

Understanding Behaviors in Videos through Behavior-Specific Dictionaries

Ren, H., Liu, W., Olsen, S. I., Escalera, S. & Moeslund, T. B., 2019, (Accepteret/In press) I : Computer Vision and Image Understanding. s. 1-58 58 s.

Publikation: Bidrag til tidsskriftReview (oversigtsartikel)Forskningpeer review

Glossaries
Stairs
Scalability
Pixels