937 Results for this Organisational Unit

Subscribe to RSS feed for this result set

Page 1 of 38

1 2 3 4 5 Next Page › Last Page »

1. A Bernstein-Bézier based approach to soft tissue simulation

Roth, Samuel Hans Martin, Gross, Markus H., Turello, Silvio and Carls, Friedrich R. (Friedrich Robert) (1998)


Reports

2. Abstract objective function graphs on the 3-cube

Gärtner, Bernd and Kaibel, Volker (1998)


Reports

3. A bus-based on-chip message passing network

Liu, Ling (2009)


Reports

4. A case study of a formalized security architecture

Brucker, Achim D.


Conference Contributions

5. Accountability in optimistic non-repudiation protocols

Torabi Dashti, Mohammad (2010)


Reports

6. Accurate Theorem Proving for Program Verification

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)


Reports

7. A Collection of Pascal programs

Wirth, Niklaus (1979)


Reports

8. A comparative study of programmer-written and automatically inferred contracts

Polikarpova, Nadezhda, Ciupa, Ilinca and Meyer, Bertrand


Reports

9. A comparison of algorithms for modal analysis in the absence of a sparse direct method

Arbenz, Peter, Lehoucq, Richard B. and Zollinger, Aaron (2003)


Reports

10. A comparison of CS student backgrounds at two universities

Pedroni, Michaela and Oriol, Manuel (2009)


Reports

11. A comparison of numerical implementations of the Eigenstate expansion method for quantum molecular dynamics simulations

Arbenz, Peter, Bröker, Oliver, Chinellato, Oscar, Gander, Walter, Geus, Roman and Strebel, Rolf (2000)


Reports

12. A comparison of parallel solvers for diagonally dominant and general narrow-banded linear systems

Arbenz, Peter, Cleary, Andrew, Dongarra, Jack and Hegland, Markus (1998)


Reports

13. A computer system for model helicopter flight control

Sanvido, Marco Aurelio Antonio (1999)


Reports

14. A computer system for model helicopter flight control

Wirth, Niklaus (1998)


Reports

15. A computer system for model helicopter flight control

Wirth, Niklaus (1999)


Reports

16. A computer system for model helicopter flight control

Wirth, Niklaus (1999)


Reports

17. A constrained eigenvalue problem

Gander, Walter, Golub, Gene Howard and Matt, Urs von (1988)


Reports

18. A Contribution to solving large linear systems

Bucher, W. (1976)


Reports

19. A 12-core processor implementation on FPGA

Liu, Ling (2009)


Reports

20. A cost-flexible approach to transforming a legacy PL/I application to perform an asynchronous remote service call

Ambrošová, Lucia (2011)


Master Theses

21. A Cotangent Laplacian for Images as Surfaces

Jacobson, Alec and Sorkine-Hornung, Olga (2012)


Reports

22. Adaptive quadrature - revisited

Gander, Walter and Gautschi, Walter (1998)


Reports

23. A DDR2 SDRAM interface for Xilinx ML505 evaluation platform

Liu, Lisa (Ling) (2009)


Reports

24. A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness

Kassios, Ioannis T. and Kritikos, Eleftherios (2012)


Reports

25. A discourse on the Pivot rules random edge and random facet

Tschirschnitz, Falk (2000)


Reports


Page 1 of 38

1 2 3 4 5 Next Page › Last Page »