Search Results - automation algorithm configuration parameter und automation algorithm design

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Interval Type 2 Fuzzy Adaptive Motion Drive Algorithm Design.

Authors: Ali, Syed M. Guo, Yanling Rizvi, Syed Tahir Hussain et al.

Source: Electronics (2079-9292); Jul2023, Vol. 12 Issue 13, p2946, 23p

Subject Terms: PAVEMENTS, ALGORITHMS, OFF-road vehicles, ACCELERATION (Mechanics), MOTOR vehicle driving

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Authors: Armin Biere David Parker

Resource Type: eBook.

Subjects: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

A process-centric manipulation taxonomy for the organization, classification and synthesis of tactile robot skills.

Authors: Johannsmeier, Lars Schneider, Samuel Li, Yanan et al.

Source: Nature Machine Intelligence; Jun2025, Vol. 7 Issue 6, p916-927, 12p

Smart Rubber Extrusion Line Combining Multiple Sensor Techniques for AI‐Based Process Control.

Authors: Aschemann, Alexander Hagen, Paul‐Felix Albers, Simon et al.

Source: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-19, 19p

Subject Terms: PROCESS control systems, EXTRUSION process, LASER-induced breakdown spectroscopy, CONTINUOUS processing, OPTICAL spectroscopy

Kommunikation und Bildverarbeitung in der Automation : Ausgewählte Beiträge der Jahreskolloquien KommA und BVAu 2020

Authors: Jürgen Jasperneite Volker Lohweg

Resource Type: eBook.

Subjects: Data transmission systems

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, TECHNOLOGY & ENGINEERING / Automation, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Capability of Machine Learning Algorithms to Classify Safe and Unsafe Postures during Weight Lifting Tasks Using Inertial Sensors.

Authors: Prisco, Giuseppe Romano, Maria Esposito, Fabrizio et al.

Source: Diagnostics (2075-4418); Mar2024, Vol. 14 Issue 6, p576, 15p

Subject Terms: MACHINE learning, WEIGHT lifting, RECEIVER operating characteristic curves, LINEAR acceleration, POSTURE

Development of an Integrated Software Workflow for District Heating Network Planning: A Structured Methodological Approach.

Authors: Pfeiffer, Jonas Kunick, Matthias

Source: ACC Journal (1803-9782); Mar2025, Vol. 31 Issue 1, p48-63, 16p

Image Analysis and Processing Theory, Methods, and Algorithms. Review of Research at the Iconics Laboratory of the Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute).

Authors: Chochia, P. A.

Source: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p1168-1241, 74p

Kommunikation und Bildverarbeitung in der Automation : Ausgewählte Beiträge der Jahreskolloquien KommA und BVAu 2018

Authors: Jürgen Jasperneite Volker Lohweg

Resource Type: eBook.

Subjects: Quality control, Automation, Reliability, Electrical engineering, Industrial safety, Robotics, Engineering

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, SCIENCE / Physics / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Innovative Analytical Approaches for Food Pesticide Residue Detection: Towards One Health-Oriented Risk Monitoring.

Authors: Botnaru, Alexandra Andreea Lupu, Ancuta Morariu, Paula Cristina et al.

Source: Journal of Xenobiotics; Oct2025, Vol. 15 Issue 5, p151, 36p

Subject Terms: PESTICIDE residues in food, FOOD safety, SUSTAINABILITY, EVALUATION methodology, CHEMICAL detectors, REGULATORY compliance, RISK assessment

ISEV2025 Abstract Book.

Source: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

The Liver Meeting: 2025 Abstracts.

Source: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Applications of Artificial Intelligence in Cardiovascular Emergencies – Status Quo and Outlook.

Authors: Hatfaludi, Cosmin-Andrei Danu, Manuela-Daniela Leonte, Horia-Andrei et al.

Source: Journal of Cardiovascular Emergencies; Dec2023, Vol. 9 Issue 4, p83-102, 20p

Subject Terms: ARTIFICIAL intelligence, HIGH performance computing, CARDIOVASCULAR emergencies, DEEP learning, DISEASE risk factors, ALGORITHMS, MEDICAL care, MYOCARDIAL infarction

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Authors: Kyoung-Yun Kim Leslie Monplaisir Jeremy Rickli

Resource Type: eBook.

Subjects: Manufacturing processes--Automation--Congresses, Computer integrated manufacturing systems--Congresses

Categories: TECHNOLOGY & ENGINEERING / Automation, COMPUTERS / Design, Graphics & Media / CAD-CAM, TECHNOLOGY & ENGINEERING / Chemical & Biochemical, TECHNOLOGY & ENGINEERING / Robotics

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Review article: Feature tracing in radio-echo sounding products of terrestrial ice sheets and planetary bodies.

Authors: Moqadam, Hameed Eisen, Olaf

Source: Cryosphere; 2025, Vol. 19 Issue 6, p2159-2196, 38p

The taming of sociodigital anticipations: AI in the digital welfare state.

Authors: Zenkl, Thomas

Source: Frontiers in Sociology; 2025, p1-11, 11p

Bildverarbeitung in der Automation

Authors: Volker Lohweg

Resource Type: eBook.

Subjects: Robotics, Automatic control, Signal processing, Automation, Telecommunication

Categories: TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Fracture Patterns in Fatal Free Falls: A Systematic Review of Intrinsic and Extrinsic Risk Factors and the Role of Postmortem CT.

Authors: Woliński, Filip Kraśnik, Kacper Bryliński, Łukasz et al.

Source: Journal of Clinical Medicine; Sep2025, Vol. 14 Issue 17, p6305, 30p

Subject Terms: POSTMORTEM imaging, FORENSIC sciences, DISEASE risk factors, BONE injuries, WOUNDS & injuries, BLUNT trauma