Det Humanistiske Fakultet

  • Kroghstræde 1

    9220 Aalborg Ø

    Danmark

Publikationer 1972 2022

Filter
Konferenceartikel i tidsskrift
2011
10 Citationer (Scopus)
780 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
15 Citationer (Scopus)
793 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)
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
4 Citationer (Scopus)

Naming virtual identities: Patterns and inspirations for character names in world of warcraft

Thurau, C. & Drachen, A., 2011, I : Lecture Notes in Computer Science. 6972, s. 270-281 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Servers
Computer games
Server
Game
Online Communities

Neuropsychological aspects of pain

Petrini, L., Mørch, C. D. & Christoffersen, G., apr. 2011, I : Nevropsykologi. 14, 1, s. 46-49

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Åben adgang
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

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)
972 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)
355 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)
304 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

Partnering and the traditional: Institutional determinants of governance in Danish construction

Gottlieb, S. C. & Jensen, J. S., 2011, I : CIB Proceedings workgroup 65. 1, 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)
540 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)
266 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
13 Citationer (Scopus)

Robust specification of real time components

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 1 jan. 2011, I : Lecture Notes in Computer Science. 6919 LNCS, s. 129-144 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Specification
Specifications
Robustness
Parallel Composition
Timed Automata
7 Citationer (Scopus)
664 Downloads (Pure)

Robust Structured Control Design via LMI Optimization

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Linear matrix inequalities
Feedback
Controllers
Stability criteria
Lyapunov functions
9 Citationer (Scopus)
296 Downloads (Pure)

Seasonal Variation in Monthly Average Air Change Rates Using Passive Tracer Gas Measurements

Frederiksen, M., Bergsøe, N. C., Kolarik, B., Spilak, M., Bekö, G., Gustavsen, S., Clausen, G. & Gunnarsen, L., 2011, I : Proceedings from Indoor Air 2011.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
seasonal variation
tracer
air
gas
summer
4 Citationer (Scopus)
1 Downloads (Pure)

Shaping 3-D boxes: A full 9 degree-of-freedom docking experiment

Stenholt, R. & Madsen, C. B., 19 mar. 2011, I : I E E E Virtual Reality Annual International Symposium. s. 103-110 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Experiments
Virtual reality
28 Citationer (Scopus)

Spectrum Occupancy Statistics in the Context of Cognitive Radio

Patil, K. P., Skouby, K. E., Chandra, A. & Prasad, R., 17 nov. 2011, I : Proceedings of the Wireless Personal Multimedia Communications Symposia. 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Cognitive radio
Statistics
Frequency bands
6 Citationer (Scopus)
606 Downloads (Pure)

Stability Performance Dilemma in Hydronic Radiators with TRV

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Radiators
Gain control
Thermal load
Flow control
Energy conservation
85 Citationer (Scopus)

Statistical Model Checking for Networks of Priced Timed Automata

David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6919 LNCS, s. 80-96 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Model checking
Model Checking
Statistical Model
Semantics
173 Downloads (Pure)

Strategizing sustainable procurement in a political environment

Vogelius, P., Haugbølle, K. & Olsen, I. S., 2011, I : CIB Proceedings. s. 234-243 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
25 Citationer (Scopus)

Structured Control of Affine Linear Parameter Varying Systems

Adegas, F. D. & Stoustrup, J., 2011, I : American Control Conference. Proceedings. s. 739-744 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Linear matrix inequalities
Linear systems
Feedback
Controllers
697 Downloads (Pure)

Sustainable Refurbishment - Nordic Case Studies

Almås, A-J., Huovila, P., Vogelius, P., Marteinsson, B., Bjørberg, S., Haugbølle, K. & Nieminen, J., 2011, I : CIB Proceedings. s. 1108-1118 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
4 Citationer (Scopus)

The Danish Centre for Indoor Air and Health in Dwellings – CISBO.

Sigsgaard, T., Clausen, G., Gunnarsen, L., Loft, S., Riddervold, I. S. & Wolkoff, P., jun. 2011, I : Proceedings from Indoor Air 2011. 421, s. Manuscript nr 421 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

209 Downloads (Pure)

The engineering project and the concept of “care”

Henriksen, L. B., 2011, I : Tamara: Journal for Critical Organization Inquiry. s. 100-112

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
2 Citationer (Scopus)

The Intelligent Ventilator project: application of physiological models in decision support

Rees, S. E., Karbing, D. S., Allerød, C., Toftegaard, M., Thorgaard, P., Toft, E., Kjærgaard, S. & Andreassen, S., 2011, I : Lecture Notes in Computer Science. 6747, s. 149-158 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)

