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