February 16, 2022, 2 p.m. room 228, dr hab. Piotr Artiemjew, prof. UWM, University of Warmia and Mazury, Olsztyn, “Real Toy Decision Systems Generator for Presenting Data Mining Algorithms” (the lecture will also be available online by invitation)

Abstract : Probably every data scientist has come across Quinlan's toy decision system (the decision problem of playing tennis), which has become a popular system for presenting toy examples of ideas for new data science algorithms. In this work, we address researchers who would like to use a variety of meaningful, real-world data to demonstrate their algorithms using toy examples. We propose a novel tool for generating toy decision systems from original decision systems addressing real decision problems. Would you like to present toy examples of your methods on little meaningful real data, this tool is for you. The toy systems are generated using a granulation techniques and feature selection methods. The resulting toy systems represent the essence of real decision systems, they provide meaningful data that can be used to demonstrate the action of your own data science methods.

 

 

December 15, 2021, 2 p.m., room 228, dr inż. Piotr Grochowalski, University of Rzeszów, “The Use of PNeS in the Control of Mobile Robots ”

Abstract : The Petri Net System (PNeS for short) is an integrated graphical computer tool for building, modifying, analyzing many types of Petri nets (including fuzzy Petri nets), as well as controlling a mobile robot. The aim of the lecture is to present the main functionalities of PNeS, with particular emphasis on the functionality related to the possibility of controlling mobile robots. The current version of PNeS allows us to control the Lego Mindstorms mobile robot performing various tasks, including avoiding obstacles, reaching the target, following an obstacle, finding an exit from the labyrinth and influencing the environment by selecting the appropriate manipulators. In fact, the list of tasks for the robot can be more extensive, it depends mainly on the hardware configuration of the available robot in the control mode.

 

 

November 24, 2021, 2 p.m. room 228, dr inż. Leszek Gajecki, University of Information Technology and Management, Rzeszów, “Acoustic modelling for speech recognition”

Abstract : The main aim of presented work is acoustic modelling for telephone speech recognition. The speech recognition of such speech as an example of conversational speech brings difficulty because of low quality of speech, different speakers voice, overlapping of speakers utterance, spontaneous talk with grammar errors. Our research was conducted using LUNA corpus consisting call centre dialogues in Polish language. The focus of research is the exploration of different models of neural networks and their combinations. The general architecture of speech recognition system will be presented as well as examples of known tools for speech recognition.  

 

 

November 3, 2021, 2 p.m. room 228, prof. Zbigniew Suraj, University of Rzeszów, “About Making Approximate Decisions in Real-time Using Fuzzy Petri Nets with Priorities”

Abstract : The lecture will be devoted to the methodology of building a parallel algorithm represented by a generalized fuzzy Petri net with priorities. The knowledge necessary to build such a net along with its parameters comes almost entirely from the experimental decision table in the sense of Pawlak. The research assumed that the decision table contains values of conditional attributes from measurements made by sensors in an unknown but finite number of time units. The net is built automatically on the basis of all true and acceptable rules extracted from a given decision table. Conditional attribute values are sent over the net at the maximum possible speed. The presented methodology uses concepts, methods and algorithms derived from the theory of rough sets, fuzzy sets and Petri nets.

 

 

December 19, 2019, 4 p.m., room 228, Prof. Janusz Konrad, "Privacy-Preserving Localization and Recognition of Human Activities"

Uwaga! Zmiana godziny i sali wykładu: 19 grudnia 2019 (czwartek), godz. 16:00, sala 228. Bio: Janusz Konrad received Master's degree from Technical University of Szczecin, Poland in 1980 and PhD degree from McGill University, Montreal, Canada in 1984. He joined INRS-Telecommunications, Montreal as a post-doctoral fellow and, since 1992, as a faculty member. Since 2000, he has been on faculty at Boston University. He is an IEEE Fellow and a recipient of several IEEE and EURASIP Best Paper awards. He has been actively engaged in the IEEE Signal Processing Society as a member of various boards and technical committees, as well as an organizer of conferences. He has also been on editorial boards of various EURASIP journals. His research interests include video processing and computer vision, stereoscopic and 3-D imaging and displays, visual sensor networks, human-computer interfaces, and cybersecurity, Abstract : Smart rooms, that respond to occupant behavior, will likely become common occurrence in our lifetimes. With advanced sensors, processors and algorithms, such rooms are expected to save energy and provide productivity as well as health benefits. Indoor localization of occupants and recognition of their activities are two key components of this vision. However, traditional camera-based systems may not be acceptable in privacy-sensitive scenarios since high-resolution images may reveal room details and occupant identity to eavesdroppers. I will first review traditional approaches to protecting occupant's visual privacy, including reversible methods (e.g., data scrambling) and irreversible methods (e.g., optical and digital obfuscation of visual data). Then, I will describe computational solutions via resolution reduction recently developed at Boston University. In one approach, a small network of ceiling-mounted„ single-pixel RGB sensors collects visual data from which occupant's location is estimated by means of advanced algorithms. In another approach, extremely low resolution videos (e.g., 16 x 12 pixels) are used to recognize occupant's activities. Finally, I will discuss visual privacy protection by replacing the identity information in a person's image with another identity by means of variational generative-adversarial networks (VGANs). Poster: Download Wykład odbędzie się w języku polskim.

 

 

June 13, 2019, 10 a.m., room 243, Prof. Mikhail Moshkov (jointly with Fawaz Alsolami, Mohammad Azad, and Igor Chikalov), “Decision and Inhibitory Trees and Rules for Decision Tables with Many-valued Decisions”

Abstract : We consider examples of problems and decision tables with many-valued decisions and discuss the difference between decision and inhibitory trees and rules for decision tables with many-valued decisions. We mention some relatively simple results obtained earlier for decision trees, tests, rules, and rule systems for binary decision tables with many-valued decisions, and generalize them to the inhibitory trees, tests, rules, and rule systems. We extend the multi-stage and bi-criteria optimization approaches to the case of decision trees and rules for decision tables with many-valued decisions and then generalize them to the case of inhibitory trees and rules. The applications of these techniques include the study of totally optimal (optimal relative to a number of criteria simultaneously) decision and inhibitory trees and rules, the comparison of greedy heuristics for tree and rule construction as single-criterion and bi-criteria optimization algorithms, the development of the restricted multi-pruning approach used in classification and knowledge representation, etc. We also study the time complexity of decision and inhibitory trees and rule systems over arbitrary sets of attributes represented by information systems. Bio: Download Poster: Download

 

 

June 12, 2019, 12 a.m., room 228, Dr. Lesia Dobuliak, “The Concept of Modelling the Tendencies of Ukraine’s Small Business Development”

Abstract : In our research we have made an analysis of modern state and development tendencies of the small-scale enterprise in Ukraine, have constructed trend models for research of the dynamics of small business development process. We have also elaborated conceptual theses on modeling the development tendencies of small business in Ukraine; have improved the method of calculation of Ukraine’s small-scale enterprise regional development index. Besides, we have made the analysis of the factors influencing the small-scale enterprise development in Ukraine; have constructed regression models that estimate the power of different factors’ influence on the small business structures’ functioning. Poster: Download

 

 

December 12, 2018, dr hab. inż. Krzysztof Pancerz, prof. UR, "Fuzzy set methods in the Classification and Prediction Software System (CLAPSS)"

Abstract : The talk will be devoted to presentation of fuzzy set methods implemented in the Classification and Prediction Software System (CLAPSS). A special attention will be focused on a new module, added to CLPASS, for graphical fuzzification of attribute values in information/decision tables. Moreover, generation of fuzzy decision trees as well as fuzzy flow graphs will be discussed.

 

 

June 20, 2018, prof. dr hab. Igor Tralle, University of Rzeszów, "New types of multi-component gyrotropic metamaterials"

Abstract : Today we are the witnesses of the boom and an almost exponential growth of papers devoted to novel artificial materials which are called metamaterials. The talk will be devoted to new class of composite multi-component gyrotropic metamterials and the possible perspectives of the collaboration between the specialists in Computer Science and Physics of our faculty in this rapidly developing field of research.  

 

 

June 13, 2018, dr inż. Piotr Lasek, University of Rzeszów, "Granular computing in clustering"

Abstract : The key-element of each clustering algorithm is determining distances between clustered objects. In order to make this process efficient various indexes are used. In our presentation we will focus on a modification of the k-means algorithm employing so-called pi-cube - an inductive hierarchical structure representing data on different levels of granularity. Under certain conditions, the modification of the algorithm makes determining clusters more efficient due to the fact that the whole data set does not have to be scanned when assigning points to clusters.

 

 

June 6, 2018, dr hab. inż Krzysztof Pancerz, University of Rzeszów, "Ontology of Places in Poland: the Current State and Directions of Research"

Abstract : The current state of development of the ontology of places in Poland will be presented. The ontology of places is being implemented using the OWL 2 Web Ontology Language. One of the directions of research is application of rough sets to approximation of classes (concepts) in the ontology. The instance-based rough set approximation of classes in the OWL ontology will be discussed. In the presented approach, both, the classical rough set model and the variable precision rough set model, will be incorporated.  

 

 

May 30, 2018, dr inż. Wiesław Paja, University of Rzeszów, "A decision rule based approach to generational feature selection"

Abstract : The increase of dimensionality of data is a target for many existing feature selection methods with respect to efficiency and effectiveness. In this paper, the all relevant feature selection method based on information gathered using generational feature selection is described. The successive generations of feature subset were defined using Rule Quality Importance algorithm and next the subset of most important features was eliminated from the primary dataset. This process was executed until the most relevant feature has got importance value on the level equal to importance of the random, shadow feature. The proposed approach was also tested on well-known artificial Madelon dataset and the results confirm its efficiency. Thus, the conclusion is that the identified features are relevant but not all weakly relevant features were discovered.

 

 

May 16, 2018, mgr inż., Jarosław Szkoła, Departmet of Computer Science, University of Rzeszów, "Using of bezier curves for signal analysis, a new approach"

Abstract : During the presentation, the possibilities of analyzing signals with the use of bezier curves will be presented. The algorithms for detection of sequences in the data will be also described, as well as the method for determining the parameters of the bezier curve for on a given input waveform. The advantages and disadvantages of the new approach to currently used data analysis methods will also be shown.

 

 

May 16, 2018, dr inż. Łukasz Maciura, UR i WSIiZ Rzeszów, "Associative Memories with Synaptic Delays"

Abstract : In the presentation a new concept of associative memories in which synaptic connections of the self-organizing neural network learn time delays between input sequence elements will be shown. Synaptic connections represent both the synaptic weights and expected delays between the network inputs. This property of synaptic connections facilitates recognition of time sequences and provides context-based associations between sequence elements.

 

 

May 9, 2018, Dr. Jesus Serrano-Guerrero, University of Castilla-La Mancha, Ciudad Real, Spain, "Meta-search Engines: Concepts and phases"

 

 

 

May 9, 2018, Dr. Jesus Serrano-Guerrero, University of Castilla-La Mancha, Ciudad Real, Spain, "Sentiment Analysis: Concepts and trends"

 

 

 

April 18, 2018, prof. Petro Venherskyi, Franko National University of Lviv, "Interval analysis in decision making tasks in expert systems"

 

 

 

January 24, 2018, Dr. Piotr Lasek, Density-Based Clustering with Constraints

Abstract : Clustering is one of the most important techniques in both artificial intelligence and data mining. It is used to identify unknown yet interesting and useful patterns or trends in datasets. In recent years a new branch of clustering algorithms has emerged, namely clustering algorithms with constraints. By means of the constraints, it is possible to incorporate background knowledge into clustering algorithms that can lead to better accuracy of clustering results and potentially better performance. Over the last few years, a number of clustering algorithms employing different types of constraints have been proposed and most of them extend existing partitioning and hierarchical approaches. Among density-based methods using constraints, algorithms such as C-DBSCAN, DBCCOM, DB-CluC were proposed. In this presentation, we will focus on instance level constraints called and two density-based algorithms ic-NBC and ic-DBSCAN implemented on top of the well known density-based algorithms.

 

 

 

January 17, 2018, Dr. Wiesław Paja, Different approach applied to generational feature elimination

