Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Rustam Zhumagambetov"'
Autor:
Lorena Cecilia López Steinmetz, Margarita Sison, Rustam Zhumagambetov, Juan Carlos Godoy, Stefan Haufe
Publikováno v:
Frontiers in Psychiatry, Vol 15 (2024)
IntroductionThe COVID-19 pandemic has exacerbated mental health challenges, particularly depression among college students. Detecting at-risk students early is crucial but remains challenging, particularly in developing countries. Utilizing data-driv
Externí odkaz:
https://doaj.org/article/3d08726a04c1417ba78e056330d088e2
Publikováno v:
RSC Advances. 11:25921-25932
Recent advances in convolutional neural networks have inspired the application of deep learning to other disciplines. Even though image processing and natural language processing have turned out to be the most successful, there are many other domains
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a41ad738f87a966bffaa65f793a4cfc
https://doi.org/10.1039/d1ra03086h
https://doi.org/10.1039/d1ra03086h
Autor:
Rustam Zhumagambetov, Daulet Maksut, Mansur Shakipov, Siamac Fazli, Vsevolod A. Peshkov, Daniyar Kazbek
Publikováno v:
RSC Advances. 10:45189-45198
Several recent ML algorithms for de novo molecule generation have been utilized to create an open-access database of virtual molecules. The algorithms were trained on samples from ZINC, a free database of commercially available compounds. Generated m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0fffa7040b1edd2c44c428a4328560e9
https://doi.org/10.1039/d0ra07820d
https://doi.org/10.1039/d0ra07820d
Recent advances in convolutional neural networks have inspired the application of deep learning to other disciplines. Even though image processing and natural language processing have turned out to be the most successful, there are many other areas t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4697cb35c25362ca19299d162f6ee4ac
https://doi.org/10.26434/chemrxiv.14350610.v1
https://doi.org/10.26434/chemrxiv.14350610.v1
Autor:
Rustam Zhumagambetov
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030713737
The amount of literature on teaching formal methods has been growing. However, there is a lack of attempts to systematically review existing practices. This study attempts to identify challenges related to teaching formal methods by examining the lit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5c2334b4ecd6d004cabe96fd9e93c66
https://doi.org/10.1007/978-3-030-71374-4_12
https://doi.org/10.1007/978-3-030-71374-4_12
Autor:
Marie Farrell, Sebastian Krings, Peter Csaba Ölveczky, Rustam Zhumagambetov, Philipp Körner, Nikolay V. Shilov, Faron Moller, Markus Roggenbach, James H. Davenport, Antonio Cerone, Bernd Holger Schlingloff, Magne Haveraaen, Casey Denner
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030713737
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9a22dbed2d27a4141b9ef9a322ef160
https://cronfa.swan.ac.uk/Record/cronfa60461
https://cronfa.swan.ac.uk/Record/cronfa60461
Autor:
Mark Sterling, Rustam Zhumagambetov
Publikováno v:
EasyChair Preprints.
We present a chat bot interface for the Coq proof assistant system. The bot provides a new modality of interaction with Coq that functions across multiple devices and platforms. Our system is particularly suitable for mobile platforms, Android and iO
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::441e2a634c844782fb811dc241063fa6
https://doi.org/10.29007/m9ms
https://doi.org/10.29007/m9ms