×

Found 116 Documents (Results 1–100)

Checking individual agent behaviours in Markov population models by fluid approximation. (English) Zbl 1380.68269

Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 113-149 (2013).

Self organization for area coverage maximization and energy conservation in mobile ad hoc networks. (English) Zbl 1350.68026

Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 49-73 (2012).
MSC:  68M10 60J20 68T20
Full Text: DOI

Merging and stability for time inhomogeneous finite Markov chains. (English) Zbl 1235.60090

Blath, Jochen (ed.) et al., Surveys in stochastic processes. Selected papers based on the presentations at the 33rd conference on stochastic processes and their applications, Berlin, Germany, July 27–31, 2009. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-072-2/hbk). EMS Series of Congress Reports, 127-151 (2011).
MSC:  60J10 37L40

Bak-Sneppen type models and coagulation-fragmentation processes. (English) Zbl 1167.82379

Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics 2008, Psalidi, Kos, Greece, 16–20 September 2008. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0576-9/hbk). AIP Conference Proceedings 1048, 922-925 (2008).
MSC:  82D60 60J20

Prospects for simulated annealing algorithms in automatic differentiation. (English) Zbl 1054.90063

Steinhöfel, Kathleen (ed.), Stochastic algorithms: Foundations and applications. International symposium, SAGA 2001, Berlin, Germany, December 13–14, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43025-3). Lect. Notes Comput. Sci. 2264, 131-144 (2001).

Filter Results by …

Document Type

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