Zobrazeno 1 - 10
of 80
pro vyhledávání: '"Bowles, Juliana"'
Autor:
Kumar, Mohit, Valentinitsch, Alexander, Fuchs, Magdalena, Brucker, Mathias, Bowles, Juliana, Husakovic, Adnan, Abbas, Ali, Moser, Bernhard A.
This paper develops a novel mathematical framework for collaborative learning by means of geometrically inspired kernel machines which includes statements on the bounds of generalisation and approximation errors, and sample complexity. For classifica
Externí odkaz:
http://arxiv.org/abs/2407.04335
This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be applied to propositional logic formulae in nested form, are equivalence-
Externí odkaz:
http://arxiv.org/abs/2405.17072
A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properties. Establishing that the two structures substantially behave in the s
Externí odkaz:
http://arxiv.org/abs/2306.00584
Publikováno v:
In Engineering Applications of Artificial Intelligence June 2024 132
Autor:
Bowles, Juliana, Caminati, Marco B.
Scenarios of execution are commonly used to specify partial behaviour and interactions between different objects and components in a system. To avoid overall inconsistency in specifications, various automated methods have emerged in the literature to
Externí odkaz:
http://arxiv.org/abs/1707.09646
Autor:
Bowles, Juliana, Caminati, Marco B.
Complex systems are usually modelled through a combination of structural and behavioural models, where separate behavioural models make it easier to design and understand partial behaviour. When partial models are combined, we need to guarantee that
Externí odkaz:
http://arxiv.org/abs/1707.05383
Autor:
Bowles, Juliana, Caminati, Marco B.
An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with algorithms and formulas to ge
Externí odkaz:
http://arxiv.org/abs/1705.07228
Funding: JKFB partially supported by the Austrian Science Fund under FWF Meitner project M-3338. A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______901::29ccd6f4c06c47833974091c9e49ac5f
https://hdl.handle.net/10023/27676
https://hdl.handle.net/10023/27676