Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2016	A machine-checked proof of correctness of Pastry	Azmy, Noran
2016	R-symmetry for triangle meshes: detection and applications	Kalojanov, Javor
2016	Optical analysis of high pressure diesel sprays using Image segmentation methods	Adam, Timo
2016	Distributed querying of large labeled graphs	Gurajada, Sairam
2016	Efficient knowledge management for named entities from text	Dutta, Sourav
2016	Finite horizon analysis of Markov automata	Hatefi Ardakani, Hassan
2016	On confluence and semantic full abstraction of lambda calculus languages	Müller, Fritz
2016	Closing the circle of algorithmic and system-centric database optimization : a comprehensive survey on adaptive indexing, data partitioning, and the rewiring of virtual memory	Schuhknecht, Felix Martin
2016	Nanostructuring of indium tin oxide with sub-15 femtosecond laser pulses for technical and biomedical applications	Afshar, Maziar
2016	Bacterial adhesion to abiotic surfaces: atomic force spectroscopy and Monte Carlo simulations	Thewes, Nicolas
2016	Charakterisierung und Modellierung viskoelastischer Eigenschaften von kurzglasfaserverstärkten Thermoplasten mit Faser-Matrix Interphase	Schöneich, Marc Max
2016	Size effects in small-scale structures of body-centered cubic metals	Torrents Abad, Oscar
2016	Blind speech separation in distant speech recognition front-end processing	Mahdian Toroghi, Rahil
2016	M2 macrophages as therapeutic targets : characterization and yeast-based gene delivery	Seif, Michelle
2016	Cross-lingual transfer of semantic role labeling models	Kozhevnikov, Mikhail
2016	Variational surface reconstruction	Schroers, Christopher
2016	Articulated people detection and pose estimation in challenging real world environments	Pishchulin, Leonid
2016	Sound semantics of a high-level language with interprocessor interrupts	Pentchev, Hristo
2016	Dynamic and groupwise statistical analysis of 3D faces	Bolkart, Timo
2016	Computational methods for breath metabolomics in clinical diagnostics	Hauschild, Anne-Christin