BACKGROUND To define a suitable threshold setting for gross tumor volume (GTV) when using 18Fluoro-deoxyglucose positron emission tomography and computed tomogram (PET/CT) for radiotherapy planning in head and neck cancer (HNC). METHODS Fifteen HNC patients prospectively received PET/CT simulation for their radiation treatment planning. Biological target volume (BTV) was derived from PET/CT-b...

The use of the C++ Standard Template Library has many advantages, but comes with a unique set of problems that have not been addressed by compilers or development tools. Many of these problems are due to misuses of the STL components and algorithms that are syntactically correct but semantically flawed. We motivate the case for the use of static analysis to diagnose such problems and describe o...

This paper presents a Laser Additive Manufacturing Process Planning (LAMPP) being developed at the University of Missouri-Rolla. The off-line planning recognizes difficult-to-build features from an STL file, selects optimal part orientation and building directions based on the skeleton information of the object geometry, and optimizes the sub-process sequences for deposition and machining. Duri...

At the allocation and deallocation of small objects with fixed size, the standard allocator of the runtime system has commonly a worse time performance compared to allocators adapted for a special application field. We propose a memory allocator, originally developed for mesh primitives but also usable for any other small equally sized objects. For a large amount of objects it leads to better r...

The class of models that can be represented by STL files is larger than the class of models that can be printed using additive manufacturing technologies. In this paper such a gap is formalized while providing an unambiguous description of all the mathematical entities involved in the modeling-printing pipeline. Possible defects of an STL file are formally defined and classified, and a fully au...

Abstract Stateless ordered restart-delete automata (stl-ORD-automata) are studied. These obtained from the stateless restarting (stl-ORWW-automata) by introducing an additional operation, which, based on surrounding context, deletes a single letter. While stl-ORWW-automata accept regular languages, we show that swift stl-ORD-automata yield characterization for class of context-free languages. H...

Rapid Prototyping (RP) Technology is to produce the objects directly from 3D CAD model to shorten the product development cycle for many applications like Aerospace, Automobile, home appliances and others. By integrating Reverse Engineering (RE) with Rapid Prototyping (RP) for the parts that have lost the design draft to produce the part or to make a dimensional variations of the existing part ...

We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis techniques so that a trajectory is enclosed sharply within a set of intervals. Then, HySIA computes whether the simulated trajectory satisfies a given STL property; the computation is performed again with interval anal...

Furniture are items that provide convenience and comfort in daily works, present all areas of life. The furniture renovation process is great importance for the protection maintenance furniture’s function. Today, this may include applications involving reverse engineering additive production systems. aim study to guidance amateur professional workers field about use approach systems field. In s...