{"id":{"repo_id":"ghent","oai_identifier":"oai:archive.ugent.be:01HB5MCYKJE9CFH6HXP196QZT8"},"canonical_url":"https://search.dev.ndltd.org/etd/ghent/oai:archive.ugent.be:01HB5MCYKJE9CFH6HXP196QZT8","repository":{"repo_id":"ghent","name":"Ghent University","base_url":"https://biblio.ugent.be/oai"},"display":{"title":"Algebro-geometric algorithms for program synthesis, tensor networks, and conditional independence models","abstract":"Deze dissertatie onderzoekt Algebro-Geometrische Algoritmen in Programmasynthese, Tensornetwerken, en Conditionele Onafhankelijkheidsmodellen. In Programmasynthese draagt het onderzoek bij aan template-gebaseerde synthese voor polynomiale imperatieve programma's, bewijst beslisbaarheid, ontwikkelt een praktisch algoritme, toont correctheid en semi-volledigheid aan, en verbetert de efficiëntie. Het onderzoek naar Tensornetwerken richt zich op uniforme matrixproducttoestanden (uMPS) en hun lineaire spanwijdten, en biedt nieuwe methoden en bevindingen rond hun symmetrieën en dimensies. Ten slotte koppelt het hoofdstuk over Conditionele Onafhankelijkheidsmodellen conditionele onafhankelijkheidsverklaringen, incidentiegeometrie en Gröbner-basissen door het bestuderen van hypergraafidealen en matroïde-variëteiten, en stelt het een nieuwe decompositiestrategie voor om deze structuren te analyseren. Dit werk combineert tools uit de algebraïsche geometrie en combinatoriek, wat een beter begrip van computationele problemen in informatica, kwantumfysica en statistiek mogelijk maakt. Verder streeft het ernaar interdisciplinaire samenwerkingen te bevorderen, waardoor informatici, natuurkundigen, statistici, combinatorialisten, algebraïsten en geometers worden geïnspireerd om deze tools en inzichten in hun onderzoek te incorporeren.","abstract_html":"Deze dissertatie onderzoekt Algebro-Geometrische Algoritmen in Programmasynthese, Tensornetwerken, en Conditionele Onafhankelijkheidsmodellen. In Programmasynthese draagt het onderzoek bij aan template-gebaseerde synthese voor polynomiale imperatieve programma's, bewijst beslisbaarheid, ontwikkelt een praktisch algoritme, toont correctheid en semi-volledigheid aan, en verbetert de efficiëntie. Het onderzoek naar Tensornetwerken richt zich op uniforme matrixproducttoestanden (uMPS) en hun lineaire spanwijdten, en biedt nieuwe methoden en bevindingen rond hun symmetrieën en dimensies. Ten slotte koppelt het hoofdstuk over Conditionele Onafhankelijkheidsmodellen conditionele onafhankelijkheidsverklaringen, incidentiegeometrie en Gröbner-basissen door het bestuderen van hypergraafidealen en matroïde-variëteiten, en stelt het een nieuwe decompositiestrategie voor om deze structuren te analyseren. Dit werk combineert tools uit de algebraïsche geometrie en combinatoriek, wat een beter begrip van computationele problemen in informatica, kwantumfysica en statistiek mogelijk maakt. Verder streeft het ernaar interdisciplinaire samenwerkingen te bevorderen, waardoor informatici, natuurkundigen, statistici, combinatorialisten, algebraïsten en geometers worden geïnspireerd om deze tools en inzichten in hun onderzoek te incorporeren.","abstract_has_math":false,"creators":["Motwani, Harshit Jitendra"],"institution":"Ghent University. Faculty of Sciences","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["De Medts, Tom"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023","date_published":"2023","updated_at":"2026-07-24T02:23:00Z","subjects":["Mathematics and Statistics"],"languages":["eng"],"rights":["info:eu-repo/semantics/openAccess"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8","https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8/file/01HB5MKNE9PQ2YZZASHE7QVYSX"],"render_values":[{"text":"https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8","href":"https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8","code":true},{"text":"https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8/file/01HB5MKNE9PQ2YZZASHE7QVYSX","href":"https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8/file/01HB5MKNE9PQ2YZZASHE7QVYSX","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/1854/LU-01HB5MCYKJE9CFH6HXP196QZT8","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["De Medts, Tom"]},{"key":"dc:creator","label":"Author","values":["Motwani, Harshit Jitendra"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2023"]},{"key":"dc:publisher","label":"Institution","values":["Ghent University. Faculty of Sciences"]},{"key":"dc:type","label":"Dc Type","values":["dissertation","info:eu-repo/semantics/doctoralThesis","info:eu-repo/semantics/publishedVersion"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics and Statistics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["info:eu-repo/semantics/openAccess"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8","http://hdl.handle.net/1854/LU-01HB5MCYKJE9CFH6HXP196QZT8","https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8/file/01HB5MKNE9PQ2YZZASHE7QVYSX"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Deze dissertatie onderzoekt Algebro-Geometrische Algoritmen in Programmasynthese, Tensornetwerken, en Conditionele Onafhankelijkheidsmodellen. In Programmasynthese draagt het onderzoek bij aan template-gebaseerde synthese voor polynomiale imperatieve programma's, bewijst beslisbaarheid, ontwikkelt een praktisch algoritme, toont correctheid en semi-volledigheid aan, en verbetert de efficiëntie. Het onderzoek naar Tensornetwerken richt zich op uniforme matrixproducttoestanden (uMPS) en hun lineaire spanwijdten, en biedt nieuwe methoden en bevindingen rond hun symmetrieën en dimensies. Ten slotte koppelt het hoofdstuk over Conditionele Onafhankelijkheidsmodellen conditionele onafhankelijkheidsverklaringen, incidentiegeometrie en Gröbner-basissen door het bestuderen van hypergraafidealen en matroïde-variëteiten, en stelt het een nieuwe decompositiestrategie voor om deze structuren te analyseren. Dit werk combineert tools uit de algebraïsche geometrie en combinatoriek, wat een beter begrip van computationele problemen in informatica, kwantumfysica en statistiek mogelijk maakt. Verder streeft het ernaar interdisciplinaire samenwerkingen te bevorderen, waardoor informatici, natuurkundigen, statistici, combinatorialisten, algebraïsten en geometers worden geïnspireerd om deze tools en inzichten in hun onderzoek te incorporeren."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Algebro-geometric algorithms for program synthesis, tensor networks, and conditional independence models"]}]}],"canonical_facts":{"dc:contributor":["De Medts, Tom"],"dc:creator":["Motwani, Harshit Jitendra"],"dc:date":["2023"],"dc:description":["Deze dissertatie onderzoekt Algebro-Geometrische Algoritmen in Programmasynthese, Tensornetwerken, en Conditionele Onafhankelijkheidsmodellen. In Programmasynthese draagt het onderzoek bij aan template-gebaseerde synthese voor polynomiale imperatieve programma's, bewijst beslisbaarheid, ontwikkelt een praktisch algoritme, toont correctheid en semi-volledigheid aan, en verbetert de efficiëntie. Het onderzoek naar Tensornetwerken richt zich op uniforme matrixproducttoestanden (uMPS) en hun lineaire spanwijdten, en biedt nieuwe methoden en bevindingen rond hun symmetrieën en dimensies. Ten slotte koppelt het hoofdstuk over Conditionele Onafhankelijkheidsmodellen conditionele onafhankelijkheidsverklaringen, incidentiegeometrie en Gröbner-basissen door het bestuderen van hypergraafidealen en matroïde-variëteiten, en stelt het een nieuwe decompositiestrategie voor om deze structuren te analyseren. Dit werk combineert tools uit de algebraïsche geometrie en combinatoriek, wat een beter begrip van computationele problemen in informatica, kwantumfysica en statistiek mogelijk maakt. Verder streeft het ernaar interdisciplinaire samenwerkingen te bevorderen, waardoor informatici, natuurkundigen, statistici, combinatorialisten, algebraïsten en geometers worden geïnspireerd om deze tools en inzichten in hun onderzoek te incorporeren."],"dc:format":["application/pdf"],"dc:identifier":["https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8","http://hdl.handle.net/1854/LU-01HB5MCYKJE9CFH6HXP196QZT8","https://biblio.ugent.be/publication/01HB5MCYKJE9CFH6HXP196QZT8/file/01HB5MKNE9PQ2YZZASHE7QVYSX"],"dc:language":["eng"],"dc:publisher":["Ghent University. Faculty of Sciences"],"dc:rights":["info:eu-repo/semantics/openAccess"],"dc:subject":["Mathematics and Statistics"],"dc:title":["Algebro-geometric algorithms for program synthesis, tensor networks, and conditional independence models"],"dc:type":["dissertation","info:eu-repo/semantics/doctoralThesis","info:eu-repo/semantics/publishedVersion"]},"updated_at":"2026-07-24T02:23:00Z"}