
- Mathematisches Kolloquium Montag, 23. Mai 2011
- Mathematisches Kolloquium Montag, 07. Mrz 2011
- List of Publications Reviewed Journal Papers
- 1 Research Group on Computer Networks and Distributed Systems
- List of Masters Theses 1. O. Altuner. Compressed graph representation based on lossy coding. Master's thesis,
- List of Publications Horst Bunke
- Eulers Polyedersatz Ecken -Kanten + Flchen = 2
- Richtlinien betreffend amtlich beglaubigte Dokumente und ber-vom 1. September 2007
- Data Privacy for ALC Knowledge Bases Ph. Stouppa, Th. Studer
- 1 Research Group on Computer Networks and Distributed Systems
- Kontoantrag zur SUN-Benutzung am IAM Persnliche Angaben
- List of Technical Report and Unreviewed Papers 1. M. Basu, H. Bunke, and A. Del Bimbo. Guest editor's introduction to the special section
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report 2003/04 Research Group on Computer Networks and Distributed
- Research Report 1999 of the Research Group "Computer Networks and Distributed Systems"
- Mathematisches Kolloquium Montag, 28. Mrz 2011
- Research Report of the Research Group "Computer Networks and Distributed Systems"
- Research Report 2000 Research Group "Computer Networks and Distributed
- Ultrarigid tangents of sub-Riemannian nilpotent groups E. Le Donne, A. Ottazzi, and B. Warhurst
- How to Normalize the Jay Dieter Probst
- Proof, Computation, Complexity PCC 2010 International Workshop, Proceedings
- Explicit Evidence Systems with Common Knowledge
- A finitary cut-free axiomatization for stratified modal fixed point logic
- Canonical Databases and Certain Answers under Key Constraints
- List of Masters Theses 1. T. Wuterich. Schreibererkennung durch Vergleich individueller Schriftzeichen. Master's
- List of Publications Reviewed Journal Papers
- A Formal Model of Data Privacy Phiniki Stouppa and Thomas Studer
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report 2002/03 Research Group on Computer Networks and Distributed
- IAM Bibliothek Datum: 12.03.04 Neubrckstrasse 10 Signaturliste
- IAM Bibliothek Datum: 09.03.04 Neubrckstrasse 10 Urheberliste
- German ChapterSwitzerland 15. ITG/GI -Fachtagung
- The effect of projections on dimension in the Heisenberg Z. M. Balogh, E. Durand Cartagena, K. Fassler, P. Mattila, and J. T. Tyson
- Discontinuous Galerkin methods for problems with Dirac delta source
- Seifenhute: Minimalflchen Im Jahr 1743 erkannte Euler dass sich die Gesetze der Mechanik aus einem allgemeinen
- Mathematisches Kolloquium Montag, 04. April 2011
- Kontoantrag zur Benutzung des Linux Pool am ExWi Persnliche Angaben
- Mathematisches Kolloquium Montag, 21. Mrz 2011
- Mixed hp-Discontinuous Galerkin FEM for Linear Elasticity in Three Dimensions
- Extending the system T0 of explicit mathematics: the limit and Mahlo axioms
- 1 Research Group on Computer Networks and Distributed Systems
- Cut-free systems for the propositional modal Gerhard Jager and Mathis Kretz and Thomas Studer
- Research Report 2001 Research Group "Computer Networks and Distributed
- bung Informationskompetenz Osteuropa Datenbankrecherche
- Justifications for Common Knowledge Samuel Bucheli --Roman Kuznets --Thomas Studer
- Curriculum Vitae Name: Dr. Horst O. Bunke, Professor of Computer Science
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report 2002 Research Group "Computer Networks and Distributed
- Deduction Chains for Common Knowledge Mathis Kretz a,1
- List of Publications Horst Bunke
- 1UniPress 149/2011 50 Jahre P olitikwissenschaft
- List of PhD Theses 1. R. Bertolami. Ensemble Methods for Offline Handwritten Text Line Recognition. PhD
- BENEFRI Universits de Berne, Neuchtel et Fribourg
- Dedicated to my late grandfather Making a Living in Uncertainty
- Vietnamese government officials and cooperating NGOs generated the
- A Total Variation Discontinuous Galerkin Approach for Image Restoration
- Agentur fr ffentlichkeitsarbeit. Wir sind eine Full-Service Agentur in den Bereichen Lifestyle / Tourismus.
- RESEARCH Open Access Indigenous fodder trees can increase grazing
- Philosophisch-humanwissenschaftliche Fakultt
- Nourriture: facteur d'adhsion des patients tuberculeux au traitement
- Escuela secundaria y pobreza: Estrategias para una educacin inclusiva
- Bessere Lebensbedingungen fr Lateinamerika Stiftung Vivamos Mejor, Fabrikstrasse 31, Postfach 873, CH-3000 Bern 9
- An die Studienanfngerinnen und anfnger im Bachelor vom Herbst 2011 mit Mathematik als Major oder Minor
- Curriculum Vitae Name Dr. Horst O. Bunke, Prof. Em.
- Translation Wir sind ein international erfolgreiches Dienstleistungs-und Software-
- Conference Program Venue: Institute of Mathematics, University of Bern
- Admissibility in De Morgan algebras G. Metcalfe and Ch. Rothlisberger
- Mathematisches Kolloquium Montag, 24. Oktober 2011
- Proof theory G. Metcalfe
- List of Publications Horst Bunke
- Modulus method and radial stretch map in the Heisenberg Z. M. Balogh, K. Fassler, and I. Platis
- Bipartite graphs and combinatorial adjacency Research Report 2011-09
- 1 Research Group on Computer Networks and Distributed Systems
- Mathematisches Kolloquium Montag, 17. Oktober 2011
- Mathematisches Kolloquium Montag, 26. September 2011
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report 2000 Research Group "Computer Networks and Distributed
- Research Report 2002/03 Research Group on Computer Networks and Distributed
- Research Report 2001 Research Group "Computer Networks and Distributed
- Research Report 2002 Research Group "Computer Networks and Distributed
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report 2003/04 Research Group on Computer Networks and Distributed
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report of the Research Group "Computer Networks and Distributed Systems"
- 1 Research Group on Computer Networks and Distributed Systems
- 1 Research Group on Computer Networks and Distributed Systems
- 1 Research Group on Computer Networks and Distributed Systems
- 1 Research Group on Computer Networks and Distributed Systems
- Research Report 1999 of the Research Group "Computer Networks and Distributed Systems"