80 Results for (keywords_en:THEORY OF PROGRAMMING)

Subscribe to RSS feed for this result set

51. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. and Drossopoulou, Sophia (2012)


Reports

52. Efficient software tools for control and analysis of hybrid systems

Kvasnica, Michal (2008)


Doctoral and Habilitation Theses

53. The counting pyramid

Wattenhofer, Roger and Widmayer, Peter (1998)


Reports

54. Theory of computation as a vehicle for teaching fundamental concepts of computer science

Reichert, Raimond (2003)


Doctoral and Habilitation Theses

55. Multivariate Auswahl von Steuer- und Messvariablen für den Entwurf von Mehrgrössenregelungen

Keller, Jürg Peter (1989)


Doctoral and Habilitation Theses

56. Channel coding LP decoding and compressed sensing LP decoding

Dimakis, Alexandros G., Smarandache, Roxana and Vontobel, Pascal O. (2010)


Conference Contributions

57. Reusable mathematical models

Widmer, Tobias K. (2004)


Master Theses

58. A weighted-graph optimization approach for automatic location of forest road networks

Stückelberger, Jürg (2007)


Doctoral and Habilitation Theses

59. Bit error rate is convex at high SNR

Loyka, Sergey, Kostina, Victoria and Gagno, Francois (2010)


Conference Contributions

60. Enabling collaborative network security with privacy-preserving data aggregation

Burkhart, Martin (2011)


Doctoral and Habilitation Theses

61. Graph algebras, algebraic and denotational semantics

Maeder, Roman E., Maeder, Roman E. and Maeder, Roman E. (1986)


Doctoral and Habilitation Theses

62. Call admission control and on-line interval coloring

Adamy, Udo (2003)


Doctoral and Habilitation Theses

63. Unique sink orientations of cubes

Schurr, Ingo Andreas (2004)


Doctoral and Habilitation Theses

64. Constrained control

Barić, Miroslav (2008)


Doctoral and Habilitation Theses

65. Probabilistic role mining

Frank, Mario (2011)


Doctoral and Habilitation Theses

66. The P-matrix linear complementarity problem

Rüst, Leonard Yves (2007)


Doctoral and Habilitation Theses

67. Algorithmic approaches for solving hard problems

Mömke, Tobias (2009)


Doctoral and Habilitation Theses

68. Bio-inspired optimization algorithms for engineering applications

Müller, Sibylle D. (2002)


Doctoral and Habilitation Theses

69. AMOR - an agent for assisting monitoring, optimization and (re-)design in factory design

Politze, Daniel P., Jufer, Noëlle, Bathelt, Jens, Kunz, Andreas and Wegener, Konrad (2010)


Conference Contributions

70. On locality and related problems

Vicari, Elias (2008)


Doctoral and Habilitation Theses

71. Smallest enclosing balls of balls

Fischer, Kaspar (2005)


Doctoral and Habilitation Theses

72. A network implementation of a Markov model

Viretta, Alessandro Usseglio (2003)


Doctoral and Habilitation Theses

73. Methode zur Durchführung betrieblicher Simulationen

Acél, Peter Paul (1996)


Doctoral and Habilitation Theses

74. Capturing human activity spaces

Axhausen, Kay W., Rai, R.K., Rieser, M., Balmer, M., Vaze, V.S. and Schönfelder, S. (2006)


Reports

75. The optimal martingale measure for investors with exponential utility function

Steiger, Gallus Johannes (2005)


Doctoral and Habilitation Theses