Dr. Björn Elmar Macek

Hinweis: Björn Elmar Macek ist seit dem 30.06.2015 nicht mehr im Fachgebiet beschäftigt.

Dr. Björn Elmar Macek E-Mail: macek@cs.uni-kassel.de

About me

I studied Computer Science at the Technical University of Ilmenau with major focus on complexity theory, databases and data streams. After my graduation i got experienced in the field of industrial web development and consulting and the design and implementation of databases. In September 2009 I joined the Knowledge and Data Engineering team. Currently I am working on the Venus project.

Research Interests

I am interested in the following topics of research:

• Diffusion
• Recommendation Systems
• Semantic web
• Community analysis
• Data Mining Methods in general

Publications

2014

• 1.

  Atzmueller, M., Becker, M., Kibanov, M., Scholz, C., Doerfel, S., Hotho, A., Macek, B.-E., Mitzlaff, F., Mueller, J., Stumme, G.: Ubicon and its applications for ubiquitous social computing. New Review of Hypermedia and Multimedia. 20, 53–77 (2014). https://doi.org/10.1080/13614568.2013.873488.

  URLBibTeXEndNote

  @article{doi:10.1080/13614568.2013.873488,
  author = {Atzmueller, Martin and Becker, Martin and Kibanov, Mark and Scholz, Christoph and Doerfel, Stephan and Hotho, Andreas and Macek, Bjoern-Elmar and Mitzlaff, Folke and Mueller, Juergen and Stumme, Gerd},
  journal = {New Review of Hypermedia and Multimedia},
  keywords = {Ubiquitous},
  number = 1,
  pages = {53-77},
  title = {Ubicon and its applications for ubiquitous social computing},
  volume = 20,
  year = 2014
  }
  

  %0 Journal Article
  %1 doi:10.1080/13614568.2013.873488
  %A Atzmueller, Martin
  %A Becker, Martin
  %A Kibanov, Mark
  %A Scholz, Christoph
  %A Doerfel, Stephan
  %A Hotho, Andreas
  %A Macek, Bjoern-Elmar
  %A Mitzlaff, Folke
  %A Mueller, Juergen
  %A Stumme, Gerd
  %D 2014
  %J New Review of Hypermedia and Multimedia
  %N 1
  %P 53-77
  %R 10.1080/13614568.2013.873488
  %T Ubicon and its applications for ubiquitous social computing
  %U /brokenurl# http://dx.doi.org/10.1080/13614568.2013.873488
  %V 20
  

• 1.

  Scholz, C., Macek, B.-E., Atzmueller, M., Doerfel, S., Stumme, G.: Mining Social Links for Ubiquitous Knowledge Engineering. In: David, K., Geihs, K., Leimeister, J.M., Roßnagel, A., Schmidt, L., Stumme, G., and Wacker, A. (eds.) Socio-technical Design of Ubiquitous Computing Systems. pp. 109–129. Springer International Publishing (2014). https://doi.org/10.1007/978-3-319-05044-7_7.

  URLBibTeXEndNote

  Exploiting social links is an important issue for enhancing ubiquitous knowledge engineering because they are a substitute for a wide range of properties depending on which relation spans the link: in case of human face-to-face contacts, similar locations or potential knowledge transfer for the people in contact can be derived. This information can be used to improve the quality of ubiquitous services as localization or recommendation systems. We capture this information by deploying active RFID setups at a variety of contexts. In this chapter, we focus especially on working groups and conferences and discuss and evaluate the achieved improvements using the gathered data.

  @incollection{scholz2014mining,
  abstract = {Exploiting social links is an important issue for enhancing ubiquitous knowledge engineering because they are a substitute for a wide range of properties depending on which relation spans the link: in case of human face-to-face contacts, similar locations or potential knowledge transfer for the people in contact can be derived. This information can be used to improve the quality of ubiquitous services as localization or recommendation systems. We capture this information by deploying active RFID setups at a variety of contexts. In this chapter, we focus especially on working groups and conferences and discuss and evaluate the achieved improvements using the gathered data.},
  author = {Scholz, Christoph and Macek, Bjoern-Elmar and Atzmueller, Martin and Doerfel, Stephan and Stumme, Gerd},
  booktitle = {Socio-technical Design of Ubiquitous Computing Systems},
  editor = {David, Klaus and Geihs, Kurt and Leimeister, Jan Marco and Roßnagel, Alexander and Schmidt, Ludger and Stumme, Gerd and Wacker, Arno},
  keywords = {myown},
  pages = {109-129},
  publisher = {Springer International Publishing},
  title = {Mining Social Links for Ubiquitous Knowledge Engineering},
  year = 2014
  }
  

  %0 Book Section
  %1 scholz2014mining
  %A Scholz, Christoph
  %A Macek, Bjoern-Elmar
  %A Atzmueller, Martin
  %A Doerfel, Stephan
  %A Stumme, Gerd
  %B Socio-technical Design of Ubiquitous Computing Systems
  %D 2014
  %E David, Klaus
  %E Geihs, Kurt
  %E Leimeister, Jan Marco
  %E Roßnagel, Alexander
  %E Schmidt, Ludger
  %E Stumme, Gerd
  %E Wacker, Arno
  %I Springer International Publishing
  %P 109-129
  %R 10.1007/978-3-319-05044-7_7
  %T Mining Social Links for Ubiquitous Knowledge Engineering
  %U http://dx.doi.org/10.1007/978-3-319-05044-7_7
  %X Exploiting social links is an important issue for enhancing ubiquitous knowledge engineering because they are a substitute for a wide range of properties depending on which relation spans the link: in case of human face-to-face contacts, similar locations or potential knowledge transfer for the people in contact can be derived. This information can be used to improve the quality of ubiquitous services as localization or recommendation systems. We capture this information by deploying active RFID setups at a variety of contexts. In this chapter, we focus especially on working groups and conferences and discuss and evaluate the achieved improvements using the gathered data.
  %@ 978-3-319-05043-0
  

