Results 21 to 30 of about 1,118,392 (326)
50 Years of CS1 at SIGCSE: A Review of the Evolution of Introductory Programming Education Research
Technical Symposium on Computer Science Education, 2019 The SIGCSE Technical Symposium is celebrating its 50th year, and a constant theme throughout this history has been to better understand how novices learn to program.
Brett A. Becker, Keith Quille
semanticscholar +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
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
Key Concepts, Weakness and Benchmark on Hash Table Data Structures
Algorithms, 2022 Most computer programs or applications need fast data structures. The performance of a data structure is necessarily influenced by the complexity of its common operations; thus, any data-structure that exhibits a theoretical complexity of amortized ...
Santiago Tapia-Fernández +2 more
doaj +1 more source
Computational Intelligence in Marine Control Engineering Education
Polish Maritime Research, 2021 This paper presents a new approach to the existing training of marine control engineering professionals using artificial intelligence. We use optimisation strategies, neural networks and game theory to support optimal, safe ship control by applying the ...
Lisowski Józef
doaj +1 more source
Numerical simulation of electric signal in the cyber-physical immunosensor system on rectangular lattice in R package [PDF]
, 2019 Проведено чисельне моделювання електричного сигналу з перетворювача в кіберфізичній імуносенсорній системі на прямокутній решітці з використанням диференціальних рівнянь із запізненням за допомогою пакета R.
Sverstiuk, Andrii +1 more
core +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
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
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
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