Designing N‐PolyVector Fields with Complex Polynomials

We introduce N‐PolyVector fields, a generalization of N‐RoSy fields for which the vectors are neither necessarily orthogonal nor rotationally symmetric. We formally define a novel representation for N‐PolyVectors as the root sets of complex polynomials and analyze their topological and geometric properties. A smooth N‐PolyVector field can be efficiently generated by solving a sparse linear system without integer variables. We exploit the flexibility of N‐PolyVector fields to design conjugate vector fields, offering an intuitive tool to generate planar quadrilateral meshes.     

Texture Mapping Real‐World Objects with Hydrographics

In the digital world, assigning arbitrary colors to an object is a simple operation thanks to texture mapping. However, in the real world, the same basic function of applying colors onto an object is far from trivial. One can specify colors during the fabrication process using a color 3D printer, but this does not apply to already existing objects. Paint and decals can be used during post‐fabrication, but they are challenging to apply on complex shapes. In this paper, we develop a method to enable texture mapping of physical objects, that is, we allow one to map an arbitrary color image onto a three‐dimensional object. Our approach builds upon hydrographics, a technique to transfer pigments printed on a sheet of polymer onto curved surfaces. We first describe a setup that makes the traditional water transfer printing process more accurate and consistent across prints. We then simulate the transfer process using a specialized parameterization to estimate the mapping between the planar color map and the object surface. We demonstrate that our approach enables the application of detailed color maps onto complex shapes such as 3D models of faces and anatomical casts.     

Effect of photoaligning azo dye structure on liquid crystal anchoring energy

A method of controlling anchoring energy of surface interaction of liquid crystal photoaligning substances is considered to enhance the liquid crystal display performances. An important parameter of the dye's molecular structure that determines the ratio of polar and azimuthal anchoring energy is the ability to form dimers. The values of dimerization thermodynamic potentials have been found. The probability of the formation of dye molecules dimers is evaluated. The bonds conjugation transfer via intermolecular hydrogen bond is revealed, and anisotropy of polarizability of the hydrogen bond is evaluated. The effect of dimerization on polar and azimuthal anchoring energy of liquid crystal — azo dye system — is shown.     

Path‐space Motion Estimation and Decomposition for Robust Animation Filtering

Renderings of animation sequences with physics‐based Monte Carlo light transport simulations are exceedingly costly to generate frame‐by‐frame, yet much of this computation is highly redundant due to the strong coherence in space, time and among samples. A promising approach pursued in prior work entails subsampling the sequence in space, time, and number of samples, followed by image‐based spatio‐temporal upsampling and denoising. These methods can provide significant performance gains, though major issues remain: firstly, in a multiple scattering simulation, the final pixel color is the composite of many different light transport phenomena, and this conflicting information causes artifacts in image‐based methods. Secondly, motion vectors are needed to establish correspondence between the pixels in different frames, but it is unclear how to obtain them for most kinds of light paths (e.g. an object seen through a curved glass panel). To reduce these ambiguities, we propose a general decomposition framework, where the final pixel color is separated into components corresponding to disjoint subsets of the space of light paths. Each component is accompanied by motion vectors and other auxiliary features such as reflectance and surface normals. The motion vectors of specular paths are computed using a temporal extension of manifold exploration and the remaining components use a specialized variant of optical flow. Our experiments show that this decomposition leads to significant improvements in three image‐based applications: denoising, spatial upsampling, and temporal interpolation.     

METIS-II: low resource machine translation

METIS-II was an EU-FET MT project running from October 2004 to September 2007, which aimed at translating free text input without resorting to parallel corpora. The idea was to use “basic” linguistic tools and representations and to link them with patterns and statistics from the monolingual target-language corpus. The METIS-II project has four partners, translating from their “home” languages Greek, Dutch, German, and Spanish into English. The paper outlines the basic ideas of the project, their implementation, the resources used, and the results obtained. It also gives examples of how METIS-II has continued beyond its lifetime and the original scope of the project. On the basis of the results and experiences obtained, we believe that the approach is promising and offers the potential for development in various directions.     

Network invariants for real-time systems

We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition structures (which are similar in spirit to timed automata) and define a notion of abstraction that is safe with respect to linear temporal properties. We strengthen the notion of abstraction to allow a finite system, then called network invariant, to be an abstraction of networks of real-time systems. In general the problem of checking abstraction of real-time systems is undecidable. Hence, we provide sufficient criteria, which can be checked automatically, to conclude that one system is an abstraction of a concrete one. Our method is based on timed superposition and discretization of timed systems. We exemplify our approach by proving mutual exclusion of a simple protocol inspired by Fischer’s protocol, using the model checker TLV. Part of this work was done during O. Grinchtein’s stay at Weizmann Institute. This author was supported by the European Research Training Network “Games”.     

REVISE: A Tool for Measuring and Mitigating Bias in Visual Datasets

International Journal of Computer Vision - Machine learning models are known to perpetuate and even amplify the biases present in the data. However, these data biases frequently do not become...     

Coupled temperature and moisture effects on the tensile behavior of strain hardening cementitious composites (SHCC) reinforced with PVA fibers

This paper reports the experimental findings on the tensile behavior of strain-hardening cement-based composites (SHCC). The composites were subjected to the combined effects of elevated temperatures and internal moisture condition. Uniaxial tensile tests on dumbbell-shaped SHCC specimens with in situ temperature control were performed at 22, 60 and 100 °C. In addition, the effect of the internal humidity of SHCC (95, 50, 20 and 0%) coupled to the elevated temperatures was investigated. It was shown that the tensile strength decreases and the strain capacity increases with an increase in temperature. The influence of the internal moisture conditions was more significant in high temperatures. The strain capacity reduced significantly with a decrease in the humidity level. The crack pattern of the SHCC specimens was determined. Furthermore, single fiber pullout tests were performed under the considered high temperatures condition. Finally, the results are discussed based on the thermogravimetry analysis of the PVA fiber, alterations on its microstructure and surface coating.