Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailAutoimmune-associated lymphoid tyrosine phosphatase is a gain-of-function variant.
Vang, Torkel; Congia, Mauro; Macis, Maria Doloretta et al

in Nature genetics (2005), 37(12), 1317-9

A SNP in the gene PTPN22 is associated with type 1 diabetes, rheumatoid arthritis, lupus, Graves thyroiditis, Addison disease and other autoimmune disorders. T cells from carriers of the predisposing ... [more ▼]

A SNP in the gene PTPN22 is associated with type 1 diabetes, rheumatoid arthritis, lupus, Graves thyroiditis, Addison disease and other autoimmune disorders. T cells from carriers of the predisposing allele produce less interleukin-2 upon TCR stimulation, and the encoded phosphatase has higher catalytic activity and is a more potent negative regulator of T lymphocyte activation. We conclude that the autoimmune-predisposing allele is a gain-of-function mutant. [less ▲]

Detailed reference viewed: 21 (2 ULg)
Full Text
Peer Reviewed
See detailAutoimmunity and pregnancy: Theory and practice
Geenen, Vincent ULg; PERRIER d'HAUTERIVE, Sophie ULg; Puit, M. et al

in Acta Clinica Belgica (2002), 57(6), 317-324

Detailed reference viewed: 27 (5 ULg)
Full Text
Peer Reviewed
See detailAutoimmunity associated with anti-tumor necrosis factor alpha treatment in Crohn's disease: A prospective cohort study
Vermeire, S.; Noman, M.; Van Assche, G. et al

in Gastroenterology (2003), 125(1), 32-39

Background & Aims: Infliximab therapy is an effective approach to treating Crohn's disease. Development of antinuclear antibodies has been described in patients treated, but the size of the problem and ... [more ▼]

Background & Aims: Infliximab therapy is an effective approach to treating Crohn's disease. Development of antinuclear antibodies has been described in patients treated, but the size of the problem and the relationship with autoimmunity have not been investigated. We investigated the occurrence of antinuclear antibodies in 125 consecutive Crohn's disease patients and studied the relationship with symptoms of autoimmunity. Methods: Autoantibodies and clinical data were investigated before and 1, 2, and 3 months after infliximab infusion. If antinuclear antibodies were greater than or equal to1:80, further study of double-stranded DNA, single-stranded DNA, histones, and ENA was performed. Results: Cumulative antinuclear antibody incidence at 24 months was 71 of 125 (56.8%). Almost half of these patients developed antinuclear antibodies after the first infusion, and >75% became antinuclear antibody positive after fewer than 3 infusions. So far, only :15 of 71 patients have become seronegative, after a median of 12 months. Of 43 antinuclear antibody-positive patients who were further subtyped, 14 of 43 (32.6%) had double-stranded DNA, 17 (39.5%) had single-stranded DNA, 9 (20.9%) had antihistone, and 0% were ENA positive. Two patients (both antihistone and double-stranded DNA positive) developed drug-induced lupus without major organ damage, and I developed autoimmune hemolytic anemia. Antinuclear antibodies were associated with the female sex (odds ratio, 3.166; 95% confidence interval, 1.167-8.585; P = 0.024) and with papulosquamous or butterfly rash (odds ratio, 10.016; 95% confidence interval, 1.708-58.725; P = 0.011). Conclusions: The cumulative incidence of antinuclear antibodies was 56.8% after 24 months in this cohort of infliximab-treated Crohn's disease patients. Antinuclear antibodies persisted up to I year after the last infusion, and only a few patients became seronegative. Two patients developed drug-induced lupus erythematosus. Antinuclear antibodies were associated with the female sex and skin manifestations. [less ▲]

Detailed reference viewed: 16 (2 ULg)
Full Text
Peer Reviewed
See detailAutoimmunity following neonatal tolerance to alloantigens: role of donor I-A and I-E molecules
Kramar, G.; Schurmans, Stéphane ULg; Berney, M. et al

in Journal of Autoimmunity (1995), 8

The injection of semi-allogeneic F1 spleen cells into newborn mice of a parental strain induces a state of immune tolerance characterized by anti-donor CTL unresponsiveness and the appearance of a ... [more ▼]

