Wolfram Menzel

from Wikipedia, the free encyclopedia
Wolfram Menzel

Wolfram Menzel (* 1933 in Marienbad ) is a computer scientist and mathematician who worked in the field of theoretical computer science at the University of Karlsruhe until his retirement in 2001 .

Life

Menzel was born in Marienbad , in the Czech Republic , in 1933 . During the Second World War the family moved to Eger (Cheb) in the Czech Republic. There he attended a grammar school , but regular bombings from October 1944 made it impossible to graduate. He continued his education in Bavaria and later Hesse ; in Darmstadt he joined then in 1952 his Abitur from. He then studied mathematics , physics and philosophy in Frankfurt am Main , where he received his diploma in mathematics in 1956 and a doctorate in group theory in 1959 . From 1965 Menzel was a research associate at the Institute for Message Processing and Transmission of the University of Karlsruhe. In 1969 he completed his habilitation there for the subject of computer science and from 1972 taught in the field of theoretical computer science. Menzel issued the issue in October 2001 and still lives near Karlsruhe today .

Publications

Mathematics and computer science

Menzel's previous scientific publications are:

  • Via the subgroup association of an Abelian operator group. Part I: m-associations. W. Menzel. Math. Journal 74, 39-51. 1960
  • About the subgroup lattice of an Abelian operator group, Part II: Distributive and m-lattice of an Abelian operator group. W. Menzel. Math. Journal 74, 52-65. 1960
  • A criterion for the distributivity of the subgroup lattice of an Abelian operator group. W. Menzel. Math. Journal 75, 271-276. 1960
  • For the technical simulability of consciousness. W. Menzel. In: S. Moser, SJ Schmidt (eds.): Information and communication, 23rd International University Weeks Alpbach, Oldenbourg Verlag, Munich Vienna. 1968
  • Theory of learning systems. Springer Verlag, Berlin Heidelberg New York. W. Menzel. 1970
  • An Extension of the Theory of Learning Systems. W. Menzel. Acta Informatica 2, 357-381. 1973
  • About difficulties with names. University of Karlsruhe, Faculty of Computer Science. 1975
  • Embedding Properties of Total Recursive Functions. W. Maier, W. Menzel, V. Sperschneider. Journal for math. Logic and Foundations of Mathematics 28, 565–574. 1982
  • Universal Automata with Uniform Bounds on Simulation Time. W. Menzel and V. Sperschneider. Information and Control 52, 19-35. 1982
  • Recursively Enumerable Extensions of R1 by Finite Functions. W. Menzel and V. Sperschneider. Lecture Notes of Computer Science, LNCS 171, 62-76. Springer publishing house. 1984
  • Attempt to analyze the philosophy of language: reflection and recursion. In: HM Gauger, H. Heckmann (eds.): We speak differently. Why computers can't talk. S. Fischer Verlag, Frankfurt. 1987
  • Program verification and artificial intelligence. W. Menzel and W. Stephan. In: H. Henn (Ed.): Technology, growth and employment. Festschrift for Lothar Späth. Springer Verlag, 256–263. 1987
  • The Karlsruhe Interactive Verifier (KIV) - An overview. M. Heisel, W. Menzel, W. Reif. In: H. Kersten (Ed.): Safe software - formal specification and verification of trustworthy systems. Hüthig Verlag, Heidelberg. 172-193. 1990
  • Thinking machine. On the history and disputes about artificial intelligence. In: Evangelische Akademie Baden (ed.): Herrenalber Protocols 85, 80–95. 1992
  • HARMONET: A Neural Net for Harmonizing Chorals in the Style of JS Bach. H. Hild, J. Feulner, W. Menzel. Advances in Neural Information Processing 4 (NIPS4), 267-274. 1992
  • Integrating Automated and Interactive Theorem Proving. W. Ahrendt, B. Beckert, R. Hähnle, W Menzel, W. Reif, G. Schellhorn, PH Schmitt. In: W. Bibel, PH Schmitt (Ed.), Automated Deduction - A Basis for Applications, vol. II, Kluwer Verlag, 97-116. 1998
  • Learning Musical Structure and Style with Neural Networks. H. Hörnel, W Menzel. Computer Music Journal 22, vol. 4, 44-62. 1998
  • Problem Solving with Neural Networks. W. Menzel. In: U. Ratsch, MM Richter, I.-O. Stamatescu (Ed.), Intelligence and Artificial Intelligence - An Interdisciplinary Debate. Springer, 163-177. 1998
  • Neural networks for forecasting financial time series and sales figures. W. Menzel. In: G. Bol, G. Nakhaeizadeh, K.-H. Vollmer (Ed.), Datamining and Computational Finance. Physika-Verlag, 95-114. 2000
  • Baysian Learning for Sales Rates Prediction for Thousands of Retailers. Th. Ragg, W. Menzel, W. Baum, M. Wigbers. Neurocomputing 43, 127-144. 2002
  • Mathematics Approach to Learning. W. Menzel. In: R. Kühn, R. Menzel, W. Menzel, U. Ratsch, MM Richter, I.-O. Stamatescu (Ed.), Adaptivity and Learning - An Interdisciplinary Debate, Springer, 111–113. 2003
  • Inductive versus approximate learning. W. Menzel, F. Stephan. In: R. Kühn, R. Menzel, W. Menzel, U. Ratsch. MM Richter, I.-O. Stamatescu (Ed.), Adaptivity and Learning - An Interdisciplinary Debate, Springer, 187-209. 2003
  • Topological Aspects of Numberings. W. Menzel, F. Stephan. Mathematical Logic Quarterly 49, 129-149. 2003
  • Classes with Easily Learnable Subclasses. S. Jain, W. Menzel, F. Stephan. Information and Computation 190, 81-99. 2004
  • The RIN: An RNA Integrity Number for Assigning Integrity Values ​​to RNA Measurements. A. Schroeder, O. Mueller, S. Stocker, R. Salowsky, M. Leiber, M. Gassmann, S. Lightfoot, W. Menzel, M. Granzow, Th. Ragg. BMC Molecular Biology 2006, 7: 3. 2006
  • KIV: The Karlsruhe Interactive Verifier. W. Menzel. In: B. Reuse, R. Vollmar (eds.), Informatikforschung in Deutschland, Springer, 56–57 and 188–197. 2008

Literary publications

Between 1956 and 1985 , Menzel also published poems which appeared in various collections, magazines and anthologies. Two volumes of poetry containing these works have also been published. The first volume was published in 1985 in Karlsruhe under the title “der rand der spott”, the second volume “nicht or anders” in 2008 in Halle (Saale) , the second being a modified new edition of the first.

Web links

Individual evidence

  1. ↑ a b Fates and faces of Cheb: Prof. em. Dr. Wolfram Menzel.Retrieved May 20, 2016.
  2. ↑ Air raid alarm in Eger 1940 - 1945 Eger and Egerland. Retrieved May 24, 2016.
  3. ↑ Annual report of the Faculty of Computer Science 2001 University of Karlsruhe (TH) Faculty of Computer Science. Retrieved May 24, 2016.
personal data
SURNAME Menzel, Wolfram
BRIEF DESCRIPTION German theoretical computer scientist
DATE OF BIRTH 1933
PLACE OF BIRTH Marienbad