Marked increase of venlafaxine enantiomer concentrations as a consequence of metabolic interactions: a case report.

On three occasions, unusually high trough plasma concentrations of venlafaxine were measured in a patient phenotyped and genotyped as being an extensive CYP2D6 metabolizer and receiving 450 mg/day of venlafaxine and multiple comedications. Values of 1.54 and of 0.60 mg/l of venlafaxine and O-desmethylvenlafaxine, respectively, were determined in the first blood sample, giving an unusually high venlafaxine to O-desmethylvenlafaxine ratio. This suggests an impaired metabolism of venlafaxine to O-desmethylvenlafaxine, and is most likely due to metabolic interactions with mianserin (240 mg/day) and propranolol (40 mg/day). Concentration of (S)-venlafaxine measured in this blood sample was almost twice as high as (R)-venlafaxine ((S)/(R) ratio: 1.94). At the second blood sampling, after addition of thioridazine (260 mg/day), which is a strong CYP2D6 inhibitor, concentrations of venlafaxine were further increased (2.76 mg/l), and concentrations of O-desmethylvenlafaxine decreased (0.22 mg/l). A decrease of the (S)/(R)-venlafaxine ratio (-20%) suggests a possible stereoselectivity towards the (R)-enantiomer of the enzyme(s) involved in venlafaxine O-demethylation at these high venlafaxine concentrations. At the third blood sampling, after interruption of thioridazine, concentrations of venlafaxine and O-desmethylvenlafaxine were similar to those measured in the first blood sample. This case report shows the importance of performing studies on the effects of either genetically determined or acquired deficiency of metabolism on the kinetics of venlafaxine.

Unification of multi-species vertebrate anatomy ontologies for comparative biology in Uberon.

BACKGROUND: Elucidating disease and developmental dysfunction requires understanding variation in phenotype. Single-species model organism anatomy ontologies (ssAOs) have been established to represent this variation. Multi-species anatomy ontologies (msAOs; vertebrate skeletal, vertebrate homologous, teleost, amphibian AOs) have been developed to represent 'natural' phenotypic variation across species. Our aim has been to integrate ssAOs and msAOs for various purposes, including establishing links between phenotypic variation and candidate genes. RESULTS: Previously, msAOs contained a mixture of unique and overlapping content. This hampered integration and coordination due to the need to maintain cross-references or inter-ontology equivalence axioms to the ssAOs, or to perform large-scale obsolescence and modular import. Here we present the unification of anatomy ontologies into Uberon, a single ontology resource that enables interoperability among disparate data and research groups. As a consequence, independent development of TAO, VSAO, AAO, and vHOG has been discontinued. CONCLUSIONS: The newly broadened Uberon ontology is a unified cross-taxon resource for metazoans (animals) that has been substantially expanded to include a broad diversity of vertebrate anatomical structures, permitting reasoning across anatomical variation in extinct and extant taxa. Uberon is a core resource that supports single- and cross-species queries for candidate genes using annotations for phenotypes from the systematics, biodiversity, medical, and model organism communities, while also providing entities for logical definitions in the Cell and Gene Ontologies. THE ONTOLOGY RELEASE FILES ASSOCIATED WITH THE ONTOLOGY MERGE DESCRIBED IN THIS MANUSCRIPT ARE AVAILABLE AT: http://purl.obolibrary.org/obo/uberon/releases/2013-02-21/ CURRENT ONTOLOGY RELEASE FILES ARE AVAILABLE ALWAYS AVAILABLE AT: http://purl.obolibrary.org/obo/uberon/releases/

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Incidence and consequence of major bleeding in primary percutaneous intervention for ST-elevation myocardial infarction in the era of radial access: an analysis of the international randomized Acute myocardial infarction Treated with primary angioplasty and intravenous enoxaparin Or unfractionated heparin to Lower ischemic and bleeding events at short- and Long-term follow-up trial.

AIMS: The aims of the study are to compare the outcome with and without major bleeding and to identify the independent correlates of major bleeding complications and mortality in patients described in the ATOLL study. METHODS: The ATOLL study included 910 patients randomly assigned to either 0.5 mg/kg intravenous enoxaparin or unfractionated heparin before primary percutaneous coronary intervention. Incidence of major bleeding and ischemic end points was assessed at 1 month, and mortality, at 1 and 6 months. Patients with and without major bleeding complication were compared. A multivariate model of bleeding complications at 1 month and mortality at 6 months was realized. Intention-to-treat and per-protocol analyses were performed. RESULTS: The most frequent bleeding site appears to be the gastrointestinal tract. Age >75 years, cardiac arrest, and the use of insulin or >1 heparin emerged as independent correlates of major bleeding at 1 month. Patients presenting with major bleeding had significantly higher rates of adverse ischemic complications. Mortality at 6 months was higher in bleeders. Major bleeding was found to be one of the independent correlates of 6-month mortality. The addition or mixing of several anticoagulant drugs was an independent factor of major bleeding despite the predominant use of radial access. CONCLUSIONS: This study shows that major bleeding is independently associated with poor outcome, increasing ischemic events, and mortality in primary percutaneous coronary intervention performed mostly with radial access.

