Nauka

Ogłoszenia

Brak aktualnych ogłoszeń.Wygasłe ogłoszenia...

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Ostatnio wydane publikacje

  1. Anna Rybak
    Technologie informacyjno-komunikacyjne w kształceniu matematycznym - na co warto zwrócić uwagę?
    Szkoła w dobie aplikacji, (E. Pobiega, K. Pobiega, K. Winkowska-Nowak et al. Ed(s).), (publ. by) Fundacja Akademickie Centrum Edukacyjno-Społeczne AKCES, Warszawa, 2019, pp. 4-13, (Publikacja afiliownana na: Centrum Kreatywnego Uczenia się Matematyki przy Wydziale Matematyki i Informatykii, Uniwersytet w Białymstoku.).
  2. Sz. Migacz, K Mnich, R. Piliszek, A. Polewko-Klim, W. Rudnicki, A. Sułecki, P. Tabaszewski
    MDFS: MultiDimensional Feature Selection in R
    R Journal 11 (2019), no. 1, 2073-4859.
    DOI10.32614/RJ-2019-019
  3. M. Adamski, M. Gruszewski, A. Klimowicz, A. Omieljanowicz, M. Omieljanowicz, G. Rubin, M. Rybnik, Kh. Saeed, M. Szymkowski, M. Tabędzki, A. Łupińska-Dubicka
    The Conceptual Approach of System for Automatic Vehicle Accident Detection and Searching for Life Signs of Casualties
    Advanced Computing and Systems for Security, vol. eight, Proceedings of ACSS 2018 : Applied Computation and Security Systems, Feb. 9 - Feb.11, 2018, (N. Chaki, R. Chaki, A. Cortesi, K. Saed et al. Ed(s).), Advances in Intelligent Systems and Computing vol. 883, (publ. by) Springer V., 2019, pp. 75-91.
    DOI10.1007/978-981-13-3702-4_5
  4. J. Diblík, R. Chupáč, M. Růľičková
    Increasing Convergent and Divergent Solutions to Nonlinear Delayed Differential Equations
    Differential and Integral Equations 32 (2019), no. 9/10, 493-516.
  5. T. Brzeziński
    Trusses: Between braces and rings
    Trans. Amer. Math. Soc. 372 (2019), 4149-4176, (Published electronically: November 21, 2018 ).
    DOI10.1090/tran/7705
  6. R. R. Andruszkiewicz, K. Pryszczepko
    A curious characterization of subrings of the field $\mathbb{Q}$ and its applications
    Amer. Math. Monthly 126 (2019), no. 5, 455-458.
    DOI10.1080/00029890.2019.1577105
  7. C. E. Brown, C. Kaliszyk, K. P±k
    Higher-Order Tarski Grothendieck as a Foundation for Formal Proof
    10th International Conference on Interactive Theorem Proving (ITP 2019), September 8-13, 2019, (John Harrison; John O'Leary; Andrew Tolmach Ed(s).), Leibniz International Proceedings in Informatics (LIPIcs) vol. 141, (publ. by) Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 9:1-9:16.
    DOI10.4230/LIPIcs.ITP.2019.9
  8. C. Kaliszyk, K. P±k
    Declarative Proof Translation
    10th International Conference on Interactive Theorem Proving (ITP 2019), September 8-13, 2019, (John Harrison; John O'Leary; Andrew Tolmach Ed(s).), Leibniz International Proceedings in Informatics (LIPIcs) vol. 141, (publ. by) Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019, pp. 35:1-35:7.
    DOI10.4230/LIPIcs.ITP.2019.35
  9. C. E. Brown, K. P±k
    A Tale of Two Set Theories
    International Conference on Intelligent Computer Mathematics, CICM 2019: Intelligent Computer Mathematics, Jul 8-12, Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (conf. org.) (C. Kaliszyk, E. Brady, A. Kohlhase Ed(s).), Lecture Notes in Comput. Sci. vol. 11617, (publ. by) Springer, Berlin, 2019, pp. 44-60.
    DOI10.1007/978-3-030-23250-4_4
  10. C. Kaliszyk, K. P±k
    Semantics of Mizar as an Isabelle Object Logic
    J. Automat. Reason. 63 (2019), no. 3, 557-595, (11 sierpnia 2018).
    DOI10.1007/s10817-018-9479-z
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .