Semenov, Alexander
- Encoding Cryptographic Functions to SAT Using Transalg System
2016/07/04 by Ilya Otpuschennikov, Alexander Semenov, Otpuschennikov, Ilya +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification
- On Cryptographic Attacks Using Backdoors for SAT
2018/03/13 by Alexander Semenov, Oleg Zaikin, Semenov, Alexander +7 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning and Algorithms
- Multidimensional Assignment Problem for multipartite entity resolution
2021/12/06 by Alla Kammerdiner, Kammerdiner, Alla, Alexander V. Semenov +3 · 1 citation
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Data Quality and Management #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data
- The influence of color on prices of abstract paintings
2022/06/08 by Maksim Borisov, Borisov, Maksim, Valeria Kolycheva +5 · 1 citation
Arts and Humanities · Neuroscience · #Aesthetic Perception and Analysis #Art History and Market Analysis #FOS: Economics and business #General Economics (econ.GN)
- Change-Point Detection in Time Series Using Mixed Integer Programming
2024/08/11 by Prokhorov, Artem, Radchenko, Peter, Semenov, Alexander +1 · 1 citation
#Econometrics (econ.EM) #FOS: Economics and business