We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce the problem of modal refinement over both classes to a problem solvable by a QBF solver and provide experimental results showing our technique scales well. Secondly, we extend the algorithm for thorough refinement of...

Multi-standard mobile devices are allowing users to enjoy higher data rates and ubiquitous connectivity. These advances are achieved on the expense of higher energy consumption requirements due to the continuous connectivity and the multiple active wireless interfaces. In this article, we use one advantage of the multiple interfaces, namely short-range (SR) communications. Mobile terminals (MTs...

At present, the laboratory diagnosis of intestinal infections caused by microsporidia depends on the detection of the typical spores either with a modified trichrome stain (MTS) or by staining with fluorochromes. The purpose of the present study was (i) to compare staining with MTS (MTS method) and the staining with the fluorochrome Uvitex 2B (U2B method) with respect to their sensitivities and...

We describe the design and implementation of a collaborative, computer-based finger painting program for children using a new hardware input device called a MultiTouch Surface (MTS). The MTS uses a flat surface about the size of a keyboard to track multiple, simultaneous finger motions, which we transform into paint strokes on a screen. We describe related work and explain how our program desig...

Microtubules (MTs) are hollow, nanometer-scale cylinders comprised of globular dimeric tubulin subunits that are involved in a variety of cellular functions, including intracellular trafficking and cell division. Tubulin subunits align end-to-end to form linear protofilaments that interact laterally in stabilizing the tubular wall. MTs occur in two types of populations: those undergoing dynamic...

The synthesis of a cyclometallated Pt(II) thiolate carbonyl complex Pt(thpy)(CO)(mts), (thpy = 2-(2'-thienyl)-pyridinate, mts = methylthiosalicylate) is reported. A combination of emission and time-resolved infrared (TRIR) techniques revealed for both Pt(thpy)(CO)(mts) and its chloride analogue Pt(thpy)(CO)Cl the predominant intra 2-(2'-thienyl)-pyridinate 3pi pi* character of the lowest electr...

Increasing cost pressures have led supply chain managers to focus on running increasingly lean and efficient supply chains, with minimal inventory. Indeed, more and more firms are relying on pull or make-toorder (MTO) supply chains to minimize cost and waste. At the same time, increasing competitive pressures are leading to an increased emphasis on customer service. An important element of cust...

A microtubule (MT) is a hollow tube of approximately 25 nm diameter. The two ends of the tube are dissimilar and are designated as ‘plus’ and ‘minus’ ends. Motivated by the collective push and pull exerted by a bundle of MTs during chromosome segregation in a living cell, we have developed here a much simplified theoretical model of a bundle of parallel dynamic MTs. The plusend of all the MTs i...

In neurons, microtubules (MTs) span the length of both axons and dendrites, and the molecular motors use these intracellular 'highways' to transport diverse cargo to the appropriate subcellular locations. Whereas axonal MTs are organized such that the plus-end is oriented out from the cell body, dendrites exhibit a mixed MTs polarity containing both minus-end-out and plus-end-out MTs. The molec...

Multiple formins regulate microtubule (MT) arrays, but whether they function individually or in a common pathway is unknown. Lysophosphatidic acid (LPA) stimulates the formation of stabilized detyrosinated MTs (Glu MTs) in NIH3T3 fibroblasts through RhoA and the formin mDia1. Here we show that another formin, INF2, is necessary for mDia1-mediated induction of Glu MTs and regulation of MT dynami...