945 Results for this Organisational Unit

Subscribe to RSS feed for this result set

901. Using nP-based analysis in information retrieval

Margoulis, Eugene (1992)


Reports

902. Using optimistic atomic broadcast in transaction processing systems

Kemme, Bettina, Pedone, Fernando, Alonso, Gustavo and Schiper, André (1999)


Reports

903. Using the generalised substitution language for event-B semantics

Hoang, Thai Son and Fürst, Andreas (2010)


Reports

904. Using the local area network magnet

Wagner, B. and Hoppe, Jirka (1983)


Reports

905. Using traveling salesman problem algorithms for evolutionary tree construction

Korostensky, Chantal and Gonnet, Gaston H. (1999)


Reports

906. UWB-based secure ranging and localization

Tippenhauer, Nils Ole and Capkun, Srdjan


Reports

907. Variant-based competitive parallel execution of sequential programs

Trachsel, Oliver and Gross, Thomas K.R. (2010)


Reports

908. Verification Condition Generation for Permission Logics with Abstraction Functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)


Reports

909. Verification condition generation for permission logics with abstract predicates and abstraction functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)


Reports

910. Verifying C++ with STL Containers via Predicate Abstraction

Blanc, Nicolas, Kröning, Daniel and Groce, Alex (2006)


Reports

911. Video-based rendering techniques

Germann, Marcel (2012)


Doctoral and Habilitation Theses

912. Virtual reality and geoinformation systems

Pajarola, Renato, Widmayer, Peter, Ohler, Thomas, Stucki, Peter and Szabo, Kornel (1997)


Reports

913. Virtual reality training system for patients with dementia

Buss, Bernhard (2009)


Master Theses

914. Visualization of multidimensional shape and texture features in laser range data using complex-valued Gabor wavelets

Gross, Markus H. and Koch, Rolf (1995)


Reports

915. Visualizing information on a sphere

Gross, Markus H., Sprenger, Thomas Carl and Finger, J. (1997)


Reports

916. VMkit: a lightweight hypervisor library for Barrelfish

Sandrini, Raffaele (2009)


Master Theses

917. Volumetric collision detection for derformable objects

Heidelberger, Bruno, Teschner, Matthias and Gross, Markus H. (2003)


Reports

918. Voronoi diagrams of moving points

Albers, Gerhard, Guibas, Leonidas John, Mitchell, Joseph S.B. and Roos, Thomas (1995)


Reports

919. VSTTE 2010 workshop proceedings

Joshi, Rajeev, Margaria, Tiziana, Müller, Peter, Naumann, David and Yang, Hongseok (2010)


Reports

920. Was gibt es für Zeitzeugen des Relaisrechners Z4 von Konrad Zuse und des Röhrenrechners ERMETH?

Bruderer, Herbert (2011)


Reports

921. Was gibt es für Zeitzeugen des Relaisrechners Z4 von Konrad Zuse und des Röhrenrechners ERMETH?

Bruderer, Herbert (2011)


Reports

922. Weakly supervised semantic segmentation of natural images

Vezhnevets, Alexander (2012)


Doctoral and Habilitation Theses

923. WebParFE: a web interface for the high performance parallel finite element solver ParFE

Paranjape, Sumit, Kaufmann, Martin and Arbenz, Peter (2009)


Reports

924. 3-wertige Logiken und stabile Logik

Hösli, Brigitte (1992)


Reports

925. What cannot be computed locally!

Kuhn, Fabian, Moscibroda, Thomas and Wattenhofer, Roger (2004)


Reports