many types of cancers develop in the oral and maxillofacial region. squamous cell carcinoma is the most common cancer and constitutes over 90 percent of these tumors. malignant transformation is a genetic process, which later makes a phenotyping change at the cellular level. some cancers such as oral squamous cell carcinomas (osccs) develop from pre-malignant lesions and conditions. despite adv...

Emerging trends in proof styles and new applications of interactive proof assistants exploit the computational facilities of the provided proof language, reaping enormous benefits in proof size and convenience to the user. However, the resulting proof objects really put the proof assistant to the test in terms of computational time required to check them. We present a novel translation of the t...

background : acanthamoeba castellanii forms a resistant cyst that protects the para-site against the host’s immune response. acanthamoeba type-i metacaspase (acmcp) is a caspase-like protein that has been found to be expressed during the encysta-tions. dictyostelium discoideum is an organism closely related to acanthamoeba useful for studying the molecular function of this protozoan caspase-lik...

In this paper we study the following simple and mind-puzzling problem: Can a model train car, which runs along an intricate track complete a full cycle around it? In our paper a track will be represented by a simple closed curve, and the cars of our model train by segments whose end-points lie on the curve.

Two different inverse design approaches are proposed for developing wind turbine blades for sub-scale wake testing. In the first approach, dimensionless circulation is matched for full scale and sub-scale wind turbine blades for equal shed vorticity in the wake. In the second approach, the normalized normal and tangential force distributions are matched for large scale and small scale wind turb...

Launch and recovery helicopter wind envelope for a ship type was determined as the first step to the helicopter qualification program. Flight deck velocities data were obtained by means of a two components laser Doppler anemometer testing a 1/50 model in the wind tunnel stream. Full-scale flight deck measurements were obtained on board the ship using a sonic anemometer. Wind tunnel and full-sca...