Browse by Subject

All Subjects   Computer Science   Computer Science, General

Subcategories: There are no further subcategories

259 Results for this Subject

Subscribe to RSS feed for this result set

151. Model checking almost all paths can be less expensive than checking all paths

Schmalz, Matthias, Völzer, Hagen and Varacca, Daniele


Reports

152. Möglichkeiten und Grenzen optischer Datenspeicherung in frequenzselektiven Materialien

Plagemann, Bernd Helmut (1998)


Doctoral and Habilitation Theses

153. Molecular dynamics simulation of biomolecules

Scott, Walter Robert Peter (1998)


Doctoral and Habilitation Theses

154. Monitoring und Visualisierung von Aspekten in PROSE

Schoch, Philippe (2003)


Master Theses

155. Monitoring usage-control policies in distributed systems

Harvan, Matúš, Klaedtke, Felix, Zălinescu, Eugen and Basin, David A. (2011)


Reports

156. Multi agent room simulation for early stage building layout design

Voellmy, Andreas (2003)


Master Theses

157. Multilevel preconditioners for solving eigenvalue problems occuring in the design of resonant cavities

Arbenz, Peter and Geus, Roman (2003)


Reports

158. Multiverse data-flow control

Schindler, Benjamin, Waser, Jürgen, Fuchs, Raphael and Peikert, Ronny (2011)


Reports

159. NADABS

Slaviša, Maslić (2004)


Master Theses

160. New algorithms for the duplication-loss model

Hallett, M.T. and Lagergren, Jens (1999)


Reports

161. Noisy data make the partial digest problem NP-hard

Cieliebak, Mark, Eidenbenz, Stephan and Penna, Paolo (2002)


Reports

162. Nonparametric Bayesian Image Segmentation

Orbanz, Peter and Buhmann, Joachim M. (2005)


Reports

163. Obstacles in pedestrian simulations

Stucki, Pascal (2003)


Master Theses

164. OmniTour

Saurer, Olivier (2009)


Master Theses

165. On a Parallel Multilevel Preconditioned Maxwell Eigensolver

Arbenz, Peter, Bečka, Martin, Geus, Roman, Hetmaniuk, Ulrich and Mengotti, Tiziano (2004)


Reports

166. On lattice reduction for polynomial matrices

Mulders, Thom and Storjohann, Arne (2000)


Reports

167. Online algorithms with Advice*

Bröckenhauer, Hans-Joachim, Komm, Dennis, Královič, Rastislav, Královič, Richard and Mömke, Tobias (2009)


Reports

168. Online dominating set and variations on restricted graph classes

Eidenbenz, Stephan (2002)


Reports

169. Online local gain adaption for multi-layer perceptions

Schraudolph, Nicol (1998)


Reports

170. On shunting over a hump

Jacob, Riko


Reports

171. On the advice complexity of the k-server problem

Böckenbauer, Hans- Joachim, Komm, Dennis, Královič, Rastislav and Královič, Richard (2010)


Reports

172. On the approximation of special instances of minimum topic-connected overlay

Steinová, Monika (2010)


Reports

173. On the approximation of the minimum maximum stretch tree problem

Boksberger, Philipp, Kuhn, Fabian and Wattenhofer, Roger (2003)


Reports

174. On the rectilinear crossing number of complete graphs

Wagner, Uli (2002)


Reports

175. On the security and privacy risks in cochlear implants

Čapkun Srdjan and Bodmer Daniel (2010)


Reports