Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
communication data » communication design, communication during
data decisions » data decision, death decisions, fate decisions
decisions data » decision data, decisions eat, decisions david
data proving » data improving, data providing, data moving
communication data » communication design, communication during
data decisions » data decision, death decisions, fate decisions
decisions data » decision data, decisions eat, decisions david
data proving » data improving, data providing, data moving
1
by Iranpanah, Havzhin
Published 2017
Subjects:
“...Wireless communication systems...”Published 2017
View full text
Thesis
2
by Houshyar, Afsaneh Nouri
Published 2014
Subjects:
“...Mobile communication systems...”Published 2014
View full text
Thesis
3
Published 2005
Table of Contents:
“... Programming and Proving: The ELAN Experience Outcomes -- Towards Flexible Graphical Communication Using...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality -- Assisted...”View full text
Electronic
eBook
6
“...-intensive in nature. Conversely, performing decision making on these systems with a variety of building data...”
View full text
View full text
Article
7
Published 2007
Table of Contents:
“... and Secure Components I -- Security of Multithreaded Programs by Compilation -- Efficient Proving...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... TOPSIS -- A Framework for Proving the Security of Data Transmission Protocols in Sensor Network -- Port...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Networks -- Distributed Systems and Networks -- Analyzing Grid Log Data with Affinity Propagation -- Using...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Manipulating Lists with Unbounded Data -- Termination Analysis with Compositional Transition Invariants -- Lazy...”View full text
Electronic
eBook
16
Table of Contents:
“... with Uncertain Winds -- 3.5.1 Receding Horizon Approach -- 3.5.2 Markov Decision Process Approach -- 3.5.3...”
View full text
View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Invited Talks -- A Calculus and Algebra for Distributed Data Management -- The Büchi...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Parking Site -- Data Fusion for Photorealistic 3D Models -- Virtualized Real Object Integration...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”View full text
Electronic
eBook