Results 31 to 40 of about 1,118,392 (326)

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

Model Checking Linear Logic Specifications [PDF]

, 2003
The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core   +1 more source

A compact control system to achieve stable voltage and low jitter trigger for repetitive intense electron-beam accelerator based on resonant charging

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, Jinliang Liu, Jianhua Yang, Xinbing Cheng, Xiao Yang   +4 more
doaj   +1 more source

DETERMINATION OF THE BASIC PARAMETERS OF SENSOR DEVICES FOR THE IMPLEMENTATION OF PSYCHONEUROLOGICAL RESEARCH WITH THE INTRODUCTION OF MULTITOUCH TECHNOLOGY

Сучасний стан наукових досліджень та технологій в промисловості, 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, Oleg Avrunin, Nikita Kazimirov   +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

Efficient Groundness Analysis in Prolog [PDF]

, 2002
Boolean functions can be used to express the groundness of, and trace grounding dependencies between, program variables in (constraint) logic programs.
Howe, Jacob M., King, Andy
core   +4 more sources

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, Robert Cep, Lenka Cepova, Lukas Kusnir, Patrik Sniehotta, Hana Stverkova, Katarzyna Czerna   +6 more
doaj  

Extreme gravitational lensing in vicinity of Schwarzschild-de Sitter black holes

, 2007
We have developed a realistic, fully general relativistic computer code to simulate optical projection in a strong, spherically symmetric gravitational field.
A. Einstein, A. J. S. Hamilton, C.T. Cunningham, D. Kobras, H.C. Ohanian, H.P. Nollert, J.P. Ostriker, L.M. Krauss, P. Bakala, R.J. Nemiroff, S.U. Viergutz, Z. Stuchlík, Z. Stuchlík   +12 more
core   +1 more source

0-1 Integer Linear Programming with a Linear Number of Constraints [PDF]

, 2014
We give an exact algorithm for the 0-1 Integer Linear Programming problem with a linear number of constraints that improves over exhaustive search by an exponential factor.
Impagliazzo, Russell, Lovett, Shachar, Paturi, Ramamohan, Schneider, Stefan   +3 more
core   +1 more source

A Survey on Continuous Time Computations [PDF]

, 2007
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.
A Ben-Hur, A Ben-Hur, A Ben-Hur, A Ben-Hur, A Kempe, A Rabinovich, A Turing, A Vergis, A. Church, APL Francisco, Asarin, B Trakhtenbrot, BJ Copeland, C Moore, C Moore, C Moore, C Moore, CE Shannon, CS Calude, D Dee, D Deutsch, D Graça, D Woods, DS Graça, DS Graça, E Asarin, E Asarin, E Asarin, E Post, EB Davies, G Etesi, G Lafferriere, G P ăun, H Abdi, HM Stoll, HT Siegelmann, HT Siegelmann, HT Siegelmann, I Artobolevskii, I Németi, J Earman, J Foy, J Mycka, J Mycka, J Mycka, J Mycka, J Šíma, J Šíma, JF Costa, JJ Hopfield, JJ Hopfield, JV Tucker, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Weihrauch, K-I Ko, K-I Ko, L Blum, L Faybusovich, L Faybusovich, L Lipshitz, LA Rubel, LA Rubel, LM Adleman, M Campagnolo, M Campagnolo, M Casey, M Casey, M Davis, M Gori, M Hogarth, M Hogarth, M Hoyrup, M Pour-El, MB Pour-El, MB Pour-El, MB Pour-El, MD Bowles, ML Campagnolo, ML Campagnolo, ML Hogarth, MO Rabin, MS Branicky, MS Branicky, N Müller, O Bournez, O Bournez, O Bournez, O Bournez, O Bournez, O. Finkel, P Bouyer, P Clote, P Collins, P Koiran, P Koiran, P Koiran, P Orponen, P Orponen, PW Shor, R Alur, R Alur, R Legenstein, RJ Lipton, RW Brockett, RW Brockett, S Aaronson, S Grigorieff, S Omohundro, S. C. Kleene, T Brihaye, T Brihaye, T Head, T Natschläger, TA Henzinger, TD Kieu, U Helmke, V Bush, VD Blondel, VD Blondel, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, WD Smith, Šíma   +138 more
core   +5 more sources