<--- Back to Details
First PageDocument Content
Broadcasting / Discovery Channel / TLC / Cake Boss / Animal Planet Germany / Liv / OWN: Oprah Winfrey Network / Animal Planet Poland / Animal Planet / Discovery Communications / Television in the United States / Television
Date: 2013-11-04 16:36:52
Broadcasting
Discovery Channel
TLC
Cake Boss
Animal Planet Germany
Liv
OWN: Oprah Winfrey Network
Animal Planet Poland
Animal Planet
Discovery Communications
Television in the United States
Television

Add to Reading List

Source URL: media.corporate.discovery.com.s3.amazonaws.com

Download Document from Source Website

File Size: 2,05 MB

Share Document on Facebook

Similar Documents

Artificial intelligence / Multi-agent systems / Modeling and simulation / Systems science / Agent-based model / Artificial life / Complex systems theory / Model checking / Temporal logic / Intelligent agent / Sociology

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

DocID: 1xVYq - View Document

Formal languages / Nested word / Words

A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat

DocID: 1xVTs - View Document

Temporal logic / Logic in computer science / Model checkers / Linear temporal logic / Computation tree logic / Model checking / PAT / Synthesis / Mathematics

Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem

DocID: 1xVvj - View Document

Probability and statistics / Numerical analysis / Probability theory / Analysis / Probability bounds analysis / Mathematical modeling / Operations research / Uncertainty quantification / Probability box / DempsterShafer theory / Uncertainty / Monte Carlo method

L IVERPOOL U NIVERSITY M ASTER OF R ESEARCH D ECISION M AKING U NDER R ISK AND U NCERTAINTY Robust Probabilistic Risk/Safety Analysis

DocID: 1xVus - View Document

Markov models / Concurrency / Graph theory / Markov chain / Stochastic / Petri net / Computing / Mathematics / Formal methods

Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

DocID: 1xV8b - View Document