Seminarium Wydzialu Informatyki.

Serdecznie zapraszamy.

Data: 17.09.2007 (poniedzialek), godz. 12:15, Stolowka PB (przy Gwincie)

Prof. Delfim TORRES oraz dr Natalia MARTINS
Department of Mathematics, University of Aveiro, Portugalia

"Mathematical and Computer Activities at the University of Aveiro
- how to promote Mathematics?"


Prof. Delfim Torres zaprezentuje 2 projekty dotyczące nauczania
matematyki i weryfikowania wiedzy matematycznej poprzez komputerowe
konkursy dla uczniów szkół średnich. Projekty te, wykorzystujące
technologię komputerową, zostały stworzone i realizowane są z ogromnym
powodzeniem na Wydziale Matematycznym Uniwersytetu w Aveiro. Bierze w
nich udział młodzież z całej Portugalii. Jeden z projektów nazywa się
"Teaching Mathematics Project", a drugi "Geometrix". Jest to największe
tego typu przedsięwzięcie w całym kraju. Dr Natália Martins zaprezentuje
inny projekt: "dodatkowa szkoła" dla małych dzieci oraz opowie o
różnorodnej działalności matematycznej Wydziału, również w ramach
"Science and Technology Week" (odpowiednik Podlaskiego Festiwalu Nauki i
Sztuki).

Wykłady są skierowane do wszystkich zainteresowanych połączeniem
informatyki z nauczaniem matematyki na różnych poziomach wiekowych. A
przede wszystkim do: matematyków, informatyków, inżynierów, nauczycieli
szkół średnich, gimnazjalnych, podstawowych oraz ludzi zainteresowanych
popularyzacją nauki, a także zdalnym nauczaniem.

Pozdrowienia,
Prodziekan ds. Nauki

Seminarium doktoranckie Wydzialu Informatyki.

Serdecznie zapraszamy.

Data: 23.05.2007 (sroda), godz. 12:15, sala W-130A

Mgr Robert MILEWSKI (UwB):

"Metody analizy systemu wspomagania dedukcji formalnej"

Ciągle rosnące zainteresowanie tematyką wykorzystywania komputerów w dziedzinie dedukcji formalnej było przyczyną powstania nowej dziedziny nauki, zajmującej się tworzeniem i rozwojem systemów zarządzających sformalizowaną wiedzą. Rozwój takich systemów wiąże się z rozwojem stowarzyszonych z nimi baz danych, w których sformalizowana wiedza jest przechowywana. W ostatnich dekadach XX-go wieku zaczęły powstawać pierwsze systemy zajmujące się tą tematyką. Obecnie funkcjonuje kilkanaście stabilnych systemów, które posiadają ciągle rozwijające się bazy danych. Chcąc wyznaczyć standardy rozwoju dziedziny, rozpoczęto porównywanie istniejących systemów, biorąc pod uwagę przede wszystkim wielkość bazy danych oraz siłę zastosowanej w nich logiki. Aby jednak móc prowadzić dokładniejsze porównania, należało zastanowić się nad metodami bardziej zaawansowanych analiz. Tematem mojego wystąpienia będzie przedstawienie pewnego zbioru takich metod, oraz zastosowanie ich dla jednego z systemów wspomagania dedukcji formalnej. Proces ten wymagał stworzenia niezbędnego oprogramowania oraz zaplanowania i wykonania odpowiednich doświadczeń na bazie danych sformalizowanych tekstów.

Omówione zagadnienia można podzielić na dwie grupy: dotyczące referencji (zbiór sformalizowanej wiedzy można przedstawić jako graf referencji), oraz dotyczące wyszukiwania równoważnych semantycznie tekstów formalnych.

Prodziekan ds. Nauki

Publiczne obrony rozpraw doktorskich.

Serdecznie zapraszamy.

Data: 17.01.2007 (sroda), godz. 12:00, sala W-12A
Mgr inż. Marek PARFIENIUK:
„Metody dekompozycji podpasmowej sygnałów dla systemów multimedialnych
z wykorzystaniem transformacji spaczonych”
Promotor:
Prof. dr hab. inż. Aleksander Piotrowski, Politechnika Białostocka
Recenzenci:
Prof. dr hab. inż. Tomasz P. Zieliński, AGH w Krakowie
Dr hab. inz. Waldemar Rakowski, prof. Politechniki Białostockiej

Data: 18.01.2007 (sroda), godz. 12:00, sala W-12A
Mgr inż. Adam KLIMOWICZ:
„Metody i algorytmy projektowania układów kombinacyjnych i sekwencyjnych na bazie układów programowalnych o strukturze dwóch matryc”
Promotor:
Dr hab. inż. Valery Salauyou, prof. Politechniki Białostockiej
Recenzenci:
Prof. dr hab. inż. Tadeusz Łuba, Politechnika Warszawska
Dr hab. inż. Tadeusz Maciak, Politechnika Białostocka

Pozdrowienia,
Prodziekan ds. Nauki

Seminarium doktoranckie Wydzialu Informatyki.

Serdecznie zapraszamy.

Data: 8.11.2006 (sroda), godz. 12:15, sala W-12A

