אפשרויות חיפוש:
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
function https » functions https, fiction https
parallel tree » parallel code, parallel text
1
יצא לאור 2006
תוכן הענינים: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים: ...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
מאת Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
יצא לאור 2015
תוכן הענינים: ... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים: ... by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2007
תוכן הענינים: ... of the Biliary Tree and the Pancreas -- Parallel Imaging in Inflammatory Bowel Disease -- Musculoskeletal Imaging...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים: ...(?) Modifications for Optimal Parallelism -- The Linkage Tree Genetic Algorithm -- An Analysis of the XOR Dynamic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים: ... of Radiologists for Lung Nodule Detection in CT Scans -- Parallel Computations for Logic-Algebraic Based Expert...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2012
תוכן הענינים: ... Based on Embedded Vision Nodes Suitable for Robotic Systems -- Conceptual Design and Kinematic Analysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים: ... -- Fragmentations with Pitch, Rhythm and Parallelism Constraints for Variation Matching -- Predicting Agreement...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים: ...Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification -- A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2012
תוכן הענינים: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ... for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני