1,661 research outputs found

    Disappearance of holographic and interference fringes accompanies optical diagnostics of a supersonic bow shock flow

    No full text
    Preliminary results of optical diagnostics of bow shocks in a supersonic wind tunnel by applying dual-hologram shear interferometry technique are discussed. A strong refraction effect of the probing beam penetrating a region in the vicinity of a bow shock over a blunt nose cone model has been discovered. On a signal hologram the effect leads to the disappearance of holographic fringes in a narrow region attached to the shock wave front. A reconstructed interferogram in this region manifests the absence of an interference pattern. Computer simulations were performed for a part of the probing beam penetrating the area of high-density steep gradients of compressed air attached to the central part of the shock front of a bow shock. The compressed area was modeled as a hyperbolic cap. The bow shock was assumed axisymmetric. The simulations made it possible to evaluate angles of deflections and found conformity with reconstructed interferograms (shadowgraphs). It is concluded that in the above-indicated region of bow shocks probing light is deviated refractively into some angles, which could be large enough for light rays to be blocked out and never arrive at the detector (photo film). In the case when interferometric fringes disappear, the effect of strong refraction makes it impossible to measure air density gradients in some critical region

    Verifiable cross-silo federated learning

    No full text
    Poster is related to the paper: Aleksei Korneev, Jan Ramon. Verifiable cross-silo federated learning. 2024. ⟨hal-04612305⟩International audienceFederated Learning (FL) is a widespread approach that allows training machine learning (ML) models with data distributed across multiple devices. In cross-silo FL, which often appears in domains like healthcare or finance, the number of participants is moderate, and each party typically represents a well-known organization. However, malicious agents may still attempt to disturb the training procedure in order to obtain certain benefits, for example, a biased result or a reduction in computational load. While one can easily detect a malicious agent when data used for training is public, the problem becomes much more acute when it is necessary to maintain the privacy of the training dataset. To address this issue, there is recently growing interest in developing verifiable protocols, where one can check that parties do not deviate from the training procedure and perform computations correctly. This poster reflects the results decribed in the corresponding paper where we conduct a comprehensive analysis of such protocols, and fit them in a taxonomy. We also perform a comparison of the efficiency and threat models of various approaches. We next identify research gaps and discuss potential directions for future scientific work

    Kornieiev Oleksandr Porfyrovych, a zoologist, sozologist, and teacher

    No full text
    Biographical details are given with the scientific and socially significant contribution of the zoologist and sozologist O. Korneev (1903–1987), who was professor and head of the Department of Vertebrate Zoology, Faculty of Biology, University of Kyiv. O. Korneev’s scientific research covered the study of fauna, ecology and economic importance of rodents, game animals, as well as fossil animals. Another significant area of activity were his environmental initiatives, including the development of the topic of protection of ‘useful animals,’ participation in environmental organizations, and the publication of popular science materials in the field of environmental protection. O. Korneev’s long pedagogical work was marked by a number of awards, including the Labor Order

    Céline en Russie. La traduction de Voyage au bout de la nuit par Yuriy Korneev

    No full text
    Voyage au bout de la nuit by Yuriy KornevTranslation into a foreign language of the work of Louis-Ferdinand Céline, the author known as really difficult to translate, is always considered as a milestone in the evolution of contemporary translation. In our article, the question we ask is how foreign translators achieve to render in other languages this Celinian French so vivid, violent, and horrifying by its rudeness and vulgarity. Searching an answer to this question, we have tried, using the example of the Russian translation of Céline’s first novel Journey to the End of the Night performed by Yuriy Korneev, to describe the obstacle course that a translator carries out in order to make an adaptation of the original text. Working over Céline’s masterpiece, a translator begins his work by studying the original style of the author in order to understand the nature of work on the language and catch on the effect muchsought by Céline. The restitution of the orality effect is a fundamental part of the stylistic work gone by the translator. Thus, in our article we draw on the major difficulties of translation that are: the “little music” of Céline formed on the basis of the choice of words to play on phonemes, the sounds and the rhythm of the sentence and onomatopoeia; the semantic matching between the two languages, using the same images and ideas association; transposition of regional and popular accents; translation of slang, scatological and offensive terms; spatial and temporal dissimilarities with the culture of today; plays on words and allusions, etc… Thus the translator working on a Céline’s novel is constantly coping with many difficulties that are sometimes really impossible to overcome, so that the translation is “swaying,” becoming sometimes too soft and neutral, sometimes too brutal and repugnant.Voyage au bout de la nuit by Yuriy KornevTranslation into a foreign language of the work of Louis-Ferdinand Céline, the author known as really difficult to translate, is always considered as a milestone in the evolution of contemporary translation. In our article, the question we ask is how foreign translators achieve to render in other languages this Celinian French so vivid, violent, and horrifying by its rudeness and vulgarity. Searching an answer to this question, we have tried, using the example of the Russian translation of Céline’s first novel Journey to the End of the Night performed by Yuriy Korneev, to describe the obstacle course that a translator carries out in order to make an adaptation of the original text. Working over Céline’s masterpiece, a translator begins his work by studying the original style of the author in order to understand the nature of work on the language and catch on the effect muchsought by Céline. The restitution of the orality effect is a fundamental part of the stylistic work gone by the translator. Thus, in our article we draw on the major difficulties of translation that are: the “little music” of Céline formed on the basis of the choice of words to play on phonemes, the sounds and the rhythm of the sentence and onomatopoeia; the semantic matching between the two languages, using the same images and ideas association; transposition of regional and popular accents; translation of slang, scatological and offensive terms; spatial and temporal dissimilarities with the culture of today; plays on words and allusions, etc… Thus the translator working on a Céline’s novel is constantly coping with many difficulties that are sometimes really impossible to overcome, so that the translation is “swaying,” becoming sometimes too soft and neutral, sometimes too brutal and repugnant

    Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

    No full text
    We consider the problem of binary image generation with given properties. This problem arises in a number of practical applications, including generation of artificial porous medium for an electrode of lithium-ion batteries, for composed materials, etc. A generated image represents a porous medium and, as such, it is subject to two sets of constraints: topological constraints on the structure and process constraints on the physical process over this structure. To perform image generation we need to define a mapping from a porous medium to its physical process parameters. For a given geometry of a porous medium, this mapping can be done by solving a partial differential equation (PDE). However, embedding a PDE solver into the search procedure is computationally expensive. We use a binarized neural network to approximate a PDE solver. This allows us to encode the entire problem as a logical formula. Our main contribution is that, for the first time, we show that this problem can be tackled using decision procedures. Our experiments show that our model is able to produce random constrained images that satisfy both topological and process constraints. © Springer International Publishing AG, part of Springer Nature 2018
    corecore