Z. Grabowiecka; An Experiment on Mizar Adjectives with Visible Arguments22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, Sep 1-4, 2020; Department of Computer Science, West University of
E. Schmeidel; 13th International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, Jul 26-31, 2020; University of Bologna (org.)
E. Schmeidel; Dataset Description: Formalization of Elementary Number Theory in Mizar13th International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, Jul 26-31, 2020; University of Bologna (org.)
M. Hryniewicka; Bootstrap Bias Corrected Cross Validation Applied to Super Learning 20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; Towards Prediction of Heart Arrhythmia Onset Using Machine Learning.20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; Analysis of ensemble feature selection for correlatedhigh-dimensional RNA-Seq cancer data20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; NURBS curves in parametric integral equations system for modeling and solving boundary value problems in elasticity20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of
M. Hryniewicka; Modified binary tree in the fast PIES for 2D problems with complex shapes20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; Bezier surfaces for modeling inclusions in PIES20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
K. Janglajew; Grupy addytywne pierścieni łącznychIII Ogólnopolska Konferencja Naukowa Oblicza Algebry, Kraków, Poland, Jun 6-9, 2019; Uniwersytet Pedagogiczny w Krakowie (org.)
As part of our website, we use cookies stored on the user's device in order to adapt the website's behavior to the user's individual preferences and for statistical purposes. You can change your cookie settings in your web browser yourself. For more information, please see the Privacy Policy of the University of Białystok. By using this website, you consent to the use of cookies in accordance with your browser settings.
