×

Found 272 Documents (Results 1–100)

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software