@article{3828, abstract = {{The 3D implementation of a hybrid analytical/numerical variant of the coupled-mode theory is discussed. Eigenmodes of the constituting dielectric channels are computed numerically. The frequency-domain coupled-mode models then combine these into fully vectorial approximations for the optical electromagnetic fields of the composite structure. Following a discretization of amplitude functions by 1D finite elements, pro- cedures from the realm of finite-element numerics are applied to establish systems of linear equations for the then- discrete modal amplitudes. Examples substantiate the functioning of the technique and allow for some numerical assessment. The full 3D simulations are highly efficient in memory consumption, moderately demanding in com- putational time, and, in regimes of low radiative losses, sufficiently accurate for practical design. Our results include the perturbation of guided modes by changes of the refractive indices, the interaction of waves in parallel, horizontally or vertically coupled straight waveguides, and a series of crossings of potentially overlapping channels with fairly arbitrary relative positions and orientations.}}, author = {{Hammer, Manfred and Alhaddad, Samer and Förstner, Jens}}, issn = {{0740-3224}}, journal = {{Journal of the Optical Society of America B}}, keywords = {{tet_topic_waveguide, tet_topic_numerics}}, number = {{3}}, pages = {{613--624}}, publisher = {{The Optical Society}}, title = {{{Hybrid coupled-mode modeling in 3D: perturbed and coupled channels, and waveguide crossings}}}, doi = {{10.1364/josab.34.000613}}, volume = {{34}}, year = {{2017}}, } @article{3830, abstract = {{The modal properties of curved dielectric slab waveguides are investigated. We consider quasi-confined, attenuated modes that propagate at oblique angles with respect to the axis through the center of curvature. Our analytical model describes the transition from scalar 2-D TE/TM bend modes to lossless spiral waves at near-axis propagation angles, with a continuum of vectorial attenuated spiral modes in between. Modal solutions are characterized in terms of directional wavenumbers and attenuation constants. Examples for vectorial mode profiles illustrate the effects of oblique wave propagation along the curved slab segments. For the regime of lossless spiral waves, the relation with the guided modes of corresponding dielectric tubes is demonstrated.}}, author = {{Ebers, Lena and Hammer, Manfred and Förstner, Jens}}, issn = {{0306-8919}}, journal = {{Optical and Quantum Electronics}}, keywords = {{tet_topic_waveguide}}, number = {{4}}, pages = {{49:176}}, publisher = {{Springer Nature}}, title = {{{Spiral modes supported by circular dielectric tubes and tube segments}}}, doi = {{10.1007/s11082-017-1011-x}}, volume = {{49}}, year = {{2017}}, } @article{3832, abstract = {{Controlling light emission out of subwavelength nanoslit/aperture structures is of great important for highly integrated photonic circuits. Here we propose a new method to achieve direction-tunable emission based on a compact metallic microcavity with double nanoslit. Our method combines the principles of Young’s interference and surface plasmon polaritons interference. We show that the direction of the far-field beam can be controlled over a wide range of angles by manipulating the frequency and relative phase of light arriving at the two slits, which holds promise for applications in the ultracompact optoelectronic devices.}}, author = {{Song, Xiaohong and Wang, Nini and Yan, Ming and Lin, Cheng and Förstner, Jens and Yang, Weifeng}}, issn = {{1094-4087}}, journal = {{Optics Express}}, keywords = {{tet_topic_plasmonics}}, number = {{12}}, pages = {{13207--13214}}, publisher = {{The Optical Society}}, title = {{{Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit structure}}}, doi = {{10.1364/oe.25.013207}}, volume = {{25}}, year = {{2017}}, } @inbook{3836, abstract = {{We apply the Discontinuous Galerkin Time Domain (DGTD) method for numerical simulations of the second harmonic generation from various metallic nanostructures. A Maxwell–Vlasov hydrodynamic model is used to describe the nonlinear effects in the motion of the excited free electrons in a metal. The results are compared with the corresponding experimental measurements for split-ring resonators and plasmonic gap antennas.}}, author = {{Grynko, Yevgen and Förstner, Jens}}, booktitle = {{Recent Trends in Computational Photonics}}, editor = {{Agrawal, Arti}}, isbn = {{9783319554372}}, issn = {{0342-4111}}, keywords = {{tet_topic_numerics, tet_topic_shg, tet_topic_meta}}, pages = {{261--284}}, publisher = {{Springer International Publishing}}, title = {{{Simulation of Second Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method}}}, doi = {{10.1007/978-3-319-55438-9_9}}, year = {{2017}}, } @inproceedings{2967, author = {{Blömer, Johannes and Liske, Gennadij}}, booktitle = {{Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)}}, isbn = {{9783319724522}}, issn = {{0302-9743}}, pages = {{438--453}}, publisher = {{Springer International Publishing}}, title = {{{Subtleties in Security Definitions for Predicate Encryption with Public Index}}}, doi = {{10.1007/978-3-319-72453-9_35}}, volume = {{10693}}, year = {{2017}}, } @inproceedings{3109, author = {{Hale, Britta and Jager, Tibor and Lauer, Sebastian and Schwenk, Jörg}}, booktitle = {{Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings}}, pages = {{20----38}}, title = {{{Simple Security Definitions for and Constructions of 0-RTT Key Exchange}}}, doi = {{10.1007/978-3-319-61204-1_2}}, year = {{2017}}, } @inproceedings{3110, author = {{Günther, Felix and Hale, Britta and Jager, Tibor and Lauer, Sebastian}}, booktitle = {{Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III}}, pages = {{519----548}}, title = {{{0-RTT Key Exchange with Full Forward Secrecy}}}, doi = {{10.1007/978-3-319-56617-7_18}}, year = {{2017}}, } @inproceedings{3111, author = {{Jager, Tibor and Stam, Martijn and Stanley-Oakes, Ryan and Warinschi, Bogdan}}, booktitle = {{Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I}}, pages = {{409----441}}, title = {{{Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy}}}, doi = {{10.1007/978-3-319-70500-2_14}}, year = {{2017}}, } @inproceedings{3155, author = {{Töws, Manuel and Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November 13-17, 2017, Proceedings}}, editor = {{Duan, Zhenhua and Ong, Luke}}, pages = {{362----378}}, title = {{{Policy Dependent and Independent Information Flow Analyses}}}, doi = {{10.1007/978-3-319-68690-5_22}}, year = {{2017}}, } @inproceedings{3156, author = {{König, Jürgen and Wehrheim, Heike}}, booktitle = {{Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings}}, editor = {{Van Hung, Dang and Kapur, Deepak}}, pages = {{118----135}}, title = {{{Value-Based or Conflict-Based? Opacity Definitions for STMs}}}, doi = {{10.1007/978-3-319-67729-3_8}}, year = {{2017}}, } @article{27224, author = {{Moritzer, Elmar and Krugmann, J. and Leister, C.}}, isbn = {{978-3-658-18445-2 }}, journal = {{Kunststoffe erfolgreich kleben}}, number = {{1}}, pages = {{81--86}}, publisher = {{Wiesbaden: Springer Vieweg}}, title = {{{Alterung von plasmabehandelten Kunststoffen – Alles eine Frage der Zeit?}}}, year = {{2017}}, } @article{27225, author = {{Moritzer, Elmar and Friedrich, N. and Berger, J.}}, isbn = {{978-3-658-18445-2}}, journal = {{Kunststoffe erfolgreich kleben}}, number = {{1}}, pages = {{213--221}}, publisher = {{Wiesbaden: Springer Vieweg}}, title = {{{Laserdurchstrahlkleben von opaken Kunststoffen – Schnell und zuverlässig. }}}, year = {{2017}}, } @article{27522, author = {{Föcker, Manuel and Antel, Jochen and Ring, Stefanie and Hahn, Denise and Kanal, Özlem and Öztürk, Dana and Hebebrand, Johannes and Libuda, Lars}}, issn = {{1018-8827}}, journal = {{European Child & Adolescent Psychiatry}}, pages = {{1043--1066}}, title = {{{Vitamin D and mental health in children and adolescents}}}, doi = {{10.1007/s00787-017-0949-3}}, year = {{2017}}, } @article{27771, abstract = {{Abstract Background Children with migration background are at particular risk for overweight. We assessed the effects of a primary school-based initiative targeted at enhancing physical activity and dietary education among children with a high proportion of migration background. Methods Four 3rd and 4th grade classes (n=70 children, 77% with migration background) participated in a 10-months intervention comprising 2 additional exercise lessons weekly and 10 nutrition lessons per school year. 6 school classes (n=125 children, 65% with migration background) served as control. Before and after the intervention, an assessment of physical fitness and motor skills and questionnaires on dietary behavior and knowledge were conducted. In a subgroup (n=37), after 6 months of the intervention, daily physical activity was assessed by accelerometer-based monitoring. Differences in changes between the groups were assessed using linear regression analyses. Results Changes between the 2 time points for fitness and motor skill tests (differences in standard deviation scores) were larger in the intervention than in the control group for the total mean test value (β=0.38, p<0.001), driven by higher improvements in 5 of the 8 test items, i.e., obstacle race (speed) (β=0.22, p=0.049), standing long jump (strength) (β=0.35, p<0.001), sit-ups (strength) (β=0.33, p=0.002), stand and reach (mobility) (β=0.22, p=0.042), and 6 min run (endurance) (β=0.40, p<0.001), independently of confounders. Changes in dietary knowledge and consumption frequencies did not differ between groups. Conclusions Promoting guided physical activity in a primary school setting with a high proportion of children with migration background positively affected parameters of fitness and motor skills.}}, author = {{Weber, Katharina and Spörkel, Olaf and Mertens, Melina and Freese, Alem and Strassburger, Klaus and Kemper, Boris and Bachmann, Clemens and Diehlmann, Knut and Stemper, Theodor and Buyken, Anette and Ketelhut, Kerstin and Müssig, Karsten}}, issn = {{0947-7349}}, journal = {{Experimental and Clinical Endocrinology & Diabetes}}, pages = {{554--562}}, title = {{{Positive Effects of Promoting Physical Activity and Balanced Diets in a Primary School Setting with a High Proportion of Migrant School Children}}}, doi = {{10.1055/s-0043-101918}}, year = {{2017}}, } @inbook{27796, author = {{Drossel, Kerstin and Eickelmann, Birgit}}, booktitle = {{Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing}}, editor = {{Tatnall, Arthur and Webb, Mary}}, issn = {{1868-4238}}, pages = {{114--124}}, publisher = {{Springer International Publishing}}, title = {{{The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy}}}, doi = {{10.1007/978-3-319-74310-3_14}}, year = {{2017}}, } @inproceedings{112, abstract = {{We study a model of selfish resource allocation that seeks to incorporate dependencies among resources as they exist in in modern networked environments. Our model is inspired by utility functions with constant elasticity of substitution (CES) which is a well-studied model in economics. We consider congestion games with different aggregation functions. In particular, we study $L_p$ norms and analyze the existence and complexity of (approximate) pure Nash equilibria. Additionally, we give an almost tight characterization based on monotonicity properties to describe the set of aggregation functions that guarantee the existence of pure Nash equilibria.}}, author = {{Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}}, booktitle = {{Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC)}}, pages = {{222----233}}, title = {{{Congestion Games with Complementarities}}}, doi = {{10.1007/978-3-319-57586-5_19}}, year = {{2017}}, } @inproceedings{113, abstract = {{We study the computation of approximate pure Nash equilibria in Shapley value (SV) weighted congestion games, introduced in [19]. This class of games considers weighted congestion games in which Shapley values are used as an alternative (to proportional shares) for distributing the total cost of each resource among its users. We focus on the interesting subclass of such games with polynomial resource cost functions and present an algorithm that computes approximate pure Nash equilibria with a polynomial number of strategy updates. Since computing a single strategy update is hard, we apply sampling techniques which allow us to achieve polynomial running time. The algorithm builds on the algorithmic ideas of [7], however, to the best of our knowledge, this is the first algorithmic result on computation of approximate equilibria using other than proportional shares as player costs in this setting. We present a novel relation that approximates the Shapley value of a player by her proportional share and vice versa. As side results, we upper bound the approximate price of anarchy of such games and significantly improve the best known factor for computing approximate pure Nash equilibria in weighted congestion games of [7].}}, author = {{Feldotto, Matthias and Gairing, Martin and Kotsialou, Grammateia and Skopalik, Alexander}}, booktitle = {{Proceedings of the 13th International Conference on Web and Internet Economics (WINE)}}, title = {{{Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games}}}, doi = {{10.1007/978-3-319-71924-5_14}}, year = {{2017}}, } @inproceedings{114, abstract = {{Proof witnesses are proof artifacts showing correctness of programs wrt. safety properties. The recent past has seen a rising interest in witnesses as (a) proofs in a proof-carrying-code context, (b) certificates for the correct functioning of verification tools, or simply (c) exchange formats for (partial) verification results. As witnesses in all theses scenarios need to be stored and processed, witnesses are required to be as small as possible. However, software verification tools – the prime suppliers of witnesses – do not necessarily construct small witnesses. In this paper, we present a formal account of proof witnesses. We introduce the concept of weakenings, reducing the complexity of proof witnesses while preserving the ability of witnessing safety. We develop aweakening technique for a specific class of program analyses, and prove it to be sound. Finally, we experimentally demonstrate our weakening technique to indeed achieve a size reduction of proof witnesses.}}, author = {{Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{NASA Formal Methods: 9th International Symposium}}, editor = {{Barrett, Clark and Davies, Misty and Kahsai, Temesghen}}, pages = {{389--403}}, title = {{{Compact Proof Witnesses}}}, doi = {{10.1007/978-3-319-57288-8_28}}, year = {{2017}}, } @inproceedings{115, abstract = {{Whenever customers have to decide between different instances of the same product, they are interested in buying the best product. In contrast, companies are interested in reducing the construction effort (and usually as a consequence thereof, the quality) to gain profit. The described setting is widely known as opposed preferences in quality of the product and also applies to the context of service-oriented computing. In general, service-oriented computing emphasizes the construction of large software systems out of existing services, where services are small and self-contained pieces of software that adhere to a specified interface. Several implementations of the same interface are considered as several instances of the same service. Thereby, customers are interested in buying the best service implementation for their service composition wrt. to metrics, such as costs, energy, memory consumption, or execution time. One way to ensure the service quality is to employ certificates, which can come in different kinds: Technical certificates proving correctness can be automatically constructed by the service provider and again be automatically checked by the user. Digital certificates allow proof of the integrity of a product. Other certificates might be rolled out if service providers follow a good software construction principle, which is checked in annual audits. Whereas all of these certificates are handled differently in service markets, what they have in common is that they influence the buying decisions of customers. In this paper, we review state-of-the-art developments in certification with respect to service-oriented computing. We not only discuss how certificates are constructed and handled in service-oriented computing but also review the effects of certificates on the market from an economic perspective.}}, author = {{Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}}, booktitle = {{The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}}, editor = {{Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz}}, pages = {{7--12}}, title = {{{Certification Matters for Service Markets}}}, year = {{2017}}, } @inproceedings{1156, abstract = {{In this paper, we present an IoT architecture which handles stream sensor data of air pollution. Particle pollution is known as a serious threat to human health. Along with developments in the use of wireless sensors and the IoT, we propose an architecture that flexibly measures and processes stream data collected in real-time by movable and low-cost IoT sensors. Thus, it enables a wide-spread network of wireless sensors that can follow changes in human behavior. Apart from stating reasons for the need of such a development and its requirements, we provide a conceptual design as well as a technological design of such an architecture. The technological design consists of Kaa and Apache Storm which can collect air pollution information in real-time and solve various problems to process data such as missing data and synchronization. This enables us to add a simulation in which we provide issues that might come up when having our architecture in use. Together with these issues, we state r easons for choosing specific modules among candidates. Our architecture combines wireless sensors with the Kaa IoT framework, an Apache Kafka pipeline and an Apache Storm Data Stream Management System among others. We even provide open-government data sets that are freely available.}}, author = {{Kersting, Joschka and Geierhos, Michaela and Jung, Hanmin and Kim, Taehong}}, booktitle = {{Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security}}, editor = {{Ramachandran, Muthu and Méndez Muñoz, Víctor and Kantere, Verena and Wills, Gary and Walters, Robert and Chang, Victor}}, isbn = {{978-989-758-245-5}}, keywords = {{Wireless Sensor Network, Internet of Things, Stream Data, Air Pollution, DSMS, Real-time Data Processing}}, location = {{Porto, Portugal}}, pages = {{117--124}}, publisher = {{SCITEPRESS}}, title = {{{Internet of Things Architecture for Handling Stream Air Pollution Data}}}, doi = {{10.5220/0006354801170124}}, year = {{2017}}, }