Search Results - automation programming—program transformation

Modeling and system analysis of applied mathematics and programming problems.

Authors: Khodiyev, Shukhrat Nazirova, Dilorom

Source: AIP Conference Proceedings; 2025, Vol. 3356 Issue 1, p1-12, 12p

Subject Terms: APPLIED mathematics, SYSTEMS theory, TEMPERATURE distribution, UNIVERSITY research, COMPUTER simulation, MATHEMATICAL programming, PROGRAM transformation, AUTOMATION

Plant Intelligent Automation and Digital Transformation : Volume I: Process and Factory Automation

Authors: Swapan Basu

Resource Type: eBook.

Subjects: Factories--Technological innovations, Automation, Automatic control--Industrial applications

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Authors: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

Source: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Automation of water circulation regulation and nutritional administration in catfish cultivation ponds with Bioflocculation technology.

Authors: Ashari, Irvan Yudhana, Anton

Source: Signal & Image Processing Letters; 2023, Vol. 5 Issue 1, p19-30, 12p

Subject Terms: CATFISHES, WATER quality, WATER use, STANDARD deviations, AUTOMATION, PUMPING machinery

Geographic Terms: INDONESIA

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Subject Terms: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

Design Maintenance Systems.

Authors: Baxter, Ira D.

Source: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p

Subject Terms: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

Autonomous Weed Cutter Leveraging ESP32 and Tiny ML.

Authors: Mahajan, Parth Otari, Samarth Meshram, Pratik et al.

Source: Grenze International Journal of Engineering & Technology (GIJET); Jan2024, Vol. 10 Issue 1, Part 2, p1280-1288, 9p

Subject Terms: SUSTAINABLE agriculture, SUSTAINABILITY, PROXIMITY detectors, WEEDS, WEED control, PRECISION farming, HERBICIDES

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Authors: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Source: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Subject Terms: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

Authors: Anjorin, Anthony Buchmann, Thomas Westfechtel, Bernhard et al.

Source: Software & Systems Modeling; May2020, Vol. 19 Issue 3, p647-691, 45p

Subject Terms: BENCHMARKING (Management), HETEROGENEITY, EVALUATION, SYNCHRONIZATION

Era of digital revolution: Digital entrepreneurship and digital transformation in emerging economies.

Authors: Jawad, Muhammad Naz, Munazza Maroof, Zaib

Source: Business Strategy & Development; Sep2021, Vol. 4 Issue 3, p220-228, 9p

Subject Terms: ENTREPRENEURSHIP, DIGITIZATION, BUSINESSPEOPLE, ECONOMIC development, DIGITAL technology

Compiling Real Time Functional Reactive Programming

Authors: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Contributors: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Source: http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf.

Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563
http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Optimizing switching states using a current predictive control algorithm for multilevel cascaded H-bridge converters in solar photovoltaic integration into power grids.

Authors: An Thi Hoai Thu Anh Tran Hung Cuong

Source: International Journal of Electrical & Computer Engineering (2088-8708); Jun2025, Vol. 15 Issue 3, p2726-2734, 9p

Subject Terms: RENEWABLE energy sources, SOLAR power plants, SOLAR energy, COST functions, PHOTOVOLTAIC power systems

Simultaneous optimal system and controller design for multibody systems with joint friction using direct sensitivities.

Authors: Verulkar, Adwait Sandu, Corina Sandu, Adrian et al.

Source: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p

Comparing an Artificial Intelligence Planner with Traditional Optimization Methods: A Case Study in the Dairy Industry.

Authors: Müller, Felipe Martins Schneider, Vanessa Andréia de Araujo, Olinto Cesar Bassi et al.

Source: Algorithms; Apr2025, Vol. 18 Issue 4, p219, 31p

Subject Terms: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

Equivalent Transformations of Heterogeneous Meta-Programs.

Authors: Štuikys, Vytautas Damaševičius, Robertas

Source: Informatica; 2013, Vol. 24 Issue 2, p315-337, 23p

Subject Terms: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

Point-free Program Transformation.

Authors: Cunha, Alcino Pinto, Jorge Sousa

Source: Fundamenta Informaticae; 2005, Vol. 66 Issue 4, p315-352, 38p

Subject Terms: PROGRAM transformation, COMPUTER programming, FUNCTIONAL programming (Computer science), COMPUTER systems, EQUATIONS