• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2018
2 Citationer (Scopus)
27 Downloads (Pure)

MOVE: A Mobile App Designed for Social Health Relations in Residential Areas

Kanstrup, A. M., Bertelsen, P. S., Nunez, H. C., Jonasen, T. S. & Stage, J., 2018, Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth. Klein, G. O., Karlsson, D., Moen, A. & Ugon, A. (red.). IOS Press, Bind 247. s. 496-500 5 s. (Studies in Health Technology and Informatics).

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

Åben adgang
Fil
Application programs
Health
Health risks

Multi-rotor wind turbine control challenge - A benchmark for advanced control development

Sørensen, K., Knudsen, T., Filsoof, O., Hovgaard, T., Grunnet, J., Neto, J. & Wisniewski, R., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications, CCTA 2018. IEEE, s. 1615-1622 8 s. 8511511

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

Wind turbines
Rotors
Fatigue of materials
Animation
Turbines
1 Citation (Scopus)
106 Downloads (Pure)

Multi-zone modeling and energy efficient control of shopping center cooling

Petersen, J. B., Bendtsen, J. D. & Stoustrup, J., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications, CCTA 2018. IEEE, s. 533-538 6 s. 8511559. (IEEE Conference on Control Technology and Applications (CCTA)).

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

Åben adgang
Fil
Shopping centers
Cooling
Table lookup
Disturbance rejection
Level control
1 Citation (Scopus)

NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 aug. 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, s. 21-26 6 s.

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

Industry
Virtual machine

Neural Explainable Collective Non-negative Matrix Factorization for Recommender Systems

Costa, F. & Dolog, P., 2018, Proceedings of the 14th International Conference on Web Information Systems and Technologies, WEBIST 2018, Seville, Spain, September 18-20, 2018.. Escalona, M. J., Mayo, F. J. D., Majchrzak, T. A. & Monfort, V. (red.). SCITEPRESS Digital Library, s. 35-45 11 s.

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

Node selection in large networks

Logins, A., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1689-1693 5 s. 8509437. (Proceedings of the International Conference on Data Engineering).

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

Logistics
Marketing
Computational complexity
Planning
Uncertainty
53 Downloads (Pure)

Occupancy Analysis of Soccer Fields Using Wide-Angle Lens

Huda, N. U., Hansen, B. D., Gade, R. & Moeslund, T. B., 9 apr. 2018, 13th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS). Dipanda, A., Chbeir, R., Nain, N., Yetongnon, K. & Gallo, L. (red.). Jaipur, India: IEEE, s. 354-359 6 s.

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

Structural properties
Luminance
Lenses
Cameras
Color
2 Citationer (Scopus)

On and off the table: Re-imagining food and wine interactions

Davis, H., Paay, J., Kjeldskov, J. & Dolejšová, M., 4 dec. 2018, OzCHI '18 Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 612-617 6 s.

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

wines
music
functional foods
researchers
fermentation

On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, s. 3421-3430 10 s.

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

Learning systems
Availability
2 Citationer (Scopus)

On the Almost Global Stability of Invariant Sets

Karabacak, O., Wisniewski, R. & Leth, J., 27 nov. 2018, 2018 European Control Conference, ECC 2018. IEEE, s. 1648-1653 6 s. 8550488

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

Invariant Set
Global Stability
Density Theorem
Lyapunov Theorem
Discrete-time Systems
2 Citationer (Scopus)

On the Existence of Polynomial Lyapunov Functions for Rationally Stable Vector Fields

Leth, T., Wisniewski, R. & Sloth, C., 18 jan. 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. IEEE, Bind 2018-January. s. 4884-4889 6 s.

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

2 Citationer (Scopus)
23 Downloads (Pure)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 jan. 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

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

Åben adgang
Fil
Random variables
Experiments
Uncertainty
1 Citation (Scopus)

Optimal and robust controller synthesis: Using energy timed automata with uncertainty

Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 jan. 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (red.). Springer, s. 203-221 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).

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

Computability and decidability
Hydraulics
Pumps
Controllers
Uncertainty
2 Citationer (Scopus)

Origin-destination trajectory diversity analysis: Efficient top-k diversified search

He, D., Ruan, B., Zheng, B. & Zhou, X., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 135-144 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Trajectories
Costs
13 Citationer (Scopus)

Outlier detection for multidimensional time series using deep neural networks

Kieu, T., Yang, B. & Jensen, C. S., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 125-134 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Time series
Deep neural networks
Neural networks
Analog to digital conversion
Accelerometers
96 Downloads (Pure)

Parametric Multi-Channel Separation and Re-Panning of Harmonics Sources

Hansen, M. W., Hjerrild, J. M., Christensen, M. G. & Kjeldskov, J., 4 sep. 2018, Proceedings of the 21st International Conference on Digital Audio Effects (DAFx-18), Aveiro, Portugal, September 4–8, 2018. Universidade de Aveiro, Comissão Editorial, 8 s. (International Conference on Digital Audio Effects).

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

Åben adgang
Fil
Loudspeakers
Demonstrations
633 Downloads (Pure)

