1
TITLE: Divide-and-conquer initialization and mutation operators for the large-scale mixed Capacitated Arc Routing Problem  Full Text
AUTHORS: Oliveira, Diogo F.; Martins, Miguel S. E.; Sousa, Joao M. C.; Vieira, Susana M.; Figueira, Jose Rui;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 321, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
2
TITLE: Forced Periodic Optimal Scheduling Policy for Graph Reinforcement Learning
AUTHORS: Miguel E Martins; Susana Vieira; João C Sousa;
PUBLISHED: 2024, SOURCE: 20th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2024 in Lecture Notes in Networks and Systems, VOLUME: 1174 LNNS
INDEXED IN: Scopus CrossRef
3
TITLE: Minimizing total completion time in large-sized pharmaceutical quality control scheduling  Full Text
AUTHORS: Martins, Miguel S. E.; Viegas, Joaquim L.; Coito, Tiago; Firme, Bernardo; Costigliola, Andrea; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2023, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 29, ISSUE: 1
INDEXED IN: Scopus WOS
4
TITLE: Modularization of Logic Programs
AUTHORS: Pinto, AM; Pereira, LM;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AUTHORS: Pinto, AM; Pereira, LM;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
6
TITLE: Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AUTHORS: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLISHED: 2023, SOURCE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
INDEXED IN: DBLP
7
TITLE: Modularization of Logic Programs
AUTHORS: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLISHED: 2023, SOURCE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
INDEXED IN: DBLP
8
TITLE: Assessing the impact of automation in pharmaceutical quality control labs using a digital twin  Full Text
AUTHORS: Coito, Tiago; Martins, Miguel S. E.; Firme, Bernardo; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 62
INDEXED IN: Scopus WOS
9
TITLE: Integration of industrial IoT architectures for dynamic scheduling  Full Text
AUTHORS: Coito, Tiago; Firme, Bernardo; Martins, Miguel S. E.; Costigliola, Andrea; Lucas, Rafael; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2022, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 171
INDEXED IN: Scopus WOS
10
TITLE: Novel Cluster Modeling for the Spatiotemporal Analysis of Coastal Upwelling
AUTHORS: Nascimento, Susana; Martins, Alexandre; Relvas, Paulo; Luis, Joaquim F. ; Mirkin, Boris;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566
INDEXED IN: Scopus WOS CrossRef
Page 1 of 4. Total results: 31.