檢索結果 - ((function decomposition) or (functions computational)) programming using method case*

1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

出版 2013

書本目錄: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
獲取全文

電子電子書

2

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

出版 2012

書本目錄: “... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...”
獲取全文

電子電子書

3

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

出版 2015

書本目錄: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
獲取全文

電子電子書

4

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

出版 2007

書本目錄: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
獲取全文

電子電子書

5

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

出版 2010

書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文

電子電子書

6

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
獲取全文

電子電子書

7

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

出版 2010

書本目錄: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
獲取全文

電子電子書

8

Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...

出版 2014

書本目錄: “... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...”
獲取全文

電子電子書

9

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

出版 2007

書本目錄: “... Standings on the Basis of Self-organizing Maps -- A New Computing Method for Greeks Using Stochastic...”
獲取全文

電子電子書

10

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

出版 2007

書本目錄: “... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...”
獲取全文

電子電子書

11

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
獲取全文

電子電子書

12

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

出版 2007

書本目錄: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
獲取全文

電子電子書

13

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009...

出版 2010

書本目錄: “... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...”
獲取全文

電子電子書

14

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings /

出版 2005

書本目錄: “... Geometry in Computer Vision -- Optimal Blurred Segments Decomposition in Linear Time -- Shape Preserving...”
獲取全文

電子電子書

15

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /

出版 2010

書本目錄: “...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”
獲取全文

電子電子書

16

Dynamics, Games and Science International Conference and Advanced School Planet Earth, DGS II, Portugal, August 28–September 6, 2013 /

出版 2015

書本目錄: “... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...”
獲取全文

電子電子書

17

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

出版 2005

書本目錄: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
獲取全文

電子電子書

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

出版 2008

書本目錄: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
獲取全文

電子電子書

19

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

出版 2008

書本目錄: “... Pattern Mining in Data Stream -- Methods of Computing Optimization -- A General k-Level Uncapacitated...”
獲取全文

電子電子書

20

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held...

出版 2013

書本目錄: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
獲取全文

電子電子書

縮小搜索