Suchergebnisse - (automatische OR automatizaceky) programming— program synthesis general terms algorithms~

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

Autoren: Sommer, Markus Arendasy, Martin

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

Schlagwörter: 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)

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

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

An Interview with Edsger W. Dijkstra.

Autoren: Misa, Thomas J.

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

Schlagwörter: COMPUTER programmers, COMPUTER programming education, MULTILINGUALISM

People: DIJKSTRA, Edsger Wybe

Facing the History Machine: Toward Histories of Digital History.

Autoren: Zaagsma, Gerben

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

Schlagwörter: GENEALOGY, IMPACT (Mechanics), DIGITAL technology, DIGITAL humanities, NINETEENTH century

Detecting Moving Trucks on Roads Using Sentinel-2 Data.

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

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

Schlagwörter: TRUCKS, FREIGHT & freightage, REMOTE sensing, RANDOM forest algorithms

Geografische Kategorien: KENYA, POLAND

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

Autoren: Henning, Stefan

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

Schlagwörter: 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.

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

Schlagwörter: CONFERENCES & conventions, CLINICAL pathology, PATHOLOGICAL laboratories

Geografische Kategorien: GERMANY

Online Assessment in Higher Education: A Systematic Review.

Autoren: Heil, Joana Ifenthaler, Dirk

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

Schlagwörter: ASSESSMENT of education, LEARNING, ONLINE education, STUDENT engagement, HIGHER education, CLASSROOM environment

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

Autoren: Voss, Christopher Petzold, Frank Rudolph, Stephan

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

Schlagwörter: ENGINEERING design, GRAPH grammars

Online simulation at machine level: a systematic review.

Autoren: Deubert, Darius Klingel, Lars Selig, Andreas

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

Schlagwörter: INDUSTRIAL robots, DIGITAL twin, DATABASE searching, SYNCHRONIZATION, MACHINERY

Understanding poetry using natural language processing tools: a survey.

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

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

Schlagwörter: NATURAL language processing, POETRY (Literary form)

Resource analyses for parallel and distributed coordination.

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

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

Schlagwörter: 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.

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

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

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

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

Zeitschriftenlese. (German)

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

BackMatter.

Autoren: Kallrath, Josef

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

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

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

Logic-Based Program Synthesis and Transformation

Autoren: Santiago Escobar Laura Titolo

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

A Model-Driven Quantum Software Development Framework for Combinatorial Optimization

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

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

Schlagwörter: search-based software engineering, model-driven engineering, Quantencomputing, suchbasierte Softwareentwicklung, Quantum computing, modellgetriebene Softwareentwicklung

Zugangs-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)

Autoren: Eichinger, Paul Zimmer, Claus Wiestler, Benedikt

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