OPUS

  • Home
  • Search
  • Browse
  • Publish
  • Hilfe

Refine

Has Fulltext

  • no (251)
  • yes (88)

Author

  • Maike Andresen (13)
  • Claus-Christian Carbon (12)
  • Stefan Lautenbacher (10)
  • Ute Schmid (10)
  • Astrid Schütz (9)
  • Frank Westerhoff (9)
  • Guido Wirtz (9)
  • Georgiana Banita (8)
  • Andreas Jungherr (7)
  • Andreas Oehler (7)

Year of publication

  • 2012 (240)
  • 2013 (20)
  • 2010 (17)
  • 2011 (16)
  • 2009 (12)
  • 2008 (8)
  • 2005 (6)
  • 2006 (6)
  • 2007 (5)
  • 2004 (4)

Document Type

  • Artikel in einer Zeitschrift / Postprint (94)
  • Konferenzveröffentlichung (65)
  • Artikel in einem Sammelwerk / Postprint (55)
  • Dissertation (46)
  • Buch (Monografie) (20)
  • Verschiedenartige Texte (17)
  • Arbeitspapier (15)
  • Rezension (10)
  • Teil eines Buches (Kapitel) (5)
  • Sonstiges (5)

Language

  • English (339) (remove)

Keywords

  • Online-Publikation (8)
  • Exegese (6)
  • Zimbabwe (5)
  • Artificial Intelligence (4)
  • Künstliche Intelligenz (4)
  • SOA (4)
  • African Initiated Churches (3)
  • Afrikaforschung (3)
  • Afrikanische Kirche (3)
  • BPEL (3)

Institute

  • Lehrstuhl für Praktische Informatik (22)
  • Professur für Angewandte Informatik, insbesondere Kognitive Systeme (18)
  • Lehrstuhl für Allgemeine Psychologie (16)
  • Lehrstuhl für Betriebswirtschaftslehre, insbesondere Personalmanagement (15)
  • Lehrstuhl für Wirtschaftsinformatik, insbesondere Informationssysteme in Dienstleistungsbereichen (15)
  • Fakultät Sozial- und Wirtschaftswissenschaften: Abschlussarbeiten (13)
  • Lehrstuhl für Persönlichkeitspsychologie und Psychologische Diagnostik (12)
  • Lehrstuhl für Volkswirtschaftslehre, insbesondere Wirtschaftspolitik (12)
  • Lehrstuhl für Betriebswirtschaftslehre, insbesondere Banking und Finanzcontrolling (11)
  • Lehrstuhl für Englische Sprachwissenschaft einschließlich Sprachgeschichte (11)

339 search hits

search hits 1 to 10

  • Next Page
  • Last Page

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
"[T]o rot on inhospitable ground": The World of Academia in the Works of Alan Isler (2012)
Uwe Meyer
"A total of one million words": Interview with Martin Hilský by Christa Jansohn on the occasion of his translation of Shakespeare's complete works (2012)
Martin Hilský Christa Jansohn
"The Power to Imagine": Genocide, Exile, and Ethical Memory in Atom Egoyan's "Ararat" (2012)
Georgiana Banita
'That's a real Jersey one, eh?' Discourse marker eh in Channel Island English (2012)
Anna Rosen
'The Elephant is part of us and our village': Reflections on memories, strange geographies and (non-)spatial objects (2012)
Marc Redepenning
A Case Study on Model-Driven Data Warehouse Development (2012)
Thomas Benker Carsten Jürck
A Cognitive Model For Predicting Aesthetical Judgements As Similarity to Dynamic Prototypes (2012)
Ute Schmid Michael Siebers Johannes Folger Simone Schineller Dominik Seuss Marius Raab Claus-Christian Carbon Stella J. Faerber
Show/Hide Abstract A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs (2010)
Emanuel Kitzelmann
This thesis is concerned with the inductive synthesis of recursive declarative programs and in particular with the analytical inductive synthesis of functional programs. Program synthesis addresses the problem of (semi-)automatically generating computer programs from specifications. In inductive program synthesis, recursive programs are constructed by generalizing over incomplete specifications such as finite sets of input/output examples (I/O examples). Classical methods for induction of functional programs are analytical, that is, a recursive function definition is derived by detecting and generalizing recurrent patterns between the given I/O examples. Most recent methods, on the other side, are generate-and-test based, that is, they repeatedly generate programs independently from the provided I/O examples until a program is found that correctly computes the examples. Analytical methods are much faster than generate-and-test methods, because they do not rely on search in a program space. Therefore, however, the schemas that generatable programs conform to, must be much more restricted. This thesis at first provides a comprehensive overview of current approaches and methods to inductive program synthesis. Then we present a new algorithm to the inductive synthesis of functional programs that generalizes the analytical approach and combines it with search in a program space. Thereby, the strong restrictions of analytical methods can be resolved for the most part. At the same time, applying analytical techniques allows for pruning large parts of the problem space so that solutions can often be found faster than with generate-and-test methods. By means of several experiments with an implementation of the described algorithm, we demonstrate its capabilities.
A literature-based definition and differentiation of the terms ´self-initiated expatriate`, ´assigned expatriate` and ´migrant` (2012)
Franziska Bergdolt Jil Margenfeld Maike Andresen
A multigroup multitrait-multimethod study in two countries supports the validity of a two-factor higher order model of personality (2012)
Ömer Faruk Şimşek Selda Koydemir Astrid Schütz

search hits 1 to 10

  • Next Page
  • Last Page

OPUS4 Logo

  • Contact
  • Imprint
  • Sitelinks
Login