Projects search

• Keywords: real time modelling ×

Change search criteria ↓

Search results

7 projects found matching your search criteria:

1. 1. New methods to create accurate, nonlinear, interpretable and suitable for operation in real-time models of dynamic syste…

   Principal investigator: dr hab. Krzysztof Cpałka

   Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

   Call: OPUS 3, Panel: ST7

2. 2. Sustainable nitrogen fertilization for agricultural crops developed based on open lab and field experiments and integrat…

   Principal investigator: dr Wiesław Ryszard Fiałkiewicz

   Uniwersytet Przyrodniczy we Wrocławiu

   Call: OPUS 24 (LAP), Panel: ST10

3. 3. Development and implementation of model checking methods for real-time and multi-agent systems

   Principal investigator: dr hab. Bożena Woźna-Szcześniak

   Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

   Call: OPUS 1, Panel: ST6

4. 4. Hamiltonian approach toward efficient modeling of large-scale multibody systems with friction and toward real-time simul…

   Principal investigator: prof. Janusz Frączek

   Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

   Call: OPUS 15, Panel: ST8

5. 5. New automated verification methods of open real-time multi-agent systems

   Principal investigator: dr hab. Bożena Woźna-Szcześniak

   Akademia im. Jana Długosza w Częstochowie

   Call: OPUS 29, Panel: ST6

6. 6. Selected SMT-based model checking methods

   Principal investigator: Agnieszka Małgorzata Zbrzezny

   Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

   Call: PRELUDIUM 8, Panel: ST6

7. 7. Identification of transcriptomic markers of maize resistance to cereal aphids

   Principal investigator: dr hab. Hubert Sytykiewicz

   Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych i Przyrodniczych

   Call: OPUS 11, Panel: NZ9