בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
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
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
תוכן הענינים:
“... 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...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני