Results 1 to 10 of about 438,741 (228)
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 +6 more sources
Project report on LP+: a second generation Logic Programming language [PDF]
, 2000 We present a recently started research project. The goal of the project is to integrate into one system a number of techniques, execution mechanisms and development tools that were designed in various areas in Logic Programming in the past. Main components are: a strong support for (declarative) knowledge representation, including aspects of incomplete
De Schreye, Danny +5 more
openaire +2 more sources
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 +2 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
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
Instances and connectors : issues for a second generation process language [PDF]
, 1998 This work is supported by UK EPSRC grants GR/L34433 and GR/L32699Over the past decade a variety of process languages have been defined, used and evaluated. It is now possible to consider second generation languages based on this experience.
Bakvis Herman +68 more
core +7 more sources
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