LTL to self-loop alternating automata with generic acceptance and back von Blahoudek, František, Major, Juraj, Strejček, Jan

Volltext

LTL to Smaller Self-Loop Alternating Automata and Back von Blahoudek, František, Major, Juraj, Strejček, Jan

Volltext

ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata von Major, Juraj, Blahoudek, František, Strejček, Jan, Sasaráková, Miriama, Zbončáková, Tatiana

Volltext

LTL to Smaller Self-Loop Alternating Automata and Back von Blahoudek, František, Major, Juraj, Strejček, Jan

Volltext bestellen

LTL to Smaller Self-Loop Alternating Automata and Back von Blahoudek, František, Major, Juraj, Strejček, Jan

Volltext

Probabilistic safety assessment to determine the seismic fragility of NPP von Králik, Juraj, Králik, Juraj

Volltext

Lid-driven cavity flow using dual reciprocity von Mužík, Juraj, Bulko, Roman

Volltext

Investigation of the effect of a noise barrier on a railway track in the Kysuce region von Pultznerová, Alžbeta, Grenčík, Juraj

Volltext

Detection of West Nile virus and tick-borne encephalitis virus in birds in Slovakia, using a universal primer set von Csank, Tomáš, Bhide, Katarína, Bencúrová, Elena, Dolinská, Saskia, Drzewnioková, Petra, Major, Peter, Korytár, Ľuboš, Bocková, Eva, Bhide, Mangesh, Pistl, Juraj

Volltext

A Serosurvey of Flavivirus Infection in Horses and Birds in Slovakia von Csank, Tomáš, Drzewnioková, Petra, Korytár, Ľuboš, Major, Peter, Gyuranecz, Miklós, Pistl, Juraj, Bakonyi, Tamás

Volltext

GEMv2: Multilingual NLG Benchmarking in a Single Line of Code von Gehrmann, Sebastian, Bhattacharjee, Abhik, Mahendiran, Abinaya, Wang, Alex, Papangelis, Alexandros, Madaan, Aman, McMillan-Major, Angelina, Shvets, Anna, Upadhyay, Ashish, Yao, Bingsheng, Wilie, Bryan, Bhagavatula, Chandra, You, Chaobin, Thomson, Craig, Garbacea, Cristina, Wang, Dakuo, Deutsch, Daniel, Xiong, Deyi, Jin, Di, Gkatzia, Dimitra, Radev, Dragomir, Clark, Elizabeth, Durmus, Esin, Ladhak, Faisal, Ginter, Filip, Winata, Genta Indra, Strobelt, Hendrik, Hayashi, Hiroaki, Novikova, Jekaterina, Kanerva, Jenna, Chim, Jenny, Zhou, Jiawei, Clive, Jordan, Maynez, Joshua, Sedoc, João, Juraska, Juraj, Dhole, Kaustubh, Chandu, Khyathi Raghavi, Perez-Beltrachini, Laura, Ribeiro, Leonardo F. R, Tunstall, Lewis, Zhang, Li, Pushkarna, Mahima, Creutz, Mathias, White, Michael, Kale, Mihir Sanjay, Eddine, Moussa Kamal, Daheim, Nico, Subramani, Nishant, Dusek, Ondrej, Liang, Paul Pu, Ammanamanchi, Pawan Sasanka, Zhu, Qi, Puduppully, Ratish, Kriz, Reno, Shahriyar, Rifat, Cardenas, Ronald, Mahamood, Saad, Osei, Salomey, Cahyawijaya, Samuel, Štajner, Sanja, Montella, Sebastien, Shailza, Jolly, Shailza, Mille, Simon, Hasan, Tahmid, Shen, Tianhao, Adewumi, Tosin, Raunak, Vikas, Raheja, Vipul, Nikolaev, Vitaly, Tsai, Vivian, Jernite, Yacine, Xu, Ying, Sang, Yisi, Liu, Yixin, Hou, Yufang

Volltext bestellen

GEMv2: Multilingual NLG Benchmarking in a Single Line of Code von Gehrmann, Sebastian, Bhattacharjee, Abhik, Mahendiran, Abinaya, Wang, Alex, Papangelis, Alexandros, Madaan, Aman, McMillan-Major, Angelina, Shvets, Anna, Upadhyay, Ashish, Bohnet, Bernd, Yao, Bingsheng, Wilie, Bryan, Bhagavatula, Chandra, You, Chaobin, Thomson, Craig, Garbacea, Cristina, Wang, Dakuo, Deutsch, Daniel, Xiong, Deyi, Jin, Di, Gkatzia, Dimitra, Radev, Dragomir, Clark, Elizabeth, Durmus, Esin, Ladhak, Faisal, Ginter, Filip, Winata, Genta Indra, Strobelt, Hendrik, Hayashi, Hiroaki, Novikova, Jekaterina, Kanerva, Jenna, Chim, Jenny, Zhou, Jiawei, Clive, Jordan, Maynez, Joshua, Sedoc, João, Juraska, Juraj, Dhole, Kaustubh, Chandu, Khyathi Raghavi, Perez-Beltrachini, Laura, Ribeiro, Leonardo F.R., Tunstall, Lewis, Zhang, Li, Pushkarna, Mahima, Creutz, Mathias, White, Michael, Kale, Mihir Sanjay, Eddine, Moussa Kamal, Daheim, Nico, Subramani, Nishant, Dusek, Ondrej, Liang, Paul Pu, Ammanamanchi, Pawan Sasanka, Zhu, Qi, Puduppully, Ratish, Kriz, Reno, Shahriyar, Rifat, Cardenas, Ronald, Mahamood, Saad, Osei, Salomey, Cahyawijaya, Samuel, Štajner, Sanja, Montella, Sebastien, Jolly, Shailza, Mille, Simon, Hasan, Tahmid, Shen, Tianhao, Adewumi, Tosin, Raunak, Vikas, Raheja, Vipul, Nikolaev, Vitaly, Tsai, Vivian, Jernite, Yacine, Xu, Ying, Sang, Yisi, Liu, Yixin, Hou, Yufang

Volltext bestellen

GEMv2: Multilingual NLG Benchmarking in a Single Line of Code von Gehrmann, Sebastian, Bhattacharjee, Abhik, Mahendiran, Abinaya, Wang, Alex, Papangelis, Alexandros, Madaan, Aman, McMillan-Major, Angelina, Shvets, Anna, Upadhyay, Ashish, Yao, Bingsheng, Bryan Wilie, Bhagavatula, Chandra, You, Chaobin, Thomson, Craig, Garbacea, Cristina, Wang, Dakuo, Deutsch, Daniel, Xiong, Deyi, Jin, Di, Gkatzia, Dimitra, Radev, Dragomir, Clark, Elizabeth, Durmus, Esin, Ladhak, Faisal, Ginter, Filip, Genta Indra Winata, Strobelt, Hendrik, Hayashi, Hiroaki, Novikova, Jekaterina, Kanerva, Jenna, Chim, Jenny, Zhou, Jiawei, Jordan, Clive, Maynez, Joshua, Sedoc, João, Juraska, Juraj, Dhole, Kaustubh, Khyathi, Raghavi Chandu, Perez-Beltrachini, Laura, Ribeiro, Leonardo F R, Tunstall, Lewis, Zhang, Li, Pushkarna, Mahima, Creutz, Mathias, White, Michael, Mihir Sanjay Kale, Moussa, Kamal Eddine, Daheim, Nico, Subramani, Nishant, Dusek, Ondrej, Paul Pu Liang, Ammanamanchi, Pawan Sasanka, Zhu, Qi, Puduppully, Ratish, Kriz, Reno, Shahriyar, Rifat, Cardenas, Ronald, Mahamood, Saad, Osei, Salomey, Cahyawijaya, Samuel, Štajner, Sanja, Montella, Sebastien, Shailza, Jolly, Shailza, Mille, Simon, Tahmid Hasan, Shen, Tianhao, Adewumi, Tosin, Raunak, Vikas, Raheja, Vipul, Nikolaev, Vitaly, Tsai, Vivian, Jernite, Yacine, Xu, Ying, Yisi Sang, Liu, Yixin, Hou, Yufang

Volltext

METHOD OF ALPHA-D-GLUCOHEPTANOIC ACID'S LACTONE PRODUCTION von GOEMOERY,JURAJ,CS, KACINA,ROMAN,CS, MAJOR,MILAN,CS, ANTALOVA,SILVIA,CS

Volltext bestellen