1
Udgivet 2003
Indholdsfortegnelse: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Få fuldtekst
Electronisk eBog
6
af Wegert, Elias., Wegert, Elias.
Udgivet 2012
Indholdsfortegnelse: ...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ...Imaging and Image Analysis -- Local Wall-Motion Classification in Echocardiograms Using Shape...
Få fuldtekst
Electronisk eBog
8
Fag: ...Nucleic Acid Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/L14011...
Få fuldtekst
Electronisk eBog
9
Udgivet 2012
Indholdsfortegnelse: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Få fuldtekst
Electronisk eBog
12
Udgivet 2006
Indholdsfortegnelse: ... Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences -- With-Loop...
Få fuldtekst
Electronisk eBog
13
Indholdsfortegnelse: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Få fuldtekst
Electronisk eBog
14
Fag: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Få fuldtekst
Electronisk eBog
15
Indholdsfortegnelse: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Fag: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
17
Udgivet 2015
Indholdsfortegnelse: ... -- Parallel Donor Genotyping For 46 Selected Blood Group and 4 Human Platelet Antigens Using High-Throughput...
Få fuldtekst
Electronisk eBog
18
.... This was in parallel with initial improvement in MRCSS and mRS, observed among 88.9% and 77.8% of the patients...
Få fuldtekst
Article
19
20
Udgivet 2014
Indholdsfortegnelse: ... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...
Få fuldtekst
Electronisk eBog