Q-{M}atch: {I}terative Shape Matching via Quantum Annealing

Finding shape correspondences can be formulated as an NP-hard quadratic assignment problem (QAP) that becomes infeasible for shapes with high sampling density. A promising research direction is to tackle such quadratic optimization problems over binary variables with quantum annealing, which allows for some problems a more efficient search in the solution space. Unfortunately, enforcing the linear equality constraints in QAPs via a penalty significantly limits the success probability of such methods on currently available quantum hardware. To address this limitation, this paper proposes Q-Match, i.e., a new iterative quantum method for QAPs inspired by the alpha-expansion algorithm, which allows solving problems of an order of magnitude larger than current quantum methods. It implicitly enforces the QAP constraints by updating the current estimates in a cyclic fashion. Further, Q-Match can be applied iteratively, on a subset of well-chosen correspondences, allowing us to scale to real-world problems. Using the latest quantum annealer, the D-Wave Advantage, we evaluate the proposed method on a subset of QAPLIB as well as on isometric shape matching problems from the FAUST dataset

Multicoloured Random Graphs: Constructions and Symmetry

This is a research monograph on constructions of and group actions on countable homogeneous graphs, concentrating particularly on the simple random graph and its edge-coloured variants. We study various aspects of the graphs, but the emphasis is on understanding those groups that are supported by these graphs together with links with other structures such as lattices, topologies and filters, rings and algebras, metric spaces, sets and models, Moufang loops and monoids. The large amount of background material included serves as an introduction to the theories that are used to produce the new results. The large number of references should help in making this a resource for anyone interested in beginning research in this or allied fields.Comment: Index added in v2. This is the first of 3 documents; the other 2 will appear in physic

Sustainability and Safety Study of Tank to Propeller Process

Many public concerns have been brought to the increasingly intense greenhouse effects. The International Maritime Organization (IMO) has ambitious strategies to limit the air pollutant emissions from the merchant ships in a long run, especially for carbon, sulfur, methane and nitrogen oxides. To achieve IMO 2050 decarbonization objectives, more than one solution are required for maritime energy transition, from electric batteries for onboard activities to a variety of “green fuels” as well as safe and sustainable process design of onboard carbon capture, utilization, and storage (CCUS). Our work is focusing on screening promising marine fuels and providing safer and more sustainable carbon capture systems for maritime industry from the perspective of process safety and process systems engineering. This work can be divided into four major parts: Tank to propeller (TTP) sustainability study focuses on providing solutions on marine fuel consumption and TTP exhaust gas emission control, and a bottom-up emission inventory model was developed by analyzing and optimizing multiple parameters; Then an onboard carbon capture system called TTP post-combustion carbon capture (TTPPCC) system was proposed by integrating ship engine process modeling with chemical absorption/desorption process modeling techniques, this work covers a thorough sustainability evaluation based on emission reduction efficiency, energy penalty, and carbon cyclic capacity among two single aqueous amines, MEA and diisopropanolamine (DIPA), and one blended amine with a promoter, methyldiethanolamine (MDEA) with piperazine (PZ); The first TTP safety study aims at identifying the contributors influencing liquid aerosol flammability and solving their data deficiencies by developing quantitative structure−property relationship (QSPR) models, 1215 liquid chemicals and 14 predictors have been input to train the developed machine learning models via k-fold cross validation with the consideration of principal component analysis; The second TTP process safety study makes contributions on exploring inherently safer marine fuels by offering a liquid combustion risk criterion for ship compression ignition engines, two unsupervised machine learning clustering models were developed by considering liquid flammability flame propagation and aerosol formulation characteristics

Geometric deep learning for shape analysis: extending deep learning techniques to non-Euclidean manifolds

The past decade in computer vision research has witnessed the re-emergence of artificial neural networks (ANN), and in particular convolutional neural network (CNN) techniques, allowing to learn powerful feature representations from large collections of data. Nowadays these techniques are better known under the umbrella term deep learning and have achieved a breakthrough in performance in a wide range of image analysis applications such as image classification, segmentation, and annotation. Nevertheless, when attempting to apply deep learning paradigms to 3D shapes one has to face fundamental differences between images and geometric objects. The main difference between images and 3D shapes is the non-Euclidean nature of the latter. This implies that basic operations, such as linear combination or convolution, that are taken for granted in the Euclidean case, are not even well defined on non-Euclidean domains. This happens to be the major obstacle that so far has precluded the successful application of deep learning methods on non-Euclidean geometric data. The goal of this thesis is to overcome this obstacle by extending deep learning tecniques (including, but not limiting to CNNs) to non-Euclidean domains. We present different approaches providing such extension and test their effectiveness in the context of shape similarity and correspondence applications. The proposed approaches are evaluated on several challenging experiments, achieving state-of-the- art results significantly outperforming other methods. To the best of our knowledge, this thesis presents different original contributions. First, this work pioneers the generalization of CNNs to discrete manifolds. Second, it provides an alternative formulation of the spectral convolution operation in terms of the windowed Fourier transform to overcome the drawbacks of the Fourier one. Third, it introduces a spatial domain formulation of convolution operation using patch operators and several ways of their construction (geodesic, anisotropic diffusion, mixture of Gaussians). Fourth, at the moment of publication the proposed approaches achieved state-of-the-art results in different computer graphics and vision applications such as shape descriptors and correspondence

V/STOL AND digital avionics system for UH-1H

