Results 21 to 30 of about 9,322,932 (385)

On Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms

Моделирование и анализ информационных систем, 2017
To ensure traffic safety of railway transport, non-destructive testing of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods. The paper is devoted to the problem of automatic
Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin   +3 more
doaj   +1 more source

An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms

Моделирование и анализ информационных систем, 2018
To ensure traffic safety of railway transport, non-destructive testing of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods.
Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin   +3 more
doaj   +1 more source

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms

Моделирование и анализ информационных систем, 2018
To ensure traffic safety of railway transport, non-destructive test of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods.
Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin   +4 more
doaj   +1 more source

Edge Colouring of Neutrosophic Graphs and Its Application in Detection of Phishing Website

Discrete Dynamics in Nature and Society, 2022
Graph colouring enjoys many practical as well as theoretical uses. Graph colouring is still a very active subject of research. This article introduces a new concept of the chromatic number of the neutrosophic graph (NG).
Rupkumar Mahapatra, Sovan Samanta, Madhumangal Pal   +2 more
doaj   +1 more source

The Eulerian–Lagrangian Approach for the Numerical Investigation of an Acoustic Field Generated by a High-Speed Gas-Droplet Flow

Fluids, 2021
This paper presents the Eulerian–Lagrangian approach for numerical modeling of high-speed gas-droplet flows and aeroacoustics. The proposed hybrid approach is implemented using the OpenFOAM library and two different methods.
Valeriia G. Melnikova, Andrey S. Epikhin, Matvey V. Kraposhin   +2 more
doaj   +1 more source

Some New Upper Bounds for the Y-Index of Graphs

Journal of Mathematics, 2022
In mathematical chemistry, the topological indices with highly correlation factor play a leading role specifically for developing crucial information in QSPR/QSAR analysis.
Durbar Maji, Ganesh Ghorai, Faria Ahmed Shami   +2 more
doaj   +1 more source

The DarkSide Program [PDF]

EPJ Web of Conferences, 2016
DarkSide-50 at Gran Sasso underground laboratory (LNGS), Italy, is a direct dark matter search experiment based on a liquid argon TPC. DS-50 has completed its first dark matter run using atmospheric argon as target. The detector performances and the results of the first physics run are presented in this proceeding.
Rossi, B., Agnes, P., Alexander, T., Alton, A., Arisaka, K., Back, H. O., Baldin, B., Biery, K., Bonfini, G., Bossa, M., Brigatti, A., Brodsky, J., Budano, F., Calaprice, F., Canci, N., Candela, A., Cariello, M., Cavalcante, P., Catalanotti, S., Chavarria, A., Chepurnov, A., Cocco, A. G., Covone, G., D'Angelo, D., D'Incecco, M., Deo, M. De, Derbin, A., Devoto, A., Eusanio, F. Di, Edkins, E., Empl, A., Fan, A., Fiorillo, G., Fomenko, K., Franco, D., Gabriele, F., Galbiati, C., Goretti, A., Grandi, L., Guan, M. Y., Guardincerri, Y., Hackett, B., Herner, K., Hungerford, E. V., Ianni, A.l., Ianni, A.n., Kendziora, C., Koh, G., Korablev, D., Korga, G., Kurlej, A., Li, P. X., Lombardi, P., Luitz, S., Machulin, I., Mandarano, A., Mari, S., Maricic, J., Marini, L., Martoff, C. J., Meyers, P. D., Montanari, D., Montuschi, M., Monzani, M. E., Musico, P., Odrowski, S., Orsini, M., ORTICA, Fausto, Pagani, L., Pallavicini, M., Pantic, E., Papp, L., Parmeggiano, S., PELLICCIA, Nicomede, Perasso, S., Pocar, A., Pordes, S., Qian, H., Randle, K., Ranucci, G., Razeto, A., Reinhold, B., Renshaw, A., ROMANI, Aldo, Rossi, N., Rountree, S. D., Sablone, D., Saldanha, R., Sands, W., Segreto, E., Shields, E., Smirnov, O., Sotnikov, A., Stanford, C., Suvorov, Y., Tartaglia, R., Tatarowicz, J., Testera, G., Tonazzo, A., Unzhakov, E., Vogelaar, R. B., Wada, M., Walker, S., Wang, H., Watson, A., Westerdale, S., Wojcik, M., Xiang, X., Xu, J., Yang, C. G., Yoo, J., Zavatarelli, S., Zec, A., Zhu, C., Zuzel, G.   +114 more
openaire   +7 more sources

Deriving Synchronizing and Homing Sequences for Input/Output Automata

Моделирование и анализ информационных систем, 2017
In this paper, we study the problem of existence check and derivation of synchronizing and homing sequences for finite input/output automata. Corresponding sequences can be effectively used for the current state identification of a system under test ...
Natalia G. Kushik, Nina V. Yevtushenko, Igor B. Burdonov, Alexander S. Kossatchev   +3 more
doaj   +1 more source

Human Psychophysiological Activity Estimation Based on Smartphone Camera and Wearable Electronics

Future Internet, 2020
This paper presents a study related to human psychophysiological activity estimation based on a smartphone camera and sensors. In recent years, awareness of the human body, as well as human mental states, has become more and more popular.
Alexey Kashevnik, Mikhail Kruglov, Igor Lashkov, Nikolay Teslya, Polina Mikhailova, Evgeny Ripachev, Vladislav Malutin, Nikita Saveliev, Igor Ryabchikov   +8 more
doaj   +1 more source

Automated Termination Analysis for Logic Programs with Cut [PDF]

Theory and Practice of Logic Programming, 10(4-6), 365-381, 2010, 2010
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, whereas real-world Prolog programs typically use the cut operator. We introduce a novel pre-processing method which automatically transforms Prolog programs into logic programs ...
arxiv   +1 more source