×

Found 1,895 Documents (Results 501–600)

Applied mathematical models and experimental approaches in chemical science. (English) Zbl 1349.92002

Innovations in Chemical Physics and Mesoscopy. Boca Raton, FL: CRC Press/Apple Academic Press (ISBN 978-1-77188-382-5/hbk; 978-1-77188-383-2/ebook). xxiv, 403 p. (2017).
PDFBibTeX XMLCite
Full Text: Link

To do something else. (English) Zbl 1418.03090

Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 109-122 (2016).
MSC:  03B45
PDFBibTeX XMLCite

Optimal control of a two-server heterogeneous queueing system with breakdowns and constant retrials. (English) Zbl 1405.90047

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 15th international scientific conference, ITMM 2016, named after A. F. Terpugov, Katun, Russia, September 12–16, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-44614-1/pbk; 978-3-319-44615-8/ebook). Communications in Computer and Information Science 638, 57-72 (2016).
MSC:  90B22 90C40 90C39
PDFBibTeX XMLCite
Full Text: DOI Link

Vector model of wind for performance analysis of stand-alone wind power systems. (English. Russian original) Zbl 1383.93071

J. Comput. Syst. Sci. Int. 55, No. 3, 404-411 (2016); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2016, No. 3, 76-83 (2016).
MSC:  93E03 93C10 93E10 93A30 93C95
PDFBibTeX XMLCite
Full Text: DOI

Causally consistent dynamic slicing. (English) Zbl 1392.68313

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 18, 15 p. (2016).
MSC:  68Q85 06A15 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Environmental bisimulations for delimited-control operators with dynamic prompt generation. (English) Zbl 1388.68021

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 9, 17 p. (2016).
MSC:  68N30 68N18 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Mathematical modelling of cutting process system. (English) Zbl 1356.74147

Silvestrov, Sergei (ed.) et al., Engineering mathematics I. Electromagnetics, fluid mechanics, material physics and financial engineering. Cham: Springer (ISBN 978-3-319-42081-3/hbk; 978-3-319-42082-0/ebook). Springer Proceedings in Mathematics & Statistics 178, 173-186 (2016).
MSC:  74M15 74R10 74R20
PDFBibTeX XMLCite
Full Text: DOI

Propositional dynamic logic for Petri nets with iteration. (English) Zbl 1401.68219

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 441-456 (2016).
MSC:  68Q85 03B45 03B70
PDFBibTeX XMLCite
Full Text: DOI

Dynamics security policies and process opacity for timed process algebras. (English) Zbl 1461.68134

Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9609, 149-157 (2016).
MSC:  68Q85 68M25
PDFBibTeX XMLCite
Full Text: DOI

Exhaustive study of the noise-induced phase transition in a stochastic model of self-catalyzed reactions. (English. Russian original) Zbl 1349.82049

Theor. Math. Phys. 188, No. 2, 1236-1252 (2016); translation from Teor. Mat. Fiz. 188, No. 2, 318-336 (2016).
MSC:  82C31 82C27 82C26
PDFBibTeX XMLCite
Full Text: DOI

Duality relations for the periodic ASEP conditioned on a low current. (English) Zbl 1353.82045

Gonçalves, Patrícia (ed.) et al., From particle systems to partial differential equations III. Particle systems and PDEs III, Braga, Portugal, December 2014. Cham: Springer (ISBN 978-3-319-32142-4/hbk; 978-3-319-32144-8/ebook). Springer Proceedings in Mathematics & Statistics 162, 323-350 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model checking reconfigurable Petri nets with Maude. (English) Zbl 1344.68141

Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 54-70 (2016).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Monte-Carlo methods and stochastic processes. From linear to non-linear. (English) Zbl 1359.65012

Boca Raton, FL: CRC Press (ISBN 978-1-4987-4622-9/hbk; 978-1-315-36875-7/ebook). xxv, 309 p. (2016).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software