Search Results - automation programming- program modification~

MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS

Authors: A. V. Shestakov

Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 13, Iss 1, Pp 104-108 (2013)

Subject Terms: automata-based programming, test scenario, Moore automaton, Information technology, T58.5-58.64

File Description: electronic resource

Relation: http://openbooks.ifmo.ru/read_ntv/4063/4063.pdf; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

Access URL: https://doaj.org/article/97b6765624464eefb77f3d9d94c6c967

Neuro linguistic programming automation for improvement of organisational performance

Authors: Amirhosseini, Mohammad Hossein

Subject Terms: 006.3, 000 Computer science, information & general works, 150 Psychology

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.771576

Evaluating the Dynamic Psychological and Behavioral Changes of Water‐Saving in Public Buildings Under Effective Interventions.

Authors: Duan, Bowen Gao, Jinliang Wu, Wenyan et al.

Source: Water Resources Research; Jul2025, Vol. 61 Issue 7, p1-18, 18p

Subject Terms: PSYCHOLOGICAL factors, PLANNED behavior theory, BEHAVIOR modification, WATER conservation, WATER meters, SUSTAINABILITY, GOVERNMENT programs, PUBLIC buildings

BUILDING PROCESS AUTOMATIZATION OF THE FURNITURE FOR REST FROM A GARDEN.

Alternate Title: AUTOMATIZAREA PROCESULUI DE CONSTRUIRE A MOBILERULUI DESTINAT REPAOSULUI DINTR-O GRĂDINĂ.

Authors: L., PRUNĂ A., SLONOVSCHI

Source: Lucrari Stiintifice, Universitatea de Stiinte Agricole Si Medicina Veterinara Ion Ionescu de la Brad Iasi, Seria Horticultura. 2021, Vol. 64 Issue 2, p89-96. 8p.

Subjects: Automation, Climate change, Agricultural productivity, Growing season, Garden ornaments & furniture

Comparison and visualization of robot program modifications : Applied on ABB industrial robots at Volvo Cars Corporation

Authors: Heras Aguilar, Sergio

Index Terms: KPI, Rapid, Robot, Application, Code, C#, Virtual commissioning, Robotics and automation, Robotik och automation, Student thesis, info:eu-repo/semantics/bachelorThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-11510

General-purpose automation programming: A case study on using a graphic language

Contributors: Olsen, D

File Description: Medium: ED; Size: Pages: (42 p)

Access URL: http://www.osti.gov/scitech/servlets/purl/7070149

Programmable formatting of program text: experiences drawn from the TAMPR system

Contributors: Dritz, K.

Source: Conference: ACM-SIGNUM conference on the programming environment for development of numerical software, Pasadena, CA, USA, 18 Oct 1978

File Description: Medium: ED; Size: Pages: 4

Access URL: http://www.osti.gov/scitech/servlets/purl/6234360

The Evolution of Programs: Automatic Program Modification.

Authors: Dershowitz, Nachum Manna, Zohar

Source: IEEE Transactions on Software Engineering; Nov77, Vol. 3 Issue 6, p377-386, 10p, 2 Color Photographs

Subject Terms: AUTOMATIC programming (Computer science), COMPUTER software, COMPUTER files, COMPUTER programming, MATHEMATICAL programming, ELECTRONIC data processing

Development of a Single-Axis Edge Detection System

Contributors: Hanshaw, R

Source: Other Information: PBD: 18 Feb 2000

File Description: Medium: ED; Size: 40 pages

Access URL: http://www.osti.gov/scitech/servlets/purl/751343

Adaptive Dynamic Programming

Authors: Jiayue Sun Shun Xu Yang Liu et al.

Resource Type: eBook.

Subjects: Chemotherapy, Dynamic programming, Drug delivery systems--Mathematics, Automation

Categories: TECHNOLOGY & ENGINEERING / Electrical, SCIENCE / Biotechnology

Security Analysis for Distributed IoT-Based Industrial Automation.

Authors: Lesi, Vuk Jakovljevic, Zivana Pajic, Miroslav

Source: IEEE Transactions on Automation Science & Engineering; Oct2022, Vol. 19 Issue 4, p3093-3108, 16p

Subject Terms: INDUSTRIAL robots, PETRI nets, SEMANTICS, INTERNET of things, PROGRAMMING languages, COMPUTER firmware, BILEVEL programming

Abstracts of the 20th Annual Conference of the German Society for Epidemiology (DGEpi) 2025, 23 – 26 September 2025, Münster.

Source: Public Health Forum; 2025, Vol. 33 Issue 1, p1-575, 575p

Subject Terms: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

Geographic Terms: MUNSTER (Germany : Regierungsbezirk), GERMANY

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Authors: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Natural language processing in veterinary pathology: A review.

Authors: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura et al.

Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Authors: Grivas, Gerasimos V. Safari, Kousar

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

Empirical Study of Robotic Process Automation: Implementation and Evaluation.

Authors: Gunawan, Ali Wijaya, Mahaning Indrawaty Andika, Nicolas et al.

Source: Human Behavior & Emerging Technologies; 4/22/2025, Vol. 2025, p1-16, 16p

Organization of the Optimal Shift Start in an Automotive Environment.

Authors: Lakatos, Gábor Vámos, Bence Zoltán Aupek, István et al.

Source: Computation; Aug2025, Vol. 13 Issue 8, p181, 17p

Subject Terms: SHIFT systems, ASSIGNMENT problems (Programming), WORKFLOW, AUTOMOBILE industry, RESOURCE allocation, LABOR productivity

Reviews & Products: MOODLE (Computer software)

Development, Acceptability and Engagement with the Mind Tutor: Lessons Learned from Testing a Novel Digital Application for First Year UK Undergraduate Student Wellbeing.

Authors: Davies, Emma L. Wilde, Natalie Lennon, Oliver et al.

Source: Psychological Studies; Sep2025, Vol. 70 Issue 3, p515-530, 16p

Subject Terms: STUDENT well-being, CHATBOTS, ATTENTION, SOCIAL acceptance, PARTICIPATORY design, WEB-based user interfaces, BEHAVIOR modification

A Regulatory Perspective: Have We Done Enough on Grasping Automation Failure?

Authors: Xing, Jing Hughes Green, Niav

Source: Journal of Cognitive Engineering & Decision Making; Dec2024, Vol. 18 Issue 4, p310-317, 8p

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

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