Parking Space Verification: Improving Robustness Using A Convolutional Neural Network

Jensen, T. H. P., Schmidt, H. T., Bodin, N. D., Nasrollahi, K. & Moeslund, T. B., 2018, Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SCITEPRESS Digital Library, Bind 5. s. 311-318

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

Åben adgang
Fil
Parking
Neural networks
Classifiers
Railroad cars
Lighting
2 Citationer (Scopus)

Passenger trip planning using ride-sharing services

Svangren, M. K., Skov, M. B. & Kjeldskov, J., 20 apr. 2018, CHI 2018 - In proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Bind 2018-April. 480

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

Human computer interaction
Planning
Traffic congestion
Air pollution
Railroad cars
134 Downloads (Pure)

Patient’s Body Motion Study using Multimodal RGBDT Videos

Haque, M. A., Kjeldsen, S. S., Arguissain, F. G., Brunner, I., Nasrollahi, K., Andersen, O. K., Nielsen, J. F., Moeslund, T. B. & Jørgensen, A., 2018, Advances in Visual Computing: 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 – 21, 2018, Proceedings. Springer, s. 552-564 12 s. (Lecture Notes in Computer Science, Bind 11241).

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

Fil
Optical flows
Taxonomies
Patient rehabilitation
Learning systems
Brain

Physical Human Robot Interaction for a Wall Mounting Robot - External Force Estimation

Arruñada, N. V., García, A. A., Pedersen, R. & Bak, T., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, s. 1546-1551 6 s. 8511329

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

Human robot interaction
Mountings
Robots
Extended Kalman filters
Dynamic models

Plug-and-play Commissionable Models for Water Networks with Multiple Inlets

Jensen, T. N., Kallesøe, C. S., Bendtsen, J. D. & Wisniewski, R., 2018, 2018 European Control Conference (ECC). IEEE, 6 s.

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

7 Citationer (Scopus)

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

Schmid, S. & Srba, J., 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications. IEEE, s. 1799-1807 9 s. (I E E E Infocom. Proceedings).

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

Telecommunication networks
Polynomials
Automata theory
Complex networks
Transparency

Predicting passenger’s public transportation travel route using smart card data

Yang, C., Chen, W., Zheng, B., He, T., Zheng, K. & Su, H., 1 jan. 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, s. 199-213 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988 LNCS).

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

Smart cards
Urban planning
Scheduling
Neural networks
Experiments
3 Citationer (Scopus)

Predicting Visitors Using Location-Based Social Networks

Saleem, M. A., Da Costa, F. S., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T., 28 jun. 2018, 19th IEEE International Conference on Mobile Data Management (MDM). IEEE Computer Society Press, Bind 2018-June. s. 245-250 6 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Factorization
Recommender systems
Logistics
Marketing
Experiments
4 Citationer (Scopus)

P-Rex: fast verification of MPLS networks with multiple link failures

Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, s. 217-227 11 s. (Conference on Emerging Networking EXperiments and Technologies).

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

Switching networks
Labels
Routers
Query languages
Electric network analysis
7 Citationer (Scopus)

Price-and-Time-Aware Dynamic Ridesharing

Chen, L., Zhong, Q., Xiao, X., Gao, Y., Jin, P. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1061-1072 12 s. 8509320. (Proceedings of the International Conference on Data Engineering).

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

Parking
Travel time
Air pollution
Fuel consumption
Costs
10 Downloads (Pure)

Programmatic ETL

Thomsen, C., Andersen, O., Jensen, S. K. & Pedersen, T. B., 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimányi, E. (red.). Cham: Springer Publishing Company, s. 21-50 30 s. (Lecture Notes in Business Information Processing, Bind 324).

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

Åben adgang
Fil
Mathematical transformations
Data warehouses
Graphical user interfaces

QuittyLink: Involving Smokers in the Design of Technology that Supports Individuals in Quitting

Paay, J., Kjeldskov, J., Brinthaparan, U., Lichon, L., Rasmussen, S. & Srikandarajah, N., 4 jun. 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University

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

Åben adgang
Health
Health risks
Smartphones
Smoke
Economics
10 Downloads (Pure)

Rehabilitation of Traumatic Brain Injured Patients: Patient Mood Analysis from Multimodal Video

Ilyas, C. M. A., Nasrollahi, K., Rehm, M. & Moeslund, T. B., 7 okt. 2018, 2018 IEEE International Conference on Image Processing: ICIP 2018. IEEE, s. 2291-2295 5 s. 8451223. (IEEE International Conference on Image Processing (ICIP)).

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

Fil
Rehabilitation
Brain
Facial Expression
Long-Term Memory
Short-Term Memory
4 Citationer (Scopus)

REST: A Reference-based Framework for Spatio-temporal Trajectory Compression

Zhao, Y., Shang, S., Wang, Y., Zheng, B., Nguyen, Q. V. H. & Zheng, K., 19 jul. 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. s. 2797-2806 10 s.

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

Trajectories
Query processing
Dynamic programming
Global positioning system
Communication

Reverse top-k query on uncertain preference