The injection of semi-allogeneic F1 spleen cells into newborn mice of a parental strain induces a state of immune tolerance characterized by anti-donor CTL unresponsiveness and the appearance of a transient SLE-like autoimmune syndrome associating autoantibody production, hypergammaglobulinemia, splenomegaly and glomerulonephritis. Our previous experiments have demonstrated that host Th2-like CD4+ T lymphocytes activate donor F1 B cells persisting in the host to produce autoantibodies, and that this cellular interaction relies on the presence of alloMHC class II molecules on donor B cells. In order to investigate the role and the involvement of MHC alloantigens in the cellular T(host)-B(donor) interaction, newborn C57BL/6 (B6) mice were injected with F1 spleen cells differing from the host at the level of defined portions of the MHC class I (K) or class II (I-A and I-E) molecules. B6 mice injected at birth with spleen cells from different F1 strains were tolerant to each alloantigen (alloAg) tested, as assessed by specific anti-donor CTL unresponsiveness. However, the SLE-like autoimmune syndrome only developed in B6 mice injected at birth with F1 spleen cells differing at the level of MHC class II I-A or I-E molecules. Autoantibodies appeared later in B6 mice neonatally tolerized to I-E alloAg than those detected in B6 mice neonatally tolerized to I-A alloAg. These results show that the SLE-like autoimmune disease that develops concomitantly to neonatally-induced tolerance to alloAg is the consequence of cognate T host-B donor cellular interactions triggered by even minute differences in the MHC class II I-A or MHC class II I-E molecules [less ▲]

Detailed reference viewed: 20 (8 ULg)
Full Text
Peer Reviewed
See detailAutoimmunity-related granulomatous dermatitis in association with hepatitis.
Szepetiuk, Gregory; Lesuisse, Marianne; PIERARD, Gérald ULg et al

in Case Reports in Dermatology (2012), 4(1), 80-4

AIM: Both interstitial granulomatous dermatitis (IGD) and palisaded neutrophilic granulomatous dermatitis (PNGD) are rare disorders typically associated with systemic autoimmune conditions. They probably ... [more ▼]

AIM: Both interstitial granulomatous dermatitis (IGD) and palisaded neutrophilic granulomatous dermatitis (PNGD) are rare disorders typically associated with systemic autoimmune conditions. They probably represent different aspects of a disease spectrum encompassing the concept of autoimmunity-related granulomatous dermatitis (ARGD). CASE REPORT: A 61-year-old woman presented with ARGD and autoimmune hepatitis. The clinical presentation suggested PNGD, while histopathology was consistent with IGD. DISCUSSION: The association of ARGD with autoimmune hepatitis is apparently a rare event. The present case shows that the clinicopathological correlation in ARGD does not always clearly fit with the classical presentations of IGD or PNGD. [less ▲]

Detailed reference viewed: 23 (2 ULg)
Full Text
Peer Reviewed
See detailAutoionization in Diatomic Molecules: an example of Electrostatic Autoionization in CO.
Raseev, G.; Leyh, Bernard ULg; Lefebvre-Brion, H.

in Zeitschrift für Physik. D, Atoms, Molecules, and Clusters (1986), 2

A review is presented of the different types of autoionization which have been studied theoretically in diatomic molecules: electronic (or electrostatic), rotational, spin-orbit and vibrational ... [more ▼]

A review is presented of the different types of autoionization which have been studied theoretically in diatomic molecules: electronic (or electrostatic), rotational, spin-orbit and vibrational autoionizations. An example involving a large number of vibrational channels is treated. It concerns the electrostatic autoionization in the 730-708 Angstöm wavelength region which appears in the CO photoionization spectrum. The structure observed at 721 Angstrôm is explained by the enhancement in intensity of numerous levels of Rydberg series converging to excited levels of the A 2Pi state caused by two autoionized Rydberg levels with a B 2Sigma+ core. [less ▲]

Detailed reference viewed: 30 (1 ULg)
See detailAutologous Blood Donation Plus Epoetin Alfa in Nonanemic Orthopedic Surgery Patients
Baudoux, Etienne ULg