1. Mgr inż. Magdalena TOPCZEWSKA

"Efektywna klasyfikacja danych wielowymiarowych – właściwości wybranych metod"

Ważnym zagadnieniem /Inteligencji Obliczeniowej/ jest klasyfikacja obiektów
z dużych hurtowni danych. Głównym celem pracy będzie
porównanie dwóch metod klasyfikacji. Z jednej strony analizowane będzie
kryterium oparte na funkcjach kary typu CPL, z drugiej zaś powszechnie
stosowana metoda SVM. Kryteriami porównania będą jakość klasyfikacji oraz
efektywność numeryczna obu podejść. Zaproponowana zostanie cała paleta
równoważnych sformułowań na podstawie których wyłoniona zostanie najbardziej
efektywna implementacja. Dla przypadków danych separowalnych jak i
nieseparowalnych liniowo w oryginalnej przestrzeni cech oraz dla danych
z wysokowymiarowych przestrzeni najefektywniejsza metoda zostanie zastosowana
do generowania map podobieństwa. Mapy te powstają poprzez transformacje
wielowymiarowych zbiorów danych na płaszczyznę. Mogą stanowić jeden ze sposobów
wizualizacji wielowymiarowych zbiorów w celu eksploracji ukrytych w nich struktur.


2. Mgr inż. Tomasz GRZEŚ

"Metody i algorytmy minimalizacji poboru mocy układów sekwencyjnych
realizowanych na strukturach programowalnych"

Problem minimalizacji mocy układów cyfrowych ma ogromne znaczenie przy
konstruowaniu systemów systemów mobilnych, zasilanych bateryjnie, jak również
do zwiększenia wydajności i szybkości systemu. Najczęściej wykorzystywane
metody minimalizacji mocy to m.in. zmniejszenie wartości napięcia
zasilającego, zmiana sposobu kodowania stanów. Badania związane z
minimalizacją mocy często nie uwzględniają właściwości i cech układów
programowalnych, co prowadzi do niepełnego wykorzystania ich możliwości.


Pozdrowienia,
Prodziekan ds. Nauki

Seminarium Wydzialu Informatyki.

Serdecznie zapraszamy.

Data: 21.06.2005 (sroda), godz. 12:15, sala W-12A

Mgr inż. Marek PARFIENIUK

"METODY DEKOMPOZYCJI PODPASMOWEJ SYGNAŁÓW DLA SYSTEMÓW MULTIMEDIALNYCH
Z WYKORZYSTANIEM TRANSFORMACJI SPACZONYCH"

-------------------------------------------------------------------------------
  Wystąpienie  będzie dotyczyło metod dekompozycji podpasmowej sygnałów,
przeznaczonych   do  przetwarzania  dźwięków  i  obrazów  w  systemach
multimedialnych. Zaprezentowane zostaną trzy rozwinięte podejścia:
-   nierównomierne  banki  filtrów  opierające  się  na  transformacji
wszechprzepustowej modulowanego kosinusowo systemu równomiernego,
-  spaczona  dyskretna  transformata  Fouriera  (ang.  Warped Discrete
Fourier Transform - WDFT),
-   paraunitarne   banki   filtrów,   których   schematy  obliczeniowe
wykorzystują  multiplikator  kwaternionowy  i  dzięki  temu  zachowują
ortogonalność    funkcji    bazowych    nawet   przy   współczynnikach
reprezentowanych ze skończoną precyzją.
  Dla  każdego  z  tych  rozwiązań zostaną omówione postawy teoretyczne,
zagadnienia  związane  z projektowaniem i implementacją oraz przykłady
zastosowań multimedialnych.
-------------------------------------------------------------------------------


Data: 21.06.2005 (sroda), ok. godz. 13:05, sala W-12A
        (bezposrodnio po seminarium mgr. M. Parfieniuka)

Mgr inż. Adam ZAGÓRECKI (Defence Academy of the UK):

"Sieci Bayesowskie jako praktyczne narzędzie modelowania"

--------------------------------------------------------------------------------------------

Sieci Bayesowskie od ostatnich 20 lat stały się jednym z popularniejszych i uznanych w praktyce
narzędzi modelowania, zwłaszcza w dziedzinach, które charakteryzuję się probabilistycznymi
zależnościami. Siła sieci Bayesowskich w praktycznych zastosowaniach jest możliwość stosunkowo
łatwego tworzenia modeli bazując na rożnych źródłach wiedzy, takich jak bazy danych czy wiedza
eksperta połaczona z wydajnymi algorytmami rozumowania opartymi na rachunku
prawdopodobieństwa. Jednym ze szczególnie udanych zastosowań sieci Bayesowskich sa modele
diagnostyczne. Podczas prezentacji przedstawiine beda  metodologie tworzenia praktycznych modeli
diagnostycznych opartych na sieciach Bayesowskich oraz  doświadczenia w tworzeniu modeli
diagnostycznych dla lokomotyw i samolotów (współpraca z HRL Laboratories i Rockwell Scientific).   
---------------------------------------------------------------------------------------------

Pozdrowienia,
Prodziekan ds. Nauki