Integrated Low-Carbon Refinery Planning with Coordinated Electrification and Feedstock Transition: Stochastic Programming Model and Decision-Focused Scenario Reduction Algorithm

Authors: Liu, Shuxian, Li, Longyan, Ning, Chao

Source: Industrial & Engineering Chemistry Research. 65(36):19220-19244

Availability: https://pubs.acs.org/doi/10.1021/acs.iecr.6c02753

Models and Algorithms for Equilibrium Analysis of Mixed-Material Nucleic Acid Systems

Authors: Nanjundiah, Avinash^aff1, Fornace, Mark E.^{aff1, aff2}, Schulte, Samuel J.^aff1, Pierce, Niles A.^{aff1, aff3}

Source: ACS Synthetic Biology. 15(1):74-87

Availability: https://pubs.acs.org/doi/10.1021/acssynbio.5c00470

Automatic planning and optimization of a laser radar inspection system

Authors: Spensieri, Domenico, Author, Sandberg, Jack, Author, Åblad, Edvin, Author, Torstensson, Johan, Author, Kressin, Jonas, Author, Strand, Daniel, Author, Lindqvist, Richard, 1974-, Author

Contributors: Spensieri, Domenico, Author, Sandberg, Jack, Author, Åblad, Edvin, Author, Torstensson, Johan, Author, Kressin, Jonas, Author, Strand, Daniel, Author, Lindqvist, Richard, 1974-, Author

Source: International journal of computer integrated manufacturing (Print). 39(2):303-317

Subject Terms: Inspection, laser sensor, computer-integrated manufacturing, integer programming, algorithms

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-364534
https://doi.org/10.1080/0951192X.2025.2493624

Research of Online Teaching System Based on PAR Platform and Cross-Media Algorithm Programming

Authors: Niu, Linlin

Source: 2022 IEEE 2nd International Conference on Data Science and Computer Application (ICDSCA) Data Science and Computer Application (ICDSCA), 2022 IEEE 2nd International Conference on. :1328-1331 Oct, 2022

Relation: 2022 IEEE 2nd International Conference on Data Science and Computer Application (ICDSCA)

Genetic programming algorithms for controller design in the time domain

Authors: García Sánchez, Carlos Andrés

Contributors: University/Department: Universitat Politècnica de Catalunya. Institut d'Organització i Control de Sistemes Industrials

Thesis Advisors: Velasco García, Manel, Angulo Bahón, Cecilio

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Programación Genética, Control Simbólico, Diseño en el Dominio del Tiempo, Generación de Hidrógeno, Sistemas SISO, Sistemas MISO, Compensación de Degradación, Distribución de Carga, Algoritmos Evolutivos, Control Independiente de Modelo, Programació Genètica, Control en el Domini del Temps, Operadors Diferencials, Regressió Simbòlica, Generació d’Hidrogen, Sistemes SISO, Sistemes MISO, Funció de Fitness, Algoritmes Evolutius, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

File Description: application/pdf

Access URL: https://hdl.handle.net/10803/697229
https://dx.doi.org/10.5821/dissertation-2117-460434

Using Genetic Algorithm and Mathematical Programming Model for Ambulance Location Problem in Emergency Medical Service [IEICE Transactions on Information and Systems Vol. E107.D (2024), No. 9 pp. 1123-1132]

Authors: Batnasan LUVAANJALBA, Elaine Yi-Ling WU

Source: IEICE Transactions on Information and Systems. 2026, E109.D(9)

Application of BIM visual programming algorithms for infrastructure projects

Authors: Collao Lazo, Jorge Alejandro

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Thesis Advisors: Lozano Galant, José Antonio, Turmo Coderque, José

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: BIM, Building information modeling, greenhouse emissions, carbon footprint, civil engineering, education, visual programming, Modelado de información de la Edificación, emisiones de gases de efecto invernadero, huella de carbono, ingeniería civil, educación, algoritmos de programación visual, Àrees temàtiques de la UPC::Enginyeria civil, Àrees temàtiques de la UPC::Desenvolupament humà i sostenible, Àrees temàtiques de la UPC::Edificació, 624 - Enginyeria civil i de la construcció en general, 502 - Natura. Estudi, conservació i protecció de la natura, 69 - Materials de construcció. Pràctiques i procediments de construcció

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/695495
https://dx.doi.org/10.5821/dissertation-2117-443688

