1
منشور في 2005
جدول المحتويات: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2008
جدول المحتويات: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2005
جدول المحتويات: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2005
جدول المحتويات: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2015
جدول المحتويات: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2015
جدول المحتويات: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2010
جدول المحتويات: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2012
جدول المحتويات: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2012
جدول المحتويات: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2014
جدول المحتويات: ... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2005
جدول المحتويات: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2013
جدول المحتويات: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
احصل على النص الكامل
الكتروني كتاب الكتروني