Abstract : Presentation devotes to selected approach applied to Generational Feature Elimination process. Here, some application of decision rules algorithm connected with contrast variables method will be investigated. Some initial results on Madelon dataset will be presented and discussed. GFE algorithm is based on development of further generation of learning models. After each generation, relevant feature are defined and then disabled during next generation of models. For this reason, contrast values are added by random permutation of each original variables. The threshold for separation of relevant variables from other shadow variables is defined by the contrast variable with highest relevance measure.

 

 

January 10, 2018, Dr. Krzysztof Pancerz, Fuzzy Decision Trees in Classification and Analysis of MMPI Profiles

Abstract : The talk will be devoted to classification and analysis of MMPI profiles using fuzzy decision trees. MMPI (Minnesota Multiphasic Personality Inventory) is a standardized psychometric test of adult personality and psychopathology. The MMPI test delivers psychometric data in the form of the so-called profiles (thirteen descriptive attributes corresponding to three validity and ten clinical scales). Fuzzy decision trees are generated by means of the algorithm that uses cumulative information estimations of initial data proposed by V. Levashenko et al. All of the stages of the classification and analysis process will be presented, i.e., fuzzification of initial data, generation of the classifier, testing the classifier, generation of fuzzy decision rules and fuzzy Petri net models for classification and analysis purposes. The classification and analysis process is aided by several software tools: CLAPSS, Copernicus, PNeS.

 

 

June 28, 2017, mgr inż. Jarosław Szkoła, Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, "Wybrane metody przetwarzania obrazu dla potrzeb sterowania robota mobilnego"

Streszczenie: Na seminarium przedstawione zostaną najpopularniejsze metody przetwarzania obrazu w zakresie detekcji wybranych cech, klasyfikacji (kaskadowe klasyfikatory Haara, sieci konwolucyjne), detekcji ruchu. Przedstawione zostaną również propozycje nowych podejść do analizy obrazu, mające zapewnić lepszą jakość i efektywność klasyfikacji. Omówiony zostanie od strony technicznej projekt robota mobilnego, z uwzględnieniem dedykowanych rozwiązań programowo-sprzętowych.

 

 

June 14, 2017, Dr Krzysztof Pancerz, "Aktualny stan prac nad systemami informatycznymi 'Ontologia OWL miejscowości w Polsce', CLAPSS, eASDi "

Streszczenie: Celem referatu jest prezentacja informacji o aktualnie realizowanych pracach przy tworzeniu systemów informatycznych „Ontologia OWL miejscowości w Polsce”, CLAPSS, eASDi. Przedstawione zostanie przeznaczenie tworzonych systemów, ich aktualna funkcjonalność oraz plany dalszego rozwoju. Szczególna uwaga zostanie zwrócona na system klasyfikacji i predykcji danych CLAPSS. Omówiona zostanie funkcjonalność generowania rozmytych drzew decyzji oraz wiążąca się z tą funkcjonalnością możliwość współpracy systemu CLAPSS z systemem PNES przeznaczonym m.in. do modelowania klasyfikatorów przy użyciu różnych typów rozmytych sieci Petriego.

 

 

May 31, 2017, Dr. Wojciech Kozioł, Zastosowanie schematów konotacyjnych w przetwarzaniu języka naturalnego

Streszczenie: W referacie przedstawiono informatyczny model opisu schematów konotacyjnych i ich użyteczność w procesie przetwarzania języka naturalnego. Podczas tworzenia wypowiedzi czy to w mowie czy w piśmie, ludzie ograniczeni są w wyborze wyrażeń. Kombinacje wyrazów uzależnione są ściśle ich właściwościami semantycznymi, które definiują sensowność lub bezsensowność wypowiedzi oraz regułami gramatycznymi określającymi poprawną składnię wypowiedzi w danym języku. Wybór odpowiednich wyrazów podczas tworzenia wypowiedzi nie jest zatem przypadkowy i zależy od innych wyrazów występujących w zdaniu. Taki proces wzajemnej łączliwości wyrazów nazywany jest ich konotacją. Konotacja wyrazów wyrażana jest w postaci schematów konotacyjnych (walencyjnych). W modelach tych główną rolę pełnią czasowniki, które przesądzają o mniej lub bardziej rozbudowanym schemacie składniowym. Czasownik konotuje w zależności od znaczenia leksykalnego jeden lub więcej członów podrzędnych w postaci rzeczownika lub zaimka według klucza semantycznych cech selekcyjnych. Powstaje w ten sposób dwuczłonowa relacja – wymagania czasownika spotykają się w określonych kategorialnie ramach z cechami rzeczownika.

 

 

May 24, 2017, Dr. Paweł Drygaś, Interdyscyplinarne Centrum Modelowania Komputerowego UR, "Normy trójkątne i ich uogólnienia na kratach"

Streszczenie: Ideą zbiorów rozmytych wprowadzonych przez L. Zadeha w 1965 r. było rozszerzenie zbioru wartości funkcji przynależności elementu do zbioru (zwanej też funkcją charakterystyczną zbioru) ze zbioru {0,1} na przedział [0,1]. Aby dla tak wprowadzonych zbiorów zdefiniować iloczyn czy funkcję potrzebne były nowe spójniki logiczne, których argumentami są dowolne liczby z przedziału jednostkowego. Podczas referatu omówione zostaną takie uogólnienia koniunkcji i alternatywy jak norma i konorma trójkątna oraz uninorma. Wymienione spójniki zostaną również omówione w przypadku, gdy przedział [0,1] zastąpimy kratą (m.in. kratą przedziałów).

 

 

May 17, Dr. Krzysztof Pancerz, "Miara niespójności dla prostych systemów decyzyjnych nad grafami ontologicznymi."

Streszczenie: Główną ideą zbiorów przybliżonych jest aproksymacja danego zbioru obiektów poprzez inne zbiory obiektów nazywane zbiorami elementarnymi tworzącymi podstawowe granule wiedzy. Aproksymacja może być dokładna lub przybliżona. Z aproksymacją przybliżoną mamy do czynienia gdy system decyzyjny jest niespójny. W referacie pokazane zostanie, że dodanie informacji o relacjach semantycznych pomiędzy wartościami atrybutu decyzyjnego (w postaci grafu ontologicznego) pozwala na ilościową ocenę podstawowych granul wiedzy aproksymujących dany zbiór obiektów. Rozważane są fundamentalne paradygmatyczne relacje semantyczne. Miara oceniająca granule ma charakter rozmyty i jest miarą charakteryzującą istniejące niespójności w systemie decyzyjnym.

 

 

May 10, 2017, Dr. Wiesław Paja, "Generational feature elimination to find all relevant feature subset"

Abstract : The recent increase of dimensionality of data is a target for many existing feature selection methods with respect to efficiency and effectiveness. In this pesentation, the all relevant feature selection method based on information gathered using generational feature elimination will be introduced. The successive generations of feature subset were defined using DTLevelImp algorithm and in each step the subset of most important features were eliminated from the primary investigated dataset. This process was executed until the most important feature reach importance value on the level similar to importance of the random shadow features. The proposed method was also initially tested on well-know artificial and real-world datasets and the results confirm its efficiency. Thus, it can be concluded that selected attributes are relevant.

 

 

April 26, 2017, Prof. Zbigniew Suraj and Dr. Piotr Grochowalski, "Fuzzy Petri Nets Over Interval Triangular Norms"

Abstract : In 2013, the generalised fuzzy Petri nets (GFP-nets) were proposed. This paper describes an extended class of GFP-nets called type-2 generalised fuzzy Petri nets (T2GFP-nets). The new class extends the existing generalized fuzzy Petri nets by introducing a triple of operators (In,Out1,Out2) in a T2GFP-net in the form of interval triangular norms, which are supposed to function as substitute for the triangular norms in GFP-nets. This extension has signicant influence on presentation and analysis of the modelled system by the T2GFP-nets on generalized level abstraction. The proposed approach can be used both for intelligent control design as well as for knowledge representation and reasoning in expert systems.

 

 

April 12, 2017, Dr. Krzysztof Pancerz, "Sieci Petriego nad grafami ontologicznymi"

Streszczenie: W referacie zostanie przedstawiona koncepcja nowego modelu sieci Petriego pozwalającego operować na znacznikach będących pojęciami skojarzonych z miejscami sieci grafów ontologicznych. Sieci te są sieciami wysokiego poziomu. Opis ich dynamiki pozwala na sterowanie wykonywaniem tranzycji poprzez semantykę znaczników. Proponowany model sieci może zostać wykorzystany do wysokopoziomowego modelowania zadań robotów. W wewnętrznych mechanizmach sterowania robotów, na wyższych poziomach abstrakcji, budowany może być pojęciowy model otoczenia, w którym działają. Proponowany model sieci Petriego wpisuje się w zainspirowane przez L. Zadeha, symbolicznym określeniem "computing with words", operowanie na słowach, pojęciach i stwierdzeniach języka naturalnego w procesach przetwarzania danych.

 

 

April 5, 2017, Prof. Zbigniew Suraj and Dr. Piotr Grochowalski, "Petri nets as a tool for the construction and analysis of systems"

Abstract : This talk presents the backgrounds on Petri nets including the definitions, properties, analysis methods, and examples. The practical use of Petri nets is strongly dependent upon the existence of adequate computer tools. This talk provides also basic information about PNeS (Petri Net System). This system has been designed and implemented in a modern programming technology. PNeS runs on any computer under any operating system.

 

 

April 4, 2017, Prof. Luis Baptista, Polytechnic Institute of Portalegre, Portugal, "Using Restarts on Constraint Programming over Finite Domains"

Abstract : Constraint Satisfaction Problems (CSPs) are a well-known case of NP-complete problems. They have extensive application in areas such as scheduling, timetabling, resources allocation, combinatorial mathematics, games and puzzles, and many other fields of computer science and engineering. Constraint Programming over Finite Domains (CP(FD)) has been used, with great success, in efficiently solving hard CSPs. Satisfiability problems (SAT) are also a well-known case of NP-complete problems, whose algorithms share common techniques with CP(FD). One of the major progress of backtrack search algorithms for SAT was the combined use of restarts, nogood recording (learning) and heuristics based on restarts. We study the interplay of those techniques in the context of CP(FD). We focus on domain splitting branching scheme, using restarts and nogood recording from restarts. From the empirical study we found an improvement to the fail-first heuristic that uses information from nogoods. In some classes of problems we found that the joint use of restarts, nogoods and heuristics have shown improvements of the algorithms. In fact, when studying the interplay of restarts strategies, heuristics and nogoods from restarts in CP(FD) algorithms, we do not see improvements when using restarts per se, nor when adding nogoods; but, when adding a third component, heuristics using information from nogoods, promising results can be achieved. Notice: This seminar will exceptionally take place on April, 4 2017 at 3.00 p.m. in room 127. Poster

 

 

March 29, 2017, Dr. Piotr Lasek, Clustering and visualization of a high-dimensional diabetes data set

Abstract : Data clustering is one of the most commonly used methods of data mining. It can provide an analyst with important, yet unknown, insights about a processed data set. Clustering algorithms are widely used in business, scientific as well as medical applications. In this talk we will presents conclusions from our preliminary experiments on clustering of a multidimensional diabetes data set. We will also demonstrate our approach to visualization and exploration of the clustering results. At the and we will try to encourage discussion focusing on methods for finding behavioral patterns of diabetes patients.

 

 

8.03.2017, Prof. Zbigniew Suraj and Dr. Piotr Grochowalski, "A Method to Compare the Computational Complexity of Different Types of Fuzzy Petri Nets"

Abstract : The purpose of this presentation is to show how the computational complexity of different types of fuzzy Petri nets can be compared, without the use of Petri net languages.

 

 

25.01.2017, mgr inż. Tadeusz Ruchlewicz, Katedra Informatyki Uniwersytetu Rzeszowskiego, "Grupowa praca i współdzielenie dokumentów za pomocą przeglądarki Internetowej na przykładzie Office 365"