Neurodegenerative diseases: A protein misfolding consequence

Protein misfolding and aggregation into amyloid-like structures is related with an increasing number of both non-neuropathic (either localized or systemic) and neurodegenerative human disorders. Decrypting the mechanisms and implications underlying amyloid assemblies has become a central issue in biology and medicine. Compelling evidence show that the formation of amyloid aggregates has a negative impact in cell physiology, entailing the cell dysfunction and finally apoptosis and cell death. The aim of the present review is to illustrate the currently status of the most common and/or debilitating conformational diseases, from Alzheimer to prion diseases.

Neurodegenerative diseases: A protein misfolding consequence

Protein misfolding and aggregation into amyloid-like structures is related with an increasing number of both non-neuropathic (either localized or systemic) and neurodegenerative human disorders. Decrypting the mechanisms and implications underlying amyloid assemblies has become a central issue in biology and medicine. Compelling evidence show that the formation of amyloid aggregates has a negative impact in cell physiology, entailing the cell dysfunction and finally apoptosis and cell death. The aim of the present review is to illustrate the currently status of the most common and/or debilitating conformational diseases, from Alzheimer to prion diseases.

Progressive Purkinje Cell Degeneration in tambaleante Mutant Mice Is a Consequence of a Missense Mutation in HERC1 E3 Ubiquitin Ligase

The HERC gene family encodes proteins with two characteristic domains: HECT and RCC1-like. Proteins with HECT domain shave been described to function as ubiquitin ligases, and those that contain RCC1-like domains have been reported to function as GTPases regulators. These two activities are essential in a number of important cellular processes such as cell cycle, cell signaling, and membrane trafficking. Mutations affecting these domains have been found associated with retinitis pigmentosa, amyotrophic lateral sclerosis, and cancer. In humans, six HERC genes have been reported which encode two subgroups of HERC proteins: large (HERC1-2) and small (HERC3-6). The giant HERC1 protein was the first to be identified. It has been involved in membrane trafficking and cell proliferation/growth through its interactions with clathrin, M2-pyruvate kinase, and TSC2 proteins. Mutations affecting other members of the HERC family have been found to be associated with sterility and growth retardation. Here, we report the characterization of a recessive mutation named tambaleante, which causes progressive Purkinje cell degeneration leading to severe ataxia with reduced growth and lifespan in homozygous mice aged over two months. We mapped this mutation in mouse chromosome 9 and then performed positional cloning. We found a GuA transition at position 1448, causing a Gly to Glu substitution (Gly483Glu) in the highly conserved N- terminal RCC1-like domain of the HERC1 protein. Successful transgenic rescue, with either a mouse BAC containing the normal copy of Herc1 or with the human HERC1 cDNA, validated our findings. Histological and biochemical studies revealed extensive autophagy associated with an increase of the mutant protein level and a decrease of mTOR activity. Our observations concerning this first mutation in the Herc1 gene contribute to the functional annotation of the encoded E3 ubiquitin ligase and underline the crucial and unexpected role of this protein in Purkinje cell physiology.

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to logical discourse. Several Russian scholars expressed ideas similar to Vasiliev's though not in such explicit form. This period might be called the prehistory of paraconsistency. Real history of paraconsistency starts with N.C.A. da Costa's works.

THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Changes in the behavioral and immunological parameters of the mollusk Biomphalaria tenagophila induced by disruption of the circadian cycle as a consequence of continuous illumination

In the present investigation we studied some behavioral and immunological parameters of adult gastropod mollusk, Biomphalaria tenagophila, which have been reproducing for several generations under laboratory conditions. One group of gastropods was kept on a 14-h light/10-h dark cycle, corresponding to a regular circadian cycle, and another group was exposed to continuous light for 48 h. Animals were studied along (behavioral groups) or immediately after (immunological groups) 48 h of regular circadian cycle or continuous light conditions. Stopping/floating, dragging and sliding were the behavioral aspects considered (N = 20 for regular cycle; N = 20 for continuous illumination) and number of hemocytes/µl hemolymph was the immunological parameter studied (N = 15 for regular cycle, N = 14 for continuous illumination). Animals under continuous illumination were more active (sliding = 33 episodes, dragging = 48 episodes) and displayed a lower number of hemocytes (78.0 ± 24.27/µl) when compared with mollusks kept on a regular circadian cycle (sliding = 18 episodes, dragging = 27 episodes; hemocytes = 157.6 ± 53.27/µl). The data are discussed in terms of neural circuits and neuroimmunological relations with the possible stressful effect of continuous illumination.

A sermon, preached in Boston, August 20, 1812, the day of humiliation and prayer, appointed by the President of the United States, in consequence of the declaration of war against Great Britain /

Published at the request of the hearers.