INFORMATOR NAUKOWY

INFORMATOR NAUKOWY - Uniwersytet w Białymstoku INFORMATOR NAUKOWY - Uniwersytet w Białymstoku

20.09.2015 Views

WYDZIAŁ matematyki i informatyki młody | dynamiczny | z perspektywami 26 Badania naukowe Fizyka matematyczna Badania dotyczą: geometrycznych i algebraicznych metod w kwantyzacji układów fizycznych, hamiltonowskich układów całkowalnych na rozmaitościach Banacha, układów całkowalnych w nieliniowej optyce kwantowej, równań funkcjonalnych w problemach fizycznych, podstaw matematycznych mechaniki kwantowej. Kontakt: prof dr hab. Anatol Odzijewicz, aodzijew@uwb.edu.pl Publikacje: T. Goliński, A. Odzijewicz, Hierarchy of Hamilton equations on Banach Lie-Poisson spaces related to restricted Grassmannian, J. Funct. Anal. 258 (2010), no. 10, 3266-3294; G. Jakimowicz, A. Odzijewicz, Quantum ball as an example of quantum Kahler manifold, J. Geom. Phys. 59 (2009), 279-294; A. Odzijewicz, T. S. Ratiu, Induced and coinduced Banach Lie-Poisson spaces and integrability, J. Funct. Anal. 255 (2008), 1225-1272; A. Odzijewicz, T. S. Ratiu, Induction for weak sympletic Banach manifolds, J. Geom. Phys. 58 (2008), 701-719. Układy dynamiczne i teoria ergodyczna Badania dotyczą teorii operatorów nielokalnych i singularnych oraz generowanych przez nie równań. Tematyka ta obejmuje: reprezentacje algebr operatorowych generowanych przez automorfizmy i endomorfizmy, teorię ergodyczną operatorów nielokalnych, metody topologiczne i dynamiczne obliczania charakterystyk spektralnych, teorię równań nielokalnych w przestrzeniach funkcyjnych, operatory różniczkowe z δ-potencjałem oraz problemy mnożenia dystrybucji, rozszerzenia operatorów symetrycznych do samosprzężonych. Kontakt: prof. dr hab. Andrei Lebedev, lebedev@math.uwb.edu.pl Publikacje: U. Ostaszewska, K. Zajkowski, Variational principle for the spectral exponent of polynomials of weighted composition operators, J. Math. Anal. Appl. 361 (2010), 246-251; B. Kwaśniewski, A. Lebedev, Crossed Product of a C*- Algebra by a Semigroup of Endomorphisms Generated by Partial Isometries, Integr, Equ. Oper. Theory 63 (2009), 403-425; B. Kwaśniewski, A. Lebedev, Reversible extensions of irreversible dynamical systems: C*-method, Mat. Sb. 199 (2008), no. 11, 45-74. Topologia i geometria różniczkowa Badania dotyczą struktur geometrycznych na rozmaitości bazowej holomorficznej wiązki wektorowej określonych przez jądro Bergmana oraz związanych z nimi morfizmów. Kontakt: dr hab. Zbigniew Pasternak-Winiarski, prof. UwB, z.pasternak-winiarski@mini.pw.edu.pl Publikacje: M.Nesterenko, J. Patera, M. Szajewska, A. Tereszkiewicz, Orthogonal polynomials of compact simple Lie groups: Branching rules for polynomials, J. Phys. A Math. Theor. 43(2010), no.495207,1-27; M. Szajewska, A Property of the Curvature and Torison of a Regular Family of Curves in En Math. Notes 83(2008), no.5, 688-692. Równania różniczkowe Badania dotyczą teorii równań różniczkowych zwyczajnych i cząstkowych, w tym analizy teoriogrupowej równań różniczkowych, uogólnionych symetrii i konstrukcji rozwiązań nieliniowych równań fizyki matematycznej, układów hiperbolicznych równań różniczkowych cząstkowych, metod asymptotycznych w teorii równań różniczkowych zwyczajnych. Kontakt: dr hab. Ivan Tsyfra, prof. UwB, tsyfra@math.uwb.edu.pl Publikacje: T. Czyżycki, J. Hrivnak, Equivalence problem and integrability of the Riccati equations Nonlinear Differ. Equ. Appl. (2009), online: 2009 DOI 20.1007/ s00030-009-0049-2. S. A. Stepin, Asimptotika integralnogo jadra i reguljarizovannyj sled difuzjonnoj podgruppy, Funct. Anal. Appl. (Ru) (2010) t. 44, No 1, 90-96. Algebra i struktury dyskretne Badania koncentrują się wokół następujących zagadnień: grupy skończone, w szczególności struktura grup skończonych, skończone p-grupy, grupy automorfizmów, kratowe własności grup; teoria radykałów; pierścienie filialne; rozszerzenia pierścieni; algebry Hopfa, działania algebr Hopfa na algebry łączne i ich niezmienniki. W zakresie struktur dyskretnych badania dotyczą również geometrii na strukturach zanurzalnych w przestrzeniach rzutowych (zwłaszcza geometrii Grassmannianów). Drugi wątek badań to teoria konfiguracji i kombinatoryczne metody konstrukcji konfiguracji. Kontakt: dr hab. Romuald Andruszkiewicz, prof. UwB, randrusz@math.uwb.edu.pl dr hab. Krzysztof Prażmowski, prof. UwB, krzypraz@math.uwb.edu.pl Publikacje: I. Malinowska, The automorphism group of a split metacyclic 2-group and some groups of crossed homomorphisms, Arch. Math. (Basel) (2009), no. 93, 99-109; P. Grzeszczuk, M. Hryniewicka, Actions of pointed Hopf algebras with reduced pi invariants, Proc. Amer. Math. Soc. 135 (2007), no. 8, 2381-2389; R. Andruszkiewicz, K. Pryszczepko, On commutative reduced filial rings, Bull. Aust. Math. Soc. 81 (2010), 310-316. : K. Petelczyc, M. Prażmowska, Twisted Fano spaces and their classification, linear completions of systems of triangle perspectives, Des. Codes Cryptogr. 54 (2010), 241-251; M. Prażmowska, K. Prażmowski, M. Żynel, Metric affine geometry on the universe of lines, Linear Algebra Appl. 430 (2009), no. 11-12, 3066-3079. Logika matematyczna i formalizacja matematyki Prowadzone badania dotyczą zastosowań logiki w informatyce i obejmują: teorię reprezentacji wiedzy, złożoność obliczeniową, automatyzację rozumowań matematycznych, formalne systemy logiczne. Tematyka ta leży w nurcie pozyskiwania wiedzy z danych

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.

WYDZIAŁ matematyki i informatyki młody | dynamiczny | z perspektywami 26<br />

Badania naukowe<br />

Fizyka matematyczna<br />

Badania dotyczą: geometrycznych i algebraicznych metod w kwantyzacji<br />

układów fizycznych, hamiltonowskich układów całkowalnych<br />

na rozmaitościach Banacha, układów całkowalnych w nieliniowej<br />

optyce kwantowej, równań funkcjonalnych w problemach fizycznych,<br />

podstaw matematycznych mechaniki kwantowej.<br />

Kontakt: prof dr hab. Anatol Odzijewicz, aodzijew@uwb.edu.pl<br />

Publikacje: T. Goliński, A. Odzijewicz, Hierarchy of Hamilton equations on Banach<br />

Lie-Poisson spaces related to restricted Grassmannian, J. Funct. Anal. 258<br />

(2010), no. 10, 3266-3294; G. Jakimowicz, A. Odzijewicz, Quantum ball as an<br />

example of quantum Kahler manifold, J. Geom. Phys. 59 (2009), 279-294;<br />

A. Odzijewicz, T. S. Ratiu, Induced and coinduced Banach Lie-Poisson spaces and<br />

integrability, J. Funct. Anal. 255 (2008), 1225-1272; A. Odzijewicz, T. S. Ratiu, Induction<br />

for weak sympletic Banach manifolds, J. Geom. Phys. 58 (2008), 701-719.<br />

Układy dynamiczne i teoria ergodyczna<br />

Badania dotyczą teorii operatorów nielokalnych i singularnych oraz<br />

generowanych przez nie równań. Tematyka ta obejmuje: reprezentacje<br />

algebr operatorowych generowanych przez automorfizmy i endomorfizmy,<br />

teorię ergodyczną operatorów nielokalnych, metody topologiczne<br />

i dynamiczne obliczania charakterystyk spektralnych, teorię<br />

równań nielokalnych w przestrzeniach funkcyjnych, operatory różniczkowe<br />

z δ-potencjałem oraz problemy mnożenia dystrybucji,<br />

rozszerzenia operatorów symetrycznych do samosprzężonych.<br />

Kontakt: prof. dr hab. Andrei Lebedev, lebedev@math.uwb.edu.pl<br />

Publikacje: U. Ostaszewska, K. Zajkowski, Variational principle for the spectral exponent<br />

of polynomials of weighted composition operators, J. Math. Anal. Appl. 361<br />

(2010), 246-251; B. Kwaśniewski, A. Lebedev, Crossed Product of a C*- Algebra by<br />