Streszczenie: Trend z wiązany z wykorzystaniem przeglądarki internetowej do użytkowania różnych aplikacji bez konieczności instalacji oraz przechowywania danych w chmurze stwarza wiele nowych możliwości, także dla pracowników naukowo-dydaktycznych uczelni. Komputer podłączony do Internetu może posłużyć do m in. współdzielonej pracy nad dokumentem w czasie rzeczywistym. Celem referatu jest przedstawienie na przykładzie Microsoft Office 365 korzyści jakie mogą płynąć z używania tego rodzaju usług.   Sylwetka: Mgr inż. Tadeusz Ruchlewicz absolwent fizyki na Uniwersytecie Rzeszowskim oraz informatyki na Politechnice Rzeszowskiej. ukończył na AGH w Krakowie m. in. zawodowy kurs Cisco Certified Networking Professional zawierający moduły: ROUTE, SWITCH, TSHOOT. Pełni obecnie funkcję administratora sieci komputerowej na Wydziale Matematyczno-Przyrodniczym UR, a także koordynatora Lokalnej Akademii Cisco działającej przy Katedrze Informatyki na tym Wydziale. Prowadzi certyfikowane szkolenia CCNA Routing & Switching oraz CCNA Security z zakresu administrowania sieciami komputerowymi. Poster  

 

 

18.01.2017, dr Jolanta Wojtowicz, Katedra Informatyki, Uniwersytet Rzeszowski, "Metodologia transformacji rozmytej sieci Petriego do postaci układu cyfrowego"

Streszczenie: Referat dotyczy szczegółów transformacji rozmytej sieci Petriego dla schematu układu logicznego (cyfrowego), który oparto na module miejsca oraz module tranzycji. W prezentacji zostanie omówiona programowa implementacja wymienionych modułów oraz sposób ich połączenia w celu realizacji rozmytej sieci Petriego. Przedstawiona zostanie również analiza dynamiki przedstawionej sieci Petriego.  

 

 

21.12.2016, dr inż. Krzysztof Pancerz, Katedra Informatyki Uniwersytetu Rzeszowskiego, "Zbiory przybliżone i ontologie OWL"

Streszczenie: W referacie przedstawione zostaną wybrane przykłady powiązania teorii zbiorów przybliżonych oraz ontologii OWL. Z jednej strony, teoria zbiorów przybliżonych dostarcza narzędzi eksploracji danych z uwzględnieniem ich niejednoznaczności, nieprecyzyjności oraz niepełności. Z drugiej strony, ontologie pozwalają uwzględniać w procesach eksploracji danych wiedzę o semantyce danych. Szczególna uwaga zostanie zwrócona na problem aproksymacji pojęć w ontologiach OWL przy wykorzystaniu teorii zbiorów przybliżonych.

 

 

30.11.2016, dr inż. Piotr Lasek, Katedra Informatyki Uniwersytetu Rzeszowskiego, "Początki i współczesne wyzwania wizualizacji danych"

Streszczenie: Odkrywanie wiedzy z danych może oznaczać różne rzeczy dla różnych osób (np. odkrywanie struktury danych, wykrywania wzorców, reguł, itp.), ale wszystkich przypadkach wizualizacja pełni nieocenioną rolę. Może być wykorzystana w każdym kroku analizy, począwszy od wstępnej eksploracji, porzez generowanie hipotez, walidację eksperymentów, aż na prezentacji ostatecznych wyników skończywszy. Natura eksploracji jest interaktywna. Dlatego też tak istotne jest, aby narzędzia wizualizacji zapewniały użytkownikowi natychmiastowy dostęp do graficznej reprezentacji jego danych. W trakcie prezentacji przedstawione zostaną podstawowe zagadnienia związane z wizualizacją danych. We wstępie, omówione zostaną przykładowe wizualizacje sprzed kilkuset lat uważane za najbardziej wpływowe inspirujące jeśli chodzi rozwój dziedziny. W kolejnej części, pokazane zostaną aplikacje i systemy, które w powiązaniu z dynamicznym rozwojem baz danych doprowadziły do rozkwitu narzędzi wizualizacji danych w latach 1990 - 2000. Końcowa część prezentacji będzie dotyczyć interaktywnych metod wizualizacji dużych zbiorów danych jak również architektury autorskiego systemu Skydive.

 

 

23.11.2016, Prof. Petro Venherskyi, Information Systems Department, Franko National University of Lviv, Ukraine, "Water movement in hydro network: the case study of using GIS-services in Information Systems"

Abstract : During the presentation we will discuss a feasibility study of using GIS services for solving problems related to visualization of spatial data. We will also review the existing solutions as well as some of the general functional schemes of interaction with Data and Web services. Next, we will focus on technologies providing simple and convenient integration and usage of GIS components and websites, that provide mechanisms for separation of data and programming layers allowing modelling and solving applied problems of water motion flows in rivers of a selected territory. Our implemented project does not require any additional software on the client side and has a small footprint when it comes to using a GIS component on the server.

 

 

26.10.2016, dr Monika Piróg-Mazur, Instytut Inżynierii Technicznej, PWSTE w Jarosławiu, "Pozyskiwanie i modelowanie wiedzy dla inteligentnego systemu wytwarzania"

Streszczenie: W referacie przedstawiony zostanie przykład zastosowania Inteligentnego Systemu Wspomagania Decyzji w przedsiębiorstwie produkcyjnym. Opracowany projekt opiera się na bazie wiedzy pozyskiwanej z różnych źródeł, w tym od ekspertów, którzy byli w stanie wyrazić swoją wiedzę w postaci werbalnej. Projekt ISWD dotyczy kontroli jakości wyrobów gotowych. Zdefiniowany zostanie proces budowy systemu, początkowe założenia oraz sposób jego realizacji. Wymieniono i opisano wszystkie źródła danych, którymi są: eksperci (menadżerowie, kierownicy linii produkcyjnych), system informatyczny monitoringu produkcji PIC - Production Information Computer. System Wspomagania Decyzji ma służyć klasyfikacji wad produktu oraz doboru odpowiedniej, najbardziej korzystnej metody czy sposobu ich eliminacji. System ma wspomagać pracę kierownika linii produkcyjnej wykorzystując wiedzę eksperta - specjalisty, posiadającego bardzo wysokie kwalifikacje i doświadczenie.

 

 

19.10.2016, Prof. Zbigniew Suraj and Dr. Piotr Grochowalski, Chair of Computer Science, University of Rzeszów, "Fuzziness in Petri Nets"

Abstract : In 1988, Looney proposed in his seminal paper, Fuzzy Petri Nets for Rule-based Decision Making, to modify the classical Petri net model to allow fuzzy rule-based reasoning by propositional logic. Since then, several authors, from the Petri net and artificial intelligence communities, have proposed different kinds of fuzzy Petri nets. These models are based on different approaches which combine Petri nets and fuzzy sets. This talk focuses on the current state-of-the art in the use of fuzziness in Petri nets on low-level of abstraction.  

 

 

13.06.2016, dr inż. Krzysztof Pancerz, dr inż. Piotr Grochowalski, Katedra Informatyki UR, "W stronę inteligentnych narzędzi dla rynku nieruchomości"

Streszczenie: W referacie przedstawione zostaną założenia budowanej ontologii miejscowości w Polsce na przykładzie Województwa Mazowieckiego. Ontologia budowana jest w standardzie OWL 2. W ontologii uwzględniane są różne aspekty miejscowości, przede wszystkim administracyjne, społeczne i ekonomiczne. Budowana ontologia będzie m.in. częścią inteligentnego narzędzia wspomagającego semantyczne wyszukiwanie ofert nieruchomości.

 

 

06.06.2016, Prof. Zbigniew Suraj, Chair of Computer Science, University of Rzeszow, Poland, "Generalized Weighted Fuzzy Petri Net in Intuitionistic Fuzzy Environment"

Abstract : In the talk, a fuzzy Petri net model based on generalized weighted fuzzy production rule will be presented. Generalization is made on the basis of inclusion of the intuitionistic fuzzy set with the associated intuitionistic fuzzy weight as input values. Such complex model may often give rise to a fuzzy Petri net model based on a complex logical operator resulting in higher computational complexity. For this reason, a dual fuzzy Petri net model of the form (N,N') is proposed based on a simple weighted logical operator which confirms lesser computational complexity. Approximate reasoning algorithms will be proposed based on this dual structure of a fuzzy Petri net. A numerical example concerning a train traffic problem will be provided in order to justify the relevance of the approach in a real-life problem.  

 

 

30.05.2016, dr Jolanta Wojtowicz, Katedra Informatyki UR, Analiza dynamiki w rozmytych sieciach Petriego.

Streszczenie: W referacie omówiony zostanie sposób realizacji równań opisujących dynamikę rozmytej sieci Pertiego poprzez implementację sprzętową na układach FPGA. Sprzętowa realizacji modelu rozmytej sieci Petriego oparta jest na dwóch modułach: module miejsca i module tranzycji. Poruszony zostanie temat rozstrzygania sytuacji konfliktowych w rozmytych sieciach Petriego.

 

 

23.05.2016, prof. Mikhail Moshkov, Shahid Hussain, Talha Amin, KAUST, Saudi Arabia, “Experimental and Theoretical Study of Totally Optimal Decision Trees and Rules”

Abstract : Decision tree for a decision table is called totally optimal for given cost functions if this tree is optimal relative to each of the considered cost functions simultaneously. Totally optimal decision rule for given cost functions is a decision rule which is optimal relative to each of the considered cost functions. We discuss theoretical and experimental results of (i) the study of totally optimal decision trees for the depth, average depth and number of nodes, and (ii) the study of totally optimal decision rules for the length and coverage. The end of the presentation is devoted to the introduction to KAUST. Poster

 

 

16.05.2016, dr Leszek Pyziak, Katedra Informatyki UR, "Kwantyzacja w holografii cyfrowej"

Streszczenie: W referacie przedstawione zostaną wyniki symulacyjnych badań wpływu kwantyzacji hologramów oraz stopnia wykorzystania dynamicznego zakresu detektora na jakość rekonstruowanych obrazów. Omówiona zostanie także metoda i wyniki badań doświadczalnych mających na celu weryfikację wyników uzyskanych w wyniku przeprowadzonych doświadczeń numerycznych.

 

 

09.05.2016, dr inż. Krzysztof Pancerz, Katedra Informatyki UR, "CLAPSS - przegląd aktualnej funkcjonalności oprogramowania analizy i predykcji danych"

Streszczenie: W referacie przedstawiona zostanie aktualna wersja oprogramowania CLAPSS (CLAssification and Prediction Software System). Szczególna uwaga zostanie zwrócona na metody wstępnego przetwarzania danych zaimplementowane w oprogramowaniu (m.in., selekcja obiektów, selekcja atrybutów, transformacja atrybutów, tabele porównań). Poza tym wskazane zostaną możliwości wykorzystania oprogramowania w rozwiązywaniu wybranych problemów analizy danych.

 

 

25.04.2016, dr Paweł Zięba, Katedra Informatyki UR, “Trójskładnikowy metamateriał kompozytowy"

Streszczenie: Tematem referatu będzie przedstawienie relatywnie prostego sposobu wytwarzania metamateriałów, tj. materiałów, które jednocześnie posiadają ujemne wartości części rzeczywistych przenikalności elektrycznej i magnetycznej. Idea polega na zmieszaniu trzech składników, z których jeden jest odpowiedzialny za ujemną wartość części rzeczywistej przenikalności magnetycznej, a dwa za ujemną wartość części rzeczywistej przenikalności elektrycznej. Pierwszym składnikiem kompozytu jest zbiór jednodomenowych cząstek ferromagnetycznych o rozmiarach nano, zanurzony w środowisku dwóch pozostałych: srebrze i tellurku rtęciowo-kadmowym/tellurku ołowiowo-cynowym. Aby pokazać, że stworzenie takiego metamateriału jest możliwe, przeprowadzono w oparciu o zaproponowany model symulację komputerową polegająca na przeszukaniu wielowymiarowej przestrzeni parametrów tego modelu w celu ustalenia domeny istnienia takiego materiału. Głównym rezultatem jest stwierdzenie, że taka domena istnieje względem wszystkich parametrów modelu, tj. temperatury, zewnętrznego pola magnetycznego, parametrów nanocząstek, zawartości kadmu w tellurku rtęciowo-kadmowym/cyny w tellurku ołowiowo-cynowym, a także koncentracji poszczególnych składników kompozytu.

 

 

18.04.2016, dr Zofia Matusiewicz , RSPN Research Group, “Algebraiczne własności rodziny rozwiązań układów typu max-* ".”

Streszczenie: Układy równań typu max-min zostały wprowadzone przez E. Sancheza w związku z modelami rozmytymi w diagnostyce medycznej. Badał on problem istnienia rozwiązań oraz przedstawił wzory na znajdowanie rozwiązania największego (rozwiązanie najbardziej pożądane ze względu na optymalizacje diagnozy). Autorzy późniejszych prac badali rodzinę wszystkich rozwiązań układów równań i nierówności typu max-min. A równocześnie zaczęto rozważać układy typu max-T oraz układy typu S - T, gdzie T oznacza normę trójkątna zaś S konormę trójkątna. Celem tego referatu jest zaprezentowanie otrzymanych algebraicznych własności rodziny rozwiązań takich układów równań i nierówności.

 

 

21.03.2016, mgr inż. Tadeusz Ruchlewicz, Wydział Matematyczno-Przyrodniczy UR, “Zastosowanie chmury obliczeniowej Microsoft Azure w procesie naukowo-dydaktycznym”

 

 

04.03.2016 prof. Konrad Wojciechowski, Polsko-Japońska Akademia Technik Komputerowych w Bytomiu, “Centrum Badawczo-Rozwojowe P-JATK w Bytomiu. Infrastruktura i prowadzone badania.”

Streszczenie: Polsko-Japońska Akademia Technik Komputerowych P-JATK, której Centrum Badawczo-Rozwojowe w Bytomiu (CB-R Bytom) jest wydzieloną jednostką, otwiera się na środowisko naukowe oferując interaktywny dostęp z dowolnego miejsca w kraju do tego Centrum. CB-R Bytom jest pierwszym w Polsce zespołem zaawansowanych laboratoriów analizy i syntezy ruchu w modelu shareconomy. CB-R Bytom udostępnia w trybie współdzielenia: i) unikalne specjalistyczne laboratoria akwizycji i analizy ruchu człowieka, ii) infrastrukturę informatyczną umożliwiającą przetwarzanie i gromadzenie dużej ilości danych, iii) unikalne dane zgromadzone w ramach dotychczasowych badań. Ponadto oferuje możliwość włączenia się do już prowadzonych innowacyjnych i interdyscyplinarnych badań w zakresie akwizycji, analizy i syntezy ruchu człowieka, w tym także upowszechnianie wyników w renomowanych czasopismach naukowych o zasięgu światowym oraz prace rozwojowe prowadzące do wprowadzania innowacyjnych produktów na rynek. W referacie przedstawione zostaną laboratoria CB-R Bytom, realizowane i planowane w nich prace badawcze. Oczekuje się szerokiej dyskusji mającej na celu próby zdefiniowania tematów i problemów badawczych, w któych możliwa byłaby współpraca korzystna dla obu uczelni. Prof. Konrad Wojciechowski jest organizatorem Centrum Badawczo-Rozwojowego Polsko-Japońskiej Akademii Technik Komputerowych w Bytomiu, dyrektorem Centrum, a także profesorem Politechniki Śląskiej. Wybitny specjalista w zakresie grafiki wizji i symulacji komputerowej. Informacja o laboratoriach Informacja o wystąpieniu - plakat

 

 

