Search results
Results: 77,432
Number of items: 77,432
-
Afshari, B., Leigh, G. E., & Menéndez Turata, G. (2023). A Cyclic Proof System for Full Computation Tree Logic. In B. Klin, & E. Pimentel (Eds.), 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland Article 5 (Leibniz International Proceedings in Informatics; Vol. 252). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2023.5 -
Castro, A., Coman, I., Fliss, J. R., & Zukowski, C. (2023). Keeping matter in the loop in dS3 quantum gravity. Journal of High Energy Physics, 2023(7), Article 120. https://doi.org/10.1007/JHEP07(2023)120 -
Dekker, M. M., Daioglou, V., Pietzcker, R., Rodrigues, R., de Boer, H.-S., Dalla Longa, F., Drouet, L., Emmerling, J., Fattahi, A., Fotiou, T., Fragkos, P., Fricko, O., Gusheva, E., Harmsen, M., Huppmann, D., Kannavou, M., Krey, V., Lombardi, F., Luderer, G., ... van Vuuren, D. (2023). Identifying energy model fingerprints in mitigation scenarios. Nature Energy, 8(12), 1395–1404. https://doi.org/10.1038/s41560-023-01399-1 -
Lambers, R., Briët, J., Patel, V., Spieksma, F., & Yıldız, M. A. (2023). Orthogonal schedules in single round robin tournaments. Operations Research Letters, 51(5), 528-532. https://doi.org/10.1016/j.orl.2023.08.002 -
Van den Berge, R., Magnier, L., & Mugge, R. (2023). Sparking the Repair “Can-Do” Attitude: Enhancing Users’ Willingness to Repair through Design Support in Fault Diagnostics. International Journal of Design, 17(3), 25-39. https://doi.org/10.57698/v17i3.02 -
Iritani, B., Tiberi, E., Skomorowski, W., Moszynski, R., Borkowski, M., & Zelevinsky, T. (2023). Accurate determination of blackbody radiation shifts in a strontium molecular lattice clock. Physical Review Letters, 131(26), Article 263201. https://doi.org/10.48550/arXiv.2306.00981, https://doi.org/10.1103/PhysRevLett.131.263201 -
Montanari, A., Macias, O., & Moulin, E. (2023). TeV gamma-ray sensitivity to velocity-dependent dark matter models in the Galactic Center. Physical Review D - Particles, Fields, Gravitation and Cosmology, 108(8), Article 083027. https://doi.org/10.1103/PHYSREVD.108.083027 -
Schalkwijk, F. (2023). Ethiek van een intersubjectieve psychoanalyse: [Bespreking van: R.P. Drozek (2019) Psychoanalysis as an ethical process]. Tijdschrift voor psychoanalyse & haar toepassingen, 29(1), 44-46. https://www.tijdschriftvoorpsychoanalyse.nl/inhoud/tijdschrift_artikel/PA-29-1-10/Ethiek-van-een-intersubjectieve-psychoanalyse -
Hopman, R., & Bleumink, R. (2023). Between pencils and genetic markers: Rethinking innovation in policing through forensic face-making technologies. International Journal of Police Science & Management, 25(3), 280-296. https://doi.org/10.1177/14613557231173213 -
Johnson-Mcdaniel, N. K., Phukon, K. S., Krishnendu, N. V., & Gupta, A. (2023). Distinguishing binary black hole precessional morphologies with gravitational wave observations. Physical Review D. Particles, Fields, Gravitation, and Cosmology, 108(10), Article 103003. https://doi.org/10.1103/PhysRevD.108.103003
Page 1052 of 7744