Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructability quantifying » construction quantifying, constructability activity
functions structures » functions structure, functional structures, function structure
quantifying https » quantifying steps, quantifying its, quantifying output
https functions » status functions, its functions, sets functions
constructability quantifying » construction quantifying, constructability activity
functions structures » functions structure, functional structures, function structure
quantifying https » quantifying steps, quantifying its, quantifying output
https functions » status functions, its functions, sets functions
1
Published 2014
Table of Contents:
“.... Welper: Efficient Resolution of Anisotropic Structures -- R. Ressel, P. Dülk, S. Dahlke, K...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... and Reference -- Spatial Prepositions and Vague Quantifiers: Implementing the Functional Geometric Framework...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property -- When Does Partial...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“....Paraconsistency -- 5. Quantified Intuitionist Logic -- 6. Quantified Logics of Constructible Negation -- 7...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Virus RNA by SHAPE -- Use of Small Angle X-Ray Scattering to Investigate the Structure and Function...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Quantified Rough Sets -- Fuzzy Sets -- A Fuzzy Search Engine Weighted Approach to Result Merging...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... in the Calculus of Inductive Constructions -- Reducing Nondeterminism in the Calculus of Structures -- A Relaxed...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...: Efficient Constructions and Applications -- Estimating the Average of a Lipschitz-Continuous Function from...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Learning -- Multi-subject Manifold Alignment of Functional Network Structures via Joint Diagonalization...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... on Construction and SWRL Reasoning of Ontology of Maize Diseases -- Quantifying the Type of Urban Sprawl...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Based on Particle Filter and Optical Flow -- Stitching of Microscopic Images for Quantifying Neuronal...”View full text
Electronic
eBook