Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Parallel distributed computing using Python
Dalcin, Lisandro D., Paz, Rodrigo R., Kler, Pablo A., Cosimo, Alejandro
Published in Advances in water resources (01.09.2011)
Published in Advances in water resources (01.09.2011)
Get full text
Journal Article
Towards understanding bugs in Python interpreters
Liu, Di, Feng, Yang, Yan, Yanyan, Xu, Baowen
Published in Empirical software engineering : an international journal (01.01.2023)
Published in Empirical software engineering : an international journal (01.01.2023)
Get full text
Journal Article
Peel learning for pathway-related outcome prediction
Li, Yuantong, Wang, Fei, Yan, Mengying, Cantu III, Edward, Yang, Fan Nils, Rao, Hengyi, Feng, Rui
Published in Bioinformatics (Oxford, England) (18.11.2021)
Published in Bioinformatics (Oxford, England) (18.11.2021)
Get full text
Journal Article
ESBMC 5.0: An Industrial-Strength C Model Checker
Gadelha, Mikhail R., Monteiro, Felipe R., Morse, Jeremy, Cordeiro, Lucas C., Fischer, Bernd, Nicole, Denis A.
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)
Get full text
Conference Proceeding
Simultaneous determination of aromatic amino acids in different systems using three-way calibration based on the PARAFAC-ALS algorithm coupled with EEM fluorescence: exploration of second-order advantages
Kang, Chao, Wu, Hai-Long, Xiang, Shou-Xia, Xie, Li-Xia, Liu, Ya-Juan, Yu, Yong-Jie, Sun, Jing-Jing, Yu, Ru-Qin
Published in Analytical methods (21.08.2014)
Published in Analytical methods (21.08.2014)
Get full text
Journal Article
Detecting mobile objects with ai using edge detection and background subtraction techniques
Zulunov, Ravshan, Soliyev, Bakhrom, Kayumov, Ahror, Asraev, Mukhammadmullo, Musayev, Khurshid, Abdurasulova, Dilnoza
Published in E3S web of conferences (01.01.2024)
Published in E3S web of conferences (01.01.2024)
Get full text
Journal Article
Conference Proceeding
A Fast Successive QP Algorithm for General Mean-Variance Portfolio Optimization
Xiu, Shengjie, Wang, Xiwen, Palomar, Daniel P.
Published in IEEE transactions on signal processing (01.01.2023)
Published in IEEE transactions on signal processing (01.01.2023)
Get full text
Journal Article
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Ye, Fangke, Zhao, Jisheng, Shirako, Jun, Sarkar, Vivek
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article