This is a report on the project "Axiomatizing Conditional Normative Reasoning" (ANCoR, M 3240-N) funded by the Austrian Science Fund (FWF). The project aims to deepen our understanding of conditional normative reasoning by providing an axiomatic study of it at the propositional but also first-order level. The focus is on a particular framework, the so-called preference-based logic for conditional obligation, whose main strength has to do with the treatment of contrary-to-duty reasoning and reasoning about exceptions.
View Article and Find Full Text PDFBackground: Amoxicillin crystalluria (AC), potentially responsible for acute kidney injury (AKI), is reported more and more frequently in patients treated with high doses of intravenous amoxicillin (HDIVA). The main objective of this study was to evaluate AC incidence in these patients. The secondary objectives were to identify factors associated with AC and to evaluate its impact on the risk of AKI.
View Article and Find Full Text PDFThe LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a dataset (Isabelle/HOL theory files), formal encodings of multiple deontic logics, logic combinations, deontic paradoxes and normative theories in the higher-order proof assistant system Isabelle/HOL.
View Article and Find Full Text PDFAnn Biol Clin (Paris)
August 2018
Since a few years indirect immunofluorescence (IIF) enjoys automated screening. These automated systems give an interpretation for the detection of anti-nuclear (ANA) and anti-neutrophil cytoplasmic antibodies (ANCA) and take images in the case of the research of anti-tissue antibodies. We propose an evaluation of the Image Navigator® system for all these kinds of research.
View Article and Find Full Text PDFIn clinical chemistry, many immunoassays apply biotin and streptavidin in the assay principle. Presence of high levels of biotin in patient samples can produce negative or positive interference depending on the assay format. In this study, we describe 2 clinical cases with chronic kidney failure and with unusual thyroid and parathyroid function test results due to biotin interference.
View Article and Find Full Text PDFWhen seen, some habits of calcium oxalate monohydrate crystals (whewellite) are so typical of ethylene glycol intoxication that they may be helpful for its diagnosis when circumstances are not clearly established.
View Article and Find Full Text PDFThis report describes the case of an 11-year-old child, who presents crystalluria occurring after several years of treatment with antiepileptic felbamate (Taloxa®). The crystalline morphologies observed were very heterogeneous, long and thin needle shapped-crystals or even hairy crystals or large needle asymmetric crystals. Crystals showed an intense polarization and a strong tendency to aggregation.
View Article and Find Full Text PDFUnlabelled: The antiviral molecule acyclovir can be responsible of severe renal dysfunction. Intratubular crystal precipitation of the drug may represent a major pathogenetic mechanism.
Observation: A 30-year old, immunocompetent woman was admitted in the neurology unit for a viral meningo-encephalitic syndrome.
Parathyroid hormone (PTH) is measured in patients with chronic kidney disease (CKD) to evaluate the spread of secondary hyperparathyroidism and to identify renal osteodystrophy subtypes. An important intermethod variability that can significantly influence the clinical decision has been highlighted recently. Similarly, it is acknowledged that the preanalytical conditions are important to optimize the interpretation of a PTH level by comparison with the K/DOQI guidelines.
View Article and Find Full Text PDF