Timed Automata Can Always Be Made Implementable

Bouyer, P., Larsen, K. G., Markey, N., Sankur, O. & Thrane, C., 1 jan. 2011, I : Lecture Notes in Computer Science. 6901 LNCS, s. 76-91 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Semantics
Clocks
Synchrony
Timing
85 Citationer (Scopus)

Time for Statistical Model Checking of Real-Time Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6806 LNCS, s. 349-355 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Real time systems
Model Checking
Statistical Model
Real-time
26 Downloads (Pure)

To Shuffle and to Give Again: Construction and Destruction of a Critical Area of Porto

Alves, S. & Nunes, F., 2011, I : Spaces & Flows. 1, 2, s. 15-26

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
outskirts
social housing
citizens' participation
political change
population development
3 Citationer (Scopus)

Towards a Common Language for the Discussion of Time Based on Prior’s Tense Logic

Øhrstrøm, P., 2011, I : Lecture Notes in Computer Science. 6789 LNAI, s. 46-57 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Towards a Context Oriented Approach to Ethical Evaluation of Interactive Technologies

Gram-Hansen, S. B., Schärfe, H. & Dinesen, J. V., aug. 2011, I : Lecture Notes in Computer Science. 6949, s. 628-631 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Web Site With The Dual Purpose Of Giving Dwelling Specific Advice To Occupants And Performing A Statistical Survey Concerning Quality Of The Indoor Climate In Homes

Gunnarsen, L., Frederiksen, M. & Nissen, C. R., 2011, I : Proceedings from Indoor Air 2011. 757

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

Wind turbine pitch optimization

Biegel, B., Juelsgaard, M., Stoustrup, J., Kraning, M. & Boyd, S. P., 2011, I : I E E E International Conference on Control Applications. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Fatigue of materials
Convex optimization
Turbines
Torque
12 Citationer (Scopus)
515 Downloads (Pure)

Worst-Case Traversal Time Modelling of Ethernet based In-Car Networks using Real Time Calculus

Revsbech, K., Schiøler, H., Madsen, T. K. & Nielsen, J. J., 2011, I : Lecture Notes in Computer Science. 6869/2011, s. 219-230 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
2 Citationer (Scopus)

Z-score transformation of T-wave morphology values to a standardized scale

Graff, C., Nielsen, J., Kanters, J. K., Matz, J., Schmidt, S., Toft, E. & Struijk, J., 2011, I : Computing in Cardiology. 38, s. 737-740

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2010
6 Citationer (Scopus)

Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

Sloth, C. & Wisniewski, R., 2010, I : I E E E Conference on Decision and Control. Proceedings. s. 3760-3765

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Lyapunov functions
Lyapunov Function
Dynamical systems
Dynamical system
Timed Automata
3985 Downloads (Pure)

Acercar el formalismo y el uso en la educacion matematica en ingenierıa

Ravn, O. & Valero, P., 2010, I : Seminario de matem´atica educativa. Fundamentos de la matem´atica universitaria. 1, 3, s. 3-20 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
75 Citationer (Scopus)

Active and Passive Fault-Tolerant LPV Control of Wind Turbines

Sloth, C., Esbensen, T. & Stoustrup, J., 2010, I : American Control Conference (ACC). 2010, s. 4640-4646

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Controllers
Control systems
Linear matrix inequalities
Failure analysis

A Robust Stabilization using State Feedback with Feedforward

A. Danapalasingam, K., la Cour-Harbo, A., Chowdhary, G. & Bisgaard, M., 2010, I : American Control Conference (ACC). s. 3913-3919 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Co-Designing with People suffering from Aphasia

Konnerup, U., dec. 2010, I : DAIMI PB. 593, s. 29-33 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

12 Citationer (Scopus)

Comparison of sample entropy and AR-models for heart sound-based detection of coronary artery disease

Schmidt, S., Hansen, J., Hansen, C. H., Toft, E. & Struijk, J., 2010, I : Computing in Cardiology. 37, s. 385-388

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Compositional and Quantitative Model Checking

Larsen, K. G., 2010, I : Lecture Notes in Computer Science. 5947, s. 35-42 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Control of delay dominant systems with costs related to switching

Deng, H., Larsen, L. F. S., Stoustrup, J. & Rasmussen, H., 2010, I : I E E E Conference on Control Applications. Proceedings. s. 2344-2349 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Switches
Refrigeration
Costs
Controllers