Bock, Frederic E.; Kallien, Zina; Huber, Norbert; Klusemann, Benjamin Data-driven and physics-based modelling of process behaviour and deposit geometry for friction surfacing. (English) Zbl 07822111 Comput. Methods Appl. Mech. Eng. 418, Part A, Article ID 116453, 26 p. (2024). MSC: 92-XX 68-XX PDFBibTeX XMLCite \textit{F. E. Bock} et al., Comput. Methods Appl. Mech. Eng. 418, Part A, Article ID 116453, 26 p. (2024; Zbl 07822111) Full Text: DOI
Boche, Holger; Böck, Yannik N.; Mönich, Ullrich J. On the arithmetic complexity of the bandwidth of bandlimited signals. (English) Zbl 07818588 IEEE Trans. Inf. Theory 69, No. 1, 682-702 (2023). MSC: 94-XX PDFBibTeX XMLCite \textit{H. Boche} et al., IEEE Trans. Inf. Theory 69, No. 1, 682--702 (2023; Zbl 07818588) Full Text: DOI arXiv
Seidel, Raphael; Tcholtchev, Nikolay; Bock, Sebastian; Hauswirth, Manfred Uncomputation in the Qrisp high-level quantum programming framework. (English) Zbl 07786601 Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 150-165 (2023). MSC: 68Q09 68Q10 81P68 PDFBibTeX XMLCite \textit{R. Seidel} et al., Lect. Notes Comput. Sci. 13960, 150--165 (2023; Zbl 07786601) Full Text: DOI arXiv
Boche, Holger; Böck, Yannik N.; Deppe, Christian On the semidecidability of the remote state estimation problem. (English) Zbl 07743782 IEEE Trans. Autom. Control 68, No. 3, 1708-1714 (2023). MSC: 93-XX PDFBibTeX XMLCite \textit{H. Boche} et al., IEEE Trans. Autom. Control 68, No. 3, 1708--1714 (2023; Zbl 07743782) Full Text: DOI
Bock, Bounghun; Damron, Michael; Hanson, Jack Random nearest neighbor graphs: the translation invariant case. (English) Zbl 07699944 Ann. Inst. Henri Poincaré, Probab. Stat. 59, No. 2, 849-866 (2023). MSC: 60K35 37A50 82B43 PDFBibTeX XMLCite \textit{B. Bock} et al., Ann. Inst. Henri Poincaré, Probab. Stat. 59, No. 2, 849--866 (2023; Zbl 07699944) Full Text: DOI arXiv
Bock, Hans Georg; Kostina, Ekaterina; Sauter, Marta; Schlöder, Johannes P.; Schlöder, Matthias Numerical methods for diagnosis and therapy design of cerebral palsy by bilevel optimal control of constrained biomechanical multi-body systems. (English) Zbl 1502.49035 Hintermüller, Michael (ed.) et al., Non-smooth and complementarity-based distributed parameter systems. Simulation and hierarchical optimization. Cham: Birkhäuser. ISNM, Int. Ser. Numer. Math. 172, 21-41 (2022). MSC: 49S05 92C32 49M37 65K10 92C10 49N45 PDFBibTeX XMLCite \textit{H. G. Bock} et al., ISNM, Int. Ser. Numer. Math. 172, 21--41 (2022; Zbl 1502.49035) Full Text: DOI
Axelsen, Holger Bock; Kutrib, Martin; Malcher, Andreas Reversible shrinking two-pushdown automata. (English) Zbl 07584596 J. Autom. Lang. Comb. 27, No. 1-3, 47-77 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., J. Autom. Lang. Comb. 27, No. 1--3, 47--77 (2022; Zbl 07584596) Full Text: Link
Böck, Markus; Heitzinger, Clemens Speedy categorical distributional reinforcement learning and complexity analysis. (English) Zbl 1487.68191 SIAM J. Math. Data Sci. 4, No. 2, 675-693 (2022). MSC: 68T05 68Q25 68T42 PDFBibTeX XMLCite \textit{M. Böck} and \textit{C. Heitzinger}, SIAM J. Math. Data Sci. 4, No. 2, 675--693 (2022; Zbl 1487.68191) Full Text: DOI
Suchde, Pratik; Kraus, Heinrich; Bock-Marbach, Benjamin; Kuhnert, Joerg Meshfree One-Fluid Modelling of Liquid-Vapor Phase Transitions. arXiv:2203.10383 Preprint, arXiv:2203.10383 [physics.flu-dyn] (2022). BibTeX Cite \textit{P. Suchde} et al., ``Meshfree One-Fluid Modelling of Liquid-Vapor Phase Transitions'', Preprint, arXiv:2203.10383 [physics.flu-dyn] (2022) Full Text: arXiv OA License
Georg Bock, Hans; Kirches, Christian; Potschka, Andreas; Besselmann, Thomas; van de Moortel, Sture Increasing the reliability of multi-megawatt gas compressors. (English) Zbl 1495.00056 Bock, Hans Georg (ed.) et al., German success stories in industrial mathematics. Cham: Springer. Math. Ind. 35, 7-10 (2021). MSC: 00A69 PDFBibTeX XMLCite \textit{H. Georg Bock} et al., Math. Ind. 35, 7--10 (2021; Zbl 1495.00056) Full Text: DOI
Bock, Hans Georg (ed.); Jäger, Willi (ed.); Kostina, Ekaterina (ed.); Phu, Hoang Xuan (ed.) Modeling, simulation and optimization of complex processes, HPSC 2018. Proceedings of the 7th international conference on high performance scientific computing, Hanoi, Vietnam, March 19–23, 2018. (English) Zbl 1493.65002 Cham: Springer (ISBN 978-3-030-55239-8/hbk; 978-3-030-55242-8/pbk; 978-3-030-55240-4/ebook). viii, 405 p. (2021). MSC: 65-06 76-06 92-06 00A69 00A71 00A72 00B25 PDFBibTeX XMLCite \textit{H. G. Bock} (ed.) et al., Modeling, simulation and optimization of complex processes, HPSC 2018. Proceedings of the 7th international conference on high performance scientific computing, Hanoi, Vietnam, March 19--23, 2018. Cham: Springer (2021; Zbl 1493.65002) Full Text: DOI
Heidrich, Peter; Jayathunga, Yashika; Bock, Wolfgang; Götz, Thomas Prediction of dengue cases based on human mobility and seasonality-an example for the city of Jakarta. (English) Zbl 1484.37108 Math. Methods Appl. Sci. 44, No. 17, 13633-13658 (2021). MSC: 37N25 92D30 PDFBibTeX XMLCite \textit{P. Heidrich} et al., Math. Methods Appl. Sci. 44, No. 17, 13633--13658 (2021; Zbl 1484.37108) Full Text: DOI
Bock, Hans Georg (ed.); Küfer, Karl-Heinz (ed.); Maass, Peter (ed.); Milde, Anja (ed.); Schulz, Volker (ed.) German success stories in industrial mathematics. (English) Zbl 1481.00014 Mathematics in Industry 35. Cham: Springer (ISBN 978-3-030-81454-0/hbk; 978-3-030-81457-1/pbk; 978-3-030-81455-7/ebook). x, 167 p. (2021). MSC: 00A69 65-06 90-06 00B10 PDFBibTeX XMLCite \textit{H. G. Bock} (ed.) et al., German success stories in industrial mathematics. Cham: Springer (2021; Zbl 1481.00014) Full Text: DOI
Bock, Hans Georg (ed.); Capasso, Vincenzo (ed.); Jäger, Willi (ed.); Phu, Hoang Xuan (ed.) Preface. 4th IWR special issue on scientific computing. (English) Zbl 07341202 Vietnam J. Math. 49, No. 1, 1-2 (2021). MSC: 00B15 PDFBibTeX XMLCite \textit{H. G. Bock} (ed.) et al., Vietnam J. Math. 49, No. 1, 1--2 (2021; Zbl 07341202) Full Text: DOI
Potschka, Andreas; Bock, Hans Georg A sequential homotopy method for mathematical programming problems. (English) Zbl 1465.90100 Math. Program. 187, No. 1-2 (A), 459-486 (2021). MSC: 90C30 90C48 58C15 65K05 65K15 PDFBibTeX XMLCite \textit{A. Potschka} and \textit{H. G. Bock}, Math. Program. 187, No. 1--2 (A), 459--486 (2021; Zbl 1465.90100) Full Text: DOI arXiv
Boche, Holger; Böck, Yannik; Deppe, Christian On the Semi-Decidability of Remote State Estimation and Stabilization via Noisy Communication Channels. arXiv:2103.14477 Preprint, arXiv:2103.14477 [math.OC] (2021). BibTeX Cite \textit{H. Boche} et al., ``On the Semi-Decidability of Remote State Estimation and Stabilization via Noisy Communication Channels'', Preprint, arXiv:2103.14477 [math.OC] (2021) Full Text: arXiv OA License
Bock, Hans Georg; Gutekunst, Jürgen; Potschka, Andreas; Garcés, María Elena Suaréz A flow perspective on nonlinear least-squares problems. (English) Zbl 1470.65117 Vietnam J. Math. 48, No. 4, 987-1003 (2020). MSC: 65K05 PDFBibTeX XMLCite \textit{H. G. Bock} et al., Vietnam J. Math. 48, No. 4, 987--1003 (2020; Zbl 1470.65117) Full Text: DOI
Axelsen, Holger Bock; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Boosting reversible pushdown and queue machines by preprocessing. (English) Zbl 1458.68083 Int. J. Found. Comput. Sci. 31, No. 8, 1021-1049 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Int. J. Found. Comput. Sci. 31, No. 8, 1021--1049 (2020; Zbl 1458.68083) Full Text: DOI
Bock, Wolfgang; da Silva, Jose Luis; Suryawan, Herry Pribawanto Self-intersection local times for multifractional Brownian motion in higher dimensions: a white noise approach. (English) Zbl 1461.60061 Infin. Dimens. Anal. Quantum Probab. Relat. Top. 23, No. 1, Article ID 2050007, 18 p. (2020). MSC: 60H40 60G22 60G18 PDFBibTeX XMLCite \textit{W. Bock} et al., Infin. Dimens. Anal. Quantum Probab. Relat. Top. 23, No. 1, Article ID 2050007, 18 p. (2020; Zbl 1461.60061) Full Text: DOI
Gutekunst, Jürgen; Bock, Hans Georg; Potschka, Andreas Economic NMPC for averaged infinite horizon problems with periodic approximations. (English) Zbl 1442.93013 Automatica 117, Article ID 109001, 12 p. (2020). MSC: 93B45 93B52 93C10 PDFBibTeX XMLCite \textit{J. Gutekunst} et al., Automatica 117, Article ID 109001, 12 p. (2020; Zbl 1442.93013) Full Text: DOI
Alpirez Bock, Estuardo; Bos, Joppe W.; Brzuska, Chris; Hubain, Charles; Michiels, Wil; Mune, Cristofaro; Sanfelix Gonzalez, Eloi; Teuwen, Philippe; Treff, Alexander White-box cryptography: don’t forget about grey-box attacks. (English) Zbl 1435.94121 J. Cryptology 32, No. 4, 1095-1143 (2019). MSC: 94A60 PDFBibTeX XMLCite \textit{E. Alpirez Bock} et al., J. Cryptology 32, No. 4, 1095--1143 (2019; Zbl 1435.94121) Full Text: DOI
Bock, Felix; Bruhn, Henning Case study on scheduling cyclic conveyor belts. arXiv:1912.09724 Preprint, arXiv:1912.09724 [math.OC] (2019). BibTeX Cite \textit{F. Bock} and \textit{H. Bruhn}, ``Case study on scheduling cyclic conveyor belts'', Preprint, arXiv:1912.09724 [math.OC] (2019) Full Text: arXiv OA License
Bock, Hans Georg; Kirches, Christian; Meyer, Andreas; Potschka, Andreas Numerical solution of optimal control problems with explicit and implicit switches. (English) Zbl 1458.49024 Optim. Methods Softw. 33, No. 3, 450-474 (2018). MSC: 49M25 PDFBibTeX XMLCite \textit{H. G. Bock} et al., Optim. Methods Softw. 33, No. 3, 450--474 (2018; Zbl 1458.49024) Full Text: DOI
Rieck, Bastian; Togninalli, Matteo; Bock, Christian; Moor, Michael; Horn, Max; Gumbsch, Thomas; Borgwardt, Karsten Neural Persistence: A Complexity Measure for Deep Neural Networks Using Algebraic Topology. arXiv:1812.09764 Preprint, arXiv:1812.09764 [cs.LG] (2018). BibTeX Cite \textit{B. Rieck} et al., ``Neural Persistence: A Complexity Measure for Deep Neural Networks Using Algebraic Topology'', Preprint, arXiv:1812.09764 [cs.LG] (2018) Full Text: DOI arXiv OA License
Lahmer, T.; Bock, S.; Hildebrand, J.; Gürlebeck, K. Non-destructive identification of residual stresses in steel under thermal loadings. (English) Zbl 1390.74077 Inverse Probl. Sci. Eng. 25, No. 10, 1519-1535 (2017). MSC: 74G75 49N45 65M32 65L09 74B10 PDFBibTeX XMLCite \textit{T. Lahmer} et al., Inverse Probl. Sci. Eng. 25, No. 10, 1519--1535 (2017; Zbl 1390.74077) Full Text: DOI
Axelsen, Holger Bock; Holzer, Markus; Kutrib, Martin The degree of irreversibility in deterministic finite automata. (English) Zbl 1380.68244 Int. J. Found. Comput. Sci. 28, No. 5, 503-522 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Int. J. Found. Comput. Sci. 28, No. 5, 503--522 (2017; Zbl 1380.68244) Full Text: DOI
Bock, Hans Georg (ed.); Phu, Hoang Xuan (ed.); Rannacher, Rolf (ed.); Schlöder, Johannes P. (ed.) Modeling, simulation and optimization of complex processes HPSC 2015. Proceedings of the sixth international conference on high performance scientific computing, March 16–20, 2015, Hanoi, Vietnam. (English) Zbl 1378.65011 Cham: Springer (ISBN 978-3-319-67167-3/hbk; 978-3-319-67168-0/ebook). ix, 291 p. (2017). MSC: 65-06 76-06 92-06 00A69 00A71 00A72 00B25 PDFBibTeX XMLCite \textit{H. G. Bock} (ed.) et al., Modeling, simulation and optimization of complex processes HPSC 2015. Proceedings of the sixth international conference on high performance scientific computing, March 16--20, 2015, Hanoi, Vietnam. Cham: Springer (2017; Zbl 1378.65011) Full Text: DOI
La, H. C.; Potschka, A.; Schlöder, J. P.; Bock, H. G. Dual control and online optimal experimental design. (English) Zbl 1372.49003 SIAM J. Sci. Comput. 39, No. 4, B640-B657 (2017). MSC: 49J15 62K05 90C29 49M29 PDFBibTeX XMLCite \textit{H. C. La} et al., SIAM J. Sci. Comput. 39, No. 4, B640--B657 (2017; Zbl 1372.49003) Full Text: DOI
Bock, Hans Georg Capasso, Vincenzo (ed.); Neuss-Radu, Maria (ed.); Phu, Hoang Xuan (ed.) Preface: IWR special issue on scientific computing. Dedicated to Willi Jäger’s 75th birthday. (English) Zbl 1365.00074 Vietnam J. Math. 45, No. 1-2, 1-4 (2017). MSC: 00B30 01A70 35-06 92-06 PDFBibTeX XMLCite \textit{H. G. Bock} et al., Vietnam J. Math. 45, No. 1--2, 1--4 (2017; Zbl 1365.00074) Full Text: DOI
Schepers, Jan; Bock, Hans-Hermann; Van Mechelen, Iven Maximal interaction two-mode clustering. (English) Zbl 1364.62159 J. Classif. 34, No. 1, 49-75 (2017). MSC: 62H30 62P15 PDFBibTeX XMLCite \textit{J. Schepers} et al., J. Classif. 34, No. 1, 49--75 (2017; Zbl 1364.62159) Full Text: DOI
La, Huu Chuong; Potschka, Andreas; Bock, Hans Georg Partial stability for nonlinear model predictive control. (English) Zbl 1357.93037 Automatica 78, 14-19 (2017). MSC: 93B40 93C10 93C15 93D99 93C41 93E10 PDFBibTeX XMLCite \textit{H. C. La} et al., Automatica 78, 14--19 (2017; Zbl 1357.93037) Full Text: DOI
Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert Join inverse categories and reversible recursion. (English) Zbl 1359.68045 J. Log. Algebr. Methods Program. 87, 33-50 (2017). MSC: 68N18 18C50 18D20 68Q55 68Q65 PDFBibTeX XMLCite \textit{R. Kaarsgaard} et al., J. Log. Algebr. Methods Program. 87, 33--50 (2017; Zbl 1359.68045) Full Text: DOI
da Silva, José Luís; Suryawan, Herry Pribawanto; Bock, Wolfgang Self-intersection local times for generalized grey Brownian motion in higher dimensions. arXiv:1708.02127 Preprint, arXiv:1708.02127 [math.FA] (2017). BibTeX Cite \textit{J. L. da Silva} et al., ``Self-intersection local times for generalized grey Brownian motion in higher dimensions'', Preprint, arXiv:1708.02127 [math.FA] (2017) Full Text: arXiv OA License
Bolt, Janneke H.; De Bock, Jasper; Renooij, Silja Exploiting Bayesian network sensitivity functions for inference in credal networks. (English) Zbl 1403.68289 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 646-654 (2016). MSC: 68T37 PDFBibTeX XMLCite \textit{J. H. Bolt} et al., Front. Artif. Intell. Appl. 285, 646--654 (2016; Zbl 1403.68289) Full Text: DOI
Bock, Wolfgang; Da Silva, José Luís; Suryawan, Herry P. Local times for multifractional Brownian motion in higher dimensions: a white noise approach. (English) Zbl 1384.60075 Infin. Dimens. Anal. Quantum Probab. Relat. Top. 19, No. 4, Article ID 1650026, 16 p. (2016). MSC: 60G22 60H40 60J55 PDFBibTeX XMLCite \textit{W. Bock} et al., Infin. Dimens. Anal. Quantum Probab. Relat. Top. 19, No. 4, Article ID 1650026, 16 p. (2016; Zbl 1384.60075) Full Text: DOI arXiv
Axelsen, Holger Bock; Holzer, Markus; Kutrib, Martin The degree of irreversibility in deterministic finite automata. (English) Zbl 1379.68210 Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 15-26 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9705, 15--26 (2016; Zbl 1379.68210) Full Text: DOI
Axelsen, Holger Bock; Glück, Robert; Kaarsgaard, Robin A classical propositional logic for reasoning about reversible logic circuits. (English) Zbl 1478.68084 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 52-67 (2016). MSC: 68Q06 03B05 81P65 94C11 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9803, 52--67 (2016; Zbl 1478.68084) Full Text: DOI
Axelsen, Holger Bock; Glück, Robert On reversible Turing machines and their function universality. (English) Zbl 1348.68051 Acta Inf. 53, No. 5, 509-543 (2016). Reviewer: Gregory Loren McColm (Tampa) MSC: 68Q05 03D10 68Q10 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{R. Glück}, Acta Inf. 53, No. 5, 509--543 (2016; Zbl 1348.68051) Full Text: DOI
Axelsen, Holger Bock; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Boosting reversible pushdown machines by preprocessing. (English) Zbl 1476.68124 Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 89-104 (2016). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9720, 89--104 (2016; Zbl 1476.68124) Full Text: DOI
Axelsen, Holger Bock; Kaarsgaard, Robin Join inverse categories as models of reversible recursion. (English) Zbl 1475.68058 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 73-90 (2016). MSC: 68N18 18C50 18D20 68N30 68Q55 68Q65 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{R. Kaarsgaard}, Lect. Notes Comput. Sci. 9634, 73--90 (2016; Zbl 1475.68058) Full Text: DOI
Axelsen, Holger Bock; Holzer, Markus; Kutrib, Martin; Malcher, Andreas Reversible shrinking two-pushdown automata. (English) Zbl 1443.68080 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 579-591 (2016). MSC: 68Q45 68Q09 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9618, 579--591 (2016; Zbl 1443.68080) Full Text: DOI
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert Fundamentals of reversible flowchart languages. (English) Zbl 1332.68028 Theor. Comput. Sci. 611, 87-115 (2016). MSC: 68N30 68N15 68Q05 68Q10 PDFBibTeX XMLCite \textit{T. Yokoyama} et al., Theor. Comput. Sci. 611, 87--115 (2016; Zbl 1332.68028) Full Text: DOI
Böck, Michelle; Forsgren, Anders; Eriksson, Kjell; Hårdemark, Björn Towards Robust Adaptive Radiation Therapy Strategies. arXiv:1611.01399 Preprint, arXiv:1611.01399 [math.OC] (2016). BibTeX Cite \textit{M. Böck} et al., ``Towards Robust Adaptive Radiation Therapy Strategies'', Preprint, arXiv:1611.01399 [math.OC] (2016) Full Text: DOI arXiv OA License
Schultz, Ulrik Pagh; Laursen, Johan Sund; Ellekilde, Lars-Peter; Axelsen, Holger Bock Towards a domain-specific language for reversible assembly sequences. (English) Zbl 1464.68406 Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 111-126 (2015). MSC: 68T40 68N15 68Q55 93C85 PDFBibTeX XMLCite \textit{U. P. Schultz} et al., Lect. Notes Comput. Sci. 9138, 111--126 (2015; Zbl 1464.68406) Full Text: DOI
Axelsen, Holger Bock; Jakobi, Sebastian; Kutrib, Martin; Malcher, Andreas A hierarchy of fast reversible Turing machines. (English) Zbl 1464.68103 Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 29-44 (2015). MSC: 68Q04 68Q09 68Q15 68Q45 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9138, 29--44 (2015; Zbl 1464.68103) Full Text: DOI
Janka, Dennis; Körkel, Stefan; Bock, Hans Georg Direct multiple shooting for nonlinear optimum experimental design. (English) Zbl 1337.65108 Carraro, Thomas (ed.) et al., Multiple shooting and time domain decomposition methods. MuS-TDD, Heidelberg, Germany, May 6–8, 2013. Cham: Springer (ISBN 978-3-319-23320-8/hbk; 978-3-319-23321-5/ebook). Contributions in Mathematical and Computational Sciences 9, 115-141 (2015). MSC: 65L80 62K05 65L09 34A09 34A55 65K10 49J15 PDFBibTeX XMLCite \textit{D. Janka} et al., Contrib. Math. Comput. Sci. 9, 115--141 (2015; Zbl 1337.65108) Full Text: DOI
Bock, Hans Georg; Kostina, Ekaterina; Schlöder, Johannes P. Direct multiple shooting and generalized Gauss-Newton method for parameter estimation problems in ODE models. (English) Zbl 1337.65081 Carraro, Thomas (ed.) et al., Multiple shooting and time domain decomposition methods. MuS-TDD, Heidelberg, Germany, May 6–8, 2013. Cham: Springer (ISBN 978-3-319-23320-8/hbk; 978-3-319-23321-5/ebook). Contributions in Mathematical and Computational Sciences 9, 1-34 (2015). MSC: 65L09 34A55 34B15 65L20 65L70 PDFBibTeX XMLCite \textit{H. G. Bock} et al., Contrib. Math. Comput. Sci. 9, 1--34 (2015; Zbl 1337.65081) Full Text: DOI
Bock, S.; Gürlebeck, K.; Legatiuk, D.; Nguyen, H. M. \(\psi\)-hyperholomorphic functions and a Kolosov-Muskhelishvili formula. (English) Zbl 1338.30043 Math. Methods Appl. Sci. 38, No. 18, 5114-5123 (2015). Reviewer: Wolfgang Sprößig (Freiberg) MSC: 30G35 74B05 PDFBibTeX XMLCite \textit{S. Bock} et al., Math. Methods Appl. Sci. 38, No. 18, 5114--5123 (2015; Zbl 1338.30043) Full Text: DOI
Axelsen, Holger Bock; Yokoyama, Tetsuo Programming techniques for reversible comparison sorts. (English) Zbl 1329.68090 Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 407-426 (2015). MSC: 68P10 68N15 68N30 68Q05 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{T. Yokoyama}, Lect. Notes Comput. Sci. 9458, 407--426 (2015; Zbl 1329.68090) Full Text: DOI
Mommer, Mario S.; Sommer, Andreas; Schlöder, Johannes P.; Bock, H. Georg A nonlinear preconditioner for optimum experimental design problems. (English) Zbl 1317.90281 EURO J. Comput. Optim. 3, No. 2, 131-146 (2015). MSC: 90C30 90C55 62K99 PDFBibTeX XMLCite \textit{M. S. Mommer} et al., EURO J. Comput. Optim. 3, No. 2, 131--146 (2015; Zbl 1317.90281) Full Text: DOI arXiv
Challacombe, Matt; Haut, Terry; Bock, Nicolas A \(N\)-Body Solver for Square Root Iteration. arXiv:1508.05856 Preprint, arXiv:1508.05856 [cs.NA] (2015). BibTeX Cite \textit{M. Challacombe} et al., ``A $N$-Body Solver for Square Root Iteration'', Preprint, arXiv:1508.05856 [cs.NA] (2015) Full Text: arXiv OA License
Lenz, Simon M.; Schlöder, Johannes P.; Bock, H. Georg Numerical computation of derivatives in systems of delay differential equations. (English) Zbl 07312546 Math. Comput. Simul. 96, 124-156 (2014). MSC: 65-XX 34-XX PDFBibTeX XMLCite \textit{S. M. Lenz} et al., Math. Comput. Simul. 96, 124--156 (2014; Zbl 07312546) Full Text: DOI
Bock, Hans-Hermann (ed.); Ingrassia, Salvatore (ed.); Vermunt, Jeroen K. (ed.) Special issue on “Model-based clustering and classification”. II. (English) Zbl 1489.00022 Adv. Data Anal. Classif., ADAC 8, No. 1, 1-3 (2014). MSC: 00B15 62-06 62H30 00B25 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 8, No. 1, 1--3 (2014; Zbl 1489.00022) Full Text: DOI
Behrens, Malte; Bock, Hans Georg; Engell, Sebastian; Khobkhun, Phawitphorn; Potschka, Andreas Real-time PDE constrained optimal control of a periodic multicomponent separation process. (English) Zbl 1322.49053 Leugering, Günter (ed.) et al., Trends in PDE constrained optimization. Cham: Birkhäuser/Springer (ISBN 978-3-319-05082-9/hbk; 978-3-319-05083-6/ebook). ISNM. International Series of Numerical Mathematics 165, 521-537 (2014). MSC: 49M30 49M15 49J20 49N90 65K10 92E20 35Q93 PDFBibTeX XMLCite \textit{M. Behrens} et al., ISNM, Int. Ser. Numer. Math. 165, 521--537 (2014; Zbl 1322.49053) Full Text: DOI
Ferreau, Hans Joachim; Kirches, Christian; Potschka, Andreas; Bock, Hans Georg; Diehl, Moritz qpOASES: a parametric active-set algorithm for quadratic programming. (English) Zbl 1302.90146 Math. Program. Comput. 6, No. 4, 327-363 (2014). MSC: 90C20 65K05 PDFBibTeX XMLCite \textit{H. J. Ferreau} et al., Math. Program. Comput. 6, No. 4, 327--363 (2014; Zbl 1302.90146) Full Text: DOI
Nguyen, H. M.; Gürlebeck, K.; Morais, J.; Bock, S. On orthogonal monogenics in oblate spheroidal domains and recurrence formulae. (English) Zbl 1305.30025 Integral Transforms Spec. Funct. 25, No. 7, 513-527 (2014). Reviewer: Michael Shapiro (México D. F.) MSC: 30G35 42C05 33E10 PDFBibTeX XMLCite \textit{H. M. Nguyen} et al., Integral Transforms Spec. Funct. 25, No. 7, 513--527 (2014; Zbl 1305.30025) Full Text: DOI
Beigel, Dörte; Mommer, Mario S.; Wirsching, Leonard; Bock, Hans Georg Approximation of weak adjoints by reverse automatic differentiation of BDF methods. (English) Zbl 1293.65101 Numer. Math. 126, No. 3, 383-412 (2014). Reviewer: Seenith Sivasundaram (Daytona Beach) MSC: 65L06 65L60 49K40 65L20 34A34 PDFBibTeX XMLCite \textit{D. Beigel} et al., Numer. Math. 126, No. 3, 383--412 (2014; Zbl 1293.65101) Full Text: DOI arXiv
Bock, Hans-Hermann (ed.); Ingrassia, Salvatore (ed.); Vermunt, Jeroen K. (ed.) Special issue on “Model-based clustering and classification”. (English) Zbl 1489.00023 Adv. Data Anal. Classif., ADAC 7, No. 3, 237-240 (2013). MSC: 00B15 62-06 62H30 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 7, No. 3, 237--240 (2013; Zbl 1489.00023) Full Text: DOI
Axelsen, Holger Bock; Thomsen, Michael Kirkedal Garbage-free reversible integer multiplication with constants of the form \(2^{k}\pm 2^{l}\pm 1\). (English) Zbl 1407.65334 Glück, Robert (ed.) et al., Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2–3, 2012. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 7581, 171-182 (2013). MSC: 65Y04 94C10 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{M. K. Thomsen}, Lect. Notes Comput. Sci. 7581, 171--182 (2013; Zbl 1407.65334) Full Text: DOI
Schmidt, Andreas; Potschka, Andreas; Körkel, Stefan; Bock, Hans Georg Derivative-extended POD reduced-order modeling for parameter estimation. (English) Zbl 1285.65039 SIAM J. Sci. Comput. 35, No. 6, A2696-A2717 (2013). MSC: 65K10 49J20 49M15 35K58 PDFBibTeX XMLCite \textit{A. Schmidt} et al., SIAM J. Sci. Comput. 35, No. 6, A2696--A2717 (2013; Zbl 1285.65039) Full Text: DOI
Axelsen, Holger Bock; Glück, Robert Reversible representation and manipulation of constructor terms in the heap. (English) Zbl 1407.68105 Dueck, Gerhard W. (ed.) et al., Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7948, 96-109 (2013). MSC: 68P05 68N15 68N18 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{R. Glück}, Lect. Notes Comput. Sci. 7948, 96--109 (2013; Zbl 1407.68105) Full Text: DOI
Rotenberg, Eva; Cranch, James; Thomsen, Michael Kirkedal; Axelsen, Holger Bock Strength of the reversible, garbage-free \(2^{k } \pm 1\) multiplier. (English) Zbl 1407.65335 Dueck, Gerhard W. (ed.) et al., Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7948, 46-57 (2013). MSC: 65Y04 11Y16 94C10 PDFBibTeX XMLCite \textit{E. Rotenberg} et al., Lect. Notes Comput. Sci. 7948, 46--57 (2013; Zbl 1407.65335) Full Text: DOI
Beaudouin, J.; Mommer, Mario S.; Bock, Hans Georg; Eils, Roland Experiment setups and parameter estimation in fluorescence recovery after photobleaching experiments: a review of current practice. (English) Zbl 1305.62364 Bock, Hans Georg (ed.) et al., Model based parameter estimation. Theory and applications. Based on the workshop on parameter estimation, Heidelberg, Germany, 2009. Berlin: Springer (ISBN 978-3-642-30366-1/hbk; 978-3-642-30367-8/ebook). Contributions in Mathematical and Computational Sciences 4, 157-169 (2013). MSC: 62P10 62G05 PDFBibTeX XMLCite \textit{J. Beaudouin} et al., Contrib. Math. Comput. Sci. 4, 157--169 (2013; Zbl 1305.62364) Full Text: DOI
Bock, Hans Georg; Körkel, Stefan; Schlöder, Johannes P. Parameter estimation and optimum experimental design for differential equation models. (English) Zbl 1269.65014 Bock, Hans Georg (ed.) et al., Model based parameter estimation. Theory and applications. Based on the workshop on parameter estimation, Heidelberg, Germany, 2009. Berlin: Springer (ISBN 978-3-642-30366-1/hbk; 978-3-642-30367-8/ebook). Contributions in Mathematical and Computational Sciences 4, 1-30 (2013). MSC: 65C60 62F10 65L80 65K10 49J15 49M15 62K05 PDFBibTeX XMLCite \textit{H. G. Bock} et al., Contrib. Math. Comput. Sci. 4, 1--30 (2013; Zbl 1269.65014) Full Text: DOI
Phu, H. X.; Bock, H. G. A common regularization for three reservoir optimal control problems. (English) Zbl 1266.49074 J. Optim. Theory Appl. 157, No. 1, 199-228 (2013). MSC: 49N90 49K40 PDFBibTeX XMLCite \textit{H. X. Phu} and \textit{H. G. Bock}, J. Optim. Theory Appl. 157, No. 1, 199--228 (2013; Zbl 1266.49074) Full Text: DOI
Kirches, Christian; Potschka, Andreas; Bock, Hans Georg; Sager, Sebastian A parametric active-set method for qps with vanishing constraints arising in a robot motion planning problem. (English) Zbl 1270.90042 Pac. J. Optim. 9, No. 2, 275-299 (2013). MSC: 90C20 90C26 90C55 PDFBibTeX XMLCite \textit{C. Kirches} et al., Pac. J. Optim. 9, No. 2, 275--299 (2013; Zbl 1270.90042) Full Text: Link
Bock, Hans Georg Carraro, Thomas (ed.); Jäger, Willi (ed.); Körkel, Stefan (ed.); Rannacher, Rolf (ed.); Schlöder, Johannes P. (ed.) Model based parameter estimation. Theory and applications. Based on the workshop on parameter estimation, Heidelberg, Germany, 2009. (English) Zbl 1261.65002 Contributions in Mathematical and Computational Sciences 4. Berlin: Springer (ISBN 978-3-642-30366-1/hbk; 978-3-642-30367-8/ebook). x, 334 p. (2013). MSC: 65-06 62-06 49-06 68-06 90-06 92-06 00A69 00B25 PDFBibTeX XMLCite \textit{H. G. Bock} et al., Model based parameter estimation. Theory and applications. Based on the workshop on parameter estimation, Heidelberg, Germany, 2009. Berlin: Springer (2013; Zbl 1261.65002) Full Text: DOI
Bock, Hans Georg; Potschka, Andreas; Sager, Sebastian; Schlöder, Johannes P. On the connection between forward and optimization problem in one-shot one-step methods. (English) Zbl 1356.49054 Leugering, Günter (ed.) et al., Constrained optimization and optimal control for partial differential equations. Basel: Birkhäuser (ISBN 978-3-0348-0132-4/hbk; 978-3-0348-0133-1/ebook). ISNM. International Series of Numerical Mathematics 160, 37-49 (2012). MSC: 49M30 65K05 35Q93 49M05 PDFBibTeX XMLCite \textit{H. G. Bock} et al., ISNM, Int. Ser. Numer. Math. 160, 37--49 (2012; Zbl 1356.49054) Full Text: DOI
Bock, Stefan; Briskorn, Dirk; Horbach, Andrei Scheduling flexible maintenance activities subject to job-dependent machine deterioration. (English) Zbl 1280.90031 J. Sched. 15, No. 5, 565-578 (2012). MSC: 90B35 68M20 68Q25 PDFBibTeX XMLCite \textit{S. Bock} et al., J. Sched. 15, No. 5, 565--578 (2012; Zbl 1280.90031) Full Text: DOI
Hatz, Kathrin; Schlöder, Johannes P.; Bock, Hans Georg Estimating parameters in optimal control problems. (English) Zbl 1246.49024 SIAM J. Sci. Comput. 34, No. 3, A1707-A1728 (2012). MSC: 49K45 93E10 49K15 49M05 49M15 49N45 PDFBibTeX XMLCite \textit{K. Hatz} et al., SIAM J. Sci. Comput. 34, No. 3, A1707--A1728 (2012; Zbl 1246.49024) Full Text: DOI
Potschka, A.; Mommer, M. S.; Schlöder, J. P.; Bock, H. G. Newton-Picard-based preconditioning for linear-quadratic optimization problems with time-periodic parabolic PDE constraints. (English) Zbl 1266.65104 SIAM J. Sci. Comput. 34, No. 2, A1214-A1239 (2012). Reviewer: John T. Coletsos (Athens) MSC: 65K10 65F08 49J20 49N10 49M15 PDFBibTeX XMLCite \textit{A. Potschka} et al., SIAM J. Sci. Comput. 34, No. 2, A1214--A1239 (2012; Zbl 1266.65104) Full Text: DOI
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert Towards a reversible functional language. (English) Zbl 1407.68075 De Vos, Alexis (ed.) et al., Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 7165, 14-29 (2012). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{T. Yokoyama} et al., Lect. Notes Comput. Sci. 7165, 14--29 (2012; Zbl 1407.68075) Full Text: DOI
Axelsen, Holger Bock Time complexity of tape reduction for reversible Turing machines. (English) Zbl 1451.68120 De Vos, Alexis (ed.) et al., Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 7165, 1-13 (2012). MSC: 68Q10 68Q04 68Q15 68Q25 PDFBibTeX XMLCite \textit{H. B. Axelsen}, Lect. Notes Comput. Sci. 7165, 1--13 (2012; Zbl 1451.68120) Full Text: DOI
Sager, Sebastian; Bock, Hans Georg; Diehl, Moritz The integer approximation error in mixed-integer optimal control. (English) Zbl 1259.90077 Math. Program. 133, No. 1-2 (A), 1-23 (2012). Reviewer: Petrica Pop (Baia Mare) MSC: 90C11 49J30 PDFBibTeX XMLCite \textit{S. Sager} et al., Math. Program. 133, No. 1--2 (A), 1--23 (2012; Zbl 1259.90077) Full Text: DOI
Axelsen, Holger Bock Reversible multi-head finite automata characterize reversible logarithmic space. (English) Zbl 1351.68132 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5–9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 95-105 (2012). MSC: 68Q45 68Q05 68Q15 PDFBibTeX XMLCite \textit{H. B. Axelsen}, Lect. Notes Comput. Sci. 7183, 95--105 (2012; Zbl 1351.68132) Full Text: DOI
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert Optimizing reversible simulation of injective functions. (English) Zbl 1236.68068 J. Mult.-Val. Log. Soft Comput. 18, No. 1, 5-24 (2012). MSC: 68Q10 68N01 68U20 PDFBibTeX XMLCite \textit{T. Yokoyama} et al., J. Mult.-Val. Log. Soft Comput. 18, No. 1, 5--24 (2012; Zbl 1236.68068)
Gómez-Bock, M.; Hernández, E.; Mondragón, A.; Mondragón, M. CP violation of the neutral Higgs bosons in a THDM and MSSM. (English) Zbl 1331.81367 Ayala, Alejandro (ed.) et al., XII Mexican workshop on particles and fields, Mazatlán, Mexico, 9–14 November 2009. Selected papers based on the presentations at the workshop. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0919-4/pbk). AIP Conference Proceedings 1361, 284-287 (2011). MSC: 81V22 81T60 81R05 PDFBibTeX XMLCite \textit{M. Gómez-Bock} et al., AIP Conf. Proc. 1361, 284--287 (2011; Zbl 1331.81367) Full Text: DOI
Bock, Hans-Hermann (ed.); Gaul, Wolfgang (ed.); Okada, Akinori (ed.); Vichi, Maurizio (ed.) Editorial. (English) Zbl 1284.00060 Adv. Data Anal. Classif., ADAC 5, No. 1, 1-2 (2011). MSC: 00B15 62-06 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 5, No. 1, 1--2 (2011; Zbl 1284.00060) Full Text: DOI
Kirches, Christian; Bock, Hans Georg; Schlöder, Johannes P.; Sager, Sebastian A factorization with update procedures for a KKT matrix arising in direct optimal control. (English) Zbl 1276.90046 Math. Program. Comput. 3, No. 4, 319-348 (2011). MSC: 90C20 90C30 93B40 15A23 65F05 PDFBibTeX XMLCite \textit{C. Kirches} et al., Math. Program. Comput. 3, No. 4, 319--348 (2011; Zbl 1276.90046) Full Text: DOI
Félix-Beltrán, O.; Gómez-Bock, M.; Hernández, E.; Mondragón, A.; Mondragón, M. Exceptional point of the neutral heavy Higgs system \(H_{2}\)–\(H_{3}\). (English) Zbl 1226.81305 Int. J. Theor. Phys. 50, No. 7, 2291-2303 (2011). MSC: 81V22 PDFBibTeX XMLCite \textit{O. Félix-Beltrán} et al., Int. J. Theor. Phys. 50, No. 7, 2291--2303 (2011; Zbl 1226.81305) Full Text: DOI
Kirches, Christian; Bock, Hans Georg; Schlöder, Johannes P.; Sager, Sebastian Block-structured quadratic programming for the direct multiple shooting method for optimal control. (English) Zbl 1226.90139 Optim. Methods Softw. 26, No. 2, 239-257 (2011). MSC: 90C55 90C20 49M25 PDFBibTeX XMLCite \textit{C. Kirches} et al., Optim. Methods Softw. 26, No. 2, 239--257 (2011; Zbl 1226.90139) Full Text: DOI
Potschka, Andreas; Logist, Filip; Van Impe, Jan F.; Bock, Hans Georg Tracing the Pareto frontier in bi-objective optimization problems by ODE techniques. (English) Zbl 1217.65110 Numer. Algorithms 57, No. 2, 217-233 (2011). MSC: 65K05 90C29 PDFBibTeX XMLCite \textit{A. Potschka} et al., Numer. Algorithms 57, No. 2, 217--233 (2011; Zbl 1217.65110) Full Text: DOI Link
Axelsen, Holger Bock; Glück, Robert A simple and efficient universal reversible Turing machine. (English) Zbl 1330.68066 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 117-128 (2011). MSC: 68Q05 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{R. Glück}, Lect. Notes Comput. Sci. 6638, 117--128 (2011; Zbl 1330.68066) Full Text: DOI
Axelsen, Holger Bock; Glück, Robert What do reversible programs compute? (English) Zbl 1326.68134 Hofmann, Martin (ed.), Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19804-5/pbk). Lecture Notes in Computer Science 6604, 42-56 (2011). MSC: 68Q05 PDFBibTeX XMLCite \textit{H. B. Axelsen} and \textit{R. Glück}, Lect. Notes Comput. Sci. 6604, 42--56 (2011; Zbl 1326.68134) Full Text: DOI
Bock, Hans-Hermann (ed.) Editorial. (English) Zbl 1306.00033 Adv. Data Anal. Classif., ADAC 4, No. 1, 1-2 (2010). MSC: 00B15 62-06 62H30 62J07 62J12 62J15 62P10 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.), Adv. Data Anal. Classif., ADAC 4, No. 1, 1--2 (2010; Zbl 1306.00033) Full Text: DOI
Bock, Hans-Hermann (ed.); Gaul, Wolfgang (ed.); Okada, Akinori (ed.); Vichi, Maurizio (ed.) Editorial. (English) Zbl 1284.00059 Adv. Data Anal. Classif., ADAC 4, No. 4, 221-222 (2010). MSC: 00B15 62-06 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 4, No. 4, 221--222 (2010; Zbl 1284.00059) Full Text: DOI
Grüne, Lars; Sager, Sebastian; Allgöwer, Frank; Bock, Hans Georg; Diehl, Moritz Predictive planning and systematic action-on the control of technical processes. (English) Zbl 1202.00018 Grötschel, Martin (ed.) et al., Production factor mathematics. Berlin: Springer (ISBN 978-3-642-11247-8/pbk; 978-3-642-11248-5/ebook). 9-37 (2010). MSC: 00A09 93-03 01A55 01A60 PDFBibTeX XMLCite \textit{L. Grüne} et al., in: Production factor mathematics. Berlin: Springer. 9--37 (2010; Zbl 1202.00018) Full Text: DOI
Bock, Lars; Grubmüller, Helmut Molecular dynamics simulation of the nascent peptide chain in the ribosomal exit tunnel. (English) Zbl 1201.92014 Wagner, Siegfried (ed.) et al., High performance computing in science and engineering, Garching/Munich 2009. Transactions of the fourth joint HLRB and KONWIHR review and results workshop, Leibniz Supercomputing Centre, Garching/Munich, Germany, December 8–9, 2009. Berlin: Springer (ISBN 978-3-642-13871-3/hbk; 978-3-642-13872-0/ebook). 747-755 (2010). MSC: 92C05 92C40 92-08 PDFBibTeX XMLCite \textit{L. Bock} and \textit{H. Grubmüller}, in: High performance computing in science and engineering, Garching/Munich 2009. Transactions of the fourth joint HLRB and KONWIHR review and results workshop, Leibniz Supercomputing Centre, Garching/Munich, Germany, December 8--9, 2009. Berlin: Springer. 747--755 (2010; Zbl 1201.92014) Full Text: DOI
Kirches, Christian; Sager, Sebastian; Bock, Hans Georg; Schlöder, Johannes P. Time-optimal control of automobile test drives with gear shifts. (English) Zbl 1204.49033 Optim. Control Appl. Methods 31, No. 2, 137-153 (2010). MSC: 49M37 90C11 93A30 90C57 PDFBibTeX XMLCite \textit{C. Kirches} et al., Optim. Control Appl. Methods 31, No. 2, 137--153 (2010; Zbl 1204.49033) Full Text: DOI
Diehl, Moritz; Walther, Andrea; Bock, Hans Georg; Kostina, Ekaterina An adjoint-based SQP algorithm with quasi-Newton Jacobian updates for inequality constrained optimization. (English) Zbl 1197.49034 Optim. Methods Softw. 25, No. 4, 531-552 (2010). MSC: 49M37 90C53 65K05 49M05 49N10 PDFBibTeX XMLCite \textit{M. Diehl} et al., Optim. Methods Softw. 25, No. 4, 531--552 (2010; Zbl 1197.49034) Full Text: DOI
Thomsen, Michael Kirkedal; Glück, Robert; Axelsen, Holger Bock Reversible arithmetic logic unit for quantum arithmetic. (English) Zbl 1198.81070 J. Phys. A, Math. Theor. 43, No. 38, Article ID 382002, 10 p. (2010). MSC: 81P68 68M07 68Q12 PDFBibTeX XMLCite \textit{M. K. Thomsen} et al., J. Phys. A, Math. Theor. 43, No. 38, Article ID 382002, 10 p. (2010; Zbl 1198.81070) Full Text: DOI
Bock, Hans-Hermann (ed.) Editorial. (English) Zbl 1306.00040 Adv. Data Anal. Classif., ADAC 3, No. 3, 185-187 (2009). MSC: 00B25 62-06 62H30 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.), Adv. Data Anal. Classif., ADAC 3, No. 3, 185--187 (2009; Zbl 1306.00040) Full Text: DOI
Bock, Hans-Hermann (ed.); Gaul, Wolfgang (ed.); Okada, Akinori (ed.); Vichi, Maurizio (ed.) Editorial. (English) Zbl 1284.00058 Adv. Data Anal. Classif., ADAC 3, No. 2, 93-94 (2009). MSC: 00B15 92-06 62-06 92D10 62Hxx PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 3, No. 2, 93--94 (2009; Zbl 1284.00058) Full Text: DOI
Thomsen, Michael Kirkedal; Axelsen, Holger Bock Parallelization of reversible ripple-carry adders. (English) Zbl 1519.68080 Parallel Process. Lett. 19, No. 2, 205-222 (2009). MSC: 68Q06 68Q10 PDFBibTeX XMLCite \textit{M. K. Thomsen} and \textit{H. B. Axelsen}, Parallel Process. Lett. 19, No. 2, 205--222 (2009; Zbl 1519.68080) Full Text: DOI
Albersmeyer, Jan; Beigel, Dörte; Kirches, Christian; Wirsching, Leonard; Bock, Hans Georg; Schlöder, Johannes P. Fast nonlinear model predictive control with an application in automotive engineering. (English) Zbl 1195.93036 Magni, Lalo (ed.) et al., Nonlinear model predictive control. Towards new challenging applications. Selected papers based on the presentations at the international workshop on assessment and future directions of nonlinear model predictive control (NMPC08), Pavia, Italy, September 5–9, 2008. Berlin: Springer (ISBN 978-3-642-01093-4/hbk; 978-3-642-01094-1/ebook). Lecture Notes in Control and Information Sciences 384, 471-480 (2009). MSC: 93B40 93B52 93C10 PDFBibTeX XMLCite \textit{J. Albersmeyer} et al., Lect. Notes Control Inf. Sci. 384, 471--480 (2009; Zbl 1195.93036) Full Text: DOI
Bock, Hans-Hermann (ed.); Gaul, Wolfgang (ed.); Okada, Akinori (ed.); Vichi, Maurizio (ed.) Editorial. (English) Zbl 1288.00057 Adv. Data Anal. Classif., ADAC 3, No. 1, 1-2 (2009). MSC: 00B15 68-06 62-06 62H30 68T05 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 3, No. 1, 1--2 (2009; Zbl 1288.00057) Full Text: DOI
Holmström, Erik; Bock, Nicolas; Brännlund, Johan Modularity density of network community divisions. (English) Zbl 1169.91436 Physica D 238, No. 14, 1161-1167 (2009). MSC: 91D30 PDFBibTeX XMLCite \textit{E. Holmström} et al., Physica D 238, No. 14, 1161--1167 (2009; Zbl 1169.91436) Full Text: DOI
Sager, Sebastian; Bock, Hans Georg; Reinelt, Gerhard Direct methods with maximal lower bound for mixed-integer optimal control problems. (English) Zbl 1160.49032 Math. Program. 118, No. 1 (A), 109-149 (2009). MSC: 49M25 90C11 PDFBibTeX XMLCite \textit{S. Sager} et al., Math. Program. 118, No. 1 (A), 109--149 (2009; Zbl 1160.49032) Full Text: DOI
Potschka, Andreas; Bock, Hans Georg; Schlöder, Johannes P. A minima tracking variant of semi-infinite programming for the treatment of path constraints within direct solution of optimal control problems. (English) Zbl 1286.49005 Optim. Methods Softw. 24, No. 2, 237-252 (2009). MSC: 49J15 65K05 78M50 90C34 PDFBibTeX XMLCite \textit{A. Potschka} et al., Optim. Methods Softw. 24, No. 2, 237--252 (2009; Zbl 1286.49005) Full Text: DOI
Bock, Hans-Hermann (ed.); Gaul, Wolfgang (ed.); Okada, Akinori (ed.); Vichi, Maurizio (ed.) Editorial. (English) Zbl 1306.00034 Adv. Data Anal. Classif., ADAC 2, No. 2, 107-108 (2008). MSC: 00B15 62-06 62H30 PDFBibTeX XMLCite \textit{H.-H. Bock} (ed.) et al., Adv. Data Anal. Classif., ADAC 2, No. 2, 107--108 (2008; Zbl 1306.00034) Full Text: DOI