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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2008	Formal specification of a simple operating system	Bogan, Sebastian
2008	Path-line oriented visualization of dynamical flow fields	Shi, Kuangyu
2008	Estimation of a regression function by maxima of minima of linear functions	Clausen, Conny
2008	Compiler verification in the context of pervasive system verification	Leinenbach, Dirk Carsten
2008	Computational epigenetics : bioinformatic methods for epigenome prediction, DNA methylation mapping and cancer epigenetics	Bock, Christoph
2008	Interactive volume ray tracing	Marmitt, Gerd
2008	Real root isolation for exact and approximate polynomials using descartes' rule of signs	Eigenwillig, Arno
2008	Approximate information filtering in structured peer-to-peer networks	Zimmer, Christian
2008	Efficient main memory-based XML stream processing	Scherzinger, Stefanie
2008	Traversing large graphs in realistic settings	Ajwani, Deepak
2008	Changes and bugs mining and predicting development activities	Zimmermann, Thomas
2008	Development of computational methods for metabolic network analysis based on metabolomics data	Talwar, Priti
2008	Integrodifferential equations for multiscale wavelet shrinkage : the discrete case	Didas, Stephan; Steidl, Gabriele; Weickert, Joachim
2008	A variational approach to the registration of tensor-valued images	Barbieri, Sebastiano; Welk, Martin; Weickert, Joachim
2008	On finite element methods for 3D time–dependent convection–diffusion–reaction equations with small diffusion	John, Volker; Schmeyer, Ellen
2008	Stochastische Modellierung der durch Taxien beeinflussten Zellmigration und Simulation der extrazellulären Matrix	Groh, Andreas
2008	Advanced methods for relightable scene representations in image space	Fuchs, Martin
2008	Efficient shadow map filtering	Annen, Thomas
2008	Applying the Engineering Statechart Formalism to the evaluation of soft real-time in operating systems : a use case tailored modeling and analysis technique	Koenen-Dresp, Alexander
2008	Superposition and decision procedures back and forth	Hillenbrand, Thomas