Výsledky vyhľadávania - (automatizacni 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

Logic-Based Program Synthesis and Transformation

Autori: Santiago Escobar Laura Titolo

Typ zdroja: eBook.

Kategórie: COMPUTERS / Computer Science

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)

Autori: Eichinger, Paul Zimmer, Claus Wiestler, Benedikt

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

Face Identification by Fitting a 3D Morphable Model Using Linear Shape and Texture Error Functions.

Autori: Romdhani, Sami Blanz, Volker Vetter, Thomas

Zdroj: Computer Vision - ECCV 2002 (9783540437482); 2006, p3-19, 17p

Zeitschriftenlese. (German)

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