Search Results - problems testing https function using https

1

Published 2014

Table of Contents: “... II: PRACTICAL IMPLICATIONS -- Chapter 5. A Review of the Use of Executive Function Tasks...”
View full text

Electronic eBook

2

The Hash Function BLAKE

by Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Published 2014

Table of Contents: “...Introduction -- Preliminaries -- Specification of BLAKE -- Using BLAKE -- BLAKE in Software...”
View full text

Electronic eBook

3

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

Published 2005

Table of Contents: “... Instances -- Automatic Extraction of Functional Dependencies -- Algorithms for Satisfiability Using...”
View full text

Electronic eBook

4

The Myth of Executive Functioning Missing Elements in Conceptualization, Evaluation, and Assessment /

by Koziol, Leonard F., Koziol, Leonard F.
Published 2014

Table of Contents: “...Introduction -- Problem Solving: Practical Examples and Additional Properties -- The Problem...”
View full text

Electronic eBook

5

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Published 2010

Table of Contents: “... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”
View full text

Electronic eBook

6

Insects and Ecosystem Function

Published 2008

Table of Contents: “... and their research potential for ecosystem studies -- Testing the role of insects for ecosystem functioning....”
View full text

Electronic eBook

7

Functional Analysis in Mechanics

by Lebedev, Leonid P., Lebedev, Leonid P., Vorovich, Iosif I., Cloud, Michael J.
Published 2013

Table of Contents: “...Introduction -- Metric, Banach, and Hilbert Spaces -- Mechanics Problems from the Functional...”
View full text

Electronic eBook

8

Testing of Communicating Systems 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
View full text

Electronic eBook

10

103 Trigonometry Problems From the Training of the USA IMO Team /

by Andreescu, Titu., Andreescu, Titu., Feng, Zuming.
Published 2005

Table of Contents: “...Trigonometric Fundamentals -- Introductory Problems -- Advanced Problems -- Solutions...”
View full text

Electronic eBook

11

Functional and Operatorial Statistics

Published 2008

Table of Contents: “... Distributions for Functional Data Using Quasi-Arithmetic Means with Archimedean Generators -- Point-wise Kriging...”
View full text

Electronic eBook

12

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Satisfiability Checking of Non-clausal Formulas Using General Matings -- Determinization of Resolution...”
View full text

Electronic eBook

13

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /

Published 2007

Table of Contents: “...-Based Approach -- Inversion Attacks on Secure Hash Functions Using sat Solvers....”
View full text

Electronic eBook

14

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”
View full text

Electronic eBook

15

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Published 2013

Table of Contents: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
View full text

Electronic eBook

16

Inference for Functional Data with Applications

by Horváth, Lajos., Horváth, Lajos., Kokoszka, Piotr.
Published 2012

Table of Contents: “...Independent functional observations -- The functional linear model -- Dependent functional data...”
View full text

Electronic eBook

17

Linear Models for Optimal Test Design

by van der Linden, Wim J., van der Linden, Wim J.
Published 2005

Table of Contents: “...-Assembly Problems -- Solving Test-Assembly Problems -- Models for Assembling Single Tests -- Models...”
View full text

Electronic eBook

18

Multiple Testing Procedures with Applications to Genomics

by Dudoit, Sandrine., Dudoit, Sandrine., van der Laan, Mark J.
Published 2008

Table of Contents: “...Multiple Hypothesis Testing -- Test Statistics Null Distribution -- Overview of Multiple Testing...”
View full text

Electronic eBook

19

The Statistical Analysis of Functional MRI Data

by Lazar, Nicole., Lazar, Nicole.
Published 2008

Table of Contents: “... Testing in fMRI: The Problem of #x201C;Thresholding#x201D; -- Additional Statistical Issues -- Case Study...”
View full text

Electronic eBook

20

Cosmology, Quantum Vacuum and Zeta Functions In Honor of Emilio Elizalde /

Published 2011

Table of Contents: “... and N. Yunes. Testing Modified Gravity with Gravitational Wave Astronomy -- 26. P. K. TOWNSEND...”
View full text

Electronic eBook

Narrow Search