Automatyka i Robotyka, Informatyka Stosowana, Informatyka /2013

Transkrypt

1 Automatyka i Robotyka, Informatyka Stosowana, Informatyka /2013 Katedra Informatyki Stosowanej Model i analiza standardu BPMN w Model and Analysis of BPMN Zakres pracy i Celem pracy jest analiza aktualnej specyfikacji BPMN (Business Process oczekiwany Modeling and Notation) oraz opracowanie modeli logicznych poszczególnych komponentów. Znajomość relacyjnych baz danych, SQL, elementy logiki. Katedra Informatyki Stosowanej Taksonomia anomalii w BPMN w Anomaly Taxonomy in BPMN Zakres pracy i Celem pracy jest analiza aktualnej specyfikacji BPMN (Business Process oczekiwany Modeling and Notation) oraz opracowanie taksonomii anomalii. Znajomość relacyjnych baz danych, SQL, elementy logiki. Katedra Informatyki Stosowanej Weryfikacja własności modeli BPMN w Verification of BPMN Specifications Zakres pracy i Celem pracy jest analiza aktualnej specyfikacji BPMN oraz opracowanie oczekiwany algorytmów weryfikacji wybranych własności. Znajomość relacyjnych baz danych, SQL, elementy logiki.

2 Katedra Informatyki Stosowanej Analiza danych w portalu rejestracji zagrożeń w Data Analysis for Threat Monitoring Portal Zakres pracy i Celem pracy jest analiza możliwości analizy danych w portalu rejestracji oczekiwany zagrożeń. Praca w ramach projektu Indect. Znajomość relacyjnych baz danych, SQL, elementy logiki, metody analizy danych, narzędzia eksploracji danych. Katedra Informatyki Stosowanej Metody uczenia maszynowego dla analizy danych w Machine Learning for Data Analysis Zakres pracy i Celem pracy jest analiza możliwości analizy danych w portalu rejestracji oczekiwany zagrożeń. Praca w ramach projektu Indect. Znajomość relacyjnych baz danych, SQL, elementy logiki, metody analizy danych, narzędzia eksploracji danych. Katedra Informatyki Stosowanej Projekt i implementacja uniwersalnego interfesu dostępu do baz danych w Design and Implementation of a Universal Database Interface Zakres pracy i Celem pracy jest zaprojektowanie uniwersalnego interfejsu do baz danych oczekiwany SQL. Prototyp intefesju typu wiki powinien cechować się łatwa adaptowalnością Znajomość relacyjnych baz danych, SQL

3 Katedra Informatyki Stosowanej Analiza danych bibliometrycznych w Bibliometric Data Analysis Zakres pracy i Celem pracy jest analiza koncepcji, narzędzi możliwości budowy systemu oczekiwany analizy danych bibliometrycznych (h-index, cytowalność). Znajomość relacyjnych baz danych, SQL, elementy logiki, metody analizy danych, narzędzia eksploracji danych. Katedra Informatyki Stosowanej System wspomagania zarządzania jakością w Quality Management Support System Zakres pracy i Celem pracy jest projekt i wykonanie systemy wspomagania zarządzania oczekiwany jakością w szkole wyższej. Znajomość relacyjnych baz danych, SQL, elementy logiki, metody analizy danych, narzędzia eksploracji danych. Katedra Informatyki Stosowanej Analiza danych w portalu rejestracji zagrożeń w Data Analysis for Threat Monitoring Portal Zakres pracy i Celem pracy jest analiza możliwości analizy danych w portalu rejestracji oczekiwany zagrożeń. Praca w ramach projektu Indect. Znajomość relacyjnych baz danych, SQL, elementy logiki, metody analizy danych, narzędzia eksploracji danych.

4 Katedra Informatyki Stosowanej Projekt i implementacja personalnej strony WWW pracownika naukowego w Design and Implementation of a Personal WWW Page for Research Worker Zakres pracy i Celem pracy jest wykonanie personalnej strony www w oparciu o oczekiwany technologię wiki. Znajomość relacyjnych baz danych, SQL, elementy logiki, metody analizy danych, narzędzia eksploracji danych. Katedra Informatyki Stosowanej Logiki atrybutowe w Attribute Logics Zakres pracy i Celem pracy jest analiza stanu wiedzy w zakresie logik atrybutowych. oczekiwany Praca ma charakter otwarty: oczekiwane i to opracowanie koncepcji, składni i semantyki oraz reguł wnioskowania dla logik atrybutowych z wartościami zbiorowymi. Znajomość relacyjnych baz danych, SQL, XML, Prolog, metody inżynierii wiedzy, systemy regułowe, podstawy logiki w j. Rodzaj pracy Kierunek (specjalność) Zakres pracy i oczekiwany Projekt i implementacja wielofunkcyjnego prototypowego systemu zarządzania rejestrem publikacji Design and Implementation of a Prototype of Multi-Functional Publication Management System AiR, IS Celem pracy jest analiza wymagań oraz zdefiniowanie funkcjonalności systemu rejestru publikacji o szerokim zakresie zastosowań. Należy także wykonać projekt oraz implementację prototypu, w tym system bazy danych oraz interfejs użytkownika. Znajomość technologii internetowych, baz danych.

