Search Results - (automatizacii OR 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

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

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

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)

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

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

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

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

Logic-Based Program Synthesis and Transformation

Authors: Santiago Escobar Laura Titolo

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

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

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

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

Comparing Computer Models Solving Number Series Problems.

Authors: Schmid, Ute Ragni, Marco

Source: Artificial General Intelligence (9783319213644); 2015, p352-361, 10p

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

ALSYN: flexible rule-based layout synthesis for analog IC's.

Authors: Meyer zu Bexten, V. Moraga, C. Klinke, R. et al.

Source: IEEE Journal of Solid-State Circuits; 1993, Vol. 28 Issue 3, p261-268, 8p

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

Authors: Romdhani, Sami Blanz, Volker Vetter, Thomas

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

A constraint-based variability modeling framework.

Authors: Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana et al.

Source: International Journal on Software Tools for Technology Transfer; Oct2012, Vol. 14 Issue 5, p511-530, 20p

Subject Terms: PRODUCT differentiation, SOFTWARE product line engineering, BRAND differentiation, COMPUTER software, COMPUTER industry