Showing 15,601 - 15,620 results of 17,196 for search '"algorithms"', query time: 0.32s Refine Results
  1. 15601
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published 2014
    Table of Contents: “… of Presburger Counter Systems Using Reachability Analysis -- A Symbolic Algorithm for the Analysis of Robust…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 15602
    Textbook of Tinnitus
    Published 2011
    Table of Contents: “… system -- Tinnitus and the masticatory system -- Introduction -- Algorithm for the diagnostic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 15603
    The Cyber Economy Opportunities and Challenges for Artificial Intelligence in the Digital Workplace /
    Published 2019
    Table of Contents: “… Development of the Digital Economy in Modern Russia -- An Algorithm for the Crisis-Free Transition of Modern…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 15604
    Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming -- Early Recovery in Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 15605
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Regeneration of N. viridescens -- Algorithm to Predict G-Quadruplex Folding through Score Computing…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 15606
    Zero-Carbon Energy Kyoto 2012 Special Edition of the Joint Symposium “Energy Science in the Age of Global Warming” of the Kyoto University Global COE Program and the JGSEE/CEE-KMUTT /
    Published 2013
    Table of Contents: “… -- Evaluation of Tritium Production in LiPb Blanket System Using Neutrons Analysis -- Analysis of SNIP Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 15607
    The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings /
    Published 2006
    Table of Contents: “… Alignment -- Matching Hierarchical Classifications with Attributes -- An Iterative Algorithm for Ontology…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 15608
    Biomedical Image Registration Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Elastic Registration Algorithm of Medical Images Based on Fuzzy Set -- PET/CT Rigid-Body Registration…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 15609
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 15610
    Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings /
    Published 2006
    Table of Contents: “… for Improving TCP Performance over Mobile Ad-Hoc Networks -- Predictive Call Admission Control Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 15611
    Crop Modeling and Decision Support
    Published 2009
    Table of Contents: “… -- Finding a Suitable CO2 Response Algorithm for Crop Growth Simulation in Germany -- Bringing Genetics…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 15612
    Simulation techniques in financial risk management /
    by Chan, Ngai Hang
    Published 2015
    Table of Contents: “… Chain Monte Carlo; 12.5 Metropolis-Hastings Algorithm; 12.6 Exercises; References; Index; Wiley Series…”
    Full Text via HEAL-Link
    eBook
  13. 15613
    Agent and Multi-Agent Systems: Technologies and Applications 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I /
    Published 2010
    Table of Contents: “…-Objective PSO Algorithm -- Including Notions of Fairness in Development of an Integrated Multi-agent Online…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 15614
    Agent and Multi-Agent Systems: Technologies and Applications 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II /
    Published 2010
    Table of Contents: “… -- An Agent-Based Simulated Annealing Algorithm for Data Reduction -- Feature Set Reduction by Evolutionary…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15615
    Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Recognition Systems for Ambient Assistive Living -- 3D Matching applied ICP Algorithm for 3D Facial Avatar…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 15616
    Scientific and Statistical Database Management 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Sciences -- Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster -- Database…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 15617
    Advanced Microsystems for Automotive Applications 2010 Smart Systems for Green Cars and Safe Mobility /
    Published 2010
    Table of Contents: “… for Active Vehicle Suspension -- Optimising Efficiency using Hardware Co-Processing for the CORDIC Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 15618
    geoENV VI – Geostatistics for Environmental Applications Proceedings of the Sixth European Conference on Geostatistics for Environmental Applications /
    Published 2008
    Table of Contents: “… to Air Quality Space-Time Characterization -- Automatic Mapping Algorithm of Nitrogen Dioxide Levels from…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 15619
    Advances in Integrated Design and Manufacturing in Mechanical Engineering II
    Published 2007
    Table of Contents: “… Methods -- Optimization of Gear Tolerances by Statistical Analysis and Genetic Algorithm -- Modal…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 15620
    Vibration Problems ICOVP-2007
    Published 2008
    Table of Contents: “… Blower Casing Using Composites -- Parametric Estimation Of Nonlinear 3D Of System Using Genetic Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search