in Seminars in Hematology (1996), 33(2 Suppl 2), 31-233

Intravenous (i.v.) administration of epoetin alfa facilitates the collection of autologous blood (AB) prior to elective orthopedic surgery. However, the optimum dose and dosage regimen remains to be ... [more ▼]

Intravenous (i.v.) administration of epoetin alfa facilitates the collection of autologous blood (AB) prior to elective orthopedic surgery. However, the optimum dose and dosage regimen remains to be defined. The aim of this multicenter, randomized, placebo-controlled study was to determine the optimum i.v. dose of epoetin alfa (300 IU/kg or 600 IU/kg) that would allow nonanemic patients to donate > or = 4 units of AB within 14 to 21 days of elective orthopedic surgery. All patients (n = 103) received oral iron supplementation and were treated with epoetin alfa or placebo three times during 1 week, within 3 weeks of surgery. Eighty patients were evaluable in the efficacy analysis. Compared with placebo, significantly more evaluable patients treated with epoetin alfa were able to donate > or = 4 AB units. Furthermore, epoetin alfa dose-dependently increased the preoperative reticulocyte count and attenuated the decrease in hematocrit associated with AB predonation. There was no significant difference with respect to allogeneic blood exposure between the epoetin alfa and placebo treatment groups. In addition, the 600 IU/kg dose was not significantly more effective than the 300 IU/kg dose for most efficacy parameters assessed. Several patients became iron-deficient, suggesting that oral supplementation is not an adequate source of iron in these patients. Epoetin alfa 300 IU/kg therefore appears to be the optimum i.v. dose for facilitating the collection of > or = 4 units of AB within 14 to 21 days of elective orthopedic surgery. [less ▲]

Detailed reference viewed: 27 (14 ULg)
See detailAutologous cord blood use: Clinical and scientific aspects
Angenon, Elyane; BAUDOUX, Etienne ULg; BEGUIN, Yves ULg et al

Report (2011)

Detailed reference viewed: 11 (2 ULg)
Full Text
See detailAutologous stem cell transplantations in elderly AML patients
Archimbaud, E.; Jehn, U.; De Cataldo, F. et al

in Trends in Onco-Hematology (1996), 4(2), 28-29

Detailed reference viewed: 10 (1 ULg)
Peer Reviewed
See detailAutomata-based Representations for the Verification of Hybrid Systems
JODOGNE, Sébastien ULg

in Proc. Summer School Modelling and Verification of Parallel Processes (MOVEP) (2002, June)

Detailed reference viewed: 10 (2 ULg)
Full Text
Peer Reviewed
See detailAn Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
Linden, Alexander ULg; Wolper, Pierre ULg

in Lecture Notes in Computer Science (2010, September)

This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relaxation, which corresponds ... [more ▼]

This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relaxation, which corresponds to the use of store buffers. The proposed approach proceeds by using finite automata to symbolically represent the possible contents of the store buffers. Store, load and commit operations then correspond to operations on these finite automata. The advantage of this approach is that it operates on (potentially infinite) sets of buffer contents, rather than on individual buffer configurations. This provides a way to tame the explosion of the number of possible buffer configurations, while preserving the full generality of the analysis. It is thus possible to check even designs that exploit the relaxed memory model in unusual ways. An experimental implementation has been used to validate the feasibility of the approach. [less ▲]

Detailed reference viewed: 236 (82 ULg)
Full Text
See detailAutomata-Based Symbolic Representations of Polyhedra
Boigelot, Bernard ULg; Brusten, Julien ULg; Degbomont, Jean-François ULg

in Lecture Notes in Computer Science (2012, March), 7183

Detailed reference viewed: 62 (23 ULg)
Full Text
Peer Reviewed
See detailAn Automata-Theoretic Approach to Automatic Program Verification
Vardi, Moshe Y; Wolper, Pierre ULg

in Proceedings of the First Symposium on Logic in Computer Science (1986)

We describe an automata-theoretic approach to the automatic verification of concurrent finite-state programs by model checking.The basic idea underlying this approach is that for any temporal formula we ... [more ▼]

