Results 91 to 100 of about 2,242 (239)
The modified realizability topos
Journal of Pure and Applied Algebra, 1996 The modified realizability topos is the semantic (and higher order) counterpart of a variant of Kreisel's modified realizability (1957). These years, this realizability has been in the limelight again because of its possibilities for modelling type theory (Streicher, Hyland-Ong-Ritter) and strong normalization.
openaire +3 more sources
New biosensors and transgenic mice for multiplex cGMP imaging
British Journal of Pharmacology, EarlyView.Background and Purpose Cyclic guanosine monophosphate (cGMP) is a versatile second messenger that is important for human (patho‐)physiology and pharmacotherapy. Live‐cell imaging of cGMP with biosensors allows to elucidate its spatiotemporal dynamics in real time under close‐to‐native conditions. However, to monitor two separate cGMP pools or cGMP/cAMP
Markus Wolters +6 more
wiley +1 more source
Clinical &Experimental Ophthalmology, EarlyView.ABSTRACT Background To report the 1‐year clinical outcomes of decellularised human corneal stromal lamina implantation, with or without autologous adipose‐derived adult stem cells (ADASCs), for advanced keratoconus in a European cohort. Methods In this prospective, randomised Phase I/IIa trial, 10 eyes of 10 patients were allocated to decellularised ...
Hao Zhang +7 more
wiley +1 more source
Soviet “Life Canon” in scientist’s biography and problem of its overcoming
Известия Южного федерального университета: Филологические науки, 2015 This article is dedicated to one of the fragments of modern textual culture, namely the presentation of the image of the scientist, usually presented in the book, devoted to anniversaries. Often it is the memories of students.
Khazagerov Georgii Georgievich +1 more
doaj
Splendeurs et misères de l’expression « modèle suédois » dans la presse française en 2022
Sur le JournalismeFR. La présente étude revient sur le tropisme de la presse française pour l’expression « modèle suédois » en proposant d’analyser l’évolution des connotations de cette formule dans les quotidiens et hebdomadaires français.
Christophe Premat
doaj +1 more source
The gleason cover of a topos, II
Journal of Pure and Applied Algebra, 1980 In [13], it was observed that the topos Shv(X) of sheaves on a topological space X satisfies De Morgan’s law iff X is extremally disconnected, and it was claimed that most of the occurrences of extremally disconnected spaces in general topology and functional analysis could in fact be explained as appeals to De Morgan’s law in the internal logic of Shv(
openaire +2 more sources
Wee1 kinase differentially regulates maize CDKA2;1a and CDKB1;1
The FEBS Journal, EarlyView.In eukaryotes, Wee1 kinase inhibits the kinase activity of CDK/Cyc complexes through phosphorylation of a conserved residue in the CDK moiety. Wee1 is also present in plants, but has been scarcely studied. We have studied maize Wee1 regulation of CDKA/CycD2;2a or CDKB/CycD2;2a complexes.
Mingyar N. López‐Hernández +4 more
wiley +1 more source
Role-theoretic discourse analysis of German security policy: a case of German parliamentary debate on the mission in Afghanistan. [PDF]
Front Psychol, 2023 Ni X.
europepmc +1 more source
The FEBS Journal, EarlyView.In Neurospora crassa, a cytosolic GH18 endo‐β‐n‐acetylglucosaminidase (ENGase) functions as an active deglycosylating enzyme. Deletion of this severely alters tolerance to multiple stress conditions and causes extensive transcriptomic reprogramming, including upregulation of a GH20 exo‐β‐n‐acetylhexosaminidase under ER stress, indicating that N. crassa
Anastasios Samaras +3 more
wiley +1 more source
History and Theory, EarlyView.ABSTRACT As a periodization that is generally understood to refer to an era of Terrestrial relationships that developed with modernization and nuclearization, the Anthropocene cannot be applied simply to premodern histories and texts. However, it has introduced historians to geological periodization as a mode of describing periods of changed ...
Gwenffrewi J. Morgan
wiley +1 more source