49 research outputs found
H008 Le blocage des récepteurs AT1 de L′angiotensine II inhibe L′hypertrophie ventriculaire gauche et L′activation de FHL1 chez la souris hétérozygote déficiente en cMyBP-C
Les mutations de la protéine C cardiaque (cMyBP-C) sont une cause de cardiomyopathies hypertrophiques (CMH). Les souris transgéniques hétérozygotes défi cientes en cMyBP-C (HET) présentent une CMH d′apparition tardive à fonction systolique conservée. Le système rénine angiotensine (SRA) cardiaque joue un rôle important dans l′hypertrophie, mais son rôle dans le développement d′une CMH génétiquement déterminée a été peu étudié.Cette étude évaluait le rôle du SRA dans l′induction de la CMH chez la souris HET. Des souris HET et sauvages (WT), âgées de 5 mois, ont été traitées par irbésartan (50mg/kg/jour) ou placebo pendant 8 semaines. L′expression dans le ventricule gauche (VG) des gènes de l′enzyme de conversion de l′angiotensine I (ACE), du récepteur AT1 de l′angiotensine II (AGTR1), de la calcineurine A (PPP3CB) de la calcipressin 1 (RCAN1), et de FHL1 (four and a half LIM domains 1, une protéine associée à cMyBP-C au sein du sarcomère) a été analysée par RT-qPCR.Après 8 semaines de traitement, la pression artérielle est normale dans tous les groupes. Le poids du VG/poids du corps des souris HET est augmenté par rapport aux WT (3,9±0,3 vs. 3,3±0,4mg/g; p<0.01) dans le groupe placebo. Dans les groupes traités par irbésartan, ce rapport est comparable pour les souris HET (3,4±0,5mg/g) et WT (3,2±0,4mg/g; p=ns). L′expression des gènes de l′ACE, PPP3CB et RCAN1 est comparable entre les souris HET et WT et n′est pas affectée par le traitement par irbésartan. L′expression d′AGTR1 est similaire chez les souris HET et WT traitées par placebo mais augmente après traitement par irbésartan uniquement chez les souris HET. A l′inverse, l′expression de FHL1 est activée chez les souris HET par rapport aux souris WT mais cette augmentation est prévenue par le traitement par irbésartan.En conclusion, chez la souris cMyBP-C, le développement de l′hypertrophie est accompagné par une augmentation de l′expression du gène FHL1 dans le VG. Le traitement par irbésartan inhibe l′hypertrophie et l′activation de l′expression de FHL1 don′t le mécanisme reste à déterminer
Changing a semantics: opportunism or courage?
The generalized models for higher-order logics introduced by Leon Henkin, and
their multiple offspring over the years, have become a standard tool in many
areas of logic. Even so, discussion has persisted about their technical status,
and perhaps even their conceptual legitimacy. This paper gives a systematic
view of generalized model techniques, discusses what they mean in mathematical
and philosophical terms, and presents a few technical themes and results about
their role in algebraic representation, calibrating provability, lowering
complexity, understanding fixed-point logics, and achieving set-theoretic
absoluteness. We also show how thinking about Henkin's approach to semantics of
logical systems in this generality can yield new results, dispelling the
impression of adhocness. This paper is dedicated to Leon Henkin, a deep
logician who has changed the way we all work, while also being an always open,
modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on
his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and
Alonso, E., 201
Dualities for modal algebras from the point of view of triples
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on the other. Furthermore, we investigate the monoidal structure induced by Cartesian product on the relational side and show that in some cases the corresponding operation on the algebraic side represents bimorphisms
Emergence of qualia from brain activity or from an interaction of proto-consciousness with the brain: which one is the weirder? Available evidence and a research agenda
This contribution to the science of consciousness aims at comparing how two different theories can
explain the emergence of different qualia experiences, meta-awareness, meta-cognition, the placebo
effect, out-of-body experiences, cognitive therapy and meditation-induced brain changes, etc.
The first theory postulates that qualia experiences derive from specific neural patterns, the second
one, that qualia experiences derive from the interaction of a proto-consciousness with the brain\u2019s
neural activity. From this comparison it will be possible to judge which one seems to better explain
the different qualia experiences and to offer a more promising research agenda
Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras
北海道における知的障がい者の就労支援に関する一考察
知的障がい者の就労について、北海道及び北海道教育委員会が進めている障が いのある人の就労支援の充実に向けた取組の状況を概観することに加えて、北海道内 の特別支援学校在籍者の約8割を占めている知的障がい特別支援学校の現状や就労支 援の取組について整理した。北海道において障がいある人の就労に大きな役割を果た してきた職親会の設立の経緯やなよろ地方職親会の障がい者雇用の状況やジョブコー チ養成研修の成果をまとめた。以上のことを踏まえて、知的障がい者の就労支援やキ ャリア教育の在り方について考察する