Det Humanistiske Fakultet

  • Kroghstræde 1

    9220 Aalborg Ø

    Danmark

Publikationer 1972 2022

Filter
Konferenceartikel i tidsskrift
2012

Signs In Place: Choreographing Travel Flow in Urban Spaces

Hamid, S. B. A., Jensen, O. B. & Silva, V., sep. 2012, I : Spaces & Flows. 2, 3, s. 115-128 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

travel
traffic sign
road traffic
everyday life
human being
9 Citationer (Scopus)

State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Bozga, M., David, A., Hartmanns, A., Larsen, K. G., Legay, A. & Tretmans, J., 2012, I : A C M / I E E E Design Automation Conference. Proceedings. s. 370-375

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Embedded systems
Testing

The Impact of Social Media Enterprise Crowdsourcing on Company Innovation Culture: The case of an engineering consultancy

Hugger, A. S. & Nicolajsen, H. W., 2012, I : Sprouts. 12, 27, 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

The Other Holidays

Larsen, J. R. K. & Blichfeldt, B. S., 2012, I : Revista Turismo & Desenvolvimento. 17/18, s. 139-148

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Jørgensen, K. Y., Larsen, K. G. & Srba, J., 2012, I : Electronic Proceedings in Theoretical Computer Science. 102, s. 141-155 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data structures
Clocks
Model checking
Petri nets
Explosions
65 Citationer (Scopus)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Bulychev, P., David, A., Larsen, K. G., Mikučionis, M., Poulsen, D. B., Legay, A. & Wang, Z., 2012, I : Electronic Proceedings in Theoretical Computer Science. 85, s. 1-16 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Probability distributions
Semantics
Statistical Models
266 Downloads (Pure)

When 'exact recovery' is exact recovery in compressed sensing simulation

Sturm, B. L., 2012, I : Proceedings of the European Signal Processing Conference. 2012, s. 979-983 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Compressed sensing
Recovery
2011
2 Citationer (Scopus)
361 Downloads (Pure)

3D Reconstruction of Buildings with Automatic Facade Refinement

Larsen, C. & Moeslund, T. B., 2011, I : Lecture Notes in Computer Science. 6938 , s. 451-460 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Facades
3D Reconstruction
3D Model
Refinement
Structure from Motion
3 Citationer (Scopus)

A.N. Prior's Notion of the Present

Jakobsen, D., 2011, I : Lecture Notes in Computer Science. 6789 LNAI, s. 36-45 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Evaluate
Libraries
2 Citationer (Scopus)

A.N. Prior’s Ideas on Tensed Ontology

Jakobsen, D., Schärfe, H. & Øhrstrøm, P., 2011, I : Lecture Notes in Computer Science. 6828, s. 118-130 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

33 Citationer (Scopus)

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, I : Lecture Notes in Computer Science. 6538, s. 324-339

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)

Accessibility Analysis and Modeling in Public Transportation Networks - A Raster Based Approach

Fuglsang, M., Hansen, H. S. & Münier, B., jun. 2011, I : Lecture Notes in Computer Science. 6728, Part 1, s. 207-224

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Accumulation of different visual feature descriptors in a coherent framework

Jessen, J. B., Pilz, F., Kraft, D., Pugeault, N. & Krüger, N., 2011, I : Lecture Notes in Computer Science. 6688 LNCS, s. 79-90 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Descriptors
Kalman Filtering
Outlier
Filtering
Framework
4 Citationer (Scopus)

Active Fault Diagnosis for Hybrid Systems Based on Sensitivity Analysis and Adaptive Filter

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)

Active Fault Diagnosis for Hybrid Systems Based on Sensitivity Analysis and EKF

Gholami, M., Schiøler, H. & Bak, T., 2 jul. 2011, I : American Control Conference. Proceedings. s. 244-249 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Extended Kalman filters
Hybrid systems
Agriculture
Sensitivity analysis
Failure analysis
1 Citation (Scopus)
275 Downloads (Pure)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

Sloth, C. & Wisniewski, R., 2011, I : I F A C Workshop Series. s. 4546-4551 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Lyapunov functions
Linear systems
Dynamical systems
Trajectories
3 Citationer (Scopus)

An Investigation on Temporal Aspects in the Audio-Haptic Simulation of Footsteps

Turchet, L. & Serafin, S., 2011, I : Lecture Notes in Computer Science. 6789 LNAI, s. 101-115

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Haptics
Timing
Simulation
Experiments
Experiment
2 Citationer (Scopus)
2 Citationer (Scopus)

An Optimization Framework for Load and Power Distribution in Wind Farms

Soleimanzadeh, M. & Wisniewski, R., 2011, I : I F A C Workshop Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

286 Downloads (Pure)

A Nordic Guideline on Sustainable Refurbishment of Buildings

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
6 Citationer (Scopus)
443 Downloads (Pure)

A Perceptually Reweighted Mixed-Norm Method for Sparse Approximation of Audio Signals

Christensen, M. G. & Sturm, B. L., 2011, I : Asilomar Conference on Signals, Systems and Computers. Conference Record. s. 575-579 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Convex optimization
Constrained optimization
Computer simulation
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)

Comparison Of Air Change Rates Obtained By Different Ventilation Measurement Techniques In Five Danish Homes

Bekö, G., Gustavsen, S., Frederiksen, M., Kolarik, B., Toftum, J. & Clausen, G., 2011, I : Proceedings from Indoor Air 2011. 602

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

250 Downloads (Pure)

Consideration of the Change of Material Emission Signatures due to Longterm Emissions for Enhancing VOC Source Identification

Han, K. H., Zhang, J. S., Knudsen, H. N., Wargocki, P. & Guo, B., 2011, I : Proceedings from Indoor Air 2011. 240, 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
22 Citationer (Scopus)
627 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)
254 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
16 Citationer (Scopus)

Coronary artery disease and low frequency heart sound signatures

Schmidt, S., Hansen, J., Zimmermann, N. H., Hammershøi, D., Toft, E. & Struijk, J., 2011, I : Computing in Cardiology. 38, s. 481-484

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)
268 Downloads (Pure)

Cyclic Pure Greedy Algorithms for Recovering Compressively Sampled Sparse Signals

Sturm, B. L., Christensen, M. G. & Gribonval, R., 2011, I : Asilomar Conference on Signals, Systems and Computers. Conference Record. s. 1143-1147 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Recovery
Inverse problems
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

Design And Benefits Of Re-circulating Particle Filtration Unit

Spilak, M., Gunnarsen, L. & Frederiksen, M., 2011, I : Proceedings from Indoor Air 2011. 759

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

2 Citationer (Scopus)

Effect of emotion and articulation of speech on the Uncanny Valley in virtual characters

Tinwell, A., Grimshaw, M. N. & Abdel Nabi, D., 2011, I : Lecture Notes in Computer Science. 6975, s. 557–566 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)
672 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
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
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

227 Downloads (Pure)

Five Years Later: Revisiting the Construction Client as Change Agent

Haugbølle, K., Olsen, I. S. & Vogelius, P., 2011, I : CIB Proceedings. s. 214-224 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
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)
266 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
6 Citationer (Scopus)
549 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
2 Citationer (Scopus)

Impact of operating wood-burning stoves on indoor air quality

Afshari, A., Jensen, O. M., Bergsøe, N. C. & Carvalho, R. L. T. D., 9 jun. 2011, I : Proceedings from Indoor Air 2011. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

indoor air
air quality
air
stove
ambient air
8 Citationer (Scopus)

Interaction between COPD patients and healthcare professionals in a cross-sector tele-rehabilitation programme

Dinesen, B., Andersen, S. K., Hejlesen, O. K. & Toft, E., 2011, I : Studies in Health Technology and Informatics. 169, s. 28-32

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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)
785 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