Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Djukic, Miodrag, Prokić, Ivan, Popovic, Miroslav, Ghilezan, Silvia, Popovic, Marko, Prokić, Simona
Published in International journal on software tools for technology transfer (01.02.2025)
Published in International journal on software tools for technology transfer (01.02.2025)
Get full text
Journal Article
CoastSat: A Google Earth Engine-enabled Python toolkit to extract shorelines from publicly available satellite imagery
Vos, Kilian, Splinter, Kristen D., Harley, Mitchell D., Simmons, Joshua A., Turner, Ian L.
Published in Environmental modelling & software : with environment data news (01.12.2019)
Published in Environmental modelling & software : with environment data news (01.12.2019)
Get full text
Journal Article
GenProgJS: A Baseline System for Test-Based Automated Repair of JavaScript Programs
Csuvik, Viktor, Horvath, Daniel, Lajko, Mark, Vidacs, Laszlo
Published in IEEE transactions on software engineering (01.02.2025)
Published in IEEE transactions on software engineering (01.02.2025)
Get full text
Journal Article
pyPaSWAS: Python-based multi-core CPU and GPU sequence alignment
Warris, Sven, Timal, N. Roshan N., Kempenaar, Marcel, Poortinga, Arne M., van de Geest, Henri, Varbanescu, Ana L., Nap, Jan-Peter
Published in PloS one (02.01.2018)
Published in PloS one (02.01.2018)
Get full text
Journal Article
Value trace problems with assisting references for Python programming self-study
Hay Mar Shwe, San Hay Mar, Funabiki, Nobuo, Syaifudin, Yan Watequlis, Tar, Phyu Phyu, Kyaw, Htoo Htoo Sandi, Thant, Hnin Aye, Kao, Wen-Chung, Min, Nandar Win, Myint, Thandar, Htet, Ei Ei
Published in International journal of Web information systems (06.09.2021)
Published in International journal of Web information systems (06.09.2021)
Get full text
Journal Article
An Improved Copula‐Based Framework for Efficient Global Sensitivity Analysis
Liu, Hongli, Clark, Martyn P., Gharari, Shervan, Sheikholeslami, Razi, Freer, Jim, Knoben, Wouter J. M., Marsh, Christopher B., Papalexiou, Simon Michael
Published in Water resources research (01.01.2024)
Published in Water resources research (01.01.2024)
Get full text
Journal Article
GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation
Zong, Xing, Zheng, Shang, Zou, Haitao, Yu, Hualong, Gao, Shang
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
SciPy 1.0: fundamental algorithms for scientific computing in Python
Virtanen, Pauli, Gommers, Ralf, Oliphant, Travis E., Haberland, Matt, Reddy, Tyler, Cournapeau, David, Burovski, Evgeni, Peterson, Pearu, Weckesser, Warren, Bright, Jonathan, van der Walt, Stéfan J., Brett, Matthew, Wilson, Joshua, Millman, K. Jarrod, Mayorov, Nikolay, Nelson, Andrew R. J., Jones, Eric, Kern, Robert, Larson, Eric, Carey, C J, Polat, İlhan, Feng, Yu, Moore, Eric W., VanderPlas, Jake, Laxalde, Denis, Perktold, Josef, Cimrman, Robert, Henriksen, Ian, Quintero, E. A., Harris, Charles R., Archibald, Anne M., Ribeiro, Antônio H., Pedregosa, Fabian, van Mulbregt, Paul
Published in Nature methods (01.03.2020)
Published in Nature methods (01.03.2020)
Get full text
Journal Article