Deployment of a cloud pipeline for real-time visual inspection using fast streaming high-definition images

We investigate the challenges of building an end-to-end cloud pipeline for real-time intelligent visual inspection system for use in automotive manufacturing. Current methods of visual detection in automotive assembly are highly labor intensive, and thus prone to errors. An automated process is sought that can operate within the real-time constraints of the assembly line and can reduce errors. Components of the cloud pipeline include capture of a large set of high-definition images from a camera setup at the assembly location, transfer and storage of the images as needed, execution of object detection, and notification to a human operator when a fault is detected. The end-to-end execution must complete within a fixed time frame before the next car arrives in the assembly line. In this article, we report the design, development, and experimental evaluation of the tradeoffs of performance, accuracy, and scalability for a cloud system.     

Verified Error Bounds for Linear Systems Through the Lanczos Process

We use verified computations and the Lanczos process to obtain guaranteed lower and upper bounds on the 2-norm and the energy-norm error of an approximate solution to a symmetric positive definite linear system. The upper bounds require the a priori knowledge of a lower bound on the smallest eigenvalue.     

Nonlinear ceramics for tunable microwave devices

The research on materials and systems for tunable microwave devices has gained attraction within the last years. The radio frequency characterization and the component design of tunable microwave components based on dielectric ceramics especially barium-strontium-titanate (BST) are presented in this second part, whereas the basic material properties are discussed in detail in the first part. After a short introduction to the processing technology used for the fabrication of tunable components based on a BST thick film, the relations between microwave properties and material properties as well as the microstructure are presented in detail. The design process for tunable microwave components based on BST thick films is described. Especially the considerations related to micro- and macrostructure and their connection are highlighted. The paper closes with two different application examples: a reconfigurable array antenna for satellite communication and varactors for high power applications.     

Formal Analysis of Multiparty Contract Signing

We analyze the multiparty contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, Mocha, which allows specification of protocol properties in a branching-time temporal logic with game semantics. While our analysis does not reveal any errors in the BW protocol, in the GM protocol we discover serious problems with fairness for four signers and an oversight regarding abuse-freeness for three signers. We propose a complete revision of the GM subprotocols in order to restore fairness.     

MERIS potential for ocean colour studies in the open ocean

The interest of space observations of ocean colour for determining variations in phytoplankton distribution and for deriving primary production (via models) has been largely demonstrated by the Coastal Zone Color Scanner (CZCS) which operated from 1978 to 1986. The capabilities of this pioneer sensor, however, were limited both in spectral resolution and radiometric accuracy. The next generation of ocean colour sensors will benefit from major improvements. The Medium Resolution Imaging Spectrometer (MERIS), planned by the European Space Agency (ESA) for the Envisat platform, has been designed to measure radiances in 15 visible and infrared channels. Three infrared channels will allow aerosol characterization, and therefore accurate atmospheric corrections, to be performed for each pixel. For the retrieval of marine parameters, nine channels between 410 and 705nm will be available (as opposed to only four with the CZCS). In coastal waters this should, in principle, allow a separate quantification of different substances (phytoplankton, mineral particles, yellow substance) to be performed. In open ocean waters optically dominated by phytoplankton and their associate detrital matter, the basic information (i.e. the concentration of phytoplanktonic pigments) will be retrieved with improved accuracy due to the increased radiometric performances of MERIS. The adoption of multi-wavelength algorithms could also lead to additional information concerning auxiliary pigments and taxonomic groups. Finally, MERIS will be one of the first sensors to allow measurements of Sun-induced chlorophyll a in vivo fluorescence, which could provide a complementary approach for the assessment of phytoplankton abundance. The development of these next-generation algorithms, however, requires a number of fundamental studies.     

Face Editing Using Part-Based Optimization of the Latent Space

We propose an approach for interactive 3D face editing based on deep generative models. Most of the current face modeling methods rely on linear methods and cannot express complex and non-linear deformations. In contrast to 3D morphable face models based on Principal Component Analysis (PCA), we introduce a novel architecture based on variational autoencoders. Our architecture has multiple encoders (one for each part of the face, such as the nose and mouth) which feed a single decoder. As a result, each sub-vector of the latent vector represents one part. We train our model with a novel loss function that further disentangles the space based on different parts of the face. The output of the network is a whole 3D face. Hence, unlike part-based PCA methods, our model learns to merge the parts intrinsically and does not require an additional merging process. To achieve interactive face modeling, we optimize for the latent variables given vertex positional constraints provided by a user. To avoid unwanted global changes elsewhere on the face, we only optimize the subset of the latent vector that corresponds to the part of the face being modified. Our editing optimization converges in less than a second. Our results show that the proposed approach supports a broader range of editing constraints and generates more realistic 3D faces.     

Towards a smooth design process for static communicative node‐link diagrams

Node‐link infographics are visually very rich and can communicate messages effectively, but can be very difficult to create, often involving a painstaking and artisanal process. In this paper we present an investigation of node‐link visualizations for communication and how to better support their creation. We begin by breaking down these images into their basic elements and analyzing how they are created. We then present a set of techniques aimed at improving the creation workflow by bringing more flexibility and power to users, letting them manipulate all aspects of a node‐link diagram (layout, visual attributes, etc.) while taking into account the context in which it will appear. These techniques were implemented in a proof‐of‐concept prototype called GraphCoiffure, which was designed as an intermediary step between graph drawing/editing software and image authoring applications. We describe how GraphCoiffure improves the workflow and illustrate its benefits through practical examples.     

Scalable digital hardware for a trapped ion quantum computer

Quantum Information Processing - Many of the challenges of scaling quantum computer hardware lie at the interface between the qubits and the classical control signals used to manipulate them....     

Impact resistance and tolerance of interleaved tape laminates

This paper presents and discusses the results of low-velocity impact and compression-after-impact (CAI) tests conducted on interleaved and non-interleaved carbon/epoxy tape laminates. Olefin film interleaves provided a strong interface bond, resulting in a reduction in projected damage area. These interleaves changed the stress distribution under impact and restricted delamination formation at the ply interface. An investigation into the compression behaviour of these laminates revealed a reduction in undamaged strength using olefin interleaves. This was attributed to the lack of lateral support for fibres at the fibre/interleaf interface, allowing fibre microbuckling to occur at a low load. Low modulus copolyamide web interleaves resulted in an increase in damage area and minor changes to CAI strength. Examination of laminate cross-sections revealed that this was due to both the open structure of the interleaf and poor resin/interleaf adhesion. High shear modulus polyethylene interleaves resulted in a significant decrease in damage area at various impact energies, with CAI strength improved compared to the non-interleaved laminates.