We describe an automata-theoretic approach to the automatic verification of concurrent finite-state programs by model checking.The basic idea underlying this approach is that for any temporal formula we can construct an automaton that accepts precisely the computations that satisfy the formula. The model-checking algorithm that results from this approach is much simpler and cleaner than tableau-based algorithms. We use this approach to extend model checking to probabilistic concurrent finite-state programs. concurrent finite-state programs. [less ▲]

Detailed reference viewed: 708 (6 ULg)
Peer Reviewed
See detailAn Automata-Theoretic Approach to Branching-Time Model Checking
Bernholtz, Orna; Vardi, Moshe Y; Wolper, Pierre ULg

in Computer Aided Verification, Proc. 6th Int. Workshop (1994)

Detailed reference viewed: 11 (0 ULg)
Full Text
Peer Reviewed
See detailAn automata-theoretic approach to branching-time model checking
Kupferman, Orna; Vardi, Moshe Y; Wolper, Pierre ULg

in Journal of the ACM (2000), 47(2), 312-360

Translating linear temporal logic formulas to automata has proven to be an effective approach for implementing linear-time model-checking, and for obtaining many extensions and improvements to this ... [more ▼]

Translating linear temporal logic formulas to automata has proven to be an effective approach for implementing linear-time model-checking, and for obtaining many extensions and improvements to this verification method. On the other hand, for branching temporal logic, automate-theoretic techniques have long been thought to introduce an exponential penalty, making them essentially useless for model-checking. Recently, Bernholtz and Grumberg [1993] have shown that this exponential penalty can be avoided, though they did not match the linear complexity of non-automata-theoretic algorithms. In this paper, we show that alternating tree automata are the key to a comprehensive automata-theoretic framework for branching temporal logics. Not only can they be used to obtain optimal decision procedures, as was shown by Muller ct al., but, as we show here, they also make it possible to derive optimal model-checking algorithms. Moreover, the simple combinatorial structure that emerges from the automata-theoretic approach opens up new possibilities for the implementation of branching-time model checking, and has enabled us to derive improved space complexity bounds for this long-standing problem. [less ▲]

Detailed reference viewed: 34 (0 ULg)
Full Text
See detailAn Automata-Theoretic Approach to Presburger Arithmetic Constraints
Wolper, Pierre ULg; Boigelot, Bernard ULg

in Lecture Notes in Computer Science (1995), 983

This paper introduces a finite-automata based representation of Presburger arithmetic definable sets of integer vectors. The representation consists of concurrent automata operating on the binary ... [more ▼]

This paper introduces a finite-automata based representation of Presburger arithmetic definable sets of integer vectors. The representation consists of concurrent automata operating on the binary encodings of the elements of the represented sets. This representation has several advantages. First, being automata-based it is operational in nature and hence leads directly to algorithms, for instance all usual operations on sets of integer vectors translate naturally to operations on automata. Second, the use of concurrent automata makes it compact. Third, it is insensitive to the representation size of integers. Our representation can be used whenever arithmetic constraints are needed. To illustrate its possibilities we show that it can handle integer programming optimally, and that it leads to a new original algorithm for the satisfiability of arithmetic inequalities. [less ▲]

Detailed reference viewed: 18 (4 ULg)
See detailL'automate spirituel : pensée et cinéma chez Walter Benjamin
Barbion, Sébastien ULg

Conference (2013, April 24)

Detailed reference viewed: 27 (2 ULg)
Full Text
Peer Reviewed
See detailAutomated analysis of background EEG and reactivity during therapeutic hypothermia in comatose patients after cardiac arrest
Noirhomme, Quentin ULg; Lehembre, Rémy; Lugo, Zulay et al

in Clinical EEG and Neuroscience : Official Journal of the EEG and Clinical Neuroscience Society (ENCS) (2014)

Visual analysis of electroencephalography (EEG) background and reactivity during therapeutic hypothermia provides important outcome information, but is time-consuming and not always consistent between ... [more ▼]

