Institution
University of Konstanz
Education•Konstanz, Baden-Württemberg, Germany•
About: University of Konstanz is a education organization based out in Konstanz, Baden-Württemberg, Germany. It is known for research contribution in the topics: Population & Visualization. The organization has 12115 authors who have published 27401 publications receiving 951162 citations. The organization is also known as: University of Constance & Universität Konstanz.
Topics: Population, Visualization, Membrane, Visual analytics, Silicon
Papers published on a yearly basis
Papers
More filters
••
TL;DR: The relation between work and health has primarily focused on the effects of psychosocial characteristics of the job (i.e., autonomy, psychological demands) on psychological well-being as mentioned in this paper.
Abstract: Research on the relation between work and health has primarily focused on the effects of psychosocial characteristics of the job (i.e., autonomy, psychological demands) on psychological well-being ...
197 citations
••
TL;DR: In this article, the authors investigated the relation between academic self-concepts and the emotions of enjoyment, pride, anxiety, anger, and boredom as experienced in mathematics, physics, German, and English classes.
197 citations
••
TL;DR: Investigation of the regulation of excitability in cortical networks, as indicated by surface-negative slow cortical potentials (SCPs), is impaired in epileptic patients and to what extent training of SCP self-regulation by means of biofeedback and instrumental learning procedures might affect seizure frequency found significant increases in SCP control.
197 citations
••
TL;DR: It is demonstrated that RNA quadruplexes readily form in vivo, and tuneable mRNA-based devices that enable modulation of gene expression by a predictable but thus far unknown mechanism are introduced.
197 citations
••
TL;DR: One of the main ideas of calculi of natural deduction, as introduced by Jaśkowski and Gentzen, is that assumptions may be discharged in the course of a derivation as well as not only formulas but also rules may serve as assumptions which can be discharged.
Abstract: One of the main ideas of calculi of natural deduction, as introduced by Jaśkowski and Gentzen, is that assumptions may be discharged in the course of a derivation. As regards sentential logic, this conception will be extended in so far as not only formulas but also rules may serve as assumptions which can be discharged. The resulting calculi and derivations with rules of any finite level are informally introduced in §1, while §§2 and 3 state formal definitions of the concepts involved and basic lemmata. Within this framework, a standard form for introduction and elimination rules for arbitrary n-ary sentential operators is motivated in §4, understood as a contribution to the theory of meaning for logical signs. §5 proves that the set {&, ∨, ⊃, ⋏} of standard intuitionistic connectives is complete, i.e. &, ∨, ⊃, and ⋏ suffice to express each n-ary sentential operator having rules of the standard form given in §4. §6 makes some remarks on related approaches. For an extension of the conception presented here to quantifier logic, see [11].
197 citations
Authors
Showing all 12272 results
Name | H-index | Papers | Citations |
---|---|---|---|
Robert E. W. Hancock | 152 | 775 | 88481 |
Lloyd J. Old | 152 | 775 | 101377 |
Andrew White | 149 | 1494 | 113874 |
Stefanie Dimmeler | 147 | 574 | 81658 |
Rudolf Amann | 143 | 459 | 85525 |
Niels Birbaumer | 142 | 835 | 77853 |
Thomas P. Russell | 141 | 1012 | 80055 |
Emmanuelle Perez | 138 | 1550 | 99016 |
Shlomo Havlin | 131 | 1013 | 83347 |
Bruno S. Frey | 119 | 900 | 65368 |
Roald Hoffmann | 116 | 870 | 59470 |
Michael G. Fehlings | 116 | 1189 | 57003 |
Yves Van de Peer | 115 | 494 | 61479 |
Axel Meyer | 112 | 511 | 51195 |
Manuela Campanelli | 111 | 675 | 48563 |