Search results
Results: 78,791
Number of items: 78,791
-
Lin, S., Behnke, G., Ondrčková, S., Barták, R., & Bercher, P. (2023). On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm. In B. Williams, Y. Chen, & J. Neville (Eds.), Proceedings of the 37th AAAI Conference on Artificial Intelligence: AAAI-2023 : Washington, DC, USA, February 7-14, 2023 (Vol. 10, pp. 12041–12048). AAAI Press. https://doi.org/10.1609/aaai.v37i10.26420 -
Fluke, C. J., Vohl, D., Kilborn, V. A., & Murugeshan, C. (2023). Survey-scale discovery-based research processes: Evaluating a bespoke visualisation environment for astronomical survey data. Publications of the Astronomical Society of Australia, 40, Article e035. https://doi.org/10.1017/pasa.2023.37 -
Carl, M., Galeotti, L., & Passmann, R. (2023). Realisability for infinitary intuitionistic set theory. Annals of Pure and Applied Logic, 174(6), Article 103259. https://doi.org/10.1016/j.apal.2023.103259 -
Shelah, S., & Väänänen, J. (2023). Positive logics. Archive for Mathematical Logic, 62(1-2), 207-223. https://doi.org/10.1007/s00153-022-00837-3 -
Farmer, R., Laplace, E., Ma, J., de Mink, S. E., & Justham, S. (2023). Nucleosynthesis of Binary-stripped stars. Astrophysical Journal, 948(2), Article 111. https://doi.org/10.3847/1538-4357/acc315 -
Noshair, I., Kanwal, Z., Jabeen, G., Arshad, M., Yunus, F. U. N., Hafeez, R., Mairaj, R., Haider, I., Ahmad, N., & Alomar, S. Y. (2023). Assessment of Dietary Supplementation of Lactobacillus rhamnosus Probiotic on Growth Performance and Disease Resistance in Oreochromis niloticus. Microorganisms, 11(6), Article 1423. https://doi.org/10.3390/microorganisms11061423 -
Cherenkov Telescope Array Consortium, Acero, F., Macias, O. A., & Sarkar, S. (2023). Sensitivity of the Cherenkov Telescope Array to spectral signatures of hadronic PeVatrons with application to Galactic Supernova Remnants. Astroparticle Physics, 150, Article 102850. https://doi.org/10.1016/J.ASTROPARTPHYS.2023.102850 -
Alfinelli, E., Caporaletti, F., Dallari, F., Martinelli, A., Monaco, G., Ruta, B., Sprung, M., Zanatta, M., & Baldi, G. (2023). Amorphous-amorphous transformation induced in glasses by intense x-ray beams. Physical Review B - Condensed Matter and Materials Physics, 107(5), Article 054202. https://doi.org/10.1103/PHYSREVB.107.054202 -
Hamilton, T., & Aksenova, M. (2023). La demanda de México contra fabricantes y vendedores de armas en EE. UU y el estándar de complicidad empresarial por violaciones a los derechos humanos. Web publication or website, NEXOS. https://eljuegodelacorte.nexos.com.mx/la-demanda-de-mexico-contra-fabricantes-y-vendedores-de-armas-en-ee-uu-y-el-estandar-de-complicidad-empresarial-por-violaciones-graves-a-los-derechos-humanos/ -
Vaccaro, D., Akamatsu, H., Gottardi, L., van der Kuur, J., Nagayoshi, K., Taralli, E., de Wit, M., Bruijn, M. P., van der Linden, A. J., van Leeuwen, B.-J., van der Hulst, P., Ravensberg, K., de Vries, C. P., Kiviranta, M., Gao, J.-R., & den Herder, J. W. A. (2023). Frequency domain multiplexing readout for large arrays of transition-edge sensors. Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 1046, Article 167727. https://doi.org/10.1016/J.NIMA.2022.167727
Page 1155 of 7880