Low Cost and Broadband Dual-Polarization Metamaterial Lens for Directivity Enhancement
Turpin, J. P., Qi Wu, Werner, D. H., Martin, B., Bray, M., Lier, E.
Published in IEEE transactions on antennas and propagation (01.12.2012)
Published in IEEE transactions on antennas and propagation (01.12.2012)
Get full text
Journal Article
The Imandra Automated Reasoning System (System Description)
Passmore, Grant, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola
Published in Automated Reasoning (01.01.2020)
Published in Automated Reasoning (01.01.2020)
Get full text
Book Chapter
The Imandra Automated Reasoning System (system description)
Passmore, Grant Olney, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola
Year of Publication 21.04.2020
Year of Publication 21.04.2020
Get full text
Journal Article