1
Publicado em 2005
Sumário: ...Development of Improved Strains and Optimization of Fermentation Processes -- Experimental Design...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2012
Sumário: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2012
Sumário: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2014
Sumário: ... Processes - Theories and Applications -- Freshness-Aware Thompson Sampling -- Condition monitoring of broken...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2014
Sumário: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... and Professional Lives -- The Authentic Teacher -- The Impact of Program Adoption on Teachers’ Professional Lives...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Assuntos: ...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2008
Sumário: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2014
Sumário: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... P Systems and Conditional Grammars -- Automated Verification of Stochastic Spiking Neural P Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2007
Sumário: ... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2014
Sumário: ...: Environmentally Sustainable Processes -- Chapter 5: Finance -- Chapter 7: Supply Chain Management -- About...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2006
Sumário: ... and DNA -- A Supramolecular Approach to Metal Array Programming Using Artificial DNA -- Multicomponent...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Sumário: ... Gaussian Channels under Quadratic Cost -- Agreement in Teams and the Dynamic Programming Approach under...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... -- Rebuilding the World from Views -- Approximate Query Processing in Sensor Networks -- Web Data I -- Duplicate...
Obter o texto integral
Recurso Electrónico livro electrónico