Výsledky vyhledávání - automation programming- program modification*

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

Autoři: A. V. Shestakov

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

Témata: automata-based programming, test scenario, Moore automaton, Information technology, T58.5-58.64

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/97b6765624464eefb77f3d9d94c6c967

Martinize2 and Vermouth provide a unified framework for molecular topology generation.

Autoři: Kroon, Peter C. Grünewald, Fabian Barnoud, Jonathan a další

Zdroj: eLife. 11/20/2025, Vol. 14, p1-30. 30p.

Témata: *MOLECULAR dynamics, *SOFTWARE libraries (Computer programming), *PROTEIN structure, *SIMULATION methods & models, *BIOLOGICAL systems

Neuro linguistic programming automation for improvement of organisational performance

Autoři: Amirhosseini, Mohammad Hossein

Témata: 006.3, 000 Computer science, information & general works, 150 Psychology

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.771576

Automation of C Program Deductive Verification without Using Loop Invariants.

Autoři: Kondratyev, D. A. Nepomniaschy, V. A.

Zdroj: Programming & Computer Software. Oct2022, Vol. 48 Issue 5, p331-346. 16p.

Témata: *RECURSIVE functions, *AUTOMATION, *COMPUTER software development, *SPECIAL functions, *SOURCE code, *SYMBOLIC computation

Korporace: RUSSIAN Academy of Sciences

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

Autoři: Duan, Bowen Gao, Jinliang Wu, Wenyan a další

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

Témata: 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Ă.

Autoři: L., PRUNĂ A., SLONOVSCHI

Zdroj: 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.

Témata: 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

Autoři: Heras Aguilar, Sergio

Témata: 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

RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming.

Autoři: Aguinaldo, Angeline Bunker, Jacob Pollard, Blake a další

Zdroj: IEEE Transactions on Automation Science & Engineering. Jul2022, Vol. 19 Issue 3, p2637-2645. 9p.

Témata: *APPLICATION program interfaces, *MATHEMATICAL category theory, *ROBOTICS, *ROBOT programming, *THIRD-party software, *PRODUCTION planning

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

Přispěvatelé: Olsen, D

Popis souboru: Medium: ED; Size: Pages: (42 p)

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/7070149

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

Přispěvatelé: Dritz, K.

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

Popis souboru: Medium: ED; Size: Pages: 4

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/6234360

carlomat, version 2 of the program for automatic computation of lowest order cross sections.

Autoři: Kołodziej, Karol¹ karol.kolodziej@us.edu.pl

Zdroj: Computer Physics Communications. Jan2014, Vol. 185 Issue 1, p323-329. 7p.

Témata: *COMPUTER programming, *AUTOMATION, *NUCLEAR cross sections, *PARTICLES (Nuclear physics), *PARAMETERIZATION, *ELECTRODYNAMICS

Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning.

Autoři: Angstadt, Kevin Tracy, Tommy Skadron, Kevin a další

Zdroj: IEEE Micro. Sep/Oct2022, Vol. 42 Issue 5, p70-77. 8p.

Témata: *FIELD programmable gate arrays, *GATE array circuits

An AS Software Complex for the Automation of Spectrometry, Part III: A Technique for Controlling the Sample Environment and Its Application in the Spectrometer Interactive Control Program.

Autoři: Astakhova, N. V. Dikoussar, N. D. Maznyi, N. G. a další

Zdroj: Instruments & Experimental Techniques. Sep/Oct2005, Vol. 48 Issue 5, p592-598. 7p.

Témata: *SPECTROMETERS, *COMPUTER software development, *DEVICE drivers (Computer programs), *CONTROL theory (Engineering), *COMPUTER software, *COMPUTER programming

Development of a Single-Axis Edge Detection System

Přispěvatelé: Hanshaw, R

Zdroj: Other Information: PBD: 18 Feb 2000

Popis souboru: Medium: ED; Size: 40 pages

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/751343

Adaptive Dynamic Programming

Autoři: Jiayue Sun Shun Xu Yang Liu a další

Resource Type: eBook.

Témata: Chemotherapy, Dynamic programming, Drug delivery systems--Mathematics, Automation

Categories: TECHNOLOGY & ENGINEERING / Electrical, SCIENCE / Biotechnology

Security Analysis for Distributed IoT-Based Industrial Automation.

Autoři: Lesi, Vuk Jakovljevic, Zivana Pajic, Miroslav

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

Témata: 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.

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

Témata: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

Geografický termín: MUNSTER (Germany : Regierungsbezirk), GERMANY

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

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

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

Natural language processing in veterinary pathology: A review.

Autoři: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura a další

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

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

Autoři: Grivas, Gerasimos V. Safari, Kousar

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