Books on the topic 'Synthesis of Probabilistic Programs'

Brown, Andrew M. Probabilistic component mode synthesis of nondeterministic substructures. Washington, DC: [National Aeronautics and Space Administration, 1997.

Schmid, Ute. Inductive Synthesis of Functional Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b12055.

Kwan, Victor. A predicative model for probabilistic specifications and programs. Ottawa: National Library of Canada, 1998.

Speight, Vanessa. Probabilistic modeling framework for assessing water quality sampling programs. Denver, Colo: Water Research Foundation, 2009.

Pai, Shantaram S. Probabilistic structural analysis of adaptive/smart/intelligent space structures. [Washington, DC]: National Aeronautics and Space Administration, 1991.

United Kingdom. Department of Social Security. Social Assistance in OECD countries: Synthesis report. London: HMSO, 1996.

Bunt, Harry. Advances in Probabilistic and Other Parsing Technologies. Dordrecht: Springer Netherlands, 2000.

Pai, Shantaram S. Probabilistic structural analysis of a truss typical for space station. [Washington, DC]: National Aeronautics and Space Administration, 1990.

David, Cope. Virtual music: Computer synthesis of musical style. Cambridge, Mass: MIT Press, 2001.

Schroeder, Manfred R. Computer Speech: Recognition, Compression, Synthesis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Carr, William P. State product evaluation programs: A synthesis of highway practice. Washington, D.C: Transportation Research Board, 2004.

Brown, Andrew M. Development of a probabilistic component mode synthesis method for the analysis of non-deterministic substructures. Washington, DC: [National Aeronautics and Space Administration, 1995.

Luqi. Research directions in software analysis, synthesis and certification. Monterey, Calif: Naval Postgraduate School, 1992.

Hostikka, Simo. Probabilistic fire simulator: Theory and user's manual for version 1.2. Espoo [Finland]: VTT Technical Research Centre of Finland, 2003.

Fenves, Steven J. SASE - Standards Analysis, Synthesis, and Expression program: User manual. Gaithersburg, MD: U.S. Dept. of Commerce, National Bureau of Standards, 1987.

Brassil, John. Analysis, argument, and synthesis. Saddle Brook, N.J: Peoples Education, 2008.

Virtual music: Computer synthesis of musical style. Cambridge, Mass: MIT Press, 2001.

Schroeder, Manfred R. Computer Speech: Recognition, Compression, Synthesis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.

Hosen, Kenneth I. Transit agency participation in Medicaid transportation programs: A synthesis of transit practice. Washington, D.C: Transportation Research Board, 2006.

Nemmers, Charles J. Synthesis study: Effectiveness of safety corridor programs, report on tasks 1-3. Ames, Iowa: Midwest Transportation Consortium c/o Iowa State University, 2008.

Nemmers, Charles J. Synthesis study: Effectiveness of safety corridor programs, report on tasks 1-3. Ames, Iowa: Midwest Transportation Consortium c/o Iowa State University, 2008.

Nemmers, Charles J. Synthesis study: Effectiveness of safety corridor programs, report on tasks 1-3. Ames, Iowa: Midwest Transportation Consortium c/o Iowa State University, 2008.

Balas, Gary J. [mu]-analysis and synthesis toolbox for use with MATLAB: User's guide. Natick, Mass: MathWorks, Inc., 1994.

Spitz, Gregory. Web-based survey techniques: A synthesis of transit practice. Washington, D.C: Transportation Research Board, 2006.

Chu, T. L. Modeling a digital feedwater control system using traditional probabilistic risk assessment methods: Final report. Washington, DC: U. S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2009.

Behavioral synthesis: Digital system design using the Synopsys Behavioral Compiler. Upper Saddle River, N.J: Prentice Hall PTR, 1996.

John, Egermeier, and United States. Office of Educational Research and Improvement. Programs for the Improvement of Practice., eds. School change models and processes: A review and synthesis of research and practice. [Washington, D.C.]: U.S. Dept. of Education, Office of Educational Research and Improvement, Programs for the Improvement of Practice, 1993.

McFadden, John. Synthesis and evaluation of red light running automated enforcement programs in the United States. Washington, D.C: U.S. Dept. of Transportation, Federal Highway Administration, Office of Highway Safety Infrastructure, 1999.

Programs, National Research Council (U S. ). Task Group on Research and Analysis. Supporting research and data analysis in NASA's science programs: Engines for innovation and synthesis. Washington, D.C: National Academy Press, 1998.

Vanhoof, Jan. High-Level Synthesis for Real-Time Digital Signal Processing. Boston, MA: Springer US, 1993.

Mori, Renato. New Systems and Architectures for Automatic Speech Recognition and Synthesis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Rao, K. Sreenivasa. Predicting Prosody from Text for Text-to-Speech Synthesis. New York, NY: Springer New York, 2012.

Grogger, Jeff. Consequences of welfare reform: A research synthesis. [Santa Monica, Calif.]: RAND, 2002.

International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (6th 2003 San Jose, Calif.). Cases 2003: The International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. New York, N.Y: ACM Press, 2003.

Malone, J. B. The design of future airbreathing engine systems within an intelligent synthesis environment. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 1999.

Malone, J. B. The design of future airbreathing engine systems within an intelligent synthesis environment. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 1999.

Porwik, Piotr. Widmowe modelowanie systemów cyfrowych o zadanych cechach. Katowice: Wydawn. Uniwersytetu Śląskiego, 2000.

Bhatnagar, Himanshu. Advanced ASIC chip synthesis: Using Synopsys Design Compiler, Physical Compiler, and PrimeTime. 2nd ed. Boston: Kluwer Academic Publishers, 2002.

Bhatnagar, Himanshu. Advanced ASIC chip synthesis: Using Synopsys Design Compiler, Physical Compiler, and PrimeTime. 2nd ed. Boston: Kluwer Academic Publishers, 2002.

International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (8th 2005 San Francisco, Calif.). CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 24-27, 2005, San Francisco, California, USA. New York, NY: ACM Press, 2005.

Jane, Irwin Mary, Zhao Wei, Lavagno Luciano 1959-, Mahlke Scott, and ACM Digital Library, eds. Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems: 2004, Washington DC, USA, September 22-25, 2004. New York, NY: ACM Press, 2004.

Association for Computing Machinery. Special Interest Group on Embedded Systems., ed. CASES 2006: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 22-25, 2006, Seoul, Korea, embedded systems week 2006. New York, NY: ACM Press, 2006.

Litvin, F. L. Local synthesis and tooth contact analysis of face-milled spiral bevel gears. [Washington, D.C.]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division, 1991.

Katoen, Joost-Pieter. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 1999.

International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (2003 San Jose, Calif.). CASES 2003: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems : October 30-November 1, 2003, San Jose, California, USA. New York, N.Y: Association for Computing Machinery, 2003.

International, Conference on Compilers Architectures and Synthesis for Embedded Systems (2nd 2001 Atlanta Ga ). Proceedings of CASES 2001: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, November 16-17, 2001, Atlanta, Georgia, USA. New York: ACM Press, 2001.

service), SpringerLink (Online, ed. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

George C. Marshall Space Flight Center., ed. Development of a probabilistic dynamic synthesis method for the analysis of nondeterministic structures. [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, Marshall Space Flight Center, 1998.

George C. Marshall Space Flight Center., ed. Development of a probabilistic dynamic synthesis method for the analysis of nondeterministic structures. [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, Marshall Space Flight Center, 1998.

M, Shiao, Chamis C. C, and United States. National Aeronautics and Space Administration., eds. Probabilistic assessment of National Wind Tunnel. [Washington, D.C: National Aeronautics and Space Administration, 1996.