1
Published 2013
Table of Contents: ... as Probable: Optimal Scheduling under Stochastic Uncertainty -- Integer Parameter Synthesis for Timed Automata...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... - Alternative Approach to Kinematics and Constructive Proof of Controllability: F. Silva Leite et al -- 20...
View full text
Electronic eBook