Nauka

Ogłoszenia

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

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Seminarium IM

  • TBD
    prof. Josef Diblik , Brno University of Technology
    ul. K. Ciołkowskiego 1M, sala 2048, 2017-10-18 godz. 14:15
Więcej...

Ostatnio wydane publikacje

  1. A. Grabowski, M. Takashi
    Extending Formal Fuzzy Sets with Triangular Norms and Conorms
    Advances in Fuzzy Logic and Technology 2017, Proceedings of: EUSFLAT- 2017. The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 201, Sep 11-15, Systems Research Institute of the Polish Academy of Sciences (conf. org.) (J. Kacprzyk, E. Szmidt, S. Zadrożny, K.T. Atanassov, M. Krawczak Ed(s).), Advances in Intelligent Systems and Computing vol. 2, (publ. by) Springer V., 2018, pp. 176-187.
    DOI10.1007/978-3-319-66824-6_16
  2. A. Naumowicz
    Towards Standardized Mizar Environments
    Information Systems Architecture and Technology, Proceedings of 38th International Conference on Information Systems Architecture and Technology, ISAT 2017, part II, Sep 17-19, Wrocław University of Science and Technology (conf. org.) (Z. Wilimowska, J. Świątek, L. Borzemski Ed(s).), Advances in Intelligent Systems and Computing , (publ. by) Springer V., 2017, pp. 166-175.
    DOI10.1007/978-3-319-67229-8_15
  3. B. Kwaśniewski
    Exel's crossed product and crossed products by completely positive maps
    Houston J. Math. 43 (2017), no. 2, 509-567, (electronic edition, available on-line for suscribers only).
  4. A. Korniłowicz, A. Kryvolap, M. Nikitchenko, I. Ivanov
    Formalization of the Nominative Algorithmic Algebra in Mizar
    Information Systems Architecture and Technology, Proceedings of 38th International Conference on Information Systems Architecture and Technology, ISAT 2017, part II, Sep 17-19, Wrocław University of Science and Technology (conf. org.) (Z. Wilimowska, J. Świątek, L. Borzemski Ed(s).), Advances in Intelligent Systems and Computing , (publ. by) Springer V., 2017, pp. 176-186.
    DOI10.1007/978-3-319-67229-8_16
  5. A. Bołtuć
    Flexibility of approximation in PIES applied for solving elastoplastic boundary problems
    Computational Plasticity XIV Fundamental and Applications, Proceedings of the XIV International Conference on Computational Plasticity. Fundamentals and Applications (COMPLAS 2017), Sep 5-7, University of Catalonia (conf. org.) (E. Onate, D.R.J. Owen, D. Peric, M. Chiumenti Ed(s).), (publ. by) Artes Graficas Torres S.A., Spain, 2017, pp. 839-853.
  6. Z. Peradzyński, M. Zdanowicz
    Mixed problem for quasilinear hyperbolic system with coefficients functionally dependent on solution
    An. St. Univ. Ovidius Constanta 25 (2017), no. 3, 1-4, (Still: work in progress, page numbers not fixed).
  7. A. Naumowicz
    Adjective clustering in the Mizar type system
    TYPES 2017 (abstracts), 23rd International Conference on Types for Proofs and Programs, May 29 - Jun 1, Eötvös Loránd University (conf. org.), Budapest, 2017, pp. 81-82.
  8. M. Bodner, J. Patera, M. Szajewska
    Decomposition matrices for the special case of data on the triangular lattice of SU(3)
    Appl. Comput. Harmon. Anal. 43 (2017), no. 2, 346-353.
    DOI10.1016/j.acha.2016.07.001
  9. C. Kaliszyk, K. Pąk
    Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic
    Intelligent Computer Mathematics (CICM 2017), Edinburgh, UK, Jul 17-21, University of Edinburgh (conf. org.) (H. Geuvers, M. England, O. Hasan, F. Rabe, O. Teschke Ed(s).), Lecture Notes in Artificial Intelligence vol. 10383, (publ. by) Springer, Berlin, 2017, pp. 193-207.
    DOI10.1007/978-3-319-62075-6_14
  10. A. Dobrogowska, G. Jakimowicz
    Tangent lifts of bi-Hamiltonian structures
    J. Math. Phys. 58 (2017), no. 8, 1-15.
    DOI10.1063/1.4999167
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .