Search Results - automatische programming— program synthesis general terms algorithms

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

Authors: Sommer, Markus Arendasy, Martin

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

Subject Terms: 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)

Authors: Sendlbeck, Stefan Maurer, Matthias Otto, Michael et al.

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

An Interview with Edsger W. Dijkstra.

Authors: Misa, Thomas J.

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

Subject Terms: COMPUTER programmers, COMPUTER programming education, MULTILINGUALISM

People: DIJKSTRA, Edsger Wybe

Facing the History Machine: Toward Histories of Digital History.

Authors: Zaagsma, Gerben

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

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

Detecting Moving Trucks on Roads Using Sentinel-2 Data.

Authors: Fisser, Henrik Khorsandi, Ehsan Wegmann, Martin et al.

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

Subject Terms: TRUCKS, FREIGHT & freightage, REMOTE sensing, RANDOM forest algorithms

Geographic Terms: KENYA, POLAND

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

Authors: Henning, Stefan

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

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

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.

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

Subject Terms: CONFERENCES & conventions, CLINICAL pathology, PATHOLOGICAL laboratories

Geographic Terms: GERMANY

Online Assessment in Higher Education: A Systematic Review.

Authors: Heil, Joana Ifenthaler, Dirk

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

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

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

Authors: Voss, Christopher Petzold, Frank Rudolph, Stephan

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

Subject Terms: ENGINEERING design, GRAPH grammars

Online simulation at machine level: a systematic review.

Authors: Deubert, Darius Klingel, Lars Selig, Andreas

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

Subject Terms: INDUSTRIAL robots, DIGITAL twin, DATABASE searching, SYNCHRONIZATION, MACHINERY

Understanding poetry using natural language processing tools: a survey.

Authors: Sisto, Mirella De Hernández-Lorenzo, Laura Rosa, Javier De la et al.

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

Subject Terms: NATURAL language processing, POETRY (Literary form)

Resource analyses for parallel and distributed coordination.

Authors: Trinder, P. W. Cole, M. I. Hammond, K. et al.

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

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

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

Authors: Curbach, Manfred Hegger, Josef Bielak, Jan et al.

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

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

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

Zeitschriftenlese. (German)

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

BackMatter.

Authors: Kallrath, Josef

Source: 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.

Authors: Boiten, E. A. Partsch, H. A. Tuijnman, D. et al.

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

Logic-Based Program Synthesis and Transformation

Authors: Santiago Escobar Laura Titolo

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

A Model-Driven Quantum Software Development Framework for Combinatorial Optimization

Authors: Gemeinhardt, Felix Günther Wimmer, Manuel Wille, Robert et al.

Contributors: Gemeinhardt, Felix Günther Wimmer, Manuel Wille, Robert et al.

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

Access URL: https://epub.jku.at/id/9621944
https://permalink.obvsg.at/ULI/AC17094889

AI in Radiology: Where are we today in Multiple Sclerosis Imaging?

Alternate Title: KI in der Radiologie: Wo stehen wir in der MS-Bildgebung? (German)

Authors: Eichinger, Paul Zimmer, Claus Wiestler, Benedikt

Source: RöFo: Fortschritte auf dem Gebiet der Röntgenstrahlen und der Bildgebenden Verfahren; 2020, Vol. 192 Issue 9, p847-853, 7p