Nauka

Publikacje

  1. M. Adamski, M. Gruszewski, A. Klimowicz, M. Omieljanowicz, G. Rubin, M. Rybnik, K. Saeed, M. Szymkowski, M. Tabędzki, A. Łupińska-Dubicka
    In-car eCall Device for Automatic Accident Detection, Passengers Counting and Alarming
    Transactions on Computational Science (Gavrilova, Marina L., Tan, CJ Kenneth Ed(s).), Lecture Notes in Computer Science , Springer, Feb 2020, pp. 36-57.
    DOI :  https://doi.org/10.1007/978-3-662-61092-3_3
  2. R. Andruszkiewicz, N. Andruszkiewicz
    Elementary Proof of Nagell's Theorem
    Azerb. J. Math. 10 (2020), no. 2, 62-70.
  3. R. R. Andruszkiewicz, M. Hryniewicka, K. Pryszczepko
    A simple solution of the ADS-problem
    Quaest. Math. 43 (2020), no. 2, 243-250.
    DOI :  10.2989/16073606.2019.1572665
  4. R. Angles, H. Thakkar, D. Tomaszuk
    Mapping RDF Databases to Property Graph Databases
    IEEE Access 8 (2020), 86091-86110.
    DOI :  10.1109/ACCESS.2020.2993117
  5. A. Bołtuć
    Automatic generating and spread of a plastic region in PIES
    Engineering Analysis with Boundary Elements 118 (2020), 20-31.
    DOI :  https://doi.org/10.1016/j.enganabound.2020.05.001
  6. A. Bołtuć
    Optimization and identification of the shape in elastoplastic boundary problems using parametric integral equation system (PIES)
    Advances in Applied Mathematics and Mechanics 12 (2020), no. 4, 1035-1056.
    DOI :  10.4208/aamm.OA-2019-0100
  7. A. Bołtuć, E. Zieniuk, K. Szerszeń, A. Kużelewski
    Bezier surfaces for modeling inclusions in PIES
    Computational Science – ICCS 2020, International Conference on Computational Science (ICCS), 3-5.06.2020, (Krzhizhanovskaya V. et al. Ed(s).), Lecture Notes in Computer Science vol. 12138, (publ. by) Springer, 2020, pp. 170-183.
    DOI :  https://doi.org/10.1007/978-3-030-50417-5_13
  8. A. Golińska, W. Lesiński, A. Przybylski, W. Rudnicki
    Towards Prediction of Heart Arrhythmia Onset Using Machine Learning
    Computational Science – ICCS 2020, June 03-05, Proceedings, International Conference on Computational Science, 3-5 June, 2020, Lecture Notes in Computer Science (LNCS) , 2020, (to appear).
  9. A. Golińska, K. Mnich, A. Polewko-Klim, W. Rudnicki
    Bootstrap Bias Corrected Cross Validation applied to Super Learning
    International Conference on Computational Science 2020 – ICCS 2020, June 03-05, Proceedings, International Conference on Computational Science 2020, 3-5 June, 2020, Lecture Notes in Computer Science (LNCS) , 2020, (to appear).
  10. A. Grabowski
    Automated Comparative Study of Some Generalized Rough Approximations
    Fund. Inform. (2020), (to appear).
  11. A. Grabowski
    Developing Complementary Rough Inclusion Functions
    Form. Math. 28 (2020), no. 1, 105-113.
    DOI :  10.2478/forma-2020-0009
  12. A. Grabowski
    On Fuzzy Negations Generated by Fuzzy Implications
    Form. Math. 28 (2020), no. 1, 121-128.
    DOI :  10.2478/forma-2020-0011
  13. A. Grabowski
    RIFs as the Formal Tool of Measuring Similarity between Sets (short paper)
    CEUR Workshop Proceedings, Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, RWTH Aachen University (conf. org.) (Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew Ed(s).), CEUR Workshop Proceedings vol. 2571, (publ. by) CEUR-WS.org, 2020, pp. 1-8.
  14. A. Grabowski, R. Coghetto
    Extending Formal Topology in Mizar by Uniform Spaces
    AI Aspects in Reasoning, Languages, and Computation, (Grabowski, Adam and Loukanova, Roussanka and Schwarzweller, Christoph Ed(s).), Studies in Computational Intelligence vol. 889, (publ. by) Springer, Cham, 2020, pp. 77-105.
    DOI :  10.1007/978-3-030-41425-2_3
  15. A. Grabowski, A. Korniłowicz, C. Schwarzweller
    Refining Algebraic Hierarchy in Mathematical Repository of Mizar
    AI Aspects in Reasoning, Languages, and Computation, (Grabowski, Adam and Loukanova, Roussanka and Schwarzweller, Christoph Ed(s).), Studies in Computational Intelligence vol. 889, (publ. by) Springer, Cham, 2020, pp. 49-75.
    DOI :  10.1007/978-3-030-41425-2_2
  16. A. Jaszczak
    Formal verification of the correctness of chosen algorithms in Mizar
    12th Intelligent Computer Mathematics (CICM 2019), Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.), CEUR Workshop Proceedings , (publ. by) RWTH Aachen University, Jul 2020, pp. 1 - 5.
  17. M. Kapturczak, E. Zieniuk, A. Kużelewski
    NURBS curves in parametric integral equations system for modeling and solving boundary value problems in elasticity
    Computational Science – ICCS 2020, Part II, International Conference on Computational Science, 3-5.06.2020, (Krzhizhanovskaya, V.V., Závodszky, G., Lees, M.H., Dongarra, J.J., Sloot, P.M.A., Brissos, S., Teixeira, J. Ed(s).), Lecture Notes in Comput. Sci. vol. 12138, 2020, pp. 116-123.
    DOI :  10.1007/978-3-030-50417-5_9
  18. A. Korniłowicz
    Partial Correctness of a Fibonacci Algorithm
    Form. Math. (2020), (to appear).
  19. A. Korniłowicz
    Sethood Property in Mizar
    12th Intelligent Computer Mathematics (CICM 2019), Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.), CEUR Workshop Proceedings , (publ. by) RWTH Aachen University, Jul 2020, pp. 1-5.
  20. D. Kulesza, A. Grabowski
    Formalization of Quasilattices
    Form. Math. (2020), (to appear).
  21. A. Kużelewski, E. Zieniuk
    The fast parametric integral equations system in an acceleration of solving polygonal potential boundary value problems
    Advances in Engineering Software 141 (2020), 1-10 (102770), (Available online: 16 January 2020 ).
    DOI :  10.1016/j.advengsoft.2020.102770
  22. A. Kużelewski, E. Zieniuk, A. Bołtuć, K. Szerszeń
    Modified binary tree in the fast PIES for 2D problems with complex shapes
    Computational Science – ICCS 2020, Part II, International Conference on Computational Science ICCS 2020, Amsterdam, Netherlands, 3-5 June 2020, ( Krzhizhanovskaya, V.V., Závodszky, G., Lees, M.H., Dongarra, J.J., Sloot, P.M.A., Brissos, S., Teixeira, J. Ed(s).), Lecture Notes in Computer Sciences vol. 12138, (publ. by) Springer, Berlin, Jun 2020, pp. 1-14.
    DOI :  10.1007/978-3-030-50417-5_1
  23. W. Lesiński, A. Polewko-Klim, W. Rudnicki
    Identification of clinical variables relevant for survival prediction in patients with metastatic castration-resistant prostate cancer
    The WorldCist'20 - 8th World Conference on Information Systems and Technologies 7 - 10 April 2020, the WorldCist'20 - 8th World Conference on Information Systems and Technologies, 7 - 10 April 2020, Advances in Intelligent Systems and Computing (AISC) vol. 1160, (publ. by) Springer, Cham, 2020, pp. 607-617, (to appear).
    DOI :  10.1007/978-3-030-45691-7_57
  24. M. E. Marchwiany, M. Michalewicz, K. Niedzielewski, R. Piliszek, W. Rudnicki
    Multidimensional Feature Selection and High Performance ParalleX
    SN Computer Science (2020), 1-7, (published on-line).
    DOI :  10.1007/s42979-019-0037-5
  25. K. Mnich, W. Rudnicki
    All-relevant feature selection using multidimensional filters with exhaustive search
    Information Sciences 524 (2020), 277-297, (Available online 12 March 2020).
    DOI :  10.1016/j.ins.2020.03.024
  26. A. Naumowicz
    Dataset Description: Formalization of Elementary Number Theory in Mizar
    Intelligent Computer Mathematics, 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, 26–31.07.2020, (Christoph Benzmüller, Bruce Miller Ed(s).), Lecture Notes in Artificial Intelligence vol. 12236, (publ. by) Springer, Cham, 2020, pp. 303-308, (to appear).
    DOI :  10.1007/978-3-030-53518-6_22
  27. A. Naumowicz
    Elementary Number Theory Problems.Part I
    Form. Math. 28 (2020), no. 1, 115-120.
    DOI :  10.2478/forma-2020-0010
  28. A. Naumowicz
    Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics
    12th Intelligent Computer Mathematics (CICM 2019), Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.), CEUR Workshop Proceedings , (publ. by) RWTH Aachen University, Jul 2020, pp. 1-5.
  29. M. Parfieniuk
    A parallel factorization for generating orthogonal matrices
    Parallel Processing and Applied Mathematics, 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I, 2019.09.08-11, (Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski Ed(s).), Lecture Notes in Computer Science (LNCS) vol. 12043, (publ. by) Springer, 2020, pp. 567-578.
    DOI :  https://doi.org/10.1007/978-3-030-43229-4_48
  30. A. Polewko-Klim, W. Rudnicki
    Analysis of ensemble feature selection for correlated high-dimensional RNA-Seq cancer data
    International Conference on Computational Science 2020 – ICCS 2020, June 03-05, Proceedings, International Conference on Computational Science 2020, 3-5 June, 2020, Lecture Notes in Computer Science (LNCS) , Jun 2020, pp. 525-538.
    DOI :  10.1007/978-3-030-50420-5_39
  31. A. Polewko-Klim, W. Rudnicki
    Data integration strategy for robust classification of biomedical data
    The WorldCist'20 - 8th World Conference on Information Systems and Technologies 7 - 10 April 2020, the WorldCist'20 - 8th World Conference on Information Systems and Technologies, 7 - 10 April 2020, Advances in Intelligent Systems and Computing (AISC) vol. 1160, (publ. by) Springer, 2020, pp. 596-606.
    DOI :  10.1007/978-3-030-45691-7_56
  32. K. P±k
    Grothendieck Universes
    Form. Math. (2020), (to appear).
  33. D. Tomaszuk, R. Angles, H. Thakkar
    PGO: Describing Property Graphs in RDF
    IEEE Access 8 (2020), 118355-118369.
    DOI :  10.1109/ACCESS.2020.3002018
  34. D. Tomaszuk, D. Hyland-Wood
    RDF 1.1: Knowledge Representation and Data Integration Language for the Web
    Symmetry 12 (2020), no. 1, 1-33.
    DOI :  10.3390/sym12010084
  35. D. Tomaszuk, Ł. Szeremeta
    The Molecular Entities in Linked Data Dataset
    Data in Brief 31 (2020), 105757.
    DOI :  https://doi.org/10.1016/j.dib.2020.105757
  36. M. S. Uba, A. Bonda, L. Uba, L. V. Bekenov, V. N. Antonov
    First principles calculations of intersite disorder influence on the electronic structure and X-ray magnetic circular dichroism in CoFeMnSi Heusler alloy
    Int. J. Mod. Phys. C (2020), (on-line first).
    DOI :  10.1142/S0129183120501090
  37. M. Wolski, A. Gomolińska
    Data meaning and knowledge discovery: Semantical aspects of information systems
    Int. J. of Approximate Reasoning 119 (2020), 40-57.
    DOI :  10.1016/j.ijar.2020.01.002
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .