Institution
Karlsruhe Institute of Technology
Education•Karlsruhe, Germany•
About: Karlsruhe Institute of Technology is a education organization based out in Karlsruhe, Germany. It is known for research contribution in the topics: Computer science & Catalysis. The organization has 37946 authors who have published 82138 publications receiving 2197068 citations. The organization is also known as: KIT & University of Karlsruhe.
Papers published on a yearly basis
Papers
More filters
TL;DR: In this article, the rate of the resistance degradation of doped SrTiO3 ceramics is investigated as a function of various external and material parameters, including voltage, electric field, and thickness of the dielectric.
Abstract: The rate of the resistance degradation of doped SrTiO3 ceramics is investigated as a function of various external and material parameters. The effects of the mutually interrelated parameters dc voltage, dc electric field, and thickness of the dielectric are described by power laws. Electron microscopic potential contrast studies show a Maxwell-Wagner polarization leading to a concentration of the electric field at the grain boundaries during the degradation. Based on this finding, the voltage step per grain boundary, ΔΘgb, is introduced as a rate-determining parameter which allows an explanation of the influence of the grain size on the degradation rate as well as the difference in the power laws for ceramic and single-crystal samples.
602 citations
TL;DR: A major new version of the Monte Carlo event generator Herwig++ (version 3.0) is now available as mentioned in this paper, which is the first major release of version 7 of the Herwig event generator family.
Abstract: A major new release of the Monte Carlo event generator Herwig++ (version 3.0) is now available. This release marks the end of distinguishing Herwig++ and HERWIG development and therefore constitutes the first major release of version 7 of the Herwig event generator family. The new version features a number of significant improvements to the event simulation, including: built-in NLO hard process calculation for virtually all Standard Model processes, with matching to both angular-ordered and dipole shower modules via both subtractive (MC@NLO-type) and multiplicative (Powheg-type) algorithms; QED radiation and spin correlations in the angular-ordered shower; a consistent treatment of perturbative uncertainties within the hard process and parton showering. Several of the new features will be covered in detail in accompanying publications, and an update of the manual will follow in due course.
599 citations
Karlsruhe Institute of Technology1, University of Helsinki2, University of Oxford3, Max Planck Society4, École Polytechnique Fédérale de Lausanne5, University of Orléans6, Nuclear Research and Consultancy Group7, Academy of Sciences of the Czech Republic8, Warsaw University of Technology9, Technical University of Lisbon10, University of Navarra11, Plansee SE12, Royal Institute of Technology13, Charles III University of Madrid14, Energy Research Centre of the Netherlands15, Technical University of Madrid16, University of Leoben17, King Juan Carlos University18
TL;DR: In this article, the progress of work within the EFDA long-term fusion materials program in the area of tungsten alloys is reviewed, with a detailed overview of the latest results on materials research, fabrication processes, joining options, high heat flux testing, plasticity studies, modelling, and validation experiments.
599 citations
TL;DR: A decidable combination of OWL-DL and function-free Horn rules where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in therule body.
598 citations
TL;DR: The process of model‐based testing is discussed and a taxonomy that covers the key aspects of MBT approaches is defined to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool.
Abstract: Model-based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool. To illustrate the taxonomy, a description of how three different examples of MBT tools fit into the taxonomy is provided. Copyright © 2011 John Wiley & Sons, Ltd.
597 citations
Authors
Showing all 38468 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| Hyun-Chul Kim | 176 | 4076 | 183227 |
| Yury Gogotsi | 171 | 956 | 144520 |
| Marc Weber | 167 | 2716 | 153502 |
| Chad A. Mirkin | 164 | 1078 | 134254 |
| J. S. Lange | 160 | 2083 | 145919 |
| Hannes Jung | 159 | 2069 | 125069 |
| Wolfgang Wagner | 156 | 2342 | 123391 |
| Vivek Sharma | 150 | 3030 | 136228 |
| Teresa Lenz | 150 | 1718 | 114725 |
| Andreas Pfeiffer | 149 | 1756 | 131080 |
| Daniel Bloch | 145 | 1819 | 119556 |
| Th. Müller | 144 | 1798 | 125843 |
| Martin Erdmann | 144 | 1562 | 100470 |
| Tim Adye | 143 | 1898 | 109010 |
| Daniela Bortoletto | 143 | 1883 | 108433 |