22.02.2016, dr Katarzyna Garwol, Katedra Informatyki Uniwersytetu Rzeszowskiego, "Motywy, sposoby i cele wykorzystywania Internetu przez studentów Uniwersytetu Rzeszowskiego."

Streszczenie: Tematem wystąpienia jest analiza motywacji, sposobów i czasu spędzanego w Internecie przez młodych użytkowników sieci. Autor przeprowadza analizę wpływu Internetu na zmianę stylu życia młodych ludzi, która wiąże się ze stałym i nieograniczonym dostępem do sieci. Badania zostały przeprowadzone wśród studentów Uniwersytetu Rzeszowskiego na kierunkach informatyka, mechatronika, prawo oraz administracja. Za cel miały wskazać obszary w których Internet stał się nieodłącznym elementem życia młodych, dziedziny poza światem wirtualnym, które są przez nich zaniedbywane poprzez korzystanie z sieci oraz poznanie opinii na temat pozytywnych i negatywnych stron wirtualizacji współczesnego świata. Badania miały również pokazać różnice w wykorzystywaniu sieci przez studentów kierunków ścisłych oraz kierunków humanistycznych.

 

 

22.02.2016 prof. dr hab. Zbigniew Suraj, Chair of Computer Science, University of Rzeszów, "Modified Generalized Fuzzy Petri Nets for Rule-Based Systems"

Abstract : Recently, the generalised fuzzy Petri nets were proposed. This class extends the existing fuzzy Petri nets by introducing three input/ output operators in the form of triangular norms, which are supposed to function as substitute for the classical min, max, and * (the algebraic product) operators. In this talk, modified generalised fuzzy Petri nets have been presented. A functional interpretation of transitions based on inverted fuzzy implications is added to the model. The proposed net model is not only more comfortable in terms of knowledge representation, but most of all it is more effective in the modelling process of approximate reasoning as in the new class of fuzzy Petri nets the user has the chance to define both the input/output operators as well as transition operators. To demonstrate the power and the usefulness of this model, an application of the modified generalised fuzzy Petri nets in the domain of train traffic control is provided. The proposed approach can be used for knowledge representation and reasoning in decision support systems.

 

 

01.02.2016, dr inż. Lucjan Pelc, Instytut Inżynierii Technicznej PWSTE w Jarosławiu, "Wybrane formalne metody opisu systemów reaktywnych, rozumianych jako problem sterowania"

Streszczenie: Intencją działalności człowieka jest dążenie do wpływania na otaczający go świat w taki sposób, aby zachodziły pożądane zdarzenia. Z tego względu ugruntowało się podejście opisujące otaczającą nas rzeczywistość dwudzielnie. Z jednej strony mówi się o tzw. obiekcie sterowania, a z drugiej strony o tzw. sterowniku. Zadaniem sterownika jest obserwowanie obiektu i równoczesne takie na niego wpływanie, aby obiekt sterowania zachowywał się zgodnie z założonymi wcześniej scenariuszami. Jednym z podejść jest budowanie jak najbardziej szczegółowego modelu obiektu sterowania i definiowanie w tej samej dziedzinie opisu sterownika, np. wykorzystanie równań różniczkowych do opisu obiektu i sterownika (w tym przypadku nazywanego regulatorem). Innym podejściem jest budowanie sterownika, w którym informacje o sposobie reagowania na zachowanie się obiektu podawane są w formie reguł. W tym przypadku nie jest potrzebne formułowanie skomplikowanego opisu matematycznego obiektu sterowania. Referat będzie dotyczył wybranych metod formalnych opisu systemów reaktywnych. Jako punkt wyjścia zostanie przedstawione klasyczne i stosowane w praktyce podejście opisu sterownika w formie automatu Moore'a. Następnie, poprzez zaprezentowanie przykładów zastosowania, przedstawione zostaną m.in. automaty czasowe, automaty probabilistyczne, probabilistyczne automaty czasowe oraz podejście rozmyte, wykorzystujące parametryzowane rozmyte sieci Petriego.  

 

 

25.01.2016, dr inż. Jan Andreasik (Uczelniane Centrum Transferu Technologii UR) dr inż. Krzysztof Pancerz (Katedra Informatyki UR), "Ontologia w informatyce: stan aktualny, potencjalne zastosowania"

Streszczenie: Pierwsza część referatu będzie miała charakter przeglądowy. Poruszone zostaną m.in. zagadnienia podstaw filozoficznych oraz omówione zostaną różne klasyfikacje ontologii. Na wybranych przykładach ukazane zostanie czym zajmuje się świat w zakresie wykorzystania ontologii jako informatycznego narzędzia modelowania rzeczywistości. Dokonany zostanie przegląd wybranych współczesnych standardów, technologii oraz aplikacji ontologii. W drugiej części referatu przedstawione zostaną propozycje własnych aplikacji ontologii (np. ontologia przedsiębiorstwa, ontologia systemu BHP, ontologia nieruchomości) oraz wskazane będą potencjalne problemy badawcze o charakterze aplikacyjnym

 

 

18.01.2016, dr inż. Wojciech Kozioł, Katedra Informatyki UR “Obrazowanie gestów języka migowego w technologii 3D”

Streszczenie: W referacie przedstawiona zostanie metoda obrazowania gestów języka migowego wykorzystująca technologię 3D. Zazwyczaj na gest języka migowego składa się ruch rąk i dłoni, któremu towarzyszą odpowiednie układy dłoni oraz mimika twarzy. W polskim języku migowym istnieją gesty statyczne i dynamiczne. W gestach statycznych ręce nie wykonują żadnego ruchu, ale są umieszczone w pewnym miejscu w przestrzeni migania a dłonie ułożone są w określony układ. W gestach dynamicznych występuje ruch jednej lub obydwu dłoni i jest on wykonywany w określonych miejscach w przestrzeni. Układy dłoni w gestach dynamicznych mogę ulegać zmianie w trakcie trwania ruchu. W niektórych gestach języka migowego obligatoryjnie występuje również mimika twarzy, np. podczas wykonywania gestu „boli” powinien wystąpić na twarzy aktora grymas bólu. W omawianym podejściu proces wizualizacji przebiega wielotorowo. Pierwszym torem jest ruch rąk i dłoni. Akwizycja ruchu jest realizowana przy użyciu systemu motion capture. Zarejestrowane dane są poddawane obróbce i zapamiętywane w bazie danych gestów. Drugim torem jest wizualizacja układów dłoni. Ze względu na to, że liczba takich układów jest ograniczona (ok. 50 układów), zostały one wymodelowane ręcznie w aplikacji Blender. Trzecim torem jest mimika twarzy wymodelowana przy użyciu autorskiej aplikacji narzędziowej. Proces wizualizacji gestów wymagał również rozwiązania problemu transjentów. Należało opracować odpowiednie algorytmy, które realizują płynne przejście od jednego gestu do drugiego. Z uwagi na to, że na gesty składają się również układy dłoni i mimiki twarzy, problem transjentów pojawia się również lokalnie wewnątrz poszczególnych gestów. Należało więc rozwiązać problem płynnego przejścia od jednego układu dłoni do innego oraz przejścia układów ust dla poszczególnych liter z uwzględnieniem mimiki twarzy wyrażającej stany emocjonalne aktora. W procesie wizualizacji gestów wszystkie te tory muszą być ze sobą odpowiednio zsynchronizowane. Zarysowane wyżej problemy dowodzą, że obrazowanie gestów przy użyciu technik komputerowych jest zadaniem złożonym, a poszczególne jego etapy również nie należą do trywialnych.

 

 

11.01.2016, dr Jolanta Wojtowicz, Katedra Informatyki UR, "Implementacja rozmytych sieci Petriego na układach FPGA"

Streszczenie: Referat przedstawia implementację na układach FPGA modeli rozmytych sieci Petriego z normami Łukasiewicza jako układów sterowania. Podejście wykorzystane do realizacji modelu rozmytej sieci Petriego jest oparte na metodzie syntezy bazującej na module miejsca w sieci Petriego oraz na wykorzystaniu przerzutników RS. Referat zawiera analizę równań opisjących dynamikę działania rozmytej sieci Petriego oraz opis rzeczywistego układu sterowania, który posłużył do pokazania nowych cech rozmytej sieci Petriego z normami Łukasiewicza. Dla przykładowego układu sterowania dokonano porównania modelu rozmytej sieci Petriego z normami Łukasiewicza z modelem rozmytej sieci Petriego z normami trójkątnymi typu MIN/MAX w celu analizy kosztów implementacji.

 

 

11.12.2015, dr Paweł Zięba, Katedra Informatyki UR, "Multifraktalna analiza elastycznie zdetrendowanych fluktuacji"

