| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
- Bixby, H., et al.
(författare)
-
Rising rural body-mass index is the main driver of the global obesity epidemic in adults
- 2019
-
Ingår i: Nature. - : Springer Science and Business Media LLC. - 0028-0836 .- 1476-4687. ; 569:7755, s. 260-4
-
Tidskriftsartikel (refereegranskat)abstract
- Body-mass index (BMI) has increased steadily in most countries in parallel with a rise in the proportion of the population who live in cities(.)(1,2) This has led to a widely reported view that urbanization is one of the most important drivers of the global rise in obesity(3-6). Here we use 2,009 population-based studies, with measurements of height and weight in more than 112 million adults, to report national, regional and global trends in mean BMI segregated by place of residence (a rural or urban area) from 1985 to 2017. We show that, contrary to the dominant paradigm, more than 55% of the global rise in mean BMI from 1985 to 2017-and more than 80% in some low- and middle-income regions-was due to increases in BMI in rural areas. This large contribution stems from the fact that, with the exception of women in sub-Saharan Africa, BMI is increasing at the same rate or faster in rural areas than in cities in low- and middle-income regions. These trends have in turn resulted in a closing-and in some countries reversal-of the gap in BMI between urban and rural areas in low- and middle-income countries, especially for women. In high-income and industrialized countries, we noted a persistently higher rural BMI, especially for women. There is an urgent need for an integrated approach to rural nutrition that enhances financial and physical access to healthy foods, to avoid replacing the rural undernutrition disadvantage in poor countries with a more general malnutrition disadvantage that entails excessive consumption of low-quality calories.
|
|
| 6. |
- Mishra, A, et al.
(författare)
-
Diminishing benefits of urban living for children and adolescents' growth and development
- 2023
-
Ingår i: Nature. - : Springer Science and Business Media LLC. - 1476-4687 .- 0028-0836. ; 615:7954, s. 874-883
-
Tidskriftsartikel (refereegranskat)abstract
- Optimal growth and development in childhood and adolescence is crucial for lifelong health and well-being1–6. Here we used data from 2,325 population-based studies, with measurements of height and weight from 71 million participants, to report the height and body-mass index (BMI) of children and adolescents aged 5–19 years on the basis of rural and urban place of residence in 200 countries and territories from 1990 to 2020. In 1990, children and adolescents residing in cities were taller than their rural counterparts in all but a few high-income countries. By 2020, the urban height advantage became smaller in most countries, and in many high-income western countries it reversed into a small urban-based disadvantage. The exception was for boys in most countries in sub-Saharan Africa and in some countries in Oceania, south Asia and the region of central Asia, Middle East and north Africa. In these countries, successive cohorts of boys from rural places either did not gain height or possibly became shorter, and hence fell further behind their urban peers. The difference between the age-standardized mean BMI of children in urban and rural areas was <1.1 kg m–2 in the vast majority of countries. Within this small range, BMI increased slightly more in cities than in rural areas, except in south Asia, sub-Saharan Africa and some countries in central and eastern Europe. Our results show that in much of the world, the growth and developmental advantages of living in cities have diminished in the twenty-first century, whereas in much of sub-Saharan Africa they have amplified.
|
|
| 7. |
- Zhou, Bin, et al.
(författare)
-
Worldwide trends in diabetes since 1980: A pooled analysis of 751 population-based studies with 4.4 million participants
- 2016
-
Ingår i: The Lancet. - : Elsevier B.V.. - 0140-6736 .- 1474-547X. ; 387:10027, s. 1513-1530
-
Tidskriftsartikel (refereegranskat)abstract
- Background: One of the global targets for non-communicable diseases is to halt, by 2025, the rise in the age standardised adult prevalence of diabetes at its 2010 levels. We aimed to estimate worldwide trends in diabetes, how likely it is for countries to achieve the global target, and how changes in prevalence, together with population growth and ageing, are aff ecting the number of adults with diabetes.Methods: We pooled data from population-based studies that had collected data on diabetes through measurement of its biomarkers. We used a Bayesian hierarchical model to estimate trends in diabetes prevalence-defined as fasting plasma glucose of 7.0 mmol/L or higher, or history of diagnosis with diabetes, or use of insulin or oral hypoglycaemic drugs-in 200 countries and territories in 21 regions, by sex and from 1980 to 2014. We also calculated the posterior probability of meeting the global diabetes target if post-2000 trends continue.Findings: We used data from 751 studies including 4372000 adults from 146 of the 200 countries we make estimates for. Global age-standardised diabetes prevalence increased from 4.3% (95% credible interval 2.4-17.0) in 1980 to 9.0% (7.2-11.1) in 2014 in men, and from 5.0% (2.9-7.9) to 7.9% (6.4-9.7) in women. The number of adults with diabetes in the world increased from 108 million in 1980 to 422 million in 2014 (28.5% due to the rise in prevalence, 39.7% due to population growth and ageing, and 31.8% due to interaction of these two factors). Age-standardised adult diabetes prevalence in 2014 was lowest in northwestern Europe, and highest in Polynesia and Micronesia, at nearly 25%, followed by Melanesia and the Middle East and north Africa. Between 1980 and 2014 there was little change in age-standardised diabetes prevalence in adult women in continental western Europe, although crude prevalence rose because of ageing of the population. By contrast, age-standardised adult prevalence rose by 15 percentage points in men and women in Polynesia and Micronesia. In 2014, American Samoa had the highest national prevalence of diabetes (>30% in both sexes), with age-standardised adult prevalence also higher than 25% in some other islands in Polynesia and Micronesia. If post-2000 trends continue, the probability of meeting the global target of halting the rise in the prevalence of diabetes by 2025 at the 2010 level worldwide is lower than 1% for men and is 1% for women. Only nine countries for men and 29 countries for women, mostly in western Europe, have a 50% or higher probability of meeting the global target.Interpretation: Since 1980, age-standardised diabetes prevalence in adults has increased, or at best remained unchanged, in every country. Together with population growth and ageing, this rise has led to a near quadrupling of the number of adults with diabetes worldwide. The burden of diabetes, both in terms of prevalence and number of adults aff ected, has increased faster in low-income and middle-income countries than in high-income countries.
|
|
| 8. |
|
|
| 9. |
|
|
| 10. |
- Bentham, James, et al.
(författare)
-
A century of trends in adult human height
- 2016
-
Ingår i: eLIFE. - 2050-084X. ; 5
-
Tidskriftsartikel (refereegranskat)abstract
- Being taller is associated with enhanced longevity, and higher education and earnings. We reanalysed 1472 population-based studies, with measurement of height on more than 18.6 million participants to estimate mean height for people born between 1896 and 1996 in 200 countries. The largest gain in adult height over the past century has occurred in South Korean women and Iranian men, who became 20.2 cm (95% credible interval 17.522.7) and 16.5 cm (13.319.7) taller, respectively. In contrast, there was little change in adult height in some sub-Saharan African countries and in South Asia over the century of analysis. The tallest people over these 100 years are men born in the Netherlands in the last quarter of 20th century, whose average heights surpassed 182.5 cm, and the shortest were women born in Guatemala in 1896 (140.3 cm; 135.8144.8). The height differential between the tallest and shortest populations was 19-20 cm a century ago, and has remained the same for women and increased for men a century later despite substantial changes in the ranking of countries.
|
|
| 11. |
- Bentham, James, et al.
(författare)
-
A century of trends in adult human height
- 2016
-
Ingår i: eLIFE. - : eLife Sciences Publications Ltd. - 2050-084X. ; 5
-
Tidskriftsartikel (refereegranskat)abstract
- Being taller is associated with enhanced longevity, and higher education and earnings. We reanalysed 1472 population-based studies, with measurement of height on more than 18.6 million participants to estimate mean height for people born between 1896 and 1996 in 200 countries. The largest gain in adult height over the past century has occurred in South Korean women and Iranian men, who became 20.2 cm (95% credible interval 17.5–22.7) and 16.5 cm (13.3– 19.7) taller, respectively. In contrast, there was little change in adult height in some sub-Saharan African countries and in South Asia over the century of analysis. The tallest people over these 100 years are men born in the Netherlands in the last quarter of 20th century, whose average heights surpassed 182.5 cm, and the shortest were women born in Guatemala in 1896 (140.3 cm; 135.8– 144.8). The height differential between the tallest and shortest populations was 19-20 cm a century ago, and has remained the same for women and increased for men a century later despite substantial changes in the ranking of countries.
|
|
| 12. |
|
|
| 13. |
|
|
| 14. |
- Bousquet, J, et al.
(författare)
-
Nrf2-interacting nutrients and COVID-19: time for research to develop adaptation strategies
- 2020
-
Ingår i: Clinical and translational allergy. - : Wiley. - 2045-7022. ; 10:1, s. 58-
-
Tidskriftsartikel (refereegranskat)abstract
- There are large between- and within-country variations in COVID-19 death rates. Some very low death rate settings such as Eastern Asia, Central Europe, the Balkans and Africa have a common feature of eating large quantities of fermented foods whose intake is associated with the activation of the Nrf2 (Nuclear factor (erythroid-derived 2)-like 2) anti-oxidant transcription factor. There are many Nrf2-interacting nutrients (berberine, curcumin, epigallocatechin gallate, genistein, quercetin, resveratrol, sulforaphane) that all act similarly to reduce insulin resistance, endothelial damage, lung injury and cytokine storm. They also act on the same mechanisms (mTOR: Mammalian target of rapamycin, PPARγ:Peroxisome proliferator-activated receptor, NFκB: Nuclear factor kappa B, ERK: Extracellular signal-regulated kinases and eIF2α:Elongation initiation factor 2α). They may as a result be important in mitigating the severity of COVID-19, acting through the endoplasmic reticulum stress or ACE-Angiotensin-II-AT1R axis (AT1R) pathway. Many Nrf2-interacting nutrients are also interacting with TRPA1 and/or TRPV1. Interestingly, geographical areas with very low COVID-19 mortality are those with the lowest prevalence of obesity (Sub-Saharan Africa and Asia). It is tempting to propose that Nrf2-interacting foods and nutrients can re-balance insulin resistance and have a significant effect on COVID-19 severity. It is therefore possible that the intake of these foods may restore an optimal natural balance for the Nrf2 pathway and may be of interest in the mitigation of COVID-19 severity.
|
|
| 15. |
|
|
| 16. |
- Cheng, Mu-Jeng, et al.
(författare)
-
Carbon-Oxygen Bond Forming Mechanisms in Rhenium Oxo-Alkyl Complexes
- 2010
-
Ingår i: Organometallics. - : American Chemical Society (ACS). - 0276-7333 .- 1520-6041. ; 29:9, s. 2026-2033
-
Tidskriftsartikel (refereegranskat)abstract
- Three C X bond formation mechanisms observed in the oxidation of (HBpz(3))ReO(R)(OTf) [HBpz(3) = hydrotris(1-pyrazolypborate; R = Me, Et, and iPr; OTf = OSO(2)CF(3)] by dimethyl sulfoxide (DMSO) were investigated using quantum mechanics (M06//B3LYP DFT) combined with solvation (using the PBF Poisson Boltzmann polarizable continuum solvent model). For R = Et we find the alkyl group is activated through alpha-hydrogen abstraction by external base OTf(-) with a free energy barrier of only 12.0 kcal/mol, leading to formation of acetaldehyde. Alternatively, ethyl migration across the M=O bond (leading to the formation of acetaldehyde and ethanol) poses a free energy barrier of 22.1 kcal/mol, and the previously proposed alpha-hydrogen transfer to oxo (a 2+2 forbidden reaction) poses a barrier of 44.9 kcal/mol. The rate-determining step to formation of the final product acetaldehyde is an oxygen atom transfer from DMSO to the ethylidene, with a free energy barrier of 15.3 kcal/mol. When R = iPr, the alkyl 1,2-migration pathway becomes the more favorable pathway (both kinetically and thermodynamically), with a free energy barrier (Delta G(double dagger) = 11.8 kcal/mol) lower than alpha-hydrogen abstraction by OTf(-) (Delta G(double dagger) = 13.5 kcal/mol). This suggests the feasibility of utilizing this type of migration to functionalize M-R to M-OR. We also considered the nucleophilic attack of water and ammonia on the Re-ethylidene alpha-carbon as a means of recovering two-electron-oxidized products from an alkane oxidation. Nucleophilic attack (with internal deprotonation of the nucleophile) is exothermic. However, the subsequent protonolysis of the Re alkyl bond (to liberate an alcohol or amine) poses a barrier of 37.0 or 42.4 kcal/mol, respectively. Where comparisons are possible, calculated free energies agree very well with experimental measurements.
|
|
| 17. |
- Dai, Y. L., et al.
(författare)
-
Asynchronous embryonic germ cell development leads to a heterogeneity of postnatal ovarian follicle activation and may influence the timing of puberty onset in mice
- 2022
-
Ingår i: BMC Biology. - : Springer Science and Business Media LLC. - 1741-7007. ; 20:1
-
Tidskriftsartikel (refereegranskat)abstract
- Background Ovarian follicles, which are the basic units of female reproduction, are composed of oocytes and surrounding somatic (pre) granulosa cells (GCs). A recent study revealed that signaling in somatic preGCs controlled the activation (initial recruitment) of follicles in the adult ovaries, but it is also known that there are two waves of follicle with age-related heterogeneity in their developmental dynamics in mammals. Although this heterogeneity was proposed to be crucial for female reproduction, our understanding of how it arises and its significance is still elusive. Results In the current study, by deleting the key secreted factor KIT ligand from preGCs and analyzing the follicle cell developmental dynamics, we revealed distinct patterns of activation and growth associated with the two waves of follicles in mouse ovary. Our results confirmed that activation of adult wave follicles is initiated by somatic preGCs and dependent on the KIT ligand. By contrast, activation of first wave follicles, which are awakened from germ cells before follicle formation, can occur in the absence of preGC-secreted KIT ligand in postnatal ovaries and appears to be oocyte-initiated. We also found that the asynchronous activity of phosphatidylinositol 3 kinases (PI3K) signaling and meiotic process in embryonic germ cells lead to the follicle heterogeneity in postnatal ovaries. In addition, we supplied evidence that the time sequence of embryonic germ cell development and its related first wave follicle growth are correlated to the time of puberty onset in females. Conclusion Taken together, our study provides evidence that asynchronous development of embryonic oocytes leads to the heterogeneity of postnatal ovarian follicle activation and development, and affects the timing of onset of puberty in females.
|
|
| 18. |
|
|
| 19. |
|
|
| 20. |
|
|
| 21. |
- Kao, Mu-Rong, et al.
(författare)
-
A Robust α-L-Fucosidase from Prevotella nigrescens for Glycoengineering Therapeutic Antibodies
- 2024
-
Ingår i: ACS Chemical Biology. - 1554-8929 .- 1554-8937. ; 19:7, s. 1515-1524
-
Tidskriftsartikel (refereegranskat)abstract
- Eliminating the core fucose from the N-glycans of the Fc antibody segment by pathway engineering or enzymatic methods has been shown to enhance the potency of therapeutic antibodies, especially in the context of antibody-dependent cytotoxicity (ADCC). However, there is a significant challenge due to the limited defucosylation efficiency of commercially available α-l-fucosidases. In this study, we report a unique α-l-fucosidase (PnfucA) from the bacterium Prevotella nigrescens that has a low sequence identity compared with all other known α-l-fucosidases and is highly reactive toward a core disaccharide substrate with fucose α(1,3)-, α (1,4)-and α(1,6)-linked to GlcNAc, and is less reactive toward the Fuc-α(1,2)-Gal on the terminal trisaccharide of the oligosaccharide Globo H (Bb3). The kinetic properties of the enzyme, such as its Km and kcat, were determined and the optimized expression of PnfucA gave a yield exceeding 30 mg/L. The recombinant enzyme retained its full activity even after being incubated for 6 h at 37 °C. Moreover, it retained 92 and 87% of its activity after freezing and freeze-drying treatments, respectively, for over 28 days. In a representative glycoengineering of adalimumab (Humira), PnfucA showed remarkable hydrolytic efficiency in cleaving the α(1,6)-linked core fucose from FucGlcNAc on the antibody with a quantitative yield. This enabled the seamless incorporation of biantennary sialylglycans by Endo-S2 D184 M in a one-pot fashion to yield adalimumab in a homogeneous afucosylated glycoform with an improved binding affinity toward Fcγ receptor IIIa.
|
|
| 22. |
- Kao, Mu-Rong, et al.
(författare)
-
Substrate Specificities of Variants of Barley (1,3)- and (1,3;1,4)-β-d-Glucanases Resulting from Mutagenesis and Segment Hybridization
- 2024
-
Ingår i: Biochemistry. - : American Chemical Society (ACS). - 0006-2960 .- 1520-4995. ; 63:9, s. 1194-1205
-
Tidskriftsartikel (refereegranskat)abstract
- Barley (1,3;1,4)-β-d-glucanase is believed to have evolved from an ancestral monocotyledon (1,3)-β-d-glucanase, enabling the hydrolysis of (1,3;1,4)-β-d-glucans in the cell walls of leaves and germinating grains. In the present study, we investigated the substrate specificities of variants of the barley enzymes (1,3;1,4)-β-d-glucan endohydrolase [(1,3;1,4)-β-d-glucanase] isoenzyme EII (HvEII) and (1,3)-β-d-glucan endohydrolase [(1,3)-β-d-glucanase] isoenzyme GII (HvGII) obtained by protein segment hybridization and site-directed mutagenesis. Using protein segment hybridization, we obtained three variants of HvEII in which the substrate specificity was that of a (1,3)-β-d-glucanase and one variant that hydrolyzed both (1,3)-β-d-glucans and (1,3;1,4)-β-d-glucans; the wild-type enzyme hydrolyzed only (1,3;1,4)-β-d-glucans. Using substitutions of specific amino acid residues, we obtained one variant of HvEII that hydrolyzed both substrates. However, neither protein segment hybridization nor substitutions of specific amino acid residues gave variants of HvGII that could hydrolyze (1,3;1,4)-β-d-glucans; the wild-type enzyme hydrolyzed only (1,3)-β-d-glucans. Other HvEII and HvGII variants showed changes in specific activity and their ability to degrade the (1,3;1,4)-β-d-glucans or (1,3)-β-d-glucans to larger oligosaccharides. We also used molecular dynamics simulations to identify amino-acid residues or structural regions of wild-type HvEII and HvGII that interact with (1,3;1,4)-β-d-glucans and (1,3)-β-d-glucans, respectively, and may be responsible for the substrate specificities of the two enzymes.
|
|
| 23. |
- Li, Jing, et al.
(författare)
-
Structural compositions and biological activities of cell wall polysaccharides in the rhizome, stem, and leaf of Polygonatum odoratum (Mill.) Druce
- 2022
-
Ingår i: Carbohydrate Research. - : Elsevier BV. - 0008-6215 .- 1873-426X. ; 521
-
Tidskriftsartikel (refereegranskat)abstract
- Polygonatum odoratum is a perennial rhizomatous medicinal plant and different plant parts have been used in the treatment of various ailments. Herein, we have investigated the structural compositions of rhizome, leaf, and stem cell walls. We found 30–44% of polysaccharides in these wall preparations were cyclohexanediaminetetraacetic acid (CDTA) extractable, the proportion of heteromannans (HMs) in the rhizome is nearly three-fold compared to that of the leave and stem. The pectic polysaccharides of the rhizome are also structurally more diverse, with arabinans and type I and type II arabinogalactans being richest as shown by linkage study of the sodium carbonate (Na2CO3) extract. In addition, the 2-linked Araf was rhizome-specific, suggesting the cell walls in the rhizome had adapted to a more complex structure compared to that of the leaf and stem. Water-soluble polysaccharide fractions were also investigated, high proportion of Man as in 4-linked Manp indicated high proportion of HMs. The 21.4 kDa pectic polysaccharides and HMs derived from rhizome cell walls induced specific immune response in mice macrophage cells producing IL-1α and hematopoietic growth factors GM-CSF and G-CSF in vitro.
|
|
| 24. |
- Liang, Yongqi, et al.
(författare)
-
Achieving High Open-Circuit Voltages up to 1.57 V in Hole-Transport-Material-Free MAPbBr(3) Solar Cells with Carbon Electrodes
- 2018
-
Ingår i: Advanced Energy Materials. - : Wiley-VCH Verlagsgesellschaft. - 1614-6832 .- 1614-6840. ; 8:4
-
Tidskriftsartikel (refereegranskat)abstract
- An open-circuit voltage (V-oc) of 1.57 V under simulated AM1.5 sunlight in planar MAPbBr(3) solar cells with carbon (graphite) electrodes is obtained. The hole-transport-material-free MAPbBr(3) solar cells with the normal architecture (FTO/TiO2/MAPbBr(3)/carbon) show little hysteresis during current-voltage sweep under simulated AM1.5 sunlight. A solar-to-electricity power conversion efficiency of 8.70% is achieved with the champion device. Accordingly, it is proposed that the carbon electrodes are effective to extract photogenerated holes in MAPbBr(3) solar cells, and the industry-applicable carbon electrodes will not limit the performance of bromide-based perovskite solar cells. Based on the analysis of the band alignment, it is found that the voltage (energy) loss across the interface between MAPbBr(3) and carbon is very small compared to the offset between the valence band maximum of MAPbBr(3) and the work function of graphite. This finding implies either Fermi level pinning or highly doped region inside MAPbBr(3) layer exists. The band-edge electroluminescence spectra of MAPbBr(3) from the solar cells further support no back-transfer pathways of electrons across the MAPbBr(3)/TiO2 interface.
|
|
| 25. |
- Lind, Lars, et al.
(författare)
-
Heterogeneous contributions of change in population distribution of body mass index to change in obesity and underweight NCD Risk Factor Collaboration (NCD-RisC)
- 2021
-
Ingår i: eLife. - : eLife Sciences Publications Ltd. - 2050-084X. ; 10
-
Tidskriftsartikel (refereegranskat)abstract
- From 1985 to 2016, the prevalence of underweight decreased, and that of obesity and severe obesity increased, in most regions, with significant variation in the magnitude of these changes across regions. We investigated how much change in mean body mass index (BMI) explains changes in the prevalence of underweight, obesity, and severe obesity in different regions using data from 2896 population-based studies with 187 million participants. Changes in the prevalence of underweight and total obesity, and to a lesser extent severe obesity, are largely driven by shifts in the distribution of BMI, with smaller contributions from changes in the shape of the distribution. In East and Southeast Asia and sub-Saharan Africa, the underweight tail of the BMI distribution was left behind as the distribution shifted. There is a need for policies that address all forms of malnutrition by making healthy foods accessible and affordable, while restricting unhealthy foods through fiscal and regulatory restrictions.
|
|
| 26. |
- Menkveld, Albert J., et al.
(författare)
-
Nonstandard Errors
- 2024
-
Ingår i: JOURNAL OF FINANCE. - : Wiley-Blackwell. - 0022-1082 .- 1540-6261. ; 79:3, s. 2339-2390
-
Tidskriftsartikel (refereegranskat)abstract
- In statistics, samples are drawn from a population in a data-generating process (DGP). Standard errors measure the uncertainty in estimates of population parameters. In science, evidence is generated to test hypotheses in an evidence-generating process (EGP). We claim that EGP variation across researchers adds uncertainty-nonstandard errors (NSEs). We study NSEs by letting 164 teams test the same hypotheses on the same data. NSEs turn out to be sizable, but smaller for more reproducible or higher rated research. Adding peer-review stages reduces NSEs. We further find that this type of uncertainty is underestimated by participants.
|
|
| 27. |
- Mu, Shin-Cheng, et al.
(författare)
-
Algebra of programming in Agda: dependent types for relational program derivation
- 2009
-
Ingår i: Journal of Functional Programming. - 1469-7653 .- 0956-7968. ; 19:5, s. 545 - 579
-
Tidskriftsartikel (refereegranskat)abstract
- Relational program derivation is the technique of stepwise refining a relational specification to a program by algebraic rules. The program thus obtained is correct by construction. Meanwhile, dependent type theory is rich enough to express various correctness properties to be verified by the type checker. We have developed a library, AoPA (Algebra of Programming in Agda), to encode relational derivations in the dependently typed programming language Agda. A program is coupled with an algebraic derivation whose correctness is guaranteed by the type system. Two non-trivial examples are presented: an optimisation problem and a derivation of quicksort in which well-founded recursion is used to model terminating hylomorphisms in a language with inductive types.
|
|
| 28. |
- Mu, Shin-Cheng, et al.
(författare)
-
Algebra of Programming using Dependent Types
- 2008
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 1611-3349 .- 0302-9743. ; 5133/2008, s. 268-283
-
Tidskriftsartikel (refereegranskat)abstract
- Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very well how to show that one relation is included in another by algebraic reasoning. We demonstrate how to encode functional and relational derivations in a dependently typed programming language. A program is coupled with an algebraic derivation from a specification, whose correctness is guaranteed by the type system.
|
|
| 29. |
|
|
| 30. |
|
|
| 31. |
|
|
| 32. |
|
|
| 33. |
- Yuan, Xiaotian, et al.
(författare)
-
GABPA inhibits invasion/metastasis in papillary thyroid carcinoma by regulating DICER1 expression
- 2019
-
Ingår i: Oncogene. - : Springer Science and Business Media LLC. - 0950-9232 .- 1476-5594. ; 38:7, s. 965-979
-
Tidskriftsartikel (refereegranskat)abstract
- The ETS family transcription factor GABPA is suggested as an oncogenic element, which is further supported by the recent reporting of it as the sole ETS member to activate the mutant TERT promoter in thyroid carcinomas (TC). However, it remains unclear how GABPA contributes to TC pathogenesis. The present study is designed to address this issue. TERT expression was significantly diminished in TERT promoter-mutated TC cells upon GABPA inhibition. Surprisingly, GABPA depletion led to robustly increased cellular invasion independently of TERT promoter mutations and TERT expression. DICER1, a component of the microRNA machinery, was identified as a downstream effector of GABPA. GABPA facilitated Dicer1 transcription while its depletion reduced Dicer1 expression. The mutation of the GABPA binding site in the DICER1 promoter led to diminished basal levels of DICER1 promoter activity and abolishment of GABPA-stimulated promoter activity as well. The forced DICER1 expression abrogated the invasiveness of GABPA-depleted TC cells. Consistently, the analyses of 93 patients with papillary thyroid carcinoma (PTC) revealed a positive correlation between GABPA and DICER1 expression. GABPA expression was negatively associated with TERT expression and promoter mutations, in contrast to published observations in cancer cell lines. Lower GABPA expression was associated with distant metastasis and shorter overall/disease-free survival in PTC patients. Similar results were obtained for PTC cases in the TCGA dataset. In addition, a positive correlation between GABPA and DICER1 expression was seen in multiple types of malignancies. Taken together, despite its stimulatory effect on the mutant TERT promoter and telomerase activation, GABPA may itself act as a tumor suppressor rather than an oncogenic factor to inhibit invasion/metastasis in TCs and be a useful predictor for patient outcomes.
|
|
| 34. |
|
|
| 35. |
|
|
| 36. |
- Zou, Yuqin, et al.
(författare)
-
Ionic liquids tailoring crystal orientation and electronic properties for stable perovskite solar cells
- 2023
-
Ingår i: Nano Energy. - : Elsevier BV. - 2211-2855 .- 2211-3282. ; 112, s. 108449-108449
-
Tidskriftsartikel (refereegranskat)abstract
- The crystallization behavior of perovskite films has a profound influence on the resulting defect densities, charge carrier dynamics and photovoltaic performance. Herein, we introduce ionic liquids into the perovskite component to tailor the crystal growth of perovskite films from a disordered to a preferential corner-up orientation and accordingly increase the charge carrier mobility to accelerate electron transport and extraction. Using time-resolved measurements, we probe the charge carrier generation, transport and recombination behavior in these films and related devices. We find the ionic liquid-containing samples exhibit lower defects, faster charge carrier transport and suppressed non-radiative recombination, contributing to higher efficiency and fill factor. Via operando grazing-incidence small- and wide-angle X-ray scattering measurements, we observe a light-induced lattice compression and grain fragmentation in the control devices, whereas the ionic liquid-containing devices exhibit a slight light-induced crystal reconstitution and stronger tolerance against illumination. Under ambient conditions, the non-encapsulated device with the pyrrolidinium-based ionic compound (Pyr14BF4) maintains 97% of its initial efficiency after 4368 h.
|
|
| 37. |
- Zou, Yuqin, et al.
(författare)
-
The Influence of CsBr on Crystal Orientation and Optoelectronic Properties of MAPbI(3)-Based Solar Cells
- 2022
-
Ingår i: ACS Applied Materials and Interfaces. - : American Chemical Society (ACS). - 1944-8244 .- 1944-8252. ; 14:2, s. 2958-2967
-
Tidskriftsartikel (refereegranskat)abstract
- Crystal orientations are closely related to the behavior of photogenerated charge carriers and are vital for controlling the optoelectronic properties of perovskite solar cells. Herein, we propose a facile approach to reveal the effect of lattice plane orientation distribution on the charge carrier kinetics via constructing CsBr-doped mixed cation perovskite phases. With grazing-incidence wide-angle X-ray scattering measurements, we investigate the crystallographic properties of mixed perovskite films at the microscopic scale and reveal the effect of the extrinsic CsBr doping on the stacking behavior of the lattice planes. Combined with transient photocurrent, transient photovoltage, and space-charge-limited current measurements, the transport dynamics and recombination of the photogenerated charge carriers are characterized. It is demonstrated that CsBr compositional engineering can significantly affect the perovskite crystal structure in terms of the orientation distribution of crystal planes and passivation of trap-state densities, as well as simultaneously facilitate the photogenerated charge carrier transport across the absorber and its interfaces. This strategy provides unique insight into the underlying relationship between the stacking pattern of crystal planes, photogenerated charge carrier transport, and optoelectronic properties of solar cells.
|
|
| 38. |
- Aad, G., et al.
(författare)
-
- 2013
-
Tidskriftsartikel (refereegranskat)
|
|
| 39. |
|
|
| 40. |
- Bravo, L, et al.
(författare)
-
- 2021
-
swepub:Mat__t
|
|
| 41. |
- Niemi, MEK, et al.
(författare)
-
- 2021
-
swepub:Mat__t
|
|
| 42. |
|
|
| 43. |
- Tabiri, S, et al.
(författare)
-
- 2021
-
swepub:Mat__t
|
|
