Results 61 to 70 of about 1,992 (151)

A Decision‐Support Roadmap for Landfill Site Selection: Insights From a Systematic Review and Applications in Brazil

Environmental Quality Management, Volume 35, Issue 4, Summer 2026.
ABSTRACT The rapid growth of municipal solid waste generation, particularly in emerging economies, has intensified environmental and public health challenges associated with inadequate final disposal. Although sanitary landfills remain the most widely adopted solution, inappropriate site selection can result in long‐term environmental degradation and ...
Daniella Moura Barbosa, Ingrid Hariane Reis Borges, Brenda de Farias Oliveira Cardoso, Vitor William Batista Martins, Mateus Araújo de Araújo, André Cristiano Silva Melo, Denilson Ricardo de Lucena Nunes   +6 more
wiley   +1 more source

Satisfiability modulo theories for verifying MILP certificates

Journal of Symbolic Computation
Implemented a formal verification in Why3 of all logical components of our method (Section 4.1), formally proving the main equivalence theorem.
Kenan Wood, Runtian Zhou, Haoze Wu 0002, Hammurabi Mendes, Jonad Pulaj   +4 more
openaire   +2 more sources

Possible refinements of RECIFE-MILP

, 2017
In this document we propose formulations of additional constraints or alternative objective functions which can be added to RECIFE-MILP. The aim of these refinements is acquiring the possibility of representing additional features of the railway traffic system and alternative traffic management strategies.
Pellegrini, Paola, Marliere, Grégory, Sobieraj Richard, Sonia, Rodriguez, Joaquin   +3 more
openaire   +1 more source

Bio-Inspired Energy-Efficient Routing for Wireless Sensor Networks Based on Honeybee Foraging Behavior and MDP-Driven Adaptive Scheduling. [PDF]

Biomimetics (Basel)
Chen F, Wu X, Qi W, Wang Z, Wang Z, Li P.   +5 more
europepmc   +1 more source

Multiagent Planning and Learning As MILP

, 2020
Les processus décisionnels de Markov décentralises et partiellement observables (Dec-POMDPs) offrent un cadre unifie pour la prise de décisions séquentielles par de plusieurs agents collaboratifs—mais ils restent difficiles`a résoudre. Les reformulations en programmes linéaires mixtes (PLMs) se sont avérées utiles pour les processus décisionnels de ...
Dibangoye, Jilles, Buffet, Olivier, Kumar, Akshat   +2 more
openaire   +1 more source

Designing a Food Frequency Questionnaire for a Vegetarian Population in Germany by Means of Mixed-Integer Linear Programming. [PDF]

Nutrients
Blaurock J, Heuer T, Gedrich K.
europepmc   +1 more source

A New Ant Colony Optimization-Based Dynamic Path Planning and Energy Optimization Model in Wireless Sensor Networks for Mobile Sink by Using Mixed-Integer Linear Programming. [PDF]

Biomimetics (Basel)
Chen F, Wu X, Wang Z, Qi W, Li P.
europepmc   +1 more source

MoC-TSCH: multi-objective MILP-based TSCH mobility optimization for network coverage and connectivity in IIoT. [PDF]

Sci Rep
Mulatu AN, Zennaro M, Gared F, Prabhakar TV.   +3 more
europepmc   +1 more source

Learning-based multi-objective hyper-heuristic algorithm for reconfigurable assembly line scheduling problems. [PDF]

PLoS One
Zhao H, Huang X, Liu G, Li Z, Chen F, Lu G.   +5 more
europepmc   +1 more source

An improved adaptive large neighborhood search algorithm for the flexible two-tier vehicle routing problem with drone stations. [PDF]

Front Artif Intell
Li Q, Yan W, Gonsalves T.
europepmc   +1 more source