@article{19992, author = {{Valentini, Gabriele and Hamann, Heiko}}, issn = {{1935-3812}}, journal = {{Swarm Intelligence}}, pages = {{153--176}}, title = {{{Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes}}}, doi = {{10.1007/s11721-015-0108-8}}, year = {{2015}}, } @inproceedings{20005, author = {{Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}}, booktitle = {{Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015)}}, title = {{{Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off}}}, year = {{2015}}, } @inproceedings{20006, author = {{Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}}, booktitle = {{AAAI-15 Video Proceedings}}, title = {{{Self-organized collective decisions in a robot swarm}}}, year = {{2015}}, } @inproceedings{20153, author = {{Kaveh, Mahdi and Pourmohammad, Javad and Hassanalian, Mostafa and Nili Ahmadabadi, Mahdi and Otroshi, Mortaza}}, location = {{Aachen, Germany}}, title = {{{Optimized method in sizing of Flapping Wing}}}, year = {{2015}}, } @inproceedings{280, abstract = {{The Collaborative Research Centre "On-The-Fly Computing" works on foundations and principles for the vision of the Future Internet. It proposes the paradigm of On-The-Fly Computing, which tackles emerging worldwide service markets. In these markets, service providers trade software, platform, and infrastructure as a service. Service requesters state requirements on services. To satisfy these requirements, the new role of brokers, who are (human) actors building service compositions on the fly, is introduced. Brokers have to specify service compositions formally and comprehensively using a domain-specific language (DSL), and to use service matching for the discovery of the constituent services available in the market. The broker's choice of the DSL and matching approaches influences her success of building compositions as distinctive properties of different service markets play a significant role. In this paper, we propose a new approach of engineering a situation-specific DSL by customizing a comprehensive, modular DSL and its matching for given service market properties. This enables the broker to create market-specific composition specifications and to perform market-specific service matching. As a result, the broker builds service compositions satisfying the requester's requirements more accurately. We evaluated the presented concepts using case studies in service markets for tourism and university management.}}, author = {{Arifulina, Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet}}, pages = {{333----340}}, title = {{{Market-Specific Service Compositions: Specification and Matching}}}, doi = {{10.1109/SERVICES.2015.58}}, year = {{2015}}, } @article{28015, abstract = {{Background Understanding changes in dietary intake during puberty could aid the mapping of dietary interventions for primary prevention. The present study describes dietary changes from childhood to adolescence, and their associations with parental education, family income, child education, body mass index (BMI), pubertal onset and screen-time sedentary behaviour. Methods Dietary data (n = 1232) were obtained from food frequency questionnaires at the 10- and 15-year follow-ups of the GINIplus birth cohort study. Intakes of 17 food groups, macronutrients and antioxidant vitamins, were described by a) paired Wilcoxon rank sum tests, comparing average intakes at each time-point, and b) Cohen’s kappa “tracking” coefficients, measuring stability of intakes (maintenance of relative tertile positions across time). Further, associations of changes (tertile position increase or decrease vs. tracking) with parental education, family income, child education, pubertal onset, BMI, and screen-time, were assessed by logistic regression and multinomial logistic regression models stratified by baseline intake tertile. Results Both sexes increased average intakes of water and decreased starchy vegetables, margarine and dairy. Females decreased meat and retinol intakes and increased vegetables, grains, oils and tea. Males decreased fruit and carbohydrates and increased average intakes of meat, caloric drinks, water, protein, fat, polyunsaturated fatty acids (PUFAs), vitamin C and alpha-tocopherol. Both sexes presented mainly “fair” tracking levels [κw = 0.21–0.40]. Females with high (vs. low) parental education were more likely to increase their nut intake [OR = 3.8; 95 % CI = (1.7;8.8)], and less likely to decrease vitamin C intakes [0.2 (0.1;0.5)], while males were less likely to increase egg consumption [0.2 (0.1;0.5)] and n3 PUFAs [0.2 (0.1;0.5)]. Females with a higher (vs. low) family income were more likely to maintain medium wholegrain intakes [0.2 (0.1;0.7) for decrease vs. tracking, and 0.1 (0.0;0.5) for increase vs. tracking], and were less likely to decrease vitamin C intakes [0.2 (0.1;0.6)]. Males with high education were less likely to increase sugar-sweetened foods [0.1 (0.1;0.4)]. Finally, BMI in females was negatively associated with decreasing protein intakes [0.7 (0.6;0.9)]. In males BMI was positively associated with increasing margarine [1.4 (1.1;1.6)] and vitamin C intakes [1.4 (1.1;1.6)], and negatively associated with increasing n3 PUFA. Conclusions Average dietary intakes changed significantly, despite fair tracking levels, suggesting the presence of trends in dietary behaviour during puberty. Family income and parental education predominantly influenced intake changes. Our results support the rationale for dietary interventions targeting children, and suggest that sex-specific subpopulations, e.g. low socio-economic status, should be considered for added impact.}}, author = {{Harris, Carla and Flexeder, Claudia and Thiering, Elisabeth and Buyken, Anette and Berdel, Dietrich and Koletzko, Sibylle and Bauer, Carl-Peter and Brüske, Irene and Koletzko, Berthold and Standl, Marie}}, journal = {{BMC Public Health}}, keywords = {{Puberty, Dietary intake, Dietary changes, Tracking, Determinants, Epidemiology}}, pages = {{841}}, title = {{{Changes in dietary intake during puberty and their determinants: results from the GINIplus birth cohort study}}}, volume = {{15}}, year = {{2015}}, } @article{28033, author = {{Bloh, Thiemo and Bloh, Bea and van Ophuysen, Stefanie}}, journal = {{Empirische Pädagogik}}, number = {{4}}, pages = {{505--520}}, title = {{{Lernpotential durch Lehrerkooperation. Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten.}}}, volume = {{29}}, year = {{2015}}, } @misc{281, author = {{Rojahn, Tobias}}, publisher = {{Universität Paderborn}}, title = {{{Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network}}}, year = {{2015}}, } @article{2815, author = {{Gries, Thomas and Naudé, Wim and Bilkic, Natascha}}, journal = {{The Quarterly Review of Economics and Finance}}, pages = {{1--17}}, title = {{{Playing the Lottery or Dressing Up? A Model of Firm-Level Heterogeneity and the Decision to Export}}}, doi = {{10.1016/j.qref.2015.02.010}}, volume = {{58}}, year = {{2015}}, } @article{2816, author = {{Gries, Thomas and Feng, Yuanhua and Guo, Zhichao}}, journal = {{China Agricultural Economic Review}}, number = {{2}}, pages = {{262--279}}, title = {{{Changes of China’s agri-food exports to Germany caused by its accession to WTO and the 2008 financial crisis}}}, doi = {{10.1108/CAER-11-2013-0152}}, volume = {{7}}, year = {{2015}}, } @misc{282, author = {{Kirsch, Michelle}}, publisher = {{Universität Paderborn}}, title = {{{Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern}}}, year = {{2015}}, } @article{28210, author = {{Iwanek, Peter and Dumitrescu, Roman and Reinhart, Felix and Brandis, Rinje}}, journal = {{productivITy (4 / 2015)}}, pages = {{57--59}}, title = {{{Expertensystem zur Steigerung der Effizienz im Bereich der Produktion}}}, year = {{2015}}, } @techreport{2822, author = {{Han, K. and Kundisch, Dennis and Weinhardt, C. and Zimmermann, Steffen}}, pages = {{295--297}}, title = {{{Economics and Value of IS}}}, volume = {{57 (5)}}, year = {{2015}}, } @phdthesis{28222, author = {{Bauer, Frank}}, isbn = {{978-3-942647-60-1}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung}}}, volume = {{341}}, year = {{2015}}, } @misc{28223, author = {{Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}}, isbn = {{978-3-942647-62-5}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{10. Paderborner Workshop Entwurf mechatronischer Systeme}}}, volume = {{343}}, year = {{2015}}, } @misc{28224, author = {{Gausemeier, Jürgen}}, isbn = {{978-3-942647-66-3}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015}}}, volume = {{347}}, year = {{2015}}, } @inproceedings{283, abstract = {{Today, software verification is an established analysis method which can provide high guarantees for software safety. However, the resources (time and/or memory) for an exhaustive verification are not always available, and analysis then has to resort to other techniques, like testing. Most often, the already achieved partial verification results arediscarded in this case, and testing has to start from scratch.In this paper, we propose a method for combining verification and testing in which testing only needs to check the residual fraction of an uncompleted verification. To this end, the partial results of a verification run are used to construct a residual program (and residual assertions to be checked on it). The residual program can afterwards be fed into standardtesting tools. The proposed technique is sound modulo the soundness of the testing procedure. Experimental results show that this combinedusage of verification and testing can significantly reduce the effort for the subsequent testing.}}, author = {{Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering}}, editor = {{Egyed, Alexander and Schaefer, Ina}}, pages = {{100--114}}, title = {{{Just test what you cannot verify!}}}, doi = {{10.1007/978-3-662-46675-9_7}}, year = {{2015}}, } @inproceedings{28301, author = {{Hassan, Bassem and Stöcklein, Jörg and Berssenbrügge, Jan}}, booktitle = {{Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179}}, editor = {{Shumaker, Randall and Lackey, Stephanie}}, pages = {{457--469}}, publisher = {{Springer International Publishing Switzerland}}, title = {{{ARTiST - An Augmented Reality Testbed for Intelligent Technical Systems}}}, volume = {{LNCS 9179}}, year = {{2015}}, } @article{28302, author = {{Trächtler, Ansgar and Iwanek, Peter and Scheffels, Gerald}}, journal = {{elektrotechnik - Automatisierung Sonderausgabe}}, pages = {{32--33}}, title = {{{Der Mensch als Vorbild}}}, year = {{2015}}, } @inproceedings{28303, abstract = {{The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system.}}, author = {{Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}}, booktitle = {{Proceedings of the International Conference on Software and Systems Process (ICSSP)}}, pages = {{57--66}}, title = {{{Integrated Systems Engineering and Software Requirements Engineering for Technical Systems}}}, doi = {{http://dx.doi.org/10.1145/2785592.2785597}}, year = {{2015}}, }