Visual analysis of electroencephalography (EEG) background and reactivity during therapeutic hypothermia provides important outcome information, but is time-consuming and not always consistent between reviewers. Automated EEG analysis may help quantify the brain damage. Forty-six comatose patients in therapeutic hypothermia, after cardiac arrest, were included in the study. EEG background was quantified with burst-suppression ratio (BSR) and approximate entropy, both used to monitor anesthesia. Reactivity was detected through change in the power spectrum of signal before and after stimulation. Automatic results obtained almost perfect agreement (discontinuity) to substantial agreement (background reactivity) with a visual score from EEG-certified neurologists. Burst-suppression ratio was more suited to distinguish continuous EEG background from burst-suppression than approximate entropy in this specific population. Automatic EEG background and reactivity measures were significantly related to good and poor outcome. We conclude that quantitative EEG measurements can provide promising information regarding current state of the patient and clinical outcome, but further work is needed before routine application in a clinical setting. [less ▲]

Detailed reference viewed: 63 (15 ULg)
Full Text
Peer Reviewed
See detailAutomated analysis of enzyme inactivation phenomena. Application to beta-lactamases and DD-peptidases.
De Meester, Fabien; Joris, Bernard ULg; Reckinger, Georges et al

in Biochemical Pharmacology (1987), 36

In the presence of a reporter substrate, the progressive inactivation of an enzyme was easily studied by directly transmitting absorbance readings to a microcomputer. Pseudo-first order rate constants as ... [more ▼]

In the presence of a reporter substrate, the progressive inactivation of an enzyme was easily studied by directly transmitting absorbance readings to a microcomputer. Pseudo-first order rate constants as high as 0.3 sec-1 were rapidly and accurately measured. When utilization of the reporter substrate did not exceed 10%, the rate of the reaction (vt) could be considered as proportional to the active enzyme concentration at any time during the analysis and the decrease of vt was first order with time. This simple method was used to follow the inactivation of beta-lactamases (EC 3.5.2.6) by various physical and chemical agents. When a large proportion (30-80%) of reporter substrate was destroyed, a correction was introduced to account for the corresponding decrease of its rate of utilization. This enabled experiments to be performed with a DD-peptidase and a substrate exhibiting a low delta epsilon upon hydrolysis. For the first time, the inactivation of a penicillin-sensitive enzyme by a beta-lactam could be continuously and directly observed. Finally, the method was extended to the study of hysteresis phenomena. [less ▲]

Detailed reference viewed: 22 (3 ULg)
Full Text
Peer Reviewed
See detailAutomated characterisation of intergrowth textures in mineral particles. A case study
Perez-Barnuevo, Laura; Pirard, Eric ULg; Castroviejo, Ricardo

in Minerals Engineering (2013)

The characterisation of mineral texture has been a major concern for process mineralogists, as liberation characteristics of the ores are intimately related to the mineralogical texture. While a great ... [more ▼]

The characterisation of mineral texture has been a major concern for process mineralogists, as liberation characteristics of the ores are intimately related to the mineralogical texture. While a great effort has been done to automatically characterise texture in unbroken ores, the characterisation of textural attributes in mineral particles is usually descriptive. However, the quantitative characterisation of texture in mineral particles is essential to improve and predict the performance of minerallurgical processes (i.e. all the processes involved in the liberation and separation of the mineral of interest) and to achieve a more accurate geometallurgical model. Driven by this necessity of achieving a more complete characterisation of textural attributes in mineral particles, a methodology has been recently developed to automatically characterise the type of intergrowth between mineral phases within particles by means of digital image analysis. In this methodology, a set of minerallurgical indices has been developed to quantify different mineralogical features and to identify the intergrowth pattern by discriminant analysis. The paper shows the application of the methodology to the textural characterisation of chalcopyrite in the rougher concentrate of the Kansanshi copper mine (Zambia). In this sample, the variety of intergrowth patterns of chalcopyrite with the other minerals has been used to illustrate the methodology. The results obtained show that the method identifies the intergrowth type and provides quantitative information to achieve a complete and detailed mineralogical characterisation. Therefore, the use of this methodology as a routinely tool in automated mineralogy would contribute to a better understanding of the ore behaviour during liberation and separation processes. [less ▲]

Detailed reference viewed: 76 (16 ULg)