In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...
A Majority-Inverter Graph (MIG) is a homogeneous logic network, where each node represents the majority function. Recently, a logic optimization package based on the MIG data-structure, with 3-input majority node (M3) has been proposed [2], [30]. It is dem ...
Low-rank tensor approximation techniques attempt to mitigate the overwhelming complexity of linear algebra tasks arising from high-dimensional applications. In this work, we study the low-rank approximability of solutions to linear systems and eigenvalue p ...
The goal of this paper is the proof of the algebraic complete integrability of the Bloch-Iserles Hamiltonian system [5]. This result was conjectured in [4], based on its validity in certain special cases. ...
Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...
The geometric arrangement of interacting (magnetic) dipoles is a question of fundamental importance in physics, chemistry, and engineering. Motivated by recent progress concerning the self-assembly of magnetic structures, the equilibrium orientation of eig ...
We present some recent advances and improvements in shape parametrisation techniques of interfaces for reduced-order modelling with special attention to fluid-structure interaction problems and the management of structural deformations, namely, to represen ...
