Search Results - "Automated Programming"
-
1
Authors: Segovia Aguas, Javier
Contributors: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
Thesis Advisors: Jonsson, Anders
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Classical planning, Generalized planning, Automated programming, Program synthesis
File Description: application/pdf
Access URL: http://hdl.handle.net/10803/663753
-
2
Authors:
Source: 2024 47th MIPRO ICT and Electronics Convention (MIPRO). :193-198
-
3
Authors:
Source: Education Sciences, Vol 15, Iss 11, p 1486 (2025)
Subject Terms: programming education, Automated Programming Assessment System (APAS), practical exam, test-driven learning, student engagement, algorithmic thinking, Education
File Description: electronic resource
-
4
Authors:
Contributors:
Source: Annals of Mathematics and Artificial Intelligence. 91:569-589
Subject Terms: Artificial intelligence, Pretrained large language models, Symbolic computation, Machine learning, Software industry, 0202 electrical engineering, electronic engineering, information engineering, Automated programming, Automated reasoning, 0102 computer and information sciences, 02 engineering and technology, Programming assistant, Artificial general intelligence, 01 natural sciences
-
5
Authors: Dmytro Nikitin
Source: Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології, Iss 1 (9), Pp 104-109 (2023)
-
6
Authors:
Source: Information, Vol 16, Iss 5, p 401 (2025)
Subject Terms: program synthesis, automated programming, search-based algorithm, heuristic, metaheuristic, survey, Information technology, T58.5-58.64
File Description: electronic resource
-
7
Authors: et al.
Source: Machine Learning and Knowledge Extraction, Vol 7, Iss 2, p 41 (2025)
Subject Terms: automated programming assessment systems (APASs), contrastive learning, explainable AI, feature ablation, integrated gradients, machine learning in education, Computer engineering. Computer hardware, TK7885-7895
File Description: electronic resource
-
8
Authors: et al.
Source: Internet of Things ISBN: 9783031621451
Subject Terms: Automated programming, Collective adaptive systems, Collective learning, Global to local, Many-agent reinforcement learning, Multiagent reinforcement learning, Self-organization
File Description: application/pdf
-
9
Authors:
Source: Robotics, Vol 13, Iss 8, p 118 (2024)
Subject Terms: learning from demonstration (LfD), redundant manipulators, automated programming, workspace learning, skill-based programming, task and motion planning, Mechanical engineering and machinery, TJ1-1570
Relation: https://www.mdpi.com/2218-6581/13/8/118; https://doaj.org/toc/2218-6581; https://doaj.org/article/39475a556497411f8aed28a3dbd24013
-
10
Authors:
Contributors:
-
11
Source: Вісник Національного технічного університету «ХПІ». Серія: Системний аналiз, управління та iнформацiйнi технологiї; № 1 (9) (2023); 104-109
Вестник Национального технического университета "ХПИ". Серия: Системный анализ, управление и информационные технологии; № 1 (9) (2023); 104-109
Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies; No. 1 (9) (2023); 104-109Subject Terms: верифікація та валідація, formal methods, requirements formalization, формалізація вимог, spacecraft control, verification and validation, state machines, автоматизоване програмування, доведення теорем, object-oriented programming, code generation, управління космічним кораблем, model checking, формальні методи, theorem proving, кінцеві автомати, automated programming, перевірка моделі, генерація коду, об'єктно–орієнтоване програмування
File Description: application/pdf
Access URL: http://samit.khpi.edu.ua/article/view/284730
-
12
Authors: et al.
Source: IEEE Access, Vol 8, Pp 167341-167354 (2020)
Subject Terms: code quality, Automated programming assessment system, programming education, educational data mining, 4. Education, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, early learning achievement detection, 0503 education, TK1-9971
-
13
Authors: et al.
Source: Proceedings of the Annual Hawaii International Conference on System Sciences.
Subject Terms: empirical study, expert interviews, automated programming assessment system, Advances in Teaching and Learning Technologies
File Description: application/pdf
-
14
Authors:
Source: Electronics, Vol 12, Iss 4, p 942 (2023)
Subject Terms: web application, scalability, APAS, automated programming assessment, Electronics, TK7800-8360
Relation: https://www.mdpi.com/2079-9292/12/4/942; https://doaj.org/toc/2079-9292; https://doaj.org/article/3a730404608c42aa839e51fa39346b24
-
15
Authors: Žiga Rojec
Subject Terms: Higher education, Programming languages, Data structures and algorithms, Programming education, Automated Programming Assessment System (APAS), Practical exam, Test-driven learning, Student engagement, Algorithmic thinking
-
16
Authors: et al.
Source: Brain Sciences, Vol 10, Iss 1015, p 1015 (2020)
Subject Terms: essential tremor, dentatorubrothalamic tract, volume of tissue activated, deep brain stimulation, tractography, automated programming, Neurosciences. Biological psychiatry. Neuropsychiatry, RC321-571
Relation: https://www.mdpi.com/2076-3425/10/12/1015; https://doaj.org/toc/2076-3425; https://doaj.org/article/e97a1c8ad86b488c97a10df055592664
-
17
Authors: Sitek, Martin
Subject Terms: project configuration, project initialization, konfigurace projektu, source code generation, user interface, automatické programování, inicializace projektu, generování zdrojového kódu, automated programming, uživatelské rozhraní
Access URL: http://www.nusl.cz/ntk/nusl-652266
-
18
Authors:
Source: Записки Горного института, Vol 235, Iss 1, Pp 60-64 (2019)
Subject Terms: processing strategy, automated programming system, programming processing on CNC machines, non-profiled tool, compound-shaped tapered screw surface, single screw compressor, Mining engineering. Metallurgy, TN1-997
Relation: http://pmi.spmi.ru/index.php/pmi/article/view/6664; https://doaj.org/toc/2411-3336; https://doaj.org/toc/2541-9404; https://doaj.org/article/4204955413ce4b70ab042f470037db85
-
19
Authors:
Contributors:
Subject Terms: automated programming assessment, automatsko vrednovanje, question types, tipovi pitanja, e-učenje, Edgar, e-learning
File Description: application/pdf
-
20
Authors:
Contributors:
Subject Terms: educational context, automated programming assessment system, apstraktno sintaksno stablo, SARIF, sustav za automatsko ocjenjivanje programskog koda, Large Language Models (LLMs), statička analiza, edukacijski kontekst, veliki jezični modeli (LLM), abstract syntax tree, microservices, mikroservisi, static analysis, Spring Boot, NestJS
File Description: application/pdf
Nájsť tento článok vo Web of Science
Full Text Finder