Výsledky vyhľadávania - (automatizovane OR automatische) programming— program synthesis general terms algorithms~

Automatic- and Transformer-Based Automatic Item Generation: A Critical Review.

Autori: Sommer, Markus Arendasy, Martin

Zdroj: Journal of Intelligence; Aug2025, Vol. 13 Issue 8, p102, 42p

Predmety: PSYCHOMETRICS, TEST validity, TRANSFORMER models, CALIBRATION, CRITICAL analysis, UNIVERSITY research

Potentials and challenges in enhancing the gear transmission development with machine learning methods—a review.

Alternate Title: Potenziale und Herausforderungen bei der Verbesserung der Getriebeentwicklung mit Machine-Learning-Methoden – Ein Review. (German)

Autori: Sendlbeck, Stefan Maurer, Matthias Otto, Michael a ďalší

Zdroj: Forschung im Ingenieurwesen; Dec2023, Vol. 87 Issue 4, p1333-1346, 14p

An Interview with Edsger W. Dijkstra.

Autori: Misa, Thomas J.

Zdroj: Communications of the ACM; Aug2010, Vol. 53 Issue 8, p41-47, 7p, 1 Black and White Photograph

Predmety: COMPUTER programmers, COMPUTER programming education, MULTILINGUALISM

Osoby: DIJKSTRA, Edsger Wybe

Facing the History Machine: Toward Histories of Digital History.

Autori: Zaagsma, Gerben

Zdroj: History of Humanities; Fall2024, Vol. 9 Issue 2, p451-491, 41p

Predmety: GENEALOGY, IMPACT (Mechanics), DIGITAL technology, DIGITAL humanities, NINETEENTH century

Detecting Moving Trucks on Roads Using Sentinel-2 Data.

Autori: Fisser, Henrik Khorsandi, Ehsan Wegmann, Martin a ďalší

Zdroj: Remote Sensing; Apr2022, Vol. 14 Issue 7, p1595, 28p

Predmety: TRUCKS, FREIGHT & freightage, REMOTE sensing, RANDOM forest algorithms

Geografický termín: KENYA, POLAND

German Congress of Laboratory Medicine: 19th Annual Congress of the DGKL and 6th Symposium of the Biomedical Analytics of the DVTA e. V. together with the 6th German POCT-Symposium: Bremen, Germany, September 25 – 27, 2024.

Zdroj: Journal of Laboratory Medicine; Aug2024, Vol. 48 Issue 4, peA1-eA88, 88p

Predmety: CONFERENCES & conventions, CLINICAL pathology, PATHOLOGICAL laboratories

Geografický termín: GERMANY

Online simulation at machine level: a systematic review.

Autori: Deubert, Darius Klingel, Lars Selig, Andreas

Zdroj: International Journal of Advanced Manufacturing Technology; Mar2024, Vol. 131 Issue 3/4, p977-998, 22p

Predmety: INDUSTRIAL robots, DIGITAL twin, DATABASE searching, SYNCHRONIZATION, MACHINERY

Modellbasierte Entwicklung von Methoden, Algorithmen und Werkzeugen zur Analyse und Synthese nachgiebiger Mechanismen. (English)

Autori: Henning, Stefan

Zdroj: Berichte der Ilmenauer Mechanismentechnik (BIMT); 2022, Issue 7, pIII-LV, 228p

Predmety: COMPLIANT mechanisms, SOFTWARE development tools, MEDICAL technology, MODEL airplanes, MEDICAL robotics

Online Assessment in Higher Education: A Systematic Review.

Autori: Heil, Joana Ifenthaler, Dirk

Zdroj: Online Learning; Mar2023, Vol. 27 Issue 1, p187-218, 32p

Predmety: ASSESSMENT of education, LEARNING, ONLINE education, STUDENT engagement, HIGHER education, CLASSROOM environment

Graph transformation in engineering design: an overview of the last decade.

Autori: Voss, Christopher Petzold, Frank Rudolph, Stephan

Zdroj: AI EDAM; Feb2023, Vol. 37, p1-17, 17p

Predmety: ENGINEERING design, GRAPH grammars

Understanding poetry using natural language processing tools: a survey.

Autori: Sisto, Mirella De Hernández-Lorenzo, Laura Rosa, Javier De la a ďalší

Zdroj: Digital Scholarship in the Humanities; Jun2024, Vol. 39 Issue 2, p500-521, 22p

Predmety: NATURAL language processing, POETRY (Literary form)

UPRAVLJANJE TRANSFORMACIJOM BANKARSTVA VOĐENOM VEŠTAČKOM INTELIGENCIJOM: STUDIJA SLUČAJA JPMORGAN CHASE. (Bosnian)

Alternate Title: MANAGING THE ARTIFICIAL INTELLIGENCE DRIVEN BANKING TRANSFORMATION: A CASE STUDY OF JPMORGAN CHASE. (English)

Autori: Nikolić, Jelena Lukić

Zdroj: Bankarstvo Magazine; 2024, Vol. 53 Issue 2/3, p54-85, 32p

New perspectives on carbon reinforced concrete structures—Why new composites need new design strategies.

Autori: Curbach, Manfred Hegger, Josef Bielak, Jan a ďalší

Zdroj: Civil Engineering Design; Jan2024, Vol. 5 Issue 5/6, p67-94, 28p

Resource analyses for parallel and distributed coordination.

Autori: Trinder, P. W. Cole, M. I. Hammond, K. a ďalší

Zdroj: Concurrency & Computation: Practice & Experience; Mar2013, Vol. 25 Issue 3, p309-348, 40p, 19 Diagrams, 4 Charts, 2 Graphs

Predmety: RESOURCE allocation, PARALLEL programs (Computer programs), DISTRIBUTION (Probability theory), PREDICTION models, MATHEMATICAL models, COST analysis, SURVEYS, INFORMATION technology

Abstracts des Kongresses für Kinder- und Jugendmedizin 2023. (German)

Zdroj: Monatsschrift Kinderheilkunde; 2023 Suppl 3, Vol. 171, p213-308, 96p

Zeitschriftenlese. (German)

Zdroj: Medien & Kommunikationswissenschaft; 2023, Vol. 71 Issue 3/4, p371-419, 49p

Logic-Based Program Synthesis and Transformation

Autori: Santiago Escobar Laura Titolo

Typ zdroja: eBook.

Kategórie: COMPUTERS / Computer Science

BackMatter.

Autori: Kallrath, Josef

Zdroj: Gemischt-Ganzzahlige Optimierung: Modellierung in der Praxis; 2013, p347-381, 35p

How to Produce Correct Software – An Introduction to Formal Specification and Program Development by Transformations.

Autori: Boiten, E. A. Partsch, H. A. Tuijnman, D. a ďalší

Zdroj: Computer Journal; 1992, Vol. 35 Issue 6, p547-554, 8p

A Model-Driven Quantum Software Development Framework for Combinatorial Optimization

Autori: Gemeinhardt, Felix Günther Wimmer, Manuel Wille, Robert a ďalší

Prispievatelia: Gemeinhardt, Felix Günther Wimmer, Manuel Wille, Robert a ďalší

Predmety: search-based software engineering, model-driven engineering, Quantencomputing, suchbasierte Softwareentwicklung, Quantum computing, modellgetriebene Softwareentwicklung

Prístupová URL adresa: https://epub.jku.at/id/9621944
https://permalink.obvsg.at/ULI/AC17094889