Søgeresultater - problem complexity https functionality testing https

1

Dependability Problems of Complex Information Systems

Udgivet 2015

Indholdsfortegnelse: “... of Complex Web Based Systems by Service Reconfiguration -- Functional-reliability Model of a Services System...”
Få fuldtekst

Electronisk eBog

2

Statistical Modeling and Analysis for Complex Data Problems

Udgivet 2005

Indholdsfortegnelse: “... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...”
Få fuldtekst

Electronisk eBog

3

The Hash Function BLAKE

af Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Udgivet 2014

Indholdsfortegnelse: “.... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2005

Indholdsfortegnelse: “...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2014

Indholdsfortegnelse: “... of objects, state explosion-like phenomena -- Circuit complexity of Boolean functions and related measures...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2013

Fag: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Få fuldtekst

Electronisk eBog

7

Complex Anorectal Disorders Investigation and Management /

Udgivet 2005

Indholdsfortegnelse: “... Functional Problems Following Dynamic Graciloplasty -- Assessing the Functional Results of the Artificial...”
Få fuldtekst

Electronisk eBog

8

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

af Goldreich, Oded., Goldreich, Oded.
Udgivet 2011

Indholdsfortegnelse: “... Complexity of Perfect Hashing.- Collision-Free Hashing from Lattice Problems.- Another Proof That BPP ⊆ PH...”
Få fuldtekst

Electronisk eBog

9

Complexities in Colorectal Surgery Decision-Making and Management /

Udgivet 2014

Indholdsfortegnelse: “... patient -- 27. The Pediatric Patient -- 28. Functional Problems Following Colorectal Surgery -- 29. Short...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2007

Indholdsfortegnelse: “...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2006

Indholdsfortegnelse: “... Treewidth: Bounding Complexity in the Presence of Functional Dependencies -- Encoding the Satisfiability...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2010

Indholdsfortegnelse: “... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2013

Indholdsfortegnelse: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2008

Indholdsfortegnelse: “... Similarity for Conceptual Clustering -- Trajectory Analysis of Laboratory Tests as Medical Complex Data...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2013

Indholdsfortegnelse: “... Simulation: A Toolbox for Complex Enterprise Problems Architecting Complex Systems in new domains...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”
Få fuldtekst

Electronisk eBog

17

Complex System Maintenance Handbook

Udgivet 2008

Indholdsfortegnelse: “... and Accelerated Testing -- Preventive Maintenance Models for Complex Systems -- Artificial Intelligence...”
Få fuldtekst

Electronisk eBog

18

Information and Complexity in Statistical Modeling

af Rissanen, Jorma., Rissanen, Jorma.
Udgivet 2007

Indholdsfortegnelse: “... Modeling -- Kolmogorov Complexity -- Stochastic Complexity -- Structure Function -- Optimally...”
Få fuldtekst

Electronisk eBog

19

Average Time Complexity of Decision Trees

af Chikalov, Igor., Chikalov, Igor.
Udgivet 2011

Indholdsfortegnelse: “... Functions by Decision Trees -- 4 Algorithms for Decision Tree Construction -- 5 Problems Over Information...”
Få fuldtekst

Electronisk eBog

20

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International...

Udgivet 2015

Indholdsfortegnelse: “...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning