Find Research outputs

Search results

• Statistical verification of the Toyota Powertrain Control Verification Benchmark

  Roohi, N., Wang, Y., West, M., Dullerud, G. E. & Viswanathan, M., Apr 13 2017, HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 65-70 6 p. (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical Verification of PCTL Using Stratified Samples

  Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Jan 1 2018, In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018: Oxford, United Kingdom, 11—13 July 2018. 51, 16, p. 85-90 6 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical verification of PCTL using antithetic and stratified samples

  Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Nov 1 2019, In: Formal Methods in System Design. 54, 2, p. 145-163 19 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical verification of dynamical systems using set oriented methods

  Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Apr 14 2015, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Association for Computing Machinery, p. 169-178 10 p. (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical Ultrasonics: The Influence of Robert F. Wagner

  Insana, M., Jun 22 2009, Medical Imaging 2009: Image Perception, Observer Performance, and Technology Assessment. 72630E. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 7263).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical translation language model for twitter search

  Karimzadehgan, M., Zhai, C. & Efron, M. J., Oct 30 2013, International Conference on the Theory of Information Retrieval, ICTIR 2013 Proceedings. p. 121-124 4 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical tests of Taylor's hypothesis: An application to precipitation fields

  Li, B., Murthi, A., Bowman, K. P., North, G. R., Genton, M. G. & Sherman, M., 2009, In: Journal of Hydrometeorology. 10, 1, p. 254-265 12 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical Testing in Treatment by Replication Designs: Three Options Reconsidered

  Jackson, S. A., Brashers, D. E. & Massey, J. E., Jun 1 1992, In: Communication Quarterly. 40, 3, p. 211-227 17 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical SVMs for robust detection, supervised learning, and universal classification

  Huang, D., Unnikrishnan, J., Meyn, S., Veeravalli, V. V. & Surana, A., Dec 1 2009, Proceedings - 2009 IEEE Information Theory Workshop on Networking and Information Theory, ITW 2009. p. 62-66 5 p. 5158542. (Proceedings - 2009 IEEE Information Theory Workshop on Networking and Information Theory, ITW 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical study of sexual dimorphism in the human fetal sciatic notch

  Holcomb, S. M. C. & Konigsberg, L. W., Jun 1995, In: American journal of physical anthropology. 97, 2, p. 113-125 13 p.

  Research output: Contribution to journal › Article › peer-review

• STATISTICAL STUDY OF HARDWARE-RELATED SOFTWARE ERRORS IN MVS.

  Iyer, R. K. & Velardi, P., 1984, Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). IEEE, p. 192-197 6 p. (Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical static timing analysis considering leakage variability in power gated designs

  Anderson, M. J., Davoodi, A., Lee, J., Sinkar, A. & Nam, S. K., 2009, ISLPED'09 - Proceedings of the 2009 ACM/IEEE International Symposium on Low Power Electronics and Design. p. 57-62 6 p. 1594247. (Proceedings of the International Symposium on Low Power Electronics and Design).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical simulation of laminar separation in hypersonic flows: Numerical challenges

  Gimelshein, S. F., Levin Fliflet, D., Markelov, G. N., Kudryavtsev, A. N. & Ivanov, M. S., Dec 1 2002.

  Research output: Contribution to conference › Paper › peer-review

• Statistical signal processing for quantitative assessment of pulsed terahertz imaging of human breast tumors

  Bowman, T., Chavez, T., Khan, K., Chakraborty, A., Wu, J., Bailey, K. & El-Shenawee, M., Oct 12 2017, 2017 42nd International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz 2017. IEEE Computer Society, 8067265. (International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical seasonal prediction based on regularized regression

  DelSole, T. & Banerjee, A., 2017, In: Journal of Climate. 30, 4, p. 1345-1361 17 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Statistical Schema Matching across Web Query Interfaces

  He, B. & Chang, K. C-C., Dec 1 2003, In: Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 217-228 12 p.

  Research output: Contribution to journal › Conference article › peer-review

• Statistical resynchronization and Bayesian detection of periodically expressed genes

  Lu, X., Zhang, W., Qin, Z. S., Kwast, K. E. & Liu, J. S., 2004, In: Nucleic acids research. 32, 2, p. 447-455 9 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical relationships between daily and monthly air and shallow-ground temperatures in Karkevagge, Swedish Lapland

  Thorn, C. E., Schlyter, J. P. L., Darmody, R. G. & Dixon, J. C., Oct 1999, In: Permafrost and Periglacial Processes. 10, 4, p. 317-330 14 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical reconstruction of material decomposed data in spectral CT

  Schirra, C. O., Roessl, E., Koehler, T., Brendel, B., Thran, A., Pan, D., Anastasio, M. A. & Proksa, R., 2013, In: IEEE transactions on medical imaging. 32, 7, p. 1249-1257 9 p., 6473891.

  Research output: Contribution to journal › Article › peer-review

• Statistical randomized encodings: A complexity theoretic view

  Agrawal, S., Ishai, Y., Khurana, D. & Paskin-Cherniavsky, A., Jan 1 2015, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings. Halldorsson, M. M., Kobayashi, N., Speckmann, B. & Iwama, K. (eds.). Springer, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9134).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical properties of X-ray phase-contrast tomography

  Chou, C. Y. & Anastasio, M. A., Jan 1 2009, Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009. IEEE Computer Society, p. 6648-6650 3 p. 5332868. (Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical properties of radio-frequency and envelope-detected signals with applications to medical ultrasound

  Wagner, R. F., Insana, M. F. & Brown, D. G., May 1 1987, In: Journal of the Optical Society of America A: Optics and Image Science, and Vision. 4, 5, p. 910-922 13 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical properties of precipitation as observed by the TRMM precipitation radar

  Yang, S. & Nesbitt, S. W., Aug 16 2014, In: Geophysical Research Letters. 41, 15, p. 5636-5643 8 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical properties of estimates of signal-to-noise ratio and number of scatterers per resolution cell

  Wear, K. A., Wagner, R. F., Brown, D. G. & Insana, M. F., Jul 1997, In: Journal of the Acoustical Society of America. 102, 1, p. 635-641 7 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical properties of elastograms

  Bilgen, M. & Insana, M., 1995, In: Proceedings of the IEEE Ultrasonics Symposium. 2, p. 1399-1403 5 p.

  Research output: Contribution to journal › Article › peer-review

• STATISTICAL PROCESS CONTROL FOR MAINTENANCE ACTIVITIES IN MANUFACTURING.

  Dooley, K. J., Dessouky, M. I., DeVor, R. E. & Kapoor, S. G., 1987, American Society of Mechanical Engineers, Production Engineering Division (Publication) PED. DeVor, R. E. & Kapoor, S. G. (eds.). ASME, Vol. 27. p. 93-104 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical Prediction of Center Negative Bending Capacity of Pretensioned Concrete Crossties

  César Bastos, J., Dersch, M. S. & Edwards, J. R., Feb 1 2020, In: Journal of Transportation Engineering Part A: Systems. 146, 2, 04019074.

  Research output: Contribution to journal › Article › peer-review

• Statistical power to detect main and interactive effects on the attributes of small-mammal populations

  Schauber, E. M. & Edge, W. D., 1999, In: Canadian journal of zoology. 77, 1, p. 68-73 6 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical Power System Line Outage Detection Under Transient Dynamics

  Rovatsos, G., Jiang, X., Domínguez-García, A. D. & Veeravalli, V. V., Jun 1 2017, In: IEEE Transactions on Signal Processing. 65, 11, p. 2787-2797 11 p., 7862890.

  Research output: Contribution to journal › Article › peer-review

• Statistical power of the social network autocorrelation model

  Wang, W., Neuman, E. J. & Newman, D. A., Jul 2014, In: Social Networks. 38, 1, p. 88-99 12 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical power of differential validity and differential prediction analyses for detecting measurement nonequivalence

  Drasgow, F. & Kang, T., Aug 1 1984, In: Journal of Applied Psychology. 69, 3, p. 498-508 11 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical power analysis in wildlife research

  Steidl, R. J., Hayes, J. P. & Schauber, E., Apr 1997, In: Journal of Wildlife Management. 61, 2, p. 270-279 10 p.

  Research output: Contribution to journal › Article › peer-review

• STATISTICAL PHYSICS OF MEDICAL ULTRASONIC IMAGES.

  Wagner, R. F., Insana, M. F., Brown, D. G. & Smith, S. W., Dec 1 1987, Proceedings of SPIE - The International Society for Optical Engineering. Ferrari, L. A. (ed.). Bellingham, WA, USA: SPIE, Vol. 768. p. 22-27 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical Network Analysis: A Review with Applications to the Coronavirus Disease 2019 Pandemic

  Loyal, J. D. & Chen, Y., Aug 1 2020, In: International Statistical Review. 88, 2, p. 419-440 22 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical multiplexing with priorities: Tail probabilities of queue lengths and waiting times

  Subramanian, V. G. & Srikant, R., 1997, In: Proceedings of the IEEE Conference on Decision and Control. 2, p. 1780-1785 6 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical models of yield in on-farm precision experimentation

  Paccioretti, P., Bruno, C., Gianinni Kurina, F., Córdoba, M., Bullock, D. S. & Balzarini, M., Nov 1 2021, In: Agronomy Journal. 113, 6, p. 4916-4929 14 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical models of fluvial systems

  Rhoads, B. L., Aug 1992, In: Geomorphology. 5, 3-5, p. 433-455 23 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical modelling and steganalysis of DFT-based image steganography

  Wang, Y. & Moulin, P., 2006, Security, Steganography, and Watermarking of Multimedia Contents VIII - Proceedings of SPIE-IS and T Electronic Imaging. 607202. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6072).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical modeling for the minimum standby supply voltage of a full SRAM array

  Wang, J., Singhee, A., Rutenbar, R. A. & Calhoun, B. H., Dec 1 2007, ESSCIRC 2007 - Proceedings of the 33rd European Solid-State Circuits Conference. p. 400-403 4 p. 4430327. (ESSCIRC 2007 - Proceedings of the 33rd European Solid-State Circuits Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical modeling and analysis of content identification

  Moulin, P., 2010, 2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings. p. 329-333 5 p. 5454105. (2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical model checking of randao’s resilience to pre-computed reveal strategies

  Alturki, M. A. & Roşu, G., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer, p. 337-349 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical model checking of black-box probabilistic systems

  Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Statistical model checking for unbounded until formulas

  Roohi, N. & Viswanathan, M., Aug 2015, In: International Journal on Software Tools for Technology Transfer. 17, 4, p. 417-427 11 p., A008.

  Research output: Contribution to journal › Article › peer-review

• Statistical model checking for composite actor systems

  Eckhardt, J., Mühlbauer, T., Meseguer, J. & Wirsing, M., 2013, Recent Trends in Algebraic Development Techniques - 21st International Workshop, WADT 2012, Revised Selected Papers. p. 143-160 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7841 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical model checking: Challenges and perspectives

  Legay, A. & Viswanathan, M., Aug 1 2015, In: International Journal on Software Tools for Technology Transfer. 17, 4, p. 369-376 8 p., A011.

  Research output: Contribution to journal › Article › peer-review

• Statistical methods, mathematics and computers. Proceedings of the meeting of IUFRO S4.11-00, Berlin/Eberswalde, August-September 1992

  Kohl, M. & Gertner, G. Z., Jan 1 1993, Statistical methods, mathematics and computers. Proceedings of the meeting of IUFRO S4.11-00, Berlin/Eberswalde, August-September 1992. Swiss Federal Institute for Forest, Snow and Landscape Research, CH-8903 Birmensdorf

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Statistical methodologies for the control of dynamic remapping

  Saltz, J. & Nicol, D. M., 1986, Washington, DC: National Aeronautics and Space Administration. (NASA Contractor Report; no. 178129)

  Research output: Book/Report/Conference proceeding › Technical report

• Statistical Mechanics of Vulcanisation and the Spontaneous Emergence of Static-Density Fluctuations

  Zippelius, A., Goldbart, P. M. & Goldenfeld, N. D., Aug 20 1993, In: EPL. 23, 6, p. 451-456 6 p.

  Research output: Contribution to journal › Article › peer-review

• Statistical Mechanics of Horizontal Gene Transfer in Evolutionary Ecology

  Chia, N. & Goldenfeld, N., Apr 2011, In: Journal of Statistical Physics. 142, 6, p. 1287-1301 15 p.

  Research output: Contribution to journal › Review article › peer-review

• Statistical Mechanical Theory of Penetrant Diffusion in Polymer Melts and Glasses

  Zhang, R. & Schweizer, K. S., Aug 9 2016, In: Macromolecules. 49, 15, p. 5727-5739 13 p.

  Research output: Contribution to journal › Article › peer-review