×

Found 83 Documents (Results 1–83)

Monte Carlo methods for process algebra. (English) Zbl 1316.68075

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 203-207 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Bisimulation and simulation relations for Markov chains. (English) Zbl 1316.68085

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 73-78 (2006).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Modularity in coalgebra. (English) Zbl 1276.68109

Ghani, Neil (ed.) et al., Proceedings of the eighth workshop on coalgebraic methods in computer science (CMCS 2006), Vienna, Austria, March 25–27, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 164, No. 1, 3-26 (2006).
PDFBibTeX XMLCite
Full Text: Link

BETI methods of domain decomposition with fast boundary element procedures and applications. (BETI-Gebietszerlegungsmethoden mit schnellen Randelementverfahren und Anwendungen.) (German) Zbl 1198.68292

Stuttgart: Univ. Stuttgart, Fakultät Mathematik und Physik (Diss.). 172 p. (2006).
MSC:  68U20 68-02 68W10
PDFBibTeX XMLCite
Full Text: Link

New trends in the mathematical and computer sciences. Papers from the international workshop on new trends in the mathematical and computer sciences with applications to real world problems, Covenant University, Ota, Nigeria, June 19–23, 2006. (English) Zbl 1181.00031

Publications of the ICMCS 3. Lagos: International Centre for Mathematical & Computer Sciences (ICMCS) (ISBN 978-37246-2-2/pbk). vi, 306 p. (2006).
PDFBibTeX XMLCite

Simulation models of organism behavior: some lessons from precybernetic and cybernetic approaches. (English) Zbl 1170.68642

Termini, Settimo (ed.), Imagination and rigor. Essays on Eduardo R. Caianiello’s scientific heritage. Milano: Springer (ISBN 978-88-470-0320-0/gbk). 39-46 (2006).
MSC:  68U20 68-03 68T05 91-03 91E40 92-03 92D50
PDFBibTeX XMLCite

Simulation of micro-, grand-, and canonical ensembles of complex networks. (English) Zbl 1157.68304

Alexandrov, Vassil N. (ed.) et al., Computational science – ICCS 2006. 6th international conference, Reading, UK, May 28–31, 2006. Proceedings, Part III. Berlin: Springer (ISBN 3-540-34383-0/pbk). Lecture Notes in Computer Science 3993, 1067-1074 (2006).
MSC:  68M10 68U20
PDFBibTeX XMLCite
Full Text: DOI

Vision, modeling, and visualization 2006. Proceedings of the 11th workshop on vision, modeling, and visualization (VMV 2006), Aachen, Germany, November 22–24, 2006. (English) Zbl 1147.68804

Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press (ISBN 978-3-89838-081-2; 978-1-58603-688-1). x, 412 p. (2006).
PDFBibTeX XMLCite

Problems and methods of physical cybernetics. (Проблемы и методы физической кибернетики.) (Russian) Zbl 1150.68300

Pratsi Instytutu Matematyky Natsional’noï Akademiï Nauk Ukraïny. Matematyka ta ïï Zastosuvannya 56. Kyïv: Instytut Matematyky NAN Ukraïny (ISBN 966-02-3810-X). 644 p. (2006).
MSC:  68-02 81-02 82-02 68U20
PDFBibTeX XMLCite

Feature sizing modeling for parametric human body. (English) Zbl 1312.68218

Liu, Fengshan (ed.) et al., Advances in applied and computational mathematics. Selected papers based on the presentations at the applied mathematics summer workshop, Dover, DE, USA, August 18–20, 2005. New York, NY: Nova Science Publishers (ISBN 1-60021-358-8/hbk). 193-201 (2006).
MSC:  68U05 68U20
PDFBibTeX XMLCite

Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). (English) Zbl 1107.68385

Foundations and Trends in Electronic Design Automation. Boston, MA: now (ISBN 1-933019-28-X/pbk). x, 194 p. (2006).
MSC:  68M99 68U20 68Q65 68-01
PDFBibTeX XMLCite
Full Text: DOI

High performance computing in science and engineering ’05, (HLRS 2005). Transactions of the High Performance Computing Center, Stugart, Germany,. (English) Zbl 1101.68938

Berlin: Springer (ISBN 3-540-28377-3/hbk). xi, 340 p. (2006).
MSC:  68U20 68-06
PDFBibTeX XMLCite
Full Text: DOI

A guide to MATLAB. For beginners and experienced users. With Kevin R. Coombes, John E. Osborn, and Garrett J. Stuck. 2nd ed. (English) Zbl 1103.68146

Cambridge: Cambridge University Press (ISBN 0-521-85068-1/hbk; 0-521-61565-8/pbk; 0-511-21775-7/ebook). xv, 311 p. (2006).
MSC:  68W30 65Y15 68-01
PDFBibTeX XMLCite
Full Text: DOI

Agent based approaches to income distributions and the impact of memory. (English) Zbl 1183.91122

Ausloos, Marcel (ed.) et al., The logistic map and the route to chaos. From the beginnings to modern applications. Berlin: Springer (ISBN 3-540-28366-8/hbk). Understanding Complex Systems, 259-272 (2006).
MSC:  91B69 68T42
PDFBibTeX XMLCite

Gene expression programming. Mathematical modeling by an artificial intelligence. 2nd revised and extended ed. (English) Zbl 1131.68499

Studies in Computational Intelligence 21. Berlin: Springer (ISBN 3-540-32796-7/hbk). xx, 478 p. (2006).
MSC:  68T05 68W05 68-01 68U20 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Modeling and simulation tools for emerging telecommunication networks. Needs, trends, challenges, solutions. (English) Zbl 1129.68323

New York, NY: Springer (ISBN 0-387-32921-8). xix, 510 p. (2006).
MSC:  68M10 68-06 00B15
PDFBibTeX XMLCite
Full Text: DOI

Enhancing the efficiency of simulation-based verification by using test-coverage-driven simulation. (Steigerung der Effizienz simulationsbasierter Verifikation durch Einsatz von testüberdeckungsgeführter Simulation.) (German) Zbl 1092.68113

Technische Informatik. Aachen: Shaker Verlag; Tübingen: Univ. Tübingen, Fakultät für Informations- und Kognitionswisssenschaften (Diss.) (ISBN 3-8322-5076-X/pbk). viii, 1128 p. (2006).
MSC:  68U20 68M99 68-02
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software