• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Conference article in Journal
2019

Comprehensive audience expansion based on end-To-end neural prediction

Jiang, J., Lin, X., Yao, J. & Lu, H., 1 Jan 2019, In : CEUR Workshop Proceedings. 2410

Research output: Contribution to journalConference article in JournalResearchpeer-review

Feature extraction
Marketing

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, In : Leibniz International Proceedings in Informatics. 140, p. 1 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, In : Transportation Research Procedia.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Learning systems
traffic
Controllers
simulation
road
32 Downloads (Pure)

Efficient indexing of hashtags using bitmap indices

Subba, L. T., Thomsen, C. & Pedersen, T. B., 20 Mar 2019, In : CEUR Workshop Proceedings. 2324, 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Data warehouses
6 Downloads (Pure)

Investigation of the Profile of Laser Bends with Variable Scan Distance

Thomsen, A. N., Kristiansen, E., Kristiansen, M. & Endelt, B. Ø., 2019, In : Procedia Manufacturing. 36, p. 192-199 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Laser beams
Lasers
Sheet metal
Inspection
1 Citation (Scopus)
1 Downloads (Pure)

Operational Classification and Method for Reconfiguration & Recommissioning of Changeable Manufacturing Systems on System Level

Mortensen, S. T. & Madsen, O., 1 Dec 2019, In : Procedia Manufacturing. 28, p. 90-95 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Hardware
1 Downloads (Pure)

Outline of an Industry 4.0 Awareness Game

Mortensen, S. T., Nygaard, K. K. & Madsen, O., 23 Apr 2019, In : Procedia Manufacturing. 31, p. 309-315 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Industry
Education
Conveyors
Data mining
Industrial plants
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, In : Procedia Manufacturing. 36, p. 50-57 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Laser beam welding
Robotics
Inspection
Trajectories
Geometry
2018
7 Citations (Scopus)
268 Downloads (Pure)

A Virtual Commissioning Learning Platform

Mortensen, S. & Madsen, O., 23 Apr 2018, In : Procedia Manufacturing. 23, 2018, p. 93-98 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
1 Citation (Scopus)
72 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 259-264 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

102 Downloads (Pure)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Model checking
Testing
1 Citation (Scopus)
79 Downloads (Pure)

Influence of cooling on edge effects in laser forming

Thomsen, A. N., Kristiansen, E., Kristiansen, M. & Endelt, B. Ø., 2018, In : Procedia CIRP. 74, p. 394-397 4 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Cooling
Lasers
Experiments
Temperature
3 Citations (Scopus)

Leakage localization in water distribution using data-driven models and sensitivity analysis

Jensen, T. N., Puig, V., Romera, J., Kallesøe, C. S., Wisniewski, R. & Bendtsen, J. D., 2018, In : IFAC-PapersOnLine. 51, 24, p. 736-741

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
Sensitivity analysis
Water
Water supply
Potable water

Residual generation for leakage signatures in water supply networks with multiple inlets

Jensen, T. N., Kallesøe, C. S., Wisniewski, R. & Bendtsen, J. D., 2018, In : IFAC-PapersOnLine. 51, 24, p. 717-722 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
Water supply
Potable water
Water

Towards a ground truth of AADT on using video data and tracking software?

Øhlenschlæger, R., Lahrmann, H. S., Moeslund, T. B., Bahnsen, C. H. & Agerholm, N., 2018, In : ITS World Congress. 6, 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Hardware
Cameras
Calibration
7 Downloads (Pure)
Open Access
File
2017

A Comprehensive Review of Data Governance Literature

Benfeldt Nielsen, O., 2017, In : IRIS: Selected Papers of the Information Systems Research Seminar in Scandinavia. 8, p. 120-133

Research output: Contribution to journalConference article in JournalResearchpeer-review

3 Citations (Scopus)

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 Jan 2017, In : CEUR Workshop Proceedings. 1906, p. 9-17 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Recommender systems
Experiments
129 Downloads (Pure)

A Framework for Task Sequencing for Redundant Robotic Remote Laser Processing Equipment Based on Redundancy Space Sampling

Villumsen, S. L. & Kristiansen, M., 2017, In : Procedia Manufacturing. 11, p. 1826-1836 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Redundancy
Robotics
Robots
Sampling
Lasers
2 Citations (Scopus)

A Hierarchical Nearly Cyclic Pursuit for Consensus in Large-Scale Multi-agent Systems

Iqbal, M., Leth, J-J. & Ngo, T. D., 2017, In : IET Control Theory & Applications. 11, 5, p. 740 - 746 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)
134 Downloads (Pure)

A New Method for Calculating the Error Term Used in 2D Feedback Control of Laser Forming

Thomsen, A. N., Endelt, B. Ø. & Kristiansen, M., 2017, In : Physics Procedia. 89, p. 148-155

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
3 Citations (Scopus)
256 Downloads (Pure)

Application of Hybrid Laser arc Welding for the Joining of Large Offshore Steel Foundations

Kristiansen, M., Farrokhi, F., Kristiansen, E. & Villumsen, S., 2017, In : Physics Procedia. 89, p. 197-204

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
7 Citations (Scopus)
320 Downloads (Pure)

A Skill-based Robot Co-worker for Industrial Maintenance Tasks

Koch, P. J., van den Broek, M. K., Dębska, P., Thormann, M. A., Tetzlaff, A. J., Bøgh, S. & Chrysostomou, D., 19 Sep 2017, In : Procedia Manufacturing. 11, p. 83-90 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Robots
Manipulators
Sensors
62 Downloads (Pure)

Asymptotic set-point regulation for a large class of non-linear hydraulic networks

Jensen, T. N., Kallesøe, C. S. & Wisniewski, R., 2017, In : IFAC-PapersOnLine. 50, 1, p. 5355-5360

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
18 Citations (Scopus)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, D., Larsen, K. G. & Tini, S., 2017, In : Logical Methods in Computer Science. 12, 4

Research output: Contribution to journalConference article in JournalResearch

Open Access
3 Citations (Scopus)

Evaluation of Communication Network State Estimators for Adaptive Power-Balancing

Findrik, M., Pedersen, R., Sloth, C. & Schwefel, H-P., Mar 2017, In : Computer Science - Research and Development. 32, 1-2, p. 247-254 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Telecommunication networks
Controllers
Scheduling
Communication
Electric potential
106 Downloads (Pure)

From Consumption to Prosumption - Operational Cost Optimization for Refrigeration System With Heat Waste Recovery

Minko, T., Garcia, J. L., Bendtsen, J. D., Wisniewski, R. & Izadi-Zamanabadi, R., 1 Aug 2017, In : IFAC-PapersOnLine. 50, 1, p. 11257-11262 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Waste heat utilization
Refrigeration
Cooling
Heating
Costs
126 Downloads (Pure)

Inline repair of blowouts during laser welding

Hansen, K. S., Olsen, F. O., Kristiansen, M. & Madsen, O., 2017, In : Physics Procedia. 89, p. 58-69

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
7 Citations (Scopus)
549 Downloads (Pure)

Integration of a Skill-based Collaborative Mobile Robot in a Smart Cyber-Physical Environment

Andersen, R. E., Hansen, E. B., Cerny, D., Madsen, S., Pulendralingam, B., Bøgh, S. & Chrysostomou, D., 19 Sep 2017, In : Procedia Manufacturing. 11, p. 114-123 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Mobile robots
Grippers
Collision avoidance
Manipulators
Robotics
117 Downloads (Pure)

Investigation of Cutting Quality of Remote DOE Laser Cutting in 0.5 mm Stainless Steel

Villumsen, S. & Kristiansen, M., 2017, In : Physics Procedia. 89, p. 164-171

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
1 Citation (Scopus)
64 Downloads (Pure)

Investigations of the Switching Dynamics in Sliding Mode Control

Simonsen, M., Schiøler, H. & Leth, J-J., Jul 2017, In : IFAC-PapersOnLine. 50, 1, p. 710-716

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
4 Citations (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In : Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
Markov processes
Experiments
20 Downloads (Pure)
Open Access
File
79 Downloads (Pure)

PRM Based Motion Planning for Sequencing of Remote Laser Processing Tasks

Villumsen, S. L. & Kristiansen, M., 2017, In : Procedia Manufacturing. 11, p. 300-310 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Motion planning
Lasers
Processing
Redundancy
Robots
5 Citations (Scopus)
112 Downloads (Pure)

Single-pass hybrid laser welding of 25 mm thick steel

Farrokhi, F., Larsen, R. M. & Kristiansen, M., 2017, In : Physics Procedia. 89, p. 49-57 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
131 Downloads (Pure)

Single Pass Laser Welding with Multiple Spots to Join Four Sheets in a Butt-joint Configuration

Kristiansen, M., Hansen, K. S., Langbak, A., Johansen, S. B., Krempin, S. B. & Hornum, M. D., 2017, In : Physics Procedia. 89, p. 205-213

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
54 Downloads (Pure)

Stochastic Stability Analysis of Control Systems with Uncertain Communication

Sloth, C. & Wisniewski, R., 2017, In : IFAC-PapersOnLine. 50, 1, p. 6172-6177

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
13 Citations (Scopus)
335 Downloads (Pure)

The AAU Smart Production Laboratory for Teaching and Research in Emerging Digital Manufacturing Technologies

Madsen, O. & Møller, C., 1 Jan 2017, In : Procedia Manufacturing. 9, p. 106-112 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Teaching
Industry
Numbering systems
Industrial plants
Students

Using Session Types for Reasoning About Boundedness in the Pi-Calculus

Huttel, H., 2017, In : Electronic Proceedings in Theoretical Computer Science. 222, p. 67-82 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
48 Downloads (Pure)

Using session types for reasoning about boundedness in the π-calculus

Hüttel, H., 31 Aug 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 255, p. 67-82 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Acoustic waves

Videoanalyse af konflikter i Jammerbugt: hvad får vi ekstra i forhold til en traditionel uheldsanalyse?

Madsen, T. K. O., Tønning, C., Holt, L. & Lahrmann, H. S., Aug 2017, In : Artikler fra Trafikdage på Aalborg Universitet. 2017, 10 p.

Research output: Contribution to journalConference article in JournalResearch

Open Access
2016
1 Citation (Scopus)

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 Jun 2016, In : Information Systems Frontiers. 18, 5, p. 909–925 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)

Modeling and Querying Spatial Data Warehouses on the Semantic Web

Gur, N., Hose, K., Pedersen, T. B. & Zimanyi, E., 2016, In : Lecture Notes in Computer Science. 9544, p. 3-22 20 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Moment matching for bilinear systems with nice selections

Petreczky, M., Wisniewski, R. & Leth, J-J., 2016, In : IFAC Workshop Series. 49, 18, p. 838-843 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)
141 Downloads (Pure)

On the Stability and Performance of Remote DOE Laser Cutting

Villumsen, S., Kristiansen, M. & Olsen, F. O., 2016, In : Physics Procedia. 83, p. 1206-1216

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
34 Citations (Scopus)
189 Downloads (Pure)

Path cost distribution estimation using trajectory data

Dai, J., Yang, B., Guo, C., Jensen, C. S. & Hu, J., 2016, In : Proceedings of the VLDB Endowment. 10, 3, p. 85-96 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File

The 15th European Control Conference (ECC16) [Conference Reports]

Stoustrup, J. & Rantzer, A., 1 Jan 2016, In : IEEE Control Systems. 36, 6, p. 112-115 4 p., 7741025.

Research output: Contribution to journalConference article in JournalCommunication

Autonomous agents
Traffic congestion
Freight transportation
Outages
Evolutionary algorithms
9 Citations (Scopus)
55 Downloads (Pure)

VIP-Tree: An Effective Index for Indoor Spatial Queries

Shao, Z., Cheema, M. A., Taniar, D. & Lu, H., 2016, In : Proceedings of the VLDB Endowment. 10, 4, p. 325-336

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
6 Citations (Scopus)
48 Downloads (Pure)

Vita: A Versatile Toolkit for Generating Indoor Mobility Data for Real-World Buildings

Li, H., Lu, H., Chen, X., Chen, G., Chen, K. & Shou, L., 2016, In : Proceedings of the VLDB Endowment. 9, 13, p. 1453-1456 4 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File