Det Humanistiske Fakultet

  • Kroghstræde 1

    9220 Aalborg Ø

    Danmark

Publikationer 1972 2022

Filter
Konferenceartikel i tidsskrift
2010
3 Citationer (Scopus)
106 Downloads (Pure)

Detection and Estimation of Arrivals in Room Impulse Responses by Greedy Sparse Approximation

Sturm, B. L. & Defrance, G., 2010, I : Proceedings of the European Signal Processing Conference. s. 1934-1938 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Impulse response
Time domain analysis
Stochastic models

Does Degree of Work Task Completion Influence Retrieval Performance?

Ingwersen, P., Toine, B. & Lykke, M., 2010, I : American Society for Information Science & Technology. Annual Meeting Proceedings. 47

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

32 Citationer (Scopus)
286 Downloads (Pure)

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, I : Lecture Notes in Computer Science. 6252, s. 365-370

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil

Evaluating AIS data quality for space based ship monitoring using the AAUSAT3 prototype

Rasmussen, U. W., Laursen, T., Pedersen, N. B., Larsen, J. A. & Nielsen, J. F. D., 27 sep. 2010, I : Proceedings of the 61th International Astronautical Congress. 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Fault isolation in parallel coupled wind turbine converters

Odgaard, P. F., Thøgersen, P. B. & Stoustrup, J., 2010, I : I E E E Conference on Control Applications. Proceedings. s. 1069-1072 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Fault tolerance

First Person Victim: Developing a 3D Interactive Dramatic Experience

Schoenau-Fog, H., Bruni, L. E., Khalil, F. F. & Faizi, J., 1 nov. 2010, I : Lecture Notes in Computer Science. 6432, s. 240-243 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Person
Navigation
Interactivity
Evaluation
Interaction
575 Downloads (Pure)

From questions of how to questions of why in mathematics education research

Pais, A., Stentoft, D. & Valero, P., mar. 2010, I : Proceedings of the International Mathematics Education and Society Conference. 2, s. 398-407 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil

Hard and Soft Sub-Time-Optimal Robust Controllers

Kulczycki, P., Wisniewski, R., Kowalski, P. & Krawiec, K., 2010, I : I F A C Workshop Series. s. 689-6994 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Controllers
Decision theory
Motion control
Random processes
Robotics
23 Citationer (Scopus)

Hierarchical Model Predictive Control for Resource Distribution

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Smart Grid
Model predictive control
Model Predictive Control
Hierarchical Model
Resources
2 Citationer (Scopus)

High level model predictive control for plug-and-play process control with stability guaranty

Michelsen, A. G. & Stoustrup, J., 2010, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model predictive control
Model Predictive Control
Process Control
Process control
Controller
6 Citationer (Scopus)

Improving Stereo Camera Depth Measurements and Benefiting from Intermediate Results

Høilund, C., Moeslund, T. B., Madsen, C. B. & Tivedi, M., jun. 2010, I : I E E E Intelligent Vehicles Symposium. s. 935-940 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Introducing and Developing Practice Theory: Towards a Better Understanding of Household Energy Consumption

Gram-Hanssen, K., 5 nov. 2010, I : Linköping Electronic Conference Proceedings. s. 45-58

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)

Linking sensor data - Why, to what, and how?

Keßler, C. & Janowicz, K., 1 dec. 2010, I : CEUR Workshop Proceedings. 668

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Sensors
Hooks

Media Avant-Garde and Renewal of Genre: On Merete Pryds Helle’s Cell Phone Novel Jeg tror, jeg elsker dig (I Think I Love You), 2008

Gemzøe, A., 2010, I : Linköping Electronic Conference Proceedings. 42, 2, s. 15-29 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)
215 Downloads (Pure)

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

David, A., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2010, I : Lecture Notes in Computer Science. 6286, s. 290-310

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
180 Downloads (Pure)

Methodology in critical mathematics education: a case analysis

Pais, A., Fernandes, E., Matos, J. F. & Alves, A. S., mar. 2010, I : Proceedings of the International Mathematics Education and Society Conference. 1, s. 408-417

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
16 Citationer (Scopus)
513 Downloads (Pure)

Musical Instrument Identification using Multiscale Mel-frequency Cepstral Coefficients

