Search Results - automatización programming – program synthesis. general terms algorithms*

The Impact of AI-Driven Application Programming Interfaces (APIs) on Educational Information Management.

Authors: Pérez-Jorge, David González-Afonso, Miriam Catalina Santos-Álvarez, Anthea Gara et al.

Source: Information; Jul2025, Vol. 16 Issue 7, p540, 31p

Subject Terms: SCIENTIFIC literature, ARTIFICIAL intelligence, ALGORITHMIC bias, DATA analytics, INFORMATION resources management

Automation and creativity in AI-driven film editing: the view from the professional documentary sector.

Alternate Title: Perspectivas sobre la automatización y la creatividad en el montaje cinematográfico con Inteligencia Artificial (IA): una visión desde el sector profesional del documental. (Spanish)

Authors: Caballero, Jorge Sora-Domenjó, Carles

Source: Communication & Society; 2024, Vol. 37 Issue 3, p201-219, 37p

Subject Terms: MOTION picture editing, FILMMAKING, MOTION picture editors, ARTIFICIAL intelligence, AUTOMATION, DOCUMENTARY filmmakers, CREATIVE ability

Geographic Terms: SPAIN

Artificial Intelligence in Ecuadorian SMEs: Drivers and Obstacles to Adoption.

Authors: Pérez-Campdesuñer, Reyner Sánchez-Rodríguez, Alexander García-Vidal, Gelmar et al.

Source: Information; Jun2025, Vol. 16 Issue 6, p443, 24p

Subject Terms: ARTIFICIAL intelligence, DIGITAL technology, PERSONNEL management, SMALL business, AGE groups

Low-Code and No-Code Development in the Era of Artificial Intelligence: A Systematic Review.

Alternate Title: Desarrollo Low-Code y No-Code en la Era de la Inteligencia Artificial: Una Revisión Sistemática. (Spanish)

Authors: Liwanag, Gabriel Luis L. Ebardo, Ryan A. Cheng, Danny C.

Source: Data & Metadata; 2025, Vol. 4, p1-12, 12p

Subject Terms: ARTIFICIAL intelligence, DIGITAL transformation, SOFTWARE engineering, AUTOMATION software

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

Integrating Artificial Intelligence and Big Data in Spanish Journalism Education: A Curricular Analysis.

Authors: Tejedor, Santiago Cervi, Laura Romero-Rodríguez, Luis M. et al.

Source: Journalism & Media; Dec2024, Vol. 5 Issue 4, p1607-1623, 17p

Subject Terms: DATA analytics, TECHNOLOGICAL innovations, JOURNALISM education, BIG data, ARTIFICIAL intelligence

Experimental Design and Simulation of a Fly-Cutting Plant for Academic Environment Practices.

Authors: Ramírez-Jiménez, Diego Fernando Torres Valencia, Cristian Alejandro

Source: Machines; Jan2025, Vol. 13 Issue 1, p15, 24p

Subject Terms: MANUFACTURING processes, FACTORIES, DIGITAL technology, REAL-time control, BELT conveyors

Sobre la automatización de la extracción de programas de pruebas de terminación ; On automating the extraction of programs from termination proofs

Authors: Kamareddine, Fairouz Monin, François Ayala Rincón, Mauricio et al.

Contributors: Kamareddine, Fairouz Monin, François Ayala Rincón, Mauricio et al.

Source: Revista Colombiana de Computación; Vol. 4 Núm. 2 (2003): Revista Colombiana de Computación; 1-20

Subject Terms: Innovaciones tecnológicas, Ciencia de los computadores, Desarrollo de tecnología, Ingeniería de sistemas, Investigaciones, Tecnologías de la información y las comunicaciones, TIC´s, Technological innovations, Computer science, Technology development, Systems engineering, Investigations, Information and communication technologies, ICT's, Program extraction, Product types, Termination, ProPre system, Ciencias de la computación, Desarrollo tecnológico, Tecnologías de la información y la comunicación, Extracción de programas, Tipos de productos, Terminación, Sistema ProPre

File Description: application/pdf

