60 citations
- Politecnico di MilanoIT2 papers
- A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences1 paper
- Boston UniversityUS1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Computer Algorithms for MedicineAT1 paper
- Institute for Computer Aided DesignRU1 paper
- Institute of Informatics of the Slovak Academy of SciencesSK1 paper
- Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"IT1 paper
- Kazan Federal UniversityRU1 paper
- Moscow Institute of Physics and TechnologyRU1 paper
- Stony Brook UniversityUS1 paper
- University of BolognaIT1 paper
8 papers
Towards platform-independent verification of the standard mathematical functions: the square root function
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev +2
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for i…
Pseudorehearsal in value function approximation
Vladimir Marochko, Leonard Johard, Manuel Mazzara
Catastrophic forgetting is of special importance in reinforcement learning, as the data distribution is generally non-stationary over time. We study and compare several pseudorehea…
An architecture for non-invasive software measurement
Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara +4
Analysis of data related to software development helps to increase quality, control and predictability of software development processes and products.However, collecting such data…
Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices
Kamill Gusmanov, Kevin Khanda, Dilshat Salikhov +2
A large percentage of buildings, domestic or special-purpose, is expected to become increasingly "smarter" in the future, due to the immense benefits in terms of energy saving, saf…
Protein-protein docking by generalized Fourier transforms on 5D rotational manifolds
Dmitry Padhorny, Andrey Kazennov, Brandon S. Zerbe +7
Energy evaluation using fast Fourier transforms enables sampling billions of putative complex structures and hence revolutionized rigid protein-protein docking. However, in current…
Neuromorphic Robot Dream
Alexander Tchitchigin, Max Talanov, Larisa Safina +1
In this paper we present the next step in our approach to neurobiologically plausible implementation of emotional reactions and behaviors for real-time autonomous robotic systems.…