The role of the cell nucleus in mechanotransduction von Janota, Cátia S., Calero-Cuenca, Francisco Javier, Gomes, Edgar R.

Volltext

Heart rate during moderate exercise and attention among adolescents: An experimental study von Janota, Krzysztof, Janota, Bertrand

Volltext

Application of AI in the creation of discharge summaries in psychiatric clinics von Janota, Bertrand, Janota, Krzysztof

Volltext

Assessing Heuristic Machine Learning Explanations with Model Counting von Narodytska, Nina, Shrotri, Aditya, Meel, Kuldeep S., Ignatiev, Alexey, Marques-Silva, Joao

Volltext

Dealing with the nucleus during cell migration von Calero-Cuenca, Francisco J, Janota, Cátia S, Gomes, Edgar R

Volltext

Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings von Janota, Mikolás, Lynce, Inês

Volltext

Expansion-based QBF solving versus Q-resolution von Janota, Mikoláš, Marques-Silva, Joao

Volltext

Shielding of actin by the endoplasmic reticulum impacts nuclear positioning von Janota, Cátia, Pinto, Andreia, Pezzarossa, Anna, Machado, Pedro, Costa, Judite, Campinho, Pedro, Franco, Claudio, Gomes, Edgar

Volltext

Guiding High-Performance SAT Solvers with Unsat-Core Predictions von Selsam, Daniel, Bjørner, Nikolaj

Volltext

Solving QBF with counterexample guided refinement von Janota, Mikoláš, Klieber, William, Marques-Silva, Joao, Clarke, Edmund

Volltext

Ctdnep1 and Eps8L2 regulate dorsal actin cables for nuclear positioning during cell migration von Calero-Cuenca, Francisco J., Osorio, Daniel S., Carvalho-Marques, Sofia, Sridhara, Sreerama Chaitanya, Oliveira, Luis M., Jiao, Yue, Diaz, Jheimmy, Janota, Cátia S., Cadot, Bruno, Gomes, Edgar R.

Volltext

Integrated lot-sizing and scheduling: Mitigation of uncertainty in demand and processing time by machine learning von Rohaninejad, Mohammad, Janota, Mikoláš, Hanzálek, Zdeněk

Volltext

On the query complexity of selecting minimal sets for monotone predicates von Janota, Mikoláš, Marques-Silva, Joao

Volltext

Do we need another intravenous beta-blocker? von Janota, Tomáš

Volltext

Methods to Measure Perinuclear Actin Dynamics During Nuclear Movement in Migrating Cells von Janota, Cátia S., Calero-Cuenca, Francisco J., Gomes, Edgar R.

Volltext

The Influence of Diet and Its Components on the Development and Prevention of Hepatocellular Carcinoma (HCC) von Janota, Barbara, Szymanek, Barbara

Volltext

Second Life Batteries Used in Energy Storage for Frequency Containment Reserve Service von Janota, Lukáš, Králík, Tomáš, Knápek, Jaroslav

Volltext

The versatility and paradox of GDF 11 von Jamaiyar, A, Wan, W, Janota, D M, Enrick, M K, Chilian, W M, Yin, L

Volltext

Reperfusion therapy for ST elevation acute myocardial infarction 2010/2011: current status in 37 ESC countries von Kristensen, Steen D, Laut, Kristina G, Fajadet, Jean, Kaifoszova, Zuzana, Kala, Petr, Di Mario, Carlo, Wijns, William, Clemmensen, Peter, Agladze, Vaja, Antoniades, Loizos, Alhabib, Khalid F, De Boer, Menko-Jan, Claeys, Marc J, Deleanu, Dan, Dudek, Dariusz, Erglis, Andrejs, Gilard, Martine, Goktekin, Omer, Guagliumi, Giulio, Gudnason, Thorarinn, Hansen, Kim Wadt, Huber, Kurt, James, Stefan, Janota, Tomáš, Jennings, Siobhan, Kajander, Olli, Kanakakis, John, Karamfiloff, Kiril K, Kedev, Sasko, Kornowski, Ran, Ludman, Peter F, Merkely, Béla, Milicic, Davor, Najafov, Ruslan, Nicolini, Francesca A, Noč, Marko, Ostojic, Miodrag, Pereira, Hélder, Radovanovic, Dragana, Sabaté, Manel, Sobhy, Mohamed, Sokolov, Maxim, Studencan, Martin, Terzic, Ibrahim, Wahler, Steffen, Widimsky, Petr

Volltext

Boosting isomorphic model filtering with invariants von Araújo, João, Chow, Choiwah, Janota, Mikoláš

Volltext