Fuzzy algorithm representation for its application in intelligent tutoring systems for the learning of programming

Authors: Jurado, Francisco, Redondo, Miguel Ángel, Ortega, Manuel

Source: Proceedings of the 2007 Euro American conference on Telematics and information systems. :1-8

Availability: http://dl.acm.org/doi/10.1145/1352694.1352728

Multi-objective Constrained Optimal Power Flow Based on Enhanced Ant Colony System Algorithm

Authors: Abdulrasool, Ali Qasim, Al-Bahrani, Layth Tawfeeq

Source: 2021 12th International Symposium on Advanced Topics in Electrical Engineering (ATEE) Advanced Topics in Electrical Engineering (ATEE), 2021 12th International Symposium on. :1-5 Mar, 2021

Relation: 2021 12th International Symposium on Advanced Topics in Electrical Engineering (ATEE)

On the interaction between the Linux kernel and runtime systems

Authors: Roca Nonell, Aleix

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Ayguadé Parra, Eduard, Beltran Querol, Vicenç

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Operating Systems, Runtime Systems, High Performance Computing, Programming Models, Scheduling, I/O, Memory, Tracing, Resource Management, Performance, System Throughput, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

File Description: application/pdf

Access URL: https://hdl.handle.net/10803/697952
https://dx.doi.org/10.5821/dissertation-2117-468621

Genetic programming and bacterial algorithm for neural networks and fuzzy systems design

Authors: Cabrita, Cristiano Lourenço, Botzheim, J., Ruano, Antonio, Kóczy, László T.

Contributors: Sapientia

Subject Terms: Constructive algorithms, B-splines, Genetic programming, Fuzzy rule base, Bacterial evolutionary algorithm

File Description: application/pdf

Relation: AUT: ARU00698; CCA01443

Availability: http://hdl.handle.net/10400.1/2283

A Linear Programming Method Based on Proximal-Point Iterations With Applications to Multi-Parametric Programming

Authors: Arnström, Daniel, Author, Bemporad, Alberto, Author, Axehill, Daniel, Author

Contributors: Arnström, Daniel, Author, Bemporad, Alberto, Author, Axehill, Daniel, Author

Source: IEEE Control Systems Letters. 6:2066-2071

Subject Terms: Linear programming, Programming, Prediction algorithms, Linear systems, Indexes, Approximation algorithms, Real-time systems, Optimization algorithms, predictive control for linear systems

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-182367
https://liu.diva-portal.org/smash/get/diva2:1630027/FULLTEXT01.pdf

A Unifying Complexity Certification Framework for Active-Set Methods for Convex Quadratic Programming

Authors: Arnström, Daniel, Author, Axehill, Daniel, Author

Contributors: Arnström, Daniel, Author, Axehill, Daniel, Author

Source: IEEE Transactions on Automatic Control. 67(6):2758-2770

Subject Terms: Complexity theory, Predictive control, Optimization, Linear systems, Real-time systems, Quadratic programming, Linear programming, Optimization algorithms, predictive control for linear systems, quadratic programming

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-185817
https://liu.diva-portal.org/smash/get/diva2:1669297/FULLTEXT01.pdf

Linear Programming-Based Preprocessing Algorithm and Tightening Constraints for Multiperiod Blend Scheduling Problems

Authors: Song, Yingkai^aff1, Maravelias, Christos T.^{aff1, aff2}

Source: Industrial & Engineering Chemistry Research. 63(9):4030-4045

Availability: https://pubs.acs.org/doi/10.1021/acs.iecr.3c03166

Surrogate-Assisted Optimization of the Opt-IA Artificial Immune System Algorithm

