Search Results - (automatisation OR automatizacia) programming— program synthesis general terms algorithms~

Current State of the Art and Potential for Construction and Demolition Waste Processing: A Scoping Review of Sensor-Based Quality Monitoring and Control for In- and Online Implementation in Production Processes.

Authors: Göbbels, Lieve Feil, Alexander Raulf, Karoline et al.

Source: Sensors (14248220); Jul2025, Vol. 25 Issue 14, p4401, 38p

Subject Terms: CONSTRUCTION & demolition debris, QUALITY assurance, REAL-time computing, SUSTAINABLE construction, DETECTORS, SPECTROMETRY, IMAGING systems

Applied Artificial Intelligence in Materials Science and Material Design.

Authors: Chávez‐Angel, Emigdio Eriksen, Martin Børstad Castro‐Alvarez, Alejandro et al.

Source: Advanced Intelligent Systems (2640-4567); Aug2025, Vol. 7 Issue 8, p1-26, 26p

Subject Terms: ARTIFICIAL intelligence, MATERIALS science, MACHINE learning, PREDICTION models, DATA analysis, SPECTROMETRY, CONSTRUCTION materials

Reviewing and conceptualising the role of 4.0 technologies for sustainable warehousing.

Authors: Perotti, Sara Cannava, Luca Ries, Jörg M. et al.

Source: International Journal of Production Research; Mar2025, Vol. 63 Issue 6, p2305-2337, 33p

Subject Terms: CROSS-docking (Logistics), QUALITY of service, INDUSTRY 4.0, RESEARCH personnel, ECONOMIC expansion

Reviews & Products: SUSTAINABLE Development Goals (United Nations)

Bio-inspired computation for big data fusion, storage, processing, learning and visualization: state of the art and future directions.

Authors: Torre-Bastida, Ana I. Díaz-de-Arcaya, Josu Osaba, Eneko et al.

Source: Neural Computing & Applications; Oct2025, Vol. 37 Issue 28, p23097-23127, 31p

Subject Terms: BIG data, BIOLOGICALLY inspired computing, ELECTRONIC data processing, VISUALIZATION, MACHINE learning, MULTISENSOR data fusion, ALGORITHMS

Algorithms and dehumanization: a definition and avoidance model.

Authors: Schultz, Mario D. Clegg, Melanie Hofstetter, Reto et al.

Source: AI & Society; Apr2025, Vol. 40 Issue 4, p2191-2211, 21p

Subject Terms: CONSUMER ethics, PERSONNEL management, DEHUMANIZATION, RIGHT of privacy, VALUES (Ethics)

Automated program improvement with reinforcement learning and graph neural networks.

Authors: Sukur, Nataša Milošević, Nemanja Pracner, Doni et al.

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Feb2024, Vol. 28 Issue 3, p2593-2604, 12p

Subject Terms: REINFORCEMENT learning, DEEP learning, DEEP reinforcement learning, COMPUTER software, SOFTWARE engineering, SOURCE code, PROGRAM transformation

Python tools for structural tasks in chemistry.

Authors: Ryzhkov, Fedor V. Ryzhkova, Yuliya E. Elinson, Michail N.

Source: Molecular Diversity; Aug2025, Vol. 29 Issue 4, p3733-3752, 20p

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Authors: Fred Mesnard Peter J. Stuckey

Resource Type: eBook.

Subjects: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

A review of machine learning methods used for educational data.

Authors: Ersozlu, Zara Taheri, Sona Koch, Inge

Source: Education & Information Technologies; Nov2024, Vol. 29 Issue 16, p22125-22145, 21p

Subject Terms: SUPPORT vector machines, RANDOM forest algorithms, MACHINE learning, DECISION trees, EDUCATION research

Handbook of Digital 3D Reconstruction of Historical Architecture

Authors: Sander Münster Fabrizio Ivan Apollonio Ina Bluemel et al.

Resource Type: eBook.

Subjects: Three-dimensional imaging in architecture--Handbooks, manuals, etc, Historic buildings--Reconstruction--Computer programs--Handbooks, manuals, etc, Digital humanities

Categories: COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, ART / General, COMPUTERS / Image Processing, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, SOCIAL SCIENCE / Archaeology

Management of Construction Planning Process in Massive Underground Mining by Integrating LPS and CIT through Action Research.

Authors: Fernández, Alberto I. Jarufe, Juan Segarra, Pablo et al.

Source: Journal of Construction Engineering & Management; May2025, Vol. 151 Issue 5, p1-17, 17p

Subject Terms: MINES & mineral resources, CONSTRUCTION planning, CONSTRUCTION management, SCHEDULING, TIME management

Proof Complexity and Beyond.

Source: Oberwolfach Reports; 2024, Vol. 21 Issue 1, p871-934, 63p

Subject Terms: LINEAR programming, SEMIDEFINITE programming, COMPUTER science, COMBINATORICS, ALGORITHMS

Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis: Computer-Assisted Proofs for Lyapunov Stability via Sums of...: G. Devadze et al.

Authors: Devadze, Grigory Magron, Victor Streif, Stefan

Source: Journal of Automated Reasoning; Mar2025, Vol. 69 Issue 1, p1-33, 33p

Writing the Future: Artificial Intelligence, Handwriting, and Early Biomarkers for Parkinson's Disease Diagnosis and Monitoring.

Authors: Marano, Giuseppe Rossi, Sara Marzo, Ester Maria et al.

Source: Biomedicines; Jul2025, Vol. 13 Issue 7, p1764, 32p

Subject Terms: PARKINSON'S disease, ARTIFICIAL intelligence, TELEMEDICINE, SCIENTIFIC observation, DIAGNOSIS, HANDWRITING, MACHINE learning, BIOMARKERS

Reprogramming Heritage: An Approach for the Automatization in the Adaptative Reuse of Buildings.

Authors: Domènech-Rodríguez, Marta López López, David Nadal, Sergi et al.

Source: Architecture (2673-8945); Dec2024, Vol. 4 Issue 4, p974-988, 15p

Subject Terms: ADAPTIVE reuse of buildings, CITIES & towns, ECONOMIC statistics, PUBLIC administration, HISTORIC buildings

AI Integration in Tactical Communication Systems and Networks: A Survey and Future Research Directions.

Authors: Monzon Baeza, Victor Parada, Raúl Concha Salor, Laura et al.

Source: Systems; Sep2025, Vol. 13 Issue 9, p752, 54p

Subject Terms: ARTIFICIAL intelligence, SITUATIONAL awareness, DATA transmission systems, ORGANIZATIONAL resilience, MILITARY personnel, STRATEGIC communication

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

Programming for the Near Future: Concepts and Pragmatic Considerations.

Authors: Ilyin, V. P.

Source: Herald of the Russian Academy of Sciences; Apr2023, Vol. 93 Issue 2, p92-102, 11p

Models2Code: Autonomous model‐based generation to expedite the engineering process.

Authors: Paniagua, Cristina Caso, Fernando Labra

Source: Systems Engineering; Mar2025, Vol. 28 Issue 2, p224-237, 14p

Subject Terms: AUTOMATION, SOFTWARE engineering, INNOVATION adoption, ENGINEERING models, SYSTEM integration, SOFTWARE frameworks, ECONOMIC efficiency

Sentiment analysis for formative assessment in higher education: a systematic literature review.

Authors: Grimalt-Álvaro, Carme Usart, Mireia

Source: Journal of Computing in Higher Education; Dec2024, Vol. 36 Issue 3, p647-682, 36p

Subject Terms: ARTIFICIAL intelligence, BLENDED learning, TECHNICAL literature, ASSESSMENT of education