Institut for Elektroniske Systemer

  • Fredrik Bajers Vej 7B

    9220 Aalborg

    Danmark

Publikationer

Verification of an Audio Protocol with Bus Collision Using UPPAAL

Bengtsson, J., Griffioen, W. O. D., Kristoffersen, K. J. & Larsen, K. G., 1996, I : Lecture Notes in Computer Science. No. 1102

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

62 Citationer (Scopus)

Verification of Continuous Dynamical Systems by Timed Automata

Sloth, C. & Wisniewski, R., aug. 2011, I : Formal Methods in System Design. 39, 1, s. 47–82 36 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
11 Citationer (Scopus)
621 Downloads (Pure)

Verification of Emulated Channels in Multi-Probe Based MIMO OTA Testing Setup

Fan, W., Carreño, X., Nielsen, J. Ø., Ashta, J., Pedersen, G. F. & Knudsen, M., apr. 2013, Antennas and Propagation (EuCAP), 2013 7th European Conference on . Gothenburg: IEEE, s. 97 - 101

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
11 Citationer (Scopus)
902 Downloads (Pure)

Verification of Language Specific Performance Factors from Recogniser Testing on EUROM.1 CVC Material

Lindberg, B., 1992, Edmonton: Priority Printing.

Publikation: Bog/antologi/afhandling/rapportBog

Verification of Power Grid Voltage Constraint Satisfaction - a Barrier Certificate Approach

Pedersen, R., Sloth, C. & Wisniewski, R., 2016, Control Conference (ECC), 2016 European. IEEE, s. 447-452

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), s. 41-52

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Verification Report: Service Creation Environment

Bai, B., Brøndsted, T. & Thornton, S., 1999, Aalborg: Aalborg Universitetsforlag. (Reward Technical Reports LEI-2632; Nr. D6.1).

Publikation: Bog/antologi/afhandling/rapportBog

Verification Summary Report: REWARD WP6D3

Jordi, A., Alvarez, R., Bai, B., Brøndsted, T. & Piper, H., 1999, Aalborg: Aalborg Universitetsforlag. (Reward Technical Reports LEI-2632; Nr. D6.3).

Publikation: Bog/antologi/afhandling/rapportBog

Åben adgang
Fil
81 Downloads (Pure)

Verifying Quality of Service of ARCnet Based ATOMOS Communication System for Integrated Ship Control

Nielsen, N. N., Nielsen, J. F. D., Schiøler, H. & Madsen, O. B., 1999, Proceedings of SIMS '99, the 1999 conference of theScandinavian Simulation Society, Linköping, Sweden, 18-19 October 1999. s. 174-184

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Versatile debugging tools for DSP-design

Nielsen, S. B., 1998, Proceedings of NORSIG'98 : 3rd IEEE Nordic Signal Processing Symposium, June 8-11, 1998, Vigsø, Hanstholm, Denmark. Dalsgaard, Paul : Jensen, Søren Holdt (eds.) (red.). Aalborg Universitetsforlag, s. 181-184

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Vertex partitions of k4,4-minor free graphs

Jørgensen, L. K., 1998, Aalborg: Aalborg Universitetsforlag. 14 s. (Research Report Series; Nr. R-98-2001).

Publikation: Bog/antologi/afhandling/rapportRapport

Vertex potentials evoked by nociceptive laser stimulation of oral mucosa: a comparison of four stimulation paradigms

Svensson, P., Arendt-Nielsen, L., Kaaber, S. & Bjerring, P., 1992, I : Anesthesia & Pain Control in Dentistry. 1, 4, s. 222-228

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

11 Citationer (Scopus)

Vertex potentials evoked by painful argon laser stimulation of human oral mucosa: relationship to stimulus intensity

Svensson, P., Arendt-Nielsen, L., Kaaber, S. & Bjerring, P., 1993, I : Anesthesia & Pain Control in Dentistry. 2, 1, s. 27-33

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

10 Citationer (Scopus)

Vertical GRF and anterior/posterior COP in supported paraplegic standing

Matjacic, Z., Jensen, P. L., Riso, R. R. & Sinkjær, T., 1998, 4th International Congress, International Neuromodulation Society, 16-20 September 1998, Lucerne, Switzerland. s. 254, No. PP21

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Vestas’ selvmål

Pedersen, S., Pedersen, C. S. & Møller, H., 28 jun. 2013, I : Jyllands-Posten.

Publikation: Bidrag til tidsskriftBidrag til avis - Kommentar/debatFormidling

Fil
259 Downloads (Pure)

Videnbaseret system til patientovervågning under anæstesi

