Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.. 29(4)
2011. When does simulated data match real data? Proceedings of the 13th annual conference companion on Genetic and evolutionary computation. :231-232.
2010. Evolving viral marketing strategies. Proceedings of the 12th annual conference on Genetic and evolutionary computation. :1195-1202.
2012. When Does Simulated Data Match Real Data? Comparing Model Calibration Functions using Genetic Algorithms World Congress on Social Simulation (WCSS), Taipei, Taiwan.
2008. CrossNet: a framework for crossover with network-based chromosomal representations. Proceedings of the 10th annual conference on Genetic and evolutionary computation. :1057-1064.
2008. Multi-agent learning with a distributed genetic algorithm. AAMAS 2008: ALAMAS + ALAg Workshop.
2008. Seasonal Cholera from Multiple Small Outbreaks, Rural Bangladesh. Emerging Infectious DiseasesEmerg Infect Dis. 14(5):831-833.
1998. Four algorithms for the efficient computation of truncated pivoted QR approximation to a sparse matrix. TR-98-12
1995. Theory of the Combination of Observations Least Subject to Errors. SIAM, Philadelphia.[Translation of Gauss (1821, 1823, 1826).].
1995. On the solution of block Hessenberg systems. Numerical Linear Algebra with Applications. 2(3):287-296.
2000. The decompositional approach to matrix computation. Computing in Science Engineering. 2(1):50-59.
1998. On hyperbolic triangularization: Stability and pivoting. SIAM journal on matrix analysis and applications. 19(4):847-860.
1997. On the Perturbation of LU and Cholesky Factors. IMA Journal of Numerical AnalysisIMA J Numer Anal. 17(1):1-6.
2005. Error Analysis of the Quasi-Gram–Schmidt Algorithm. SIAM Journal on Matrix Analysis and Applications. 27(2):493-506.