Relation: https://revistas.unab.edu.co/index.php/rcc/article/view/1088/1060; https://revistas.unab.edu.co/index.php/rcc/article/view/1088; T. Arts and J. Giesl. Automatically proving termination where simplification orderings fail. In Proceedings of Theory and Practice of Software Development TAPSOFT’97, volume 1214 of LNCS, pages 261–272, 1997.; J. Giesl. Termination of nested and mutually recursive algorithms. J. of Automated Reasoning, 19:1–29, 1997.; W. A. Howard. The formulæ-as types notion of construction. In J. Hindley and J. Seldin, editors, To H.B. Curry: Essays on combinatory logic, lambda-calculus and formalism, pages 479–490. Academic Press, 1980.; F. Kamareddine and F. Monin. On automating inductive and non-inductive termination methods. In Proceedings of the 5th Asian Computing Science Conference, volume 1742 of LNCS, pages 177–189, 1999.; F. Kamareddine and F. Monin. On formalised proofs of termination of recursive functions. In Proceedings of the Int. Conf. on Principles and Practice of Declarative Programming, volume 1702 of LNCS, pages 29–46, 1999.; F. Kamareddine, F. Monin and M. Ayala-Rinc´on. On automating the extraction of programs from proofs using product types. In Proceedings of the 9th Workshop on Logic, Language, Information and Computation, WoLLIC’2002, Volume 67 of ENTCS, 20 pages, 2002.; J. L. Krivine. Lambda-calculus, Types and Models. Computers and Their Applications. Ellis Horwood, 1993.; J. L. Krivine and M. Parigot. Programming with proofs. J. Inf. Process Cybern, 26(3):149–167, 1990.; D. Leivant. Typing and computational properties of lambda expression. Theoretical Computer Science, 44:51–68, 1986.; P. Manoury. A user’s friendly syntax to define recursive functions as typed lambdaterms. In Proceedings of Type for Proofs and Programs TYPES’94, volume 996 of LNCS, pages 83–100, 1994.; P. Manoury, M. Parigot, and M. Simonot. ProPre, a programming language with proofs. In Proceedings of Logic Programming and Automated Reasoning, volume 624 of LNCS, pages 484–486, 1992.; P. Manoury and M. Simonot. Des preuves de totalit´e de fonctions comme synth`ese de programmes. PhD thesis, University Paris 7, 1992.; P. Manoury and M. Simonot. Automatizing termination proofs of recursively defined functions. Theoretical Computer Science, 135(2):319–343, 1994.; F. Monin and M. Simonot. An ordinal measure based procedure for termination of functions. Theoretical Computer Science, 254(1-2):63–94, 2001.; M. Parigot. Recursive programming with proofs: a second type theory. In Proceedings of the European Symposium on Programming ESOP’88, volume 300 of LNCS, pages 145–159, 1988.; M. Parigot. Recursive programming with proofs. Theoretical Computer Science, 94(2):335–356, 1992.; http://hdl.handle.net/20.500.12749/9046; instname:Universidad Autónoma de Bucaramanga UNAB; repourl:https://repository.unab.edu.co

Availability: https://hdl.handle.net/20.500.12749/9046

Systematic Review: Trends in Intelligent Tutoring Systems in Mathematics Teaching and Learning.

Authors: Niño-Rojas, Francisco Lancheros-Cuesta, Diana Pamela Jiménez-Valderrama, Martha Tatiana et al.

Source: International Journal of Education in Mathematics, Science & Technology; 2024, Vol. 12 Issue 1, p203-229, 27p

Automated News in Brazilian television: a case study on the AIDA system (Globo-Brazil).

Alternate Title: Automatización de textos periodísticos en la televisión brasileña: estudio de caso del sistema AIDA (Globo-Brasil). (Spanish)

Authors: Essenfelder, Renato Canavilhas, João Maia, Haline Costa et al.

Source: Doxa Comunicación; Jul-Dec2019, Issue 29, p255-274, 20p

Subject Terms: TELEVISION broadcasting of news, MASS media, TELEVISION networks, CASE studies, ARTIFICIAL intelligence

Holonic Reengineering to Foster Sustainable Cyber-Physical Systems Design in Cognitive Manufacturing.

