C programs may dynamically load and unload modules. For example, some operating system kernels support dynamic loading and unloading of device drivers. This causes specific difficulties in the verification of such programs and modules; in particular, it must be verified that no functions or global variables from the module are used after the module is unloaded. We propose a separation-logic-bas...

Caching data reduces user-perceived latency and often enhances availability in case of server crashes or network failures. Database caching aims at local processing of specific declarative queries in a DBMSmanaged cache close to the application. Query evaluation must produce the same results as if done at the remote database backend, which implies that all data records needed to process such a ...

OBJECTIVE Assess the impact of knee joint loading on meniscal extrusion in normal individuals and those with varying degrees of osteoarthritis (OA). METHODS 143 healthy volunteers and patients with OA underwent 3 T MRI of the knee under unloaded and loaded conditions. OA was graded with the Kellgren-Lawrence (KL) system. Menisci were evaluated for presence of tear. Descriptive statistics were...

We undertook a neurophysiological investigation of the responses of low-threshold mechanoreceptors in the human finger pad to surfaces of differing softness. Unitary recordings were made from 26 slowly adapting type I (SAI), 17 fast-adapting type I (FAI), and 9 slowly adapting type II (SAII) afferents via tungsten microelectrodes inserted into the median nerve at the wrist. A servo-controlled s...

Abstract The use of technologies that automate handling goods and loading units in warehouses depots is not new. Yet, the purchase process these issues troubles estimation economic advantages brought by one or another technology to entire chain operations logistics are always known. Faults documented decisions put pressure on managers prices for services. They can cause a drop competitiveness w...

Ultra-high molecular weight polyethylene (UHMWPE) is extensively used in total joint replacements. Wear, fatigue, and fracture have limited the longevity of UHMWPE components. For this reason, significant effort has been directed towards understanding the failure and wear mechanisms of UHMWPE, both at a micro-scale and a macro-scale, within the context of joint replacements. We have previously ...

A key issue in automated seaport container terminals is the assignment of transportation orders to automated guided vehicles (AGVs). For AGV dispatching two basic types of strategies can be applied, which differ by the length of the look-ahead period and the rescheduling strategy. The on-line dispatching strategy uses myopic dispatching rules, which have been adopted from flexible manufacturing...