Rosenfalck, A., Andreassen, S., Thomsen, C. E. & Kirkegaard, C., 1989, FTU seminar, 1989. s. 124

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Video and Audio Trace Files of Pre-encoded Video Content for Network Performance Measurements

Fitzek, F. H. P., Zorzi, M., Seeling, P. & Reisslein, M., 2004, IEEE Consumer Communications & Networking "Consumer Networking: Closing the Digital Divide". IEEE Signal Processing Society, s. 245-250 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

11 Citationer (Scopus)

Video as a cognitive technique to reduce pain intensity and unpleasantness

Bentsen, B., Svensson, P. & Wenzel, A., 1998, I : Journal of Dental Research. 77, Special issue B, s. 748, No. 934

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

Video network traffic and quality comparison of VP8 and H.264 SVC

Seeling, P., Fitzek, F., Ertli, G., Pulipaka, A. & Reisslein, M., 26 okt. 2010, Proceedings of the 3rd workshop on Mobile video delivery. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

16 Citationer (Scopus)

Video Quality Evaluation for Wireless Transmission with Robust Header Compression

Seeling, P., Fitzek, F. H. P. & Reisslein, M. M., 2003, Fourth International Conference on Information Communications & Signal Processing and Fourth IEEE Pacific-Rim Conference on Multimedia (ICICS-PCM 2003) December, 2003, tbd. IEEE Signal Processing Society, Bind Vol. 3. s. 1346-1350 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

13 Citationer (Scopus)

Video Streaming in Wireless Internet

Fitzek, F. H. P., Seeling, P. & Reisslein, M., 2004

Publikation: Bog/antologi/afhandling/rapportBog

8 Citationer (Scopus)

Viewpoint variation in the noise sensitivity of pose estimation

Madsen, C. B., 1996, Proceedings, IEEE Conference on Computer Vision and Pattern Recognition, 1996. s. 41-46

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Citationer (Scopus)

View point variation in the noise sensitivity of pose estimation

Madsen, C. B., 1995, Aalborg: Aalborg University, Laboratory of Image Analysis. 34 s. (LIA Report; Nr. LIA-95-23).

Publikation: Bog/antologi/afhandling/rapportRapport

VINAV: Et system for VIsion støttet NAVigation

Andersen, C. S., Christensen, H. I., Kirkeby, N. O. S., Knudsen, L. F. & Madsen, C. B., 1992, Proceedings of the 1st Danish Conference on Pattern Recognition and Image Analysis, 1992, Copenhagen, Denmark. s. 99-104

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

VIPWOB: a system for modular processing

Kirkeby, N. O. S. & Christensen, H. I., 1992, Proceeding DANKOMB-1, DIKU, June 1992, Copenhagen, Denmark. s. 85-90

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

VIPWOB 2.0 description and reference manual

Kirkeby, N. O. S. & Christensen, H. I., 1991, Aalborg: Aalborg University, Lab. of Image Analysis. (LIA Technical Report; Nr. 91-11).

Publikation: Bog/antologi/afhandling/rapportRapport

VIPWOB 3.0 description and reference manual

Kirkeby, N. O. S. & Christensen, H. I., 1991, Aalborg: Aalborg University, Lab. of Image Analysis. 59 s.

Publikation: Bog/antologi/afhandling/rapportRapport

VIPWOB 3.1: description and reference manual

Kirkeby, N. O. S. & Christensen, H. I., 1992, Aalborg: Aalborg University, Lab. of Image Analysis. 78 s. (LIA Technical Report; Nr. 92-09).

Publikation: Bog/antologi/afhandling/rapportRapport

VIPWOB 4.0 reference manual

Kirkeby, N. O. S. & Christensen, H. I., 1993, Aalborg: Aalborg University, Lab. of Image Analysis. 48 s. (LIA Technical Report; Nr. 93-14).

Publikation: Bog/antologi/afhandling/rapportRapport

VIPWOB 4.2 programmers guide

Kirkeby, N. O. S. & Christensen, H. I., 1994, Aalborg: Aalborg University, Laboratory of Image Analysis. (LIA Report; Nr. LIA-94-23).

Publikation: Bog/antologi/afhandling/rapportRapport

VIPWOB 4.2 reference manual

Kirkeby, N. O. S. & Christensen, H. I., 1994, Aalborg: Aalborg University, Laboratory of Image Analysis. (LIA Report; Nr. LIA-94-21).

Publikation: Bog/antologi/afhandling/rapportRapport

VIPWOB 4.2 users guide

Kirkeby, N. O. S. & Christensen, H. I., 1994, Aalborg: Aalborg University, Laboratory of Image Analysis. (LIA Report; Nr. LIA-94-22).

