Wszystkie pola: Rataj, I. - Katalog OPAC zbiorów

Tytuł:: Modelling CTMC with a standard programming language and using conventions from computer networking
Modelowanie łańcuchów Markowa z czasem ciągłym przy użyciu standardowego języka programowania i z zastosowaniem konwencji z dziedziny sieci komputerowych
Autorzy:: Rataj, A.
Nowak, M.
Pecka, P.
Powiązania:: https://bibliotekanauki.pl/articles/375742.pdf
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Markov chain
continuous time
model checking
Java
Opis:: Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses expressing these models in a standard programming language – Java. Using such a language as a model description allows for a partially common implementation of the production software and of the description of the model, for a greater flexibility in comparison to model-checker specific languages that often do not employ features of an object-oriented programming. Using Java also makes the parsing of models relatively fast, using optimised Java runtime environment. Our approach aims at using typical mechanisms of the Java language when implementing the model, and at the same time, following closely the concepts from computer networking and from formalisms based on it, like the queueing systems. These assumption result in techniques like plain object fields constituting the state vector, or negotiation between nodes to decide if an event happens.
Łańcuchy Markowa czasu rzeczywistego są jednym z formalizmów używanych do budowy modeli. Artykuł ten omawia wyrażanie takich modeli w standardowym języku programowania - Javie. Użycie takiego języka umożliwia częściowo wspólną implementację oprogramowania użytkowego i opisu modelu, większą elastyczność w porównaniu do często nie używających obiektowych konwencji programistycznych języków stosowanych przez oprogramowanie weryfikujące, oraz szybką budowę modelu z użyciem zoptymalizowanego środowiska czasu wykonania Javy. Nasze podejście miało na celu wykorzystanie typowych mechanizmów języka Java przy opisie modelu i jednoczesnie trzymanie się konwencji z dziedziny sieci komputerowych i pokrewnych formalizmóm typu systemy kolejkowe. Dlatego używamy technik takich jak zastosowanie pól obiektów jako elementów wektora stanu czy negocjacja pomiędzy węzłami, czy dane zdarzenie ma mieć miejsce.
Źródło:: Theoretical and Applied Informatics; 2011, 23, 3-4; 229-243
1896-5334
Pojawia się w:: Theoretical and Applied Informatics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Proektirovanie logisticheskoj sistemy dostavki gruzov v usloviyah selskohozjajstvennyh predprijatij
Planning of logistic delivery of loads system in conditions of agricultural enterprises
Autorzy:: Savchenko, L.
Rataj, I.
Powiązania:: https://bibliotekanauki.pl/articles/77410.pdf
Data publikacji:: 2012
Wydawca:: Komisja Motoryzacji i Energetyki Rolnictwa
Opis:: The article describes the creation of the logistics system in an agricultural enterprise. The paper proposes to organize the delivery of goods so that the achieved consistency for all players in the logistics system and that the total cost of development and management of material flow was minimal.
Źródło:: Motrol. Motoryzacja i Energetyka Rolnictwa; 2012, 14, 3
1730-8658
Pojawia się w:: Motrol. Motoryzacja i Energetyka Rolnictwa
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Stan wdrożenia modelu nauczania skoncentrowanego na studentach i studentkach na polskich uczelniach wyższych
State of implementing the model of teaching concentrated on students in Polish universities
Autorzy:: Grzymała-Moszczyńska, Joanna
Kwiecień, Katarzyna
Rataj, Aleksandra
Barzykowski, Krystian
Powiązania:: https://bibliotekanauki.pl/articles/1194349.pdf
Data publikacji:: 2013-01-01
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Opis:: Student-Centered Learning, czyli kształcenie skoncentrowane na osobach studiujących, jest jedną z podstawowych idei wpływających na ewolucję szkolnictwa wyższego w Europie w ramach realizacji programu Procesu Bolońskiego, a na poziomie lokalnym – prac nad Krajowymi Ramami Kwalifikacji. Artykuł omawia historię i założenia Student- Centered Learning (SCL), a także jest próbą zdiagnozowania funkcjonowania polityki SCL w polskim szkolnictwie wyższym. Artykuł prezentuje wyniki badania przeprowadzonego z udziałem 336 osób studiujących (43% mężczyzn, 57% kobiet) na 50 uczelniach wyższych w 19 miastach polskich. Badania zostały przeprowadzone w formie kwestiona- riusza online, skonstruowanego na podstawie listy kontrolnej zamieszczonej w publikacji Student-Centered Learning – Toolkit for Students, Staff and Higher Education Institutions (Attard, Di Jorio, Geven i Santa, 2010) z uwzględnieniem specyfiki polskich uczelni wyż- szych. Omówienie wyników zaprezentowane jest w kontekście czynników, które utrud- niają wprowadzenie idei kształcenia skoncentrowanego na studentach i studentkach w polskim szkolnictwie wyższym.
Student-Centered Learning, i.e. education concentrated on students, is one of the basic ideas influencing the evaluation of higher education in Europe within the program of the Bolognese Process, and on the local level - of works on the Domestic Framework of Classification. The article is discussing history and assumptions of the Student-Centered Learning (SCL), and is also an attempt to diagnose the functioning of the SCL policy in Polish higher education. The article is presenting the results of the research conducted with the participation of 336 studying persons (43% men, 57% women) in 50 colleges in 19 Polish cities. The research were conducted in the form of online questionnaire, constructed on the basis of a checklist published in Student-Centered Learning - Toolkit for Students, Staff and Higher Education Institutions (Attard, Di Jorio, Geven and Santa, 2010) taking into consideration the specifics of Polish universities. The discussion of the results is presented in the context of factors obstructing the implementation of the idea of education concentrated on students in Polish higher education.
Źródło:: Nauka i Szkolnictwo Wyższe; 2013, 2, 42; 32-49
1231-0298
Pojawia się w:: Nauka i Szkolnictwo Wyższe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Podbój normański
Norman conquest
Autorzy:: Morris, Marc (1973- ).
Współwytwórcy:: Rataj, Natalia. Tłumaczenie
Józefowicz, Mateusz (1974- ). Tłumaczenie
Wydawnictwo Astra (Kraków). pbl
Data publikacji:: 2016
Wydawca:: Kraków : Wydawnictwo Astra
Tematy:: Wilhelm I Zdobywca (król Anglii ; ok. 1028-1087)
Opis:: Tyt. oryg.: The Norman conquest.
Bibliogr. s. [411]-422. Indeks.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Ryszard Lwie Serce
Richard I
Autorzy:: Gillingham, John (1940- ).
Współwytwórcy:: Rataj, Natalia. Tłumaczenie
Józefowicz, Mateusz (1974- ). Tłumaczenie
Wydawnictwo Astra (Kraków). pbl
Data publikacji:: 2016
Wydawca:: Kraków : Wydawnictwo Astra
Tematy:: Ryszard Lwie Serce (król Anglii ; 1157-1199)
Władcy
Biografia
Opis:: Bibliogr. s. [454]-466. Indeks.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Edukacja mobilna – czy jesteśmy na to gotowi?
Are We Ready for Mobile Education?
Autorzy:: RATAJ, MAŁGORZATA
WÓJCIK, JOANNA
Powiązania:: https://bibliotekanauki.pl/articles/456098.pdf
Data publikacji:: 2018
Wydawca:: Uniwersytet Rzeszowski
Tematy:: tablet, i-Pad
aplikacja mobilna
urządzenia mobilne
internet mobilny
edukacja mobilna
iPad
mobile app
mobile tools
mobile Internet
mobile learning
Opis:: Celem artykułu jest przedstawienie możliwości wsparcia nowoczesnymi narzędziami m-learningowymi kształcenia na uczelniach. W artykule zaprezentowano dynamikę rozwoju rynku aplikacji mobilnych. Zastosowane metody badawcze to analiza krytyczna źródeł literaturowych oraz studia przypadków wdrożenia m-learningu na uczelniach. Po przeanalizowaniu rozwoju rynku aplikacji edukacyjnych w świetle polskich realiów wydaje się, że rozsądną opcją jest wsparcie tradycyjnych metod nauczania przez iPady. Wyzwania, jakie z tym się wiążą, to konieczność opracowania aplikacji edukacyjnych skrojonych do potrzeb specyficznych kierunków studiów lub przetłumaczenia istniejących na język polski.
The goal of this article is to show the possibilities of supporting the educational system at Universities by modern m-learning tools. This article presents dynamic development of mobile applications. Implemented research methods: critical analysis of literature sources and case studies of implementation of m-learning at Universities.It seems, after the analysis development of the educational app market in the light of polish reality, that a reasonable option is supporting traditional methods of teaching by iPads. The challenges are: necessity to create educational apps tailored to the needs of particular field of study or translating already existing into polish language.
Źródło:: Edukacja-Technika-Informatyka; 2018, 9, 4; 107-111
2080-9069
Pojawia się w:: Edukacja-Technika-Informatyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Rataj, I." wg kryterium: Wszystkie pola

Źródło danych

Dostawca treści

Podbaza

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język