Results 1 to 10 of about 29,565 (201)
An Automatic Drawing Spur Gears Based on AutoCAD Program [PDF]
Tikrit Journal of Engineering Sciences, 2021 In this research, a computer-aided drawing system of spur gear was developed. An auto LISP programming language embedded within the AutoCAD design package was used to develop a new program to create a 3D model of a spur gear in two main stages.
Najat Najmaldeen Hamed
doaj +3 more sources
Random number generation with arrays of coupled quantum-dot micropillar lasers [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2021 The paper investigates the results of random number generation with arrays of coupled quantum-dot micropillar lasers. The micropillars array laser generation is modeled based on the rate equations for quantum dot lasers.
Artem A. Petrenko +2 more
doaj +1 more source
A Swiss Pocket Knife for Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Neil D. Jones
doaj +1 more source
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under ...
Teemu Kanstrén, Olli-Pekka Puolitaival
doaj +1 more source
Retrieval-Based Transformer Pseudocode Generation
Mathematics, 2022 The comprehension of source code is very difficult, especially if the programmer is not familiar with the programming language. Pseudocode explains and describes code contents that are based on the semantic analysis and understanding of the source code ...
Anas Alokla +4 more
doaj +1 more source
Natural Language Generation for Non-Expert Users [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Motivated by the difficulty in presenting computational results, especially when the results are a collection of atoms in a logical language, to users, who are not proficient in computer programming and/or the logical representation of the results, we ...
Van Duc Nguyen +2 more
doaj +1 more source
A formal model for ledger management systems based on contracts and temporal logic
Blockchain: Research and Applications, 2022 A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test.
Paolo Bottoni +2 more
doaj +1 more source
Creative Culinary Recipe Generation Based on Statistical Language Models
IEEE Access, 2020 Many works have been done in an effort to create systems for automatic generation of creative culinary recipes. Although most of them are related to the recipe ingredient lists, few works have been done to evaluate and generate the preparation steps of ...
Willian Antonio dos Santos +3 more
doaj +1 more source
Collaborative Metadata Definition using Controlled Vocabularies, and Ontologies [PDF]
Research Ideas and Outcomes, 2022 Data's role in a variety of technical and research areas is undeniably growing. This can be seen, for example, in the increased investments in the development of data-intensive analytical methods such as artificial intelligence (Zhang 2022), as well as ...
Ilia Bagov +2 more
doaj +3 more sources
Machine Learning with Applications, 2023 Transformer, a deep learning technology, has achieved great success in various applications such as natural language processing. However, its space–time consumption remains a concern, leading to the issue of AI technology monopoly.
Feng Hsu Wang
doaj +1 more source