Streszczenie: Multifraktalna analiza szeregów czasowych jest podejściem, które służy do badania złożoności układów dynamicznych. Obecnie, jedną z najbardziej popularnych i najlepszych metod służących określaniu multifraktanego charakteru szeregów czasowych jest multifraktalna analiza zdetrendowanych fluktuacji (ang. Detrended Fluctuation Analysis - DFA). Jednym z jej kroków jest usuwanie trendu z szeregów czasowych. W klasycznej metodzie DFA trend szacuje się poprzez dopasowanie wielomianu stopnia m, gdzie m jest stałe. W niniejszym referacie zostanie przedstawiona propozycja, aby m nie było stałe, a jego wybór był zdeterminowany przez pewne kryterium. Biorąc pod uwagę tę modyfikację badamy za pomocą zmodyfikowanej metody DFA multifraktalne widma dla rzeczywistych i sztucznie wygenerowanych szeregów czasowych. Inaczej niż w przypadku klasycznej metody DFA, uzyskane widma prawie idelanie odwzorowują wyniki teoretyczne, a dla rzeczywistych szeregów czasowych obserwuje się przesunięcie w prawej części widma.

 

 

7.12.2015, dr inż. Wiesław Paja, Katedra Informatyki UR, “Identyfikacja istotnych cech w systemach informacyjnych z zastosowaniem architektury drzew decyzyjnych”

Streszczenie: W ramach referatu zostaną zaprezentowane nowe metody i algorytmy selekcji cech w oparciu o architekturę drzew decyzyjnych. Jako jeden z najbardziej skutecznych i szybkich formalizmów reprezentacji wiedzy drzewa decyzyjne mogą stanowić kanwę dla algorytmów rankingu i selekcji cech. Opracowane algorytmy zostały zaimplementowane i przetestowane na wybranych bazach informacyjnych. Wstępne wyniki badań pozwalają stwierdzić ich skuteczność oraz możliwość rozwoju w aspekcie zastosowań w analizie baz informacyjnych o dużej liczbie atrybutów.

 

 

30.11.2015, Dr Petro Venherskyi, "Application of interval computation in Computer Graphics: Generation and Visualization implicit Curves and Surfaces"

 

 

16.11.2015, dr inż. Krzysztof Pancerz, dr inż. Wiesław Paja, Katedra Informatyki UR, “Akwizycja i wstępne przetwarzanie danych z arkuszy ewaluacyjnych osób ze schorzeniami ze spektrum autyzmu”

Streszczenie". W referacie przedstawiona zostanie koncepcja badań nad adaptacją inteligentnych metod obliczeniowych do wspomagania podejmowania decyzji w terapii osób z zaburzeniami ze spektrum autyzmu. Komputerowa analiza danych zawartych w arkuszach oceniających stopień funkcjonowania osób z zaburzeniami ze spektrum autyzmu w ważnych sferach (m.in. samoobsługowej, komunikacyjnej, poznawczej, ruchowej, funkcjonowanie w środowisku społeczno-przyrodniczym) pozwoli określać kierunki zmian w wyżej wymienionych sferach (progres, stagnacja, regres) oraz wspomoże dokonywanie korekt/aneksowania indywidualnych programów edukacyjno-terapeutycznych osób objętych opieką. W pierwszym etapie realizacji badań szczególna uwaga zwrócona jest na akwizycję danych oraz ich wstępne przetwarzanie (m.in. selekcja cech oraz wstępne grupowanie przypadków).

 

 

22.06.2015, prof. Zbigniew Suraj, Katedra Informatyki UR, “About New Methodology for Approximate Reasoning in KBS – Theory and Application”

Abstract : In the lecture, a new methodology for selecting fuzzy implications in approximate reasoning (forward, backward) has been discussed. The proposed methodology is based on the functional representation of fuzzy implications. It allows to compare two fuzzy implications. If the truth value of the premise (conclusion) and the truth value of the implication are given, then the truth value of the implication’s conclusion (premise) can be optimized. This methodology seems to be useful for the design of an inference mechanism based on the rule knowledge for a given Knowledge Based System.

 

 

11.06.2015 (godz. 8.30) dr Beata Zielosko, Instytut Informatyki UŚ, “Modified Dynamic Programming Approach for Optimization of Decision and Inhibitory Rules Relative to Coverage"

Abstract : We describe known results about possibilities of inhibitory rules (in contrast with usual ones) to describe the whole information containing in information systems, discuss algorithms for construction of inhibitory rules, trees and tests, and possibilities of the use them in machine learning and knowledge representation. Poster Slides

 

 

11.06.2015 (godz. 9.15) prof. Mikhail Moshkov, KAUST, Saudi Arabia, “Extensions of Dynamic Programming for Machine Learning and Knowledge Representation"

Abstract : The talk includes a review of author’s results in the following three directions: (1) Comparison of decision rules, trees and tests (superreducts). (2) Extensions of dynamic programming for analysis and optimization of decision rules. (3) Greedy and dynamic programming approaches for optimization of association rules. Poster Slides

 

 

10.06.2015 (godz. 10.00), dr Beata Zielosko, Instytut Informatyki UŚ, “Study and Optimization of Decision and Association Rules"

Abstract : The talk includes a review of author’s results in the following three directions: (1) Comparison of decision rules, trees and tests (superreducts). (2) Extensions of dynamic programming for analysis and optimization of decision rules. (3) Greedy and dynamic programming approaches for optimization of association rules. Poster Slides

 

 

10.06.2015 (godz. 10.45), prof. Mikhail Moshkov, KAUST, Saudi Arabia, “Inhibitory Rules, Trees and Tests"

Abstract : We describe known results about possibilities of inhibitory rules (in contrast with usual ones) to describe the whole information containing in information systems, discuss algorithms for construction of inhibitory rules, trees and tests, and possibilities of the use them in machine learning and knowledge representation. Poster Slides

 

 

01.06.2015, mgr Piotr Witkowski, Instytut Informatyki UWr, “Logiki z dwiema zmiennymi i monadycznym Datalogiem --- złożoność i zastosowania.”

Streszczenie: W trzeciej dekadzie XX wieku Alonzo Church i Alan Turing udowodnili, że problem spełnialności formuł logiki pierwszego rzędu jest nierozstrzygalny. Od tego czasu wiele wysiłku włożono w poszukiwania rozstrzygalnych fragmentów tej logiki. Znaleziono wiele takich fragmentów, do najbardziej znaczących należy logika z dwiema zmiennymi FO2 i jej uniwersalny fragment BS2. Mają one jednak niewystarczającą siłę wyrazu, stąd liczne próby ich rozszerzenia przy zachowaniu rozstrzygalności problemu spełnialności. Jedną z takich prób było rozszerzenie BS2 o monadyczne programy Datalogowe, co umożliwiło wyrażanie własności osiągalności, przydatnych np. w weryfikacji imperatywnych programów ze strukturami wskaźnikowymi. Referat przedstawia ten pomysł oraz jego kontynuację: definiuje rodzinę logik z Datalogiem, z których pewne są rozstrzygalne (NEXPTIME-zupełne), dla niektórych znane są jedynie dolne granice, inne natomiast okazały się nierozstrzygalne. Dowody dolnych granic pokazują istotny związek problemów spełnialności logik z Datalogiem i osiągalności w sieciach Petriego (systemach dodawania wektorów). Dowody rozstrzygalności używają logiki z dwiema zmiennymi i kwantyfikatorami zliczającymi (C2) oraz pewnego jej rozszerzenia, nazwanego C2 z drzewami. Biogram: mgr Piotr Witkowski interesuje się logiką obliczeniową, w szczególności rozszerzeniami fragmentów z dwiema zmiennymi i ich zastosowaniem w weryfikacji programów. Jest pracownikiem Instytutu Informatyki Uniwersytetu Wrocławskiego, gdzie ukończył studia magisterskie (2006) i, pod kierunkiem prof. Witolda Charatonika, napisał pracę doktorską pt. "Complexity of Some Logics Extended with Monadic Datalog Programs" (2014).

 

 

18.05.2015, prof. dr hab. inż. Bohdan Rytsar, Katedra Informatyki UR, “Nowa metoda minimalizacji funkcji logicznych w formacie teorio-mnogościowych wielomianów”

Streszczenie: W referacie przedstawiona zostanie nowa metoda minimalizacji funkcji boolowskich. Główną zaletą proponowanej metody jest iteracyjne upraszczanie koniunktermów zadanej funkcji. Jest ono realizowane przy zastosowaniu wcześniej zdefiniowanych reguł upraszczania funkcji opartych na pojęciu odległości Hamminga (d > 3) pomiędzy dwoma koniunktermami o różnych rangach. Dzięki takiemu podejściu uzyskuje się istotnie mniejsze koszty minimalizacji zadanej funkcji. Fakt ten został potwierdzony eksperymentalnie na licznych przykładach zaczerpniętych z literatury.

 

 

11.05.2015, dr inż. Łukasz Maciura, Katedra Informatyki, "System wczesnego rozpoznawania zarodników grzybów pleśniowych na pieczywie dedykowany dla osób w wieku geriatrycznym oraz niedowidzących oparty o mikroskop na USB"

Streszczenie". W ramach referatu zostanie przedstawiona koncepcja systemu wczesnego rozpoznawania zarodników pleśni na pieczywie. System przeznaczony jest dla osób w wieku senioralnym oraz osób z upośledzeniem funkcjonowania narządu wzroku. W szczególności przedstawiona zostanie koncepcja wizyjnej części systemu, w tym jego silnik, który umożliwia rozpoznawanie pleśni w obrazach uzyskanych za pomocą prostego mikroskopu połączonego z komputerem złączem USB.

 

 

04.05.2015, dr inż. Lucjan Pelc, Instytut Inżynierii Technicznej PWSTE w Jarosławiu, "Wybrane przykłady zastosowania parametryzowanych rozmytych sieci Petriego"

Streszczenie: W referacie zostaną przedstawione przykłady praktycznych zastosowań parametryzowanych rozmytych sieci Petriego. Prezentowane przykłady będą dotyczyły: systemu sterowania lotem dla bezzałogowych aparatów latających, diagnostyki pracy silnika spalinowego oraz określania jakości betonu. Prezentowane sieci Petriego zostały zaimplementowane w przemysłowym sterowniku mikroprocesorowym. Uzyskane wyniki odniesiono do rozwiązań proponowanych przez innych autorów.

 

 

27.04.2015, dr inż. Wiesław Paja, Katedra Informatyki, “Analiza różnych miar oceny istotności cech w kontekście wspomagania diagnostyki znamion melanocytowych skóry”

Streszczenie: W ramach referatu przedstawione zostaną wyniki badań związane z zastosowaniem kilku różnych algorytmów oceny i selekcji cech. Ponadto, przedstawione zostanie nowe podejście i wstępne wyniki wykorzystujące formalizm reguł składniowych do oceny i rankingu atrybutów. Wyniki analizy uzyskane zostały poprzez zastosowanie bazy informacyjnej związanej ze wspomaganiem diagnozowania znamion melanocytowych na skórze.

 

 

16.04.2015, prof. nadzw. dr hab. Marek Pałasiński, WSIiZ w Rzeszowie, "Zbiory miękkie"

 

 

30.03.2015 dr inż. Łukasz Maciura, Katedra Informatyki, “Algorytm segmentacji obrazów medycznych 3D przy wykorzystaniu operatorów morfologicznych oraz indeksacji metodą rozrostu”

Streszczenie: W ramach prezentacji zostanie przedstawiony nowy algorytm segmentacji obrazów 3D narządów wewnętrznych człowieka skomponowany z wykonywanych szeregowo znanych algorytmów wstępnego przetwarzania obrazów 3D. Nowatorstwo algorytmu polega na właściwym wyborze algorytmów przetwarzania, kolejności ich realizacji i parametrów z jakimi były realizowane.

 

 

23.03.2015, dr Jolanta Wojtowicz, Katedra Informatyki, "Projektowanie układów cyfrowych w języku Verilog HDL"

