Det Humanistiske Fakultet

  • Kroghstræde 1

    9220 Aalborg Ø

    Danmark

Publikationer 1972 2022

Filter
Konferenceartikel i tidsskrift
2009
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

Epidemic Synchronization in Robotic Swarms

Schiøler, H., Nielsen, J. F. D. & Ngo, T. D., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series. 2009, s. 43-49

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)
213 Downloads (Pure)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2009, I : Electronical Notes in Theoretical Computer Science. 242, 1, s. 19-33

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
203 Citationer (Scopus)
2792 Downloads (Pure)

Fault tolerant control of wind turbines: a benchmark model

Odgaard, P. F., Stoustrup, J. & Kinnaert, M., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
1 Citation (Scopus)

From Paper to PDA: Design and Evaluation of a Clinical Ward Instruction on a Mobile Device

Kanstrup, A. M. & Stage, J., 2009, I : Lecture Notes in Computer Science. 5727, s. 670-683

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Personal digital assistants
Mobile devices
Mobile Devices
Evaluation
Mobile Systems
11 Citationer (Scopus)

Head Pose Estimation from Passive Stereo Images

Breitenstein, M. D., Jensen, J., Høilund, C., Moeslund, T. B. & Gool, L. V., 2009, I : Lecture Notes in Computer Science. 5575, s. 219-228 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Pose Estimation
Range Image
Error function
Accessories
Signature

Improving Safety Through the Design of a New Function: Design Process Findings and Post-Release Analyses - 

Koester, T., Hyll, N. & Stage, J., 2009, I : VTT Publications. s. 267-275 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)

Interplay between usability evaluation and software development (I-USED 2009)

Abrahão, S., Hornbæk, K. A. S., Law, E. & Stage, J., 2009, I : Lecture Notes in Computer Science. PART 2, s. 969-970 2 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Usability Evaluation
Software Engineering
Empirical Study
Software Development
Software engineering
13 Citationer (Scopus)
288 Downloads (Pure)

Maximum Likelihood Learning of Conditional MTE Distributions

Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2009, I : Lecture Notes in Computer Science. 5590, s. 240-251

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Truncated Distributions
Exponential distribution
Maximum likelihood
Maximum Likelihood
Conditional Density
1 Citation (Scopus)

Model-Based GUI Testing Using Uppaal at Novo Nordisk

H. Hjort, U., Rasmussen, J. I., Larsen, K. G., A. Petersen, M. & Skou, A., 2009, I : Lecture Notes in Computer Science. 5850, s. 814-818

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Graphical user interfaces
Model-based
Testing
Coverage
Test Generation
1 Citation (Scopus)

Performance Monitoring in Supermarket Refrigeration Systems - Synchronisation of Refrigerated Display Cases

Chen, L., Green, T., Sloth Larsen, L. F., Izadi-Zamanabadi, R. & Wisniewski, R., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series. 42, 11, s. 333-338 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Refrigeration
Hybrid systems
Synchronization
Display devices
Monitoring
7 Citationer (Scopus)

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2009, I : I F A C Workshop Series. 3, 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

33 Citationer (Scopus)
701 Downloads (Pure)

Pose Estimation and Adaptive Robot Behaviour for Human-Robot Interaction

Svenstrup, M., Hansen, S. T., Andersen, H. J. & Bak, T., 2009, I : I E E E International Conference on Robotics and Automation. Proceedings. 2009, s. 3571 - 3576

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Intelligent robots
Human robot interaction
Robots
Lasers
Information use

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, I : Dagstuhl Seminar Proceedings. s. 417-425 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Automata Theory
Timed Automata
Resource Allocation
Open Problems
Modeling
36 Citationer (Scopus)

Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Controllers
Uncertainty
Actuators
Trajectories
13 Citationer (Scopus)
474 Downloads (Pure)

Shadow Detection in Dynamic Scenes Using Dense Stereo Information and an Outdoor Illumination Model

Madsen, C. B., Moeslund, T. B., Pal, A. & Balasubramanian, S., 2009, I : Lecture Notes in Computer Science. 5742, s. 110-125 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
3 Citationer (Scopus)

Simplified Optimal Control in HVAC systems