Authors: Sakanaka, Yuko, Aubert-Kato, Nathanael

Source: 2019 IEEE Symposium Series on Computational Intelligence (SSCI) Computational Intelligence (SSCI), 2019 IEEE Symposium Series on. :1937-1944 Dec, 2019

Relation: 2019 IEEE Symposium Series on Computational Intelligence (SSCI)

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Gurfinkel, Arie, Heule, Marijn

Subject Terms: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine

File Description: image/jpeg

Relation: Lecture Notes in Computer Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/159431
https://library.oapen.org/handle/20.500.12657/101662
https://library.oapen.org/bitstream/20.500.12657/101662/1/9783031906534.pdf

Economic and Environmental Life Cycle Optimization of Noncooperative Supply Chains and Product Systems: Modeling Framework, Mixed-Integer Bilevel Fractional Programming Algorithm, and Shale Gas Application

Authors: Gao, Jiyao, You, Fengqi

Source: ACS Sustainable Chemistry & Engineering. 5(4):3362-3381

Availability: https://pubs.acs.org/doi/10.1021/acssuschemeng.7b00002

Exact Complexity Certification of Suboptimal Branch-and-Bound Algorithms for Mixed-Integer Linear Programming

Authors: Shoja, Shamisa, Author, Axehill, Daniel, Author

Contributors: Shoja, Shamisa, Author, Axehill, Daniel, Author

Source: IFAC PAPERSONLINE. :7428-7435

Subject Terms: Numerical methods for optimal control, Optimal control of hybrid systems, Mixed-integer linear programming, Branch and bound method, Complexity certification, Suboptimal solutions

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-202555
https://liu.diva-portal.org/smash/get/diva2:1851998/FULLTEXT01.pdf

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms

Authors: Demirović, Emir, Author, McCreesh, Ciaran, Author, McIlree, Matthew J., Author, Nordström, Jakob, Author, Oertel, Andy, Author, Sidorov, Konstantin, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Parallel Systems, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Parallella System, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator

Contributors: Demirović, Emir, Author, McCreesh, Ciaran, Author, McIlree, Matthew J., Author, Nordström, Jakob, Author, Oertel, Andy, Author, Sidorov, Konstantin, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Parallel Systems, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Parallella System, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator

Source: Leibniz International Proceedings in Informatics, LIPIcs 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. 307

Subject Terms: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)

Access URL: https://doi.org/10.4230/LIPIcs.CP.2024.9

State-of-art of genetic programming applications in water-resources systems analysis

Authors: Mohammad-Azari, Sahar, Bozorg-Haddad, Omid, Loáiciga, Hugo A

Source: Environmental Monitoring and Assessment. 192(2)

Subject Terms: 3707 Hydrology (for-2020), 46 Information and Computing Sciences (for-2020), 37 Earth Sciences (for-2020), 4602 Artificial Intelligence (for-2020), 6 Clean Water and Sanitation (sdg), Algorithms (mesh), Environmental Monitoring (mesh), Floods (mesh), Forecasting (mesh), Groundwater (mesh), Models, Theoretical (mesh), Systems Analysis (mesh), Water Quality (mesh), Water Resources (mesh), Evolutionary programming, Gene-expression programming, Fixed-length gene genetic programming, Linear genetic programming, Environmental Monitoring (mesh), Algorithms (mesh), Models, Theoretical (mesh), Forecasting (mesh), Systems Analysis (mesh), Floods (mesh), Groundwater (mesh), Water Quality (mesh), Water Resources (mesh), Evolutionary programming, Fixed-length gene genetic programming, Gene-expression programming, Linear genetic programming, Algorithms (mesh), Environmental Monitoring (mesh), Floods (mesh), Forecasting (mesh), Groundwater (mesh), Models, Theoretical (mesh), Systems Analysis (mesh), Water Quality (mesh), Water Resources (mesh), Environmental Sciences (science-metrix)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/25g8341n
https://escholarship.org/content/qt25g8341n/qt25g8341n.pdf