الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programming semantics » programming mathematics, programming series, programming secrets
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
programming semantics » programming mathematics, programming series, programming secrets
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
منشور في 2005
جدول المحتويات:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2005
جدول المحتويات:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2014
جدول المحتويات:
“... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2007
جدول المحتويات:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2013
جدول المحتويات:
“... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2005
جدول المحتويات:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2015
جدول المحتويات:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2013
جدول المحتويات:
“...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2010
جدول المحتويات:
“... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2006
جدول المحتويات:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2014
جدول المحتويات:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2012
جدول المحتويات:
“... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2014
جدول المحتويات:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”احصل على النص الكامل
الكتروني
كتاب الكتروني



