Вы здесь

Главная

вероятностный

Связанные издания:

Symbolic Reachability of Probabilistic Linear Hybrid Automata
Symmetry Reduction for Probabilistic Model Checking
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Temporal Probabilistic Logic Programs
Temporal Verification of Probabilistic Multi-Agent Systems
The Formalism of Probability Theory in IR: A Foundation or an Encumbrance?
Theory and Applications of Models of Computation: Proc./8th Annual Conference, TAMC 2011, Tokyo, Japan, May 2011
The Semantic Web - ISWC 2014, Part I: Proc./13th International Semantic Web Conference, Riva del Garda, Italy, October 2014
Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings
Tools and Algorithms for the Construction and Analysis of Systems: Proc./11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Tools and Algorithms for the Construction and Analysis of Systems: Proc./19th International Conference, ETAPS 2013 Held as Part of the ETAPS 2013, Rome, Italy, March 2013
Tools and Algorithms for the Construction and Analysis of Systems: Proc./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
Towards a Probabilistic Modal Logic for Semantic-Based Information Retrieval
Transactions on Aspect-Oriented Software Development XII
Trustworthy Global Computing: Revised Selectes Papers/7th International Symposium, TGC 2012, Newcastle upon Tune, UK, September 2012
Uncertainty Reasoning for the Semantic Web I: Revised Selected and Invited Papers/ISWC International Workshops URSW 2005-2007
Verification in Predicate Logic with Time: Algorithmic Questions
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Verifying Probabilistic Programs Using a Hoare like Logic
Web-Age Information Management: Proc./WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 2013
Wireless Algorithms, Systems, and Applications: Proc./6th International Conference, WASA 2011, Chengdu, China, August 2011
Анализ вероятностных характеристик некоторых систем сетевой структуры
Аналитическая компонента пакетов прикладных программ для вычисления значений вероятностных характеристик систем массового обслуживания
Вероятностная схема независимых случайных элементов, распределенных на конечной решетке. I.Точные распределения вероятностей функционалов объединения случайных элементов
Вероятностные модели в анализе клиентских сред
Вероятностные модели гидрометеорологических процессов и полей
Вероятностный анализ производительности оптических сетей с маршрутизацией по длине волны
Иерархические суждения в вероятностной CSP
Методы анализа вероятностно-временных характеристик модели мультисервисной сети с потоковым и эластичным трафиком
Методы анализа вероятностных характеристик модели разделения ресурсов мультисервисной телекоммуникационной сети
Моделирование распределенных недерминированных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Неравенства концентрации вероятностной меры в трансдуктивном обучении и РАС-Байесовском анализе
О вероятностных характеристиках уровня запаса в модели типа (s,S)
О работах киевской школы теоретической криптографии
Построение вероятностных моделей и анализ показателей эффективности функционирования потоковых одноранговых сетей
Построение моделей и анализ вероятностных характеристик протокола установления сессий
Разработка вероятностных моделей для анализа показателей эффективности установления сессий в мультисервисной сети
Синтез детерминированных динамических систем, формирующих статистические колебания с управляемыми, вероятностными характеристиками