Publikationer fra instituttet

Under publikationsliste finder du en samlet liste over de publikationer, som er lavet af medarbejdere ved Institut for Elektro- og Computerteknologi for eksempel tidsskriftsartikler, bøger, rapporter m.v.

Instituttet udgiver også tekniske rapporter, som du kan læse mere om under Tekniske rapporter.

Under ph.d.-afhandlinger finder du instituttets publicerede ph.d.-afhandlinger.

Publikationsliste

Sortér efter: Dato | Forfatter | Titel

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Poster session præsenteret på World Congress of the International Commission of Agricultural Engineering (CIGR), Sustainable biosystems through engineering, Quebec, Canada. https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Afhandling præsenteret på World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Sustainable Biosystems Through Engineering, Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=25&sobi2Id=387

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. I P. Savoie, J. Villeneuve & R. Morisette (red.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (s. 214) https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Swain, K. C., Zaman, Q. U., Schumann, A. W., Percival, D. C. & Bochtis, D. (2010). Computer vision system for wild blueberry fruit yield mapping. Biosystems Engineering, 106(4), 389-394. https://doi.org/10.1016/j.biosystemseng.2010.05.001

Bentsen, P., Nybo, J., Ring, C. & Wagner, S. (2010). Continuous healthcare: Removing the inconvenience of recharging. I 2010 4th International Conference on Pervasive Computing Technologies for Healthcare, Pervasive Health 2010 Artikel 5482263 https://doi.org/10.4108/ICST.PERVASIVEHEALTH2010.8900

Rehman, N. U. & Mandic, D. P. (2010). Quadrivariate Empirical Mode Decomposition. I The 2010 International Joint Conference on Neural Networks (IJCNN) IEEE. https://doi.org/10.1109/ijcnn.2010.5596768

Rehman, N., Looney, D., Rutkowski, T. M. & Mandic, D. P. (2009). Bivariate EMD-based image fusion. I 2009 IEEE/SP 15th Workshop on Statistical Signal Processing IEEE. https://doi.org/10.1109/ssp.2009.5278639

Looney, D., Rehman, N. U., Mandic, D., Rutkowski, T. M., Heidenreich, A. & Beyer, D. (2009). Conditioning multimodal information for smart environments. I 2009 Third ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC) IEEE. https://doi.org/10.1109/icdsc.2009.5289373

Bochtis, D., Sørensen, C. A. G., Jørgensen, R. N. & Green, O. (2009). Modelling of material handling operations using controlled traffic. Biosystems Engineering, 103(4), 397-408. https://doi.org/10.1016/j.biosystemseng.2009.02.006

Rehman, N. U. & Mandic, D. P. (2009). Qualitative analysis of rotational modes within three dimensional empirical mode decomposition. I 2009 IEEE International Conference on Acoustics, Speech and Signal Processing IEEE. https://doi.org/10.1109/icassp.2009.4960367

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2008). A roadmap for the rodin toolset. I Abstract State Machines, B and Z - First International Conference, ABZ 2008, Proceedings (s. 347) https://doi.org/10.1007/978-3-540-87603-8_35

Klionsky, D. J., Abeliovich, H., Agostinis, P., Agrawal, D. K., Aliev, G., Askew, D. S., Baba, M., Baehrecke, E. H., Bahr, B. A., Ballabio, A., Bamber, B. A., Bassham, D. C., Bergamini, E., Bi, X., Biard-Piechaczyk, M., Blum, J. S., Bredesen, D. E., Brodsky, J. L., Brumell, J. H. ... Deter, R. L. (2008). Guidelines for the use and interpretation of assays for monitoring autophagy in higher eukaryotes. Autophagy, 4(2), 151-75. https://doi.org/10.4161/auto.5338

Hallerstede, S. & Hoang, T. S. (2007). Qualitative probabilistic modelling in Event-B. I Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (s. 293-312). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_16

Abrial, J. R. & Hallerstede, S. (2007). Refinement, decomposition, and instantiation of discrete models: Application to event-B. Fundamenta Informaticae, 77(1-2), 1-28. https://dl.acm.org/doi/10.5555/2366448.2366450

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2006). An open extensible tool environment for event-B. I Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings (s. 588-605). Springer Verlag. https://doi.org/10.1007/11901433_32

Hallerstede, S. (2006). Justifications for the event-b modelling notation. I J. Julliand & O. Kouchnarenko (red.), B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Proceedings (s. 49-63). Springer Verlag. https://doi.org/10.1007/11955757_7

Voros, N. S., Snook, C. F., Hallerstede, S. & Masselos, K. (2005). Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language. Design Automation for Embedded Systems, 9(2), 67-99. https://doi.org/10.1007/s10617-005-1184-6

Hallerstede, S. & Butler, M. (2004). Performance analysis of probabilistic action systems. Formal Aspects of Computing, 16(4), 313-331. https://doi.org/10.1007/s00165-004-0037-6

Johansen, P. (2004). Quantification of Cavitation in the Vicinity of Mechanical Heart Valves.

Hallerstede, S. (2003). Parallel hardware design in B. I D. Bert, J. P. Bowen, S. King & M. Walden (red.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 101-102). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_8

Woodcock, J. & Larsen, P. G. (1995). Guest Editorial: Introduction to Special Section. IEEE Transactions on Software Engineering, 21, 61-62. https://doi.org/10.1109/TSE.1995.10000

Viser resultater 1001 til 1022 ud af 1022

Forrige

Tekniske rapporter

Institut for Elektro- og Computerteknologi udgiver en serie af tekniske rapporter.

Formålet med rapporterne er at formidle aktuel viden til omverdenen forud for og under publiceringsprocessen, som i nogle tilfælde kan tage op til et år.

Læs de tekniske rapporter ved at klikke nedenfor:

Technical Report Department of Electrical and Computer Engineering

Ph.d.-afhandlinger

Ph.d.-afhandinger ved Institut for Elektro- og Computerteknologi udgives gennem Statsbibliotekets/AU library's online E-books platform, hvor der er open access. Du kan finde publicerede afhandlinger ved at følge linket nedenfor.

Ph.d.-afhandlinger ved Institut for Elektro- og Computerteknologi

AU Engineering Profile

Download AU Engineering Profile 2013-2022:

Revideret 22.02.2024

AU Engineering