Zoekresultaten - array computing https functional testing https

1

Gepubliceerd in 2004

Inhoudsopgave: “...Protein Arrays From cDNA Expression Libraries -- Protein Expression Arrays for Proteomics...”
Volledige tekst

Elektronisch E-boek

2

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Gepubliceerd in 2015

Inhoudsopgave: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Volledige tekst

Elektronisch E-boek

3

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volledige tekst

Elektronisch E-boek

4

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Gepubliceerd in 2007

Inhoudsopgave: “... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”
Volledige tekst

Elektronisch E-boek

5

Functional Genomics

Gepubliceerd in 2003

Inhoudsopgave: “...Fabrication of cDNA Microarrays -- Nylon cDNA Expression Arrays -- Plastic Microarrays -- Preparing...”
Volledige tekst

Elektronisch E-boek

6

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

door Horváth, Zoltán., Horváth, Zoltán.
Gepubliceerd in 2006

Inhoudsopgave: “...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
Volledige tekst

Elektronisch E-boek

7

Functional and Operatorial Statistics

Gepubliceerd in 2008

Inhoudsopgave: “... Tests -- Vector Integration and Stochastic Integration in Banach Spaces -- Multivariate Functional Data...”
Volledige tekst

Elektronisch E-boek

8

Plant Functional Genomics Methods and Protocols /

Gepubliceerd in 2015

Inhoudsopgave: “... by ChIP-seq: Experimental Protocol and Computational Analysis -- Identification of Direct Targets of Plant...”
Volledige tekst

Elektronisch E-boek

9

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Gepubliceerd in 2015

Inhoudsopgave: “... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...”
Volledige tekst

Elektronisch E-boek

10

A Beginner's Guide to Scala, Object Orientation and Functional Programming

door Hunt, John., Hunt, John.
Gepubliceerd in 2014

Inhoudsopgave: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Volledige tekst

Elektronisch E-boek

11

Nanotechnology: Science and Computation

Gepubliceerd in 2006

Inhoudsopgave: “... -- Adding Functionality to DNA Arrays: the Development of Semisynthetic DNA-Protein Conjugates -- Bacterial...”
Volledige tekst

Elektronisch E-boek

12

Functionalized Nanoscale Materials, Devices and Systems

Gepubliceerd in 2008

Inhoudsopgave: “... and Application of UV Excimer Lamps in Nanofabrication -- Functionalization of Semiconductor Nanoparticles...”
Volledige tekst

Elektronisch E-boek

13

The Statistical Analysis of Functional MRI Data

door Lazar, Nicole., Lazar, Nicole.
Gepubliceerd in 2008

Inhoudsopgave: “... Models -- Multivariate Approaches -- Basis Function Approaches -- Bayesian Methods in fMRI -- Multiple...”
Volledige tekst

Elektronisch E-boek

14

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
Volledige tekst

Elektronisch E-boek

15

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”
Volledige tekst

Elektronisch E-boek

16

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”
Volledige tekst

Elektronisch E-boek

17

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...”
Volledige tekst

Elektronisch E-boek

18

CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies Process-Aware SRAM Design and Test /

door Pavlov, Andrei., Pavlov, Andrei., Sachdev, Manoj.
Gepubliceerd in 2008

Inhoudsopgave: “... and Testing -- Traditional SRAM Fault Models and Test Practices -- Techniques for Detection of SRAM Cells...”
Volledige tekst

Elektronisch E-boek

19

Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014 /

Gepubliceerd in 2015

Inhoudsopgave: “... Application -- Chapter 8. Economic Load Dispatch considering non-smooth Cost Functions Using Predator Prey...”
Volledige tekst

Elektronisch E-boek

20

Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) /

Gepubliceerd in 2014

Inhoudsopgave: “...-borne Phased Array Radar -- A Second-order Algorithm for Curve Parallel Projection on Parametric...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken