Results 41 to 50 of about 1,901 (283)
Leveraging Public Transit for Robotic Deliveries: A Column Generation Approach
Naval Research Logistics (NRL), EarlyView.ABSTRACT Autonomous mobile robots (AMRs) are small, electric, wheeled vehicles that operate at pedestrian speeds. In the last‐mile delivery service considered in this study, a fleet of AMRs is deployed across multiple recharging depots within a service area, from which they depart to perform point‐to‐point deliveries. We consider an operational setting
Yishay Shapira, Mor Kaspi
wiley +1 more source
On the resolvent of an ideal and some applications
International Journal of Mathematics and Mathematical Sciences, 2003 We give an algorithm to compute a resolvent of an algebraic variety without computing its irreducible components; we decompose the radical of an ideal into prime ideals and we test the primality of a regular ideal.
Driss Bouziane, Abdelilah Kandri Rody
doaj +1 more source
A Two‐Stage Optimization Approach for Selecting Electric‐Flight Airports
Networks, EarlyView.ABSTRACT The decarbonization of short‐haul air transport has gained increasing attention, with electric aircraft emerging as a promising alternative to conventional short‐haul aviation. However, given the substantial investment anticipated for the necessary infrastructure, a strategic and globally coordinated selection of airports is imperative.
Imke Joormann +2 more
wiley +1 more source
Primal Implication as Encryption [PDF]
, 2014 We propose a "cryptographic" interpretation for the propositional connectives of primal infon logic introduced by Y. Gurevich and I. Neeman and prove the corresponding soundness and completeness results. Primal implication $\impφψ$ corresponds to the encryption of $ψ$ with a secret key $φ$, primal disjunction $\vpφψ$ is a group key and $\bot$ reflects ...
openaire +2 more sources
Inverse problems with poisson noise: Primal and primal-dual splitting [PDF]
2011 18th IEEE International Conference on Image Processing, 2011 In this paper, we propose two algorithms for solving linear inverse problems when the observations are corrupted by Poisson noise. A proper data fidelity term (log-likelihood) is introduced to reflect the Poisson statistics of the noise. On the other hand, as a prior, the images to restore are assumed to be positive and sparsely represented in a ...
Dupé, François-Xavier +2 more
openaire +3 more sources
Networks, EarlyView.ABSTRACT This paper investigates the b$$ b $$‐block single picker routing problem with scattered storage (b$$ b $$‐SPRP‐SS). For a parallel‐aisle warehouse comprising b$$ b $$ blocks, the b$$ b $$‐SPRP‐SS asks for the determination of a picker tour that minimizes travel distance while collecting all articles from a given pick list.
Stefan Irnich, Laura Lüke
wiley +1 more source
A Practical Collision-Based Power Analysis on RSA Prime Generation and Its Countermeasure
IEEE Access, 2019 We analyze the security of RSA prime generation implemented on embedded devices by a practical power analysis attack. Unlike previous differential power analysis-based attack on primality tests of RSA prime generation exploiting the deterministic ...
Sangyub Lee +3 more
doaj +1 more source
Toward the Unification of Physics and Number Theory [PDF]
Reports in Advances of Physical Sciences, 2019 This paper introduces the notion of simplex-integers and shows how, in contrast to digital numbers, they are the most powerful numerical symbols that implicitly express the information of an integer and its set theoretic substructure.
Klee Irwin
doaj +1 more source
ACM Transactions on Computational LogicPrimal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction, disjunction, and implication may seem to correspond (set-theoretically) to union, intersection, and ...
Yuri Gurevich, Andreas Blass
openaire +4 more sources
Optimal Control Applications and Methods, EarlyView.Computational governor is shown which simultaneously adjusts the reference and adjusts the constraints. ABSTRACT The paper considers a computational governor strategy to facilitate the implementation of Model Predictive Control (MPC) based on inexact optimization when the time available to compute the solution may be insufficient.
Steven van Leeuwen, Ilya Kolmanovsky
wiley +1 more source