Results 21 to 30 of about 578,084 (301)
Verifying constant-time implementations by abstract interpretation
European Symposium on Research in Computer Security, 2018 Constant-time programming is an established discipline to secure programs against timing attackers. Several real-world secure C libraries such as NaCl, mbedTLS, or Open Quantum Safe, follow this discipline.
Sandrine Blazy +2 more
semanticscholar +1 more source
OPT-RNN-DBSVM: OPTimal Recurrent Neural Network and Density-Based Support Vector Machine
Mathematics, 2023 When implementing SVMs, two major problems are encountered: (a) the number of local minima of dual-SVM increases exponentially with the number of samples and (b) the computer storage memory required for a regular quadratic programming solver increases ...
Karim El Moutaouakil +4 more
doaj +1 more source
Research OF Complex Processes Based on Step-By-Step Modeling
Nauka ta progres transportu, 2021 Purpose. When solving practical problems that require the creation and further analysis of the model, an important criterion is the labour intensity of modeling.
O. V. Horbova, N. S. Murkovych
doaj +1 more source
DYNAMIC SIMULATION AND COMPOSITION CONTROL IN A 10 L MIXING TANK
Reaktor, 2012 The open loop experiment of composition dynamic in a 10 L mixing tank has been successfully done inlaboratory. A 10 L tank was designed for mixing of water (as a stream-1) and salt solution (as astream-2 with salt concentration, c2 constant). An electric
Yulius Deddy Hermawan, Gogot Haryono
doaj +1 more source
Digital core: study of textural heterogeneities in a rock
Известия Томского политехнического университета: Инжиниринг георесурсов, 2023 Relevance. When real fluid flows through channels of limited dimensions, it experiences a constant loss of mechanical energy (hydraulic resistance) due to the action of viscous friction.
Yuri E. Katanov +2 more
doaj +1 more source
ACS Sustainable Chemistry and Engineering, 2018 In order to design ionic liquids as absorbents for gas separation, a systematic computer-aided ionic liquid design (CAILD) methodology is applied and demonstrated by three cases of CO2 capture. Mixed-integer nonlinear programming problems are formulated,
Jingwen Wang +5 more
semanticscholar +1 more source
AIP Advances, 2017 A compact control system based on Delphi and Field Programmable Gate Array(FPGA) is developed for a repetitive intense electron-beam accelerator(IEBA), whose output power is 10GW and pulse duration is 160ns.
Yongfeng Qiu +4 more
doaj +1 more source
Сучасний стан наукових досліджень та технологій в промисловості, 2020 The subject of the article is the testing process on multi-touch devices for the implementation of psychoneurological studies. The goal of the work is development specialized dynamic tests with the introduction of Multi-touch technology to detect carpal ...
Karina Selivanova +2 more
doaj +1 more source
Nonlinear stability analysis of the frame structures [PDF]
Građevinski Materijali i Konstrukcije, 2016 In this paper the phenomenon of instability of frames in elasto-plastic domain was investigated. Numerical analysis was performed by the finite element method.
Ćorić Stanko, Brčić Stanko
doaj +1 more source
Production Quality of Shaped Surfaces During Milling [PDF]
Journal of Systemics, Cybernetics and Informatics, 2022 In the context of the development of continuous improvement, increasing the level of quality, safety and protection of the ecological environment, it is necessary to deal with the sensitive phases of the production process and to evaluate the efficiency ...
Marek Sadilek +6 more
doaj