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

Συγγραφείς: Liu, Shuxian, Li, Longyan, Ning, Chao

Πηγή: Industrial & Engineering Chemistry Research. 65(36):19220-19244

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acs.iecr.6c02753

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

Συγγραφείς: Nanjundiah, Avinash^aff1, Fornace, Mark E.^{aff1, aff2}, Schulte, Samuel J.^aff1, Pierce, Niles A.^{aff1, aff3}

Πηγή: ACS Synthetic Biology. 15(1):74-87

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acssynbio.5c00470

Automatic planning and optimization of a laser radar inspection system

Συγγραφείς: Spensieri, Domenico, Author, Sandberg, Jack, Author, Åblad, Edvin, Author, Torstensson, Johan, Author, Kressin, Jonas, Author, Strand, Daniel, Author, Lindqvist, Richard, 1974-, Author

Συνεισφορές: Spensieri, Domenico, Author, Sandberg, Jack, Author, Åblad, Edvin, Author, Torstensson, Johan, Author, Kressin, Jonas, Author, Strand, Daniel, Author, Lindqvist, Richard, 1974-, Author

Πηγή: International journal of computer integrated manufacturing (Print). 39(2):303-317

Θεματικοί όροι: Inspection, laser sensor, computer-integrated manufacturing, integer programming, algorithms

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Niu, Linlin

Πηγή: 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

Συγγραφείς: García Sánchez, Carlos Andrés

Συνεισφορές: 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

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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]

Συγγραφείς: Batnasan LUVAANJALBA, Elaine Yi-Ling WU

Πηγή: IEICE Transactions on Information and Systems. 2026, E109.D(9)

Application of BIM visual programming algorithms for infrastructure projects

Συγγραφείς: Collao Lazo, Jorge Alejandro

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

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

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: 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ó

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Jurado, Francisco, Redondo, Miguel Ángel, Ortega, Manuel

Πηγή: Proceedings of the 2007 Euro American conference on Telematics and information systems. :1-8

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1352694.1352728

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

Συγγραφείς: Abdulrasool, Ali Qasim, Al-Bahrani, Layth Tawfeeq

Πηγή: 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

Συγγραφείς: Roca Nonell, Aleix

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Cabrita, Cristiano Lourenço, Botzheim, J., Ruano, Antonio, Kóczy, László T.

Συνεισφορές: Sapientia

Θεματικοί όροι: Constructive algorithms, B-splines, Genetic programming, Fuzzy rule base, Bacterial evolutionary algorithm

Περιγραφή αρχείου: application/pdf

Relation: AUT: ARU00698; CCA01443

Διαθεσιμότητα: http://hdl.handle.net/10400.1/2283

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

Συγγραφείς: Arnström, Daniel, Author, Bemporad, Alberto, Author, Axehill, Daniel, Author

Συνεισφορές: Arnström, Daniel, Author, Bemporad, Alberto, Author, Axehill, Daniel, Author

Πηγή: IEEE Control Systems Letters. 6:2066-2071

Θεματικοί όροι: Linear programming, Programming, Prediction algorithms, Linear systems, Indexes, Approximation algorithms, Real-time systems, Optimization algorithms, predictive control for linear systems

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Arnström, Daniel, Author, Axehill, Daniel, Author

Συνεισφορές: Arnström, Daniel, Author, Axehill, Daniel, Author

Πηγή: IEEE Transactions on Automatic Control. 67(6):2758-2770

Θεματικοί όροι: Complexity theory, Predictive control, Optimization, Linear systems, Real-time systems, Quadratic programming, Linear programming, Optimization algorithms, predictive control for linear systems, quadratic programming

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Song, Yingkai^aff1, Maravelias, Christos T.^{aff1, aff2}

Πηγή: Industrial & Engineering Chemistry Research. 63(9):4030-4045

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acs.iecr.3c03166

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

Συγγραφείς: Sakanaka, Yuko, Aubert-Kato, Nathanael

Πηγή: 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

Συνεισφορές: Gurfinkel, Arie, Heule, Marijn

Θεματικοί όροι: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine

Περιγραφή αρχείου: image/jpeg

Relation: Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Gao, Jiyao, You, Fengqi

Πηγή: ACS Sustainable Chemistry & Engineering. 5(4):3362-3381

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acssuschemeng.7b00002

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

Συγγραφείς: Shoja, Shamisa, Author, Axehill, Daniel, Author

Συνεισφορές: Shoja, Shamisa, Author, Axehill, Daniel, Author

Πηγή: IFAC PAPERSONLINE. :7428-7435

Θεματικοί όροι: Numerical methods for optimal control, Optimal control of hybrid systems, Mixed-integer linear programming, Branch and bound method, Complexity certification, Suboptimal solutions

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: 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

Συνεισφορές: 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

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

Θεματικοί όροι: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)

Σύνδεσμος πρόσβασης: https://doi.org/10.4230/LIPIcs.CP.2024.9

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

Συγγραφείς: Mohammad-Azari, Sahar, Bozorg-Haddad, Omid, Loáiciga, Hugo A

Πηγή: Environmental Monitoring and Assessment. 192(2)

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/25g8341n
https://escholarship.org/content/qt25g8341n/qt25g8341n.pdf