Zoekresultaten - constructability quantifying https functionals functions https

Alternatieven:
constructability quantifying » construction quantifying , constructability activity
functionals functions » functionals function , functional functions , functions functions
quantifying https » quantifying steps , quantifying its , quantifying output
https functionals » type functionals , data functionals , flaps functional
functions https » foundations https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Volledige tekst

Elektronisch E-boek

Extraction of Quantifiable Information from Complex Systems

Gepubliceerd in 2014

Inhoudsopgave: “..., T. Müller-Gronbach, A. Neuenkirch, K. Ritter and L. Yaroslavtseva: Constructive Quantization and Multilevel...”
Volledige tekst

Elektronisch E-boek

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier...”
Volledige tekst

Elektronisch E-boek

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Gepubliceerd in 2013

Inhoudsopgave: “... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”
Volledige tekst

Elektronisch E-boek

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference...

Gepubliceerd in 2008

Inhoudsopgave: “... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”
Volledige tekst

Elektronisch E-boek

Handbook of Schizophrenia Spectrum Disorders, Volume I Conceptual Issues and Neurobiological Advances /

Gepubliceerd in 2011

Inhoudsopgave: “.... The schizophrenia construct after 100 years of challenges -- 2. Diagnosis and classification of the schizophrenia...”
Volledige tekst

Elektronisch E-boek

Existence: Semantics and Syntax

Gepubliceerd in 2007

Inhoudsopgave: “... and the Basic Function of Chinese Existential You-Sentences -- Existential Sentences, BE, and the Genitive...”
Volledige tekst

Elektronisch E-boek

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Monotone Continuous Functions in Constructive Analysis -- Partial Recursive Functions in Martin-Löf Type...”
Volledige tekst

Elektronisch E-boek

The Realism-Antirealism Debate in the Age of Alternative Logics

Gepubliceerd in 2012

Inhoudsopgave: “....Paraconsistency -- 5. Quantified Intuitionist Logic -- 6. Quantified Logics of Constructible Negation -- 7...”
Volledige tekst

Elektronisch E-boek

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...”
Volledige tekst

Elektronisch E-boek

Protein Microarray for Disease Analysis Methods and Protocols /

Gepubliceerd in 2011

Inhoudsopgave: “...Detecting and Quantifying Multiple Proteins in Clinical Samples in High-Throughput Using Antibody...”
Volledige tekst

Elektronisch E-boek

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”
Volledige tekst

Elektronisch E-boek

Dengue Methods and Protocols /

Gepubliceerd in 2014

Inhoudsopgave: “... Virus RNA by SHAPE -- Use of Small Angle X-Ray Scattering to Investigate the Structure and Function...”
Volledige tekst

Elektronisch E-boek

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 /

Gepubliceerd in 2007

Inhoudsopgave: “... Quantified Rough Sets -- Fuzzy Sets -- A Fuzzy Search Engine Weighted Approach to Result Merging...”
Volledige tekst

Elektronisch E-boek

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Gepubliceerd in 2006

Inhoudsopgave: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
Volledige tekst

Elektronisch E-boek

mODa 10 – Advances in Model-Oriented Design and Analysis Proceedings of the 10th International Workshop in Model-Oriented Design and Analysis Held in Łagów Lubuski, Poland, June 10...

Gepubliceerd in 2013

Inhoudsopgave: “... Endpoints -- Estimating and Quantifying Uncertainties on Level Sets Using the Vorobev Expectation...”
Volledige tekst

Elektronisch E-boek

G Protein-Coupled Receptor Screening Assays Methods and Protocols /

Gepubliceerd in 2015

Inhoudsopgave: “... to MC4 Receptors -- Construction of Recombinant HEK293 Cell Lines for the Expression of the Neurotensin...”
Volledige tekst

Elektronisch E-boek

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property -- When Does Partial...”
Volledige tekst

Elektronisch E-boek

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... Algebraically at Tractable Quantified Boolean Formulas -- Derandomization of Schuler’s Algorithm for SAT...”
Volledige tekst

Elektronisch E-boek

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... of Algebraic Constructions with Size Annotations -- On the Role of Type Decorations in the Calculus...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken