1
Published 2010
Table of Contents: ... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...
View full text
Electronic eBook
2
by Bramer, Max., Bramer, Max.
Published 2015
Table of Contents: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
View full text
Electronic eBook
3
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
4
by Sadun, Erica., Sadun, Erica.
Published 2008
Table of Contents: ... Touch's OS X and running real OS X programs there.-Power Users -- The limits and possibilities...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... and Applications to Scheduling Problems -- Thresholded Covering Algorithms for Robust and Max-min Optimization...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... for MaxClique, Chromatic Number and Min-3Lin-Deletion -- Approximating the Orthogonal Knapsack Problem...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... with Data -- Proving Infinite Satisfiability -- SAT-Based Preprocessing for MaxSAT -- Dynamic and Static...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...–Systemic-Functional Linguistics and Ambient Intelligence -- Making Others Believe What They Want...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... -- Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Reconstruction and Restoration -- Functional and Diffusion-Weighted MRI -- Modeling and Simulation -- Instrument...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... in Arc-Colored Digraphs -- The Max k-Cut Game and Its Strong Equilibria -- Kernel and Fast Algorithm...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
View full text
Electronic eBook