Research Output 1970 2019

Filter
Editorial
2019

Fouling and cleaning in food processing 2018

Chew, Y. M. J. & Wilson, D. I., 1 Jan 2019, In : Food and Bioproducts Processing. 113, 1 p.

Research output: Contribution to journalEditorial

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial

Symbolic computation in software science

Davenport, J. H. & Kutsia, T., 1 Jan 2019, In : Journal of Symbolic Computation. 90, p. 1-2 2 p.

Research output: Contribution to journalEditorial

2018

Learning system in real-time machine vision

Li, W., Lv, Z., Cosker, D. & Yang, Y., 2 May 2018, In : Neurocomputing. 288, p. 1-2 2 p.

Research output: Contribution to journalEditorial

Preface

Davenport, J. H., Kauers, M., Labahn, G. & Urban, J., 2018, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10931 LNCS

Research output: Contribution to journalEditorial

2017

Guest editorial: Advances in big data methods for image processing

Lv, Z., Li, W. & Yang, Y. (Guest ed.), 1 Oct 2017, In : IET Image Processing. 11, 10, p. 803-804 2 p.

Research output: Contribution to journalEditorial

Preface

Bryson, J., De Vos, M. & Padget, J., 1 Jan 2017, In : Proceedings of AISB Annual Convention 2017. p. 2-3 2 p.

Research output: Contribution to journalEditorial

Preface to Coordination, Organizations, Institutions, and Norms in Agent Systems XII

Cranefield, S., Mahmoud, S., Padget, J. & Rocha, A. P., 2017, In : Lecture Notes in Computer Science. 10315 LNAI, p. V-VII

Research output: Contribution to journalEditorial