Zoekresultaten - problem complexity https function tests https

1

Dependability Problems of Complex Information Systems

Gepubliceerd in 2015

Inhoudsopgave: “... of Complex Web Based Systems by Service Reconfiguration -- Functional-reliability Model of a Services System...”
Volledige tekst

Elektronisch E-boek

2

Statistical Modeling and Analysis for Complex Data Problems

Gepubliceerd in 2005

Inhoudsopgave: “... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...”
Volledige tekst

Elektronisch E-boek

3

The Hash Function BLAKE

door Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Gepubliceerd in 2014

Inhoudsopgave: “.... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....”
Volledige tekst

Elektronisch E-boek

4

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: “...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...”
Volledige tekst

Elektronisch E-boek

5

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... of objects, state explosion-like phenomena -- Circuit complexity of Boolean functions and related measures...”
Volledige tekst

Elektronisch E-boek

6

Complex Anorectal Disorders Investigation and Management /

Gepubliceerd in 2005

Inhoudsopgave: “... Functional Problems Following Dynamic Graciloplasty -- Assessing the Functional Results of the Artificial...”
Volledige tekst

Elektronisch E-boek

7

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /

Gepubliceerd in 2013

Onderwerpen: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Volledige tekst

Elektronisch E-boek

8

Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation /

door Goldreich, Oded., Goldreich, Oded.
Gepubliceerd in 2011

Inhoudsopgave: “... Complexity of Perfect Hashing.- Collision-Free Hashing from Lattice Problems.- Another Proof That BPP ⊆ PH...”
Volledige tekst

Elektronisch E-boek

9

Complexities in Colorectal Surgery Decision-Making and Management /

Gepubliceerd in 2014

Inhoudsopgave: “... patient -- 27. The Pediatric Patient -- 28. Functional Problems Following Colorectal Surgery -- 29. Short...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2006

Inhoudsopgave: “... Treewidth: Bounding Complexity in the Presence of Functional Dependencies -- Encoding the Satisfiability...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2007

Inhoudsopgave: “...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2010

Inhoudsopgave: “... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2013

Inhoudsopgave: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Volledige tekst

Elektronisch E-boek

14

Mining Complex Data ECML/PKDD 2007 Third International Workshop, MDC 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers /

Gepubliceerd in 2008

Inhoudsopgave: “... Similarity for Conceptual Clustering -- Trajectory Analysis of Laboratory Tests as Medical Complex Data...”
Volledige tekst

Elektronisch E-boek

15

Complex Systems Design & Management Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 /

Gepubliceerd in 2013

Inhoudsopgave: “... Simulation: A Toolbox for Complex Enterprise Problems Architecting Complex Systems in new domains...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2010

Inhoudsopgave: “... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”
Volledige tekst

Elektronisch E-boek