| 1. |
|
|
| 2. |
- Petrescu, Ana Maria Roxana, et al.
(författare)
-
The uncertain climate footprint of wetlands under human pressure
- 2015
-
Ingår i: Proceedings of the National Academy of Sciences. - : Proceedings of the National Academy of Sciences. - 1091-6490 .- 0027-8424. ; 112:15, s. 4594-4599
-
Tidskriftsartikel (refereegranskat)abstract
- Significant climate risks are associated with a positive carbon-temperature feedback in northern latitude carbon-rich ecosystems, making an accurate analysis of human impacts on the net greenhouse gas balance of wetlands a priority. Here, we provide a coherent assessment of the climate footprint of a network of wetland sites based on simultaneous and quasi-continuous ecosystem observations of CO2 and CH4 fluxes. Experimental areas are located both in natural and in managed wetlands and cover a wide range of climatic regions, ecosystem types, and management practices. Based on direct observations we predict that sustained CH4 emissions in natural ecosystems are in the long term (i.e., several centuries) typically offset by CO2 uptake, although with large spatiotemporal variability. Using a space-for-time analogy across ecological and climatic gradients, we represent the chronosequence from natural to managed conditions to quantify the "cost" of CH4 emissions for the benefit of net carbon sequestration. With a sustained pulse-response radiative forcing model, we found a significant increase in atmospheric forcing due to land management, in particular for wetland converted to cropland. Our results quantify the role of human activities on the climate footprint of northern wetlands and call for development of active mitigation strategies for managed wetlands and new guidelines of the Intergovernmental Panel on Climate Change (IPCC) accounting for both sustained CH4 emissions and cumulative CO2 exchange.
|
|
| 3. |
- Akperov, M., et al.
(författare)
-
Trends of intense cyclone activity in the Arctic from reanalyses data and regional climate models (Arctic-CORDEX)
- 2019. - 1
-
Ingår i: Turbulence, Atmosphere and Climate Dynamics. - : IOP Publishing. - 1755-1307. ; 231
-
Konferensbidrag (refereegranskat)abstract
- The ability of state-of-the-art regional climate models (RCMs) to simulate the trends of intense cyclone activity in the Arctic is assessed based on an ensemble of 13 simulations from 11 models from the Arctic-CORDEX initiative. Some models employ large-scale spectral nudging techniques. Cyclone characteristics simulated by the ensemble in winter and summer are compared with the results from four reanalyses (ERA-Interim, NCEP-CFSR, NASA-MERRA2 and JMA-JRA55) in winter and summer for 1981-2010 period.
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
- Gennery, A. R., et al.
(författare)
-
Treatment of CD40 ligand deficiency by hematopoietic stem cell transplantation: a survey of the European experience, 1993-2002
- 2004
-
Ingår i: Blood. - : American Society of Hematology. - 0006-4971 .- 1528-0020. ; 103:3, s. 1152-7
-
Tidskriftsartikel (refereegranskat)abstract
- CD40 ligand (CD40L) deficiency causes recurrent sinopulmonary infection, Pneumocystis carinii pneumonia, and Cryptosporidium parvum infection. Approximately 40% to 50% of patients survive to the third decade: long-term survival is unclear. Hematopoietic stem cell transplantation (HSCT) is curative. We present a retrospective analysis of 38 European patients undergoing HSCT for CD40L deficiency in 8 European countries between 1993 and 2002. Donor stem cell source included 14 HLA-identical siblings, 22 unrelated donors, and 2 phenotypically matched parental stem cells (12 T-cell depleted). Of the patients, 34 engrafted and 26 (68%) survived; 3 had autologous reconstitution, 22 (58%) were cured, and 1 engrafted but has poor T-cell immune reconstitution. There were 18 evaluated patients who responded to vaccination. Of the patients, 12 (32%) died from infection-related complications, with severe cryptosporidiosis in 6. Grades 2 to 4 graft-versus-host disease (GvHD) associated with infection occurred in 6 of 12 fatal cases. HSCT cured 58% of patients, 72% of those without hepatic disease. Early T-cell function following whole marrow HSCT may limit cryptosporidial disease, but survival was similar after T-cell-depleted HSCT. Preexisting lung damage was the most important adverse risk factor. Further studies will determine optimal timing and type of HSCT.
|
|
| 8. |
|
|
| 9. |
- Abel, Andreas, 1974, et al.
(författare)
-
Iteration and coiteration schemes for higher-order and nested datatypes
- 2005
-
Ingår i: Theoretical Computer Science. - : Elsevier BV. - 0304-3975. ; 333:1-2, s. 3-66
-
Tidskriftsartikel (refereegranskat)abstract
- This article studies the implementation of inductive and coinductive constructors of higher kinds (higher-order nested datatypes) in typed term rewriting, with emphasis on the choice of the iteration and coiteration constructions to support as primitive. We propose and compare several well-behaved extensions of System Fω with some form of iteration and coiteration uniform in all kinds. In what we call Mendler-style systems, the iterator and coiterator have a computational behavior similar to the general recursor, but their types guarantee termination. In conventional-style systems, monotonicity witnesses are used for a notion of monotonicity defined uniformly for all kinds. Our most expressive systems GMItω and GItω of generalized Mendler, resp. conventional (co)iteration encompass Martin, Gibbons and Bailey's efficient folds for rank-2 inductive types. Strong normalization of all systems considered is proved by providing an embedding of the basic Mendler-style system MItω into System Fω.
|
|
| 10. |
- Ahrens, B., et al.
(författare)
-
From Signatures to Monads in UniMath
- 2019
-
Ingår i: Journal of Automated Reasoning. - : Springer Science and Business Media LLC. - 0168-7433 .- 1573-0670. ; 63:2, s. 285-318
-
Tidskriftsartikel (refereegranskat)abstract
- The term UniMath refers both to a formal system for mathematics, as well as a computer-checked library of mathematics formalized in that system. The UniMath system is a core dependent type theory, augmented by the univalence axiom. The system is kept as small as possible in order to ease verification of it-in particular, general inductive types are not part of the system. In this work, we partially remedy the lack of inductive types by constructing some set-level datatypes and their associated induction principles from other type constructors. This involves a formalization of a category-theoretic result on the construction of initial algebras, as well as a mechanism to conveniently use the datatypes obtained. We also connect this construction to a previous formalization of substitution for languages with variable binding. Altogether, we construct a framework that allows us to concisely specify, via a simple notion of binding signature, a language with variable binding. From such a specification we obtain the datatype of terms of that language, equipped with a certified monadic substitution operation and a suitable recursion scheme. Using this we formalize the untyped lambda calculus and the raw syntax of Martin-Lof type theory.
|
|
