scispace - formally typeset
Search or ask a question
Institution

University of Konstanz

EducationKonstanz, 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.


Papers
More filters
Journal ArticleDOI
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

Journal ArticleDOI
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

Journal ArticleDOI
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

Journal ArticleDOI
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

Journal ArticleDOI
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

NameH-indexPapersCitations
Robert E. W. Hancock15277588481
Lloyd J. Old152775101377
Andrew White1491494113874
Stefanie Dimmeler14757481658
Rudolf Amann14345985525
Niels Birbaumer14283577853
Thomas P. Russell141101280055
Emmanuelle Perez138155099016
Shlomo Havlin131101383347
Bruno S. Frey11990065368
Roald Hoffmann11687059470
Michael G. Fehlings116118957003
Yves Van de Peer11549461479
Axel Meyer11251151195
Manuela Campanelli11167548563
Network Information
Related Institutions (5)
ETH Zurich
122.4K papers, 5.1M citations

93% related

University of California, Irvine
113.6K papers, 5.5M citations

91% related

Arizona State University
109.6K papers, 4.4M citations

91% related

University of California, Santa Barbara
80.8K papers, 4.6M citations

91% related

Max Planck Society
406.2K papers, 19.5M citations

91% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
202360
2022202
20211,361
20201,299
20191,166
20181,082