{"id":13,"date":"2023-02-27T15:40:00","date_gmt":"2023-02-27T15:40:00","guid":{"rendered":"https:\/\/www.inf.unibz.it\/krdb\/?page_id=13"},"modified":"2023-03-01T18:47:11","modified_gmt":"2023-03-01T17:47:11","slug":"research","status":"publish","type":"page","link":"https:\/\/www.inf.unibz.it\/krdb\/research\/","title":{"rendered":"Research"},"content":{"rendered":"\n<p class=\"has-medium-font-size\"><strong>Topics<\/strong><\/p>\n\n\n\n<p>Formal methods and computational models (computability and computational complexity; verification; automata, formal languages and combinatorics; non-classical computational models, including quantum ones; mathematical aspects of computer science)<\/p>\n\n\n\n<p>Algorithms and data structures (design, testing and analysis; non-classical algorithms, including quantum; combinatorial and probabilistic structures; information theory; data compression and integrity; numerical methods and symbolic computational)<\/p>\n\n\n\n<p>Data and knowledge management and analysis (databases; data mining; business process modelling and mining)<\/p>\n\n\n\n<p>Artificial intelligence (foundational aspects; machine learning; automatic reasoning and knowledge representation; exploration of choice spaces; cognitive intelligent agents; computer vision; natural language processing)<\/p>\n\n\n\n<p>Bioinformatics (computer methods and tools for the life sciences; omics informatics; computational biology; modelling and simulation of biological systems)<\/p>\n\n\n\n<p>Complex systems (non-linear interactions; self-organizing behavior; collective properties; dynamical systems theory)<\/p>\n\n\n\n<p><\/p>\n\n\n\n<p class=\"has-medium-font-size\"><strong>Organisation<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"http:\/\/krdb.eu\">KRDB<\/a> Research Centre for Knowledge and Data<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Data-driven Artificial Intelligence<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Mathematical Foundations<\/li>\n<\/ul>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Topics Formal methods and computational models (computability and computational complexity; verification; automata, formal languages and combinatorics; non-classical computational models, including quantum ones; mathematical aspects of computer science) Algorithms and data structures (design, testing and analysis; non-classical algorithms, including quantum; combinatorial and probabilistic structures; information theory; data compression and integrity; numerical methods and symbolic computational) Data&hellip;<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry","entry","no-media"],"_links":{"self":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":8,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":118,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages\/13\/revisions\/118"}],"wp:attachment":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}