| 1. |
- Ade, Florian, et al.
(author)
-
Incumbency effects in government and opposition : Evidence from Germany
- 2014
-
In: European Journal of Political Economy. - : Elsevier BV. - 0176-2680 .- 1873-5703. ; 36, s. 117-134
-
Journal article (peer-reviewed)abstract
- Do district incumbents in an election have an advantage, and if so, do these advantages depend on which party is in government? We estimate the incumbency effect for the direct district candidates in German federal and state elections using a regression discontinuity design (RDD). When studying the heterogeneity in these effects, we find that incumbents from both large parties, the center-right CDU and the center-left SPD, have an advantage only if the SPD is in government. This effect is robust and shows even in state elections that are unrelated to federal elections.
|
|
| 2. |
- Filipovikj, Predrag, et al.
(author)
-
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements : Application and Experience
- 2018
-
In: Electronic Communications of the EASST. - Germany. - 1863-2122. ; 75, s. 1-20
-
Journal article (peer-reviewed)abstract
- Industry relies predominantly on manual peer-review techniques for assessing the correctness of system specifications. However, with the ever-increasing size, complexity and intricacy of specifications, it becomes difficult to assure their correctness with respect to certain criteria such as consistency. To address this challenge, a technique called sanity checking has been proposed. The goal of the technique is to assess the quality of the system specification in a systematic and rigorous manner with respect to a formally-defined criterion. Predominantly, the sanity checking criteria, such as for instance consistency, are encoded as reachability or liveness properties which can then be verified via model checking. Recently, a complementary approach for checking the consistency of a system's specification by reducing it to a satisfiability problem that can be analyzed using Satisfiability Modulo Theories has been proposed. In this paper, we compare the two approaches for consistency analysis, by applying them on a relevant industrial use case, using the same definition for consistency and the same set of requirements. Since the bottlenecks of analyzing large systems formally are most often the construction of the model and the time needed to return a verdict, we carry out the comparison with respect to the: i) required effort for generating the analysis model and the latter's complexity, and ii) consistency analysis time. Assuming checking only invariance properties, our results show no significant difference in analysis time between the two approaches when applied on the same system specification under the same definition of consistency. As expected, the main difference between the two comes from the required time and effort of creating the analysis models.
|
|
| 3. |
- Lettner, Thomas, et al.
(author)
-
Strain-Controlled Quantum Dot Fine Structure for Entangled Photon Generation at 1550 nm
- 2021
-
In: Nano Letters. - : American Chemical Society (ACS). - 1530-6984 .- 1530-6992. ; 21:24, s. 10501-10506
-
Journal article (peer-reviewed)abstract
- Entangled photon generation at 1550 nm in the telecom C-band is of critical importance as it enables the realization of quantum communication protocols over long distance using deployed telecommunication infrastructure. InAs epitaxial quantum dots have recently enabled on-demand generation of entangled photons in this wavelength range. However, time-dependent state evolution, caused by the fine-structure splitting, currently limits the fidelity to a specific entangled state. Here, we show fine-structure suppression for InAs quantum dots using micromachined piezoelectric actuators and demonstrate generation of highly entangled photons at 1550 nm. At the lowest fine-structure setting, we obtain a maximum fidelity of 90.0 +/- 2.7% (concurrence of 87.5 +/- 3.1%). The concurrence remains high also for moderate (weak) temporal filtering, with values close to 80% (50%), corresponding to 30% (80%) of collected photons, respectively. The presented fine-structure control opens the way for exploiting entangled photons from quantum dots in fiber-based quantum communication protocols.
|
|
