Robust relational layout synthesis from examples for Android by Bielik, Pavol, Fischer, Marc, Vechev, Martin

Get full text

Machine Learning for Health: Algorithm Auditing & Quality Control by Oala, Luis, Murchison, Andrew G., Balachandran, Pradeep, Choudhary, Shruti, Fehr, Jana, Leite, Alixandro Werneck, Goldschmidt, Peter G., Johner, Christian, Schörverth, Elora D. M., Nakasi, Rose, Meyer, Martin, Cabitza, Federico, Baird, Pat, Prabhu, Carolin, Weicken, Eva, Liu, Xiaoxuan, Wenzel, Markus, Vogler, Steffen, Akogo, Darlington, Alsalamah, Shada, Kazim, Emre, Koshiyama, Adriano, Piechottka, Sven, Macpherson, Sheena, Shadforth, Ian, Geierhofer, Regina, Matek, Christian, Krois, Joachim, Sanguinetti, Bruno, Arentz, Matthew, Bielik, Pavol, Calderon-Ramirez, Saul, Abbood, Auss, Langer, Nicolas, Haufe, Stefan, Kherif, Ferath, Pujari, Sameer, Samek, Wojciech, Wiegand, Thomas

Get full text

Wi-Fi Mobility Classification on a Mobile Phone for Energy Efficient Activity Tracking by Bielik, Pavol

Get full text

Adversarial Robustness for Code by Bielik, Pavol, Vechev, Martin

Get full text

Robustness testing of AI systems: A case study for traffic sign recognition by Berghoff, Christian, Bielik, Pavol, Neu, Matthias, Tsankov, Petar, Arndt von Twickel

Get full text

Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI by Linkov, Igor, Stoddard, Kelsey, Strelzoff, Andrew, Galaitsi, S.E., Keisler, Jeffrey, Trump, Benjamin D., Kott, Alexander, Bielik, Pavol, Tsankov, Petar

Request full text

Automated Discovery of Adaptive Attacks on Adversarial Defenses by Yao, Chengyuan, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

Get full text

Learning to Infer User Interface Attributes from Images by Schlattner, Philippe, Bielik, Pavol, Vechev, Martin

Get full text

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act by Guldimann, Philipp, Spiridonov, Alexander, Staab, Robin, Jovanović, Nikola, Vero, Mark, Vechev, Velko, Gueorguieva, Anna, Balunović, Mislav, Konstantinov, Nikola, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

Get full text

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models by Dang-Nhu, Raphaël, Singh, Gagandeep, Bielik, Pavol, Vechev, Martin

Get full text

Learning a Static Analyzer from Data by Bielik, Pavol, Raychev, Veselin, Vechev, Martin

Get full text

Dietary Phytochemicals Targeting Cancer Stem Cells by Liskova, Alena, Kubatka, Peter, Samec, Marek, Zubor, Pavol, Mlyncek, Milos, Bielik, Tibor, Samuel, Samson Mathews, Zulli, Anthony, Kwon, Taeg Kyu, Büsselberg, Dietrich

Get full text

Why the Gold Standard Approach by Mammography Demands Extension by Multiomics? Application of Liquid Biopsy miRNA Profiles to Breast Cancer Disease Management by Zubor, Pavol, Kubatka, Peter, Kajo, Karol, Dankova, Zuzana, Polacek, Hubert, Bielik, Tibor, Kudela, Erik, Samec, Marek, Liskova, Alena, Vlcakova, Dominika, Kulkovska, Tatiana, Stastny, Igor, Holubekova, Veronika, Bujnak, Jan, Laucekova, Zuzana, Büsselberg, Dietrich, Adamek, Mariusz, Kuhn, Walther, Danko, Jan, Golubnitschaja, Olga

Get full text

Dietary phytochemicals as the potential protectors against carcinogenesis and their role in cancer chemoprevention by Liskova, Alena, Stefanicka, Patrik, Samec, Marek, Smejkal, Karel, Zubor, Pavol, Bielik, Tibor, Biskupska-Bodova, Kristina, Kwon, Taeg Kyu, Danko, Jan, Büsselberg, Dietrich, Adamek, Mariusz, Rodrigo, Luis, Kruzliak, Peter, Shleikin, Aleksandr, Kubatka, Peter

Get full text

DNA Methylation Status in Cancer Disease: Modulations by Plant-Derived Natural Compounds and Dietary Interventions by Jasek, Karin, Kubatka, Peter, Samec, Marek, Liskova, Alena, Smejkal, Karel, Vybohova, Desanka, Bugos, Ondrej, Biskupska-Bodova, Kristina, Bielik, Tibor, Zubor, Pavol, Danko, Jan, Adamkov, Marian, Kwon, Taeg Kyu, Büsselberg, Dietrich

Get full text

Colposcopic scoring indexes in the evaluation of cervical lesions with the cytological result of atypical squamous cells, cannot exclude high‐grade lesion by Kudela, Erik, Laucekova, Zuzana, Nachajova, Marcela, Visnovsky, Jozef, Bielik, Tibor, Krivus, Stefan, Biringer, Kamil, Balharek, Tomas, Zubor, Pavol

Get full text

Vaginal dryness: individualised patient profiles, risks and mitigating measures by Goncharenko, Vadym, Bubnov, Rostyslav, Polivka, Jiri, Zubor, Pavol, Biringer, Kamil, Bielik, Tibor, Kuhn, Walther, Golubnitschaja, Olga

Get full text

The role of dietary phytochemicals in the carcinogenesis via the modulation of miRNA expression by Samec, Marek, Liskova, Alena, Kubatka, Peter, Uramova, Sona, Zubor, Pavol, Samuel, Samson Mathews, Zulli, Anthony, Pec, Martin, Bielik, Tibor, Biringer, Kamil, Kudela, Erik, Benacka, Jozef, Adamek, Mariusz, Rodrigo, Luis, Ciccocioppo, Rachele, Kwon, Taeg Kyu, Baranenko, Denis, Kruzliak, Peter, Büsselberg, Dietrich

Get full text

Methylation status of KLF4 and HS3ST2 genes as predictors of endometrial cancer and hyperplastic endometrial lesions by Dankov, Zuzana, Bran, Dušan, Dvorsk, Dana, Ňachajov, Marcela, Fiolka, Roman, Grend r, Mari n, Hatok, Jozef, Kubatka, Peter, Holubekov, Veronika, Halašov, Erika, Bielik, Tibor, Ž bor, Pavol

Get full text

Geological and tectonic interpretation of new Bouguer gravity anomaly map of Slovakia by Bezák, Vladimír, Bielik, Miroslav, Marko, František, Zahorec, Pavol, Pašteka, Roman, Vozár, Ján, Papčo, Juraj

Get full text