An in te l l igent robot, operating in an external environment that cannot be f u l l y modeled in the robot's software, must be able to monitor the suc­ cess of its execution of a previously generated plan . This paper outlines a unif led i ormalism for describing and relat ing the various functi ons oi a robot operating in such an environment. After exploring the d is t inet ion between the e...

In this paper, we des cr i be what we cons i der t o be t he es s ent i al s uppor t for i nt er act i ve t ool s , i n an open envi r onment . The next s ect i on pr opos es an ext ens i bl e ar chi t ect ur e t hat cover s mos t as pect s t hat t ool s and appl i cat i ons ar e concer ned wi t h. The f ol l owi ng s ect i on des cr i bes a r unt i me s ys t emf or C++that s uppor t s our i nt...

s a f e t y : t h e o r e m p r o v e r f e e d b a c k Fig. 1. S heme of proving safety statements When a safe data abstra tion is obtained, veri ation of the model against a property an start. First, the abstra t data type and fun tion de nitions are inserted into the system spe i ation substituting the on rete de nitions of the original model. Next, the abstra t model together with the prope...

BACKGROUND In recent years, diverse studies have been carried out revealing many benefits of high levels of Emotional Intelligence (EI) for the older population, affecting their physical and mental health, cognitive capacity, social functioning, and, ultimately, their well-being and quality of life. However, in Spain, there is no reliable and valid instrument for the assessment of EI. Hence, th...

this paper has attempted t o shew t he rela t i onship of the cervi c a l sympa t het ic trunk t o t h e cervi c a l fasc i a . the cervic al por t ion o f each sympathe tic t runk usually cons i s t s of thr ee gang l ia , distingui s hed according t o their pos i t i ons a s t he superior, middle, and i nfe rior , and conne c ted by an intervening c ord. the cervical sympathetics ( t r unk an...

Isolated barred galaxies evolve by redistributing their internal angular momentum, which is emitted mainly at the inner disc resonances and absorbed mainly at the resonances in the outer disc and the halo. This causes the bar to grow stronger and its pattern speed to decrease with time. A massive, responsive halo enhances this process. I show correlations and trends between the angular momentum...

Membrane deformation is a necessary step in a number of cellular processes such as filopodia and invadopodia formation and has been shown to involve membrane shaping proteins containing membrane binding domains from the IRSp53-MIM protein family. In reconstituted membranes the membrane shaping domains can efficiently deform negatively charged membranes into tubules without any other proteins pr...