Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

2012/07/D/ST6/02492

Słowa kluczowe:

systemy rozproszone przetwarzanie w chmurze bioinformatyka mapreduce

Deskryptory:

  • ST6_10: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe
  • ST6_12: Obliczenia naukowe, narzędzia modelowania i symulacji
  • ST6_3: Systemy programowania, systemy operacyjne, metody rozwoju oprogramowania, języki programowania

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Jacek Sroka 

Liczba wykonawców projektu: 4

Konkurs: SONATA 4 - ogłoszony 2012-09-15

Przyznana kwota: 399 600 PLN

Rozpoczęcie projektu: 2013-07-11

Zakończenie projektu: 2017-07-10

Planowany czas trwania projektu: 48 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. serwer obliczeniowy. Za kwotę 8 000 PLN
  2. komputer przenośny. Za kwotę 8 878 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (5)
  • Teksty w publikacjach pokonferencyjnych (5)
  1. Verification of dynamic behaviour existence in molecular networks describing gene regulation, signalling and whole-cell metabolism IF: 1,204
    Autorzy:
    Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej Kierzek
    Czasopismo:
    Fundamenta Informaticae (rok: 2018, tom: 160, strony: 199-219), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2018-1681 - link do publikacji
  2. On Determining the Hierarchical Structure of AND-OR nets IF: 1,204
    Autorzy:
    Jacek Sroka, Jan Hidders
    Czasopismo:
    Fundamenta Informaticae (rok: 2017, tom: 156, strony: 95-123), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2017-1599 - link do publikacji
  3. Simulation of multicellular populations with Petri nets and genome scale intracellular networks IF: 0,828
    Autorzy:
    Kamil Kędzia, Wojtek Ptak, Jacek Sroka
    Czasopismo:
    Science of Computer Programming (rok: 2018, tom: 157, strony: 44636), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
  4. MUFINS: Multi-Formalism Interaction Network Simulator
    Autorzy:
    Huihai Wu, Axel von Kamp, Vytautas Leoncikas, Wataru Mori, Nilgun Sahin, Albert Gevorgyan, Catherine Linley, Marek Grabowski, Ahmad A. Mannan, Nicholas Stoy, Graham R. Stewart, Lara T. Ward, David J.M. Lewis, Jacek Sroka, Hiroshi Matsuno, Steffen Klamt, Hans V. Westerhoff, Johnjoe McFadden, Nicholas J. Plant, Andrzej M. Kierzek
    Czasopismo:
    Systems Biology and Applications (rok: 2016, tom: 2, strony: 0), Wydawca: Nature Publishing Group
    Status:
    Opublikowana
    Doi:
    10.1038/npjsba.2016.32 - link do publikacji
  5. On Generating and Verifying Hierarchical Workflow Nets and their Extensions and Veryfing Hierarchicality IF: 0,717
    Autorzy:
    Jacek Sroka, Piotr Chrząstowski-Wachtel, Jan Hidders
    Czasopismo:
    Fundamenta Informaticae (rok: 2015, tom: 141, strony: 367-398), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2015-1280 - link do publikacji
  1. AB-QSSPN: Integration of agent-based simulation of cellular populations with quasi- steady state simulation of genome scale intracellular networks
    Autorzy:
    Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka
    Konferencja:
    International Conference on Applications and Theory of Petri Nets and Concurrency (rok: 2016, ), Wydawca: Springer - Verlag, Lecture Notes in Computer Science.
    Data:
    konferencja Jun 19 - 24
    Status:
    Opublikowana
  2. DatalogRA: datalog with recursive aggregation in the spark RDD model
    Autorzy:
    Marek Rogala, Jan Hidders, Jacek Sroka
    Konferencja:
    Fourth International Workshop on Graph Data Management Experiences and Systems (GRADES) (rok: 2016, ), Wydawca: ACM Digital Library
    Data:
    konferencja 44736
    Status:
    Opublikowana
  3. A Datalog Engine for Iterative Graph Algorithms on Large Clusters
    Autorzy:
    Jacek Sroka, Marek Rogala, Michal Adamczyk, Jan Hidders
    Konferencja:
    IEEE International Conference on Data Science and Data Intensive Systems (rok: 2015, ), Wydawca: IEEE CS Press
    Data:
    konferencja Dec 11-13
    Status:
    Opublikowana
  4. Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems
    Autorzy:
    Krzysztof Łęcki, Jerzy Tyszkiewicz, Jacek Sroka
    Konferencja:
    Algorithms & Theories for the Analysis of Event Data (ATAED) (rok: 2017, ), Wydawca: Wil van der Aalst, Robin Bergenthum, Josep Carmona
    Data:
    konferencja 42912
    Status:
    Opublikowana
  5. Towards minimal algorithms for big data analytics with spreadsheets
    Autorzy:
    Jacek Sroka, Artur Leśniewski, Mirosław Kowaluk, Krzysztof Stencel, Jerzy Tyszkiewicz
    Konferencja:
    Algorithms and Systems for MapReduce and Beyond (BeyondMR) (rok: 2017, ), Wydawca: ACM Digital Library
    Data:
    konferencja May
    Status:
    Opublikowana