نتایج جستجو برای: weakness
تعداد نتایج: 36814 فیلتر نتایج به سال:
Abstract We consider the verification of liveness properties for concurrent programs running on weak memory models. To that end, we identify notions fairness preclude demonic non-determinism, are motivated by practical observations, and amenable to algorithmic techniques. provide both logical stochastic definitions our notions, prove they equivalent in context verification. In particular, show ...
A 21-year-old Romanian man presented to our clinic for leanness assessment evolving several years. He had been adopted at the age of 3 years old; hence, no familial history was available. His medical notable dyspraxia, dyslexia, bilateral cryptorchidism, and scoliosis in infancy. practiced water polo, swimming, martial arts, but recent years, amyotrophy weakness both arms developed (Figure, A) ...
BACKGROUND Myasthenia gravis and the Lambert-Eaton myasthenic syndrome (LEMS) may have a similar distribution of muscle weakness. Deciding on a diagnosis of myasthenia gravis or LEMS on clinical grounds may therefore be difficult. OBJECTIVE To compare the localisation of initial muscle weakness and the distribution of weakness at the time of maximum severity in patients with myasthenia gravis...
Capsular contraction is a frequent complication following breast augmentation. On the other hand, capsular weakness, a not widely recognized complication, may occur around the implant. A weak capsule allows the migration of the prosthesis to the lateral region of the thoracic region or inferiorly, towards the abdomen, due to gravitational forces. The cause of capsular weakness remains unresolve...
Impaired airway clearance leads to recurrent chest infections and respiratory deterioration in neuromuscular weakness. It is frequently the cause of death. Cough is the major mechanism of airway clearance. Cough has several components, and assessment tools are available to measure the different components of cough. These include measuring peak cough flow, respiratory muscle strength, and inspir...
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, proceeds by evaluating fixed-point expressions over the system’s set of states. Such evaluation is particularly simple and efficient when the expressions do not contain alternation between least and greatest fixed-point operat...
when stretcher came to unit and i was put in my bed, nursing personnel of surgical ward said to me hello. i had seen their face from yesterday night when they were transferring patients from emergency ward to this unit. in that time, i had the role of emergency ward assistant manager. today, i am a weak patient that even is unable for smallest movement. cause of my admission to hospital is mus...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید