Results 41 to 50 of about 3,733 (151)
Speeding up the constraint-based method in difference logic [PDF]
, 2016 "The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_18"Over the years the constraint-based method has been successfully applied to a wide range of problems in program analysis, from invariant generation to ...
A Miné +26 more
core +1 more source
3D Cruise Trajectory Optimization Inspired by a Shortest Path Algorithm
Aerospace, 2020 Aircrafts require a large amount of fuel in order to generate enough power to perform a flight. That consumption causes the emission of polluting particles such as carbon dioxide, which is implicated in global warming.
Alejandro Murrieta-Mendoza +2 more
doaj +1 more source
Sensors, 2021 Forest fires are undesirable situations with tremendous impacts on wildlife and people’s lives. Reaching them quickly is essential to slowing down their expansion and putting them out in an effective manner.
Miguel de Domingo +3 more
doaj +1 more source
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
, 2007 Integer octagonal constraints (a.k.a. ``Unit Two Variables Per Inequality'' or ``UTVPI integer constraints'') constitute an interesting class of constraints for the representation and solution of integer problems in the fields of constraint programming ...
Bagnara, Roberto +2 more
core +5 more sources
Discrete Dynamics in Nature and Society, 2022 The main objective of this paper is to find the duration of maximum time connectivity of sensor nodes under uncertainty utilizing the prespecified voltage/power of each sensor node. Wireless sensor networks (WSNs) are composed of nodes that transmit data between each other over routing.
Laxminarayan Sahoo +4 more
openaire +3 more sources
Networks, Volume 86, Issue 4, Page 361-388, December 2025.ABSTRACT The Split Delivery Vehicle Routing Problem with Two‐dimensional Loading Constraints (2L‐SDVRP) integrates vehicle routing, split delivery, and two‐dimensional packing constraints. In the 2L‐SDVRP, customers can be served by multiple vehicles, and their demands consist of different two‐dimensional rectangular items that must be packed in the ...
Kamyla Maria Ferreira +4 more
wiley +1 more source
Energy Conversion and Economics, 2023 With the continuously increasing penetration of electric vehicles (EVs), the mutual match between the distribution of charging resources and the spatial–temporal distribution of EV charging demands is becoming increasingly important.
Chenlin Ji +6 more
doaj +1 more source
The Metric Nearness Problem [PDF]
, 2008 Metric nearness refers to the problem of optimally restoring metric properties to distance measurements that happen to be nonmetric due to measurement errors or otherwise.
Brickell, Justin +3 more
core
Ecological Applications, Volume 35, Issue 7, October 2025.Abstract Seamounts are unique habitats in the deep sea facing anthropogenic stressors, including future deep‐sea mining. To conserve patchy marine habitats such as seamounts, it is critical to design conservation area networks that maintain connectivity by larval dispersal. This study conducted biophysical modeling to quantify larval dispersal among 18
Naoki Saito +6 more
wiley +1 more source
Multi-Topology Routing Algorithms in SDN-Based Space Information Networks
Future Internet, 2019 Aiming at the complex structure of the space information networks (SIN) and the dynamic change of network topology, in order to design an efficient routing strategy, this paper establishes a SIN management architecture based on Software-defined ...
Xiangli Meng, Lingda Wu, Shaobo Yu
doaj +1 more source