a Semigroup of Endomorphisms Generated by Partial Isometries, Integr, Equ. Oper.<br />

Theory 63 (2009), 403-425; B. Kwaśniewski, A. Lebedev, Reversible extensions of<br />

irreversible dynamical systems: C*-method, Mat. Sb. 199 (2008), no. 11, 45-74.<br />

Topologia i geometria różniczkowa<br />

Badania dotyczą struktur geometrycznych na rozmaitości bazowej<br />

holomorficznej wiązki wektorowej określonych przez jądro Bergmana<br />

oraz związanych z nimi morfizmów.<br />

Kontakt: dr hab. Zbigniew Pasternak-Winiarski, prof. UwB,<br />

z.pasternak-winiarski@mini.pw.edu.pl<br />

Publikacje: M.Nesterenko, J. Patera, M. Szajewska, A. Tereszkiewicz, Orthogonal<br />

polynomials of compact simple Lie groups: Branching rules for polynomials, J. Phys.<br />

A Math. Theor. 43(2010), no.495207,1-27; M. Szajewska, A Property of the Curvature<br />

and Torison of a Regular Family of Curves in En Math. Notes 83(2008), no.5, 688-692.<br />

Równania różniczkowe<br />

Badania dotyczą teorii równań różniczkowych zwyczajnych i cząstkowych,<br />

w tym analizy teoriogrupowej równań różniczkowych, uogólnionych<br />

symetrii i konstrukcji rozwiązań nieliniowych równań fizyki matematycznej,<br />

układów hiperbolicznych równań różniczkowych cząstkowych,<br />

metod asymptotycznych w teorii równań różniczkowych zwyczajnych.<br />

Kontakt: dr hab. Ivan Tsyfra, prof. UwB, tsyfra@math.uwb.edu.pl<br />

Publikacje: T. Czyżycki, J. Hrivnak, Equivalence problem and integrability of the<br />

Riccati equations Nonlinear Differ. Equ. Appl. (2009), online: 2009 DOI 20.1007/<br />

s00030-009-0049-2. S. A. Stepin, Asimptotika integralnogo jadra i reguljarizovannyj<br />

sled difuzjonnoj podgruppy, Funct. Anal. Appl. (Ru) (2010) t. 44, No 1, 90-96.<br />

Algebra i struktury dyskretne<br />

Badania koncentrują się wokół następujących zagadnień: grupy<br />

skończone, w szczególności struktura grup skończonych, skończone<br />

p-grupy, grupy automorfizmów, kratowe własności grup; teoria<br />

radykałów; pierścienie filialne; rozszerzenia pierścieni; algebry Hopfa,<br />

działania algebr Hopfa na algebry łączne i ich niezmienniki. W zakresie<br />

struktur dyskretnych badania dotyczą również geometrii na<br />

strukturach zanurzalnych w przestrzeniach rzutowych (zwłaszcza<br />

geometrii Grassmannianów). Drugi wątek badań to teoria konfiguracji<br />

i kombinatoryczne metody konstrukcji konfiguracji.<br />

Kontakt: dr hab. Romuald Andruszkiewicz, prof. UwB, randrusz@math.uwb.edu.pl<br />

dr hab. Krzysztof Prażmowski, prof. UwB, krzypraz@math.uwb.edu.pl<br />

Publikacje: I. Malinowska, The automorphism group of a split metacyclic 2-group<br />

and some groups of crossed homomorphisms, Arch. Math. (Basel) (2009), no. 93,<br />

99-109; P. Grzeszczuk, M. Hryniewicka, Actions of pointed Hopf algebras with reduced<br />

pi invariants, Proc. Amer. Math. Soc. 135 (2007), no. 8, 2381-2389; R. Andruszkiewicz,<br />

K. Pryszczepko, On commutative reduced filial rings, Bull. Aust.<br />

Math. Soc. 81 (2010), 310-316. : K. Petelczyc, M. Prażmowska, Twisted Fano spaces<br />

and their classification, linear completions of systems of triangle perspectives, Des.<br />

Codes Cryptogr. 54 (2010), 241-251; M. Prażmowska, K. Prażmowski, M. Żynel,<br />

Metric affine geometry on the universe of lines, Linear Algebra Appl. 430 (2009),<br />

no. 11-12, 3066-3079.<br />

Logika matematyczna i formalizacja matematyki<br />

Prowadzone badania dotyczą zastosowań logiki w informatyce<br />

i obejmują: teorię reprezentacji wiedzy, złożoność obliczeniową, automatyzację<br />

rozumowań matematycznych, formalne systemy logiczne.<br />

Tematyka ta leży w nurcie pozyskiwania wiedzy z danych

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!