5 w j. Systemy regułowe Rule-Based Systems Kierunek (specjalność) AiR, IS Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu rozwoju, teorii, narzędzi i zastosowań systemów regułowych oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację.

6 w j. Programowanie logiczne z ograniczeniami Constraint Logic Programming Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu rozwoju, teorii, narzędzi i zastosowań systemów programowania z ograniczeniami oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację. w j. Algorytmy szukania rozwiązania Search Algorithms Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu rozwoju, teorii, narzędzi i zastosowań algorytmów poszukiwania rozwiązania oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację. w j. Logiki wielowartościowe i logiki parakonsystentne Multivalued and Paraconsistent Logics Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu wiedzy w zakresie teorii, narzędzi i zastosowań logik wielowartościowych i parakonsystentnych oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację.

7 w j. Metoda rezolucji dualnej Backward Dual Resolution Method Zakres pracy i oczekiwany Celem pracy jest analiza literatury z zakresu logiki opisującej odkrycie i aktualny stanu rozwoju teorii związanej z regułą automatycznego wnioskowania jaką jest rezolucja dualna. Jest to reguła dualna do klasycznej rezolucji Robinsona, jednak wnioskowanie przebiega de facto wstecz, a więc reguła to może wspierać wnioskowanie abdukcyjne. Praca obejmuje analizę literatury oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację. w j. Diagnostyka systemów technicznych w oparciu o analizę niespójności Model-Based Diagnosis with Inconsistency Analysis Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu rozwoju teorii, narzędzi i zastosowań systemów diagnostycznych opartych na wykrywaniu niespójności (ang. Model-Based Diagnosis) oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację. w j. BPMN modelowanie i analiza procesów biznesowych BPMN Modeling and Analysis of Business Processes lub 2 Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu rozwoju,teorii, narzędzi i zastosowań BPMN (ang. Business Process Modeling Notation), w tym zwłaszcza możliwości analizy i weryfikacji poprawności diagramów BPMN. Ponadto praca obejmuje oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację.

8 Systemy zarządzania dokumentami (DMS) oraz technologie inteligentnych aktywnych dokumentów w Document Management Systems and Technologies of Active, Intelligent Documents Zakres pracy i Celem pracy jest analiza i ocena narzędzi i koncepcji zarządzania oczekiwany dokumentami (systemów klasy DMS) ze szczególnym uwzględnieniem metod inżynierii wiedzy,w tym tzw. executable documents oraz semantic wikis. W oparciu o zgromadzony materiał należy opracować i zaimplementować eksperymentalny system zarządzania inteligentnymi, aktywnymi dokumentami. Praca o charakterze teoretycznym i koncepcyjnym, może stanowić wstęp do dalszych badań (doktorat). Znajomość relacyjnych baz danych, SQL, XML, Prolog, metody inżynierii wiedzy, systemy regułowe, podstawy logiki Zbiory, relacje, grafy i logika granularna w Granular Sets, Relations, Graphs and Logic /2 Zakres pracy i Celem pracy jest analiza koncepcji i pojęć dotyczących zbiorów, relacji i oczekiwany logiki granularnej oraz zdefiniowanie operacji i narzędzi algebry granularne i opartej na niej granularnej logiki atrybutowej. Praca o charakterze koncepcyjno-teoretycznym, może stanowić wstęp do dalszych badań (doktorat). Znajomość relacyjnych baz danych, SQL, XML, Prolog, metody inżynierii wiedzy, systemy regułowe, podstawy logiki w j. BPMN model logiczny i analiza własności BPMN A Logical Model and Analysis of Formal Characteristics lub 2 Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu rozwoju teorii i praktyki w zakresie modelii formalnych BPMN (ang. Business Process Modeling Notation), w tym zwłaszcza możliwości analizy i weryfikacji poprawności diagramów BPMN. Ponadto praca obejmuje oraz opracowanie repozytorium przykładów i materiałów wspomagających prezentację.