Authors: Martín-Gómez, Alejandro Ávila-Gutiérrez, María Jesús Aguayo-González, Francisco et al.

Source: Applied Sciences (2076-3417); Apr2021, Vol. 11 Issue 7, p2941, 28p

Subject Terms: CYBER physical systems, SYSTEMS design, MANUFACTURING cells, VALUE chains, INTELLIGENT agents

Use of unmanned aircraft systems for bridge inspection: a review.

Alternate Title: Uso de sistemas de aeronaves no tripuladas para la inspección de puentes: una revisión. (Spanish)

Authors: Aldana-Rodríguez, Didier Ávila-Granados, Diego Leonardo Villalba-Vidales, Jorge Armando

Source: Dyna (0012-7353); Apr-Jun2021, Vol. 88 Issue 217, p32-41, 10p

Subject Terms: BRIDGE inspection, STRUCTURAL failures, STRUCTURAL health monitoring, CONVOLUTIONAL neural networks, BRIDGES, INSPECTION & review, THERMOGRAPHY

EGU General Assembly 2016.

Source: Geophysical Research Abstracts; 2016, Vol. 18, p1-16028, 16028p

Cyber-physical production systems architecture based on multi-agent's design pattern—comparison of selected approaches mapping four agent patterns.

Authors: Cruz Salazar, Luis Alberto Ryashentseva, Daria Lüder, Arndt et al.

Source: International Journal of Advanced Manufacturing Technology; Dec2019, Vol. 105 Issue 9, p4005-4034, 30p

Subject Terms: MULTIAGENT systems, INDUSTRY 4.0, CYBER physical systems, ARCHITECTURE

Determination of Professional Competencies Using an Alignment Algorithm of Academic Profiles and Job Advertisements, Based on Competence Thesauri and Similarity Measures.

Authors: González-Eras, Alexandra Aguilar, Jose

Source: International Journal of Artificial Intelligence in Education (Springer Science & Business Media B.V.); Dec2019, Vol. 29 Issue 4, p536-567, 32p

Subject Terms: TARDINESS, PSYCHOLOGICAL feedback, ADVERTISING, PERFORMANCE

A Literature Review on Embedded Systems.

Authors: De Micco, Luciana Vargas, Fabian Luis Fierens, Pablo Ignacio

Source: IEEE Latin America Transactions; Feb2020, Vol. 18 Issue 2, p188-205, 18p

Geophysical Research Abstracts.

Source: Geophysical Research Abstracts; 2017, Vol. 19, p1-6903, 6903p

The alignment of enzymatic steps reveals similar metabolic pathways and probable recruitment events in Gammaproteobacteria.

Authors: Poot-Hernandez, Augusto Cesar Rodriguez-Vazquez, Katya Perez-Rueda, Ernesto

Source: BMC Genomics; 11/17/2015, Vol. 16, p1-14, 14p, 4 Diagrams, 2 Graphs

Subject Terms: PROTEOBACTERIA, CHROMOSOME duplication, ENZYMES, BIOSYNTHESIS, LYSINE, FATTY acids, GAMMAPROTEOBACTERIA

State of the Art of Teleoperated Energy Harvesting Systems for Small Hydropower Plants.

Authors: Alexander, Camacho John David, Chamorro Cristian Gladys, Caicedo Nayiver

Source: International Review of Electrical Engineering; May/Jun2019, Vol. 14 Issue 3, p182-194, 13p, 7 Charts

Subject Terms: WATER power, FAULT-tolerant control systems, REMOTE control, ENERGY harvesting, SYSTEMS software, SERVICE-oriented architecture (Computer science)

Sistema de medición del impacto ergonómico en la productividad del área de recursos humanos del H. Ayuntamiento de Tultitlán, Estado de México y Culiacán, Estado de Sinaloa. Investigaciones en Universitaria Agustiniana, Bogotá, Colombia (Spanish)

Authors: Roldán Figueroa, Margott Velázquez Carrillo, Gilberto Galeano, Miguel Amaya et al.

Source: Congreso Internacional de Investigación Academia Journals; 2015, Vol. 7 Issue 4, p5166-5169, 4p