Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Konur, S."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Endoscopy; 2024 Supplement 2, Vol. 56, pS20-S20, 1p
Motivation: Formal verification is a computational approach that checks system correctness (in relation to a desired functionality). It has been widely used in engineering applications to verify that systems work correctly. Model checking, an algorit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::f52c4d461535b71d17315da4425eeb73
https://eprints.whiterose.ac.uk/130393/1/bty282.pdf
https://eprints.whiterose.ac.uk/130393/1/bty282.pdf
Publikováno v:
IndraStra Global.
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).
Confounding effect
Confounding effect
Autor:
Hoogendoorn, M., Jonker, C.M., Konur, S., Maanen, P.P. van, Popova, V., Sharpanskykh, A., Treur, J., Xu, L., Yolum, P., Macintosh, A., Ellis, R., Allen, T.
Publikováno v:
Vrije Universiteit Amsterdam
Applications and Innovations in Intelligent Systems XII ISBN: 9781852339081
SGAI Conf. (Applications)
Macintosh, A.Ellis, R.Allen, T., Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 237-250
Macintosh, A.; Ellis, R.; Allen, T. (ed.), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 237-250. London : Springer
STARTPAGE=237;ENDPAGE=250;TITLE=Macintosh, A.; Ellis, R.; Allen, T. (ed.), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 237-250
STARTPAGE=237;ENDPAGE=250;TITLE=Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Macintosh, A.; Ellis, R.; Allen, T. (ed.), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 237-250
Hoogendoorn, M, Jonker, C M, Konur, S, van Maanen, P, Popova, V, Sharpanskykh, O, Treur, J, Xu, L & Yolum, P 2004, Formal Analysis of Empirical Traces in Incident Management . in A Macintosh, R Ellis & T Allen (eds), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence . Springer Verlag, pp. 237-250 .
Applications and Innovations in Intelligent Systems XII ISBN: 9781852339081
SGAI Conf. (Applications)
Macintosh, A.Ellis, R.Allen, T., Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 237-250
Macintosh, A.; Ellis, R.; Allen, T. (ed.), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 237-250. London : Springer
STARTPAGE=237;ENDPAGE=250;TITLE=Macintosh, A.; Ellis, R.; Allen, T. (ed.), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 237-250
STARTPAGE=237;ENDPAGE=250;TITLE=Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Macintosh, A.; Ellis, R.; Allen, T. (ed.), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 237-250
Hoogendoorn, M, Jonker, C M, Konur, S, van Maanen, P, Popova, V, Sharpanskykh, O, Treur, J, Xu, L & Yolum, P 2004, Formal Analysis of Empirical Traces in Incident Management . in A Macintosh, R Ellis & T Allen (eds), Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence . Springer Verlag, pp. 237-250 .
Within incident management an important aspect is the analysis of log files describing traces of incident management processes and the errors made in them. Automated support of such an analysis can be helpful. In this paper some results are shown on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0159afdc53a751c0deabde47a6a7bd6
http://resolver.tudelft.nl/uuid:595419d2-41b5-4d26-a7ba-04374cfd7dc0
http://resolver.tudelft.nl/uuid:595419d2-41b5-4d26-a7ba-04374cfd7dc0
Autor:
Abbink, H., van Dijk, R, Dobos, T., Hoogendoorn, M., Jonker, C.M., Konur, S., van Maanen, P., Popova, V., Sharpanskykh, O., van Tooren, P., Treur, J., van der Valk, J.., Xu, L., Yolum, P., Walle, B. van de, Carle, B.
Publikováno v:
Walle, B. van deCarle, B., Proceedings of the International Workshop on Information Systems for Crisis Response and Management '04, Brussels, Belgium, May, 2004 ISCRAM2004, 69-74
Scopus-Elsevier
Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04, 69-74. Brussels : International Community on Information systems for crisis response and management
STARTPAGE=69;ENDPAGE=74;TITLE=Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04
Abbink, H, van Dijk, R, Dobos, T, Hoogendoorn, M, Jonker, C M, Konur, S, van Maanen, P, Popova, V, Sharpanskykh, O, van Tooren, P, Treur, J, van der Valk, J, Xu, L & Yolum, P 2004, Automated Support For Adaptive Incident Management . in B V D Walle & B Carle (eds), Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004) . pp. 69-74 . < http://citeseer.ist.psu.edu/669379.html; http://www.cs.vu.nl/ wai/Papers/ISCRAM04CIM.pdf >
Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004), 69-74
STARTPAGE=69;ENDPAGE=74;TITLE=Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004)
Vrije Universiteit Amsterdam
Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04, pp. 69-74
Scopus-Elsevier
Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04, 69-74. Brussels : International Community on Information systems for crisis response and management
STARTPAGE=69;ENDPAGE=74;TITLE=Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04
Abbink, H, van Dijk, R, Dobos, T, Hoogendoorn, M, Jonker, C M, Konur, S, van Maanen, P, Popova, V, Sharpanskykh, O, van Tooren, P, Treur, J, van der Valk, J, Xu, L & Yolum, P 2004, Automated Support For Adaptive Incident Management . in B V D Walle & B Carle (eds), Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004) . pp. 69-74 . < http://citeseer.ist.psu.edu/669379.html; http://www.cs.vu.nl/ wai/Papers/ISCRAM04CIM.pdf >
Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004), 69-74
STARTPAGE=69;ENDPAGE=74;TITLE=Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004)
Vrije Universiteit Amsterdam
Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04, pp. 69-74
The project CIM, started in 2003, addresses the problem of automated support for incident management. In this paper some intermediate results are shown, especially on automated support of analysis of errors in traces of incident management. For such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::579e02f000a77bd5315b9af01a01f992
http://resolver.tudelft.nl/uuid:7b51c86e-804a-4f9e-822b-92e19a427a8f
http://resolver.tudelft.nl/uuid:7b51c86e-804a-4f9e-822b-92e19a427a8f
Autor:
Abbink, H., Dijk, R. van, Dobos, T., Hoogendoorn, M., Jonker, C.M., Konur, S., Maanen, P.P. van, Popova, V., Sharpanskykh, A., Tooren, P. van, Treur, J., Valk, J., Xu, L., Yolum, P.
Publikováno v:
Lecture notes in artificial intellegence, 19-32. Berlin : Springer
STARTPAGE=19;ENDPAGE=32;TITLE=Lecture notes in artificial intellegence
Proceedings of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 19-32
STARTPAGE=19;ENDPAGE=32;TITLE=Lecture notes in artificial intellegence
Proceedings of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 19-32
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::20cf9eca6a0d92f22fa274544839d24e
http://hdl.handle.net/2066/63934
http://hdl.handle.net/2066/63934
Autor:
Abbink, H., Dijk, R. van, Dobos, T., Hoogendoorn, M., Jonker, C.M., Konur, S., Maanen, P.P. van, Popova, V., Sharpanskykh, A., Tooren, P. van, Treur, J., Valk, J., Xu, L., Yolum, P.
Publikováno v:
Verbrugge, R.Taatgen, N.Schomaker, L., Proceedings of the 16th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC-2004), 349-350
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7f7e30ec612c6fb3bbb30f7375f6330a
http://resolver.tudelft.nl/uuid:67377386-6c4f-49f5-a83f-f4b21ac976c1
http://resolver.tudelft.nl/uuid:67377386-6c4f-49f5-a83f-f4b21ac976c1
Autor:
Konur, S., Fisher, M.
Publikováno v:
2011 IEEE 73rd Vehicular Technology Conference (VTC Spring); 2011, p1-5, 5p
Autor:
Konur, S.
Publikováno v:
Thirteenth International Symposium on Temporal Representation & Reasoning (TIME'06); 2006, p36-41, 6p