Zobrazeno 1 - 10
of 659
pro vyhledávání: '"P. Petricek"'
Autor:
Katz-Samuels, Julian, Li, Zheng, Yun, Hyokun, Nigam, Priyanka, Xu, Yi, Petricek, Vaclav, Yin, Bing, Chilimbi, Trishul
The ability of large language models (LLMs) to execute complex instructions is essential for their real-world applications. However, several recent studies indicate that LLMs struggle with challenging instructions. In this paper, we propose Evolution
Externí odkaz:
http://arxiv.org/abs/2410.07513
Autor:
Verter, Jan Liam, Petricek, Tomas
There are two kinds of systems that programming language researchers use for their work. Semantics engineering tools let them interactively explore their definitions, while proof assistants can be used to check the proofs of their properties. The dis
Externí odkaz:
http://arxiv.org/abs/2409.13872
Autor:
Dronova, Margarita G., Petricek, Vaclav, Morgan, Zachary, Ye, Feng, Silevitch, Daniel M., Feng, Yejun
Publikováno v:
Phys. Rev. B 109, 064421 (2024)
The standard approach to realize a spin liquid state is through magnetically frustrated states, relying on ingredients such as the lattice geometry, dimensionality, and magnetic interaction type of the spins. While Heisenberg spins on a pyrochlore la
Externí odkaz:
http://arxiv.org/abs/2311.02823
Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expressed explicitly in a database schema or type system, or whether those e
Externí odkaz:
http://arxiv.org/abs/2309.11406
Autor:
Plokhikh, I., Mielke III, C., Nakamura, H., Petricek, V., Qin, Y., Sazgari, V., Küspert, J., Bialo, I., Shin, S., Ivashko, O., Zimmermann, M. v., Medarde, M., Amato, A., Khasanov, R., Luetkens, H., Fischer, M. H., Hasan, M. Z., Yin, J. -X., Neupert, T., Chang, J., Xu, G., Nakatsuji, S., Pomjakushina, E., Gawryluk, D. J., Guguchia, Z.
Publikováno v:
Communications Physics 7, 182 (2024)
The kagome lattice is an intriguing and rich platform for discovering, tuning and understanding the diverse phases of quantum matter, which is a necessary premise for utilizing quantum materials in all areas of modern and future electronics in a cont
Externí odkaz:
http://arxiv.org/abs/2309.09255
Autor:
Corrêa, Cinthia Antunes, Volný, Jiří, Tetalová, Kateřina, Uhlířová, Klára, Petříček, Václav, Vondráček, Martin, Honolka, Jan, Verhagen, Tim
Twisted heterostructures of two-dimensional crystals can create a moir\'{e} landscape, which can change the properties of it's parent crystals. However, the reproducibility of manual stacking is far from perfect. Here, the alternated stacking of post
Externí odkaz:
http://arxiv.org/abs/2306.14446
Publikováno v:
20 June 2023
Depth perception is considered an invaluable source of information in the context of 3D mapping and various robotics applications. However, point cloud maps acquired using consumer-level light detection and ranging sensors (lidars) still suffer from
Externí odkaz:
http://arxiv.org/abs/2303.01123
Autor:
Sara Ares-Blanco, Marina Guisado-Clavero, Charilaos Lygidakis, María Fernández-García, Davorina Petek, Shlomo Vinker, Donald Li, Anna Stadval, José Joaquín Mira Solves, Lourdes Ramos Del Rio, Ileana Gefaell Larrondo, Louise Fitzgerald, Limor Adler, Radost Assenova, Maria Bakola, Sabine Bayen, Elena Brutskaya-Stempkovskaya, Iliana-Carmen Busneag, Asja Ćosić Divjak, Maryher Delphin Peña, Philippe-Richard Domeyer, Dragan Gjorgjievski, Mila Gómez-Johansson, Miroslav Hanževački, Kathryn Hoffmann, Oкcaнa Iлькoв, Shushman Ivanna, Marijana Jandrić-Kočić, Vasilis Trifon Karathanos, Aleksandar Kirkovski, Snežana Knežević, Büsra Çimen Korkmaz, Milena Kostić, Anna Krztoń-Królewiecka, Bruno Heleno, Katarzyna Nessler, Heidrun Lingner, Liubovė Murauskienė, Ana Luisa Neves, Naldy Parodi López, Ábel Perjés, Ferdinando Petrazzuoli, Goranka Petricek, Martin Sattler, Natalija Saurek-Aleksandrovska, Bohumil Seifert, Alicia Serafini, Theresa Sentker, Paula Tiili, Péter Torzsa, Kirsi Valtonen, Bert Vaes, Gijs van Pottebergh, Raquel Gómez-Bravo, Maria Pilar Astier-Peña
Publikováno v:
BMC Primary Care, Vol 25, Iss 1, Pp 1-10 (2024)
Abstract Background Primary Health Care (PHC) plays a crucial role in managing the COVID-19 pandemic, with only 8% of cases requiring hospitalization. However, PHC COVID-19 data often goes unnoticed on European government dashboards and in media disc
Externí odkaz:
https://doaj.org/article/943eacceb339441c81d565c5c6312227
Autor:
I. Plokhikh, C. Mielke, H. Nakamura, V. Petricek, Y. Qin, V. Sazgari, J. Küspert, I. Biało, S. Shin, O. Ivashko, J. N. Graham, M. v. Zimmermann, M. Medarde, A. Amato, R. Khasanov, H. Luetkens, M. H. Fischer, M. Z. Hasan, J.-X. Yin, T. Neupert, J. Chang, G. Xu, S. Nakatsuji, E. Pomjakushina, D. J. Gawryluk, Z. Guguchia
Publikováno v:
Communications Physics, Vol 7, Iss 1, Pp 1-8 (2024)
Abstract The kagome lattice is an intriguing and rich platform for discovering, tuning and understanding the diverse phases of quantum matter, crucial for advancing modern and future electronics. Despite considerable efforts, accessing correlated pha
Externí odkaz:
https://doaj.org/article/56aa887bb2f3447e9d570e56fd7c6147
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 13
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of possibilities lacks
Externí odkaz:
http://arxiv.org/abs/2302.10003