Sturm, B. L., Morvidone, M. & Daudet, L., 2010, I : Proceedings of the European Signal Processing Conference. s. 477-481 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Musical instruments
Derivatives
Decomposition
1005 Downloads (Pure)

NAVIS: performance evaluation of the AAUSAT3 cubesat using stratospheric balloon flight

Mortensen, H. P., Rasmussen, U. W., Pedersen, N. B., Larsen, J. A. & Nielsen, J. F. D., 27 sep. 2010, I : Proceedings of the 61th International Astronautical Congress. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
1 Downloads (Pure)

Next generation space engineers education

Nielsen, J. F. D., Larsen, J. A. & Pedersen, N. B., 27 sep. 2010, I : Proceedings of the 61th International Astronautical Congress. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

218 Downloads (Pure)

Optimal Input Strategy for Plug and Play Process Control Systems

Kragelund, M. N., Leth, J-J. & Wisniewski, R., 2010, I : I E E E Conference on Decision and Control. Proceedings. s. 2474 - 2479

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Process Control
Process control
Profitability
Control System
Control systems

Optimization of building defects

Aagaard, N-J., Hansen, E. J. D. P. & Nielsen, J., 14 maj 2010, I : CIB Proceedings. 341, s. 68-79 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

750 Downloads (Pure)

Performability Measure for a Power Plant

Kragelund, M. N., Leth, J-J. & Wisniewski, R., 2010, I : I E E E Conference on Control Applications. Proceedings. s. 1898-1903

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil

Perspectives on Adaptivity in Information Retrieval Interaction (PAIRI)

Ingwersen, P., Larsen, B., Kelly, D., Wang, P. & Lykke, M., 2010, I : American Society for Information Science & Technology. Annual Meeting Proceedings. 47

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing

Olsen, P., Larsen, K. G., Mikucionis, M. & Skou, A., 28 dec. 2010, I : Electronic Notes in Theoretical Computer Science. 264, 3, s. 53-68

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

27 Citationer (Scopus)
552 Downloads (Pure)

Robust Helicopter Stabilization in the Face of Wind Disturbance

A. Danapalasingam, K., Leth, J-J., la Cour-Harbo, A. & Bisgaard, M., 2010, I : I E E E Conference on Decision and Control. Proceedings. s. 3832 - 3837

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Helicopter
Helicopters
Stabilization
Disturbance
Robust Stabilization
34 Citationer (Scopus)
674 Downloads (Pure)

Sound Synthesis and Evaluation of Interactive Footsteps for Virtual Reality Applications

Nordahl, R., Serafin, S. & Turchet, L., 2010, I : I E E E Virtual Reality Annual International Symposium. 1, s. 147-153 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Virtual reality
Acoustic waves
Microphones
Engines
Sensors

Symbolic and Compositional Reachability for Timed Automata

Larsen, K. G., 2010, I : Lecture Notes in Computer Science. 6227, s. 24-28

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

The Comparative Research on Creativity of Postgraduate Students between Mainland China and Taiwan

Luo, L., Zhang, S. & Zhou, C., okt. 2010, I : The 32nd Annual Conference of Japan Creativity Society : Creativity and Innovation in Management and Education. s. 2-11 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

323 Downloads (Pure)

The importance of the relation between the socio-political context, interdisciplinarity and the learning of the mathematics

Camelo, F., Mancera, G., Romero, J., García, G. & Valero, P., mar. 2010, I : Proceedings of the International Mathematics Education and Society Conference. 1, s. 199-208

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
33 Citationer (Scopus)

Unknown input observer based detection of sensor faults in a wind turbine

Odgaard, P. F. & Stoustrup, J., 2010, I : I E E E Conference on Control Applications. Proceedings. s. 310-315

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Sensors
Fault detection
Rotors
6 Citationer (Scopus)

Verification, performance analysis and controller synthesis for real-time systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2010, I : Lecture Notes in Computer Science. 5961, s. 34-61

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)
480 Downloads (Pure)

Wind deficit model in a wind farm using finite volume method

Soleimanzadeh, M. & Wisniewski, R., 2010, I : American Control Conference (ACC). s. 4343 - 4348

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Finite volume method
Farms
Wind turbines
2009
3 Citationer (Scopus)

A Conceptual Analysis of Difficult Situations - developing systems for teenagers with ASD

Schärfe, H., Øhrstrøm, P. & Gyori, M., 2009, I : CEUR Workshop Proceedings. 483

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)
485 Downloads (Pure)

Active fault diagnosis of linear hybrid systems

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series. s. 211-216

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
3 Citationer (Scopus)
258 Downloads (Pure)
Åben adgang
Fil

A novel method for control of systems with costs related to switching:applications to air-condition systems

Thybo (Deng), H., Larsen, L. F. S., Stoustrup, J. & Rasmussen, H., 2009, I : I E E E Conference on Control Applications. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)

A transparent semantic enablement layer for the Geospatial Web

Janowicz, K., Schade, S., Bröring, A., Keßler, C., Stasch, C., Maué, P. & Diekhof, T., 1 dec. 2009, I : CEUR Workshop Proceedings. 518

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Semantic Web
Semantics
Sensors
Processing
2 Citationer (Scopus)
289 Downloads (Pure)

Automated Fault Tolerant Control Synthesis based on Discrete Games

Grunnet, J. D., Bendtsen, J. D. & Bak, T., 2009, I : I E E E Conference on Decision and Control. Proceedings. s. 8476 - 8481

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
2 Citationer (Scopus)
386 Downloads (Pure)

Automatic sensor assignment of a supermarket refrigeration system

Tabatabaeipour, S. M., Izadi-Zamanabadi, R., Bak, T. & Ravn, A. P., 2009, I : I E E E Conference on Control Applications. Proceedings. s. 1319–1324 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
43 Citationer (Scopus)

Automatic Synthesis of Robust and Optimal Controllers: An Industrial Case Study

Cassez, F., Jessen, J. J., Larsen, K. G., Raskin, J-F. & Reynier, P-A., 2009, I : Lecture Notes in Computer Science. 5469, s. 90-114

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Synthesis
Controller
Controllers
Simulink
Control Problem
14 Citationer (Scopus)

A Youla-Kucera approach to Gain-Scheduling with Application to Wind Turbine Control

Niss, M. O. K., Esbensen, T., Sloth, C., Stoustrup, J. & Odgaard, P. F., 2009, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 1489-1494 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Scheduling
Controllers
Parameterization
21 Citationer (Scopus)

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

Benes, N., Kretinsky, J., Larsen, K. G. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5684, s. 112-126

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Combinatorial Control Systems

Larsen, J. A. & Wisniewski, R., 2009, I : Lecture Notes in Control and Information Sciences. 396, s. 123-132

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

39 Citationer (Scopus)

Detection and removal of chromatic moving shadows in surveillance scenarios

Huerta, I., Holte, M., Moeslund, T. & Gonzàlez, J., 1 dec. 2009, I : Proceedings of the IEEE International Conference on Computer Vision. s. 1499-1506 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Textures
Color
Cones
Luminance
Lighting
5 Citationer (Scopus)

Discounting in Time

Fahrenberg, U. & Larsen, K. G., nov. 2009, I : Electronic Notes in Theoretical Computer Science. 253, 3, s. 25-31 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

13 Citationer (Scopus)

Discount-Optimal Infinite Runs in Priced Timed Automata

Fahrenberg, U. & Larsen, K. G., 2009, I : Electronic Notes in Theoretical Computer Science. 239, s. 179-191

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Discount
Discounting
Semantics
Optimal Scheduling
2 Citationer (Scopus)

Distributed Cognition in Ship Navigation and Prevention of Collision: Proceedings of European Conference on Cognitive Ergonomics 2009  (ECCE 2009)

Koester, T., Hyll, N. & Stage, J., 2009, I : VTT Publications. 258, s. 202-210

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Ergonomics
Ships
Navigation
Availability
Cognitive systems
17 Citationer (Scopus)

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

David, A., Larsen, K. G., Chatain, T. & Bulychev, P., 2009, I : Lecture Notes in Computer Science. 5813, s. 73-87

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Game
Preorder
Controllability
Automata
Simulation
1 Citation (Scopus)

E-learning to train staff in Danish Hospitals: three genres of e-learning

Bygholm, A., 2009, I : Studies in Health Technology and Informatics. s. 908-913 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review