• 1.

  Atzmüller, M., Baraki, H., Behrenbruch, K., Comes, D., Evers, C., Hoffmann, A., Hoffmann, H., Jandt, S., Kibanov, M., Kieselmann, O., Kniewel, R., König, I., Macek, B., Niemczyk, S., Scholz, C., Schuldt, M., Schulz, T., Skistims, H., Söllner, M., Voigtmann, C., Witsch, A., Zirfas, J.: Die VENUS-Entwicklungsmethode - Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung. Kassel University Press (2014).

  URLBibTeXEndNote

  @techreport{atzmuller2014venusentwicklungsmethode,
  author = {Atzmüller, Martin and Baraki, Harun and Behrenbruch, Kay and Comes, Diana and Evers, Christoph and Hoffmann, Axel and Hoffmann, Holger and Jandt, Silke and Kibanov, Mark and Kieselmann, Olga and Kniewel, Romy and König, Immanuel and Macek, Björn‐Elmar and Niemczyk, Stefan and Scholz, Christoph and Schuldt, Michaela and Schulz, Thomas and Skistims, Hendrik and Söllner, Matthias and Voigtmann, Christian and Witsch, Andreas and Zirfas, Julia},
  editor = {Hoffmann, Axel and Niemczyk, Stefan},
  institution = {Zentrum für Informationstechnik‐Gestaltung (ITeG)},
  keywords = {myown},
  organization = {Kassel University},
  publisher = {Kassel University Press},
  title = {Die VENUS-Entwicklungsmethode - Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung},
  volume = 1,
  year = 2014
  }
  

  %0 Report
  %1 atzmuller2014venusentwicklungsmethode
  %A Atzmüller, Martin
  %A Baraki, Harun
  %A Behrenbruch, Kay
  %A Comes, Diana
  %A Evers, Christoph
  %A Hoffmann, Axel
  %A Hoffmann, Holger
  %A Jandt, Silke
  %A Kibanov, Mark
  %A Kieselmann, Olga
  %A Kniewel, Romy
  %A König, Immanuel
  %A Macek, Björn‐Elmar
  %A Niemczyk, Stefan
  %A Scholz, Christoph
  %A Schuldt, Michaela
  %A Schulz, Thomas
  %A Skistims, Hendrik
  %A Söllner, Matthias
  %A Voigtmann, Christian
  %A Witsch, Andreas
  %A Zirfas, Julia
  %D 2014
  %E Hoffmann, Axel
  %E Niemczyk, Stefan
  %I Kassel University Press
  %T Die VENUS-Entwicklungsmethode - Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung
  %U http://www.uni-kassel.de/upress/online/OpenAccess/978-3-86219-550-3.OpenAccess.pdf
  %V 1
  

• 1.

  Atzmueller, M., Behrenbruch, K., Hoffmann, A., Kibanov, M., Macek, B.-E., Scholz, C., Skistims, H., Söllner, M., Stumme, G.: Connect-U: A System for Enhancing Social Networking. In: David, K., Geihs, K., Leimeister, J.M., Roßnagel, A., Schmidt, L., Stumme, G., and Wacker, A. (eds.) Socio-technical Design of Ubiquitous Computing Systems. pp. 261–275. Springer International Publishing (2014). https://doi.org/10.1007/978-3-319-05044-7_15.

  URLBibTeXEndNote

  @incollection{year={2014},
  author = {Atzmueller, Martin and Behrenbruch, Kay and Hoffmann, Axel and Kibanov, Mark and Macek, Bjoern-Elmar and Scholz, Christoph and Skistims, Hendrik and Söllner, Matthias and Stumme, Gerd},
  booktitle = {Socio-technical Design of Ubiquitous Computing Systems},
  editor = {David, Klaus and Geihs, Kurt and Leimeister, Jan Marco and Roßnagel, Alexander and Schmidt, Ludger and Stumme, Gerd and Wacker, Arno},
  keywords = {Venus},
  pages = {261-275},
  publisher = {Springer International Publishing},
  title = {Connect-U: A System for Enhancing Social Networking},
  year = 2014
  }
  

  %0 Book Section
  %1 year={2014}
  %A Atzmueller, Martin
  %A Behrenbruch, Kay
  %A Hoffmann, Axel
  %A Kibanov, Mark
  %A Macek, Bjoern-Elmar
  %A Scholz, Christoph
  %A Skistims, Hendrik
  %A Söllner, Matthias
  %A Stumme, Gerd
  %B Socio-technical Design of Ubiquitous Computing Systems
  %D 2014
  %E David, Klaus
  %E Geihs, Kurt
  %E Leimeister, Jan Marco
  %E Roßnagel, Alexander
  %E Schmidt, Ludger
  %E Stumme, Gerd
  %E Wacker, Arno
  %I Springer International Publishing
  %P 261-275
  %R 10.1007/978-3-319-05044-7_15
  %T Connect-U: A System for Enhancing Social Networking
  %U http://dx.doi.org/10.1007/978-3-319-05044-7_15
  %@ 978-3-319-05043-0
  

• 1.

  Macek, B.-E., Atzmueller, M., Stumme, G.: {Predicting the Stability of User Interaction Ties in Twitter}. In: Proc. I-KNOW 2014. ACM Press, New York, NY, USA (2014).

  BibTeXEndNote

  @inproceedings{MAS:14,
  address = {New York, NY, USA},
  author = {Macek, Bjoern-Elmar and Atzmueller, Martin and Stumme, Gerd},
  booktitle = {Proc. I-KNOW 2014},
  keywords = {myown},
  publisher = {ACM Press},
  title = {{Predicting the Stability of User Interaction Ties in Twitter}},
  year = 2014
  }
  

  %0 Conference Paper
  %1 MAS:14
  %A Macek, Bjoern-Elmar
  %A Atzmueller, Martin
  %A Stumme, Gerd
  %B Proc. I-KNOW 2014
  %C New York, NY, USA
  %D 2014
  %I ACM Press
  %T {Predicting the Stability of User Interaction Ties in Twitter}
  

2013

