The use of stochastic models in computerscience is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic...
详细信息
ISBN:
(数字)9783662454893
ISBN:
(纸本)9783662454886
The use of stochastic models in computerscience is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.
This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.;The 11 full papers presented were carefully reviewed...
详细信息
ISBN:
(数字)9783030002503
ISBN:
(纸本)9783030002497
This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.;The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.
The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and computer-Assisted Intervention, MICCAI 2017, held in...
详细信息
ISBN:
(数字)9783319661827
ISBN:
(纸本)9783319661810
The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017.;The 255 revised full papers presented were carefully reviewed and selected from 800 submissions in a two-phase review process. The papers have been organized in the following topical sections: Part I: atlas and surface-based techniques; shape and patch-based techniques; registration techniques, functional imaging, connectivity, and brain parcellation; diffusion magnetic resonance imaging (dMRI) and tensor/fiber processing; and image segmentation and modelling. Part II: optical imaging; airway and vessel analysis; motion and cardiac analysis; tumor processing; planning and simulation for medical interventions; interventional imaging and navigation; and medical image computing. Part III: feature;extraction and classification techniques; and machine learning in medical image computing.
This book constitutes the refereed proceedings of the 17th International Conference on Distributed computer and Communication Networks, DCCN 2013, held in Moscow, Russia, in October 2013. The 22 revised full papers pr...
详细信息
ISBN:
(数字)9783319052090
ISBN:
(纸本)9783319052083
This book constitutes the refereed proceedings of the 17th International Conference on Distributed computer and Communication Networks, DCCN 2013, held in Moscow, Russia, in October 2013. The 22 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover the following subjects: computer and communication networks architecture optimization; control in computer and communication networks; performance and QoS evaluation in wireless networks; modeling and simulation of network protocols; queueing theory; wireless IEEE 802.11, IEEE 802.15, IEEE 802.16 and UMTS (LTE) net-works; RFID technology and its application in intellectual transportation networks; protocols design (MAC, Routing) for centimeter and millimeter wave mesh networks; internet and web applications and services; application integration in distributed information systems.
Dieses zweibändige Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist. Bei d...
详细信息
ISBN:
(数字)9783642568381
ISBN:
(纸本)9783540675990
Dieses zweibändige Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist. Bei der Darstellung wird neben der mathematischen Exaktheit besonderer Wert darauf gelegt, auch das intuitive Verständnis zu fördern, um so das Verstehen und Einordnen des Stoffs zu erleichtern. Unterstützt wird dies durch zahlreiche Beispiele und Aufgaben, vorwiegend aus dem Bereich der Informatik. Das Lehrbuch basiert auf Vorlesungen, die seit mehreren Jahren an der Technischen Universität München gehalten werden.;Themen des zweiten Bandes: Endliche und unendliche Wahrscheinlichkeitsräume, Markov-Ketten, Warteschlangen, Induktive Statistik.
Mythanksareduetothemanypeoplewhohaveassistedintheworkreported here and in the preparation of this book. The work is incomplete and this account of it rougher than it might be. Such virtues as it has owe much to others...
详细信息
ISBN:
(数字)9780387276564
ISBN:
(纸本)9780387237954;9781441920157
Mythanksareduetothemanypeoplewhohaveassistedintheworkreported here and in the preparation of this book. The work is incomplete and this account of it rougher than it might be. Such virtues as it has owe much to others; the faults are all mine. MyworkleadingtothisbookbeganwhenDavidBoultonandIattempted to develop a method for intrinsic classi?cation. Given data on a sample from some population, we aimed to discover whether the population should be considered to be a mixture of di?erent types, classes or species of thing, and, if so, how many classes were present, what each class looked like, and which things in the sample belonged to which class. I saw the problem as one of Bayesian inference, but with prior probability densities replaced by discrete probabilities re?ecting the precision to which the data would allow parameters to be estimated. Boulton, however, proposed that a classi?cation of the sample was a way of brie?y encoding the data: once each class was described and each thing assigned to a class, the data for a thing would be partially implied by the characteristics of its class, and hence require little further description. After some weeks’ arguing our cases, we decided on the maths for each approach, and soon discovered they gave essentially the same results. Without Boulton’s insight, we may never have made the connection between inference and brief encoding, which is the heart of this work.
暂无评论