| 1. |
|
|
| 2. |
- Hudson, Lawrence N, et al.
(författare)
-
The database of the PREDICTS (Projecting Responses of Ecological Diversity In Changing Terrestrial Systems) project
- 2017
-
Ingår i: Ecology and Evolution. - : John Wiley & Sons. - 2045-7758. ; 7:1, s. 145-188
-
Tidskriftsartikel (refereegranskat)abstract
- The PREDICTS project-Projecting Responses of Ecological Diversity In Changing Terrestrial Systems (www.predicts.org.uk)-has collated from published studies a large, reasonably representative database of comparable samples of biodiversity from multiple sites that differ in the nature or intensity of human impacts relating to land use. We have used this evidence base to develop global and regional statistical models of how local biodiversity responds to these measures. We describe and make freely available this 2016 release of the database, containing more than 3.2 million records sampled at over 26,000 locations and representing over 47,000 species. We outline how the database can help in answering a range of questions in ecology and conservation biology. To our knowledge, this is the largest and most geographically and taxonomically representative database of spatial comparisons of biodiversity that has been collated to date; it will be useful to researchers and international efforts wishing to model and understand the global status of biodiversity.
|
|
| 3. |
- Adolph, C, et al.
(författare)
-
Measurement of the eta -> 3 pi(0) Dalitz plot distribution with the WASA detector at COSY
- 2009
-
Ingår i: Physics Letters B. - : Elsevier BV. - 0370-2693 .- 1873-2445. ; 677:1-2, s. 24-29
-
Tidskriftsartikel (refereegranskat)abstract
- In the first production run of the WASA experiment at COSY, the eta decay into three neutral pions was measured in proton-proton interactions at a proton beam kinetic energy of 1.4 GeV. The Dalitz plot of the three pious was Studied using 1.2 x 10(5) fully reconstructed events. and the quadratic slope parameter alpha was determined to be -0.027 +/- 0.008(stat) +/- 0.005(syst). The result is consistent with previous measurements and further corroborates the importance of pion-pion final state interactions. (C) 2009 Elsevier B.V. All rights reserved.
|
|
| 4. |
- Jimenez, J. L., et al.
(författare)
-
Evolution of Organic Aerosols in the Atmosphere
- 2009
-
Ingår i: Science. - : American Association for the Advancement of Science (AAAS). - 0036-8075 .- 1095-9203. ; 326:5959, s. 1525-1529
-
Tidskriftsartikel (refereegranskat)abstract
- Organic aerosol (OA) particles affect climate forcing and human health, but their sources and evolution remain poorly characterized. We present a unifying model framework describing the atmospheric evolution of OA that is constrained by high-time-resolution measurements of its composition, volatility, and oxidation state. OA and OA precursor gases evolve by becoming increasingly oxidized, less volatile, and more hygroscopic, leading to the formation of oxygenated organic aerosol (OOA), with concentrations comparable to those of sulfate aerosol throughout the Northern Hemisphere. Our model framework captures the dynamic aging behavior observed in both the atmosphere and laboratory: It can serve as a basis for improving parameterizations in regional and global models.
|
|
| 5. |
- Shen, J. X., et al.
(författare)
-
3D Adipose Tissue Culture Links the Organotypic Microenvironment to Improved Adipogenesis
- 2021
-
Ingår i: Advanced Science. - : Wiley. - 2198-3844. ; 8:16
-
Tidskriftsartikel (refereegranskat)abstract
- Obesity and type 2 diabetes are strongly associated with adipose tissue dysfunction and impaired adipogenesis. Understanding the molecular underpinnings that control adipogenesis is thus of fundamental importance for the development of novel therapeutics against metabolic disorders. However, translational approaches are hampered as current models do not accurately recapitulate adipogenesis. Here, a scaffold-free versatile 3D adipocyte culture platform with chemically defined conditions is presented in which primary human preadipocytes accurately recapitulate adipogenesis. Following differentiation, multi-omics profiling and functional tests demonstrate that 3D adipocyte cultures feature mature molecular and cellular phenotypes similar to freshly isolated mature adipocytes. Spheroids exhibit physiologically relevant gene expression signatures with 4704 differentially expressed genes compared to conventional 2D cultures (false discovery rate < 0.05), including the concerted expression of factors shaping the adipogenic niche. Furthermore, lipid profiles of >1000 lipid species closely resemble patterns of the corresponding isogenic mature adipocytes in vivo (R2 = 0.97). Integration of multi-omics signatures with analyses of the activity profiles of 503 transcription factors using global promoter motif inference reveals a complex signaling network, involving YAP, Hedgehog, and TGFβ signaling, that links the organotypic microenvironment in 3D culture to the activation and reinforcement of PPARγ and CEBP activity resulting in improved adipogenesis.
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
The KeY platform for verification and analysis of java programs
- 2014
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 8471:8471, s. 55-71
-
Konferensbidrag (refereegranskat)abstract
- The KeY system offers a platform of software analysis tools for sequential Java. Foremost, this includes full functional verification against contracts written in the Java Modeling Language. But the approach is general enough to provide a basis for other methods and purposes: (i) complementary validation techniques to formal verification such as testing and debugging, (ii) methods that reduce the complexity of verification such as modularization and abstract interpretation, (iii) analyses of non-functional properties such as information flowsecurity, and (iv) sound program transformation and code generation. We show that deductive technology that has been developed for full functional verification can be used as a basis and framework for other purposes than pure functional verification. We use the current release of the KeY system as an example to explain and prove this claim.
|
|
