Results 21 to 30 of about 576,908 (281)
Quantum Programming Made Easy [PDF]
, 2019 We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu mildly merges
Paolini, Luca +2 more
core +2 more sources
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
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
, 2015 The Common HOL project aims to facilitate porting source code and proofs between members of the HOL family of theorem provers. At the heart of the project is the Common HOL Platform, which defines a standard HOL theory and API that aims to be compatible ...
Adams, Mark
core +6 more sources
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
International Journal of Electrochemical Science, 2013 Light addressable potentiometric sensors (LAPS) are important semiconductor based label free sensing tools that are useful for visualizing the 2-D distribution of chemical species because of their light addressing capability at measurement sites. However,
Yen-Heng Lin, Anirban Das, Chao-Sung Lai
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
Backdoors to Normality for Disjunctive Logic Programs [PDF]
, 2013 Over the last two decades, propositional satisfiability (SAT) has become one of the most successful and widely applied techniques for the solution of NP-complete problems.
Fichte, Johannes Klaus, Szeider, Stefan
core +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
Adversarial Data Programming: Using GANs to Relax the Bottleneck of Curated Labeled Data
, 2018 Paucity of large curated hand-labeled training data for every domain-of-interest forms a major bottleneck in the deployment of machine learning models in computer vision and other fields.
Balasubramanian, Vineeth N, Pal, Arghya
core +1 more source