Labeling Schemes for Dynamic Tree Networks

Distance labeling schemes are composed of a marker algorithm for labeling the vertices of a graph with short labels, coupled with a decoder algorithm allowing one to compute the distance between any two vertices directly from their labels (without using any additional information). As applications for distance labeling schemes concern mainly large and dynamically changing networks, it is of interest to study distributed dynamic labeling schemes. The current paper considers the problem on dynamic trees, and proposes efficient distributed schemes for it. The paper first presents a labeling scheme for distances in the dynamic tree model, with amortized message complexity O(log² n) per operation, where n is the size of the tree at the time the operation takes place. The protocol maintains O(log² n) bit labels. This label size is known to be optimal even in the static scenario. A more general labeling scheme is then introduced for the dynamic tree model, based on extending an existing static tree labeling scheme to the dynamic setting. The approach fits a number of natural tree functions, such as distance, separation level, and flow. The main resulting scheme incurs an overhead of an O(log n) multiplicative factor in both the label size and amortized message complexity in the case of dynamically growing trees (with no vertex deletions). If an upper bound on n is known in advance, this method yields a different tradeoff, with an O(log² n/log log n) multiplicative overhead on the label size but only an O(log n/log log n) overhead on the amortized message complexity. In the fully dynamic model the scheme also incurs an increased additive overhead in amortized communication, of O(log² n) messages per operation.     

Formulation of Presliding Domain Non-local Memory Hysteretic Loops Based Upon Modified Maxwell Slip Model

In this paper, we investigate formulation of non-local memory effect hysteretic loops in presliding domain of friction by examining the dynamic responses of a single-degree-of-freedom friction oscillator. We modify the Maxwell slip model introducing characteristic features of asperities and perform detailed examination of the system from two perspectives. The first one, termed by us as microscale, presents contribution of each individual asperity to the total friction force, whereas the second one, termed by us as macroscale, concerns friction force behaviour of the whole model treated as the unity, with a special emphasis on non-local memory effect hysteretic loops formulation, complemented by time responses.     

FFT regression and cross-noise reduction for comparing images in remote sensing

In many remote sensing studies it is desired to quantify the functional relationship between images of a given target that were acquired by different sensors. Such comparisons are problematic because when the pixel values of one image are plotted versus the other, the 'cross-noise' is quite high. Typically, the correlation coefficient is quite low, even when the compared images look alike. Nevertheless, we can try to quantify the functional relationship between two images by a suitable regression model function Y = f ( X ), while choosing one of them as 'the reference' Y and using the other one as a 'predictor' X . The underlying assumption of classical regression is that Y is absolutely correct while X is erroneous. Thus, the objective is to fit X to Y by choosing the parameters of Y = f ( X ), which minimize the 'residuals' ( “ - Y ). When comparing images in remote sensing this objective is not valid because Y itself is error prone. The alternative FFT regression method presented herein comprises a two-stage sensor fusion approach, whereby the initially low correlation between X and Y is increased and the residuals are dramatically decreased. First, pairwise image transforms are applied to X and Y whereby the correlation coefficient is increased, e.g. from roughly 0.4 to about 0.8-0.85. A predicted image Y fft is then derived by least squares minimization between the amplitude matrices of X and Y, via the 2D FFT. In the second stage, there are two options: For one time predictions, the phase matrix of Y is combined with the amplitude matrix of Y fft, whereby an improved predicted image Y plock is formed. Usually, the residuals of Y plock versus Y are about half of the values of Y fft versus Y . For long term predictions, the phase matrix of a 'field mask' is combined with the amplitude matrices of the reference image Y and the predicted image Y fft . The field mask is a binary image of a pre-selected region of interest in X and Y . The resultant images Y pref and Y pred are modified versions of Y and Y fft respectively. The residuals of Y pred versus Y pref are even lower than the residuals of Y plock versus Y . Images Y pref and Y pred represent a close consensus of two independent imaging methods which view the same target. The practical utility of FFT regression is demonstrated by examples wherein remotely sensed NDVI images X are used for predicting yield distributions in agricultural fields. Reference yield maps Y were derived by yield monitors which measure the flow rate of the crop while it is being harvested. The 2D FFT transforms, as well as other mathematical operations in this paper were performed in the 'MATLAB' environment.     

Sharpening filter for false color imaging of dual-energy X-ray scans

Dual-energy X-ray imaging has a vast range of application in security. Luggage inspection is an essential process for an airplane or court house security as well as securing mass events. An image of a content of some package may help to figure out if there is any dangerous object inside and avoid possibly threatening situation. As the raw X-ray images are not always easy to analyze and interpret, some image processing methods like an object detection, a frequency resolution increase or a pseudocoloring are being used. Since color can be a powerful tool to improve the usefulness of an information display, we propose pseudocoloring improvement by modifying material-based approach with edge detection to fill and sharpen color layers over the image making it easier to read and analyze. We demonstrate the effectiveness of the methods using real data, acquired from a professional dual-energy X-ray scanner.     

Polyhydroxyalkanoate‐based drug delivery systems

Microbial polyhydroxyalkanoates (PHAs) have been a subject of significant research interest in the past few decades. The recent development of novel functionalized PHAs has opened up new possibilities to combine the good biocompatibility of PHA‐based drug delivery systems to, for example, improve drug loading and release properties, targeting or imaging functionalities. This mini‐review presents some recent scientific developments in the preparation of functionalized PHAs, PHA–drug and PHA–protein conjugates, multifunctional PHA nanoparticles and micelles as well as biosynthetic PHA particles for drug delivery. These developments in combination with the generally excellent biocompatibility of PHA materials are expected to further expand the interest in PHA materials for drug delivery and other therapeutic applications. © 2016 Society of Chemical Industry     

Online version of the theorem of Thue

A sequence S is nonrepetitive if no two adjacent blocks of S are the same. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3 symbols. We consider the online variant of this result in which a nonrepetitive sequence is constructed during a play between two players: Bob is choosing a position in a sequence and Alice is inserting a symbol on that position taken from a fixed set A. The goal of Bob is to force Alice to create a repetition, and if he succeeds, then the game stops. The goal of Alice is naturally to avoid that and thereby to construct a nonrepetitive sequence of any given length.We prove that Alice has a strategy to play arbitrarily long provided the size of the set A is at least 12. This is the online version of the theorem of Thue. The proof is based on nonrepetitive colorings of outerplanar graphs. On the other hand, one can prove that even over 4 symbols Alice has no chance to play for too long. The minimum size of the set of symbols needed for the online version of Thue?s theorem remains unknown.     

A Comparative Study of Mechanical Properties,Thermal Conductivity,Residual Stresses,and Wear Resistance of Aluminum-Alumina Composites Obtained by Squeeze Casting and Powder Metallurgy

Squeeze casting and powder metallurgy techniques were employed to fabricate AlSi12/Al₂O₃ composites, which are lightweight structural materials with potential applications in the automotive industry. The impact of the processing route on the material properties was studied. Comparative analyses were conducted for the Vickers hardness, flexural strength, fracture toughness, thermal conductivity, thermal residual stresses, and frictional wear. Our results show that the squeeze cast composite exhibits superior properties to those obtained using powder metallurgy.

     

Decidability of Equivalence of Symbolic Derivations

We give in this paper an alternative, and we believe simpler, proof of a deep result by Mathieu Baudet, namely that the equivalence of symbolic constraints is decidable for deduction systems on a finite signature modulo a subterm convergent equational theory.