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