Publikation: Bog/antologi/afhandling/rapportRapport

Virtual College over IP netwærk

Borch, O., Nielsen, P. S. & Andersen, J. H., 2004, Projekt MIKS under Det Digitale Nordjylland.

Publikation: Bog/antologi/afhandling/rapportBog

Åben adgang
Fil
312 Downloads (Pure)

Virtual Drive Testing of Adaptive Antenna Systems in Dynamic Propagation Scenarios for Vehicle Communications

Fan, W., Hentilä, L., Zhang, F., Kyösti, P. & Pedersen, G. F., 2018, I : IEEE Access. 6, s. 7829-7838 10 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
4 Citationer (Scopus)
370 Downloads (Pure)

Virtual Drive Testing Over-The-Air for Vehicular Communications

Ji, Y., Fan, W., Nilsson, M., Hentilä, L., Karlsson, K., Tufvesson, F. & Pedersen, G. F., 2020, I : I E E E Transactions on Vehicular Technology. 69, 2, s. 1203-1213 11 s., 8917696.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
33 Downloads (Pure)

Virtualization and Scheduling Methods for 5G Cognitive Radio Based Wireless Networks

Badoi, C. I., Prasad, N. & Prasad, R., 1 jul. 2016, I : Wireless Personal Communications. 89, 2, s. 599-619 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)

Virtual Large-Scale Array Beamforming Analysis Using Measured Subarray Antenna Patterns

Zhang, F., Fan, W., Zhang, J. & Pedersen, G. F., 2017, I : IEEE Access. 5, s. 19812 - 19823

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
4 Citationer (Scopus)
488 Downloads (Pure)

Virtual Learning Environments and Learning Forms -experiments in ICT-based learning

Helbo, J. & Knudsen, M., 2004.

Publikation: Working paperForskning

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

Virtual Learning Environments and Learning Forms -experiments in ICT-based learning

Helbo, J. & Knudsen, M., 2004, 5th Int. Conf. on Information Technology Based Higher Education and Training: ITHET ‘04.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2 Citationer (Scopus)

Virtual reality and human brain mapping: a study model

Chen, A. C. N., Arendt-Nielsen, L., Larsen, O. V., Nagel, H. R. & Granum, E., 2000, I : NeuroImage. 11, 5, Part 2, s. No. 551

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

Virtual test systems for global spatial sampling in thick, arbitrarily orientated uniform, random sections

Larsen, J. O. & Gundersen, H. J. G., 1999, I : Acta Stereologica. 18, 3, s. 381-388

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Visceral pain

Jensen, J. H., 1995, Symposium, The Structure and Function of the Spinal Cord, December 1995, Bergen, Norway. s. 22

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Visible Light Communications (VLC) for Ambient Assisted Living

Kumar, A., Mihovska, A. D., Kyriazakos, S. & Prasad, R., 2014, I : Wireless Personal Communications. 78, 3, s. 1699-1717 s11277-014-1901-1.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

21 Citationer (Scopus)

Vision Aided State Estimation for Helicopter Slung Load System

Bisgaard, M., Bendtsen, J. D., la Cour-Harbo, A. & N. Johnson, E., 2007, Seventeenth IFAC Symposium on Automatic Control in Aerospace (2007). Pergamon Press, Bind 17. 6 s. (IFAC-PapersOnLine).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Downloads (Pure)

Vision aided state estimator for helicopter slung load system

Bisgaard, M., La Cour-Harbo, A., Johnson, E. N. & Bendtsen, J. D., 1 dec. 2007, ACA' 2007 - 17th IFAC Symposium on Automatic Control in Aerospace - Proceedings. Elsevier, s. 425-430 6 s. (IFAC Proceedings Volumes (IFAC-PapersOnline); Nr. PART 1, Bind 17).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
14 Citationer (Scopus)

Vision as Process: Basic Research Computer Vision Systems

Crowley, J. L. E. . & Christensen, H. I., 1995, Heidelberg: Springer. (ESPRIT Basic Research Series).

Publikation: Bog/antologi/afhandling/rapportBog

Vision as Process: ESPRIT BR-7108

Granum, E., Crowley, J. L., Chehikian, A., Kittler, J., Eklundh, J-O. & Granlund, G., 1996, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBog

3 Citationer (Scopus)

Vision as process: integration and control of a real time active vision system

Crowley, J. L. & Christensen, H. I., 1993, Aalborg: Aalborg University, Lab. of Image Analysis. 22 s. (LIA Technical Report; Nr. 93-16).

Publikation: Bog/antologi/afhandling/rapportRapport