×

Found 122 Documents (Results 1–100)

Sufficient conditions of optimality for forward-backward doubly SDEs with jumps. (English) Zbl 1403.93193

Eddahbi, M’hamed (ed.) et al., Statistical methods and applications in insurance and finance. CIMPA school, Marrakech and Kelaat M’gouna, Morocco, April 8–20, 2013. Cham: Springer (ISBN 978-3-319-30416-8/hbk; 978-3-319-30417-5/ebook). Springer Proceedings in Mathematics & Statistics 158, 173-191 (2016).
MSC:  93E20 49K45 60H10 60J75
Full Text: DOI

Bayesian inversion by omega-complete cone duality (invited paper). (English) Zbl 1392.68294

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 1, 15 p. (2016).
MSC:  68Q85 18A40 18B30 60A10 60J35 68Q87
Full Text: DOI

Timed transition systems with independence and marked Scott domains: an adjunction. (English) Zbl 1336.68180

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 86-94 (2012).
Full Text: DOI

Real-time stable event structures and marked Scott domains: An adjunction. (English) Zbl 1185.68442

Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 443-450 (2007).
Full Text: DOI

Backwards differentiation in AD and neural nets: past links and new opportunities. (English) Zbl 1270.65015

Bücker, Martin (ed.) et al., Automatic differentiation: Applications, theory, and implementations. Selected papers based on the presentation at the 4th international conference on automatic differentiation (AD), Chicago, IL, USA, July 20–23, 2004. Berlin: Springer (ISBN 3-540-28403-6/pbk). Lecture Notes in Computational Science and Engineering 50, 15-34 (2006).
MSC:  65D25 93C83

Graph transactions as processes. (English) Zbl 1156.68416

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 199-214 (2006).
MSC:  68Q42 68Q85 18A40
Full Text: DOI

Concise graphs and functional bisimulations. (English) Zbl 1271.68176

Hildebrandt, T. (ed.) et al., CONCUR 2003: CMCIM and GETCO. Proceedings of the 2nd workshop on categorical methods for concurrency, interaction and mobility and the 5th workshop on geometric and topological methods in concurrency, Marseille, France, September 6, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 100, 5-29 (2004).
MSC:  68Q85 18A40

Petri nets and automata with concurrency relations. – An adjunction. (English) Zbl 0795.18003

Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 69-87 (1993).
Reviewer: K.Peeva (Sofia)

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

all top 3

Software