@inproceedings{OPUS4-3955,
  title     = {Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009},
  editor    = {Geske, Ulrich and Wolf, Armin},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-026-7},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-37977},
  pages     = {187},
  year      = {2010},
  abstract  = {The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 - 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.},
  language  = {en}
}
@article{BaslerGrimbsNikoloski2012,
  author    = {Basler, Georg and Grimbs, Sergio and Nikoloski, Zoran},
  title     = {Optimizing metabolic pathways by screening for feasible synthetic reactions},
  series = {Biosystems : journal of biological and information processing sciences},
  volume    = {109},
  journal   = {Biosystems : journal of biological and information processing sciences},
  number    = {2},
  publisher = {Elsevier},
  address   = {Oxford},
  issn      = {0303-2647},
  doi       = {10.1016/j.biosystems.2012.04.007},
  pages     = {186 -- 191},
  year      = {2012},
  abstract  = {Background: Reconstruction of genome-scale metabolic networks has resulted in models capable of reproducing experimentally observed biomass yield/growth rates and predicting the effect of alterations in metabolism for biotechnological applications. The existing studies rely on modifying the metabolic network of an investigated organism by removing or inserting reactions taken either from evolutionary similar organisms or from databases of biochemical reactions (e.g., KEGG). A potential disadvantage of these knowledge-driven approaches is that the result is biased towards known reactions, as such approaches do not account for the possibility of including novel enzymes, together with the reactions they catalyze. Results: Here, we explore the alternative of increasing biomass yield in three model organisms, namely Bacillus subtilis, Escherichia coil, and Hordeum vulgare, by applying small, chemically feasible network modifications. We use the predicted and experimentally confirmed growth rates of the wild-type networks as reference values and determine the effect of inserting mass-balanced, thermodynamically feasible reactions on predictions of growth rate by using flux balance analysis. Conclusions: While many replacements of existing reactions naturally lead to a decrease or complete loss of biomass production ability, in all three investigated organisms we find feasible modifications which facilitate a significant increase in this biological function. We focus on modifications with feasible chemical properties and a significant increase in biomass yield. The results demonstrate that small modifications are sufficient to substantially alter biomass yield in the three organisms. The method can be used to predict the effect of targeted modifications on the yield of any set of metabolites (e.g., ethanol), thus providing a computational framework for synthetic metabolic engineering.},
  language  = {en}
}
@article{Hildebrandt2016,
  author    = {Hildebrandt, Dieter},
  title     = {Image-based styling},
  series = {The Visual Computer},
  volume    = {32},
  journal   = {The Visual Computer},
  publisher = {Springer},
  address   = {New York},
  issn      = {0178-2789},
  doi       = {10.1007/s00371-015-1073-3},
  pages     = {445 -- 463},
  year      = {2016},
  abstract  = {The same data can be visualized using various visual styles that each is suitable for specific requirements, e.g., 3D geodata visualized using photorealistic, cartographic, or illustrative styles. In contrast to feature-based styling, image-based styling performed in image space at image resolution allows decoupling styling from image generation and output-sensitive, expressive styling. However, leveraging image-based styling is still impeded. No previous approach allows specifying image-based styling expressively with an extensive inventory of composable operators, while providing styling functionality in a service-oriented, interoperable manner. In this article, we present an interactive system for specifying and providing the functionality of image-based styling. As key characteristics, it separates concerns of styling from image generation and facilitates specifying styling as algebraic compositions of high-level operators using a unified 3D model representation. We propose a generalized visualization model, an image-based styling algebra, two declarative DSLs, an operator taxonomy, an operational model, and a standards-based service interface. The approach facilitates expressive specifications of image-based styling for design, description, and analysis and leveraging the functionality of image-based styling in a service-oriented, interoperable, reusable, and composable manner.},
  language  = {en}
}
@misc{Moehring2021,
  type      = {Master Thesis},
  author    = {M{\"o}hring, Jan},
  title     = {Stochastic inversion for core field modeling using satellite data},
  doi       = {10.25932/publishup-49807},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-498072},
  school      = {Universit{\"a}t Potsdam},
  pages     = {vii, 55},
  year      = {2021},
  abstract  = {Magnetfeldmodellierung mit Kugelfl{\"a}chenfunktionen basiert auf der Inversion nach hunderten bis tausenden von Parametern. Dieses hochdimensionale Problem kann grunds{\"a}tzlich als ein Optimierungsproblem formuliert werden, bei dem ein globales Minimum einer gewissen Zielfunktion berechnet werden soll. Um dieses Problem zu l{\"o}sen, gibt es eine Reihe bekannter Ans{\"a}tze, dazu z{\"a}hlen etwa gradientenbasierte Verfahren oder die Methode der kleinsten Quadrate und deren Varianten. Jede dieser Methoden hat verschiedene Vor- und Nachteile, beispielsweise bez{\"u}glich der Anwendbarkeit auf nicht-differenzierbare Funktionen oder der Laufzeit zugeh{\"o}riger Algorithmen. In dieser Arbeit verfolgen wir das Ziel, einen Algorithmus zu finden, der schneller als die etablierten Verfahren ist und sich auch f{\"u}r nichtlineare Probleme anwenden l{\"a}sst. Solche nichtlinearen Probleme treten beispielsweise bei der Absch{\"a}tzung von Euler-Winkeln oder bei der Verwendung der robusteren L_1-Norm auf. Dazu untersuchen wir die Anwendbarkeit stochastischer Optimierungsverfahren aus der CMAES-Familie auf die Modellierung des geomagnetischen Feldes des Erdkerns. Es werden sowohl die Grundlagen der Kernfeldmodellierung und deren Parametrisierung anhand einiger Beispiele aus der Literatur besprochen, als auch die theoretischen Hintergr{\"u}nde der stochastischen Verfahren gegeben. Ein CMAES-Algorithmus wurde erfolgreich angewendet, um Daten der Swarm-Satellitenmission zu invertieren und daraus das Magnetfeldmodell EvoMag abzuleiten. EvoMag zeigt gute {\"U}bereinstimmung mit etablierten Modellen, sowie mit Observatoriumsdaten aus Niemegk. Wir thematisieren einige beobachtete Schwierigkeiten und pr{\"a}sentieren und diskutieren die Ergebnisse unserer Modellierung.},
  language  = {en}
}
@phdthesis{Grum2021,
  author    = {Grum, Marcus},
  title     = {Construction of a concept of neuronal modeling},
  year      = {2021},
  abstract  = {The business problem of having inefficient processes, imprecise process analyses, and simulations as well as non-transparent artificial neuronal network models can be overcome by an easy-to-use modeling concept. With the aim of developing a flexible and efficient approach to modeling, simulating, and optimizing processes, this paper proposes a flexible Concept of Neuronal Modeling (CoNM). The modeling concept, which is described by the modeling language designed and its mathematical formulation and is connected to a technical substantiation, is based on a collection of novel sub-artifacts. As these have been implemented as a computational model, the set of CoNM tools carries out novel kinds of Neuronal Process Modeling (NPM), Neuronal Process Simulations (NPS), and Neuronal Process Optimizations (NPO). The efficacy of the designed artifacts was demonstrated rigorously by means of six experiments and a simulator of real industrial production processes.},
  language  = {en}
}
@article{GautamZhangLandwehretal.2021,
  author    = {Gautam, Khem Raj and Zhang, Guoqiang and Landwehr, Niels and Adolphs, Julian},
  title     = {Machine learning for improvement of thermal conditions inside a hybrid ventilated animal building},
  series = {Computers and electronics in agriculture : COMPAG online ; an international journal},
  volume    = {187},
  journal   = {Computers and electronics in agriculture : COMPAG online ; an international journal},
  publisher = {Elsevier Science},
  address   = {Amsterdam [u.a.]},
  issn      = {0168-1699},
  doi       = {10.1016/j.compag.2021.106259},
  pages     = {10},
  year      = {2021},
  abstract  = {In buildings with hybrid ventilation, natural ventilation opening positions (windows), mechanical ventilation rates, heating, and cooling are manipulated to maintain desired thermal conditions. The indoor temperature is regulated solely by ventilation (natural and mechanical) when the external conditions are favorable to save external heating and cooling energy. The ventilation parameters are determined by a rule-based control scheme, which is not optimal. This study proposes a methodology to enable real-time optimum control of ventilation parameters. We developed offline prediction models to estimate future thermal conditions from the data collected from building in operation. The developed offline model is then used to find the optimal controllable ventilation parameters in real-time to minimize the setpoint deviation in the building. With the proposed methodology, the experimental building's setpoint deviation improved for 87\% of time, on average, by 0.53 degrees C compared to the current deviations.},
  language  = {en}
}