Results 71 to 80 of about 1,024,245 (290)

Computing Resolution-Path Dependencies in Linear Time

, 2012
The alternation of existential and universal quantifiers in a quantified boolean formula (QBF) generates dependencies among variables that must be respected when evaluating the formula. Dependency schemes provide a general framework for representing such
Slivovsky, Friedrich, Szeider, Stefan
core   +1 more source

Finding Shortest Paths With Computational Geometry [PDF]

Journal of Graph Algorithms and Applications, 2003
Summary: We present a heuristic search algorithm for the \(\mathbb R^d\) Manhattan shortest path problem that achieves front-to-front bidirectionality in subquadratic time. In the study of bidirectional search algorithms, front-to-front heuristic computations were thought to be prohibitively expensive (at least quadratic time complexity); our algorithm
openaire   +1 more source

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

FEBS Open Bio, EarlyView.
This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Optimal time reuse strategy-based dynamic multi-AGV path planning method

Complex & Intelligent Systems
The window strategy, known for its flexibility and efficiency, is extensively used in dynamic path planning. To further enhance the performance of the Automated Guided Vehicles (AGVs) sorting system, the two processes of AGV movement and path planning ...
Ke Wang, Wei Liang, Huaguang Shi, Jialin Zhang, Qi Wang   +4 more
doaj   +1 more source

A Global Path Planning Algorithm Based on Bidirectional SVGA

Journal of Robotics, 2017
For path planning algorithms based on visibility graph, constructing a visibility graph is very time-consuming. To reduce the computing time of visibility graph construction, this paper proposes a novel global path planning algorithm, bidirectional SVGA (
Taizhi Lv, Chunxia Zhao, Jiancheng Bao
doaj   +1 more source

Application of the Logistics Management System Based on Cloud Computing Technology

Journal of Control Science and Engineering, 2022
In order to solve the vehicle routing optimization problem of cold chain logistics distribution, this paper proposes a vehicle routing optimization method of cold chain logistics distribution based on cloud computing technology.
Shuai Zhang
doaj   +1 more source

Path integral computation of phonon anharmonicity [PDF]

The European Physical Journal B, 2004
The partition function of an oscillator disturbed by a set of electron particle paths has been computed by a path integral method which permits to evaluate at any temperature the relevant cumulant terms in the series expansion. The time dependent source current peculiar of the semiclassical Su-Schrieffer-Heeger model induces large electron-phonon ...
openaire   +2 more sources

Visual Recovery Reflects Cortical MeCP2 Sensitivity in Rett Syndrome

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Rett syndrome (RTT) is a devastating neurodevelopmental disorder with developmental regression affecting motor, sensory, and cognitive functions. Sensory disruptions contribute to the complex behavioral and cognitive difficulties and represent an important target for therapeutic interventions.
Alex Joseph Simon, Nathalie Picard, Valeria d'Andrea, Enchi Chang, Joseph Leffler, Eleonora Centofante, Matthew Taylor, Francesca Bardi, Francesca Cavicchiolo, Takao K. Hensch, Stefano Panzeri, Chinfei Chen, Michela Fagiolini   +12 more
wiley   +1 more source

A Scheduling Algorithm for Cloud Computing System Based on the Driver of Dynamic Essential Path. [PDF]

PLoS ONE, 2016
To solve the problem of task scheduling in the cloud computing system, this paper proposes a scheduling algorithm for cloud computing based on the driver of dynamic essential path (DDEP).
Zhiqiang Xie, Xia Shao, Yu Xin
doaj   +1 more source

Maximum Flux Transition Paths of Conformational Change

, 2010
Given two metastable states A and B of a biomolecular system, the problem is to calculate the likely paths of the transition from A to B. Such a calculation is more informative and more manageable if done for a reduced set of collective variables chosen ...
Berkowitz M., Bolhuis P. G., Bolhuis P. G., Brooks B. R., Brooks B. R., Chu J., Crehuet R., E W., E W., E, W., Elber R., Essmann U., Frenkel D., Gan W., Huang H., Huo S., Jiménez A., Jorgensen W. L., Jónsson H., Lei M., Ma A., MacKerell A. D., Mackerell, Jr A. D., Maragliano L., Metzner P., Onsager L., Ozkirimli E., Ozkirimli E., Pan A. C., Park S., Phillips J. C., Ren W., Ryckaert J.-P., Schlitter J., Singhal N., Vanden-Eijnden E., Vanden-Eijnden E., Vanden-Eijnden E., Vanden-Eijnden E., Yang S., Zhang J.   +40 more
core   +1 more source