• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2011
2 Citationer (Scopus)

APPECT: An Approximate Backbone-Based Clustering Algorithm for Tags

Zong, Y., Xu, G., Jin, P., Zhang, Y., Chen, E. & Pan, R., 2011, I : Lecture Notes in Computer Science. 7120, s. 175-189 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Backbone
Clustering algorithms
Clustering Algorithm
Metadata
Redundancy
8 Citationer (Scopus)

Application of Model-Checking Technology to Controller Synthesis

David, A., Grunnet, J. D., Jessen, J. J., Larsen, K. G. & Rasmussen, J. I., 2011, I : Lecture Notes in Computer Science. 6957, s. 336-351 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Model Checking
Synthesis
Game
Controller
5 Citationer (Scopus)

A Wind Farm Controller for Load and Power Optimization in a Farm

Soleimanzadeh, M., Brand, A. & Wisniewski, R., 2011, I : I E E E Conference on Control Applications. Proceedings. s. 1202-1207 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Farms
Controllers
Structural loads
Turbines
Bending moments
1 Citation (Scopus)

Barefooted Usability Evaluation: Addressing the Mindset, Resources and Competences

Bruun, A., 2011, I : Lecture Notes in Computer Science. 6949, s. 374-377 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

22 Citationer (Scopus)
638 Downloads (Pure)

Contribution of domestic heating systems to smart grid control

Tahersima, F., Stoustrup, J., Meybodi, S. A. & Rasmussen, H., 2011, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Heating
Geothermal heat pumps
Thermal comfort
Concrete construction
Specific heat
2 Citationer (Scopus)

Control of Non-linear Marine Cooling System

Hansen, M., Stoustrup, J. & Bendtsen, J. D., 2011, I : IEEE International Conference on Control Applications. s. 88-93

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Cooling systems
Control theory
Cooling
Networks (circuits)
Compensation and Redress
3 Citationer (Scopus)
261 Downloads (Pure)

Convenient Model for Systems with Hystereses-Control

Wisniewski, R. & Leth, J-J., 2011, I : I E E E Conference on Decision and Control. Proceedings. s. 6140-6145 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Hysteresis
Polyhedral Sets
Dynamical systems
Dynamical system
Switched Systems
14 Citationer (Scopus)

Decision Problems for Interval Markov Chains

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, I : Lecture Notes in Computer Science. 6638, s. 274-285

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)

Developing Applications with Aspect-Oriented Change Realization

Vranic, V., Bebjak, M., Menkyna, R. & Dolog, P., 2011, I : Lecture Notes in Computer Science. 4980, s. 192-206 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Distances for Weighted Transition Systems: Games and Properties

Bidragets oversatte titel: Distances for Weighted Transition Systems: Games and PropertiesFahrenberg, U., Thrane, C. R. & Larsen, K. G., 2011, I : Electronic Proceedings in Theoretical Computer Science. 57, s. 134-147 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Distributed Parametric and Statistical Model Checking

Bulychev, P. E., David, A., Larsen, K. G., Mikucionis, M. & Legay, A., 2011, I : Electronic Proceedings in Theoretical Computer Science. 72, s. 30-42 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)

Don’t Look at Me, I’m Talking to You: Investigating Input and Output Modalities for In-Vehicle Systems

Christiansen, L. H., Frederiksen, N. Y., S. Jensen, B., Ranch, A., Skov, M. B. & Thiruravichandran, N., 2011, I : Lecture Notes in Computer Science. 6947, s. 675-691 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Dynamic Ordering-based Search Algorithm for Markov Blanket Discovery

Zeng, Y., He, X., Xiang, Y. & Mao, H., 2011, I : Lecture Notes in Computer Science. 6635, s. 420-431

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)
684 Downloads (Pure)

Eliminating oscillations in TRV controlled hydronic radiators

Tahersima, F., Stoustrup, J. & Rasmussen, H., 2011, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Radiators
Partial differential equations
Energy conservation
Boundary conditions
Controllers

En Billig GPS Data Analyse Platform

Andersen, O., Christiansen, N., Larsen, N. T. & Torp, K., 2011, I : Artikler fra Trafikdage på Aalborg Universitet. 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

50 Citationer (Scopus)

Energy Games in Multiweighted Automata

Fahrenberg, U., Juhl, L., Larsen, K. G. & Srba, J., 1 jan. 2011, I : Lecture Notes in Computer Science. 6916, s. 95-115 21 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Computability and decidability
Finite automata
Petri nets
Automata
Game

Enhancing control of advanced hand prostheses using a tongue control system

Johansen, D., Popovic, D. B., Sebelius, F., Jensen, S. & Struijk, L. N. S. A., 2011, I : International Federation for Medical and Biological Engineering Proceedings. 34, s. 253-256

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Estimation of Wind Turbulence Using Spectral Models