Li, G., Chen, Q., Zheng, B. & Zhao, X., 1 jan. 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, s. 350-358 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988).

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

Experiments
Design optimization
2 Citationer (Scopus)

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

Riesz Space
Modal Logic
Markov Process
Logic
Monads
1 Citation (Scopus)

Safe and sound program analysis with Flix

Madsen, M. & Lhoták, O., 12 jul. 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (red.). Association for Computing Machinery, s. 38-48 11 s.

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

Static analysis
Functional programming
Logic programming
Surface mount technology
Computer programming languages

Scalable Hypergraph-Based Image Retrieval and Tagging System

Chen, L., Gao, Y., Zhang, Y., Wang, S. & Zheng, B., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 257-268 12 s. 8509253

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

Image retrieval
Scalability
Websites
Experiments

Searching Trajectories by Regions of Interest

Shang, S., Chen, L., Jensen, C. S., Wen, J-R. & Kalnis, P., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. s. 1741-1742 2 s. 8509449

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

Trajectories
Query processing
Planning
Experiments

Selection of Objective Function For Imbalanced Classification: An Industrial Case Study

Khan, A. R., Schiøler, H. & Kulahci, M., 2018, 2017 22nd IEEE International Conference on Emerging Technologies & Factory Automation (EFTA). IEEE, (I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings).

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

Quality control
Genetic algorithms
1 Citation (Scopus)

Sensors: The Enablers for Proactive Maintenance in the Real World

Albano, M., Ferreira, L. L., Di Orio, G., Malo, P., Webers, G., Jantunen, E., Gabilondo, I., Viguera, M., Papa, G. & Novak, F., 10 apr. 2018, 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018. IEEE, s. 569-574 6 s. (2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018).

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

Sensors
Monitoring
1 Citation (Scopus)
11 Downloads (Pure)

SimpleETL: ETL Processing by Simple Specifications

Andersen, O., Thomsen, C. & Torp, K., 1 jan. 2018, Proceedings of the 20th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data co-located with 10th EDBT/ICDT Joint Conference. CEUR Workshop Proceedings, Bind 2062. 6 s. (CEUR Workshop Proceedings, Bind 2062).

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

Åben adgang
Fil

Simple Propagation with Arc-Reversal in Bayesian Networks

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Bind 72. s. 260-271 (The Proceedings of Machine Learning Research).

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

Åben adgang
3 Citationer (Scopus)

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 mar. 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).

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

Model checking
Petri nets
Explosions
1 Citation (Scopus)

Speaking Ability while Using an Inductive Tongue-Computer Interface for Individuals with Tetraplegia: Talking and Driving a Powered Wheelchair - A Case Study

Struijk, L. N. S. A., Bentsen, B., Gaihede, M. & Lontis, R., 26 okt. 2018, Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, EMBC 2018. IEEE, Bind 2018-July. s. 2483-2486 4 s. 8512834. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

2 Citationer (Scopus)
110 Downloads (Pure)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

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

Åben adgang
Fil

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 jan. 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (red.). Springer, s. 261-270 10 s. (Lecture Notes in Computer Science, Bind 11245 LNCS).

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

3 Citationer (Scopus)
40 Downloads (Pure)

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., sep. 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, s. 1-10 10 s. 8515598

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

Åben adgang
Fil
Model predictive control
Diodes
Model checking
Power electronics
Industrial applications

Stochastic MPC Using the Unscented Transform

Knudsen, T. & Leth, J., 9 aug. 2018, 2018 Annual American Control Conference, ACC 2018. IEEE, s. 4718-4724 7 s. 8430903

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

Stochastic systems
Model predictive control
Mathematical transformations
3 Citationer (Scopus)

Stochastic shortest path finding in path-centric uncertain road networks

Andonov, G. & Yang, B., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 40-45 6 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Travel time
Global positioning system
Trajectories

Subjective Experience of Interacting with a Social Robot at a Danish Airport

Nielsen, S., Bonnerup, E., Hansen, A. K., Nilsson, J., Nellemann, L. J., Hansen, K. D. & Hammershøi, D., 6 nov. 2018, 2018 27th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN). IEEE, s. 1163 - 1170 8 s. 8525643. (IEEE RO-MAN proceedings).

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

Airports
Human robot interaction
Robots
Principal component analysis

Swimming Pool Occupancy Analysis using Deep Learning on Low Quality Video

Jensen, M. B., Gade, R. & Moeslund, T. B., okt. 2018, ACM Multimedia Conference Workshops: First International Workshop on Multimedia Content Analysis in Sports. Association for Computing Machinery, s. 67-73

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

Swimming pools
Embedded systems
Deep learning
Costs
2 Citationer (Scopus)

Tail call elimination and data representation for functional languages on the Java virtual machine

Madsen, M., Zarifi, R. & Lhoták, O., 24 feb. 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. Xue, J. & Dubach, C. (red.). Association for Computing Machinery, s. 139-150 12 s.

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

Polymorphism
Computer programming languages
Ecosystems
Virtual machine
7 Citationer (Scopus)

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 mar. 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 s. 3185468

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

Switches
Software defined networking
Computer systems
Servers