Nauka

Ogłoszenia

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

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Seminaria Instytutu Informatyki

  • Wybrane aspekty informatyczne w grafice komputerowej
    mgr Adrian Jaszczak
    ul. K. Ciołkowskiego 1M, sala 2004, 2018-11-21 godz. 14:15

Seminaria Instytutu Matematyki

  • Niezależne rodziny podgrup maksymalnych w skończonych grupach rozwi±zalnych
    dr Agnieszka Stocka
    ul. K. Ciołkowskiego 1M, sala 2048, 2018-11-21 godz. 14:15
  • Wokół nierówno¶ci Hansona-Wrighta
    dr Krzysztof Zajkowski
    ul. K. Ciołkowskiego 1M, sala 2048, 2018-11-28 godz. 14:15

Seminaria zakładowe

Ostatnio wydane publikacje

  1. C. Kaliszyk, K. P±k
    Semantics of Mizar as an Isabelle Object Logic
    Journal of Automated Reasoning (2018), (on-line first, 11 sierpnia 2018).
    DOI10.1007/s10817-018-9479-z
  2. M. Kapturczak, E. Zieniuk
    Modeling the shape of boundary using NURBS curves directly in modified boundary integral equations for Laplace’s equation
    Comp. Appl. Mat. 37 (2018), no. 4, 4835-4855.
    DOIhttps://doi.org/10.1007/s40314-018-0598-2
  3. A. Bołtuć
    Shape Identification and Optimization in Elastoplastic Boundary Value Problems Using Parametric Integral Equation System (PIES) and Particle Swarm Optimization (PSO)
    Proceedings of 13th World Congress on Computational Mechanics (WCCM XIII) & 2nd Pan American Congress on Computational Mechanics, 13th World Congress on Computational Mechanics (WCCM XIII) & 2nd Pan American Congress on Computational Mechanics (PANACM II), 22-27.07.2018, 2018, pp. 255.
  4. E. Schmeidel, A.K. Tripathy
    Oscillation criteria for three dimensional linear difference systems
    Appl. Anal. Discrete Math. 12 (2018), no. 2, 347-361.
    DOI10.2298/AADM170111007S
  5. D. Tomaszuk, K. Litman
    DRPD: Architecture for Intelligent Interaction with RDF Prefixes
    Proceedings of the 2nd Workshop on Decentralizing the Semantic Web co-located with the 17th International Semantic Web Conference, 17th International Semantic Web Conference (ISWC 2018), Oct 8, (R. Verborgh, T. Kuhn, T. Bernest-Lee Ed(s).), CEUR Workshop Proceedings vol. 2165, (publ. by)  RWTH Aachen University, 2018, pp. 1-8, (Karol Litman (student)).
  6. M. Hryniewicka
    Nondistributive rings and their Ore localizations
    Discuss. Math. Gen. Algebra Appl. 38 (2018), no. 2, 147-188.
    DOI10.7151/dmgaa.1289
  7. Z. Grabowiecka, J. Patera, M. Szajewska
    Reduction of orbits of finite Coxeter groups of non-crystallographic type
    J. Math. Phys. 59 (2018), no. 10, 1-18, (article number 101705).
    DOI10.1063/1.5032210
  8. B. Kwa¶niewski, N. Larsen
    Nica-Toeplitz algebras associated with product systems over right LCM semigroups
    J. Math. Anal. Appl. 470 (2019), no. 1, 532-570, (published on-line in 2018).
    DOI10.1016/j.jmaa.2018.10.020
  9. M. Wolski, A. Gomolińska
    A Metaphor for Rough Set Theory: Modular Arithmetic
    Rough Sets, International Joint Conference, IJCRS 2018 Quy Nhon, Vietnam, August 20-24, 2018 Proceedings, Aug. 20-24, ( Hung Son Nguyen, Quang-Thuy Ha, Tianrui Li, M. Przybyła-Kasperek Ed(s).), Lecture Notes in Artificial Intelligence vol. 11103, (publ. by) Springer, Berlin, 2018, pp. 110-122.
    DOI10.1007/978-3-319-99368-3_9
  10. K. P±k
    Mizar Set Comprehension in Isabelle Framework
    Proceedings of the 2018 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 9-12, IEEE, PTI, UAM (conf. org.) (M. Ghanza, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 17, (publ. by) PTI: Polish Information Processing Society, 2018, pp. 23-26.
    DOI10.15439/2018F106
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .