Institution
University of Southampton
Education•Southampton, United Kingdom•
About: University of Southampton is a education organization based out in Southampton, United Kingdom. It is known for research contribution in the topics: Population & Laser. The organization has 37184 authors who have published 99400 publications receiving 3462915 citations. The organization is also known as: Southampton University & Soton Uni.
Topics: Population, Laser, Context (language use), Optical fiber, Fiber laser
Papers published on a yearly basis
Papers
More filters
01 Nov 2010
TL;DR: This article presents the Rodin modelling tool that seamlessly integrates modelling and proving, and outlines how the Event-B language was designed to facilitate proof and how the tool has been designed to support changes to models while minimising the impact of changes on existing proofs.
Abstract: Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. In this article we present the Rodin modelling tool that seamlessly integrates modelling and proving. We outline how the Event-B language was designed to facilitate proof and how the tool has been designed to support changes to models while minimising the impact of changes on existing proofs. We outline the important features of the prover architecture and explain how well-definedness is treated. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.
661 citations
TL;DR: The observation that Ho-Tr and, for the first time, karyotype complexity confer an increased risk of treatment failure demonstrates that cytogenetic subgroups other than the Ph chromosome can and should be used to risk stratify adults with ALL in future trials.
660 citations
King's College London1, University of Cambridge2, University of Leicester3, Catholic University of the Sacred Heart4, HealthPartners5, Nanyang Technological University6, Tan Tock Seng Hospital7, University of Southampton8, University of Miami9, University of Amsterdam10, Centre national de la recherche scientifique11, Anschutz Medical Campus12, Monash University13, Imperial College London14, State University of Campinas15, The Chinese University of Hong Kong16, Peking University17
TL;DR: An international panel of experts in the field of diabetes and endocrinology is formed to provide some guidance and practical recommendations for the management of diabetes during the COVID-19 pandemic.
659 citations
TL;DR: This work distinguishes between four levels of self-enhancement—an observed effect, an ongoing process, a personality trait, and an underlying motive—and uses these distinctions to organize the wealth of relevant research.
Abstract: Self-enhancement denotes a class of psychological phenomena that involve taking a tendentiously positive view of oneself. We distinguish between four levels of self-enhancement—an observed effect, an ongoing process, a personality trait, and an underlying motive—and then use these distinctions to organize the wealth of relevant research. Furthermore, to render these distinctions intuitive, we draw an extended analogy between self-enhancement and the phenomenon of eating. Among the topics we address are (a) manifestations of self-enhancement, both obvious and subtle, and rival interpretations; (b) experimentally documented dynamics of affirming and threatening the ego; and (c) primacy of self-enhancement, considered alongside other intrapsychic phenomena, and across different cultures. Self-enhancement, like eating, is a fundamental part of human nature.
657 citations
TL;DR: In this article, the modern-day researcher has a variety of options available in order to collect data from participants Although traditional face-to-face interviews remain a popular option for qualitative research.
Abstract: When conducting qualitative research, the modern-day researcher has a variety of options available in order to collect data from participants Although traditional face-to-face interviews remain pr
657 citations
Authors
Showing all 37632 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| Cyrus Cooper | 204 | 1869 | 206782 |
| Stephen V. Faraone | 188 | 1427 | 140298 |
| David R. Williams | 178 | 2034 | 138789 |
| Charles M. Lieber | 165 | 521 | 132811 |
| David W. Johnson | 160 | 2714 | 140778 |
| Mark E. Cooper | 158 | 1463 | 124887 |
| Pete Smith | 156 | 2464 | 138819 |
| Joseph Jankovic | 153 | 1146 | 93840 |
| Vivek Sharma | 150 | 3030 | 136228 |
| David J.P. Barker | 148 | 446 | 99373 |
| Debbie A Lawlor | 147 | 1114 | 101123 |
| Olli T. Raitakari | 142 | 1232 | 103487 |
| Stephen T. Holgate | 142 | 870 | 82345 |
| Alexander Belyaev | 142 | 1895 | 100796 |
| Christopher D.M. Fletcher | 138 | 674 | 82484 |