9 Zaawansowane narzędzia języka Prolog w Advanced Tools of Prolog Kierunek (specjalność) Automatyka i Robotyka /(KSS lub Inf. w SiZ) lub IS Zakres pracy i Przedmiotem pracy jest analiza zaawansowanych narzędzi i oczekiwany mechanizmów języka Prolog (takich jak współpraca z bazami danych i innymi językami programowania, rozwiązywanie zadań klasy CLP oraz parsowanie SGML/XML). Rezultatem będzie opracowanie eksperymentalnych aplikacji wykorzystującej te mechanizmy. Znajomość relacyjnych baz danych, SQL, XML, Prolog, metody inżynierii wiedzy, systemy regułowe, podstawy logiki Projekt i implementacja internetowego systemu akwizycji i zarządzania wiedzą dla potrzeb bezpieczeństwa w j. Design and Implementation of an Internet System for Knowledge Acquisition and Management for Improving Safety Kierunek (specjalność) Automatyka i Robotyka Zakres pracy i Przegląd i analiza literatury. Wykonanie projektu i implementacja oczekiwany systemu. Komponenty: system bazy danych, narzędzia klasyfikacji, weryfikacja wiarygodności, komponent GIS, rejestr zmian, archiwizacja, zaawansowane wyszukiwanie, subskrypcja, drukowanie raportów, pomoc. w j. Znajomość baz danych i PHP, GIS, Ajax, Apache, MVC, Python, Django, PostgreSQL, PostGIS. Relacyjne Bazy Danych Relational Databases lub 2 Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu wiedzy w zakresie relacyjnych baz danych oraz przygotowanie przykładów i materiałów ilustrujących prezentacje.

10 w j. Zaawansowane Zagadnienia Relacyjnych Baz Danych Relational Databases. Advanced Issues Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu wiedzy w zakresie relacyjnych baz danych oraz przygotowanie przykładów i materiałów ilustrujących prezentacje. Uwzględnić należy zagadnienia zaawansowane, w tym przetwarzania transakcyjne, replikację, optymalizację, etc. w j. Relacyjne Bazy Danych. Projektowanie i implementacja Relational Databases. Design and Development lub 2 Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu wiedzy w zakresie projektowania, implementacji i narzędzi relacyjnych baz danych oraz przygotowanie przykładów i materiałów ilustrujących prezentacje. w j. Nierelacyjne Bazy Danych Non-SQL Databases Zakres pracy i oczekiwany Celem pracy jest analiza aktualnego stanu wiedzy w zakresie nierelacyjnych baz danych oraz przygotowanie przykładów i materiałów ilustrujących prezentacje.

11 w j. Rodzaj pracy Analiza funkcjonalności oraz projekt i implementacja interfejsu użytkownika dla portalu rejestracji zagrożeń. Functionality analysis and design and implementation of user interface for threats enregistration in internet system. lub 2 Kierunek (specjalność) Zakres pracy i oczekiwany dyplomata w j. Rodzaj pracy Automatyka i Robotyka, Informatyka Stosowana, Informatyka Celem pracy jest analiza wymagań oraz zdefiniowanie zakresu funkcjonalności portalu internetowego rejestracji zagrożeń oraz zaprojektowanie i implementacja oprogramowania interfejsu użytkownika. Znajomość technologii internetowych. Projekt i analiza modelu logicznego dla języka BPMN Design and analysis of logical model for the BPMN language lub 2 Kierunek (specjalność) Zakres pracy i oczekiwany dyplomata w j. Rodzaj pracy Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Celem pracy jest analiza możliwości utworzenia modelu logicznego oraz wypracowanie prototypowego modelu generycznego dla języka BPMN. Model powinien dostarczać wykonywalnej specyfikacji oraz pozwalać na analizę poprawności i jakości projektu w BPMN. Elementarna znajomość BPMN, podstawy logiki. Metro dla Krakowa. Projekt i implementacja systemu informatycznego dla analizy i społecznościowej oceny projektu metra w Krakowie. Metro for Cracow. Design and Implementation of Computer Systems for Analysis and Social Evaluation of Metro System in Cracow. Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i oczekiwany Celem pracy jest analiza preferencji wymagań dotyczących, zaprojektowanie i realizacja systemu komunikacji metra w Krakowie. Będzie to system internetowy wyposażony w bazę danych i komponent GIS pozwalający rejestrować preferencje użytkowników. dyplomata Znajomość działania baz danych, technologii internetowych i systemów GIS.

12 w j. Rodzaj pracy Kierunek (specjalność) System wspomagania zarządzania w obszarze nauki A System for Support Research Management Support Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i oczekiwany Celem pracy jest analiza uwarunkowań i wymagań dotyczących, zaprojektowanie i realizacja systemu wspomagania zarządzania w obszare nauki (projekty, doktoraty, habilitacje). Główne obszary zastosowania systemu to wspomaganie pracy Dziekana. System możewyposażony w interfejs internetowy. dyplomata w j. Rodzaj pracy Kierunek (specjalność) Znajomość działania baz danych, technologii internetowych i podstaw działalności szkoły wyższej. System zarządzania i analizy wiedzy dla poprawy bezpieczeństwa obywateli Knowledge Management System for Improvement of Citizens Security Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i oczekiwany Celem pracy jest analiza uwarunkowań i wymagań dotyczących, zaprojektowanie i realizacja systemu wspomagania zarządzania wiedzą dotycząca bezpieczeństwa obywateli. System będzie przeznaczony do rozproszonej akwizycji wiedzy, akumulacji i agregacji oraz automatycznej klasyfikacji. Wiedza udostępniana będzie selektywnie obywatelom i służbom państwowym odpowiedzialnym za poszczególne obszary tematyczne. dyplomata Znajomość działania baz danych, technologii internetowych i podstaw inżynierii wiedzy.

13 w j. Rodzaj pracy Kierunek (specjalność) Zakres pracy i oczekiwany dyplomata Projekt i implementacja warstwy przetwarzania wiedzy w dla inteligentnych systemów wspomagania podejmowania decyzji Design and Implementation Business Intelligence Software for Decision Support Systems. Automatyka i Robotyka, Informatyka Stosowana, Informatyka Celem pracy jest analiza wymagań, zaprojektowanie i implementacja oprogramowania dla systemu klasy Business Intelligence w warstwie przetwarzania wiedzy. System wyposażony będzie w bazę danych oraz warstwę systemu regułowego. Znajomość działania systemów regułowych, baz danych, Prologu. Analiza dostępnych technologii i narzędzi GIS oraz projekt i implementacja prototypowego systemu wspomagania bezpieczeństwa publicznego. w j. Analysis of Available GIS Technologies and Tools and Design and Implementation of a Prototype Citizen Safety Support System. Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi GIS oraz dostępnych map. Wykonanie projektu i implementacja systemu. Komponenty: system bazy danych, narzędzia klasyfikacji, komponent GIS, rejestr zmian, archiwizacja, zaawansowane wyszukiwanie, subskrypcja, drukowanie raportów, pomoc. Znajomość baz danych, Python, PostgreSQL/Oracle, GIS. Monitorowanie, analiza i sterowanie zachowaniem użytkownika aplikacji Internetowych w j. Monitoring, analysis and control of internet application user lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Opracowanie metod monitorowania, analizy i sterowania zachowaniem użytkownika aplikacji sieciowych. Znajomość technologii sieciowych, baz danych i elementów inżynierii wiedzy.

14 Internetowy system dialogowy oparty na bazie wiedzy w j. A knowledge-based internet dialog system lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Opracowanie systemu realizującego inteligentny dialog z użytkownikiem aplikacji sieciowych. Znajomość technologii sieciowych, baz danych i elementów inżynierii wiedzy. Analiza technologii i opracowanie systemu syntezy mowy w j. Analysis of technologies and development of speech synthesis system lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Opracowanie systemu realizującego syntezę mowy. Znajomość technologii sieciowych, baz danych i elementów inżynierii wiedzy. Analiza technologii rozpoznawania mowy w j. Analysis of technologies for speech recognition lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Opracowanie systemu realizującego elementarne rozpoznawanie mowy. Znajomość technologii sieciowych, baz danych i elementów inżynierii wiedzy. Prototyp spersonalizowanego systemu monitorowania i komunikacji w j. A prototype of personalized monitoring and communication system lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Opracowanie systemu realizującego inteligentny

15 dialog z użytkownikiem i monitorującego jego zachowanie. Znajomość technologii sieciowych, baz danych i elementów inżynierii wiedzy. Analiza technologii i narzędzi programowania przy ograniczeniach w j. Analysis of technologies and tools for Conastraint Satisfaction Problems lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Opracowanie systemu realizującego inteligentne programowanie przy ograniczeniach dla przykładowych przypadków użycia z wykorzystaniem technologii ECLIPSE. Znajomość technologii sieciowych, baz danych i elementów inżynierii wiedzy. Modyfikacja systemu wspomagania egzaminowania na platformie Moodle w j. Modification of Examination Support System on the Moodle platform lub 2 Kierunek (specjalność) Automatyka i Robotyka, Informatyka Stosowana, Informatyka Zakres pracy i Przegląd i analiza literatury problemu. Przegląd i analiza dostępnych oczekiwany technologii i narzędzi. Projekt modyfikacji i rozszerzeń oraz implementacja dla platformy Moodle systemu wspomagania egzaminowania. Znajomość technologii sieciowych, PHP, Moodle, baz danych, PostgreSQL..

16 Indect BPMN BomLoq CLP Conflicts Hitting Graphs Elastyczne dopasowanie tekstów ofert. Jasiu Goliński portale Maile: - przekopać Inzynierskie: