Refine
Year of publication
Document Type
- Article (30430)
- Part of Periodical (11868)
- Book (8231)
- Doctoral Thesis (5575)
- Part of a Book (3869)
- Working Paper (3370)
- Review (2918)
- Contribution to a Periodical (2278)
- Preprint (1802)
- Report (1561)
Language
- German (42672)
- English (28337)
- French (1071)
- Portuguese (843)
- Multiple languages (310)
- Spanish (309)
- Croatian (302)
- Italian (196)
- mis (174)
- Turkish (168)
Keywords
- Deutsch (1082)
- Literatur (862)
- taxonomy (737)
- Deutschland (551)
- Rezension (511)
- new species (437)
- Rezeption (349)
- Frankfurt <Main> / Universität (341)
- Übersetzung (311)
- Geschichte (300)
Institute
- Medizin (7326)
- Präsidium (5082)
- Physik (4109)
- Extern (2742)
- Wirtschaftswissenschaften (2656)
- Gesellschaftswissenschaften (2366)
- Biowissenschaften (2100)
- Biochemie und Chemie (1939)
- Center for Financial Studies (CFS) (1608)
- Informatik (1576)
Heart valve disease is a major clinical problem worldwide. Cardiac valve development and homeostasis need to be precisely controlled. Hippo signaling is essential for organ development and tissue homeostasis, while its role in valve formation and morphology maintenance remains unknown. VGLL4 is a transcription cofactor in vertebrates and we found it was mainly expressed in valve interstitial cells at the post-EMT stage and was maintained till the adult stage. Tissue specific knockout of VGLL4 in different cell lineages revealed that only loss of VGLL4 in endothelial cell lineage led to valve malformation with expanded expression of YAP targets. We further semi-knockout YAP in VGLL4 ablated hearts, and found hyper proliferation of arterial valve interstitial cells was significantly constrained. These findings suggest that VGLL4 is important for valve development and manipulation of Hippo components would be a potential therapy for preventing the progression of congenital valve disease.
Caractérisation structurale de la végétation ligneuse du Parc National de Mozogo-Gokoro (Cameroun)
(2018)
La gestion forestière durable est étroitement dépendante de la compréhension de la dynamique structurale. Cette étude vise la description de la structure de la végétation ligneuse du Parc National de Mozogo-Gokoro, situé en zone soudano-sahélienne au Cameroun. À l’issue d’un inventaire floristique, prenant en compte tous les individus ligneux, les analyses ont porté sur les paramètres suivants: la structure diamétrale, les types de tiges, la répartition en classes de hauteurs, les types biologiques et les types végétatifs. Ces différentes formes de caractérisation ont prouvé globalement le vieillissement du peuplement. Les pourcentages des types végétatifs montrent une végétation dominée par les arbustes (63,12 %), mais avec une présence non négligeable de lianes (26,34 %) et d’arbres (10,54 %). À partir des tests de corrélations diamètres-hauteurs, le paramètre types de tiges, avec une domination des hautes (1521 tiges/ha) et moyennes tiges (733 tiges/ha), est démontré plus crédible dans l’étude de la structure intégrale de la végétation ligneuse. L’analyse structurale des espèces présente quant à elle des tendances, montrant l’importance de l’ensemble des paramètres et une divergence dans les pressions subies. En somme, dans le processus de gestion durable du parc, la régénération et la croissance des ligneux se manifestent comme une préoccupation concernant l’ensemble du peuplement, mais de façon plus ciblée suivant les espèces.
Edible wild plants are an important supplement to the diets and livelihoods of rural households in West Africa. Despite their role in improving diets, mitigating famine periods and generating income there is a lack of extensive information on their uses for broader areas. Based on ethnobotanical records, we investigated wild food plants on the national scale of Burkina Faso, to provide a comprehensive overview of all edible plants, their taxonomy, plant parts and preparations. Our study revealed a relatively high number of 354 edible wild species, representing 66 plant families, with Fabaceae and Poaceae being the most species rich. Almost one third of these species have two to four edible plant parts. The number of species with edible fruits ranked highest, followed by seeds, leaves, starchy underground storage organs and others. Overall, the results underline that wild plant species contribute considerably to nutrition and the database compiled in this study constitutes a good basis for further evaluations of the potential of edible plants in Burkina Faso.
We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluation. It Abstracts from the details of the implementation via abstract machines, but it takes garbage collection into account and thus can be seen as a realistic approximation of space usage. The results are: a context lemma for space improving translations and for space equivalences; all but one reduction rule of the calculus are shown to be space improvements, and the exceptional one, the copy-rule, is shown to increase space only moderately.
Several further program transformations are shown to be space improvements or space equivalences, in particular the translation into machine expressions is a space equivalence. These results are a step Forward in making predictions about the change in runtime space behavior of optimizing transformations in callbyneed functional languages.
We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluation. It Abstracts from the details of the implementation via abstract machines, but it takes garbage collection into account and thus can be seen as a realistic approximation of space usage. The results are: a context lemma for space improving translations and for space equivalences; all but one reduction rule of the calculus are shown to be space improvements, and the exceptional one, the copy-rule, is shown to increase space only moderately.
Several further program transformations are shown to be space improvements or space equivalences, in particular the translation into machine expressions is a space equivalence. These results are a step Forward in making predictions about the change in runtime space behavior of optimizing transformations in callbyneed functional languages.
The synchronous pi-calculus is translated into a core language of Concurrent Haskell extended by futures (CHF). The translation simulates the synchronous message-passing of the pi-calculus by sending messages and adding synchronization using Concurrent Haskell's mutable shared-memory locations (MVars). The semantic criterion is a contextual semantics of the pi-calculus and of CHF using may- and should-convergence as observations. The results are equivalence with respect to the observations, full abstraction of the translation of closed processes, and adequacy of the translation on open processes. The translation transports the semantics of the pi-calculus processes under rather strong criteria, since error-free programs are translated into error-free ones, and programs without non-deterministic error possibilities are also translated into programs without non-deterministic error-possibilities. This investigation shows that CHF embraces the expressive power and the concurrency capabilities of the pi-calculus.
Distributed ledger technology especially in the form of publicly coordinated validation networks such as Ethereum and Bitcoin with their own monetary circles provide for a revealing litmus test for current financial regulatory schemes. The paper highlights the interrelation between distributed coordination and the emission of virtual currency to make sense of the function of the new monetary phenomenon. It then argues for the regulation of financial services on the ground of the technology to ensure integrity standards. In this respect, it is useful to gear the development of a regulatory scheme towards the existing financial regulatory principles. However, future measures of the regulators must take the distributed nature of the platforms into account by relying on a “regulated self-regulation” of the community. Finally, the article focuses on the shortcomings of the current EU regulatory regimes, especially the regulation frameworks regarding financial services, payment services and electronic money.
Exploiting the natural experiment of the German reunification, we examine how consumers adapt to a new environment in their macroeconomic forecasting. We document that East Germans expect higher in inflation and make larger forecast errors than West
Germans even decades after reunification. Differences in consumption baskets, financial literacy, risk aversion or trust in the central bank cannot fully account for these patterns. We find most support for the explanation that East Germans, who were used to a strong norm of zero inflation, persistently overadjusted the level of their expectations in the face of the initial inflation shock in reunified Germany. Our findings suggest that large changes in the economic environment can permanently impede people's ability to form accurate macroeconomic expectations, with an important role for the interaction of old norms and new experiences around the event.