Background Photodynamic therapy (PDT) promotes significant tumor regression and extends the lifetime of patients. The actual operation PDT often relies on subjective judgment experienced neurosurgeons. Patients can benefit more from precisely targeting PDT’s key operating zones. Methods We used magnetic resonance imaging scans created 3D digital models patient anatomy. Multiple images are align...

Curved structures are used in many engineering applications. Temperature affects the performance of structural vibration and acoustics can damage equipment when its effects severe. A theoretical model sound transmission loss (STL) a simply supported curved plate considering effect temperature was established. Moreover, numerical solution obtained using modal superposition method. The finite ele...

Abstract. An improved version of the near-real-time decision tool PARAFOG (PFG2) is presented to retrieve pre-fog alert levels and discriminate between radiation (RAD) stratus lowering (STL) fog situations. PFG2 has two distinct modules monitor physical processes involved in RAD STL formation evaluated at European sites. The are based on innovative fuzzy logic algorithms (low, moderate, high) s...

BACKGROUND To study the morphology of the human spine and new spinal fixation methods, scientists require cadaveric specimens, which are dependent on donation. However, in most countries, the number of people willing to donate their body is low. A 3D printed model could be an alternative method for morphology research, but the accuracy of the morphology of a 3D printed model has not been determ...

This paper describes part of an STL conformance test suite currently under development. Test suites for all of the STL containers have been written, demonstrating the feasibility of thorough and highly automated testing of industrial component libraries. We describe affordable test suites that provide good code and boundary value coverage, including the thousands of cases that naturally occur f...

When modeling related tasks in computer vision, Multi-Task Learning (MTL) can outperform Single-Task (STL) due to its ability capture intrinsic relatedness among tasks. However, MTL may encounter the insufficient training problem, i.e., some non-optimal situation compared with STL. A series of studies point out that too much gradient noise would lead performance degradation STL, however, scenar...

The hybrid navigation technique involves the merging of Dynamic (DN) system (Navident, Claronav, Canada) and static (3Shape, Copenhagen, Denmark). Combining advantages both techniques, devising a protocol will be advantageous to eliminate difficulties faced by operators in using either methods separately. Three patients requiring dental implants were included this study. This requires cone beam...

Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis STL is based on Mixed-Integer Convex Programming (MICP). MICP approach sound complete, but has limited scalability due to exponential complexity the number binary variables. In this letter, we propose more efficient STL...

This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. We provide a case study using a simplified power grid model with uncertain demand and generation; the model-predictive control problem here is that of the ancillary service power flow from the buildings. We show how various relev...