Soltani, M., Knudsen, T. & Bak, T., 2011, I : IEEE Conference on Computer-Aided Control Systems Design. s. 1197-1201

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

turbulence
wind farm
wind field
wind velocity
method
19 Citationer (Scopus)
827 Downloads (Pure)

ETLMR: A Highly Scalable Dimensional ETL Framework Based on MapReduce

Liu, X., Thomsen, C. & Pedersen, T. B., sep. 2011, I : Lecture Notes in Computer Science. 6862, s. 96-111

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
MapReduce
Mathematical transformations
Transform
Data warehouses
Data Warehouse
3 Citationer (Scopus)

Event-Driven Architecture for Health Event Detection from Multiple Sources

Denecke, K., Kirchner, G., Dolog, P., Smrz, P., Linge, J., Backfried, G. & Dreesman, J., 2011, I : Studies in Health Technology and Informatics. 169, s. 160-164 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

22 Citationer (Scopus)

Exact Power Constraints in Smart Grid Control

Trangbæk, K., Petersen, M. H., Bendtsen, J. D. & Stoustrup, J., 2011, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Smart Grid
Wind turbines
Controllers
Horizon
Convex Constraints
10 Citationer (Scopus)

Extending ProbLog with Continuous Distributions

Gutmann, B., Jaeger, M. & De Raedt, L., 2011, I : Lecture Notes in Computer Science. 6489, s. 76-91 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)

Fuzzy inference system for analog joystick emulation with an inductive tongue-computer interface

Caltenco Arciniega, H. A., Lontis, R. & Struijk, L. N. S. A., 2011, I : International Federation for Medical and Biological Engineering Proceedings. 34, s. 191-194

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)
272 Downloads (Pure)

Global Stabilization of Large-Scale Hydraulic Networks Using Quantized Proportional Control

Jensen, T. N. & Wisniewski, R., 2011, I : I F A C Workshop Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil

Hastighedskort for Danmark vha. GPS

Andersen, O., Lahrmann, H. & Torp, K., 2011, I : Artikler fra Trafikdage på Aalborg Universitet. 19 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)
554 Downloads (Pure)

Hierarchical Control for Smart Grids

Trangbæk, K., Bendtsen, J. D. & Stoustrup, J., 2011, I : Proceedings of the 18th IFAC World Congress, 2011.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Model predictive control
Sorting
Level control
Wind turbines
Computational complexity
7 Citationer (Scopus)

Implementing performance competitive logical recovery

Lomet, D., Tzoumas, K. & Zwilling, M., apr. 2011, I : Proceedings of the VLDB Endowment. 4, s. 430-439 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Recovery
Information management
Hardware
Experiments
4 Citationer (Scopus)

Learning Complex Concepts Using Crowdsourcing: A Bayesian Approach

Viappiani, P. R., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, I : Lecture Notes in Computer Science. 6992, s. 277-291

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

17 Citationer (Scopus)

Lightweight graphical models for selectivity estimation without independence assumptions

Tzoumas, K., Deshpande, A. & Jensen, C. S., aug. 2011, I : Proceedings of the VLDB Endowment. 4, s. 852-863 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Error analysis
Probability distributions
58 Citationer (Scopus)

Load Reduction of Wind Turbines Using Receding Horizon Control

Soltani, M., Wisniewski, R., Brath, P. & Boyd, S., 2011, I : IEEE International Conference on Control Applications. s. 852-857 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Structural loads
Controllers
Towers
Power generation
10 Citationer (Scopus)
794 Downloads (Pure)

Minimising Computational Complexity of the RRT Algorithm: A Practical Approach

Svenstrup, M., Bak, T. & Andersen, H. J., 2011, I : I E E E International Conference on Robotics and Automation. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Computational complexity
Trajectories
Robots
Motion planning
Sampling
4 Citationer (Scopus)

Model-based testing of industrial transformational systems

Olsen, P., Foederer, J. & Tretmans, J., 2011, I : Lecture Notes in Computer Science. 7019, s. 131-145 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model-based Testing
Output
Testing
Test Set
Large scale systems
15 Citationer (Scopus)
803 Downloads (Pure)

Modeling of Nonlinear Marine Cooling Systems with Closed Circuit Flow

Hansen, M., Stoustrup, J. & Bendtsen, J. D., 2011, I : I F A C Workshop Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Cooling systems
Air engines
Engines
Step response
Networks (circuits)
14 Citationer (Scopus)

Modelling and Verification of Web Services Business Activity Protocol

Ravn, A. P., Srba, J. & Vighio, S., 2011, I : Lecture Notes in Computer Science. 6605, s. 357--371 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Web services
Web Services
Network protocols
Modeling
Industry
9 Citationer (Scopus)

Modular Markovian logic

