نتایج جستجو برای: a separation machine called tribo
تعداد نتایج: 13512380 فیلتر نتایج به سال:
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor so that it is suitable for Hoare Logic reasoning and we have designed a Separation Logic for Cminor. In this paper, we give a small-step semantics (instead of the big-step of the proved-correct compiler) that is moti...
Self-healing tribocoatings are being developed for aerospace applications to improve the lifetime and reduce surface maintenance of components in motion. Here tribo-induced self-healing behaviour a WS2/a-C tribocoating has been evaluated first time by in-situ scanning electron microscopy (SEM) evaluate mechanisms damage self-recovery. In-situ SEM imaging reveals that scratch results coating bri...
The traditional construction paradigm of machine and tape is reformulated in a functionally homogeneous space of directed graph structures. Hierarchy-based roles, normally appointed to actors in a construction process, are dissolved and replaced by symmetric, level-less engagement. The separation between static (information carrying) and active (information processing) structures, imposed by ma...
Copyright is held by the author/owner(s). IUI’13, March 19–22, 2012, Santa Monica, California, USA. This work was performed while interning at Adobe Research. Abstract Machine learning techniques used for single-channel sound source separation currently offer no mechanism for user-feedback to improve upon poor results and typically require isolated training data to perform separation. To overco...
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
this paper considers identical parallel machines scheduling problem with past-sequence-dependent setup times, deteriorating jobs and learning effects, in which the actual processing time of a job on each machine is given as a function of the processing times of the jobs already processed and its scheduled position on the corresponding machine. in addition, the setup time of a job on each machin...
Abstract Tribology research mainly focuses on the friction, wear, and lubrication between interacting surfaces. With continuous increase in industrialization of human society, tribology objects have become increasingly extensive. methods also gone through stages empirical science based phenomena, theoretical models, computational simulations. has a strong engineering background. Owing to intens...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید