نتایج جستجو برای: articulated vehicle carrying liquid
تعداد نتایج: 397356 فیلتر نتایج به سال:
One of the aims of Foundational Proof-Carrying Code (FPCC) is to incorporate a completely semantic description of types into the Proof-Carrying Code framework. FPCC describes types as complex predicates, some of which require properties like contractiveness, representability, and extensionality to hold. We keep track of these properties by encoding them within kinds. In this paper, we give a sy...
We report three liquid crystal (LC) mixtures with a wide nematic range (−40°C to ~100°C), small visco-elastic coefficient and low activation energy for vehicular displays. Physical properties at different temperatures were characterized. These LCs greatly improve the performance of different display devices in a car: 1) for head-up projection using liquid-crystal-onsilicon with an average gray-...
We consider the dynamics of capillary attraction between an articulated train of rigid rods floating at a liquid–gas interface and a nearby wall. We then explain some of the phenomena that are a result of the strong anisotropy and the extended nature of the system, such as the lining up next to the walling in a ‘zippering’ motion that is observed and compare our results qualitatively with those...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید