Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

79901 - 79925 out of 98,540Page size: 25
Sort by: Title
  1. Published

    Synthesizing and verifying controllers for multi-lane traffic maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E-R., 13/07/2017, In: Formal Aspects of Computing. 29, p. 583–600 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    Synthesizing benchmarks for predictive modeling

    Cummins, C., Petoumenos, P., Wang, Z. & Leather, H., 4/02/2017, CGO '17 Proceedings of the 2017 International Symposium on Code Generation and Optimization. New York: ACM, p. 86-99 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Synthesizing Controllers for Multi-lane Traffic Maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E-R., 4/11/2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Synthesizing greenhouse gas fluxes across nine European peatlands and shrublands - responses to climatic and environmental changes

    Carter, M. S., Larsen, K. S., Emmett, B., Estiarte, M., Field, C., Leith, I. D., Lund, M., Meijide, A., Mills, R. T. E., Niinemets, U., Penuelas, J., Portillo-Estrada, M., Schmidt, I. K., Selsted, M. B., Sheppard, L. J., Sowerby, A., Tietema, A. & Beier, C., 2012, In: Biogeosciences. 9, 10, p. 3739-3755 17 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    Synthesizing hierarchical state machines from expressive scenario descriptions

    Whittle, J. & Jayaraman, P. K., 1/02/2010, In: ACM Transactions on Software Engineering and Methodology. 19, 3, p. 8:1-8:45 45 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Synthesizing quantitative predictors for interaction in an asynchronous online course

    Zingaro, D., Oztok, M. & Hewitt, J., 2012, Proceedings of the International Conference of the Learning Sciences (ICLS). van Aalst, J., Thompson, K., Jacobson, M. & Reimann, P. (eds.). Vol. 2. p. 485-487 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Synthesizing Samples fro Zero-shot Learning

    Guo, Y., Ding, G., Han, J. & Gao, Y., 19/08/2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). Melbourne: IJCAI, p. 1774-1780 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Synthetic and field-based electrical imaging of a zerovalent iron barrier : implications for monitoring long-term barrier performance.

    Slater, L. & Binley, A., 09/2006, In: Geophysics. 71, 5, p. B129-B137

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Synthetic band-structure engineering in polariton crystals with non-Hermitian topological phases

    Pickup, L., Sigurdsson, H., Ruostekoski, J. & Lagoudakis, P., 4/09/2020, In: Nature Communications. 11, 8 p., 4431.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Synthetic biology and the technicity of biofuels

    Mackenzie, A., 06/2013, In: Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences. 44, 2, p. 190-198 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Synthetic biology approach for mining new enzymes from unculturable microorganisms

    Wang, Y., Zhang, D. & Huang, W. E., 04/2010, In: Luminescence. 25, 2, p. 104 1 p.

    Research output: Contribution to Journal/Magazine › Meeting abstract › peer-review

  12. Published

    Synthetic Chemicals in the Environment – Perspectives from the Royal Society Global Environmental Research Committee

    Heathwaite, L., 1/01/2023, Royal Society. 2 p.

    Research output: Book/Report/Proceedings › Commissioned report

  13. Published

    Synthetic Control of Quantum Interference by Regulating Charge on a Single Atom in Heteroaromatic Molecular Junctions

    Naghibi, S., Ismael, A. K., Vezzoli, A., Al-Khaykanee, M. K., Zheng, X., Grace, I. M., Bethell, D., Higgins, S. J., Lambert, C. J. & Nichols, R. J., 17/10/2019, In: Journal of Physical Chemistry Letters. 10, 20, p. 6419-6424 6 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  14. Published

    Synthetic control of the pore dimension and surface area in conjugated microporous polymer and copolymer networks

    Jiang, J-X., Su, F., Trewin, A., Wood, C. D., Niu, H., Jones, J. T. A., Khimyak, Y. Z. & Cooper, A. I., 18/06/2008, In: Journal of the American Chemical Society. 130, 24, p. 7710-7720 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    Synthetic Data for Machine Learning

    Kerim, A., 27/10/2023, 1 ed. Packt Publishing. 208 p.

    Research output: Book/Report/Proceedings › Book

  16. Published

    Synthetic dimensions and topological chiral currents in mesoscopic rings

    Price, H. M., Ozawa, T. & Schomerus, H., 16/07/2020, In: Physical Review Research. 2, 3, 6 p., 032017.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    Synthetic faces: how perceptually convincing are they?

    Nightingale, S., Agarwal, S., Härkönen, E., Lehtinen, J. & Farid, H., 27/09/2021, In: Journal of Vision. 21, 9, 2015.

    Research output: Contribution to Journal/Magazine › Meeting abstract

  18. Published

    Synthetic Faces Are More Trustworthy Than Real Faces

    Nightingale, S. & Farid, H., 31/12/2022, In: Journal of Vision. 22, 14, 3068.

    Research output: Contribution to Journal/Magazine › Meeting abstract › peer-review

  19. Published

    Synthetic glycovaccine protects against the bite of leishmania-infected sand flies

    Rogers, M. E., Sizova, O. V., Ferguson, M. A. J., Nikolaev, A. V. & Bates, P. A., 2006, In: Journal of Infectious Diseases. 194, 4, p. 512-518 7 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  20. Published

    Synthetic phosphooligosaccharide fragments of lipophosphoglycan as acceptors for Leishmania-major alpha-Dmannosylphosphate transferase.

    Brown, G. M., Millar, A. R., Masterson, C., Brimacombe, J. S., Nikolaev, A. V. & Ferguson, M. A., 12/1996, In: European Journal of Biochemistry. 242, 2, p. 410-416 7 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  21. Published

    Synthetic sex pheromone attracts the leishmaniasis vector Lutzomyia longipalpis (Diptera: Psychodidae) to traps in the field

    Bray, D. P., Bandi, K. K., Brazil, R. P., Oliveira, A. G. & Hamilton, J. G. C., 1/05/2009, In: Journal of Medical Entomology. 46, 3, p. 428-434 7 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  22. Published

    Synthetic sex pheromone attracts the leishmaniasis vector Lutzomyia longipalpis to experimental chicken sheds treated with insecticide

    Bray, D. P., Alves, G. B., Dorval, M. E., Brazil, R. P. & Hamilton, J. G. C., 19/04/2010, In: Parasites and Vectors. 3, 1, 11 p., 16.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  23. Synthetic Sex Pheromone in a Long-Lasting Lure Attracts the Visceral Leishmaniasis Vector, Lutzomyia longipalpis, for up to 12 Weeks in Brazil

    Bray, D. P., Carter, V., Alves, G. B., Brazil, R. P., Bandi, K. K. & Hamilton, J. G. C., 20/03/2014, In: PLoS Neglected Tropical Diseases. 8, 3, 9 p., e2723.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  24. Published

    Synthetic sex-aggregation pheromone of lutzomyia longipalpis, the South American sand fly vector of leishmania infantum, attracts males and females over long-distance

    González, M. A., Bell, M., Souza, C. F., Maciel-De-freitas, R., Brazil, R. P., Courtenay, O. & Hamilton, J. G. C., 20/10/2020, In: PLoS Neglected Tropical Diseases. 14, 10, 18 p., e0008798.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  25. Published

    Synthetism and analytism in the Celtic languages: applying some newer typological indicators based on rank-frequency statistics

    Wilson, A. & Knight, R., 2015, p. 239-240. 2 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Abstract › peer-review

Previous 1...3193 3194 3195 3196 3197 3198 3199 3200 ...3942 Next

Back to top