Konferenzbeitrag (12583)

96561.
Konferenzbeitrag
Benner, P.; Seidel-Morgenstern, A.; Zuyev, A.: Computation of Periodic Switching Strategies for the Optimal Control of Chemical Reactions. In: Mathematical and Numerical Aspects of Dynamical System Analysis, S. 59 - 66 (Hg. Awrejcewicz, J.; Kazmierczak, M.; Mrozowski, J.; Olejnik, P.). 14th International Conference Dynamical Systems - Theory and Applications, Łódź, Poland, 11. Dezember 2017 - 14. Dezember 2017. Department of Automation, Biomechanics and Mechatronics, Łódź (2017)
96562.
Konferenzbeitrag
Bentkamp, A.; Blanchette, J. C.; Klakow, D.: A Formal Proof of the Expressiveness of Deep Learning. In: Interactive Theorem Proving, S. 46 - 64 (Hg. Avala-Rincón, M.; Muñoz, C. A.). 8th Conference on Interactive Theorem Proving, Brasilia, Brazil, 26. September 2017 - 29. September 2017. Springer, Berlin (2017)
96563.
Konferenzbeitrag
Berenbrink, P.; Clementi, A.; Elsässer, R.; Kling, P.; Mallmann-Trenn, F.; Natale, E.: Ignore or Comply?: On Breaking Symmetry in Consensus. In: PODC'17, S. 335 - 344. ACM Symposium on Principles of Distributed Computing, Washington, DC, USA, 25. Juli 2017 - 27. Juli 2017. ACM, New York, NY (2017)
96564.
Konferenzbeitrag
Bhattacharya, S.; Henzinger, M.; Nanongkai, D.: Fully Dynamic Approximate Maximum Matching and Minimum Vertex Cover in O(log3 n) Worst Case Update Time. In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 470 - 489 (Hg. Klein, P. N.). Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, 16. Januar 2017 - 19. Januar 2017. SIAM, Philadelphia, PA (2017)
96565.
Konferenzbeitrag
Bichhawat, A.; Rajani, V.; Jain, J.; Garg, D.; Hammer, C.: WebPol: Fine-Grained Information Flow Policies for Web Browsers. In: Computer Security -- ESORICS 2017, S. 242 - 259 (Hg. Foley, S. N.; Gollmann, D.; Snekkenes, E.). 22nd European Symposium on Research in Computer Security, Oslo, Norway, 11. September 2017 - 15. September 2017. Springer, Berlin (2017)
96566.
Konferenzbeitrag
Biega, A. J.; Ghazimatin, A.; Ferhatosmanoglu, H.; Gummadi, K. P.; Weikum, G.: Learning to Un-Rank: Quantifying Search Exposure for Users in Online Communities. In: CIKM'17, S. 267 - 276. 26th ACM International Conference on Information and Knowledge Management , Singapore, Singapore, 06. November 2017 - 10. November 2017. ACM, New York, NY (2017)
96567.
Konferenzbeitrag
Biega, A. J.; Ghazimatin, A.; Ferhatosmanoglu, H.; Gummadi, K.; Weikum, G.: Learning to Un-Rank: Quantifying Search Exposure for Users in Online Communities. In: CIKM'17, S. 267 - 276. 26th ACM International Conference on Information and Knowledge Management , Singapore, Singapore, 06. November 2017 - 10. November 2017. ACM, New York, NY (2017)
96568.
Konferenzbeitrag
Biendarra, J.; Blanchette, J. C.; Bouzy, A.; Desharnais, M.; Fleury, M.; Hölzl, J.; Kunčar, O.; Lochbihler, A.; Meier, F.; Panny, L. et al.; Popescu, A.; Sternagel, C.; Thiemann, R.; Traytel, D.: Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. In: Frontiers of Combining Systems, S. 3 - 21 (Hg. Dixon, C.; Finger, M.). 11th International Symposium on Frontiers of Combining Systems, Brasília, Brazil, 27. September 2017 - 29. September 2017. Springer, Berlin (2017)
96569.
Konferenzbeitrag
Birk, M. V.; Friehs, M.; Mandryk, R. L.: Age-based preferences and player experience: A crowdsourced cross-sectional study. In: CHI PLAY 2017: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, S. 157 - 170. (2017)
96570.
Konferenzbeitrag
Birkenmeier, G.; Happel, T.; Hennequin, P.; Conway, G. D.; Manz, P.; Cavedon, M.; Medvedeva, A.; Ryter, F.; Wolfrum, E.; Stroth, U. et al.; ASDEX Upgrade Team, Max Planck Institute for Plasma Physics, Max Planck Society: Isotope dependence of limit-cycle oscillations in ASDEX Upgrade plasmas. In: 44th EPS Conference on Plasma Physics, P1.166. 44th EPS Conference on Plasma Physics, Belfast, 26. Juni 2017 - 30. Juni 2017. European Physical Society, Geneva (2017)
96571.
Konferenzbeitrag
Blanchette, J. C.; Fleury, M.; Traytel, D.: Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. In: 2nd International Conference on Formal Structures for Computation and Deduction, 1, S. 1 - 18 (Hg. Miller, D.). 2nd International Conference on Formal Structures for Computation and Deduction, Oxford, UK, 03. September 2017 - 09. September 2017. Schloss Dagstuhl, Wadern (2017)
96572.
Konferenzbeitrag
Blanchette, J. C.; Fontaine, P.; Schulz, S.; Waldmann, U.: Towards Strong Higher-Order Automation for Fast Interactive Verification. In: ARCADE 2017, S. 16 - 23 (Hg. Reger, G.; Traytel, D.). 1st International Workshop on Automated Reasoning, Gothenburg, Sweden, 06. August 2017. (2017)
96573.
Konferenzbeitrag
Bläser, M.; Jindal, G.; Pandey, A.: Greedy Strikes Again: A Deterministic PTAS for Commutative Rank of Matrix Spaces. In: 32nd Computational Complexity Conference, 33, S. 1 - 2116 (Hg. O'Donnell, R.). 32nd Computational Complexity Conference, Riga, Latvia, 06. Juli 2017 - 09. Juli 2017. Schloss Dagstuhl, Wadern (2017)
96574.
Konferenzbeitrag
Boczkowski, L.; Korman, A.; Natale, E.: Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits. In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 2540 - 2559 (Hg. Klein, P. N.). Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, 16. Januar 2017 - 19. Januar 2017. SIAM, Philadelphia, PA (2017)
96575.
Konferenzbeitrag
Bogo, F.; Romero, J.; Pons-Moll, G.; Black, M. J.: Dynamic FAUST: Registering Human Bodies in Motion. In: 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017), S. 5573 - 5582. IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017), Honolulu, HI, 21. Juli 2017 - 26. Juli 2017. IEEE, Piscataway, NJ (2017)
96576.
Konferenzbeitrag
Boldyrev, N.; Spaniol, M.; Strötgen, J.; Weikum, G.: SESAME: European Statistics Explored via Semantic Alignment onto Wikipedia. In: WWW'17 Companion, S. 177 - 181. 26th International Conference on World Wide Web , Perth, Australia, 03. April 2017 - 07. April 2017. ACM, New York, NY (2017)
96577.
Konferenzbeitrag
Bonanomi, N.; Mantica, P.; Citrin, J.; Görler, T.; JET Contributors: Impact of electron scale modes on electron heat transport in the JET tokamak. In: 44th EPS Conference on Plasma Physics, P4.168. 44th EPS Conference on Plasma Physics, Belfast, 26. Juni 2017 - 30. Juni 2017. European Physical Society, Geneva (2017)
96578.
Konferenzbeitrag
Bosker, H. R.: The role of temporal amplitude modulations in the political arena: Hillary Clinton vs. Donald Trump. In: Proceedings of Interspeech 2017, S. 2228 - 2232. Interspeech 2017, Stockholm, 20. August 2017 - 24. August 2017. (2017)
96579.
Konferenzbeitrag
Bosker, H. R.; Kösem, A.: An entrained rhythm's frequency, not phase, influences temporal sampling of speech. In: Proceedings of Interspeech 2017, S. 2416 - 2420. Interspeech 2017, Stockholm, 20. August 2017 - 24. August 2017. (2017)
96580.
Konferenzbeitrag
Boucquey, N.; Kinali, A.: Software Defined Radio Platform for Time and Frequency Metrology. In: Joint Conference of the European Frequency and Time Forum and IEEE International Frequency Control Symposium, S. 598 - 599. Joint Conference of the European Frequency and Time Forum and IEEE International Frequency Control Symposium , Besançon, France, 09. Juli 2017 - 13. Juli 2017. IEEE, Piscataway, NJ (2017)
Zur Redakteursansicht