1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Disorder (ASD) -- Structural Variation in Subtelomeres -- Array Based Approaches in Prenatal Diagnosis...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Chemistry -- Synthesis of Azido-Functionalized Carbohydrates for the Design of Glycoconjugates...
View full text
Electronic eBook
7
Table of Contents: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...- EARLY BIOMEMS, MULTI-SENSOR NEUROPROBES. 1. INTRODUCTION . 2. EVOLUTION OF MICRO-SENSOR ARRAY...
View full text
Electronic eBook
9
Table of Contents: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Warehouse Design -- & : A Methodology for Effectively and Efficiently Designing Parallel Relational Data...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... -- Prediction of Functional Types of Ligands for G Protein-Coupled Receptors with Dynamically Discriminable...
View full text
Electronic eBook
16
Table of Contents: ... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...
View full text
Electronic eBook
17
by Burgin, Mark., Burgin, Mark.
Published 2005
Subjects: ...Mathematical Modeling and Industrial Mathematics. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...
View full text
Electronic eBook