227,924 research outputs found
Dalt del Torre d'Eina, a 2.832 m.
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
Muir-Torre syndrome - Treatment with isotretinoin and interferon alpha-2a can prevent tumour development
No full textMuir-Torre syndrome is a genodermatosis in which multiple internal malignancies are associated with cutaneous sebaceous tumours and kerato-acanthomas. A 57-year-old man presented with multiple sebaceous tumours, kerato-acanthomas, verrucous carcinoma of the nose, renal cell and transitional cell carcinomas of the left kidney, adenoma of the colon and a positive family history of colon carcinoma. He was treated with interferon (IFN-alpha Pa) s.c. 3 x 10(6) U three times a week along with 50 mg isotretinoin daily as well as topical isotretinoin gel. During a follow-up of 29 months, only 1 sebaceous skin tumour developed and was removed, whereas more than 30 such skin tumours had been surgically removed during the last 3 years. No evidence of internal tumour development or recurrence was found. The combination of IFN with retinoids seems to be of promise to prevent tumour development in Muir-Torre syndrome. Copyright (C) 2000 S. Karger AG, Basel
Dalt del Torre d'Eina. Al fons, el Cambradase (2.750 m.)
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
Verifying concurrent programs by memory unwinding
No full textWe describe a new sequentialization-based approach to the symbolic verification of multi-threaded programs with shared memory and dynamic thread creation. Its main novelty is the idea of memory unwinding, i.e., an explicit representation of the sequence of write operations into the shared memory. For the verification, we nondeterministically guess this unwinding and then simulate the behavior of the program according to any scheduling that respects this guess. This approach is complementary to other sequentializations and explores an orthogonal dimension, i.e., the number of write operations. It also simplifies the implementation of several important optimizations, in particular the targeted exposure of individual writes. We implemented this approach as code-to-code transformation from multi-threaded into nondeterministic sequential programs, which allows the reuse of sequential verification tools. Experiments show that our approach is very promising: it found all errors in the concurrency category of SV-COMP15
Al Pic d'Eina (2.794 m.). Al fons, cresta del Torre d'Eina al Pic del Boc
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
Coll de Torre d'Eina, Pic d'Eina i coll d'Eina des del Torre d'Eina
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
El Torre d'Eina i el coll de Torre d'Eina des de sota del Pic d'Eina
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
Torre d'Eina, Torre d'en Xillén, Puig Conca S. i N. i el Pic del Boc
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
Del Torre d'Eina al Pic del Boc: Torre d'en Xillén, Agulles i Puig Conca S. i N.
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
El Carlit vist des del cim del Torre d'Eina
No full textBoItinerari: Núria (1.967 m.) - Coll de Nou Fonts (2.662 m.) - Pic de Nou Fonts (2.864 m.) - Pic d'Eina (2.794 m.) - Coll de Torre d'Eina (2.650 m.) - Torre d'Eina o Pic de les Lloses (2.832 m.) - Coll d'Eina o de Núria (2.665 m.) - Núri
- …
