Výsledky vyhledávání - Automatic Programming— Automatic analysis of algorithms

A Comparison between Two Automatic Assessment Approaches for Programming : An Empirical Study on MOOCs

Autoři: Bey, Anis Jermann, Patrick Dillenbourg, Pierre

Zdroj: Journal of Educational Technology & Society, 2018 Apr 01. 21(2), 259-272.

Přístupová URL adresa: https://www.jstor.org/stable/26388406

Automatic Alignment in Higher-Order Probabilistic Programming Languages

Autoři: Lundén, Daniel Çaylak, Gizem Ronquist, Fredrik a další

Zdroj: Programming Languages and Systems Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :535-563

Témata: Operational semantics, Probabilistic programming, Static analysis

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-234452
https://doi.org/10.1007/978-3-031-30044-8_20

Introduction to Automatic Differentiation and MATLAB Object-Oriented Programming

Autoři: Neidinger, Richard D.

Zdroj: SIAM Review, 2010 Sep 01. 52(3), 545-563.

Přístupová URL adresa: https://www.jstor.org/stable/20780172

On-the-fly synthesizer programming with rule learning

Autoři: Paz Ortiz, Alejandro Iván

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació

Thesis Advisors: Nebot Castells, M. Àngela, Múgica Álvarez, Francisco

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Live coding, On-the-fly programming, Àrees temàtiques de la UPC::Informàtica

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/674347
https://dx.doi.org/10.5821/dissertation-2117-368003

Automatic Matchmaking in Two-versus-Two Sports

Autoři: Sören Rüttgers Ulrike Kuhl Benjamin Paaßen

Zdroj: International Educational Data Mining Society. 2024.

Peer Reviewed: Y

Page Count: 11

Descriptors: Team Sports, Athletics, Training, Skill Development, Automation, Skills, Data Analysis, Athletes, Individual Characteristics, College Students, Foreign Countries

Geografický termín: Germany

Combinatorial and Machine Learning Techniques for Complex Thin Film Photovoltaics: Accelerated Research and Process Monitoring Methodologies

Autoři: Grau Luque, Enric Tomás

Přispěvatelé: University/Department: Universitat de Barcelona. Facultat de Física

Thesis Advisors: Izquierdo Roca, Victor, Guc, Maxim, Pérez Rodríguez, Alejandro

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Anàlisi combinatòria, Análisis combinatorio, Combinatorial analysis, Intel·ligència artificial, Inteligencia artificial, Artificial intelligence, Espectroscòpia d'electrons, Espectroscopía electrónica, Electron spectroscopy, Aprenentatge automàtic, Aprendizaje automático, Machine learning, Ciències Experimentals i Matemàtiques

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/691171

Automated programming approaches to enhance computer-aided translation accuracy

Autoři: Tao Zhao Mazni Binti Alias

Zdroj: PeerJ Comput Sci
PeerJ Computer Science, Vol 10, p e2396 (2024)

Témata: QA75.5-76.95 Electronic computers. Computer science, QA75.5-76.95, 06 humanities and the arts, 02 engineering and technology, Graph neural network, Deep learnings, Algorithms and Analysis of Algorithms, Electronic computers. Computer science, 0602 languages and literature, Automatic programming, 0202 electrical engineering, electronic engineering, information engineering, Computer aided translation, Translation accuracy

Popis souboru: text

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/39650497
https://doaj.org/article/72da3018b19f4baeaf27707a92d7f684

Automatic generation of recursive algorithms for list manipulation

Autoři: Cárdenas, Mauricio Sepúlveda Daza, Victor Parada Galvez, Juan Parra a další

Zdroj: 15(1and2):18-32

Automatic detection and resolution of deadlocks in Go programs

Autoři: Coelho, Jorge Gabriel Grave Ravara, António Lourenço, João a další

Přispěvatelé: Coelho, Jorge Gabriel Grave Ravara, António Lourenço, João a další

Témata: Deadlock detection, Deadlock resolution, Static analysis, Go programming language, Message-passing, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10362/155578

Risk Analytics in Econometrics

Autoři: Pesantez Narvaez, Jessica Estefania

Přispěvatelé: University/Department: Universitat de Barcelona. Facultat d'Economia i Empresa

Thesis Advisors: Guillén, Montserrat, Alcañiz, Manuela

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Models economètrics, Modelos econométricos, Econometric models, Estadística matemàtica, Estadística matemática, Mathematical statistics, Previsió, Previsión, Forecasting, Aprenentatge automàtic, Aprendizaje automático, Machine learning, Ciències Jurídiques, Econòmiques i Socials

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/671864

Clinical Trial of the SonRtip Lead and Automatic AV-VV Optimization Algorithm in the PARADYM RF SonR CRT-D (RESPOND-CRT)

Autoři: Sorin CRM

Zdroj: Clinical Trial of the SonRtip Lead and Automatic AV-VV Optimization Algorithm in the PARADYM RF SonR CRT-D
Brugada J, Delnoy PP, Brachmann J, Reynolds D, Padeletti L, Noelker G, Kantipudi C, Rubin Lopez JM, Dichtl W, Borri-Brunetto A, Verhees L, Ritter P, Singh JP; RESPOND CRT Investigators. Contractility sensor-guided optimization of cardiac resynchronization therapy: results from the RESPOND-CRT trial. Eur Heart J. 2017 Mar 7;38(10):730-738. doi: 10.1093/eurheartj/ehw526.
Brugada J, Brachmann J, Delnoy PP, Padeletti L, Reynolds D, Ritter P, Borri-Brunetto A, Singh JP. Automatic optimization of cardiac resynchronization therapy using SonR-rationale and design of the clinical trial of the SonRtip lead and automatic AV-VV optimization algorithm in the paradym RF SonR CRT-D (RESPOND CRT) trial. Am Heart J. 2014 Apr;167(4):429-36. doi: 10.1016/j.ahj.2013.12.007. Epub 2013 Dec 19.

A Transformation of the Way of Thinking Key Principles in Programming Education Inspired by Pascal

Autoři: Valentina Dagiene Gintautas Grigas Tatjana Jevsikova

Zdroj: Informatics in Education. 2024 23(4):735-765.

Peer Reviewed: Y

Page Count: 31

Descriptors: Programming Languages, Computer Science Education, Foreign Countries, Programming, Expertise, Attitudes, Algorithms, Educational History, Information Science, Teaching Methods, Intellectual History, Trend Analysis, Technological Advancement, Secondary School Teachers, Creative Thinking, Problem Solving, Computer Software, Teacher Attitudes, Instructional Innovation, College Faculty

Geografický termín: Lithuania

Automatic-programming-language translation through syntactical analysis

Autoři: James B. Wilson Robert S. Ledley

Zdroj: Communications of the ACM. 5:145-155

Témata: Analysis of algorithms and problem complexity, Theory of programming languages, Theory of compilers and interpreters

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3356175
https://doi.org/10.1145/366862.366872
https://dblp.uni-trier.de/db/journals/cacm/cacm5.html#LedleyW62
https://dl.acm.org/doi/10.1145/366862.366872

Comparison of machine learning algorithms and multiple linear regression for live weight estimation of Akkaraman lambs.

Autoři: Kozaklı, Özge Ceyhan, Ayhan Noyan, Mevlüt

Zdroj: Tropical Animal Health & Production. Sep2024, Vol. 56 Issue 7, p1-10. 10p.

Automatic Generation of Primary Sequence Patterns from Sets of Related Protein Sequences

Autoři: Smith, Randall F. Smith, Temple F.

Zdroj: Proceedings of the National Academy of Sciences of the United States of America, 1990 Jan 01. 87(1), 118-122.

Přístupová URL adresa: https://www.jstor.org/stable/2353639

Using Automatic Machine Assessment to Teach Computer Programming

Autoři: Maguire, Phil Maguire, Rebecca Kelly, Robert

Zdroj: Computer Science Education. 2017 27(3-4):197-214.

Peer Reviewed: Y

Page Count: 18

Descriptors: Programming, Computer Science Education, Teaching Methods, Test Scoring Machines, Intervention, Learning Modules, Regression (Statistics), Undergraduate Students, Questionnaires, Statistical Analysis, Error Correction, Instructional Effectiveness, Foreign Countries

Geografický termín: Ireland

Automatic debugging of Prolog programs in a Prolog Intelligent Tutoring System

Autoři: LOOI, CHEE-KIT

Zdroj: Instructional Science, 1991 Jan 01. 20(2/3), 215-263.

Přístupová URL adresa: https://www.jstor.org/stable/23369897

An Inexact Interior-Point Method for System Analysis

Autoři: Harju Johansson, Janne Hansson, Anders

Zdroj: International Journal of Control. 83(3):601-616

Témata: Optimisation, Linear matrix inequalities, Semidefinite programming, Interior-point methods, Iterative methods, TECHNOLOGY, TEKNIKVETENSKAP, Information technology, Automatic control, Informationsteknik, Reglerteknik

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-54505
https://liu.diva-portal.org/smash/get/diva2:304591/FULLTEXT01.pdf

Adaptive load consumption modelling on the user side: contributions to load forecasting modelling based on supervised mixture of experts and genetic programming

Autoři: Giacometto Torres, Francisco Javier

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica

Thesis Advisors: Romeral Martínez, José Luis

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Energy management, Machine learning, Knowledge discovery algorithms, Short time load forecasting, Ensemble learning, Àrees temàtiques de la UPC::Enginyeria electrònica

Time: 621.3

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/457631
https://dx.doi.org/10.5821/dissertation-2117-111507

Optimal Control of Automatic Manipulator for Elimination of Galvanic Line Load Oscillation

Autoři: Siarhei Autsou Anton Rassõlkin Toomas Vaimann a další

Zdroj: Periodica Polytechnica Electrical Engineering and Computer Science. 65:91-105

Témata: automatic programming, optimal control, методы оптимизации, автоматическое программирование, автоматические манипуляторы, 0202 electrical engineering, electronic engineering, information engineering, optimization methods, 02 engineering and technology, automatic manipulator, оптимальное управление

Popis souboru: application/pdf

Přístupová URL adresa: https://pp.bme.hu/eecs/article/download/15893/8974
https://elib.belstu.by/handle/123456789/41854