檢索結果 - detection computational programming mathematics arrays

1

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

由 van Haasteren, Rutger., van Haasteren, Rutger.
出版 2014

書本目錄: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
獲取全文

電子電子書

2

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

出版 2015

書本目錄: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
獲取全文

電子電子書

3

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

出版 2005

書本目錄: “...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”
獲取全文

電子電子書

4

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

出版 2010

書本目錄: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
獲取全文

電子電子書

5

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

出版 2014

書本目錄: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
獲取全文

電子電子書

6

Applications of Soft Computing Recent Trends /

出版 2006

書本目錄: “...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”
獲取全文

電子電子書

7

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

出版 2005

書本目錄: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
獲取全文

電子電子書

8

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”
獲取全文

電子電子書

9

Python Scripting for Computational Science

由 Langtangen, Hans Petter., Langtangen, Hans Petter.
出版 2006

書本目錄: “... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
獲取全文

電子電子書

10

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

出版 2007

書本目錄: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
獲取全文

電子電子書

11

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

出版 2005

書本目錄: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
獲取全文

電子電子書

12

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

出版 2007

書本目錄: “...-Time Reversible Iterative Arrays -- The Computational Complexity of Monotonicity in Probabilistic...”
獲取全文

電子電子書

13

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

出版 2007

書本目錄: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
獲取全文

電子電子書

14

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

出版 2008

書本目錄: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
獲取全文

電子電子書

15

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

出版 2005

書本目錄: “...Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis...”
獲取全文

電子電子書

16

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

出版 2014

書本目錄: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
獲取全文

電子電子書

17

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

出版 2005

書本目錄: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
獲取全文

電子電子書

18

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

出版 2005

書本目錄: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
獲取全文

電子電子書

19

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

出版 2008

書本目錄: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
獲取全文

電子電子書

20

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

出版 2007

書本目錄: “... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”
獲取全文

電子電子書

縮小搜索