Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

12189 Publications


2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13049 | OA
Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., & Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592411
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 13317 | OA
Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14343 | OA
Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14421 | OA
Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 17378 | OA
Frantar, E., Ashkboos, S., Hoefler, T., & Alistarh, D.-A. (2023). OPTQ: Accurate post-training quantization for generative pre-trained transformers. In 11th International Conference on Learning Representations . Kigali, Rwanda: International Conference on Learning Representations.
[Published Version] View | Files available
 

2023 | Published | Conference Paper | IST-REx-ID: 14458 | OA
Frantar, E., & Alistarh, D.-A. (2023). SparseGPT: Massive language models can be accurately pruned in one-shot. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 10323–10337). Honolulu, Hawaii, HI, United States: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 22487
Pang, X., Fatichi, S., Lei, H., Cong, Z., Yang, H., & Duan, L. (2023). Environmental changes promoted vegetation growth and reduced water yield over the temperate semi-arid grassland of China during 1901–2016. Journal of Hydrology. Elsevier. https://doi.org/10.1016/j.jhydrol.2023.129235
View | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 22434
Yang, Y., Roderick, M. L., Guo, H., Miralles, D. G., Zhang, L., Fatichi, S., … Yang, D. (2023). Evapotranspiration on a greening Earth. Nature Reviews Earth & Environment. Springer Nature. https://doi.org/10.1038/s43017-023-00464-3
View | DOI
 

2023 | Published | Book Chapter | IST-REx-ID: 22477 | OA
Pappas, C., Babst, F., Fatichi, S., Klesse, S., Paschalis, A., & Peters, R. L. (2023). A Circumpolar Perspective on the Contribution of Trees to the Boreal Forest Carbon Balance. In Boreal Forests in the Face of Climate Change (Vol. 74, pp. 271–294). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-15988-6_10
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 22573 | OA
Huang, W. T. K., Masselot, P., Bou-Zeid, E., Fatichi, S., Paschalis, A., Sun, T., … Manoli, G. (2023). Economic valuation of temperature-related mortality attributed to urban heat islands in European cities. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-43135-z
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 22517 | OA
Zhao, J., Meili, N., Zhao, X., & Fatichi, S. (2023). Urban vegetation cooling potential during heatwaves depends on background climate. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/acaf0f
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12702 | OA
Cheng, B., Hamel, S., & Bethkenhagen, M. (2023). Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-36841-1
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12912 | OA
Schmid, R., & Cheng, B. (2023). Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0146711
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12879 | OA
Chen, K., Kunkel, C., Cheng, B., Reuter, K., & Margraf, J. T. (2023). Physics-inspired machine learning of localized intensive properties. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d3sc00841j
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 14425 | OA
Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41865-8
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14603 | OA
Reinhardt, A., Chew, P. Y., & Cheng, B. (2023). A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0173341
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13231 | OA
Schörner, M., Bethkenhagen, M., Döppner, T., Kraus, D., Fletcher, L. B., Glenzer, S. H., & Redmer, R. (2023). X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.107.065207
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14605
Ouyang, N., Zeng, Z., Wang, C., Wang, Q., & Chen, Y. (2023). Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I). Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.108.174302
View | DOI | WoS
 

2023 | Research Data Reference | IST-REx-ID: 14619 | OA
Cheng, B. (2023). BingqingCheng/solubility: V1.0. Zenodo. https://doi.org/10.5281/ZENODO.8398094
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed