-
1دورية أكاديمية
المؤلفون: Davorin Kajba, Ivan Andrić, Ivan Gavran, Tin Tomić, Ivana Plišo Vusić, Željko Zečić, Dinko Vusić
المصدر: Croatian Journal of Forest Engineering, Vol 40, Iss 2, Pp 231-238 (2019)
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Roel Schipper, Peter Eigenraam, Matteo Soru, Steffen Grünewald, Ivan Gavran, Mattias Michel, Arno Pronk, Dick Erinkveld, Hisham El Ghazi, Mitchell Janmaat, Tobi Lusing, Erwin van Rijbroek, Niek Schuijers, Martijn Verboord, Robin Versteeg
المصدر: Spool, Vol 1, Iss 2 (2014)
مصطلحات موضوعية: Architecture, NA1-9428
وصف الملف: electronic resource
-
3
المؤلفون: Jan Corazza, Ivan Gavran, Daniel Neider
المصدر: Proceedings of the AAAI Conference on Artificial Intelligence. 36:6429-6436
مصطلحات موضوعية: General Medicine
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6cc749772995c3e69517a541ff323b4d
https://doi.org/10.1609/aaai.v36i6.20594 -
4
المؤلفون: Eva Darulova, Ivan Gavran, Rupak Majumdar
المصدر: Proceedings of the ACM on Programming Languages
مصطلحات موضوعية: 0209 industrial biotechnology, Parsing, Grammar, Computer science, Programming language, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, computer.software_genre, 020901 industrial engineering & automation, Linear temporal logic, Fragment (logic), Formal language, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, computer, Software, Natural language, Program synthesis, media_common, TRACE (psycholinguistics)
وصف الملف: application/pdf
-
5
المؤلفون: Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml
المصدر: AAAI Technical Track on Search and Optimization
مصطلحات موضوعية: General Medicine
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::045d9ae3ec843f8131fe1f0be8b1d9a0
https://hdl.handle.net/21.11116/0000-0009-54CD-2 -
6
المؤلفون: Nathaniel Bos, Ivan Gavran, Rupak Majumdar, Heiko Becker, Eva Darulova
المصدر: CPP '21
CPPمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Correctness, Parsing, Process (engineering), Programming language, Computer science, Proof assistant, 020207 software engineering, 02 engineering and technology, computer.software_genre, Mathematical proof, Logic in Computer Science (cs.LO), Automated theorem proving, Subject-matter expert, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Software system, computer, Programming Languages (cs.PL)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c7f676fb7942d67075a829d7132dc99
https://hdl.handle.net/21.11116/0000-0009-0FE4-621.11116/0000-0009-0FE6-4 -
7
المؤلفون: Daniel Neider, Jean-Raphael Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
المصدر: AAAI Technical Track on Machine Learning III
مصطلحات موضوعية: General Medicine
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f58a47fd63c6ef0c71ae1fda02ec0c11
https://hdl.handle.net/21.11116/0000-0009-559C-8 -
8
المؤلفون: Rupak Majumdar, Ivan Gavran, Indranil Saha
المصدر: ACM Transactions on Embedded Computing Systems. 16:1-19
مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, Distributed computing, Separation of concerns, Real-time computing, 02 engineering and technology, Runtime system, 020901 industrial engineering & automation, Linear temporal logic, Hardware and Architecture, Automated planning and scheduling, 0202 electrical engineering, electronic engineering, information engineering, Robot, 020201 artificial intelligence & image processing, Motion planning, AISoy1, Implementation, Software
-
9
المؤلفون: Ivan Gavran, Ivan Andrić, Ivana Plišo Vusić, Dinko Vusić, Tin Tomić, Željko Zečić, Davorin Kajba
المصدر: Croatian Journal of Forest Engineering : Journal for Theory and Application of Forestry Engineering
Volume 40
Issue 2
Croatian Journal of Forest Engineering, Vol 40, Iss 2, Pp 231-238 (2019)مصطلحات موضوعية: 040101 forestry, Wood gas generator, biomass, moisture content, nominal density, bark content, ash content, Biomass, Forestry, Wood ash, 04 agricultural and veterinary sciences, Raw material, Felling, Horticulture, Productivity (ecology), visual_art, biomass, moisture content, nominal density, bark content, ash content, visual_art.visual_art_medium, lcsh:SD1-669.5, 0401 agriculture, forestry, and fisheries, Bark, lcsh:Forestry, Water content, Mathematics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1acd30bbfc50547246b25b1b8764a9c
https://doi.org/10.5552/crojfe.2019.678 -
10
المؤلفون: Ivan Gavran, Damien Zufferey, Richard Peifer, Ortwin Mailahn, Rainer Müller
المصدر: Onward!
مصطلحات موضوعية: Flexibility (engineering), 0209 industrial biotechnology, Domain-specific language, business.industry, Computer science, 02 engineering and technology, Ontology (information science), Automation, Domain (software engineering), 020901 industrial engineering & automation, Knowledge base, Knowledge integration, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Automated reasoning, business, Software engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7f03213204da554fe36d33433dd6c5fb
https://doi.org/10.1145/3276954.3276961