Showing 201 - 220 results of 428 for search '"complexity analysis"', query time: 0.22s Refine Results
  1. 201
    Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
    Published 2015
    Table of Contents: “… for the Liveness Problem -- Squareable Words -- Complexity Analysis: Transformation Monoids of Finite Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 202
    Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  3. 203
    Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers /
    Published 2017
    Table of Contents: “…: SD-{L,W}AN -- Requirements and Complexity Analysis of Cross-Layer Design Optimization for Adaptive…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 204
    Fast Fourier Transform Algorithms for Parallel Computers
    Full Text via HEAL-Link
    Electronic eBook
  5. 205
    Introduction to Mathematical Analysis
    by Kriz, Igor, Pultr, Aleš
    Published 2013
    Table of Contents: “…. Analysis and Geometry -- 9. An Introduction to Complex Analysis -- 10. Metric and Topological Spaces II…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 206
    Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Calculus -- Automatic Complexity Analysis -- Distributed Programs: Verification and Analysis -- Thread…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 207
    Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “… -- Automated Complexity Analysis Based on Context-Sensitive Rewriting -- Amortised Resource Analysis and Typed…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 208
    Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /
    Published 2008
    Table of Contents: “…: A Process Algebra for Biochemical Modelling -- Automatic Complexity Analysis and Model Reduction…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 209
    Forging New Frontiers: Fuzzy Pioneers II
    Table of Contents: “… with Applications -- Using NTH Dimensional Fuzzy Logic for Complexity Analysis, Decision Analysis and Autonomous…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 210
    Modeling Time in Computing
    Full Text via HEAL-Link
    Electronic eBook
  11. 211
    Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “… Inapproximability.- Multi-parameter Complexity Analysis for Constrained Size Graph Problems: Using Greediness…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 212
    DNA Computing 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers /
    Published 2006
    Table of Contents: “… for Ciliates -- Complexity Analysis -- Spectrum of a Pot for DNA Complexes -- On the Complexity of Graph Self…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 213
    Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
    Published 1999
    Table of Contents: “… -- On the Complexity Analysis of Static Analyses -- Model-Checking -- Tutorial: Techniques to Improve the Scalability…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 214
    Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
    Published 2001
    Table of Contents: “…, and Consequences in Orthocomplemented Lattices -- Reasoning about the Elementary Functions of Complex Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 215
    Intelligent Mathematics II: Applied Mathematics and Approximation Theory
    Published 2016
    Table of Contents: “… Complexity Analysis of the Path Following Method for Linear Complementarity Problem -- Branch and Bound…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 216
    Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Functionality for Arithmetic Discrete Planes -- Complexity Analysis for Digital Hyperplane Recognition…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 217
    Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks /
    Published 2014
    Table of Contents: “… -- Digitisation Workflow in the Czech Digital Mathematics Library -- The Implementation and Complexity Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 218
    The Kadison-Singer Property
    by Stevens, Marco
    Published 2016
    Table of Contents: “… -- Complex analysis -- Functional Analysis and Operator Algebras -- Basic functional analysis -- Hilbert…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 219
    Topics in Classical and Modern Analysis In Memory of Yingkang Hu /
    Published 2019
    Table of Contents: “… of Smoothness with JacobiWeights -- Part II Approximation Theory, Harmonic and Complex Analysis, Splines…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 220
    Operator Algebras, Operator Theory and Applications
    Published 2008
    Table of Contents: “… Spectral Theory -- Toeplitz Operator Algebras and Complex Analysis -- Workshop Contributed Articles…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search