Streszczenie". W referacie zostaną przedstawione podstawy języka Verilog HDL. Semantyka tego języka oparta jest na paradygmacie współbieżności operacji sprzętowych. Pokazane zostanie behawioralne i strukturalne projektowanie w języku Verilog przykładowych układów kombinacyjnych oraz sekwencyjnych. W referacie omówiona zostanie również realizacja rozmytej sieci Petriego jako cyfrowego układu synchronicznego, który może być zrealizowany w układach FPGA.

 

 

09.03.2015, dr Anna Iwanicka - Maciura, Instytut Pielęgniarstwa i Nauk o Zdrowiu, Wydział Medyczny UR, dr inż. Łukasz Maciura, Katedra Informatyki, Wydział Matematyczno-Przyrodniczy UR, "Aktualne wyzwania telemedycyny i możliwości zastosowań informatyki w telemedycynie"

Streszczenie: Obecnie telemedycyna odgrywa coraz większe znaczenie w ochronie zdrowia, szczególnie duże zmiany na tej płaszczyźnie zachodzą w krajach rozwijających się, takich jak Polska. W referacie przedstawiona zostanie definicja telemedycyny wraz z podziałem systemów telemedycznych, krótka historia rozwoju telemedycyny, aktualne wyzwania i zastosowania telemedycyny (ze szczególnym uwzględnieniem telepielęgniarstwa), oraz możliwości zastosowań informatyki w telemedycynie.

 

 

23.02.2015, dr inż. Krzysztof Pancerz, WSZiA w Zamościu, WSIiZ w Rzeszowie, “Antycypacja stanów w systemach tranzycyjnych: podejście oparte o zbiory przybliżone”

Streszczenie". Systemy tranzycyjne wykorzystywane są do opisu zachowania systemów z wyróżnionymi stanami i przejściami pomiędzy tymi stanami. Zachowanie opisywanych systemów może charakteryzować się pewnymi niejednoznacznościami w przejściach pomiędzy stanami wpływającymi na przewidywania stanów następnych. W referacie przedstawione zostanie podejście do modelowania takich niejednoznaczności w przewidywaniu stanów następnych oparte o zbiory przybliżone. Modele oparte o zbiory przybliżone budowane są nad systemami tranzycyjnymi opisującymi zachowanie systemów. W proponowanym podejściu wykorzystywana jest zarówno standardowa definicja zbiorów przybliżonych jak i definicja oparta o VPRSM (Variable Precision Rough Set Model).

 

 

19.01.2015, mgr Leszek Pyziak, Katedra Informatyki, Uniwersytet Rzeszowski, "Wpływ szumu kwantyzacji i szumu plamkowego na dokładność wyznaczania kontrastu pola interferencyjnego"

Streszczenie". Przedstawione zostaną wyniki badań wpływu, jaki na dokładność wyznaczania rozkładu kontrastu prążków interferencyjnych w obrazach pomiarowych, uzyskanych metodą kontrastowej interferometrii holograficznej, mają - obecne w procesie tworzenia i cyfrowego zapisu interferogramu – szumy: plamkowy i kwantyzacji. Wyznaczanie rozkładu kontrastu jest tu jednym z głównych etapów przetwarzania obrazów pomiarowych w rozkład danej wielkości mierzonej (wektor przemieszczenia, tensor odkształcenia, wektor wodzący kształtu powierzchni, amplituda drgań itp.).

 

 

12.01.2015, dr inż. Piotr Grochowalski, Katedra Informatyki UR, "Petri Net System (PNS) - system do projektowania i analizy modeli sieci Petriego: koncepcja, funkcjonalności i proponowane rozwiązania"

Streszczenie". W referacie zostanie przedstawiony projekt dotyczący koncepcji stworzenia systemu komputerowego będącego środowiskiem eksperymentalnym dla badań związanych z sieciami Petriego, ma on również umożliwiać analizy nowych modeli sieci, które zostały już opracowane teoretycznie. Dla tak zdefiniowanego systemu zostanie ideowo scharakteryzowana jego wewnętrzna budowa i wynikające z niej funkcjonalności. Następnie zostaną przedstawione proponowane rozwiązania dotyczące rozpoczęcia prac projektowych i implementacyjnych związanych z systemem.

 

 

05.01.2015, dr Jolanta Wojtowicz, Katedra Informatyki UR, "Projektowanie układów FPGA"

Streszczenie". W referacie omówione zostaną programowalne układy logiczne FPGA (Field Programmable Gate) charakteryzujące się możliwością dynamicznej częściowej rekonfiguracji. Układy FPGA używne są jako rekonfigurowalne układy sterowania oraz do złożonych algorytmów DSP (Digital Signal Processing). W referacie przedstawiony zostanie układ XC3S200 z rodziny Spartan 3 produkowany przez firmę Xilinx jako platforma sprzętowa do FPGA oraz aplikacja Altium Designer z pakietem WebPack ISE, która oferuje kompletny zestaw narzędzi do realizacji projektów PCB i FPGA. W końcowej części przedstawiony zostanie, krótki przegląd artykułów dotyczących transformacji sieci Petriego na logiczne układy FPGA.

 

 

15.12.2014, prof. Mikhail Moshkov, King Abdullah University of Science and Technology, Saudi Arabia, "Extensions of Dynamic Programming for Study of Decision Trees"

Abstract : The aim of usual dynamic programming is to find an optimal object from a finite set of objects. We consider extensions of dynamic programming which allow us: to describe the set of optimal objects, to count the number of these objects, to make sequential optimization relative to different criteria, to find the set of Pareto optimal points for two criteria, and to describe relationships between two criteria. The areas of applications include discrete optimization, fault diagnosis, complexity of algorithms, machine learning, and knowledge representation. In the presentation, we consider applications of this new approach to the study of decision trees as algorithms for problem solving, as a way for knowledge extraction and representation, and as predictors which, for a new object given by values of conditional attributes, define a value of the decision attribute. The obtained results include the minimization of average depth for decision trees sorting eight elements (this question was open since 1968), improvement of upper bounds on the depth of decision trees for diagnosis of 0-1-faults in read-once combinatorial circuits, existence of totally optimal (with minimum depth and minimum number of nodes) decision trees for monotone Boolean functions with at most six variables, study of time-memory tradeoff for decision trees for corner point detection, study of relationships between number and maximum length of decision rules derived from decision trees, study of accuracy-memory tradeoff for decision trees. We describe also some classes of decision tables for which the considered dynamic programming algorithms have polynomial time complexity. Attachments: Poster Slides    

 

 

08.12.2014, prof. Igor Tralle, Katedra Fizyki Teoretycznej UR „Fizyczne podstawy informatyki kwantowej (Quantum Information)”

 

 

01.12.2014, dr inż. Łukasz Maciura, Katedra Informatyki UR, „Problematyka tworzenia modeli trójwymiarowych narządów na podstawie segmentacji obrazów medycznych 3D”

Streszczenie: W referacie przedstawiona zostanie charakterystyka obrazów medycznych 3D (CT, MRI, PET), oprogramowanie i biblioteki do wizualizacji i przetwarzania (w szczególności segmentacji) tychże obrazów, a także problematyka tworzenia modeli trójwymiarowych narządów na podstawie segmentacji. Głównym problemem badawczym jest tu segmentacja 3D, która jest niezbędna do poprawnego utworzenia modelu 3D.

 

 

03.11.2014, mgr inż. Wojciech Kozioł, Katedra Informatyki UR, "System wspomagający komunikację z osobami niesłyszącymi"

Streszczenie". W referacie omówiony zostanie system wspomagający komunikację osób słyszących z osobami niesłyszącymi. Komunikacja jest jednostronna, polega na tłumaczeniu tekstów języka polskiego na język migowy. Działanie systemu obejmuje analizę głębinową wielokrotnie złożonych zdań języka polskiego oraz produkcję równoważnych semantycznie struktur zdaniowych w języku migowym. System zawiera bazę wiedzy językowej oraz schematy składnio-semantyczne. Wizualizacja struktur języka migowego realizowana jest przy użyciu technologii 3D. Dzięki szczególnym właściwościom siatki głowy awatara 3D, włączono do procesu przekazu informacji mimikę twarzy. Akwizycja gestów odbywa się z wykorzystaniem systemu motion capture. Dane dotyczące animacji 3D gestów, układów dłoni oraz mimiki twarzy przechowywane są w bazie danych. Transjenty pomiędzy układami rąk, dłoni oraz dla mimiki twarzy realizowane są poprzez zsynchronizowane algorytmy animacji. Komunikacja pomiędzy modułami systemu odbywa się w architekturze klient-serwer. W systemie dostępny jest graficzny i intuicyjny interfejs użytkownika.

 

 

27.10.2014, dr inż. Krzysztof Pancerz, Wyższa Szkoła Zarządzania i Administracji w Zamościu, Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, "Eksploracja danych w serwisach ogłoszeniowych oparta na systemach informacyjnych nad grafami ontologicznymi"

Streszczenie". W referacie omówiony zostanie proces drążenia danych z ogłoszeń rynku nieruchomości oparty na systemach decyzyjnych nad grafami ontologicznymi. Takie systemy umożliwiają drążenie danych w postaci pojęć powiązanych różnymi relacjami semantycznymi. Specjalna uwaga zostanie zwrócona na etap wstępnego przetwarzania danych ogłoszeniowych w postaci tekstowej na systemy (tablice) decyzyjne zdefiniowane nad grafami ontologicznymi. Jako przykład klasyfikatora, przedstawione zostanie podejście oparte o sieci neuronowe.

 

 

20.10.2014, dr inż. Wiesław Paja, Katedra Informatyki UR, "Feature selection application for failure analysis of parameter-induced simulation crashes in climate models”

Abstract : Presented research devotes to previously presented failure analysis of parameter-induced simulation crashes in climate models [Lucas et al., 2013]. Authors deeply described characteristics of modern global climate models, their complexity and software applications. Their analysis and approach added challenges of applying them to a climate model system that is computationally more demanding, uses smaller ensemble sizes, has more parameter uncertainty dimensions, and exhibits fewer simulation failures. To help overcome these challenges they used machine learning algorithms to calculate and predict the failure probability. They had applied support vector machine (SVM) classification from machine learning to quantify and predict the probability of failure as a function of the values of 18 from POP2 parameters. The causes of the simulation failures were determined through a global sensitivity analysis. Combinations of 8 parameters related to ocean mixing and viscosity from three different POP2 parameterizations were then determined as the major sources ofthe failures. We decided to check, whether there is sufficient support for this claim. The all relevant feature selection algorithm was applied to find that there are 5 truly relevant variables. An extensive cross-validation with Boruta algorithm were used in this approach. Finally AUC parameters were calculated and analyzed.

 

 

06.10.2014, prof. Zbigniew Suraj, Chair of Computer Science, University of Rzeszów, "Toward Optimization of Approximate Reasoning Based on Rule Knowledge"

Abstract : The talk will be devoted a methodology for selecting relevant fuzzy implications in forward reasoning. The proposed methodology is based on the functional representation of fuzzy implications and the algebraic properties of the family of all fuzzy implications. The proposed approach can be useful for the design of an inference engine based on the rule knowledge for a given intelligent system.

 

 

02.06.2014, mgr Agnieszka Lasek, "Zastosowanie odwrotnych implikacji rozmytych do wnioskowana przybliżonego"

Streszczenie: W referacie omówione zostaną implikacje klasyczne i rozmyte w ujęciu funkcyjnym. Zaproponowana zostanie metoda optymalizacji stopnia prawdziwości wniosku przy danym stopniu prawdziwości przesłanki oraz implikacji z wykorzystaniem odwrotnych implikacji rozmytych.

 

 

09.06.2014: prof. dr hab. Aleksandr Provotar, Katedra Cybernetyki matematycznej, Uniwersytet Kijowski, Katedra Informatyki UR

Tytuł: Rozmyte systemy wnioskowania logicznego i ich zastosowanie. Streszczenie: Celem referatu jest zaprezentowanie własnych metod budowy homeopatycznych systemów ekspertowych opartych na asocjacyjnych modelach reprezentacji wiedzy. Ponadto omówione zostanie modelowanie wnioskowania przybliżonego z wykorzystaniem elementów teorii prawdopodobieństwa w ujęciu rozmytym.

 

 

26.05.2014, dr inż. Łukasz Maciura, Katedra Informatyki UR

