• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2019

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang

Controlling Signalized Intersections using Machine Learning

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Learning systems
traffic
Controllers
simulation
road
28 Downloads (Pure)

Efficient indexing of hashtags using bitmap indices

Subba, L. T., Thomsen, C. & Pedersen, T. B., 20 mar. 2019, I : CEUR Workshop Proceedings. 2324, 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Data warehouses

Investigation of the Profile of Laser Bends with Variable Scan Distance

Thomsen, A. N., Kristiansen, E., Kristiansen, M. & Endelt, B. Ø., 2019, I : Procedia Manufacturing. 36

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Laser beams
Lasers
Sheet metal
Inspection

Languages' impact on emotional classification methods

Eilertsen, A. C., Rose, D. H., Erichsen, P. L., Christensen, R. E. & Nath, R. P. D., sep. 2019, I : Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019. s. 277-286 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Statistical tests
Support vector machines
Classifiers
1 Citation (Scopus)

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

Mortensen, S. T. & Madsen, O., 1 dec. 2019, I : Procedia Manufacturing. 28, s. 90-95 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Hardware

Outline of an Industry 4.0 Awareness Game

Mortensen, S. T., Madsen, O. & Nygaard, K. K., 23 apr. 2019, I : Procedia Manufacturing. 31, 2019, s. 309-3015 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Industry
Education
Conveyors
Data mining
Industrial plants
5 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
2018
7 Citationer (Scopus)
255 Downloads (Pure)

A Virtual Commissioning Learning Platform

Mortensen, S. & Madsen, O., 23 apr. 2018, I : Procedia Manufacturing. 23, 2018, s. 93-98 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citation (Scopus)
64 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I : Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
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, I : IFAC-PapersOnLine. 51, 16, s. 259-264 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

91 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, I : Electronic Proceedings in Theoretical Computer Science. 277, s. 147-160 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Real time systems
Model checking
Testing
1 Citation (Scopus)
66 Downloads (Pure)

Influence of cooling on edge effects in laser forming

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Cooling
Lasers
Experiments
Temperature
3 Citationer (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, I : IFAC-PapersOnLine. 51, 24, s. 736-741

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
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, I : IFAC-PapersOnLine. 51, 24, s. 717-722 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
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, I : ITS World Congress. 6, 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Hardware
Cameras
Calibration
6 Downloads (Pure)
Åben adgang
Fil
2017

A Comprehensive Review of Data Governance Literature

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

116 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, I : Procedia Manufacturing. 11, s. 1826-1836 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Redundancy
Robotics
Robots
Sampling
Lasers
2 Citationer (Scopus)

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)
123 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, I : Physics Procedia. 89, s. 148-155

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
3 Citationer (Scopus)
244 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, I : Physics Procedia. 89, s. 197-204

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
7 Citationer (Scopus)
306 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, I : Procedia Manufacturing. 11, s. 83-90 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Robots
Manipulators
Sensors
51 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, I : IFAC-PapersOnLine. 50, 1, s. 5355-5360

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
17 Citationer (Scopus)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Åben adgang
3 Citationer (Scopus)

Evaluation of Communication Network State Estimators for Adaptive Power-Balancing

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Telecommunication networks
Controllers
Scheduling
Communication
Electric potential
96 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, I : IFAC-PapersOnLine. 50, 1, s. 11257-11262 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Waste heat utilization
Refrigeration
Cooling
Heating
Costs
114 Downloads (Pure)

Inline repair of blowouts during laser welding

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
7 Citationer (Scopus)
523 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, I : Procedia Manufacturing. 11, s. 114-123 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Mobile robots
Grippers
Collision avoidance
Manipulators
Robotics
109 Downloads (Pure)

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

Villumsen, S. & Kristiansen, M., 2017, I : Physics Procedia. 89, s. 164-171

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citation (Scopus)
53 Downloads (Pure)

Investigations of the Switching Dynamics in Sliding Mode Control

Simonsen, M., Schiøler, H. & Leth, J-J., jul. 2017, I : IFAC-PapersOnLine. 50, 1, s. 710-716

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
4 Citationer (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Markov processes
Experiments
17 Downloads (Pure)
Åben adgang
Fil
71 Downloads (Pure)

PRM Based Motion Planning for Sequencing of Remote Laser Processing Tasks

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Motion planning
Lasers
Processing
Redundancy
Robots
5 Citationer (Scopus)
99 Downloads (Pure)

Single-pass hybrid laser welding of 25 mm thick steel

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
117 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, I : Physics Procedia. 89, s. 205-213

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
49 Downloads (Pure)

Stochastic Stability Analysis of Control Systems with Uncertain Communication

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
13 Citationer (Scopus)
316 Downloads (Pure)

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

Madsen, O. & Møller, C., 1 jan. 2017, I : Procedia Manufacturing. 9, s. 106-112 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Teaching
Industry
Numbering systems
Industrial plants
Students

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
42 Downloads (Pure)

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

Hüttel, H., 31 aug. 2017, I : Electronic Proceedings in Theoretical Computer Science, EPTCS. 255, s. 67-82 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Acoustic waves
Åben adgang
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, I : Information Systems Frontiers. 18, 5, s. 909–925 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Modeling and Querying Spatial Data Warehouses on the Semantic Web

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Moment matching for bilinear systems with nice selections

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)
126 Downloads (Pure)

On the Stability and Performance of Remote DOE Laser Cutting

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
33 Citationer (Scopus)
181 Downloads (Pure)

Path cost distribution estimation using trajectory data

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil

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

Stoustrup, J. & Rantzer, A., 1 jan. 2016, I : IEEE Control Systems. 36, 6, s. 112-115 4 s., 7741025.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftFormidling

Autonomous agents
Traffic congestion
Freight transportation
Outages
Evolutionary algorithms
9 Citationer (Scopus)
54 Downloads (Pure)

VIP-Tree: An Effective Index for Indoor Spatial Queries

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
6 Citationer (Scopus)
43 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, I : Proceedings of the VLDB Endowment. 9, 13, s. 1453-1456 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
2015
5 Citationer (Scopus)

Effect of Cut Quality on Hybrid Laser Arc Welding of Thick Section Steels

Farrokhi, F., Nielsen, S. E., Schmidt, R. H., Pedersen, S. S. & Kristiansen, M., 2015, I : Physics Procedia. 78, s. 65-73

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang