Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Savi Maharaj"'
Autor:
Vahid Akbari, Aviraj Datta, Deepayan Bhowmik, Armando Marino, Saurav Kumar, Srikanth Rupavatharam, G. Nagendra Prabhu, Adam Kleczkowski, J. Alice R. P. Sujeetha, Savi Maharaj
Publikováno v:
Remote Sensing of the Ocean, Sea Ice, Coastal Waters, and Large Water Regions 2022.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb6e7b3b0d9c40104ca0707d673aa7ba
https://doi.org/10.1117/12.2639004
https://doi.org/10.1117/12.2639004
Publikováno v:
International Journal of Human-Computer Studies. 127:181-189
There is increasing interest in the use of serious games in STEM education. Interactive simulations and serious games can be used by students to explore systems where it would be impractical or unethical to perform real world studies or experiments.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7b2e695272bb41f9eaff314d4275193
https://doi.org/10.1016/j.ijhcs.2018.07.004
https://doi.org/10.1016/j.ijhcs.2018.07.004
Autor:
Oscar Villalta, Shuang Liu, David Cook, Jean-Philippe Aurambout, Jacqueline Edwards, Savi Maharaj
Publikováno v:
Food Security. 8:37-48
Loss of area freedom from invasive alien species can have serious food security implications and place huge responsibility on incursion response managers. They make critical decisions despite profound uncertainty surrounding invasion ecology, surveil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b2ce5677f298e3f8dc3762734f458e60
https://doi.org/10.1007/s12571-015-0524-z
https://doi.org/10.1007/s12571-015-0524-z
Publikováno v:
ITHET
This paper explores the effectiveness of interactive simulation for teaching a selected complex subject, Ecology, in higher education. Specifically, we carry out a lab intervention using interactive agent based simulation, to teach the complex concep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b46852468138d567f56228730e9163b8
https://doi.org/10.1109/ithet.2016.7760725
https://doi.org/10.1109/ithet.2016.7760725
Epidemics of respiratory infectious disease remain one of the most serious health risks facing the population. Non-pharmaceutical interventions (e.g., hand-washing or wearing face masks) can have a significant impact on the course of an infectious di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a29f91f6afa4ea26f322610e8a78352f
https://strathprints.strath.ac.uk/52750/1/Williams_etal_PHM_2015_Protection_motivation_theory_and_social_distancing_behaviour.pdf
https://strathprints.strath.ac.uk/52750/1/Williams_etal_PHM_2015_Protection_motivation_theory_and_social_distancing_behaviour.pdf
Publikováno v:
IFAC Proceedings Volumes. 38:158-163
We consider a theoretical, but very general mathematical model of control systems, namely stochastic hybrid systems. Then we study how to define concurrency for these systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff1e94d93bb05be398423f29c677af1a
https://doi.org/10.3182/20050703-6-cz-1902.00379
https://doi.org/10.3182/20050703-6-cz-1902.00379
Autor:
Elsa L. Gunter, Savi Maharaj
Publikováno v:
The Computer Journal. 38:142-151
In an earlier project of VanInwegen and Gunter, the dynamic semantics of the Core of Standard ML (SML) was encoded in the HOL theorem-prover. We extend this by adding the dynamic Module system. We then develop a possible dynamic semantics for a Modul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3aaa0572b0fb78151706a9c760af69ff
https://doi.org/10.1093/comjnl/38.2.142
https://doi.org/10.1093/comjnl/38.2.142
The three main assertion-based verification approaches are: run-time assertion checking (RAC), extended static checking (ESC) and full formal verification (FFV). Each approach offers a different balance between rigour and ease of use, making them app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e0e926c1383a0423054f4b116908c67
http://dspace.stir.ac.uk/bitstream/1893/3679/1/WilsonMaharajClark.pdf
http://dspace.stir.ac.uk/bitstream/1893/3679/1/WilsonMaharajClark.pdf
Publikováno v:
SEFM
The three main assertion-based verification approaches are: design by contract (DBC), extended static checking (ESC) and verified design by contract (VDBC). Each approach offers a different balance between rigour and ease of use making them appropria
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e812e26751252192ef5020024522454
https://doi.org/10.1109/sefm.2005.29
https://doi.org/10.1109/sefm.2005.29