INFORMATOR NAUKOWY

27
http://matinf.uwb.edu.pl
i klasyfikacji obiektów. Działalność naukowa w zakresie formalizacji
matematyki dotyczy prac nad rozwojem i doskonaleniem systemu
komputerowego Mizar, który służy do weryfikacji poprawności dowodów
matematycznych.
Kontakt: dr Anna Gomolińska, anna.gom@math.uwb.edu.pl,
dr Artur Korniłowicz; arturk@math.uwb.edu.pl
Publikacje: O. Beyersdorff and Z. Sadowski. Characterizing the existence of
optimal proof systems and complete sets for promise classes. LNCS, 5675:45-58,
2009; A. Gomolińska. Rough approximation based on weak q-RIFs. Transactions
on Rough Sets X, a subline journal of LNCS, 5656:117-135,2009;
A. Naumowicz, Interfacing External CA Systems for Gröbner Bases Computation
in Mizar Proof Checking, Int. J. Comput. Sci., Vol. 87(1), 1-11, 2010; A. Grabowski,
A. Naumowicz i A. Korniłowicz, Mizar in a Nutshell, J. Form. Reasoning,
Vol. 3(2), 153-245, 2010.
Matematyka finansowa
Badania dotyczą związków pomiędzy teorią informacji a teorią gier
kwantowych (modele klasyczne i kwantowe). Proponowane konstrukcje
pozwalają rozpoznawać przydatność miar informacji dla
zrozumienia procesów obliczeń kwantowych (komputery kwantowe,
kryptografia kwantowa, modelowana formalizmem kwantowym
sztuczna inteligencja).
Kontakt: dr hab. Edward Piotrowski, prof. UwB, qmgames@gmail.com
Publikacje: A. Szczypinska, E. W. Piotrowski, Inconsistency of the judgment matrix
in the AHP method and the decision maker’s knowledge, Physica A, 388
(2009) 907-915; Makowski. M, Transitivity vs. intransitivity in decision making process
- an example in quantum game theory, Phys.Lett.A 373 (2009), 2125-2130.
Metody analizy i przetwarzania sygnałów
Prowadzone badania związane są z inteligentnym przetwarzaniem informacji:
przetwarzanie mowy, naturalna synteza mowy dla języka polskiego,
rozpoznawanie języków naturalnych, rozpoznawanie obrazów, odkrywanie
struktur informacji, analiza syntaktyczna, semantyczna oraz ziarnistość
informacji. Badania obejmują również problematykę rozwoju metod
analizy sygnałów i obrazów biomedycznych: cyfrowe przetwarzanie
sygnałów, zastosowanie fraktali, teoria chaosu, analiza falkowa.
Kontakt: dr hab. inż. Władysław Homenda, prof. UwB, homenda@ii.uwb.edu.pl
dr Agnieszka Kitlas, akitlas@ii.uwb.edu.pl
Publikacje: W. Homenda, Automatic data understanding: a necessity of intelligent
communication, 476-483, LNAI 6114, Springer, 2010; W. Homenda, W. Lesinski,
Optical Music Recognition: a Case of Pattern Recognition with Undesirable
and Garbage Symbols, [in:] Image Processing and Communications Challenges,
120-127, 2009; E. Oczeretko, M. Borowska, A. Kitlas, T. Laudański, Synchronization
in the bivariate intrauterine pressure signals – nonlinear dynamics
methods, Reproductive Sciences, 2010, 667-672; E. Oczeretko, A. Kitlas, J. Świątecka,
M. Borowska, Uterine contraction signals- Application of the linear synchronization
measures, European Journal of Obstetrics & Gynecology and Reproductive
Biology, 144S, 2009, 61-64.
Metody obliczeniowe w zagadnieniach brzegowych
Badania dotyczą efektywnych metod numerycznego rozwiązywania
różnorodnych zagadnień brzegowych. Do modelowania tych
zagadnień wykorzystywane są głównie parametryczne układy równań
całkowych. Badania obejmują modelowanie różnorodnych zagadnień
brzegowych nie tylko w sposób precyzyjny, ale też i w sposób
przedziałowy.
Kontakt: dr hab. inż. Eugeniusz Zieniuk, prof. UwB, ezieniuk@ii.uwb.edu.pl
Publikacje: E. Zieniuk, K. Szerszeń, Triangular Bézier patches in modelling
smooth boundary surface in exterior Helmholtz problems solved by PIES, Arch.
of Acoustics, Warszawa, 1 (34) 2009, 1-11; E. Zieniuk, A. Bołtuć, Iterative solution
of linear and nonlinear boundary problems using PIES, LNCS 6067, 136-
-145, 2010.
Modelowanie układów fizycznych
Prowadzone badania dotyczą modelowania i symulacji komputerowej
własności nanostruktur dla zastosowań w dziedzinach, spintroniki
i magnetoelektroniki oraz dynamiki i efektów nieliniowych nanomateriałów
w oparciu o układ lasera femtosekundowego. Ponadto badania
obejmują zagadnienia efektywności technologii sieciowych w zdalnym
projektowaniu i modelowaniu wybranych materiałów funkcjonalnych.
Kontakt: dr hab. Marian S. Uba, prof. UwB uba@uwb.edu.pl,
prof. dr hab. Teodor Breczko, tbreczko@uwb.edu.pl
Publikacje: L. Uba, S. Uba, A. Polewko-Klim, E. Miniuk, T. Lucinski, P. Wandziuk,
A. N. Yaresko and V. N. Antonov, Optical and magneto-optical study
of Fe/Si multilayers, Materials Science-Poland, Vol. 25 No. 2, 2007 ,383-389;
T. Breczko, V. V. Barkaline, R. M. Grechishkin, V. V. Nelayev, Magnetic Properties
of Ni2MnGaAlloy, Materials Physics and Mechanics 9 (2010), 53-67;
T. Breczko, S. Ilyashenko, D. Bykov, O. Korpusov, O. V. Malyshkina, R. Grechishkin,
K. Dovzhik, Martensitic and Magnetic Domain Structures of Ferroics of
the Ni-Mn-Ga and Co-Ni- Ga Families, Phys. of the Solid S., 2010, vol. 52,
No.1, 101-104.