Cardelli, L., Larsen, K. G. & Mardare, R., 1 jan. 2011, I : Lecture Notes in Computer Science. 6756 LNCS, s. 380-391 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Logic
Markov processes
Separation Logic
Bisimulation
Axiomatization
1 Citation (Scopus)

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Frehse, G., Larsen, K. G., Mikucionis, M. & Nielsen, B., 1 jan. 2011, I : Lecture Notes in Computer Science. 7019 LNCS, s. 115-130 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Monitoring
Hybrid Automata
Testing
Nondeterminism
Timed Automata
16 Citationer (Scopus)

New Results on Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, I : Proceedings of the International Conference on Application of Concurrency to System Design. s. 118-127

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

7 Citationer (Scopus)

On Kernel Information Propagation for Tag Clustering in Social Annotation Systems

Xu, G., Zong, Y., Pan, R., Dolog, P. & Jin, P., 1 sep. 2011, I : Lecture Notes in Computer Science. 6882, s. 505-514 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

17 Citationer (Scopus)

Optimal Control of a Ballast-Stabilized Floating Wind Turbine

Christiansen, S., Knudsen, T. & Bak, T., 2011, I : IEEE Conference on Computer-Aided Control Systems Design.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Fatigue of materials
Wind power
Towers
Stiffness
10 Citationer (Scopus)
986 Downloads (Pure)

Optimal Power Consumption in a Central Heating System with Geothermal Heat Pump

Tahersima, F., Stoustrup, J. & Rasmussen, H., 2011, I : Proceedings of the 18th IFAC World Congress, 2011.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Geothermal heat pumps
Electric power utilization
Heating
Controllers
Water
8 Citationer (Scopus)
368 Downloads (Pure)

Opaal: A Lattice Model Checker

Dalsgaard, A. E., Hansen, R. R., Jørgensen, K. Y., Larsen, K. G., Olesen, M. C., Olsen, P. & Srba, J., 2011, I : Lecture Notes in Computer Science. 6617, s. 487-493 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
5 Citationer (Scopus)
312 Downloads (Pure)

Orthogonal Bases used for Feed Forward Control of Wind Turbines

Odgaard, P. F. & Stoustrup, J., 2011, I : Proceedings of the 18th IFAC World Congress, 2011.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Feedforward control
Wind turbines
Turbines
Information use
Turbulence
24 Citationer (Scopus)

Parametric modal transition systems

Beneš, N., Křetínský, J., Larsen, K. G., Møller, M. H. & Srba, J., 1 jan. 2011, I : Lecture Notes in Computer Science. 6996, s. 275-289 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Transition Systems
Computational complexity
Refinement
Specifications
Reactive Systems
5 Citationer (Scopus)
558 Downloads (Pure)

Passive Fault Tolerant Control of Piecewise Affine Systems Based on H Infinity Synthesis

Gholami, M., Cocquempot, V., Schiøler, H. & Bak, T., 28 aug. 2011, I : I F A C Workshop Series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Controllers
Linear matrix inequalities
Agriculture
Ventilation
Actuators
3 Citationer (Scopus)

Passive Fault Tolerant Control of Piecewise Affine Systems with Reference Tracking and Input Constraints

Gholami, M., Cocquempot, V., Schiøler, H. & Bak, T., 2011, I : I E E E International Conference on Control Applications. Proceedings. s. 976-982 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Persuasion In-Situ: Shopping for Healthy Food in Supermarkets

Kallehave, O., Skov, M. B. & Tiainen, N., 2011, I : CEUR Workshop Proceedings. 722, s. 7-10 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

Quantitative Refinement for Weighted Modal Transition Systems

Bauer, S. S., Fahrenberg, U., Juhl, L., Larsen, K. G., Legay, A. & Thrane, C., 1 jan. 2011, I : Lecture Notes in Computer Science. 6907 LNCS, s. 60-71 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Transition Systems
Refinement
Specification
Specifications
Software System
5 Citationer (Scopus)
277 Downloads (Pure)

Reconfigurability of Piecewise Affine Systems Against Actuator Faults

Tabatabaeipour, S. M., Gholami, M., Bak, T. & Schiøler, H., 28 aug. 2011, I : I F A C Workshop Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Linear matrix inequalities
State feedback
Agriculture
Ventilation
Actuators
26 Citationer (Scopus)

Repetitive model predictive approach to individual pitch control of wind turbines

Adegas, F. D., Stoustrup, J. & Odgaard, P. F., 2011, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind Turbine
Wind turbines
Blade
Disturbance
Controllers
6 Citationer (Scopus)

RESTful, Resource-Oriented Architectures: A Model-Driven Approach

Perez, S., Durao, F., Meliá, S., Dolog, P. & Diáz, O., 2011, I : Lecture Notes in Computer Science. 6724, s. 282-294 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Scenarios
Web services
Resources
Web Services
Web Engineering