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

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




4963 Publications

2023 | Journal Article | IST-REx-ID: 14716 | OA
Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis
A. Yurtseven, S. Buyanova, A.A.A. Agrawal, O. Bochkareva, O.V.V. Kalinina, BMC Microbiology 23 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 14718 | OA
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14717 | OA
Equidistribution of primitive lattices in ℝn
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14719
Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
View | DOI
 
2023 | Journal Article | IST-REx-ID: 14715 | OA
Exponential decay of the number of excitations in the weakly interacting Bose gas
D.J. Mitrouskas, P. Pickl, Journal of Mathematical Physics 64 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14240 | OA
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 14710 | OA
A computational toolbox for the assembly yield of complex and heterogeneous structures
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14709 | OA
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 12833 | OA
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14735 | OA
Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
[Preprint] View | DOI | Download Preprint (ext.)
 
2023 | Journal Article | IST-REx-ID: 14733 | OA
Exploring the landscape of heterocyclic quinones for redox flow batteries
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 | Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).
View | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 14737 | OA
Functional John and Löwner conditions for pairs of log-concave functions
G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View | DOI
 
2023 | Journal Article | IST-REx-ID: 14739 | OA
A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14742 | OA
The impact of chromosomal rearrangements in speciation: From micro- to macroevolution
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 14744
Divide & Scale: Formalization and roadmap to robust sharding
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
View | DOI
 
2023 | Journal Article | IST-REx-ID: 14749
Monitoring and active stabilization of laser injection locking using beam ellipticity
U. Mishra, V. Li, S. Wald, S. Agafonova, F.R. Diorico, O. Hosten, Optics Letters 48 (2023) 3973–3976.
[Preprint] View | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14752 | OA
How moisture shapes low‐level radiative cooling in subsidence regimes
B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14754 | OA
Mean structure of the supercritical turbulent spiral in Taylor–Couette flow
B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, A. Meseguer, Philosophical Transactions of the Royal Society A 381 (2023).
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications