Class-Weighted Convolutional Features for Visual Instance Search

Image retrieval in realistic scenarios targets large dynamic datasets of unlabeled images. In these cases, training or fine-tuning a model every time new images are added to the database is neither efficient nor scalable. Convolutional neural networks trained for image classification over large datasets have been proven effective feature extractors for image retrieval. The most successful approaches are based on encoding the activations of convolutional layers, as they convey the image spatial information. In this paper, we go beyond this spatial information and propose a local-aware encoding of convolutional features based on semantic information predicted in the target image. To this end, we obtain the most discriminative regions of an image using Class Activation Maps (CAMs). CAMs are based on the knowledge contained in the network and therefore, our approach, has the additional advantage of not requiring external information. In addition, we use CAMs to generate object proposals during an unsupervised re-ranking stage after a first fast search. Our experiments on two public available datasets for instance retrieval, Oxford5k and Paris6k, demonstrate the competitiveness of our approach outperforming the current state-of-the-art when using off-the-shelf models trained on ImageNet. The source code and model used in this paper are publicly available at http://imatge-upc.github.io/retrieval-2017-cam/.Comment: To appear in the British Machine Vision Conference (BMVC), September 201

The study of proteotomic profile of mutton with consideration to the influence of feed combinatorics

The present article is devoted to the search for markers that attest the changes in the protein profile when fattening the lambs with enriched diets, taking into account tissue specificity. The purpose of scientific research was to expand scientific knowledge about the influence of essential trace elements of organic origin in the diet of lambs on the marker-proteins of skeletal muscle tissue, of myocardium and renal cortical substance. The objects of research were the tissues of the m.L.dorsi skeletal muscle, myocardium and cortical substance of the kidneys in lambs of the Edilbaev breed. These lambs received a diet with organic trace elements (iodine, selenium, silicon). To study the effect of microelements in the diets of lambs on change in marker-proteins, we ran the studies of the skeletal muscle, myocardium and cortical substance of the kidneys of lambs, using the method of two-dimensional electrophoresis. When searching for proteins which mark the action of organic additives in the fattening diet of lambs within the tissue of the myocardium and the cortical substance of the kidneys, a number of differences were noted; no pronounced effects were observed in the skeletal muscle. Enrichment of the diet of lambs with selenium derivatives led to a change in the protein composition in the kidneys cortical substance for some isoforms of selenium-containing proteins and related enzymes of the glutathione cycle. Reaction in this process of thermal shock proteins, utilization of aflatoxins and changes in proteins of energy metabolism within mitochondria of kidney cells was also revealed. The determination of functional activity, or immunofermental analysis of glutathione peroxidase 3 count in the blood, can be a promising biomarker for controlling the level of selenium digestion and the count of selenium in blood as a more rapid and cheap method in comparison with the proteomic technologies. And for assessing the rate of digestion and fixation of iodine, it seems promising to determine it via the activity of mitochondrial superoxide dismutase [Mn]. In the myocardium, the effect of digested feed additives mainly affected the mitochondrial apparatus, which changed its functional orientation, with the activation of several other metabolic cycles. These results are prerequisites for obtaining more fundamental data on the effect of diets enriched with essential micronutrients on the molecular mechanisms that take place within the myocardial and kidney tissue of lambs. New data have been obtained on the effect of diets enriched with essential microelements on the molecular mechanisms occurring in the myocardial tissue and cortical substance of the kidneys of goats and sheep. The research results obtained by proteomics methods will be used for modeling and targeted adjustment of diets in order to obtain raw materials with the necessary technological characteristics

Use of iodine and selenium enriched fodder rations for production of fortified young lamb

The article is devoted to preventive measures to eliminate the problem of dysmicroelementosis in order to increase the productivity of young sheep. The article presents the results of studies of the influence of feeding rations on the growth and development of young sheep of the Edilbaev breed, on the level of their meat productivity and the qualitative characteristics of biologically fortified lamb. Feed additives based on Yoddar-Zn and DAFS-25 were added to the main ration of lambs at the age of four months, once a day, being added into a fodder mixture with concentrates. For the experiment the herd of lambs was divided to four groups of 25 heads each.The changes in live weight at the age of four, five, six and seven months were analyzed, and it was found that at the age of seven months, the absolute average weight gain in the experimental groups varied from 3.45 kg to 4.49 kg, in the control group it was 3.1 kg, while the largest live weight gain was recorded in group III which received both feed additives based on Yoddar-Zn and DAFS-25.There were no significant differences in the parameters of body measurements, with the exception of group III, where the chest circumference increased by 7.2%, and the height of a lamb at the withers increased in average by 8.1%. It was found that group III had the highest meat density coefficient, equal to 3.9, and the cross-sectional area of m. Longissimus dorsi was equal to 13.61 cm2. It was noted that the amount of free amino acids of the lamb group III is 18.8% higher than the meat of the control group. The lamb obtained from the animals of the experimental groups showed a higher protein content and less fat. The ratio of water to protein in all samples was slightly higher than 3.7, which corresponds to the Federa number for meat raw materials. Enriching the rations of the Edilbaevskoy sheep with feed additives Yoddar-Zn and DAFS-25 promotes the stimulation of growth and development of animals, increases the productivity and nutritional value of lamb

The mysterious eruption of V838 Mon

V838 Mon is marking one of the most mysterious stellar outbursts on record. The spectral energy distribution of the progenitor resembles an under-luminous F main sequence star (at V=15.6 mag), that erupted into a cool supergiant following a complex and multi-maxima lightcurve (peaking at V=6.7 mag). The outburst spectrum show BaII, LiI and lines of several s-elements, with wide P-Cyg profiles and a moderate and retracing emission in the Balmer lines. A light-echo discovered expanding around the object helped to constrain the distance (d=790+/-30 pc), providing M_V=+4.45 in quiescence and M_V=-4.35 at optical maximum (somewhat dependent on the still uncertain E(B-V)=0.5 reddening). The general outburst trend is toward lower temperatures and larger luminosities, and continuing so at the time of writing. The object properties conflict with a classification within already existing categories: the progenitor was not on a post-AGB track and thus the similarities with the born-again AGB stars FG Sge, V605 Aql and Sakurai's object are limited to the cool giant spectrum at maximum; the cool spectrum, the moderate wind velocity (500 km/sec and progressively reducing) and the monotonic decreasing of the low ionization condition argues against a classical nova scenario. The closest similarity is with a star that erupted into an M-type supergiant discovered in M31 by Rich et al. (1989), that became however much brighter by peaking at M_V=-9.95, and with V4332 Sgr that too erupted into an M-type giant (Martini et al. 1999) and that attained a lower luminosity, closer to that of V838 Mon. M31-RedVar, V4332 Sgr and V838 Mon could be manifestations of the same and new class of astronomical objects.Comment: A&A, in pres

Verification and Control of Partially Observable Probabilistic Real-Time Systems

We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local states are partially visible to an observer or controller. We give a probabilistic temporal logic that can express a range of quantitative properties of these models, relating to the probability of an event's occurrence or the expected value of a reward measure. We then propose techniques to either verify that such a property holds or to synthesise a controller for the model which makes it true. Our approach is based on an integer discretisation of the model's dense-time behaviour and a grid-based abstraction of the uncountable belief space induced by partial observability. The latter is necessarily approximate since the underlying problem is undecidable, however we show how both lower and upper bounds on numerical results can be generated. We illustrate the effectiveness of the approach by implementing it in the PRISM model checker and applying it to several case studies, from the domains of computer security and task scheduling