Results 171 to 180 of about 9,033 (258)
Cycle-configuration descriptors: a novel graph-theoretic approach to enhancing molecular inference. [PDF]
Song B +5 more
europepmc +1 more source
Exact Solutions for the Moving Firefighter Problem on Trees
ABSTRACT The moving firefighter problem (MFP) is a more realistic variant of the classic firefighter problem (FP), where firefighters require time for both travel and defense. Unfortunately, the only known exact solution for the MFP does not scale. In this paper, we establish that the MFP is NP‐complete on trees of maximum degree three and present four
Mauro A. Montenegro‐Meza +4 more
wiley +1 more source
Resilient and verifiable outsourced attribute-based non-interactive oblivious transfer protocol for tactical edge networks. [PDF]
Liu W, Fu B, Wang L.
europepmc +1 more source
Shaping Decision Models for Stochastic Dynamic Optimization Problems via Reinforcement Learning
ABSTRACT With rising customer expectations and increasing computational potential, many transport, manufacturing, and production operations face real‐time decision making in stochastic dynamic environments. Decision makers must find and adapt complex plans that are effective now but also flexible with respect to future developments.
Florentin D. Hildebrandt +3 more
wiley +1 more source
Revocable Identity-Based Matchmaking Encryption with Equality Test for Smart Healthcare. [PDF]
Zheng X, Zheng D, Zhang Y.
europepmc +1 more source
A quantum‐secured authentication framework, QSAFE‐V, is introduced for vehicular Tactile Internet environments. By integrating Quantum Identity Tokens, lattice‐based cryptography, and edge‐assisted verification, the framework enables lightweight mutual authentication with strong resistance against replay, impersonation, and quantum‐enabled attacks ...
Shakil Ahmed +2 more
wiley +1 more source
A dynamic programming algorithm for generating chemical isomers based on frequency vectors. [PDF]
Ido R +4 more
europepmc +1 more source
ABSTRACT Background Weighting methods are widely used for confounding adjustment in observational studies, but their finite‐sample behavior depends on implementation choices and empirical overlap. We compare IPTW, just‐ and over‐identified covariate balancing propensity score (CBPS), CBPS by tailored‐loss function (CBPS‐TLF), energy balancing (EB), and
Etienne Peyrot +2 more
wiley +1 more source
Formal Approach to Safety‐Driven Dynamic Procedure Modeling
ABSTRACT Ensuring the safety of unmanned aerial systems (UAS) is a growing concern as the number of UAS grows increasingly fast. Regulatory bodies are in the process of tackling this problem by issuing standards and recommendations to be met by UAS designers.
Jean‐Charles Chaudemar +3 more
wiley +1 more source
A new method for a priori practical identifiability. [PDF]
Thompson P +3 more
europepmc +1 more source

