Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

540 Publications


2012 | Conference Paper | LibreCat-ID: 627
Block Abstraction Memoization for CPAchecker
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat | Files available | DOI
 

2012 | Book Chapter | LibreCat-ID: 9670 LibreCat
 

2012 | Book Chapter | LibreCat-ID: 9699
Facets of Children’s Fears in Twentieth- and Twenty-First-Century Stream-of-Consciousness Fiction
S. Strauß, in: M. Gymnich (Ed.), Who’s Afraid of...? Facets of Fear in Anglophone Literature and Film, V&R Unipress Bonn, Bonn, 2012, pp. 141–156.
LibreCat
 

2012 | Misc | LibreCat-ID: 9733
Der Zauber Magischer Welten
C. Flotmann, Der Zauber Magischer Welten, Deutschlandfunk, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 11863
Investigations Into a Statistical Observation Model for Logarithmic Mel Power Spectral Density Features of Noisy Reverberant Speech
V. Leutnant, A. Krueger, R. Haeb-Umbach, Speech Communication; 10. ITG Symposium; Proceedings Of (2012) 1–4.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 11849
Bayesian Feature Enhancement for ASR of Noisy Reverberant Real-World Data
A. Krueger, O. Walter, V. Leutnant, R. Haeb-Umbach, in: Proc. Interspeech, Portland, USA, 2012.
LibreCat | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 11844
Reverberant Speech Recognition
A. Krueger, R. Haeb-Umbach, in: Techniques for Noise Robustness in Automatic Speech Recognition, Wiley, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 12001
On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol Simulation
D. Eckhoff, C. Sommer, F. Dressler, in: 2012 IEEE 75th Vehicular Technology Conference (VTC Spring), 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 12037
Content downloading in vehicular networks: Bringing parked cars into the picture
F. Malandrino, C. Casetti, C.F. Chiasserini, C. Sommer, F. Dressler, in: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 9783
Non-perturbing cavitation detection / monitoring in sonochemical reactors
P. Bornmann, T. Hemsel, W. Sextro, T. Maeda, T. Morita, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 1141–1144.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 9788
Piezoelectric applications of hydrothermal lead-free (K0.48Na0.52)NbO3 ceramics
T. Maeda, P. Bornmann, T. Hemsel, T. Morita, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 194–195.
LibreCat | DOI
 
 

2012 | Conference Paper | LibreCat-ID: 13193
An analysis of chaining in multi-label classification
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France , IOS Press, 2012, pp. 294–299.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 13326
Sentiment Polarization and Balance among Users in Online Social Networks
R. Hillmann, M. Trier, in: K.D. Joshi, Y. Yoo (Eds.), AMCIS 2012 Proceedings, Association for Information Systems. AIS Electronic Library (AISeL), 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 13542
Activation of Surface Hydroxyl Groups by Modification of H-Terminated Si(111) Surfaces
P. Thissen, T. Peixoto, R.C. Longo, W. Peng, W.G. Schmidt, K. Cho, Y.J. Chabal, Journal of the American Chemical Society 134 (2012) 8869–8874.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 13535
Ferroelectric phase transition in LiNbO3: Insights from molecular dynamics
S. Sanna, W.G. Schmidt, IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control 59 (2012) 1925–1928.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 13821
First-principles and empirical potential simulation study of intrinsic and carbon-related defects in silicon
F. Zirkelbach, B. Stritzker, K. Nordlund, W.G. Schmidt, E. Rauls, J.K.N. Lindner, Physica Status Solidi (C) 9 (2012) 1968–1973.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 12981
Built-in Self-Diagnosis Exploiting Strong Diagnostic Windows in Mixed-Mode Test
A. Cook, S. Hellebrand, H.-J. Wunderlich, in: 17th IEEE European Test Symposium (ETS’12), IEEE, Annecy, France, 2012, pp. 1–6.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 15276
Introducing google chart tools and google maps api in data visualization courses
Y. Zhu, G. Domik, IEEE Computer Graphics and Applications 32 (2012) 6–9.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 14007 LibreCat
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Export / Embed