Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 79,810
Number of items: 79,810
  • Open Access
    Liu, Q., Colak, Z., & Agirdag, O. (2022). The extent and predictors of linguistically responsive teaching in Southwest China. International Journal of Bilingual Education and Bilingualism, 25(8), 3022-3036. https://doi.org/10.1080/13670050.2021.2003293
  • Open Access
    Volonteri, M., Pfister, H., Beckmann, R., Dotti, M., Dubois, Y., Massonneau, W., Musoke, G., & Tremmel, M. (2022). Dual AGN in the Horizon-AGN simulation and their link to galaxy and massive black hole mergers, with an excursus on multiple AGN. Monthly Notices of the Royal Astronomical Society, 514(1), 640-656. https://doi.org/10.1093/mnras/stac1217
  • Open Access
    Houwen, B. B. S. L. (2022). Human-machine collaboration: Improving endoscopic detection and characterization of colorectal neoplasia. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Mosca, M., & Verschoor, S. R. (2022). Factoring semi-primes with (quantum) SAT-solvers. Scientific Reports, 12(1), Article 7982. https://doi.org/10.1038/s41598-022-11687-7
  • Open Access
    Jonker, J., & Riva, A. (2022). Stock exchange price currents, financial information and market transparency: An introduction. Financial History Review, 29(3), 271-286. https://doi.org/10.1017/S0968565022000105
  • Open Access
    Ondrčková, S., Barták, R., Bercher, P., & Behnke, G. (2022). On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. In Proceedings of FLAIRS-35 (Proceedings of the International Florida AI Research Conference; Vol. 35). The Florida Artificial Intelligence Research Society. https://doi.org/10.32473/flairs.v35i.130606
  • Open Access
    Lin, S., Behnke, G., Ondrčková, S., Barták, R., & Bercher, P. (2022). On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm. In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp. 52-58). ICAPS. https://icaps22.icaps-conference.org/workshops/HPlan/papers/paper-08.pdf
  • Open Access
    Lin, S., Behnke, G., & Bercher, P. (2022). Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving. In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp. 24-28). ICAPS. https://icaps22.icaps-conference.org/workshops/HPlan/papers/paper-04.pdf
  • Open Access
    Behnke, G., Pollitt, F., Höller, D., Bercher, P., & Alford, R. (2022). Making Translations to Classical Planning Competitive With Other HTN Planners. In K. Sycara, V. Honavar, & M. Spaan (Eds.), Proceedings of the 36th AAAI Conference on Artificial Intelligence: AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 (Vol. 9, pp. 9687-9697). AAAI Press. https://doi.org/10.1609/aaai.v36i9.21203
  • Open Access
    Höller, D., Wichlacz, J., Bercher, P., & Behnke, G. (2022). Compiling HTN Plan Verification Problems into HTN Planning Problems. In A. Kumar, S. Thiébaux, P. Varakantham, & W. Yeoh (Eds.), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling: June 13-24, 2022, virtual conference (pp. 145-150). (ICAPS; Vol. 32). AAAI Press. https://doi.org/10.1609/icaps.v32i1.19795
Page 1745 of 7981