@inproceedings{36921, author = {{Oliveira, M. F. and Kuznik, Christoph and Müller, Wolfgang and Esen, V. and Ecker, W.}}, booktitle = {{Proceedings of the Design & Verification Conference (DVCon)}}, title = {{{Towards an Enhanced UVM for SystemC}}}, year = {{2012}}, } @inproceedings{36994, abstract = {{This paper proposes a quality driven, simulation based approach to functional design verification, which applies mainly to IP-level HDL designs with well specified test instruction format and is evaluated on a soft microprocessor core MB-LITE [5]. The approach utilizes mutation analysis as the quality metric to steer an automated simulation data generation process. It leads to a simulation flow with two phases towards an enhanced mutation analysis result. First in a random simulation phase, an in-loop heuristics is deployed and adjusts dynamically the test probability distribution so as to improve the coverage efficiency. Next, for each remaining hard-to-kill mutant, a search heuristics on test input space is developed to iteratively locate a target test, using a specific objective cost function for the goal of killing HDL mutant. The effectiveness of this integrated two-phase simulation flow is demonstrated by the results with the MB-LITE microprocessor IP.}}, author = {{Xie, Tao and Müller, Wolfgang and Letombe, Florian}}, booktitle = {{Proceedings of SOCC2012}}, keywords = {{Analytical models, Hardware design languages, Microprocessors, Cost function, Data models, Search problems, IP networks}}, publisher = {{IEEE}}, title = {{{Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}}}, doi = {{10.1109/SOCC.2012.6398362}}, year = {{2012}}, } @inproceedings{36997, author = {{Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of the MeCoES’12}}, title = {{{An IP-XACT-TO-SystemC Model Generator for Mutation Analysis}}}, year = {{2012}}, } @misc{36832, author = {{Tumat, Antje}}, booktitle = {{Wagner-Handbuch}}, editor = {{Lütteken, Laurenz}}, isbn = {{9783761820551}}, pages = {{180--182}}, publisher = {{Bärenreiter}}, title = {{{Schauspielmusik}}}, year = {{2012}}, } @inbook{37209, author = {{Wallmeier, Nadine}}, booktitle = {{Niederdeutsche Syntax}}, editor = {{Langhanke, Robert and Berg, Kristian and Elmentaler, Michael and Peters, Jörg}}, pages = {{32--55}}, publisher = {{Olms}}, title = {{{Uneingeleitete Nebensätze mit konditionaler Semantik im Mittelniederdeutschen }}}, volume = {{220}}, year = {{2012}}, } @article{37268, author = {{Behr, Teresa and Temmen, Katrin}}, journal = {{International Journal on New Trends in Education & their Implications (IJONTE)}}, number = {{3}}, pages = {{60--73}}, title = {{{Teaching Experience - improving teacher education with experiential learning}}}, volume = {{3}}, year = {{2012}}, } @article{37311, author = {{Dahmen, Stephan and Bussi, Margherita}}, journal = {{Transfer: European Review of Labour and Research}}, number = {{1}}, pages = {{91–95}}, title = {{{When ideas circulate. A walk across disciplines and different uses of the ‘capability approach’}}}, doi = {{10.1177/1024258911433541}}, volume = {{18}}, year = {{2012}}, } @misc{37177, abstract = {{Die Vorstellung der künstlerischen Schöpfungskraft als ‚männliche Gabe‘ tradiert sich seit Jahrhunderten und nimmt Einfluss auf das Schaffen von Künstlerinnen und Künstlern. Die feministische Kunst offenbart diese Normierung und bietet dadurch Ansätze zur Auseinandersetzung mit dem (Selbst-)Verständnis von Kunst und Kunstschaffenden vor dem Hintergrund des anhaltenden Diskurses über Geschlecht. Die Beiträge in diesem Heft zeigen Beispiele einer solchen Herangehensweisen aus unterschiedlichen künstlerischen Genres.}}, booktitle = {{GENDER. Zeitschrift für Geschlecht, Kultur und Gesellschaft}}, editor = {{Grotjahn, Rebecca and Kortendiek, Beate and Vahsen, Mechthilde}}, issn = {{1868-7245}}, number = {{1}}, title = {{{Gender & Art: Selbstbilder und Selbstkonzepte in den Künsten}}}, volume = {{4}}, year = {{2012}}, } @article{37503, abstract = {{This paper extends and clarifies results of Steinsaltz and Evans [Trans. Amer. Math. Soc. 359 (2007) 1285–1234], which found conditions for convergence of a killed one-dimensional diffusion conditioned on survival, to a quasistationary distribution whose density is given by the principal eigenfunction of the generator. Under the assumption that the limit of the killing at infinity differs from the principal eigenvalue we prove that convergence to quasistationarity occurs if and only if the principal eigenfunction is integrable. When the killing at ∞ is larger than the principal eigenvalue, then the eigenfunction is always integrable. When the killing at ∞ is smaller, the eigenfunction is integrable only when the unkilled process is recurrent; otherwise, the process conditioned on survival converges to 0 density on any bounded interval. }}, author = {{Kolb, Martin and Steinsaltz, David}}, journal = {{Annals of Probability}}, number = {{1}}, pages = {{162--212}}, publisher = {{Institute of Mathematical Statistics}}, title = {{{Quasilimiting behavior for one-dimensional diffusions with killing}}}, doi = {{https://doi.org/10.1214/10-AOP623}}, volume = {{40}}, year = {{2012}}, } @misc{37515, author = {{Weber, Jutta}}, booktitle = {{Handbuch Wissenschaftssoziologie}}, editor = {{Maasen, Sabine and Kaiser, Mario and Reinhart, Martin and Sutter, Barbara}}, pages = {{409--416}}, publisher = {{Verlag für Sozialwissenschaften}}, title = {{{Neue Episteme: Die biokybernetische Konfiguration der Technowissenschaftskultur}}}, year = {{2012}}, } @book{36103, editor = {{Ehland, Christoph and Berensmeyer, Ingo and Grabes, Herbert}}, isbn = {{9783823341833}}, pages = {{341}}, publisher = {{Narr}}, title = {{{Mobility in Literature and Culture, 1500-1900}}}, volume = {{Volume 28}}, year = {{2012}}, } @article{22597, author = {{Banerjee, Manish and Srinivasan, Nagendra Babu and Zhu, Huaizhi and Kim, Sun Ja and Xu, Ke and Winter, Manuela and Becker, Hans-Werner and Rogalla, Detlef and de los Arcos de Pedro, Maria Teresa and Bekermann, Daniela and Barreca, Davide and Fischer, Roland A. and Devi, Anjana}}, issn = {{1528-7483}}, journal = {{Crystal Growth & Design}}, pages = {{5079--5089}}, title = {{{Fabrication of ZrO2 and ZrN Films by Metalorganic Chemical Vapor Deposition Employing New Zr Precursors}}}, doi = {{10.1021/cg3010147}}, year = {{2012}}, } @article{22602, author = {{Milanov, Andrian P. and Xu, Ke and Cwik, Stefan and Parala, Harish and de los Arcos de Pedro, Maria Teresa and Becker, Hans-Werner and Rogalla, Detlef and Cross, Richard and Paul, Shashi and Devi, Anjana}}, issn = {{1477-9226}}, journal = {{Dalton Transactions}}, title = {{{Sc2O3, Er2O3, and Y2O3 thin films by MOCVD from volatile guanidinate class of rare-earth precursors}}}, doi = {{10.1039/c2dt31219k}}, year = {{2012}}, } @article{22604, author = {{Reuter, Rüdiger and Rügner, Katja and Ellerweg, Dirk and de los Arcos de Pedro, Maria Teresa and von Keudell, Achim and Benedikt, Jan}}, issn = {{1612-8850}}, journal = {{Plasma Processes and Polymers}}, pages = {{1116--1124}}, title = {{{The Role of Oxygen and Surface Reactions in the Deposition of Silicon Oxide like Films from HMDSO at Atmospheric Pressure}}}, doi = {{10.1002/ppap.201100146}}, year = {{2012}}, } @article{22599, author = {{Ehiasarian, A. P. and Hecimovic, A. and de los Arcos de Pedro, Maria Teresa and New, R. and Schulz-von der Gathen, V. and Böke, M. and Winter, J.}}, issn = {{0003-6951}}, journal = {{Applied Physics Letters}}, title = {{{High power impulse magnetron sputtering discharges: Instabilities and plasma self-organization}}}, doi = {{10.1063/1.3692172}}, year = {{2012}}, } @article{22601, author = {{Marot, L. and de los Arcos de Pedro, Maria Teresa and Bünzli, A.M. and Wäckerlin, C. and Steiner, R. and Oelhafen, P. and Meyer, E. and Mathys, D. and Spätig, P. and Covarel, G.}}, issn = {{0257-8972}}, journal = {{Surface and Coatings Technology}}, pages = {{223--228}}, title = {{{Nanocomposites of carbon nanotubes embedded in a (Ti,Al)N coated film}}}, doi = {{10.1016/j.surfcoat.2012.09.053}}, year = {{2012}}, } @article{22603, author = {{Prenzel, Marina and de los Arcos de Pedro, Maria Teresa and Kortmann, Annika and Winter, Jörg and von Keudell, Achim}}, issn = {{0021-8979}}, journal = {{Journal of Applied Physics}}, title = {{{Embedded argon as a tool for sampling local structure in thin plasma deposited aluminum oxide films}}}, doi = {{10.1063/1.4767383}}, year = {{2012}}, } @article{22600, author = {{Hecimovic, A and de los Arcos de Pedro, Maria Teresa and Schulz-von der Gathen, V and Böke, M and Winter, J}}, issn = {{0963-0252}}, journal = {{Plasma Sources Science and Technology}}, title = {{{Temporal evolution of the radial plasma emissivity profile in HIPIMS plasma discharges}}}, doi = {{10.1088/0963-0252/21/3/035017}}, year = {{2012}}, } @article{22605, author = {{Schröder, D and Bahre, H and Knake, N and Winter, J and de los Arcos de Pedro, Maria Teresa and Schulz-von der Gathen, V}}, issn = {{0963-0252}}, journal = {{Plasma Sources Science and Technology}}, title = {{{Influence of target surfaces on the atomic oxygen distribution in the effluent of a micro-scaled atmospheric pressure plasma jet}}}, doi = {{10.1088/0963-0252/21/2/024007}}, year = {{2012}}, } @article{35338, author = {{Tang, Mingxue and Redler, Andreas and Topgaard, Daniel and Schmidt, Claudia and Kitzerow, Heinz-Siegfried}}, issn = {{0303-402X}}, journal = {{Colloid and Polymer Science}}, keywords = {{Materials Chemistry, Colloid and Surface Chemistry, Polymers and Plastics, Physical and Theoretical Chemistry}}, number = {{8}}, pages = {{751--755}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Kinetics of the grating formation in holographic polymer-dispersed liquid crystals: NMR measurement of diffusion coefficients}}}, doi = {{10.1007/s00396-012-2623-0}}, volume = {{290}}, year = {{2012}}, }