Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 216,371
Number of items: 216,371
  • Open Access
    Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2024). A simple loopcheck for intuitionistic K. In G. Metcalfe, T. Studer, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024 : proceedings (pp. 47-63). (Lecture Notes in Computer Science; Vol. 14672), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-62687-6_4
  • Open Access
    Girão, A., Hurley, E., Illingworth, F., & Michel, L. (2024). Abundance: Asymmetric graph removal lemmas and integer solutions to linear equations. Journal of the London Mathematical Society, 110(5), Article e70015. https://doi.org/10.1112/jlms.70015
  • Open Access
    Albayrak, S., Benincasa, P., & Duaso Pueyo, C. (2024). Perturbative unitarity and the wavefunction of the Universe. SciPost Physics, 16(6), Article 157. https://doi.org/10.21468/SciPostPhys.16.6.157
  • Open Access
    Rubenzahl, R. A., Dai, F., Halverson, S., Howard, A. W., Householder, A., Fulton, B., Behmard, A., Gibson, S. R., Roy, A., Shaum, A. P., Isaacson, H., Brodheim, M., Deich, W., Hill, G. M., Holden, B., Laher, R. R., Lanclos, K., Payne, J. N., Petigura, E. A., ... Wishnow, E. (2024). KPF Confirms a Polar Orbit for KELT-18 b. Astronomical Journal, 168(5), Article 188. https://doi.org/10.3847/1538-3881/ad70b5
  • Open Access
    Dalsgaard Ejrnæs, D., Olivier, B., Bakker, E. S., Cornelissen, P., Ejrnæs, R., Smit, C., & Svenning, J.-C. (2024). Vegetation dynamics following three decades of trophic rewilding in the mesic grasslands of Oostvaardersplassen. Applied Vegetation Science, 27(3), Article e12805. https://doi.org/10.1111/avsc.12805
  • Linssen, D. C., Oklopčić, A., & MacLeod, M. (2024, September 25). sunset: A database of synthetic atmospheric-escape transmission spectra for nearly every transiting exoplanet [Data set]. Zenodo. https://doi.org/10.5281/zenodo.13785441
  • de Nijs, E. A., Tietema, A., Bol, R. A., & van Loon, E. E. (2024, September 17). Evaluating rose yield responses to compost treatments: Data from an 18-month field study in Kenya [Data set]. Zenodo. https://doi.org/10.5281/zenodo.13772892
  • Shi, Y., & Kissling, D. (2024, October 16). Multi-temporal high-resolution data products of ecosystem structure derived from country-wide airborne laser scanning surveys of the Netherlands [Data set]. Zenodo. https://doi.org/10.5281/zenodo.13940847
  • Medved, M., Boëtius, M., Hoorens, M., Ošťadnický, M., Laurent, A., Di Donato, M., van Wingaarden, A., Hilbers, M., Feringa, B., Buma, W. J., Medved, M., & Szymanski, W. (2024, July 26). Data for "Getting a molecular grip on the half-lives of iminothioindoxyl photoswitches" [Data set]. Zenodo. https://doi.org/10.5281/zenodo.14844717
  • Open Access
    Nguyen, T., Chatterjee, S., MacAvaney, S., Mackie, I., Dalton, J., & Yates, A. (2024). DyVo: Dynamic Vocabularies for Learned Sparse Retrieval with Entities. In Y. Al-Onaizan, M. Bansal, & Y.-N. Chen (Eds.), The 2024 Conference on Empirical Methods in Natural Language Processing : Proceedings of the Conference: EMNLP 2024 : November 12-16, 2024 (pp. 767-783). Association for Computational Linguistics. https://doi.org/10.18653/v1/2024.emnlp-main.45
Page 742 of 21638