Komareji, M., Stoustrup, J., Rasmussen, H., Bidstrup, N., Svendsen, P. & Nielsen, F., 2009, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 1033 - 1038

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Teaching Concurrency: Theory in Practice

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5846, s. 158-175 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Concurrency
Teaching
Students
Acoustic waves
Philosophy
10 Citationer (Scopus)

The design of spherical multilobe-cam mechanisms

Bai, S. & Angeles, J., 2009, I : Proceedings of the Institution of mechanical engineers. Part C, journal of mechanical engineering science. 2, s. 473-482

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

The Return of the Inter-War Period Avant-Garde in Danish Poetry around the Year 2000

Larsen, P. S., 2009, I : Linköping Electronic Conference Proceedings. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

42 Citationer (Scopus)

The Role of Social Networking Services in eParticipation

Sæbø, Ø., Rose, J. & Nyvang, T., 2009, I : Lecture Notes in Computer Science. s. 46-55

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

E-participation
Social Networking
Circuit theory
Internet
Social Networks
8 Citationer (Scopus)

Towards an Approach to Ethics and HCI Development Based on Løgstrup's Ideas

Burri, S., 2009, I : Lecture Notes in Computer Science. 5726, s. 200-203 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

40 Citationer (Scopus)
735 Downloads (Pure)

Unknown input observer based scheme for detecting faults in a wind turbine converter

Odgaard, P. F. & Stoustrup, J., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
4 Citationer (Scopus)
381 Downloads (Pure)

Verifying real-time systems against scenario-based requirements

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, I : Lecture Notes in Computer Science. 5850, s. 676-691 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Real time systems
Chart
Real-time
Scenarios
Timed Automata

Walkaround® assisted walking of stroke patients

Duric-Jovicic, M., Milovanovic, I., Jovicic, N. & Popovic, D. B., 2009, I : International Federation for Medical and Biological Engineering Proceedings. 25, 9, s. 299-301

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

289 Downloads (Pure)

WCET Analysis of ARM Processors using Real-Time Model Checking

Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, I : RWTH Aachen, Dept. of Computer Science. 14, s. 4-6

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1606 Downloads (Pure)

Wild rabbits in Living Lab Skagen

Kanstrup, A. M., 2009, I : Aarhus Universitet. Institut for Matematiske Fag. Datalogisk Afdeling. P B. 591, s. 38-41

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
2008

A fast sign localization system using discriminative color invariant segmentation

Nguyen, P. G. & Andersen, H. J., 2008, I : ISSN International Centre. s. 507-513 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)
319 Downloads (Pure)

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, I : Design, Automation and Test in Europe. s. 443-448 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Real time systems
Testing
Acoustic waves
476 Downloads (Pure)

An active defrost scheme with a balanced energy consumption and food quality loss in supermarket refrigeration systems

Cai, J., Stoustrup, J. & Rasmussen, B. D., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Refrigeration
Energy utilization
Cooling
Feedback
7 Citationer (Scopus)

Closed-loop System Identification with New Sensors

Bendtsen, J. D., Trangbæk, K. & Stoustrup, J., 2008, I : I E E E Conference on Decision and Control. Proceedings. s. 2631-2636 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

System Identification
Closed loop systems
Closed-loop System
Identification (control systems)
Multivariable Control
5 Citationer (Scopus)

Combinatorial Vector Fields for Piecewise Affine Control Systems

Wisniewski, R. & Larsen, J. A., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1, 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Control systems
Merging
Trajectories
417 Downloads (Pure)

Conceptual analysis of Kairos for Location-based mobile services

Glud, L. N. & Jespersen, J. L., 2008, I : University of Oulu. Department of Information Processing Science. Series A, Research Papers. s. 17-21

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., dec. 2008, I : Electronic Notes in Theoretical Computer Science. 220, 1, 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Testing
Acoustic waves
Game
Black-box Testing
Conformance Testing

Deconstructing the Narrative-Stroy Duality: Constructing a Space for Responsibility of the Other

Jørgensen, K. M. & Boje, D. M., 2008, I : Business Ethics - A European Review.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Direct Integration: Training Software Developers to Conduct Usability Evaluations

