-
1دورية أكاديمية
المؤلفون: Gordan Gledec, Marko Horvat, Miljenko Mikuc, Bruno Blašković
المصدر: Data, Vol 8, Iss 5, p 89 (2023)
مصطلحات موضوعية: spellchecker, n-grams, natural language processing, Croatian language, user corrections dataset, common error analysis, Bibliography. Library science. Information resources
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Ivona Zakarija, Frano Škopljanac-Mačina, Bruno Blašković
المصدر: Automatika, Vol 61, Iss 2, Pp 312-324 (2020)
مصطلحات موضوعية: process mining, iot, model checking, inductive machine learning, big data, mas, Control engineering systems. Automatic machinery (General), TJ212-225, Automation, T59.5
وصف الملف: electronic resource
-
3
المؤلفون: Bruno Blašković, Frano Skopljanac-Macina, Ivona Zakarija
المصدر: Automatika, Vol 61, Iss 2, Pp 312-324 (2020)
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije
Volume 61
Issue 2مصطلحات موضوعية: FOS: Computer and information sciences, iot, 0209 industrial biotechnology, Process modeling, General Computer Science, Computer Science - Artificial Intelligence, Computer science, lcsh:Automation, lcsh:Control engineering systems. Automatic machinery (General), Process mining, 02 engineering and technology, computer.software_genre, lcsh:TJ212-225, Computer Science - Software Engineering, IoT, model checking, inductive machine learning, Big Data, MAS, 020901 industrial engineering & automation, mas, Linear temporal logic, big data, 0202 electrical engineering, electronic engineering, information engineering, SPIN model checker, lcsh:T59.5, Data stream mining, Event (computing), Multi-agent system, process mining, 020208 electrical & electronic engineering, Business process modeling, Formal methods, Software Engineering (cs.SE), Artificial Intelligence (cs.AI), Control and Systems Engineering, Data mining, computer
وصف الملف: application/pdf
-
4
المؤلفون: Bruno Blašković, Ivona Zakarija, Frano Skopljanac-Macina
المساهمون: Skala, Karolj
المصدر: MIPRO
مصطلحات موضوعية: Upload, Coronavirus disease 2019 (COVID-19), Computer science, Order (business), online examination, e-learning, parameterized questions, Cheating, ComputingMilieux_COMPUTERSANDEDUCATION, Mathematics education, Electronic learning
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ecfc1ad7b9fff2aa0bba8866a9c2780
https://doi.org/10.23919/mipro52101.2021.9597173 -
5
المؤلفون: Bruno Blašković, Frano Skopljanac-Macina, Ivona Zakarija
المصدر: IEEE Access, Vol 9, Pp 52957-52976 (2021)
مصطلحات موضوعية: General Computer Science, Computer science, E-learning (theory), 02 engineering and technology, Formative assessment, Set (abstract data type), automated test generation, formal concept analysis, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Selection (linguistics), Formal concept analysis, combinatorial testing, pairwise testing, e-learning systems, process mining, General Materials Science, Software system, Information retrieval, business.industry, General Engineering, Cover (topology), 020201 artificial intelligence & image processing, lcsh:Electrical engineering. Electronics. Nuclear engineering, business, Combinatorial testing, lcsh:TK1-9971
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c96f8b6667dc4d93eb7f4167d5bc00f
https://www.bib.irb.hr/1112449 -
6
المؤلفون: Frano Skopljanac-Macina, Ivona Zakarija, Bruno Blašković
المساهمون: Skala, Karolj
المصدر: MIPRO
مصطلحات موضوعية: 010302 applied physics, Source code, Finite-state machine, business.industry, Computer science, Process (engineering), media_common.quotation_subject, 02 engineering and technology, e-learning web applications, testing, verification, SPIN, Promela, Formal methods, 01 natural sciences, Web testing, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Web application, SPIN model checker, 020201 artificial intelligence & image processing, Software engineering, business, computer, computer.programming_language, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e149b8e5efb7b3b6ab956cd524a7c255
https://doi.org/10.23919/mipro.2019.8756749 -
7
المؤلفون: Bruno Blašković, Ivona Zakarija, Frano Skopljanac-Macina
المساهمون: Skala, Karolj
المصدر: MIPRO
مصطلحات موضوعية: Process modeling, Theoretical computer science, Computer science, business.industry, 0211 other engineering and technologies, Process mining, adaptive e-learning systems, process mining, Angluin’s L* algorithm, 02 engineering and technology, Business process modeling, Ontology (information science), Directed acyclic graph, Session (web analytics), Deterministic finite automaton, Knowledge base, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business, 021101 geological & geomatics engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fcf0ea503ba3838643a51417f4f2c0f
https://doi.org/10.23919/mipro.2018.8400112 -
8
المؤلفون: Ana Vrankovic, Bruno Blašković, Tihana Galinac Grbac
المصدر: MIPRO
مصطلحات موضوعية: Service (systems architecture), Open platform, Computer science, End user, Service delivery framework, business.industry, Reliability (computer networking), Erlang (programming language), 0102 computer and information sciences, 01 natural sciences, 010201 computation theory & mathematics, Session (computer science), Reliability, Erlang, Scribble, Protocols, Software engineering, business, Protocol (object-oriented programming), computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc1b42fdb7157ec100f4b77c122c162b
https://doi.org/10.23919/mipro.2018.8400265 -
9
المؤلفون: Petar Knezevic, Bruno Blašković, Frano Skopljanac-Macina, Niko Palic
المصدر: Proceedings of the 29th International DAAAM Symposium 2018
مصطلحات موضوعية: Model checking, Mathematical optimization, Computer science, constraint satisfaction problem, SMT solver, model checking, Spin/Promela, sudoku, Constraint satisfaction problem
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85bb5abe0b667cfc9548b0ede56d5ed6
https://www.bib.irb.hr/971515 -
10
المؤلفون: Šandor Dembitz, Mirko Randić, Bruno Blašković
المصدر: Automatika. 54:495-506
مصطلحات موضوعية: Database server, Queueing theory, General Computer Science, Computer science, Application server, Distributed computing, Workload, computer.software_genre, Control and Systems Engineering, Component (UML), Server, Thread pool, Sojourn time, CPU-bound tasks, Quasi-Birth-and-Death process, Server application, computer, Generator (mathematics)