Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
constructability quantifying » construction quantifying, constructability activity
function functions » functions functions, function function, junction functions
quantifying https » quantifying steps, quantifying its, quantifying output
functions https » foundations https
https function » its function, sites function, ups function
constructability quantifying » construction quantifying, constructability activity
function functions » functions functions, function function, junction functions
quantifying https » quantifying steps, quantifying its, quantifying output
functions https » foundations https
https function » its function, sites function, ups function
1
Vydáno 2010
Obsah:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2014
Obsah:
“..., T. Müller-Gronbach, A. Neuenkirch, K. Ritter and L. Yaroslavtseva: Constructive Quantization and Multilevel...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2006
Obsah:
“... Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2013
Obsah:
“... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2011
Obsah:
“.... The schizophrenia construct after 100 years of challenges -- 2. Diagnosis and classification of the schizophrenia...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2007
Obsah:
“... and the Basic Function of Chinese Existential You-Sentences -- Existential Sentences, BE, and the Genitive...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2006
Obsah:
“... Monotone Continuous Functions in Constructive Analysis -- Partial Recursive Functions in Martin-Löf Type...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2012
Obsah:
“....Paraconsistency -- 5. Quantified Intuitionist Logic -- 6. Quantified Logics of Constructible Negation -- 7...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2011
Obsah:
“...Detecting and Quantifying Multiple Proteins in Clinical Samples in High-Throughput Using Antibody...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2006
Obsah:
“... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2007
Obsah:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2014
Obsah:
“... Virus RNA by SHAPE -- Use of Small Angle X-Ray Scattering to Investigate the Structure and Function...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2007
Obsah:
“... Quantified Rough Sets -- Fuzzy Sets -- A Fuzzy Search Engine Weighted Approach to Result Merging...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2006
Obsah:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2013
Obsah:
“... Endpoints -- Estimating and Quantifying Uncertainties on Level Sets Using the Vorobev Expectation...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2015
Obsah:
“... to MC4 Receptors -- Construction of Recombinant HEK293 Cell Lines for the Expression of the Neurotensin...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“... -- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property -- When Does Partial...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2005
Obsah:
“... Algebraically at Tractable Quantified Boolean Formulas -- Derandomization of Schuler’s Algorithm for SAT...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2005
Obsah:
“... of Algebraic Constructions with Size Annotations -- On the Role of Type Decorations in the Calculus...”Získat plný text
Elektronický zdroj
E-kniha