Sprawozdanie za 2012 rok - Portal Wiedzy PAN - Polska Akademia ...
Sprawozdanie za 2012 rok - Portal Wiedzy PAN - Polska Akademia ...
Sprawozdanie za 2012 rok - Portal Wiedzy PAN - Polska Akademia ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Udział jednostki w pracach innych form zrzeszeń:<br />
Małopolskie Centrum Innowacyjnych Technologii<br />
i Materiałów; Klaster „Innowacyjne Odlewnictwo”;<br />
Centrum Naukowo – Przemysłowe<br />
„TEAM ECO”.<br />
* 30-059 Kraków, ul. Reymonta 25<br />
( (12) 295-28-00, fax (12) 295-28-04<br />
: e-mail: office@imim-pan.krakow.pl<br />
www.imim.pl<br />
INSTYTUT PODSTAW INFORMATYKI<br />
<strong>PAN</strong><br />
Dyrektor: prof. dr hab. inż. Jacek Koronacki<br />
Przewodniczący Rady Naukowej: prof. dr hab.<br />
Andrzej Tarlecki<br />
Instytut (kategoria „1” (A) w rankingu MNiSW)<br />
<strong>za</strong>trudnia 84 pracowników, w tym 42 naukowych<br />
(<strong>za</strong>trudnienie średnioroczne w przeliczeniu na<br />
pełne etaty).<br />
Działalność naukowa: opublikowano łącznie<br />
172 prace, z tego 29 prac w recenzowanych c<strong>za</strong>sopismach<br />
naukowych o <strong>za</strong>sięgu międzynarodowym;<br />
realizowano: 16 projektów badawczych<br />
w tym 2 <strong>za</strong>graniczne, 22 <strong>za</strong>dania badawcze<br />
w ramach działalności statutowej; we współpracy<br />
z <strong>za</strong>granicą realizowano 22 tematy.<br />
Wybrane wyniki:<br />
• W wyniku reali<strong>za</strong>cji projektu IT SOA w ramach<br />
POiG powstał serwis społecznościowo-biznesowy<br />
Neiberia (http://www.neiberia.com). Neiberia<br />
jest propozycją nowej architektury serwisu<br />
biznesowo-społecznościowego, opartej na nowej<br />
koncepcji społeczności, rozumianej jako wirtualne<br />
miejsce spotkań użytkowników. Serwis ten<br />
<strong>za</strong>wiera funkcjonalności biznesowe typowe dla<br />
rynku elektronicznego. Mogą z niego korzystać<br />
<strong>za</strong>równo zwykli użytkownicy (klienci), jak też<br />
małe i średnie przedsiębiorstwa, a społeczności<br />
tworzone w ramach Neiberii odpowiadają klasycznym<br />
rynkom typu C2B&B2C.<br />
• Uka<strong>za</strong>ła się praca „Local Properties of Simplicial<br />
Complexes”, która dotyczy lokalnych algorytmów<br />
definiowanych w kompleksach symplicjalnych<br />
oraz własności sympleksu stałego<br />
niektórych klas takich kompleksów. Algorytmy<br />
takie dotyczą ważnego dla informatyki problemu<br />
wyboru lidera. W pracy uporządkowano badane<br />
klasy kompleksów. Podano kilka algorytmów<br />
lokalnych operacji redukowania lub ekspansji<br />
dla niektórych z tych klas i przedstawiono dwa<br />
algorytmy wyboru lidera, a także kombinatoryczną<br />
wersję słynnego twierdzenia Brouwera oraz<br />
uogólnienie znanego twierdzenia Nowakowskiego<br />
i Rivala z teorii grafów.<br />
• Ważnym problemem informatycznym jest<br />
konieczność wyciągania wniosków ze sprzecznych<br />
danych. Służą do tego tzw. logiki parakonsystentne,<br />
z których najsłynniejsze to Logics<br />
of Formal Inconsistency (DaCosta), w tym<br />
tzw. systemy C z operatorem ◦ do wyróżniania<br />
formuł niesprzecznych. Przeszkodą w efektywnym<br />
stosowaniu systemów C był dotąd brak<br />
analitycznych systemów dowodzenia dla tych<br />
logik. W pracy „Modular Construction of Cut-<br />
Free Sequent Calculi for Paraconsistent Logics”<br />
rozwią<strong>za</strong>no ten problem, podając jednolitą i modularną<br />
metodę systematycznego generowania<br />
rachunków sekwentowych bez reguły cięcia dla<br />
praktycznie wszystkich systemów C badanych<br />
w literaturze.<br />
Tytuł profesora uzyskali: Barbara Dunin-Kęplicz,<br />
Stanisław Matwin, Zbigniew Raś.<br />
Uzyskane habilitacje:<br />
Elżbieta Hajnicz Automatyczne tworzenie semantycznych<br />
słowników walencyjnych;<br />
Agnieszka Mykowiecka Ekstrakcja informacji<br />
złożonych ze specjalistycznych tekstów w języku<br />
polskim.<br />
Uzyskane doktoraty:<br />
Anna Andrzejczuk Klasyfikacja onomazjologiczna<br />
rzeczowników a ich charakterystyka gramatyczna;<br />
Szymon Chojnacki Anali<strong>za</strong> technicznych własności<br />
systemów rekomendujących <strong>za</strong> pomocą<br />
grafów losowych;<br />
Łukasz Kobyliński Data Mining Methods in Classification<br />
of Images.<br />
Instytut należy do sieci naukowych: Sieć naukowa<br />
Technologii Informacyjnych SOA (IT-SOA);<br />
Nowe technologie informacyjne dla elektronicz-<br />
– 186 –