1
Udgivet 2006
Indholdsfortegnelse: ... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Computational Ability of Problem-Solving in an Amoeba -- Two Molecular Information Processing Systems Based...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... Design with Fuzzy Functions -- Soft Computing in Medical Image Processing -- Image Analysis of Ductal...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ... Stable Isotope Tracers -- Real-Time Quantitative (RQ-)PCR Approach to Quantify the Contribution...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...
Få fuldtekst
Electronisk eBog