Referat 1. Dyskretyzacja z nadzorem tablic danych przy użyciu wielordzeniowego procesora karty graficznej (GPU) Streszczenie: Zaprezentowany zostanie algorytm do dyskretyzacji tablic, wykorzystujący technologię NVidia CUDA wraz z podaniem porównania prędkości działania algorytmu w wersji sekwencyjnej i zrównoleglonej.   Referat 2. Koncepcja systemu telemedycznego z komunikacją głosową służącego do przypominania i zdalnej kontroli zażywania leków przez pacjentów geriatrycznych i psychiatrycznych Streszczenie". Przedstawiona zostanie koncepcja systemu telemedycznego służącego do przypominania i zdalnej kontroli zażywania leków przez pacjentów geriatrycznych i psychiatrycznych. Motywację do powstania koncepcji systemu stanowią problemy pacjentów geriatrycznych i psychiatrycznych związane z zapominaniem o regularnym zażywaniu leków. Głosowy sposób komunikacji z pacjentem został wybrany z uwagi na ewentualne trudności takich pacjentów w posługiwaniu się aplikacjami z interfejsem graficznym.

 

 

12.05.2014: Dr inż. Wiesław Paja, Katedra Systemów Ekspertowych i Sztucznej Inteligencji, WSIiZ w Rzeszowie, 'Metoda selekcji wszystkich istotnych cech z zastosowaniem algorytmu lasów losowych'

Streszczenie: Metody selekcji cech stanowią ważny obszar badawczy w dziedzinie drążenia danych. Selekcja cech ma zastosowanie szczególnie w przypadkach dużej liczby cech charakteryzujących problem. Większość znanych metod selekcji cech opiera się na podejściu minimal-optimal (ang. minimal-optimal feature selection, MOFS), które skupia się na wyekstrahowaniu zespołu najbardziej istotnych cech. W referacie omówione zostaną: 1. Metoda nakierowana na ekstrakcję wszystkich, nawet najsłabszych, istotnych cech mających wpływ na atrybut decyzyjny. 2. Metoda selekcji wszystkich istotnych cech (ang. all-relevant feature selection, ARFS) oparta na zastosowaniu metodologii lasów losowych Breimana oraz wprowadzeniu tzw. zmiennych kontrastowych. 3. Wyniki badań na kilkudziesięciu bazach danych, jak również szczegółowa analiza dla kilku wybranych baz.

 

 

05.05.2014: dr inż. Janusz Bytnar, Instytut Informatyki, PWST-E w Jarosławiu, 'Symulacje nanoprocesów rzeczywistych metodą dynamiki molekularnej'

Streszczenie: W ostatnich latach można zaobserwować gwałtowny wzrost zastosowania symulacji komputerowych w badaniach naukowych dotyczących nanotechnologii, w tym w obszarze genetyki, bioinformatyki, nanomechaniki, itp. Aby przeprowadzić symulację komputerową procesu rzeczywistego należy wykonać kilka kroków. Najpierw buduje się model matematyczny badanego procesu rzeczywistego. Następnie tworzy się odpowiedni model obliczeniowy będący podstawą do wykonanie implementacji komputerowej. W końcu wykonuje się stosowne eksperymenty komputerowe. Dzięki symulacjom komputerowym nanozjawisk można projektować badane procesy z dużo większą dokładnością i powtarzalnością niż w wypadku technik eksperymentalnych w tak małej skali. Celem referatu jest przedstawienie jednej z metod używanych do badania zachowania materii w nanoskali zwanej metodą dynamiki molekularnej.

 

 

07.04.2014, dr inż. Barbara Fryc, Przegląd metod drążenia danych w oparciu o ontologię pojęć

dr inż. Barbara Fryc, Katedra Matematyki i Podstaw Informatyki, WSIiZ w Rzeszowie Tytuł: Przegląd metod drążenia danych w oparciu o ontologię pojęć Data: 07.04.2014 Streszczenie: Przez ontologię zwykle rozumie się skończony zbiór pojęć tworzących hierarchię oraz zależności między tymi pojęciami, które łączą pojęcia z różnych poziomów hierarchii. Jednym ze sposobów reprezentowania wiedzy dziedzinowej jest zapisywanie jej w postaci ontologii pojęć. Potrzeba wykorzystania wiedzy dziedzinowej wyrażonej w postaci ontologii występuje w wielu intensywnie rozwijających się dziedzinach związanych z drążeniem danych, gdzie ontologie znajdują liczne zastosowania przy rozwiązywaniu wielu problemów. W referacie zostaną omówione wybrane metody drążenia danych w oparciu o tworzone ontologie pojęć.

 

 

31.03.2014, prof. UR, dr hab. M. Matczak, mgr L. Pyziak, Katedra Informatyki UR, "Procesor optyczny - budowa i zasada działania"

Streszczenie: W procesorach klasycznych przetwarzanie informacji odbywa się sekwencyjnie. Takie przetwarzanie na ogół nie jest zbyt szybkie. Aby poprawić wydajność procesorów, zwiększa się szybkość ich działania poprzez np. zwiększanie częstotliwości taktowania i/lub zwielokrotnianie szyn danych. Przyspieszanie działania procesora w taki sposób ma istotne ograniczenia fizyczne. Ponadto, jeżeli algorytm przetwarzania pozwala na obliczenia równoległe, to - aby przyspieszyć przetwarzanie - stosuje się kosztowne rozwiązania wieloprocesorowe. Jednym ze sposobów uporania się z tymi problemami jest zastąpienie w komputerze procesora lub procesorów klasycznych procesorem optycznym. Celem referatu jest omówienie fizycznych i matematycznych podstaw budowy i zasad działania procesora optycznego, a także zaprezentowanie układu optoelektronicznego, stanowiącego praktyczną realizację takiego procesora.

 

 

24.02.2014, dr inż. Piotr Lasek, Katedra Informatyki UR, "Gęstościowe grupowanie z ograniczeniami"

Streszczenie: Grupowanie to jedna z bardziej znanych i powszechnie używanych metod w Eksploracji Danych. Grupowanie polega na takim podziale zbioru danych na klasy, że obiekty znajdujące się w tych samych klasach są do siebie bardziej podobne niż do obiektów przypisanych do innych klas. W ostatnich latach, na znaczeniu zyskuje tzw. grupowanie z ograniczeniami (ang. clustering with constraints), które pozwala na włączaniu do procesu grupowania wiedzy dziedzinowej poprzez specyfikowanie pewnych pożądanych własności wyniku grupowania. Grupowanie z ograniczeniami znajduje w szczególności zastosowanie w sytuacjach kiedy wiedza ekspercka jest dostępna, np. w analizie obrazów, analizie danych biologicznych, tekstowych, GPS i innych. Podczas prezentacji przedstawione zostaną zaproponowane trzy wersje gęstościowego algorytmu grupowania NBC wykorzystujące ograniczenia typu must-link i cannot-link.

 

 

20.01.2014, Michał Piętal, PhD, "Motywacja, techniki i praktyka w rozwoju dedykowanych bioinformatycznych bibliotek programistycznych"

Streszczenie". Dedykowane biblioteki programistyczne do zastosowań naukowych pełnią ważną rolę we wspomaganiu i automatyzacji badań. W każdej dziedzinie naukowej można śmiało wymienić listę, przykładowo RSESlib, WEKA, Orange (data mining), BioPython, BioPerl (bioinformatyka) lub Numeric/NumPy, SciPy (zastosowania ogólne). Jednak użycie gotowych klas i metod zwykle nie gwarantuje stworzenia w pełni funkcjonalnego programu. Co więcej, często biblioteki te nie są rozwijane równolegle do zastosowań i dostępności nowych danych. Bywa też, że zaimplementowane klasy nie dostarczają pełnej funkcjonalności potrzebnej dla badacza. Podczas krótkiego referatu zostaną przedstawione wybrane, autorskie klasy, rozszerzające funkcjonalność biblioteki BioPython, wraz z ich praktycznymi zastosowaniami w wybranych serwerach i aplikacjach.

 

 

13.01.2014, prof. Zbigniew Suraj, Katedra Informatyki UR, "Parametryzowane rozmyte sieci Petriego - teoria i przykłady zastosowań"

Streszczenie". Parametryzowane rozmyte sieci Petriego są podklasą niskopoziomowych logicznych sieci Petriego. Zostały one zaproponowane w 2012 r. jako nowy model rozmytych sieci Petriego dla potrzeb graficznej reprezentacji wiedzy oraz wnioskowania przybliżonego. W referacie przedstawię zunifikowane i poszerzone spojrzenie na tę klasę sieci. W szczególności omówię trzy reprezentacje tej klasy sieci, porównam ten model z wybranymi klasami rozmytych sieci Petriego, a także zarysuję obszary możliwych jego zastosowań. W podsumowaniu zaproponuję kierunki dalszych prac związane z tym modelem sieci.

 

 

16.12.2013, dr inż. Lucjan Pelc, Katedra Informatyki i Automatyki PRz, Implementacja parametryzowanych rozmytych sieci Petriego w przemysłowym sterowniku PLC

Streszczenie: Referat dotyczy problemu tworzenia programu sterowania logicznego, wykorzystującego parametryzowane rozmyte sieci Petriego. Obecne sterowniki PLC są urządzeniami mogącymi realizować wielozadaniowe programy sterowania. W wersji PAC sterowniki te mogą także realizować funkcję prostej wizualizacji procesu technologicznego i sterowania operatorskiego. Współcześnie do programowania sterowników logicznych wykorzystuje się języki zgodne z normą IEC 61131, która w Europie występuje jako norma EN 61131. Wśród języków normy występują języki tekstowe oraz graficzne. W referacie zostaną przedstawione przykłady użycia wybranych języków normy do zapisu parametryzowanej rozmytej sieci Petriego. Funkcja wizualizacji procesu posłuży do prezentacji działania sieci.  

 

 

09.12.2013, dr inż. Krzysztof Pancerz, WSZiA w Zamościu oraz WSIiZ w Rzeszowie, "Programowanie Physarum Polycephalum"

Streszczenie: W referacie przedstawione zostaną założenia dla opracowywanego zorientowanego-obiektowo języka umożliwiającego programowanie Physarum Polycephalum. Physarum polycephalum jest jednokomórkowym organizmem pierwotnym należącym do rzędu Physarales, podklasy Myxogastromycetidae, klasy Myxomycetes, gromady Myxostelida. Właściwości tego organizmu mogą zostać wykorzystane m.in. przy budowie komputera biologicznego. Szczególna uwaga zostanie zwrócona na wybrane podejścia (schematy drabinkowe, sieci Petriego, automaty komórkowe) pozwalające modelować w tworzonym w języku programowania zachowanie się Physarum Polycephalum.

 

 

02.12.2013, dr inż. Piotr Grochowalski, Katedra Informatyki UR, "RSDS – stan obecny i perspektywy rozwoju"

Streszczenie: Referat poświęcony jest zarysowaniu kierunków rozwoju systemu bibliograficznego RSDS. System ten udostępnia opisy bibliograficzne publikacji i inne informacje związane z teorią zbiorów przybliżonych i jej zastosowaniami. Przyjęto trzy główne kierunki rozwoju systemu RSDS. Pierwszy dotyczy poszerzenia zawartości bazy danych tego systemu, drugi – opracowania i udostępnienia nowych metod semantycznego wyszukiwania informacji tekstowej, a trzeci – dodania narzędzi usprawniających zarządzanie systemem. System RSDS funkcjonuje od 2003 r. Aktualna wersja tego systemu jest dostępna pod adresem: http://rsds.ur.edu.pl  

 

 

dr inż. Roman Szostek, Zakład Metod Ilościowych, Wydział Marketingu i Zarządzania PRz, "Link prediction based on sequential bayesian updating in a terrorist network"

Streszczenie". Referat dotyczy problemu prognozowania terrorystycznych powiązań w złożonej sieci społecznej. Proponowane rozwiązanie problemu wykorzystuje podejście probabilistyczne.

 

 

18.11.2013, dr inż. Piotr Lasek, Katedra Informatyki UR, "Grupowanie z ograniczeniami"

Streszczenie: Grupowanie to jedna z bardziej znanych i powszechnie używanych metod w Eksploracji Danych. Grupowanie polega na takim podziale zbioru danych na klasy, że obiekty znajdujące się w tych samych klasach są do siebie bardziej podobne niż do obiektów przypisanych do innych klas. W ostatnich latach, na znaczeniu zyskuje tzw. grupowanie z ograniczeniami (ang. clustering with constraints), które pozwala na włączaniu do procesu grupowania wiedzy dziedzinowej poprzez specyfikowanie pewnych pożądanych własności wyniku grupowania. Grupowanie z ograniczeniami znajduje w szczególności zastosowanie w sytuacjach kiedy wiedza ekspercka jest dostępna, np. w analizie obrazów, analizie danych biologicznych, tekstowych, GPS i innych.

 

 

04.11.2013, dr hab. Maria Kwaśnik, prof. UR, Katedra Informatyki UR, "Własności grafów DNA"

Streszczenie". Grafy DNA należą do klasy grafów skierowanych, których wierzchołki zostały zaetykietowane za pomocą ciągów o ustalonej liczbie k (k > 1) elementów należących do danego zbioru l- elementowego (l > 0) według określonej procedury. Podane zostaną związki między klasami różniącymi się parametrem k lub parametrem l. Jedną ze znanych w literaturze operacji na grafie skierowanym G jest operacja prowadząca do skierowanego grafu krawędziowego L(G). Podany zostanie związek między parametrami k1, k2 opisującymi liczby elementów w etykietach grafu G i grafu L(G). Ponadto, przedstawiony zostanie problem najmniejszego parametru l przy ustalonym parametrze k.

 

 

28.10.2013, mgr inż. Piotr Grochowalski, Instytut Informatyki UR, "Zastosowanie wiedzy ontologicznej w wyszukiwaniu danych bibliograficznych”

Streszczenie". Referat dotyczy semantycznego wyszukiwania informacji tekstowych w tekstowych bazach danych na przykładzie systemu bibliograficznego RSDS (ang. Rough Set Database System). W trakcie referatu omówione zostaną nowe metody i algorytmy pozyskiwania ze zgromadzonych danych tekstowych w bazie RSDS dodatkowej wiedzy użytecznej w procesie semantycznego wyszukiwania informacji. Pozyskana wiedza jest wykorzystywana w procesie konstruowania odpowiedzi na pytania kierowane do systemu bazodanowego. Wiedza ta umożliwia wydobywanie z danych pewnych struktur (opisów), które w zadowalającym stopniu są dopasowane semantycznie do kierowanych do systemu zapytań. Proponowane podejście opiera się głównie na metodach zbiorów przybliżonych i ontologiach. W referacie omówione zostaną także wyniki przeprowadzonych eksperymentów wraz z ich analizą i oceną.

 

 

21.10.2013, dr inż. Dariusz Bober, Instytut Informatyki UR, "E-Marketing Instytutu Informatyki Uniwersytetu Rzeszowskiego – rozszerzona analiza potencjału wybranych e-społeczności"

 

 

3.06.2013, mgr Michał Piętal, Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie, Możliwości prawne komercjalizacji oprogramowania jednostek naukowych

 

 

20.05.2013, dr Marta Sochacka-Piętal, Katedra Biochemii i Biotechnologii, Wydział Chemiczny PRz, Przykłady zastosowań sieci Petriego w bioinformatyce

 

 

13.05, 2013, prof. UR, dr hab. Maria Kwaśnik, Instytut Informatyki UR, Metoda probabilistyczna w matematyce dyskretnej

 

 

15.04.2013, prof. Zbigniew Suraj, Instytut Informatyki UR, O pewnej metodologii wnioskowania w UR-sieciach

Streszczenie". Niedawno zaproponowane zostały dwie nowe klasy rozmytych sieci Petriego. Pierwsza z nich, zwana uogólnione rozmyte sieci Petriego, rozszerza klasyczne rozmyte sieci Petriego poprzez wprowadzenie do tego modelu trzech wymienialnych operatorów z rodziny t- oraz s-norm. Operatory te zastępują w odpowiedni sposób operacje minimum, mnożenia algebraicznego i maksimum, używane podczas definiowania dynamiki klasycznych rozmytych sieci Petriego. Druga klasa, zwana parametryzowane rozmyte sieci Petriego, ma cechy uogólnionych rozmytych sieci Petriego oraz możliwości parametryzowanych t- i s-norm. Obydwa modele są nie tylko bardziej odpowiednie w reprezentowaniu wiedzy, ale przede wszystkim są bardziej elastyczne, a przez to i bardziej wygodne w modelowaniu procesu wnioskowania przybliżonego przy użyciu tego rodzaju sieci. Celem niniejszego referatu jest próba przedstawienia opisu procesu wnioskowania w tych dwu modelach opartego na podejściu funkcyjnym. Proponowana metodologia wspomagana jest własną aplikacją o nazwie PNES. Aplikacja ta ułatwia projektowanie omawianych modeli sieciowych oraz umożliwia symulację ich działania, także z uwzględnieniem podejścia funkcyjnego. Rozważania teoretyczne zilustrowane zostaną przykładem modelu prostego sterownika.

 

 

8.04.2013, prof. Zbigniew Suraj, Instytut Informatyki UR, Implikacje rozmyte

 

 

29.03.2013, prof. Zbigniew Suraj, Instytut Informatyki UR, On new methodology in Generalized Fuzzy Petri Nets

Streszczenie". Niedawno zaproponowane zostały dwie nowe klasy rozmytych sieci Petriego. Pierwsza z nich, zwana uogólnione rozmyte sieci Petriego, rozszerza klasyczne rozmyte sieci Petriego poprzez wprowadzenie do tego modelu trzech wymienialnych operatorów z rodziny t- oraz s-norm. Operatory te zastępują w odpowiedni sposób operacje minimum, mnożenia algebraicznego i maksimum, używane podczas definiowania dynamiki klasycznych rozmytych sieci Petriego. Druga klasa, zwana parametryzowane rozmyte sieci Petriego, ma cechy uogólnionych rozmytych sieci Petriego oraz możliwości parametryzowanych t- i s-norm. Obydwa modele są nie tylko bardziej odpowiednie w reprezentowaniu wiedzy, ale przede wszystkim są bardziej elastyczne, a przez to i bardziej wygodne w modelowaniu procesu wnioskowania przybliżonego przy użyciu tego rodzaju sieci. Celem niniejszego referatu jest próba przedstawienia opisu procesu wnioskowania w tych dwu modelach opartego na podejściu funkcyjnym. Proponowana metodologia wspomagana jest własną aplikacją o nazwie PNES. Aplikacja ta ułatwia projektowanie omawianych modeli sieciowych oraz umożliwia symulację ich działania, także z uwzględnieniem podejścia funkcyjnego. Rozważania teoretyczne zilustrowane zostaną przykładem modelu prostego sterownika.

 

 

25.03.2013, dr inż. Piotr Lasek, Instytut Informatyki UR, "Sieci Petriego w Snoopy - wprowadzenie do analizy sieci biologicznych"

 

 

dr Inż. Lesław Gniewek , Katedra Informatyki i Automatyki, Politechnika Rzeszowska "Modelowanie i synteza układów sterowania z wykorzystaniem rozmytej interpretowanej sieci Petriego"

 

11.03.2013, dr hab. Marcin Szpyrka, prof. AGH, Modelowanie i weryfikacja systemów informatycznych w języku Alvis

 

04.03.2013, dr Katarzyna Garwol , Instytut Informatyki UR, Technologia teleinformatyczna źródłem patologii w społeczeństwie informacyjnym. Studium na przykładzie środowiska rzeszowskich informatyków

 

 

25.02.2013, mgr Michał Piętal, Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie, "Zastosowanie rozmytych map kontaktów oraz teorii grafów w przewidywaniu struktury trzeciorzędowej białka z sekwencji aminokwasowej"

 

 

18.02.2013, dr inż. Lucjan Pelc , Katedra Informatyki i Automatyki PRz "Praktyczne zastosowanie uogólnionych rozmytych sieci Petriego" plakat

 

 

11.02.2013, dr Marcin Szczuka , Instytut Matematyki UW "Zastosowanie bezpośredniej analizy semantycznej do indeksowania, grupowania i etykietowania artykułów naukowych"

 

 

04.02.2013, prof. PRz, dr hab. inż. Bogdan Kwolek, Katedra Informatyki i Automatyki PRz, "TOP 500 Innovators - dobre praktyki na uniwersytecie Stanforda" plakat

 

28.01.2013, dr inż. Ilona Czyczyło-Mysza, Instytut Fizjologii Roślin PAN w Krakowie dr inż. Małgorzata Chrupek, Instytut Biotechnologii UR, "Mapowanie QTL przy użyciu programu WinQTL Cartographer V2.5"

 

 

21.01.2013, dr Marta Sochacka-Piętal, Katedra Biochemii i Biotechnologii, Wydział Chemiczny, PRz, "Wybrane metody analizy zmienności genetycznej mikroorganizmów"

 

 

14.01.2013, mgr inż. Mariusz Nycz, Zakład Systemów Rozproszonych, Politechnika Rzeszowska, "Wyrównywanie obciążeń komórek sieci bezprzewodowej na bazie wieloklasowego przemieszczania ruchu"

 

 

07.01.2013, dr inż. Krzysztof Pancerz, Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, "Relacje semantyczne a zbiory przybliżone"

 

 

17.12.2012, prof. dr hab. inż. Zdzisław Hippe, Katedra Systemów Ekspertowych i Sztucznej Inteligencji, WSIiZ w Rzeszowie, "Nowe spojrzenie na wiedzę: gromadzenie czy generowanie?"

 

 

10.12.2012, dr inż. Piotr Lasek, Instytut Informatyki UR, "Przegląd narzędzi do projektowania i analizy Sieci Petriego"

 

 

03.12.2012, dr inż. Leszek Rolka, Katedra Awioniki i Sterowania Wydział Budowy Maszyn i Lotnictwa Politechnika Rzeszowska, "Rozmyto-przybliżone systemy decyzyjne"

 

 

26.11.2012, dr inż. Roman Szostek, Zakład Metod Ilościowych, Wydział Marketingu i Zarządzania Politechniki Rzeszowskiej, "Uogólnienie zagadnienia sortowania - sortowanie probabilistyczne"

 

 

19.11.2012, mgr inż. Piotr Grochowalski, Instytut Informatyki UR, "Zastosowanie wiedzy ontologicznej w wyszukiwaniu danych bibliograficznych"

 

 

12.11.2012, dr inż. Krzysztof Pancerz, Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, "LARDISS - komputerowe narzędzie wspomagania bezinwazyjnej diagnostyki chorób krtani"

 

 

05.11.2012, prof. UR, dr hab. Zbigniew Suraj, Instytut Informatyki UR, "Parametryzowane rozmyte sieci Petriego - teoria i zastosowania"

 

 

29.10.2012, dr inż. Roman Szostek, Zakład Metod Ilościowych, Wydział Marketingu i Zarządzania Politechniki Rzeszowskiej, "Filozofia statystyki - czyli o co chodzi w statystyce"

 

 

22.10.2012, mgr inż. Piotr Grochowalski, Instytut Informatyki UR, "O nowej wersji systemu RSDS - istotne rozszerzenia i udoskonalenia"

 

 

22.10.2012, mgr inż. Piotr Grochowalski, Instytut Informatyki UR, "O nowej wersji systemu RSDS - istotne rozszerzenia i udoskonalenia"

 

 

15.10.2012, dr hab. Dominik Ślęzak, Instytut Matematyki, Uniwersytet Warszawski, "Zespołowe podejście do selekcji cech oparte na metodach zbiorów przybliżonych"

 

 

29.10.2012, dr inż. Roman Szostek, Zakład Metod Ilościowych, Wydział Marketingu i Zarządzania Politechniki Rzeszowskiej, "Filozofia statystyki - czyli o co chodzi w statystyce"

 

 

PNES: system graficzny do wspomagania projektowania i symulacji logicznych sieci Petriego, prof. UR, dr hab. Zbigniew Suraj, Instytut Informatyki UR