objective: to evaluate the efficacy and safety of intravenous and catheter directed thrombolysis by recombinant tissue plasminogen activator (alteplase) in the patients with non-traumatic acute limb ischemia (ali). methods: this was a randomized clinical trial being performed between 2009 and 2011 in mashhad university of medical sciences. we included those patients who were<75 years, with symp...

A degree is saturated bounding if it can compute a saturated model for any complete, decidable theory whose types are all computable. All high and PA degrees are saturated bounding (following from results of Jockusch and MacIntyre-Marker.) We show that for every n, no lown c.e. degree is saturated bounding, extending the previous known result that 0 is not saturated bounding, by Millar.

We consider Personal Assistant (PA) agents as cognitive agents capable of helping users handle tasks at their workplace. A PA must communicate with the user using casual language, sub-contract the requested tasks, and present the results in a timely fashion. This leads to fairly complex cognitive agents. However, in addition, such an agent should learn from previous tasks or exchanges, which wi...