A hardware and software system for the Bell UH-1H helicopter was developed that provides sophisticated navigation, guidance, control, display, and data acquisition capabilities for performing terminal area navigation, guidance and control research. Two Sperry 1819B general purpose digital computers were used. One contains the development software that performs all the specified system flight computations. The second computer is available to NASA for experimental programs that run simultaneously with the other computer programs and which may, at the push of a button, replace selected computer computations. Other features that provide research flexibility include keyboard selectable gains and parameters and software generated alphanumeric and CRT displays

Sets as graphs

The aim of this thesis is a mutual transfer of computational and structural results and techniques between sets and graphs. We study combinatorial enumeration of sets, canonical encodings, random generation, digraph immersions. We also investigate the underlying structure of sets in algorithmic terms, or in connection with hereditary graphs classes. Finally, we employ a set-based proof-checker to verify two classical results on claw-free graph

Computation in Complex Networks

Complex networks are one of the most challenging research focuses of disciplines, including physics, mathematics, biology, medicine, engineering, and computer science, among others. The interest in complex networks is increasingly growing, due to their ability to model several daily life systems, such as technology networks, the Internet, and communication, chemical, neural, social, political and financial networks. The Special Issue “Computation in Complex Networks" of Entropy offers a multidisciplinary view on how some complex systems behave, providing a collection of original and high-quality papers within the research fields of: • Community detection • Complex network modelling • Complex network analysis • Node classification • Information spreading and control • Network robustness • Social networks • Network medicin

Methods for Real-time Visualization and Interaction with Landforms

This thesis presents methods to enrich data modeling and analysis in the geoscience domain with a particular focus on geomorphological applications. First, a short overview of the relevant characteristics of the used remote sensing data and basics of its processing and visualization are provided. Then, two new methods for the visualization of vector-based maps on digital elevation models (DEMs) are presented. The first method uses a texture-based approach that generates a texture from the input maps at runtime taking into account the current viewpoint. In contrast to that, the second method utilizes the stencil buffer to create a mask in image space that is then used to render the map on top of the DEM. A particular challenge in this context is posed by the view-dependent level-of-detail representation of the terrain geometry. After suitable visualization methods for vector-based maps have been investigated, two landform mapping tools for the interactive generation of such maps are presented. The user can carry out the mapping directly on the textured digital elevation model and thus benefit from the 3D visualization of the relief. Additionally, semi-automatic image segmentation techniques are applied in order to reduce the amount of user interaction required and thus make the mapping process more efficient and convenient. The challenge in the adaption of the methods lies in the transfer of the algorithms to the quadtree representation of the data and in the application of out-of-core and hierarchical methods to ensure interactive performance. Although high-resolution remote sensing data are often available today, their effective resolution at steep slopes is rather low due to the oblique acquisition angle. For this reason, remote sensing data are suitable to only a limited extent for visualization as well as landform mapping purposes. To provide an easy way to supply additional imagery, an algorithm for registering uncalibrated photos to a textured digital elevation model is presented. A particular challenge in registering the images is posed by large variations in the photos concerning resolution, lighting conditions, seasonal changes, etc. The registered photos can be used to increase the visual quality of the textured DEM, in particular at steep slopes. To this end, a method is presented that combines several georegistered photos to textures for the DEM. The difficulty in this compositing process is to create a consistent appearance and avoid visible seams between the photos. In addition to that, the photos also provide valuable means to improve landform mapping. To this end, an extension of the landform mapping methods is presented that allows the utilization of the registered photos during mapping. This way, a detailed and exact mapping becomes feasible even at steep slopes

Conducting metallopolymers with tridentate ligands and coordination chemistry with corresponding model compounds

Conducting polymers that contain metals are remarkable materials, because they have the properties of both organic backbones and metals. Depending on the position of the metal relative to the conjugated backbone, i.e. attached to or directly in the backbone, these two can couple resulting in advancement of the functionality and therefore potential applications of these types of materials. Complexes of tridentate ligands with donor atoms such as phosphorus, nitrogen, and sulfur also have a wide variety of applications. In addition, complexes of tridentate ligands have advantages of stability and control of electron density by variation of donor atoms. Therefore, conjugated polymers with tridentate ligand units will have promise for various applications and advantages in their designs. Many types of PNP ligands have been studied in the literature because the hemilabile property of the nitrogen atom promotes some catalytic reactions and gives different coordination geometries. Complexes of a PNP ligand with molybdenum and carbonyl ancillary ligands were synthesized and characterized. Isomerization and conversion reactions between them were investigated as well as the coordination modes. Conducting polymers can be used as redox-active ligands and they can be used to control electron density on the metal attached to them. Synthesis and characterization of a novel polymerizable ligand 3,5-bis-EDOT-N,N-bis[2-diphenylphosphinoethyl]aniline was achieved. Related molybdenum complexes with ancillary ligands as carbonyls were also synthesized and characterized. Monomer complexes and the free ligand were electropolymerized and studied. Tris(bipyridine)ruthenium(II) chloride and analogous complexes have been studied extensively in the literature due to their luminescent and photochemical properties, and excited state lifetimes. Conducting polymers with similar ruthenium groups have been investigated for various applications. Synthesis of ruthenium complexes with 2,6-Bis[4-[2-(3,4-diethylenedioxy)thiophene]pyrazol-1-yl]pyridine and four different bidentate ligands were reproduced; electropolymerizations of the complexes were achieved; electrochemical, UV-Vis and luminescence studies were performed and discussed. Various complexes of copper, silver, platinum, and palladium with nitrogen and phosphorus donors have been reported for their luminescence behavior as well as their interesting structures. Model complexes of these metals with a PNP ligand have been synthesized and characterized. Absorption and luminescence behaviors as well as the coordination modes were investigated.Chemistr