• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i proceeding
2015
13 Citationer (Scopus)

No News is Good News: Remote Monitoring of Implantable Cardioverter-Defibrillator Patients

Skov, M. B., Johansen, P. G., Skov, C. S. & Lauberg, A., 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 827-836

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

Optimizing RDF Data Cubes for Efficient Processing of Analytical Queries

Jakobsen, K. A., Andersen, A. B., Hose, K. & Pedersen, T. B., 24 aug. 2015, Consuming Linked Data (COLD 2015): Proceedings of the 6th International Workshop on Consuming Linked Data co-located with 14th International Semantic Web Conference (ISWC 2105). Hartig, O., Sequeda, J. & Hogan, A. (red.). CEUR Workshop Proceedings, Bind 1426. 12 s. (CEUR Workshop Proceedings).

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

Åben adgang
Data warehouses
Semantic Web
Processing
Industry

Paradox of Safety: Remote Monitoring of ICD Patients

Skov, M. B., Johansen, P. G., Skov, C. S. & Lauberg, A., 2015, Proceedings of the Workshop on Crossing HCI and Health : Advancing Health and Wellness Technology Research in Home and Community Settings. Association for Computing Machinery

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

6 Citationer (Scopus)
287 Downloads (Pure)

Parallel importance sampling in conditional linear Gaussian networks

Salmerón, A., Ramos-López, D., Borchani, H., Martinez, A. M., Masegosa, A. R., Fernández, A., Langseth, H., Madsen, A. L. & Nielsen, T. D., 2015, Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings. Puerta, J. M., Gámez, J. A., Dorronsoro, B., Barrenechea, E., Troncoso, A., Baruque, B. & Galar, M. (red.). Springer, s. 36-46 (Lecture Notes in Computer Science; Nr. 9422).

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

Fil
Importance sampling
4 Citationer (Scopus)
174 Downloads (Pure)

Parallelisation of the PC Algorithm

Madsen, A. L., Jensen, F., Salmerón, A., Langseth, H. & Nielsen, T. D., 2015, Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings. Springer, s. 14-24 11 s. (Lecture Notes in Computer Science, Bind 9422).

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

Fil
Bayesian networks
Parallel algorithms
Testing
Experiments
3 Citationer (Scopus)
184 Downloads (Pure)

Personal Counseling on Smart Phones For Smoking Cessation

Paay, J., Kjeldskov, J., Skov, M. B., Srikandarajah, N. & Brinthaparan, U., 18 apr. 2015, Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, CHI EA '15. Association for Computing Machinery, s. 1427-1432

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

Fil
5 Citationer (Scopus)

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

Kretínsky, J., Larsen, K. G., Laursen, S. & Srba, J., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015). Aceto, L. & de Frutos Escrig, D. (red.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 142-154 13 s. (Leibniz International Proceedings in Informatics, Bind 42).

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

Åben adgang
Weighted Automata
Observability
Decidability
Polynomial time
Synchronization
10 Citationer (Scopus)

Processing Aggregate Queries in a Federation of SPARQL Endpoints

Ibragimov, D., Hose, K., Pedersen, T. B. & Zimanyi, E., 31 maj 2015, The Semantic Web. Latest Advances and New Domains: 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 - June 4, 2015. Proceedings. Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P. & Zimmermann, A. (red.). Springer Publishing Company, s. 269-285 (Lecture Notes in Computer Science; Nr. 9088).

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

4 Citationer (Scopus)
356 Downloads (Pure)

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 maj 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, s. 91-100

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

Fil
3 Citationer (Scopus)
180 Downloads (Pure)

QuittyLink: A Mobile Application that helps people Quit Smoking

Paay, J., Kjeldskov, J., Skov, M., Srikandarajah, N., Brinthaparan, U. & Raptis, D., 2015, Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. Association for Computing Machinery, s. 599-606

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

Fil
6 Citationer (Scopus)
200 Downloads (Pure)

QuittyLink: Using Smartphones for Personal Counseling to Help People Quit Smoking

Paay, J., Kjeldskov, J., Skov, M. B., Srikandarajah, N. & Brinthaparan, U., 2015, Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, s. 98-104

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

Fil
2 Citationer (Scopus)

Representing Specialized Events with FrameBase

Rouces, J., de Melo, G. & Hose, K., 2015, Proceedings of the 4th International Workshop on Detection, Representation, and Exploitation of Events in the Semantic Web (DeRiVE 2015) Co-located with the 12th Extended Semantic Web Conference (ESWC 2015). van Erp, M., Troncy, R., Rospocher, M., van Hage, W. R. & Shamma, D. A. (red.). CEUR Workshop Proceedings, s. 58-69 (CEUR Workshop Proceedings, Bind 1363).

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

Åben adgang

Safety Critical Java for Robotics Programming

Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

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

Åben adgang
4 Citationer (Scopus)

Searchlight: Context-aware predictive Continuous Querying of moving objects in symbolic space

Christensen, K. F., Christiansen, L. L., Pedersen, T. B. & Pihl, J., 2015, IEEE 31st International Conference on Data Engineering (ICDE), 2015, Proceedings. IEEE, s. 687-698

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

1 Citation (Scopus)

SPARQling Pig - Processing Linked data with Pig Latin

Hagedorn, S., Hose, K. & Sattler, K-U., 2015, Datenbanksysteme für Business, Technologie und Web (BTW), 16. Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme (DBIS), 4.-6.3.2015 in Hamburg, Germany. Proceedings. Gesellschaft für Informatik (GI), s. 279-298 20 s. (Lecture Notes in Informatics, Bind 241).

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

Åben adgang
Query languages
Query processing
Data structures
Big data
5 Citationer (Scopus)

SpotADAPT: Spot Aware (re-)Deployment of Analytical Processing Tasks on Amazon EC2

Kaulakiene, D., Thomsen, C., Pedersen, T. B., Cetintemel, U. & Kraska, T., 23 okt. 2015, Proceedings of the ACM Eighteenth International Workshop On Data Warehousing and OLAP (DOLAP 2015). New York, NY, USA: Association for Computing Machinery, s. 59-68 10 s.

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

Web services
Processing
Cloud computing
Costs
Availability

Synthesis of Partial Rankings of Points of Interest Using Crowdsourcing

Keles, I., Saltenis, S. & Jensen, C. S., 2015, Proceedings of the 9th Workshop on Geographic Information Retrieval. Association for Computing Machinery, 10 s. 15

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

Search engines
Mobile devices
7 Citationer (Scopus)

Teaching Software Developers to Perform UX Tasks

Øvad, T., Bornoe, N., Larsen, L. B. & Stage, J., 2015, OzCHI '15 Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction. Association for Computing Machinery, s. 397-406 (ACM Conference Proceedings Series).

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

Teaching
Feedback
Industry
153 Downloads (Pure)

The cognitive perception of a multi-room music system with spatial interaction

Sørensen, H., Kjeldskov, J., Skov, M. B. & Kristensen, M. G., 2015, Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability: 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers. Wyeld, T., Calder, P. & Shen, H. (red.). Springer, s. 215-236 (Lecture Notes in Computer Science; Nr. 8433).

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

Åben adgang
Fil
4 Citationer (Scopus)
99 Downloads (Pure)

The Competing Values of Hackers: The Culture Profile that Spawned the Computer Revolution

Mûller, S. D. & Ulrich, F., 2015, Proceedings of the 48th Annual Hawaii International Conference on System Sciences (HICSS 48). IEEE, s. 3434-3443 9 s. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

hacker
Values
text analysis
community
website
10 Citationer (Scopus)

The safest path via safe zones

Aljubayrin, S., Qi, J., Jensen, C. S., He, Z. & Wen, Z., apr. 2015, 31st IEEE International Conference on Data Engineering. IEEE, s. 531-542 (Proceedings of the International Conference on Data Engineering).

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

2 Citationer (Scopus)
256 Downloads (Pure)

The Timed Decentralised Label Model

Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (red.). Springer, s. 27-43 (Lecture Notes in Computer Science; Nr. 9417).

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

Åben adgang
Fil

The use of video in a mixed classroom approach

Nørmark, K., 11 sep. 2015, International Conference on E-learning: Proceedings from 2015. Berlin, Tyskland, s. 113-118 19. (International Conference on E-Learning - Proceedings).

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

Åben adgang
8 Citationer (Scopus)

To Do and Not To Do: Constrained Scenarios for Safe Smart House

Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., jul. 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, s. 17-24 8 s.

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

Intelligent buildings
Graphical user interfaces
Large scale systems
Automation
10 Citationer (Scopus)

Towards a Programmable Semantic Extract-Transform-Load Framework for Semantic Data Warehouses

Nath, R., Hose, K. & Pedersen, T. B., okt. 2015, ACM Eighteenth International Workshop On Data Warehousing and OLAP (DOLAP 2015). Association for Computing Machinery, Bind 23. s. 15-24 10 s.

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

Data warehouses
Semantics
Mathematical transformations
Semantic Web
Ontology
13 Citationer (Scopus)
437 Downloads (Pure)

Understanding Individual Differences for Tailored Smoking Cessation Apps

Paay, J., Kjeldskov, J., Skov, M. B., Lichon, L. & Rasmussen, S., 18 apr. 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI '15. Association for Computing Machinery, s. 1699-1708

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

Fil
45 Citationer (Scopus)

Uppaal Stratego

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (red.). London, UK: Springer, s. 206-211 6 s. (Lecture Notes in Computer Science; Nr. 9035).

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

Query languages
Model checking

UX Requirements to Public Systems for All: Formalisation or Innovation

Billestrup, J., Bruun, A. & Stage, J., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction. Beckmann, C. & Gross, T. (red.). University of Bamberg Press, s. 407-427 (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friederich-Universität Bamberg, Bind 22).

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

Åben adgang

Validating Timed Component Contracts

Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, s. 245-249

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

Testing
Software testing
Synchronization

Value creation in SaaS development

Aaen, I. & Gjerløff, N., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (red.). Springer, s. 258-271 14 s. (Lecture Notes in Business Information Processing, Bind 210).

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

Software-as-a-Service
Value creation
Business model
Software development
Innovation
11 Citationer (Scopus)

Vehicle Routing With User-Generated Trajectory Data

Ceikute, V. & Jensen, C. S., jun. 2015, Proceedings of the Sixteenth IEEE International Conference on Mobile Data Management. IEEE, Bind 1. s. 14-23

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

1 Citation (Scopus)
151 Downloads (Pure)

What to Study in HCI: Beyond, Beyond, Beyond

Kjeldskov, J., Skov, M. B. & Paay, J., 18 apr. 2015, Proceedings of the Workshop on What to Study in HCI at CHI 2015 Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

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

When Value is Greater than Money: a Micropayment System in Uganda

Prentow, R. V., Steiniche, R., Johansen, S. D., Paay, J., Aaen, I. & Kjeldskov, J., 18 apr. 2015, Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, CHI EA '15. Association for Computing Machinery, s. 765-772

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

Fil
6 Citationer (Scopus)
162 Downloads (Pure)

Widening the Schedulability Hierarchical Scheduling Systems

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

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

Åben adgang
Fil
Scheduling
Model checking
Hierarchical systems
Statistical Models

Wireless Smartphone Mirroring in Video Calls

Sørensen, H., O'Hara, K., Gosset, P. & Kjeldskov, J., sep. 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Springer, s. 410-417 (Lecture Notes in Computer Science, Bind 9298).

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

2014
7 Citationer (Scopus)

A Clustering Approach to the Discovery of Points of Interest from Geo-Tagged Microblog Posts

Skovsgaard, A., Šidlauskas, D. & Jensen, C. S., 2014, Proceedings of the Fifteenth IEEE International Conference on Mobile Data Management. IEEE Press, s. 178-188

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

Active Collaborative Learning: Supporting Software Developers in Creating Redesign Proposals

Bruun, A., Jensen, J. J., Skov, M. B. & Stage, J., 2014, Human-Centered Software Engineering. Bind 8742. s. 1-18 18 s. (Lecture Notes in Computer Science).

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

A Decidable Recursive Logic for Weighted Transition Systems

Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (red.). Springer Publishing Company, Bind 8687. s. 460-476 17 s. (Lecture Notes in Computer Science).

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

Syntactics
Real time systems
Costs
2 Citationer (Scopus)

A decidable recursive logic forweighted transition systems

Larsen, K. G., Mardare, R. & Xue, B., 1 jan. 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Bind 8687. s. 460-476 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Syntactics
Real time systems
Costs
5 Citationer (Scopus)

Adequacy and Complete Axiomatization for Timed Modal Logic

Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (red.). Ithaca, New York: Elsevier, Bind 308. s. 183-210 28 s. (Electronic Notes in Theoretical Computer Science, Bind 308).

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

Åben adgang
9 Citationer (Scopus)

A Journey from IFC Files to Indoor Navigation

Svendstrup Boysen, M., de Haas, C., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014. Springer, Bind 8470. s. 148-165 18 s. (Lecture Notes in Computer Science).

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

A Metrized Duality Theorem for Markov Processes

Kozen, D., Mardare, R. I. & Panangaden, P., 2014, Electronic Notes in Theoretical Computer Science. 29 October 2014: Elsevier, Bind 308. s. 211-227 17 s.

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

Duality Theorems
Markov Process
Pseudometric
Approximate Reasoning
Isometry
2 Citationer (Scopus)

An Advanced Data Warehouse for Integrating Large Sets of GPS Data

Andersen, O., Krogh, B. B., Thomsen, C. & Torp, K., 7 nov. 2014, Proceedings of the 17th International Workshop on Data Warehousing and OLAP . Association for Computing Machinery, s. 13-22 10 s.

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

Data warehouses
Global positioning system
Fuel consumption
9 Citationer (Scopus)

A new method for vertical parallelisation of TAN learning based on balanced incomplete block designs

Madsen, A. L., Jensen, F., Salmerón, A., Karlsen, M., Langseth, H. & Nielsen, T. D., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Bind 8754. s. 302-317 16 s. (Lecture Notes in Computer Science).

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

16 Citationer (Scopus)

Arrowhead Compliant Virtual Market of Energy

Ferreira, L. L., Siksnys, L., Pedersen, P., Stluka, P., Chrysoulas, C., Le Guilly, T., Albano, M., Skou, A., Teixeira, C. & Pedersen, T. B., sep. 2014, Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, s. 1-8

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

Industrial plants
Automation
Petrochemical plants
Joining
Refining

A safety-critical java technology compatibility kit

Søndergaard, H., Korsholm, S. E. & Ravn, A. P., okt. 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 1-9

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

4 Citationer (Scopus)

A Skylining Approach to Optimize Influence and Cost in Location Selection

Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications (DASFAA 2014). Springer Publishing Company, Bind 8422. s. 61-76 (Lecture Notes in Computer Science).

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

2 Citationer (Scopus)
223 Downloads (Pure)

Balancing energy flexibilities through aggregation

Valsomatzis, E., Hose, K. & Pedersen, T. B., 21 nov. 2014, Data Analytics for Renewable Energy Integration: Second ECML PKDD Workshop, DARE 2014 Nancy, France, September 19, 2014 Revised Selected Papers. Wonn, W. L., Aung, Z. & Madnick, S. (red.). Springer Publishing Company, Bind 8817. s. 17-37 21 s. (Lecture Notes in Computer Science).

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

Åben adgang
Fil
Agglomeration
Scheduling
Electricity
Experiments
7 Citationer (Scopus)

Battery-Aware Scheduling of Mixed Criticality Systems

Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, Bind 8803. s. 208-222 (Lecture Notes in Computer Science).

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

2 Citationer (Scopus)

Bayesian Network Inference Using Marginal Trees

Butz, C. J., de S. Oliveira, J. & Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Bind 8754. s. 81-96 (Lecture Notes in Computer Science).

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