• 1.

  Macek, B.-E., Atzmueller, M.: Visualizing the impact of time series data for predicting user interactions. In: Proceeding ASONAM ’13 Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. pp. 1477–1478. ACM New York (2013).

  BibTeXEndNote

  @inproceedings{bjornelmarmacek2013visualizing,
  author = {Macek, Björn-Elmar and Atzmueller, Martin},
  booktitle = {Proceeding ASONAM '13 Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining},
  keywords = {linkprediction},
  pages = {1477-1478},
  publisher = {ACM New York},
  title = {Visualizing the impact of time series data for predicting user interactions.},
  year = 2013
  }
  

  %0 Conference Paper
  %1 bjornelmarmacek2013visualizing
  %A Macek, Björn-Elmar
  %A Atzmueller, Martin
  %B Proceeding ASONAM '13 Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
  %D 2013
  %I ACM New York
  %P 1477-1478
  %T Visualizing the impact of time series data for predicting user interactions.
  

2012

• 1.

  Atzmueller, M., Becker, M., Doerfel, S., Kibanov, M., Hotho, A., Macek, B.-E., Mitzlaff, F., Mueller, J., Scholz, C., Stumme, G.: Ubicon: Observing Social and Physical Activities. In: IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2012, Besançon, France, 20-23 November, 2012. pp. 317–324. IEEE, Washington, DC, USA (2012). https://doi.org/10.1109/GreenCom.2012.75.

  URLBibTeXEndNote

  The connection of ubiquitous and social computing is an emerging research area which is combining two prominent areas of computer science. In this paper, we tackle this topic from different angles: We describe data mining methods for ubiquitous and social data, specifically focusing on physical and social activities, and provide exemplary analysis results. Furthermore, we give an overview on the Ubicon platform which provides a framework for the creation and hosting of ubiquitous and social applications for diverse tasks and projects. Ubicon features the collection and analysis of both physical and social activities of users for enabling inter-connected applications in ubiquitous and social contexts. We summarize three real-world systems built on top of Ubicon, and exemplarily discuss the according mining and analysis aspects.

  @inproceedings{mueller-2012,
  abstract = {The connection of ubiquitous and social computing is an emerging research area which is combining two prominent areas of computer science. In this paper, we tackle this topic from different angles: We describe data mining methods for ubiquitous and social data, specifically focusing on physical and social activities, and provide exemplary analysis results. Furthermore, we give an overview on the Ubicon platform which provides a framework for the creation and hosting of ubiquitous and social applications for diverse tasks and projects. Ubicon features the collection and analysis of both physical and social activities of users for enabling inter-connected applications in ubiquitous and social contexts. We summarize three real-world systems built on top of Ubicon, and exemplarily discuss the according mining and analysis aspects.},
  address = {Washington, DC, USA},
  author = {Atzmueller, Martin and Becker, Martin and Doerfel, Stephan and Kibanov, Mark and Hotho, Andreas and Macek, Björn-Elmar and Mitzlaff, Folke and Mueller, Juergen and Scholz, Christoph and Stumme, Gerd},
  booktitle = {IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2012, Besançon, France, 20-23 November, 2012},
  keywords = {myown},
  pages = {317--324},
  publisher = {IEEE},
  title = {Ubicon: Observing Social and Physical Activities},
  year = 2012
  }
  

  %0 Conference Paper
  %1 mueller-2012
  %A Atzmueller, Martin
  %A Becker, Martin
  %A Doerfel, Stephan
  %A Kibanov, Mark
  %A Hotho, Andreas
  %A Macek, Björn-Elmar
  %A Mitzlaff, Folke
  %A Mueller, Juergen
  %A Scholz, Christoph
  %A Stumme, Gerd
  %B IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2012, Besançon, France, 20-23 November, 2012
  %C Washington, DC, USA
  %D 2012
  %I IEEE
  %P 317--324
  %R 10.1109/GreenCom.2012.75
  %T Ubicon: Observing Social and Physical Activities
  %U http://doi.ieeecomputersociety.org/10.1109/GreenCom.2012.75
  %X The connection of ubiquitous and social computing is an emerging research area which is combining two prominent areas of computer science. In this paper, we tackle this topic from different angles: We describe data mining methods for ubiquitous and social data, specifically focusing on physical and social activities, and provide exemplary analysis results. Furthermore, we give an overview on the Ubicon platform which provides a framework for the creation and hosting of ubiquitous and social applications for diverse tasks and projects. Ubicon features the collection and analysis of both physical and social activities of users for enabling inter-connected applications in ubiquitous and social contexts. We summarize three real-world systems built on top of Ubicon, and exemplarily discuss the according mining and analysis aspects.
  

• 1.

  Atzmueller, M., Becker, M., Doerfel, S., Kibanov, M., Hotho, A., Macek, B.-E., Mitzlaff, F., Mueller, J., Scholz, C., Stumme, G.: Ubicon: Observing Social and Physical Activities. In: Proc. 4th IEEE Intl. Conf. on Cyber, Physical and Social Computing (CPSCom 2012) (2012).

  BibTeXEndNote

  @inproceedings{ABDHKMMMSS:12,
  author = {Atzmueller, Martin and Becker, Martin and Doerfel, Stephan and Kibanov, Mark and Hotho, Andreas and Macek, Björn-Elmar and Mitzlaff, Folke and Mueller, Juergen and Scholz, Christoph and Stumme, Gerd},
  booktitle = {Proc. 4th IEEE Intl. Conf. on Cyber, Physical and Social Computing (CPSCom 2012)},
  keywords = {itegpub},
  title = {Ubicon: Observing Social and Physical Activities},
  year = 2012
  }
  

  %0 Conference Paper
  %1 ABDHKMMMSS:12
  %A Atzmueller, Martin
  %A Becker, Martin
  %A Doerfel, Stephan
  %A Kibanov, Mark
  %A Hotho, Andreas
  %A Macek, Björn-Elmar
  %A Mitzlaff, Folke
  %A Mueller, Juergen
  %A Scholz, Christoph
  %A Stumme, Gerd
  %B Proc. 4th IEEE Intl. Conf. on Cyber, Physical and Social Computing (CPSCom 2012)
  %D 2012
  %T Ubicon: Observing Social and Physical Activities
  

• 1.

  Macek, B.E., Scholz, C., Atzmueller, M., Stumme, G.: Anatomy of a conference. In: Munson, E.V. and Strohmaier, M. (eds.) Proceedings of the 23rd ACM conference on Hypertext and social media. pp. 245–254. ACM (2012).

  URLBibTeXEndNote

  @inproceedings{conf/ht/MacekSAS12,
  author = {Macek, Bjoern Elmar and Scholz, Christoph and Atzmueller, Martin and Stumme, Gerd},
  booktitle = {Proceedings of the 23rd ACM conference on Hypertext and social media},
  crossref = {conf/ht/2012},
  editor = {Munson, Ethan V. and Strohmaier, Markus},
  keywords = {itegpub},
  pages = {245-254},
  publisher = {ACM},
  title = {Anatomy of a conference.},
  year = 2012
  }
  

  %0 Conference Paper
  %1 conf/ht/MacekSAS12
  %A Macek, Bjoern Elmar
  %A Scholz, Christoph
  %A Atzmueller, Martin
  %A Stumme, Gerd
  %B Proceedings of the 23rd ACM conference on Hypertext and social media
  %D 2012
  %E Munson, Ethan V.
  %E Strohmaier, Markus
  %I ACM
  %P 245-254
  %T Anatomy of a conference.
  %U http://dblp.uni-trier.de/db/conf/ht/ht2012.html#MacekSAS12
  %@ 978-1-4503-1335-3
  

2011

• 1.

  Atzmüller, M., Benz, D., Doerfel, S., Hotho, A., Jäschke, R., Macek, B.-E., {Mitzlaff, F., Stumme, G.: Enhancing Social Interactions at Conferences. it - Information Technology, (53)3:101--107, Oldenbourg Wissenschaftsverlag GmbH, May 2011. (2011).

  BibTeXEndNote

  @article{L3S_518093b0d815c42951de5634127244d1b677c06f,
  author = {Atzmüller, Martin and Benz, Dominik and Doerfel, Stephan and Hotho, Andreas and Jäschke, Robert and Macek, Björn-Elmar and {Mitzlaff, Folke}, Christoph Scholz and Stumme, Gerd},
  journal = {it - Information Technology, (53)3:101--107, Oldenbourg Wissenschaftsverlag GmbH, May 2011},
  keywords = {myown},
  title = {Enhancing Social Interactions at Conferences},
  year = 2011
  }
  

  %0 Journal Article
  %1 L3S_518093b0d815c42951de5634127244d1b677c06f
  %A Atzmüller, Martin
  %A Benz, Dominik
  %A Doerfel, Stephan
  %A Hotho, Andreas
  %A Jäschke, Robert
  %A Macek, Björn-Elmar
  %A {Mitzlaff, Folke}
  %A Stumme, Gerd
  %D 2011
  %J it - Information Technology, (53)3:101--107, Oldenbourg Wissenschaftsverlag GmbH, May 2011
  %T Enhancing Social Interactions at Conferences
  

• 1.

  {Björn-Elmar Macek, M.A.: Profile Mining in CVS-Logs and Face-to-Face Contacts for Recommending Software Developers. In: Proc. of the third Inernational Conference on Social Computing. pp. 250–257. IEEE Computer Society, Boston, MA, USA (2011).

  BibTeXEndNote

  @inproceedings{bjrnelmarmacek2011profile,
  address = {Boston, MA, USA},
  author = {{Björn-Elmar Macek, Martin Atzmueller, Gerd Stumme}},
  booktitle = {Proc. of the third Inernational Conference on Social Computing},
  keywords = {itegpub},
  pages = {250 - 257},
  publisher = {IEEE Computer Society},
  title = {Profile Mining in CVS-Logs and Face-to-Face Contacts for Recommending Software Developers},
  year = 2011
  }
  

  %0 Conference Paper
  %1 bjrnelmarmacek2011profile
  %A {Björn-Elmar Macek, Martin Atzmueller
  %B Proc. of the third Inernational Conference on Social Computing
  %C Boston, MA, USA
  %D 2011
  %I IEEE Computer Society
  %P 250 - 257
  %T Profile Mining in CVS-Logs and Face-to-Face Contacts for Recommending Software Developers
  

2008

• 1.

  Macek, B.-E.: Synopsen-Sharing zur effizienten Anfrageverarbeitung in Datenströmen. (2008).

  BibTeXEndNote

  @article{macek2008synopsensharing,
  author = {Macek, Björn-Elmar},
  keywords = {MyOwn},
  title = {Synopsen-Sharing zur effizienten Anfrageverarbeitung in Datenströmen},
  year = 2008
  }
  

  %0 Journal Article
  %1 macek2008synopsensharing
  %A Macek, Björn-Elmar
  %D 2008
  %T Synopsen-Sharing zur effizienten Anfrageverarbeitung in Datenströmen
  

2006

• 1.

  Macek, K.H.N.B.-E.: Äquivalenzbetrachtungen zu den Klassen N und NC, (2006).

  BibTeXEndNote

  Die vorliegende Studienarbeit beschäftigt sich mit dem Artikel "Separating NC along the \delta axis" von Bellantoni und Oitavem (ENTCS 2003). Darin wird ein Termsystem N* über Binärbäumen mit Blattspeicherung, angereichert um Konstanten für Baumrekursion, vorgestellt und im Stile Bellantoni/Niggl ein Maß \rho auf N* erklärt. Das System N besteht dann aus genau den geschlossenen N*-Termen mit \rho-Maß kleiner order gleich 1. Nach sorgfältiger Ausarbeitung der in der Arbeit dargestellten Ideen und Konstruktionen für den Beweis der Vollständigkeit des Systems N, daß nämlich jede NC-Funktion in System N definiert (berechnet) werden kann, kommt diese Studienarbeit zu dem Schluß, daß Vollständigkeit als zentrale Inklusion in der Charakterisierung von NC durch N so wie vorgestellt nicht gehalten werden kann.

  @misc{macek2006quivalenzbetrachtungen,
  abstract = {Die vorliegende Studienarbeit beschäftigt sich mit dem Artikel "Separating NC along the \delta axis" von Bellantoni und Oitavem (ENTCS 2003). Darin wird ein Termsystem N* über Binärbäumen mit Blattspeicherung, angereichert um Konstanten für Baumrekursion, vorgestellt und im Stile Bellantoni/Niggl ein Maß \rho auf N* erklärt. Das System N besteht dann aus genau den geschlossenen N*-Termen mit \rho-Maß kleiner order gleich 1. Nach sorgfältiger Ausarbeitung der in der Arbeit dargestellten Ideen und Konstruktionen für den Beweis der Vollständigkeit des Systems N, daß nämlich jede NC-Funktion in System N definiert (berechnet) werden kann, kommt diese Studienarbeit zu dem Schluß, daß Vollständigkeit als zentrale Inklusion in der Charakterisierung von NC durch N so wie vorgestellt nicht gehalten werden kann.},
  author = {Macek, Karl Heinz Niggl Björn-Elmar},
  keywords = {Recursion},
  title = {Äquivalenzbetrachtungen zu den Klassen N und NC},
  year = 2006
  }
  

  %0 Generic
  %1 macek2006quivalenzbetrachtungen
  %A Macek, Karl Heinz Niggl Björn-Elmar
  %D 2006
  %T Äquivalenzbetrachtungen zu den Klassen N und NC
  %X Die vorliegende Studienarbeit beschäftigt sich mit dem Artikel "Separating NC along the \delta axis" von Bellantoni und Oitavem (ENTCS 2003). Darin wird ein Termsystem N* über Binärbäumen mit Blattspeicherung, angereichert um Konstanten für Baumrekursion, vorgestellt und im Stile Bellantoni/Niggl ein Maß \rho auf N* erklärt. Das System N besteht dann aus genau den geschlossenen N*-Termen mit \rho-Maß kleiner order gleich 1. Nach sorgfältiger Ausarbeitung der in der Arbeit dargestellten Ideen und Konstruktionen für den Beweis der Vollständigkeit des Systems N, daß nämlich jede NC-Funktion in System N definiert (berechnet) werden kann, kommt diese Studienarbeit zu dem Schluß, daß Vollständigkeit als zentrale Inklusion in der Charakterisierung von NC durch N so wie vorgestellt nicht gehalten werden kann.