E. Majewska; Features Selection in Character Recognition with Random Forest Classifier3rd International Conference on Computational Collective Intelligence, Gdynia, Poland, Sep 21-23, 2011; Gdynia Maritime University, Wrocław University of
T. Czyżycki; 3rd International Conference on Statistical Physics, Larnaca, Cyprus, Jul 11-15, 2011
T. Czyżycki; Binary bets revisited: physicist point of view3rd International Conference on Statistical Physics, Larnaca, Cyprus, Jul 11-15, 2011
A. Bezubik; Mizar-supported maths teaching at the university level2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans LA, USA, Jan 6-9, 2011; American Mathematical Society (org.)
A. Bezubik; 2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans LA, USA, Jan 6-9, 2011; American Mathematical Society (org.)
A. Bezubik; Language of mathematics in Mizar2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans LA, USA, Jan 6-9, 2011; American Mathematical Society (org.)
A. Bezubik; Formalization of Lattice Theory in Mizar2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans LA, USA, Jan 6-9, 2011; American Mathematical Society (org.)
M. Hryniewicka; Inkluzja i jej miary w obliczeniach granularnych Systemy Wspomagania Decyzji, Zakopane, Dec 6-9, 2010; Uniwersytet Śląski (org.)
A. Gomolińska; Semi-infinite Toda lattice5th International Conference on Operator Theory Analysis and Mathematical Physics, Będlewo, Poland, Aug 5-12, 2010; Banach Center, Polish Academy of Sciences (org.)
R. Andruszkiewicz; O pojęciu syntaktycznej klasy złożoności obliczeniowejXI Warsztaty Logiczne - Obliczenia, semantyka, złożoność, Poronin, Poland, Jun 28 - Jul 4, 2010; Uniwersytet Warszawski, Instytut Filozofii (org.)