Skov, M. B. & Stage, J., 2008, I : CEUR Workshop Proceedings. s. 74-81

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Software engineering
Websites
Software design
Education
Students
137 Citationer (Scopus)
686 Downloads (Pure)

Estimation of effective wind speed

Østergaard, K. Z., Brath, P. & Stoustrup, J., 2008, I : Journal of Physics - Conference Series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
509 Downloads (Pure)

Hybrid model predictive control applied to switching control of burner load for a compact marine boiler design

Solberg, B., Andersen, P., Maciejowski, J. & Stoustrup, J., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Marine boilers
Model predictive control
Fuel burners
Switches
Boilers
1 Citation (Scopus)

Minimizing quality deteriorations of refrigerated foodstuffs as a side effect of defrosting

Cai, J. & Stoustrup, J., 2008, I : American Control Conference (ACC). s. 1836-1841 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Defrosting
Deterioration
Refrigeration
Hysteresis
Compressors
2 Citationer (Scopus)

Modular Modelling and Simulation Approach - Applied to Refrigeration Systems

Sørensen, K. K. & Stoustrup, J., 2008, I : Proceedings of the IEEE Conference on Control Applications. s. 983-988

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Refrigeration
XML
Containers
Large scale systems
Costs
1 Citation (Scopus)
326 Downloads (Pure)

Moving horizon control and estimation of livestock ventilation systems and indoor climate

Wu, Z., Stoustrup, J. & Jørgensen, J. B., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Agriculture
Ventilation
Actuators
Poultry
Multivariable systems
10 Citationer (Scopus)

On Propagating Requirements and Selecting Fuels for a Benson Boiler

Kragelund, M. N., Wisniewski, R., Mølbak, T., Nielsen, R. J. & Edlund, K., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Boilers
Actuators
Industry
Power plants
Sensors
1 Citation (Scopus)

On the Trade-off between Energy Consumption and Food Quality Loss in Supermarket Refrigeration Systems

Cai, J., Jensen, J. B., Skogestad, S. & Stoustrup, J., 2008, I : American Control Conference (ACC). s. 2880-2885 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Refrigeration
Energy utilization
Pressure control
Energy conservation
Temperature
48 Citationer (Scopus)

Optimal infinite scheduling for multi-priced timed automata

Bouyer, P., Brinksma, E. & Larsen, K. G., 2008, I : Formal Methods in System Design. 1, 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

14 Citationer (Scopus)

Optimal Model-Based Control in HVAC Systems

Komareji, M., Stoustrup, J., Rasmussen, H., Bidstrup, N., Svendsen, P. & Nielsen, F., 2008, I : American Control Conference (ACC). s. 1443-1448 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Air conditioning
Heating
Heat exchangers
Air
Controllers
3 Citationer (Scopus)

Parametric fault estimation based on H∞ optimization in a satellite launch vehicle

Soltani, M., Izadi-Zamanabadi, R. & Stoustrup, J., 2008, I : Proceedings of the IEEE Conference on Control Applications. s. 727-732

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Launch vehicles
Satellites
Jet engines
Health
Detectors
532 Downloads (Pure)

Persuasive Guidelines with a Rhetorical Foundation

Christensen, A-K. K., 2008, I : University of Oulu. Department of Information Processing Science. Series A, Research Papers. 43a, s. 84-87

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
321 Downloads (Pure)

Plug-and-play process control: Improving control performance through sensor addition and pre-filtering

Bendtsen, J. D., Trangbæk, K. & Stoustrup, J., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Process control
Sensors
Control systems
Experiments
236 Downloads (Pure)

Preventing refrigerated foodstuffs in supermarkets from being discarded on hot days by mpc

Cai, J., Stoustrup, J. & Jørgensen, J. B., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Compressors
Temperature
Model predictive control
Refrigeration
Display devices
12 Citationer (Scopus)

Quantifying and analysing neighbourhood characteristics supporting urban land-use modelling

Hansen, H. S., 1 dec. 2008, I : Lecture Notes in Geoinformation and Cartography. s. 283-299 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

land use
cellular automaton
modeling
land use change
spatial planning